Date d'impression :
07.09.15
Page: http://test.sup-numerique.gouv.fr/pid31942/moteur-de-ressources.html
MOTEUR DE RESSOURCES
Consultez la rubrique :
Moteur de ressources
Fermer
Niv. 1
Niv. 2
Accueil du moteur de ressources
Ressources en auto-formation par mot-clé
M
modèle réaction
1
ressource en auto-formation :
modèle réaction
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
1
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
1
ressource
page 1
sur 1
Résultats de
1 à 1
cours / présentation
13/01/2011
Aspects sémantiques et algorithmiques du vivant
Auteur(s)
:
Fagès François
Description
:
La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l'analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire. Tandis ...
Modélisation biologie
biologie de systèmes
cycle cellulaire
sémantique formelle
sémantique des modèles
logique temporelle
algorithme évolutionnaire
recherche paramètres
programmation
modèle réaction
SBML
fuscia
1