Return to search

Formalisme CSP (Constraint Satisfaction Problem) et localisation de motifs structurés dans les textes génomiques

La recherche d'occurrences de gènes d'ARN dans les séquences<br /> génomiques est un problème dont l'importance est renouvelée par la<br /> découverte récente de très nombreux ARN fonctionnels, opérant<br /> souvent en interaction avec d'autres molécules.<br /><br />Le formalisme des réseaux de contraintes est approprié à cette problématique aussi bien sur le plan de la modélisation que sur les développements algorithmiques qu'il permet de proposer. <br /><br /> Après une analyse et une comparaison des outils existants plongés dans le cadre des réseaux de contraintes, nous<br /> montrons comment l'utilisation conjointe des réseaux de contraintes,<br /> des techniques de résolution associées et des algorithmes et<br /> structures de données du "pattern matching" permet de modéliser et de<br /> rechercher efficacement des motifs structurés en interaction (faisant<br /> intervenir plusieurs textes génomiques simultanément).

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00011452
Date12 July 2004
CreatorsThebault, Patricia
PublisherUniversité Paul Sabatier - Toulouse III
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0024 seconds