Modélisation hybride, analyse et vérification quantitative des grands réseaux de régulation biologique
Les Réseaux de Régulation biologique (RRB) sont couramment utilisés en biologie des systèmes pour modéliser, comprendre et contrôler les dynamiques des différentes fonctions biologiques (différenciation, synthèse protéique, apoptose) au sein des cellules. Ces réseaux sont enrichis des données expéri...
Enregistré dans:
Auteurs principaux : | , , , , , , |
---|---|
Collectivités auteurs : | , , |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Modélisation hybride, analyse et vérification quantitative des grands réseaux de régulation biologique / Louis Fippo Fitime; sous la direction de Olivier Roux et de Carito Guziolowski |
Publié : |
2016 |
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 : 2016 |
Sujets : |