LEADER 02867nam 2200433z- 450 001 9910261146403321 005 20210211 035 $a(CKB)4100000002484628 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/43706 035 $a(oapen)doab43706 035 $a(EXLCZ)994100000002484628 100 $a20202102d2016 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aComputational Methods for Understanding Complexity: The Use of Formal Methods in Biology 210 $cFrontiers Media SA$d2016 215 $a1 online resource (111 p.) 225 1 $aFrontiers Research Topics 311 08$a2-88945-042-2 330 $aThe 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 methods to new domains. This progress has spurred a conspicuous optimism in computational biology. This optimism, in turn, has promoted a rapid increase in collaboration between specialists of biology with specialists of computer science. Through sheer complexity, however, many important biological problems are at present intractable, and it is not clear whether we will ever be able to solve such problems. We are in the process of learning what kind of model and what kind of analysis and synthesis techniques to use for a particular problem. Some existing formalisms have been readily used in biological problems, others have been adapted to biological needs, and still others have been especially developed for biological systems. This Research Topic has examples of cases (1) employing existing methods, (2) adapting methods to biology, and (3) developing new methods. We can also see discrete and Boolean models, and the use of both simulators and model checkers. Synthesis is exemplified by manual and by machine-learning methods. We hope that the articles collected in this Research Topic will stimulate new research. 517 $aComputational Methods for Understanding Complexity 606 $aGenetics (non-medical)$2bicssc 610 $aAnswer set programing 610 $aattractors of Boolean networks 610 $abiochemical networks 610 $aBoolean networks 610 $aGene Regulatory Networks 610 $aLogic programing 610 $amodel checking 610 $asynthesis of biochemical models 615 7$aGenetics (non-medical) 700 $aDavid A. Rosenblueth$4auth$01331966 906 $aBOOK 912 $a9910261146403321 996 $aComputational Methods for Understanding Complexity: The Use of Formal Methods in Biology$93040714 997 $aUNINA