Dyliss

De Cat OPIDoR
Dyliss
Autres noms Dynamics, Logics and Inference for biological Systems and Sequences, DYLISS Team
URL https://www-dyliss.irisa.fr
Tutelles Inria
Identifiants
RNSR 201221035S





Le but du projet de l'équipe Dyliss, Dynamics, Logics and Inference for biological Systems and Sequences, 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.

Dyliss est une équipe de recherche en bioinformatique qui se concentre sur l'analyse des séquences et la biologie des systèmes. L'équipe Dyliss utilise des systèmes formels qualitatifs pour caractériser les acteurs génétiques d'espèces non modèles, telles que les algues ou les bacilles miniers, qui contrôlent les réponses phénotypiques lorsqu'elles sont confrontées à leur environnement.

Méthodes : programmation logique par contraintes, dynamique symbolique, apprentissage machine, systèmes formels. Expertise : caractérisation fonctionnelle, espèces non modèles, intégration multi-échelle. Domaines d'application : biologie marine, biologie micro-environnementale...

Domaines scientifiques :

Sciences & Technologies


PE7 Ingénierie des systèmes et de la communication




Offre de services de Dyliss

  • AuReMe (Outils de gestion des données)