The following pages link to Algebraic Biology (Q3599188):
Displaying 43 items.
- Algorithms for Inference, Analysis and Control of Boolean Networks (Q3599189) (← links)
- Tutorial on Model Checking: Modelling and Verification in Computer Science (Q3599190) (← links)
- Differential Algebra and System Modeling in Cellular Biology (Q3599191) (← links)
- Hybrid Semantics for Stochastic π-Calculus (Q3599192) (← links)
- Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits (Q3599193) (← links)
- On the Computational Power of Biochemistry (Q3599194) (← links)
- The Geometry of the Neighbor-Joining Algorithm for Small Trees (Q3599195) (← links)
- Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets (Q3599196) (← links)
- An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions (Q3599197) (← links)
- Property Preservation along Embedding of Biological Regulatory Networks (Q3599198) (← links)
- Process Algebra Models of Population Dynamics (Q3599199) (← links)
- Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems (Q3599200) (← links)
- The Smallest Multistationary Mass-Preserving Chemical Reaction Network (Q3599201) (← links)
- Local Structure and Behavior of Boolean Bioregulatory Networks (Q3599202) (← links)
- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology (Q3599203) (← links)
- An Improved Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND/OR Nodes (Q3599204) (← links)
- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods (Q3599207) (← links)
- Algebraic Systems Biology: Theses and Hypotheses (Q5429345) (← links)
- Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions (Q5429346) (← links)
- Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse) (Q5429347) (← links)
- Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks (Q5429348) (← links)
- Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction (Q5429353) (← links)
- On Proving the Absence of Oscillations in Models of Genetic Circuits (Q5429354) (← links)
- Attenuation Regulation as a Term Rewriting System (Q5429355) (← links)
- Glucose-Insulin Control of Type1 Diabetic Patients in H2/H ∞ Space Via Computer Algebra (Q5429356) (← links)
- Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach (Q5429357) (← links)
- Efficient Haplotype Inference with Pseudo-boolean Optimization (Q5429358) (← links)
- An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors (Q5429359) (← links)
- Analyzing Pathways Using SAT-Based Approaches (Q5429360) (← links)
- Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks (Q5429361) (← links)
- Cascaded Games (Q5429364) (← links)
- On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion Models (Q5429366) (← links)
- Protein Structure Prediction Using Residual Dipolar Couplings (Q5429368) (← links)
- A Stochastic Pi Calculus for Concurrent Objects (Q5429369) (← links)
- Modeling Static Biological Compartments with Beta-binders (Q5429370) (← links)
- Deducing Interactions in Partially Unspecified Biological Systems (Q5429371) (← links)
- Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries (Q5429372) (← links)
- Prefix Reversals on Binary and Ternary Strings (Q5429373) (← links)
- Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1,n (Q5429374) (← links)
- Inference of Protein-Protein Interactions by Using Co-evolutionary Information (Q5429375) (← links)
- A Short Survey of Automated Reasoning (Q5429376) (← links)
- Inference of Complex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae (Q5429377) (← links)
- Manifestation and Exploitation of Invariants in Bioinformatics (Q5429378) (← links)
