Ressource en auto-formation : Aspects sémantiques et algorithmiques du vivant

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 qu...
cours / présentation - Création : 13-01-2011
Par : François Fagès
Partagez !

Présentation de: Aspects sémantiques et algorithmiques du vivant

Informations pratiques sur cette ressource

Langue du document : Français
Type : cours / présentation
Niveau : enseignement supérieur
Langues : Français
Contenu : ensemble de données
Public(s) cible(s) : apprenant, enseignant
Document : Document HTML, Document PDF
Age attendu : 18 ans et +
Difficulté : très difficile
Droits d'auteur : pas libre de droits, gratuit
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)

Description de la ressource en auto-formation

Résumé

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 que la théorie de l'interprétation abstraite permet de relier par des relations d'abstraction les différents formalismes utilisés (Booléens, stochastiques, ODE), la théorie des graphes fournit une notion très générale de réduction de modèles qui permet de relier les modèles développés à différents niveaux de détails. Suivant ces principes, la machine abstraite biochimique (Biocham) est un environnement logiciel qui offre un langage de règles pour modéliser les grands systèmes d'interactions biomoléculaires, et un langage puissant fondé sur la logique temporelle pour formaliser les propriétés biologiques du système. En s'appuyant sur ces deux langages, il devient possible d'utiliser des techniques de vérification formelle et d'optimisation pour corriger ou compléter les modèles vis à vis de leur spécification. Au travers d'exemples de voies de signalisation dans la cellule, et de contrôle du cycle cellulaire, nous illustrerons cette approche ainsi que sa complémentarité avec des techniques plus classiques de modélisation mathématique.

  • Granularité : leçon
  • Structure : atomique

"Domaine(s)" et indice(s) Dewey

  • Biomathematics (570.151 )
  • Algorithmes (518.1)
  • Fondamentaux et modèles mathématiques (511.8)

Domaine(s)

Informations pédagogiques

  • Proposition d'utilisation : On peut conseiller cette ressource comme un "cours de recherche" de niveau master 2 par ex. pour des étudiants qui veulent decouvrir l'application des méthodes formelles et des techniques de validation par model-checking à un domaine particulier : la biologie moléculaire.
  • Activité induite : apprendre
  • Commentaires pédagogiques : Il s'agit plutôt d'un thème enseignement-recherche qui ne fait pas encore partie des cursus standard en biologie

Intervenants, édition et diffusion

Intervenants

Créateur(s) de la métadonnée : Marie-Hélène Comte;Marie-Hélène
Validateur(s) de la métadonnée : Sylvain Duranton sduranton;Sylvain Duranton

Édition

  • Institut National de Recherche en Informatique et en Automatique

Diffusion

Document(s) annexe(s) - Aspects sémantiques et algorithmiques du vivant

Partagez !

AUTEUR(S)

  • François Fagès
    INRIA

DIFFUSION

Cette ressource en auto-formation vous est proposée par :
UNIT - accédez au site internet
Sur les réseaux sociaux :

ÉDITION

Institut National de Recherche en Informatique et en Automatique

EN SAVOIR PLUS

  • Identifiant de la fiche
    http://ori.unit-c.fr/uid/unit-ori-wf-1-4329
  • Identifiant OAI-PMH
    oai:www.unit.eu:unit-ori-wf-1-4329
  • Statut de la fiche
    final
  • Schéma de la métadonnée
  • Entrepôt d'origine
    UNIT
  • Publication
    13-01-2011

Ressources en auto-formation sur les mêmes thèmes

Présentation de la ressource en auto-formation Logique formelle et programmation logique cours / présentation, exercice
04/02/2008
Logique formelle et programmation logique
Auteur(s) : Lengrand Stéphane
Description : Cours présentant les éléments fondamentaux de la logique classique en vue de modéliser le raisonnement, de le formaliser et de l’automatiser. L’objectif de cet enseignement est de conduire l’élève à maîtriser le processus de démonstration automatique pour les problèmes résolubles dans ce cadre. ...
Présentation de la ressource en auto-formation La programmation par contraintes cours / présentation, démonstration
24/02/2004
La programmation par contraintes
Auteur(s) : Parizot Étienne, Soliman Sylvain, Fages François
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…