| |
|
| Artikel-Nr.: 858A-9783540734321 Herst.-Nr.: 9783540734321 EAN/GTIN: 9783540734321 |
| |
|
| | |
| Algebraic Systems Biology: Theses and Hypotheses.- Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions.- Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse).- Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks.- Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction.- On Proving the Absence of Oscillations in Models of Genetic Circuits.- Attenuation Regulation as a Term Rewriting System.- Glucose-Insulin Control of Type1 Diabetic Patients in H2/H??? Space Via Computer Algebra.- Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach.- Efficient Haplotype Inference with Pseudo-boolean Optimization.- An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors.- Analyzing Pathways Using SAT-Based Approaches.- Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks.- Cascaded Games.- On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion Models.- Protein Structure Prediction Using Residual Dipolar Couplings.- A Stochastic Pi Calculus for Concurrent Objects.- Modeling Static Biological Compartments with Beta-binders.- Deducing Interactions in Partially Unspecified Biological Systems.- Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries.- Prefix Reversals on Binary and Ternary Strings.- Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1,n .- Inference of Protein-Protein Interactions by Using Co-evolutionary Information.- A Short Survey of Automated Reasoning.- Inference ofComplex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae.- Manifestation and Exploitation of Invariants in Bioinformatics. Weitere Informationen: | | Author: | Hirokazu Anai; Katsuhisa Horimoto; Temur Kutsia | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Automatentheorie, Bioinformatik, Informatik / Bioinformatik, Erfüllbarkeitsproblem der Aussagenlogik, algorithm, algorithms, automata, calculi, calculus, computer algebra, dynamic systems |
| | |
| |