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

S Buchet - 2022 - theses.hal.science
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 …