Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology

The complexity of living organisms surpasses our unaided habilities of analysis. Hence, computational and mathematical methods are necessary for increasing our understanding of biological systems. At the same time, there has been a phenomenal recent progress allowing the application of novel formal...

Full description

Autores:

Tipo de recurso:

Book

Fecha de publicación:

2016

Institución:

Universidad de Bogotá Jorge Tadeo Lozano

Repositorio:

Expeditio: repositorio UTadeo

Idioma:

eng

OAI Identifier:

oai:expeditiorepositorio.utadeo.edu.co:20.500.12010/14200

Acceso en línea:

https://www.frontiersin.org/research-topics/2177/computational-methods-for-understanding-complexity-the-use-of-formal-methods-in-biology
http://hdl.handle.net/20.500.12010/14200

Palabra clave:

General and civil engineering
Biotechnology
Science (General)
Genetics
Boolean networks
Gene Regulatory Networks
Model checking
Answer set programing
Biochemical networks
Attractors of Boolean networks
Logic programing
Synthesis of biochemical models

Rights

License

Abierto (Texto Completo)