Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell
La compréhension des mécanismes cellulaires à l œuvre au sein des organismes vivants repose généralement sur l étude de leur expression génétique. Cependant, les gènes sont impliqués dans des processus de régulation complexes et leur mesureest difficile à réaliser. Dans ce contexte, la modélisation...
Enregistré dans:
Auteurs principaux : | , , , , , , |
---|---|
Collectivités auteurs : | , , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell / Samuel Buchet; sous la direction de Morgan Magnin et de Olivier Roux |
Publié : |
2022 |
Accès en ligne : |
Accès Nantes Université
|
Note sur l'URL : | Accès au texte intégral |
Note de thèse : | Thèse de doctorat : Informatique : Ecole centrale de Nantes : 2022 |
Sujets : |
Table des matières indisponible