Suggestions

Du même auteur

Model-based Investigation of the Coupling between the Cell Cycle and the Circadian Clock in Mouse Embryonic Fibroblasts

Archive ouverte | Traynard, Pauline | CCSD

Experimental observations have put in evidence autonomous self-sustained cir-cadian oscillators in most mammalian cells, and proved the existence of molecular links between the circadian clock and the cell cycle. Some mathematical...

Modular logical modelling of the budding yeast cell cycle

Archive ouverte | Fauré, Adrien | CCSD

International audience

Model Building by Temporal Logic Constraint Solving: Investigation of the Coupling between the Cell Cycle and the Circadian Clock. Construction de modèle par résolution de contraintes de logique temporelle : étude du couplage entre le cycle cellulaire et l’horloge circadienne

Archive ouverte | Traynard, Pauline | CCSD

In this dissertation, we explore the use of temporal logic and model checking in systems biology. Our thesis is that temporal logic provides a powerful language to formalize complex yet imprecise dynamical properties of biological...

Chargement des enrichissements...