Computational Methods in Systems Biology: 18th International Conference, CMSB 2020, Konstanz, Germany, September 2325, 2020, Proceedings [Paperback]

This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*

The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology.

* The conference was held virtually due to the COVID-19 pandemic.

Modelling and Analysis.- Rate Equations For Graphs.- Stationary Distributions and Metastable Behaviour for Self-Regulating Proteins with General Lifetime Distributions.- Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression.- Graphical Conditions for Rate Independence in Chemical Reaction Networks.- Interval Constraint Satisfaction and Optimization for Biological Homeostasis and Multistationarity.- Growth Dependent Computation of Chokepoints in Metabolic Networks.- On the Complexity of Quadratization for Polynomial Differential Equations.- Comparing Probabilistic and Logic Programming Approaches to Predict the Effects of Enzymes in a Neurogenerative Disease Model.- Boolean Networks.- Control Strategy Identification via Trap Spaces in Boolean Networks.- Qualitative Analysis of Mammalian Circadian Oscillations: Cycle Dynamics and Robustness.- Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision.- Classifier Constrl3}