Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9859)
Part of the book sub series: Lecture Notes in Bioinformatics (LNBI)
Included in the following conference series:
Conference proceedings info: CMSB 2016.
Buy print copy
About this book
This book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016. The 20 full papers, 3 tool papers and 9 posters presented were carefully reviewed and selected from 37 regular paper submissions. The topics 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; and computational approaches for synthetic biology.
Similar content being viewed by others
Keywords
- formal methods
- live and medical sciences
- model checking
- simulation and modeling
- uncertainty quantification
- approximation
- automated static analysis
- big data
- computational biology
- dynamic analysis
- dynamic modeling
- game theory
- logical frameworks
- model verification and validation
- modeling methodologies
- optimization
- parallel computing
- probabilistic model checking
- temporal logic
- time series data
Table of contents (21 papers)
-
Invited Paper
-
Regular Papers
Other volumes
-
Computational Methods in Systems Biology
Editors and Affiliations
Bibliographic Information
Book Title: Computational Methods in Systems Biology
Book Subtitle: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Editors: Ezio Bartocci, Pietro Lio, Nicola Paoletti
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-45177-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2016
Softcover ISBN: 978-3-319-45176-3Published: 04 September 2016
eBook ISBN: 978-3-319-45177-0Published: 03 September 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 356
Number of Illustrations: 108 b/w illustrations
Topics: Computational Biology/Bioinformatics, Computation by Abstract Devices, Simulation and Modeling, Computer Appl. in Life Sciences, Software Engineering, Symbolic and Algebraic Manipulation