Résultats de la recherche - Magnin, Morgan (1980-....)
- Résultat(s) 1 - 7 résultats de 7
-
1
Réseaux de Petri à chronomètres : temps dense et temps discret / par Magnin, Morgan (1980-....)
Cote: Chargement en cours…
Localisé: Chargement en cours…Thèse Livre Chargement en cours… -
2
Réseaux de Petri à chronomètres temps dense et temps discret / par Magnin, Morgan (1980-....)
Publié 2007Cote: Chargement en cours…Accès au texte intégral
Localisé: Chargement en cours…
Thèse Électronique -
3
Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks / par Chai, Xinwei
Cote: Chargement en cours…Accès au texte intégral
Localisé: Chargement en cours…
Accéder au texte intégral
Accéder au texte intégral
Thèse Électronique eBook -
4
Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell / par Buchet, Samuel (1995-....)
Cote: Chargement en cours…Accès au texte intégral
Localisé: Chargement en cours…
Accéder au texte intégral
Accéder au texte intégral
Thèse Électronique eBook -
5
É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 / par Ben Abdallah, Emna
Cote: Chargement en cours…Accès au texte intégral
Localisé: Chargement en cours…
Accéder au texte intégral
Accéder au texte intégral
Thèse Électronique eBook -
6
Identifying and Analyzing Long-term Dynamical Behaviors of Gene Regulatory Networks with Hybrid Modeling / par Sun, Honglu (1994-....)
Cote: Chargement en cours…Accès au texte intégral
Localisé: Chargement en cours…
Accéder au texte intégral
Accéder au texte intégral
Thèse Électronique eBook -
7
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 /... par Folschette, Maxime (1988-....)
Cote: Chargement en cours…
Localisé: Chargement en cours…Thèse Livre Chargement en cours…
Outils de recherche:
Sujets similaires
Attracteurs (mathématiques)
Bioinformatique
Biologie systémique
Modélisation des données (informatique)
Petri, Réseaux de
Answer Set Programming (informatique)
Apprentissage automatique
Biotechnologie
Cellules
Données massives
Information génétique
Oscillations
Rythmes biologiques
Régulation (biologie)
Réseaux de régulation génétique
Systèmes dynamiques
Vérification de modèles (informatique)