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

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : 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)
Collectivités auteurs : 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 : 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 :