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

• Main Author: David A. Rosenblueth (auth)
• Format: Electronic Book Chapter
• Language: English
• Published: Frontiers Media SA 2016
• Series: Frontiers Research Topics
• Subjects: Genetics (non-medical); model checking; Logic programing; Answer set programing; attractors of Boolean networks; synthesis of biochemical models; Gene Regulatory Networks; Boolean networks; biochemical networks
• Online Access: DOAB: download the publication; DOAB: description of the publication

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...