Computational Methods in Systems Biology

14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Ezio Bartocci, Pietro Lio, Nicola Paoletti (Herausgeber)

Buch | Softcover

XIII, 356 Seiten

2016 | 1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-45176-3 (ISBN)

Artikel merken

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.

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.

Erscheinungsdatum	11.10.2016
Reihe/Serie	Lecture Notes in Bioinformatics
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XIII, 356 p. 108 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Informatik ► Weitere Themen ► Bioinformatik
Themenwelt	Naturwissenschaften ► Biologie
Schlagworte	Applications • Approximation • automated static analysis • Big Data • Computational Biology • Computational Biology/Bioinformatics • Computer Science • conference proceedings • Dynamic Analysis • dynamic modeling • formal methods • Game Theory • Informatics • Information technology: general issues • Life sciences: general issues • live and medical sciences • logical frameworks • Model Checking • modeling methodologies • model verification and validation • Optimization • Parallel Computing • probabilistic model checking • Research • Simulation and modeling • temporal logic • time series data • uncertainty quantification
ISBN-10	3-319-45176-6 / 3319451766
ISBN-13	978-3-319-45176-3 / 9783319451763
Zustand	Neuware