Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Anai, Hirokazu (Επιμελητής έκδοσης), Horimoto, Katsuhisa (Επιμελητής έκδοσης), Kutsia, Temur (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4545
• Θέματα: Computer science.; Software engineering.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Bioinformatics.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Computational Biology/Bioinformatics.; Software Engineering.

Πίνακας περιεχομένων:

• 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 of Complex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae
• Manifestation and Exploitation of Invariants in Bioinformatics.