2 résultats : FAGES FRANÇOIS

Recherche en cours

Par auteur = FAGES FRANÇOIS

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

2 résultats

page 1 sur 1

résultats 1 à 2

Aspects sémantiques et algorithmiques du vivant

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 ...

Mots clés : 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

Date : 13-01-2011

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Aspects sémantiques et algorithmiques du vivant

Ajouter à mon panier

Accéder au document

La programmation par contraintes

Description : Grâce à elle, le programme informatique résolvant un problème peut s’écrire de manière très simple. Il s’agit simplement d’écrire les différentes contraintes que l’on souhaite voir respectées…

Mots clés : programmation logique, algorithme, solveur, langage haut niveau, recherche opérationnelle, propagation de contrainte, optimisation, fuscia

Date : 20-02-2004

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La programmation par contraintes

Ajouter à mon panier

Accéder au document

Rebondir