]> 2026-04-26T19:05:45+02:00 Dyliss 0 fr 201221035S 48.11655,-1.63966 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... Rennes Dyliss Dynamics, Logics and Inference for biological Systems and Sequences, DYLISS Team DYLISS Team Dynamics, Logics and Inference for biological Systems and Sequences 2020-08-27T07:46:07Z 2459088.8236921 2025-08-11T12:01:49Z 2460899.0012616 Dyliss 0 1 ul 2 [[A pour structure::Dyliss]] Dyliss# QUERY7f5c78196f676f8b2425bc246b90acea 0 0 leaflet 1 [[:Dyliss]] Dyliss# QUERYf1fee6521b43f8eae607b1b9f934590b AuReMe 0 fr AuReMe A pour structure 102 fr A pour structure