Computational Methods in Systems Biology
-15%
portes grátis
Computational Methods in Systems Biology
15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
Koeppl, Heinz; Feret, Jerome
Springer International Publishing AG
09/2017
332
Mole
Inglês
9783319674704
15 a 20 dias
534
Descrição não disponível.
Formalisms for modeling biological processes.- Models and their biological applications.- Frameworks for model verication, 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;semantics;genes;temporal logic;numeric methods
Formalisms for modeling biological processes.- Models and their biological applications.- Frameworks for model verication, 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;semantics;genes;temporal logic;numeric methods