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

• Yazar: David A. Rosenblueth (auth)
• Materyal Türü: Elektronik Kitap Bölümü
• Dil: İngilizce
• Baskı/Yayın Bilgisi: Frontiers Media SA 2016
• Seri Bilgileri: Frontiers Research Topics
• Konular: 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 Erişim: 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...