November 15, 2014
by Chapman and Hall/CRC
Reference - 306 Pages - 50 B/W Illustrations
ISBN 9781466505841 - CAT# K14589
Series: Chapman & Hall/CRC Mathematical and Computational Biology
This book explores the use of concepts and tools from theoretical computer science to tackle the complexity of cell processes. In a unified framework, it presents the different modeling formalisms of systems biology, emphasizing their formal relationships by abstraction functions and putting them into practice for building predictive models of cell functions. With exercises and computational models, the book reflects the author’s many years of researching, developing, and applying computer science methods in systems biology.
Introduction. Rule-Based Modeling of Biochemical Systems: Formal Cell Objects and Reactions. Hierarchies of Formalisms. Hierarchies of Models. Formal Specifications of Imprecise Dynamical Properties: Boolean Temporal Properties. Quantitative Temporal Properties. Parameter Optimization with Respect to Temporal Properties. Toward Modular Virtual Cells: Coupling Models for Cancer Chronotherapy Optimization. Epilogue: Structure and Dynamics. Appendices.