Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks

Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks

Les systèmes concurrents sont un bon choix pour ajuster les données et analyser les mécanismes sous-jacents pour leur sémantique simple mais expressive. Cependant, l apprentissage et l analyse de tels systèmes concurrents sont difficiles pour ce qui concerne les calculs. Lorsqu il s agit de grands e...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Chai Xinwei (Auteur), Roux Olivier (Directeur de thèse, Membre du jury), Magnin Morgan (Directeur de thèse, Membre du jury), Duval Béatrice (Président du jury de soutenance, Membre du jury), Le Gall Pascale (Rapporteur de la thèse, Membre du jury), Bernot Gilles (Rapporteur de la thèse, Membre du jury), Paulevé Loïc (Membre du jury)
Collectivités auteurs : Centrale Nantes 1991-.... (Organisme de soutenance), École doctorale Mathématiques et sciences et technologies de l'information et de la communication Rennes (Ecole doctorale associée à la thèse), Laboratoire des Sciences du Numérique de Nantes (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : anglais
Titre complet : Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks / Xinwei Chai; sous la direction de Olivier Roux et de Morgan Magnin
Publié : 2019
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 : 2019
Sujets :
Modélisation des données (informatique)
Régulation (biologie)
Vérification de modèles (informatique)
Bioinformatique
Model checking
Heuristique
Révision de modèles
Thèses et écrits académiques

Internet

http://www.theses.fr/2019ECDN0014/document