Modélisation, simulation et vérification des grands réseaux de régulation biologique

Modélisation, simulation et vérification des grands réseaux de régulation biologique

Les Réseaux de Régulation Biologique (RRB) sont communément utilisés en biologie systémique pour modéliser, comprendre et contrôler les dynamiques de production des protéines au sein des cellules. Bien qu offrant une représentation très abstraite des systèmes biologiques, l analyse formelle de tels...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Paulevé Loïc (Auteur)
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)
Autres auteurs : Roux Olivier Henri (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Modélisation, simulation et vérification des grands réseaux de régulation biologique / Loïc Paulevé; sous la direction de Olivier Roux
Publié : 2011
Description matérielle : 1 vol. (226 p.)
Note de thèse : Thèse de doctorat : Automatique, robotique, traitement du signal et informatique appliquée : Ecole centrale de Nantes : 2011
Sujets :
Régulation (biologie) > Thèses et écrits académiques
Logiciels > Vérification > Thèses et écrits académiques
Frappes de processus
Simulation non-markovienne

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Prêt Statut
Bibliothèques Th. 2378 bis Empruntable Disponible
Magasin 3 Th. 2378 Exclu du prêt disponible