دانلود کتاب Algebraic Biology: Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

فهرست مطالب :

Front Matter....Pages -
Algebraic Systems Biology: Theses and Hypotheses....Pages 1-14
Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions....Pages 15-22
Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse)....Pages 23-35
Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks....Pages 36-50
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction....Pages 51-65
On Proving the Absence of Oscillations in Models of Genetic Circuits....Pages 66-80
Attenuation Regulation as a Term Rewriting System....Pages 81-94
Glucose-Insulin Control of Type1 Diabetic Patients in H 2 /H  ∞  Space Via Computer Algebra....Pages 95-109
Exact Parameter Determination for Parkinson’s Disease Diagnosis with PET Using an Algebraic Approach....Pages 110-124
Efficient Haplotype Inference with Pseudo-boolean Optimization....Pages 125-139
An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors....Pages 140-154
Analyzing Pathways Using SAT-Based Approaches....Pages 155-169
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks....Pages 170-184
Cascaded Games....Pages 185-201
On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion Models....Pages 202-216
Protein Structure Prediction Using Residual Dipolar Couplings....Pages 217-231
A Stochastic Pi Calculus for Concurrent Objects....Pages 232-246
Modeling Static Biological Compartments with Beta-binders....Pages 247-261
Deducing Interactions in Partially Unspecified Biological Systems....Pages 262-276
Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries....Pages 277-291
Prefix Reversals on Binary and Ternary Strings....Pages 292-306
Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K 1,n ....Pages 307-321
Inference of Protein-Protein Interactions by Using Co-evolutionary Information....Pages 322-333
A Short Survey of Automated Reasoning....Pages 334-349
Inference of Complex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae ....Pages 350-364
Manifestation and Exploitation of Invariants in Bioinformatics....Pages 365-377
Back Matter....Pages -