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

Fabien Corblin 1
1 TIMB
TIMC-IMAG - Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications [Grenoble]
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 :
Theses
Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2008. Français
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00388776
Contributor : Fabien Corblin <>
Submitted on : Wednesday, May 27, 2009 - 2:02:06 PM
Last modification on : Wednesday, October 29, 2014 - 1:27:46 PM
Document(s) archivé(s) le : Thursday, June 10, 2010 - 11:54:52 PM

Identifiers

  • HAL Id : tel-00388776, version 1

Collections

Citation

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>

Share

Metrics

Record views

12267

Document downloads

228