Project-team

DYLISS

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

Our common "knowledge-based approach" aims at gaining in sensitivity and expressivity through a discrete and structured abstraction of genomic and physiological information, compared to statistical methods that require lots of information or perturbations datasets to be efficient. Our methods are based on a purely symbolic computational approach addressing integrative biology with logical constraints (identifying genomic and physiological specificities of the studied species), sequence analysis with formal languages (characterizing actors in genomic sequences), dynamical modeling with symbolic dynamics (quantifying the impact of environment), and semantic web (confronting predictions to existing structured knowledge).

Centre(s) inria
Rennes
In partnership with
CNRS,Université Rennes 1

Members

Team leader

Marie Le Roic

Team assistant