Formal Cell Biology
An Introduction to Formal Methods in Systems Biology
1st Edition
Published on 15. November 2014
Book
Hardback
306 pages
978-1-4665-0584-1 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Bosa Roca
United States
Publishing group
Taylor & Francis Inc
Target group
Researchers and graduate students in systems biology; researchers of formal methods.
Illustrations
50 s/w Abbildungen
50 Illustrations, black and white
Dimensions
Height: 234 mm
Width: 156 mm
ISBN-13
978-1-4665-0584-1 (9781466505841)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
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.