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...
Saved in:
Main Author: | David A. Rosenblueth (auth) |
---|---|
Format: | Electronic Book Chapter |
Language: | English |
Published: |
Frontiers Media SA
2016
|
Series: | Frontiers Research Topics
|
Subjects: | |
Online Access: | DOAB: download the publication DOAB: description of the publication |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
by: Mostowski, Wojciech
Published: (2017) -
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
by: Mostowski, Wojciech
Published: (2017) -
The method of densities for non-isotropic Boolean models
by: Hörrmann, Julia
Published: (2015) -
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /
Published: (2020) -
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published: (2021)