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 LEADER 03354nam 2200505z- 450 001 9910765530003321 005 20231206 010 $a2-7283-1578-7 035 $a(PPN)273871129 035 $a(CKB)5600000000768148 035 $a(oapen)doab131580 035 $a(EXLCZ)995600000000768148 100 $a20231205h20232023 uy 0 101 0 $afre 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aProtéger, libérer, assujettir$eL'expansion territoriale de la commune de Florence au XIVe siècle 210 $aRome$cPublications de l'École française de Rome$d2023 215 $a1 online resource (360 p.) 225 1 $aCollection de l'E?cole franc?aise de Rome ;$v603 311 08$a2-7283-1577-9 330 $aAu milieu du XIVe siècle, la commune de Florence, qui ne contrôlait jusqu'alors qu'un petit territoire au-delà des murs de la cité, le contado, réussit à assujettir les six principaux centres urbains voisins : Colle Valdelsa, San Gimignano, Prato, Pistoia, Volterra et San Miniato. Pour mener à bien cet assujettissement, le pouvoir florentin ne pouvait cependant se contenter d'une pure et simple conquête militaire : l'issue en aurait été non seulement incertaine mais surtout très difficile à consolider dans le temps. Car même s'ils n'avaient pas atteint l'importance démographique des grandes cités de la région, les centres convoités étaient parvenus à maintenir leur autonomie depuis plus d'un siècle. Ils avaient par conséquent développé une identité politique et culturelle propre, en vertu de laquelle ils auraient pu, une fois conquis, refuser la soumission et constituer partant des foyers permanents de révolte. D'où la nécessité pour les Florentins d'élaborer des instruments en mesure de légitimer leur domination et d'en assurer ainsi la pérennité. Quels furent les mécanismes explicites et implicites de cette entreprise de légitimation ? À partir d'une étude approfondie des actes juridiques qui formalisèrent la soumission et du discours produit sur celle-ci par les chroniques contemporaines, cet ouvrage en analyse les ressorts politiques et culturels. Il permet ainsi de comprendre comment et pourquoi cet assujettissement fut paradoxalement pensé comme la condition nécessaire au maintien de la libertas. 410 0$aCollection de l'E?cole franc?aise de Rome ;$v603. 606 $aEarly history: c 500 to c 1450/1500$2bicssc 606 $aEuropean history$2bicssc 607 $aFlorence (Italy)$xHistory$yTo 1421$xHistoriography 607 $aFlorence (Italy)$xPolitics and government$yTo 1421 607 $aFlorence (Italy)$xTerritorial expansion$xHistory$yTo 1500 607 $aTuscany (Italy)$xPolitics and government$yTo 1434 608 $aHistory.$2fast 608 $aSources.$2fast 610 $afondements juridiques de la souveraineté 610 $ahistoire culturelle du politique 610 $aItalie communale 610 $apratiques et langages du pouvoir 610 $aterritorialisation du pouvoir 615 7$aEarly history: c 500 to c 1450/1500 615 7$aEuropean history 700 $aAbe?le?s$b Solal$01324582 906 $aBOOK 912 $a9910765530003321 996 $aProtéger, libérer, assujettir$93764479 997 $aUNINA