Editors:
- 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)
Conference series link(s): CMSB: International Conference on Computational Methods in Systems Biology
Conference proceedings info: CMSB 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (21 papers)
-
Back Matter
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.
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
Editors and Affiliations
-
TU Wien, Vienna, Austria
Ezio Bartocci
-
Computer Laboratory, University of Cambridge, Cambridge, United Kingdom
Pietro Lio
-
Department of Computer Science, University of Oxford, Oxford, United Kingdom
Nicola Paoletti
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