Magnin, Morgan, 1980-....
Morgan Magnin
VIAF ID: 204127653 ( Personal )
Permalink: http://viaf.org/viaf/204127653
Preferred Forms
- 100 1 _ ‡a Magnin, Morgan ‡d 1980-...
- 100 1 _ ‡a Magnin, Morgan, ‡d 1980-....
- 100 0 _ ‡a Morgan Magnin
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Algebraic modeling of the dynamics of multi-scale biological regulatory networks. | |
Discrete model life cycle and application to the regulation of pancreatic cancer cells. | |
Étude de la dynamique des réseaux biologiques : apprentissage des modèles, intégration des données temporelles et analyse formelle des propriétés dynamiques | |
Formal verification and automatic learning of logic programs for qualitative modeling with single-cell data. | |
Identifier et analyser les comportements dynamiques à long terme des réseaux de régulation génétique à l’aide de modélisation hybride. | |
Identifying and Analyzing Long-term Dynamical Behaviors of Gene Regulatory Networks with Hybrid Modeling | |
Modélisation algébrique de la dynamique multi-échelles des réseaux de régulation biologique : méthodes de modélisation et d'analyse pour l'enrichissement des Frappes de Processus | |
Relations entre modèles d'activités humaines et modèles du cerveau : application aux jeux sérieux en clinique | |
Relationships between human activity models and brain models : application to clinical serious games. | |
Réseaux de Petri à chronomètres : temps dense et temps discret | |
Stopwatch Petri nets with dense-time and discrete-time semantics. | |
Study of the dynamics of biological networks : learning models, time data integration and model checking analysis. | |
Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell |