Computational Methods in Systems Biology
-15%
portes grátis
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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