In systems biology, the number of available models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challenging issue. In this paper, we study the coupling of different models playing a role in the mammalian cell cycle and in cancer therapies. We show how the formalization of experimental observations in temporal logic with numerical constraints can be used to compute the unknown coupling kinetics parameter values agreeing with experimental data […]
Sun, May 1, 2011
In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challenging issue. In this paper, we show how the validation of a coupled model and the optimization of its parameters with respect to biological properties formalized in temporal logics, can be done automatically by model-checking. More specifically, we illustrate this approach with the coupling of existing models of the mammalian cell cycle, the p53-based DNA-damage repair network, and irinotecan metabolism, with respect to the biological properties of this anticancer drug […]
Tue, Dec 1, 2009
The existence of links between the cell division cycle and the circadian clock has been recently discovered. In this research report, we perform a small in silico analysis of how mutations on the clock genes composing the mammalian circadian clock affect the phenotype of the cell cycle. For this purpose, we use a coupled model of the mammalian circadian clock and the mammalian cell cycle where the latter one is entrained by the former one via a common protein kinase WEE1 […]
Tue, Dec 1, 2009
Sat, Aug 1, 2009