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]
Résumé : Une demande croissante d'outils pour construire et décrypter des réseaux génétiques contrôlant des processus cellulaires est ressentie en biologie. Nous soutenons que l'utilisation de l'approche déclarative est pertinente et applicable pour répondre aux questions des biologistes sur ces réseaux, en général partiellement connus. L'idée principale est de modéliser des connaissances portant à la fois sur la structure et la dynamique d'un réseau par un ensemble de contraintes représentant l'ensemble des solutions, de vérifier sa cohérence, de réparer une incohérence éventuelle par un relâchement automatique, et d'inférer des propriétés sur la structure et la dynamique du réseau. Pour montrer la faisabilité de l'approche, nous formalisons les réseaux discrets de R. Thomas et les propriétés biologiques pertinentes, proposons un outil reposant sur la programmation logique par contraintes en coopération avec un solveur SAT, et la validons sur des applications biologiques significatives.
Type de document :
Thèse
Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2008. Français
Liste complète des métadonnées

Littérature citée [57 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00388776
Contributeur : Fabien Corblin <>
Soumis le : mercredi 27 mai 2009 - 14:02:06
Dernière modification le : mercredi 29 octobre 2014 - 13:27:46
Document(s) archivé(s) le : jeudi 10 juin 2010 - 23:54:52

Fichier

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

12287

Téléchargements de fichiers

237