| 研究実績の概要 |
The main outcome of this project is a manuscript titled "Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation." and co-authored with P. Traynard, F. Fages and D. Thieffry (from IBENS and INRIA, France). This manuscript has been submitted to the next European Conference on Computational Biology (ECCB2016). Notification of acceptance is due by the end of May, so at the time of writing I can not know whether or not it has been accepted. The manuscript presents an improved and extended version of a logical model of the Mammalian cell cycle (Faure et al., 2006) along with a detailed account of how model-checking techniques could be applied to this specific problem.
Regarding the circadian clock aspect of this Kakenhi project, I'm sorry to report that the initial goals could not be met. Adaptation of the Leloup/Goldbeter models developed by Wataru Mori during the first years of this project didn't prove reliable enough to warrant publication.
However, technical and methodological considerations related to this project led to several new developments, the most advanced of which is a new definition of circuit functionality. A manuscript is in preparation with Takeyuki Tamura from Kyoto university, which we plan to submit in the next few months.
Moreover, I just started a new project to clarify the extent to which it is possible to model entrainment within the constraints of the logical formalism.
|
