Computational Methods in Systems Biology: 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings

Front Matter....Pages -
On Defining and Computing “Good” Conservation Laws....Pages 1-19
SAT-Based Metabolics Pathways Analysis without Compilation....Pages 20-31
Model Integration and Crosstalk Analysis of Logical Regulatory Networks....Pages 32-44
Improved Parameter Estimation in Kinetic Models: Selection and Tuning of Regularization Methods....Pages 45-60
Uncertainty Analysis for Non-identifiable Dynamical Systems: Profile Likelihoods, Bootstrapping and More....Pages 61-72
Radial Basis Function Approximations of Bayesian Parameter Posterior Densities for Uncertainty Analysis....Pages 73-85
Precise Parameter Synthesis for Stochastic Biochemical Systems....Pages 86-98
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ -Decisions....Pages 99-113
Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock....Pages 114-128
Characterization of Reachable Attractors Using Petri Net Unfoldings....Pages 129-142
Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework....Pages 143-154
Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach....Pages 155-172
A Rule-Based Model of Base Excision Repair....Pages 173-195
Using Process Algebra to Model Radiation Induced Bystander Effects....Pages 196-210
Exploring the Cellular Objective in Flux Balance Constraint-Based Models....Pages 211-224
Optimization Based Design of Synthetic Oscillators from Standard Biological Parts....Pages 225-238
Modelling Polar Retention of Complexes in Escherichia coli ....Pages 239-243
Extensible and Executable Stochastic Models of Fatty Acid and Lipid Metabolism....Pages 244-247
FM-Sim: Protocol Definition, Simulation and Rate Inference for Neuroscience Assays....Pages 248-251
Predictive Modelling of Mitochondrial Spatial Structure and Health....Pages 252-255
XTMS in Action: Retrosynthetic Design in the Extended Metabolic Space of Heterologous Pathways for High-Value Compounds....Pages 256-259
THiMED: Time in Hierarchical Model Extraction and Design....Pages 260-263
Back Matter....Pages -