Entity usage

Showing below up to 43 results in range #1 to #43.

1. Manifestation and Exploitation of Invariants in Bioinformatics: Label: en
2. Inference of Complex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae: Label: en
3. A Short Survey of Automated Reasoning: Label: en
4. Inference of Protein-Protein Interactions by Using Co-evolutionary Information: Label: en
5. Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1,n: Label: en
6. Prefix Reversals on Binary and Ternary Strings: Label: en
7. Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries: Label: en
8. Deducing Interactions in Partially Unspecified Biological Systems: Label: en
9. Modeling Static Biological Compartments with Beta-binders: Label: en
10. A Stochastic Pi Calculus for Concurrent Objects: Label: en
11. Protein Structure Prediction Using Residual Dipolar Couplings: Label: en
12. On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion Models: Label: en
13. Cascaded Games: Label: en
14. Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks: Label: en
15. Analyzing Pathways Using SAT-Based Approaches: Label: en
16. An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors: Label: en
17. Efficient Haplotype Inference with Pseudo-boolean Optimization: Label: en
18. Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach: Label: en
19. Glucose-Insulin Control of Type1 Diabetic Patients in H2/H ∞  Space Via Computer Algebra: Label: en
20. Attenuation Regulation as a Term Rewriting System: Label: en
21. On Proving the Absence of Oscillations in Models of Genetic Circuits: Label: en
22. Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction: Label: en
23. Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks: Label: en
24. Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse): Label: en
25. Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions: Label: en
26. Algebraic Systems Biology: Theses and Hypotheses: Label: en
27. Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods: Label: en
28. An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes: Label: en
29. Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology: Label: en
30. Local Structure and Behavior of Boolean Bioregulatory Networks: Label: en
31. The Smallest Multistationary Mass-Preserving Chemical Reaction Network: Label: en
32. Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems: Label: en
33. Process Algebra Models of Population Dynamics: Label: en
34. Property Preservation along Embedding of Biological Regulatory Networks: Label: en
35. An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions: Label: en
36. Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets: Label: en
37. The Geometry of the Neighbor-Joining Algorithm for Small Trees: Label: en
38. On the Computational Power of Biochemistry: Label: en
39. Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits: Label: en
40. Hybrid Semantics for Stochastic π-Calculus: Label: en
41. Differential Algebra and System Modeling in Cellular Biology: Label: en
42. Tutorial on Model Checking: Modelling and Verification in Computer Science: Label: en
43. Algorithms for Inference, Analysis and Control of Boolean Networks: Label: en