In recent years Systems Biology has become a rich field of study, trying to encompass all the information that has become available thanks to the new high-throughput techniques of biologists.Fifteen years ago, a fundamental breakthrough was the publication of Kurt Kohn’s map of the cell cycle control in mammals. Its similarity with electronic circuits was crucial in both making it impossible for humans to comprehend fully, and in prompting the use of formal methods.Since then however, the networks built by biologists and modellers have continued growing bigger, filled with more and more mechanistic details, especially recently acquired post-transcriptional information, but lacking most of precise kinetic data. Because analysis techniques providing dynamical insights mostly rely on complete kinetic information, what was challenging for the human ten years ago is now a challenge even for computers,In this manuscript we will try to give an account of our work of the last twelve years, centered around the question of model […]
Thu, Dec 1, 2016
In this thesis, we study the close links between linear logic and on current constraint programming, from the angle of semantics and more precisely of program verification. We refine the observables that can be characterized in linear logic and extend existing results to obtain a more precise and more general semantics. These results are only based on a more faithful translationfrom agents into logic formulae and on an enrichment of the theory […]
Sun, Apr 1, 2001