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

Front Matter....Pages -
Differential and Integral Views of Gene-Phenotype Relations: A Systems Biological Insight....Pages 1-1
Resolving the Three-Dimensional Histology of the Heart....Pages 2-16
Bimodal Protein Distributions in Heterogeneous Oscillating Systems....Pages 17-28
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics....Pages 29-48
Symmetry-Based Model Reduction for Approximate Stochastic Analysis....Pages 49-68
Detection of Multi-clustered Genes and Community Structure for the Plant Pathogenic Fungus Fusarium graminearum ....Pages 69-86
Predicting Phenotype from Genotype through Automatically Composed Petri Nets....Pages 87-106
A Simple Model to Control Growth Rate of Synthetic E. coli during the Exponential Phase: Model Analysis and Parameter Estimation....Pages 107-126
Multi-objective Optimisation, Sensitivity and Robustness Analysis in FBA Modelling....Pages 127-147
Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics....Pages 148-165
Concretizing the Process Hitting into Biological Regulatory Networks....Pages 166-186
Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation....Pages 187-206
Parameter Identification and Model Ranking of Thomas Networks....Pages 207-226
Investigating Co-infection Dynamics through Evolution of Bio-PEPA Model Parameters: A Combined Process Algebra and Evolutionary Computing Approach....Pages 227-246
Population Dynamics P Systems on CUDA....Pages 247-266
Approximate Bisimulations for Sodium Channel Dynamics....Pages 267-287
Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control....Pages 288-306
Sequence Dependent Properties of the Expression Dynamics of Genes and Gene Networks....Pages 307-321
Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System....Pages 322-341
Revisiting the Training of Logic Models of Protein Signaling Networks with ASP....Pages 342-361
JAK-STAT Signalling as Example for a Database-Supported Modular Modelling Concept....Pages 362-365
ManyCell: A Multiscale Simulator for Cellular Systems....Pages 366-369
Inferring Reaction Models from ODEs....Pages 370-373
Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA....Pages 374-377
Models of Tet-On System with Epigenetic Effects....Pages 378-381
GeneFuncster: A Web Tool for Gene Functional Enrichment Analysis and Visualisation....Pages 382-385
Effects of Molecular Noise on the Multistability in a Synthetic Genetic Oscillator....Pages 386-389
Towards an Ontology of Biomodelling....Pages 390-393
Back Matter....Pages -