Computational Methods in Systems Biology

Computational Methods in Systems Biology

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

Bartocci, Ezio; Paoletti, Nicola; Lio, Pietro

Springer International Publishing AG

09/2016

356

Mole

Inglês

9783319451763

15 a 20 dias

5621

Descrição não disponível.
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.
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