Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Gilbert, David (Editor), Heiner, Monika (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7605
• Subjects: Computer science.; Software engineering.; Computers.; Computer science > Mathematics.; Computer simulation.; Bioinformatics.; Computational biology.; Computer Science.; Computational Biology/Bioinformatics.; Computation by Abstract Devices.; Simulation and Modeling.; Computer Appl. in Life Sciences.; Software Engineering.; Symbolic and Algebraic Manipulation.

This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Computational Methods in Systems Biology, CMSB 2012, held in London, UK, during October 3-5, 2012. The 17 revised full papers and 8 flash posters presented together with the summaries of 3 in...

Table of Contents:

• Differential and Integral Views of Gene-Phenotype Relations
• Resolving the Three-Dimensional Histology of the Heart
• Bimodal Protein Distributions in Heterogeneous Oscillating Systems
• Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics
• Detection of Multi-clustered Genes and Community Structure for the Plant Pathogenic Fungus
• Analysis of Modular Organization of Interaction Networks Based on Asymptotic Dynamics
• Concretizing the Process Hitting into Biological Regulatory Networks
• Investigating Co-infection Dynamics through Evolution of Bio-PEPA Model Parameters: A Combined Process Algebra and Evolutionary Computing Approach
• Population Dynamics P Systems on CUDA
• Efficient Handling of Large Signaling-Regulatory Networks by Focusing on Their Core Control
• Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System
• Revisiting the Training of Logic Models of Protein Signaling Networks with a Formal Approach Based on Answer Set Programming.