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

Full description

Saved in:
Bibliographic Details
Main Authors : Fippo Fitime Louis (Auteur), Roux Olivier (Directeur de thèse, Membre du jury), Guziolowski Carito (Directeur de thèse, Membre du jury), Poupon Anne (Président du jury de soutenance, Membre du jury), Froidevaux Christine (Rapporteur de la thèse, Membre du jury), Givry Simon de (Rapporteur de la thèse, Membre du jury), Soliman Sylvain (Membre du jury)
Corporate Authors : Centrale Nantes 1991-.... (Organisme de soutenance), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Ecole doctorale associée à la thèse), Institut de recherche en communications et cybernétique Nantes 1958-2017 (Laboratoire associé à la thèse)
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 :