Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell

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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Buchet Samuel (Auteur), Magnin Morgan (Directeur de thèse, Membre du jury), Roux Olivier (Directeur de thèse, Membre du jury), Dague Philippe (Président du jury de soutenance, Membre du jury), Chaves Madalena (Rapporteur de la thèse, Membre du jury), Comet Jean-Paul (Rapporteur de la thèse, Membre du jury), Pérès Sabine (Membre du jury)
Collectivités auteurs : Centrale Nantes 1991-.... (Organisme de soutenance), École doctorale Mathématiques et sciences et technologies de l'information et de la communication Rennes (Ecole doctorale associée à la thèse), Laboratoire des Sciences du Numérique de Nantes (Laboratoire associé à la thèse)
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 :
Cellules
Information génétique
Modélisation des données (informatique)
Apprentissage automatique
Biologie systémique
Biologie des systèmes
Réseaux de régulation génétique
Séquençage single-cell
Modèles qualitatifs
Méthodes formelles
Thèses et écrits académiques

Internet

http://www.theses.fr/2022ECDN0011/document