Skip to Main content Skip to Navigation

Conception et mise en oeuvre d'un outil déclaratif pour l'analyse des réseaux génétiques discrets

Fabien Corblin 1
TIMC-IMAG - Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications, Grenoble - UMR 5525
Abstract : A growing demand for tools to build and decrypt genetic networks that control cellular processes is felt in biology. We argue that the use of the declarative approach is relevant and applicable to answer questions from biologists about these networks, which are in general partially known. The main idea is to model knowledge about both the structure and the dynamic of a network by a set of constraints representing all the solutions, to check its consistency, to repair a possible inconsistency by an automatic constraint removal, and to infer properties on the structure and dynamic of the network. To demonstrate the feasibility of the approach, we formalize the discrete networks of R. Thomas and relevant biological properties, offer a tool based on constraint logic programming in cooperation with a SAT solver, and validate it on significant biological applications.
Document type :
Complete list of metadata

Cited literature [57 references]  Display  Hide  Download
Contributor : Fabien Corblin Connect in order to contact the contributor
Submitted on : Wednesday, May 27, 2009 - 2:02:06 PM
Last modification on : Wednesday, October 20, 2021 - 12:47:23 AM
Long-term archiving on: : Thursday, June 10, 2010 - 11:54:52 PM


  • HAL Id : tel-00388776, version 1



Fabien Corblin. Conception et mise en oeuvre d'un outil déclaratif pour l'analyse des réseaux génétiques discrets. Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2008. Français. ⟨tel-00388776⟩



Record views


Files downloads