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...
Saved in:
Main Authors : | , , , , , , |
---|---|
Corporate Authors : | , , |
Format : | Thesis |
Language : | français |
Title statement : | 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 |
Published : |
2016 |
Online Access : |
Via Nantes Université network
|
Online Access note : | Accès au texte intégral |
Note de thèse : | Thèse de doctorat : Informatique : Ecole centrale de Nantes : 2016 |
Subjects : |