Algebraic and Numeric Biology

Name: Algebraic and Numeric Biology | 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers

Katsuhisa Horimoto Masahiko Nakatsui Nikolaj Popov(Herausgeber*in)

Springer (Verlag)

Erschienen am 13. Januar 2012

IX, 185 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-28067-2 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title
Preface
Conference Organization
Table of Contents
P$_0$-Matrix Products of Matrices
Introduction
Some Properties of P-Type Matrices
The Main Question
Notation and Definitions
Main Results
Preliminary Results
Qualitative Classes and Related Ideas
Compatibility of all Matrices in a Qualitative Class
Compatibility of a Matrix with its Qualitative Class
Matrices with Diagonal Factors
Discussion and Conclusions
References
A Formal Model for Databases in DNA
Introduction
Related Work
The Sticker-Complex Data Model
Operations on Complexes
Data Representation
Implementation in DNA
DNAQL
Simulation of the Relational Algebra
Concluding Remarks
References
Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information
Introduction
Haplotype Inference
Minimum Recombinant Haplotype Configuration
Haplotype Inference by Pure Parsimony
The PedRPoly Model
Improving Efficiency
Lower Bounds
Sorting Genotypes
Symmetries
Experimental Evaluation
Efficiency
Accuracy
Conclusions
References
MABSys: Modeling and Analysis of Biological Systems
Introduction
Related Works
Main Structure of MABSys
Description of Biochemical Reaction Networks
Modeling by Means of ODEs
Exact Symbolic Simplifications
Qualitative Analysis
Tyson's Negative Feedback Oscillator
Symbolic Simplification
Discussion
Installation of MABSys
Conclusion and Perspectives
References
Models of Stochastic Gene Expression and Weyl Algebra
Introduction
The Classical Theory
Chemical Reactions Systems
Stochastic Petri Nets
Markov Chain of the Temporisation and Master Equation
The Schrödinger Equation Analog
Reformulation in the Weyl Algebra
The Algorithm
Model Reduction, Model Restriction and Conservation Laws
Model Reduction
Model Restriction
A Combined Formula for Differentiating and Evaluating
Order of a Chemical Reaction System
Examples
First Order Systems
Second Order Systems
Conclusion
References
Reconciling Competing Models: A Case Study of Wine Fermentation Kinetics
Introduction
Methods
Results
Conclusions and Discussion
References
Computational Modeling and Verification of Signaling Pathways in Cancer
Introduction
Statistical Model Checking
Bounded Linear Temporal Logic
Bayesian Statistical Model Checking
Crosstalk Model of HMGB1
Motivations
Model Formulation
Simulation Models
Simulation Results
Verification of the HMBG1 Pathway
Discussion
References
Composability: Perspectives in Ecological Modeling
Introduction
The BlenX Language
Composability as a Modeling Aid
Composability and Language Design
Discussion
References
A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors
Introduction
Procedure
Overview of Present Procedure
Example
Differential Elimination
Simplification
Introduction of Constraints
Optimization Algorithm
Results
Discussion
References
Analyzing Pathways Using ASP-Based Approaches
Introduction
Answer Set Programming
Symbolic Systems Biology
Reaction Networks
Equilibrium States
Maximal Solutions
Preferred Solutions
ASP Computation of Maximal and Preferred Solutions
Related Work
Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken