Ent?te

Logo du LIFL

Depuis le 1er janvier 2015 le LIFL et le LAGIS forment le laboratoire CRIStAL

  1. News

Thesis of

Céline Kuttler

Wednesday 24 January 2007
TELECOM Lille

Modélisation de l'expression génétique bactérienne dans un pi-calcul stochastique à objets concurrents

Président : Hélène Touzet, LIFL
Directeur de Thèse : Bernard Vandenbunder, Institut de Recherche Interdisciplinaire
Rapporteurs : Hidde de Jong, INRIA Rhône-Alpes
Corrado Priami, Microsoft Research - University of Trento Centre for Computational and Systems Biology
Examinateurs : François Fages, INRIA Roquencourt
Sophie Tison, LIFL
Co-encadrant : Cédric Lhoussaine, LIFL

La biologie systémique cherche à comprendre la dynamique cellulaire qui émerge des interactions des constituantes cellulaires au cours du temps. La modélisation et la simulation sont des méthodes fondamentales de ce domaine. Nous nous inspirons de la proposition de Regev et Shapiro (2002) consistant à appliquer le pi-calcul stochastique comme langage formel de représentation de connaissances biomoléculaires. Nos études portent sur la modélisation à l´échelle moléculaire de l'expression génétique bactérienne et s'avèrent pertinentes pour des organismes supérieurs.
Nos points de départs sont des études de cas concrets de la régulation de la bascule génétique du phage lambda, de la transcription et de la traduction. Ces études révèlent l'utilité de concepts de programmation tels que les objets concurrents et motivent une extension du pi-calcul stochastique avec des motifs de réception. Nous présentons une sémantique pour ce langage qui attribue des chaînes Markoviennes en temps continu aux programmes. Nous validons nos modèles par des simulations stochastiques.

Ours

UMR 8022 - Laboratoire d'Informatique Fondamentale de Lille - Copyright © 2012 Sophie TISON - Crédits & Mentions légales

Page respectant XHTML et CSS.

Pour tout commentaire / Comments and remarks : webmaster