Difference and Union of Models | Lecture Notes in Computer Science | 2003 | 108 |
Comparison of PDQuest and Progenesis software packages in the analysis of two-dimensional electrophoresis gels | Proteomics | 2003 | 77 |
Evolution of dispersal in metapopulations with local density dependence and demographic stochasticity | Journal of Evolutionary Biology | 2003 | 68 |
Hybrid action systems | Theoretical Computer Science | 2003 | 37 |
Self-Adaptive Genetic Algorithm for Clustering | Journal of Heuristics | 2003 | 36 |
Formal systems for gene assembly in ciliates | Theoretical Computer Science | 2003 | 35 |
Composition sequences for functions over a finite domain | Theoretical Computer Science | 2003 | 29 |
Kinetics and STAT4- or STAT6-mediated regulation of genes involved in lymphocyte polarization to Th1 and Th2 cells | European Journal of Immunology | 2003 | 27 |
Reasoning about probabilistic sequential programs in a probabilistic logic | Acta Informatica | 2003 | 26 |
Cartesian authentication codes from functions with optimal nonlinearity | Theoretical Computer Science | 2003 | 22 |
Effect of medroxyprogesterone on inspiratory flow shapes during sleep in postmenopausal women | Respiratory Physiology and Neurobiology | 2003 | 21 |
Compositional Action System Refinement | Formal Aspects of Computing | 2003 | 15 |
On the independence of equations in three variables | Theoretical Computer Science | 2003 | 15 |
Power and size of extended Watson–Crick L systems | Theoretical Computer Science | 2003 | 13 |
Feature learning with a genetic algorithm for fluorescence fingerprinting of plant species | Pattern Recognition Letters | 2003 | 12 |
The Equivalence Problem of Finite Substitutions on ab*c, with Applications | International Journal of Foundations of Computer Science | 2003 | 10 |
Grouping PCBs with Minimum Feeder Changes | Flexible Services and Manufacturing Journal | 2003 | 10 |
A toolkit for model manipulation | Software and Systems Modeling | 2003 | 10 |
Provably total functions of Basic Arithmetic | Mathematical Logic Quarterly | 2003 | 10 |
Optimized Shadow Mapping Using the Stencil Buffer | Journal of Graphics Tools | 2003 | 9 |
Electrophoretic signal comparison applied to mRNA differential display analysis | BioTechniques | 2003 | 8 |
Watson–Crick D0L systems: the power of one transition | Theoretical Computer Science | 2003 | 8 |
Fuzzy logic and intelligent agents: towards the next step of capital budgeting decision support | Industrial Management and Data Systems | 2003 | 7 |
A defect theorem for bi-infinite words | Theoretical Computer Science | 2003 | 7 |
Prediction of inspiratory flow shapes during sleep with a mathematic model of upper airway forces | Sleep | 2003 | 6 |