Equipe-projet

DYLISS

Dynamics, Logics and Inference for biological Systems and Sequences
Dynamics, Logics and Inference for biological Systems and Sequences

Le but du projet est de modéliser les acteurs clés de processus d'adaptation biologiques, en utilisant des systèmes formels pour structurer et combiner les informations issues de données génomiques et physiologiques. Le but de ces approches s'appuyant sur des connaissances est de gagner en sensibilité et en expressivité pour l'identification de régulateurs clés, via une abstraction discrète et structurée de l'information génomique et physiologique. Les méthodes combinent de l'intégration de données avec de la programmation logique par contraintes (pour identifier les spécificités génomiques et physiologiques des espèces étudiées), l'analyse de séquences biologiques avec des langages formels et de l'apprentissage grammatical (visant la caractérisation fine des acteurs dans les séquences génomiques), la modélisation dynamique à l'aide d'approches symboliques (pour quantifier l'impact de l'environnement sur le système), et les technologies du Web Sémantique pour structurer et explorer les données et les connaissances.

Centre(s) inria
Centre Inria de l’Université de Rennes
En partenariat avec
CNRS,Université de Rennes

Contacts

Responsable de l'équipe

Marie Le Roic

Assistant(e) de l'équipe