Computational Methods in Systems Biology -

Computational Methods in Systems Biology

14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Buch | Softcover
XIII, 356 Seiten
2016 | 1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-45176-3 (ISBN)
53,49 inkl. MwSt
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
Reihe/Serie Lecture Notes in Bioinformatics
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
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
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich

von Nadine Reinicke

Buch | Softcover (2021)
Urban & Fischer in Elsevier (Verlag)
19,00