| Publication | Date of Publication | Type |
|---|
| Determining the sampling size with maintaining the probability distribution | 2023-12-02 | Paper |
Sampling to maintain approximate probability distribution under chi-square test
Communications in Computer and Information Science | 2020-08-07 | Paper |
A novel wind speed forecasting model based on moving window and multi-objective particle swarm optimization algorithm
Applied Mathematical Modelling | 2020-04-07 | Paper |
A hybrid application algorithm based on the support vector machine and artificial intelligence: an example of electric load forecasting
Applied Mathematical Modelling | 2019-12-03 | Paper |
| Recent progress in program analysis | 2019-09-20 | Paper |
Video noise reduction method using adaptive spatial-temporal filtering
Discrete Dynamics in Nature and Society | 2019-02-19 | Paper |
Dynamic communities in stock market
Abstract and Applied Analysis | 2019-02-14 | Paper |
Adaptive fault-tolerant routing in 2D mesh with cracky rectangular model
Journal of Applied Mathematics | 2019-02-01 | Paper |
SEED: A Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution
IEEE Transactions on Computers | 2017-07-12 | Paper |
| An artificial bee colony rough clustering algorithm based on mutative precision search | 2015-02-11 | Paper |
A touch-based mathematical expression editor
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
A touch-operation-based dynamic geometry system: design and implementation
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Double delayed feedback control for the stabilization of unstable steady states in chaotic systems
Communications in Nonlinear Science and Numerical Simulation | 2011-10-02 | Paper |
Mathematical analysis of stage-based programmable logic controller
Computers & Mathematics with Applications | 2011-08-28 | Paper |
| Axiomatization of intuitionistic fuzzy rough sets | 2011-07-19 | Paper |
Algorithms for \(k\)-fault tolerant power assignments in wireless sensor networks
Science China Information Sciences | 2011-06-17 | Paper |
Grid division-based probabilistic localization algorithm for WSN
Journal of Computer Applications | 2009-11-10 | Paper |
| On the upper rough approximation in a group | 2009-07-22 | Paper |
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement
Frontiers in Algorithmics | 2009-03-10 | Paper |
| A note on two new operators in rough set theory | 2009-03-06 | Paper |
| \(G\)-fuzzy rough ideals in a ring. | 2008-08-19 | Paper |
On Armendariz Rings and Matrix Rings with Simple 0-Multiplication
Communications in Algebra | 2008-06-26 | Paper |
Energy conservation in wireless sensor networks and connectivity of graphs
Theoretical Computer Science | 2008-04-15 | Paper |
Kinetic Monte Carlo simulation of film morphologies at the initial stages
Science in China. Series G | 2008-03-31 | Paper |
| \(\alpha\)-cut fuzzy ideals in a ring | 2006-11-09 | Paper |
| scientific article; zbMATH DE number 5059240 (Why is no real title available?) | 2006-10-04 | Paper |
Detection, mining and forecasting of impact load in power load forecasting
Applied Mathematics and Computation | 2005-11-04 | Paper |
Some Conditions on Monoids for Which Condition (P) Acts Are Strongly Flat
Communications in Algebra | 2005-05-23 | Paper |
| scientific article; zbMATH DE number 1960937 (Why is no real title available?) | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1795752 (Why is no real title available?) | 2003-07-08 | Paper |
| scientific article; zbMATH DE number 1824153 (Why is no real title available?) | 2003-01-15 | Paper |
Catagenesis condition for approximate theorem-proving
Journal of Lanzhou University. Natural Sciences | 2002-05-23 | Paper |
| Mathematical computing on network | 2001-07-12 | Paper |
A symbolic algorithm for parameterizing a prime ideal
Journal of Lanzhou University. Natural Sciences | 2001-05-06 | Paper |
Some properties of normal anti-\(L\)-fuzzy ideals in semirings.
Journal of Lanzhou University. Natural Sciences | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1465647 (Why is no real title available?) | 2000-06-26 | Paper |
Fast theorem-proving and Wu's method
Journal of Computer Science and Technology | 2000-04-09 | Paper |
| scientific article; zbMATH DE number 1398121 (Why is no real title available?) | 2000-02-03 | Paper |
| scientific article; zbMATH DE number 1390433 (Why is no real title available?) | 2000-01-17 | Paper |
| scientific article; zbMATH DE number 1322089 (Why is no real title available?) | 1999-08-09 | Paper |
| scientific article; zbMATH DE number 1263305 (Why is no real title available?) | 1999-07-20 | Paper |
| scientific article; zbMATH DE number 1145331 (Why is no real title available?) | 1998-11-15 | Paper |
On the descriptive power of special Thue systems
Discrete Mathematics | 1997-01-14 | Paper |
A decision algorithm for linear sentences on a PFM
Annals of Pure and Applied Logic | 1993-09-22 | Paper |
On the satisfiability of linear systems of equations for quantifiers
Science in China. Series A | 1993-08-16 | Paper |
| scientific article; zbMATH DE number 4950 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4210423 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4201643 (Why is no real title available?) | 1989-01-01 | Paper |
The complexity of computing the automorphism group of automata and related problems
International Journal of Computer Mathematics | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4098726 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4117888 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4045156 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3958755 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3982541 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3972219 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3862470 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3934425 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3911727 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3833320 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3817065 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3911728 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3761426 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3761427 (Why is no real title available?) | 1981-01-01 | Paper |
