Modélisation de l'expression génétique bactérienne dans un pi-calcul stochastique à objets concurrents Régulation génétique -- Modèles mathématiques -- Thèses et écrits académiques Pi-calcul -- Thèses et écrits académiques Markov, Processus de Génétique bactérienne -- Modèles mathématiques -- Thèses et écrits académiques Langages de programmation Programmation parallèle (informatique) Bioinformatique -- Thèses et écrits académiques 572.865 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. Text Electronic Thesis or Dissertation EN application/pdf 1 : 3367218 https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-Kuttler.pdf Kuttler Céline 2007LIL10152 2007-01-01 Informatique Université Lille1 - Sciences et Technologies thesis.degree.grantor_1 026404184 Doctorat non oui Vandenbunder Bernard Lhoussaine Cédric Université Lille1 - Sciences et Technologies ASCII 3367218