Hybrid Systems Biology

Hybrid Systems Biology

Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

Safranek, David; Abate, Alessandro

Springer International Publishing AG

01/2016

249

Mole

Inglês

9783319269153

15 a 20 dias

4044

Descrição não disponível.
Statistical analysis.- Analysis and
verification of continuous and hybrid models.- Quantitative
analysis of biological models.- Application of
advanced models on case studies.
computational biology;formal methods;machine learning;stochastic models;verification by model checking;big data;control systems;data mining;dependability and performance;differential equations;gene regulatory networks;genetics;heterogeneous (hybrid) systems;metabolomics;pathway logic;robustness analysis;statistical model checking;synthetic biology;systems biology;timed and hybrid models