Skip to Main content Skip to Navigation
Theses

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

Abstract : Systems biology seeks to understand the cellular-level dynamics arising from the interaction of cellular constituents over time. Modeling and simulation are essential techniques of the field. We follow Regev and Shapiro (2002) in using the stochastic pi-calculus as a formal representation language for biomolecular knowledge. We elaborate molecular level modeling studies for bacterial gene expression, which is relevant to higher organisms as well. Our starting point are concrete case studies on regulation at the lambda switch, transcription and translation.%\\ These reveal the usefulness of programming concepts such as concurrent objects, and motivate an extension of the stochastic pi-calculus with input patterns. We present a semantics for this language that maps programs to continuous time Markov chains. We validate our models through exhaustive stochastic simulation.
Complete list of metadatas

Cited literature [170 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00111653
Contributor : Hal Biocomputing <>
Submitted on : Tuesday, November 6, 2007 - 11:22:04 PM
Last modification on : Friday, October 23, 2020 - 4:36:39 PM
Long-term archiving on: : Friday, November 25, 2016 - 7:15:30 PM

Identifiers

  • HAL Id : tel-00111653, version 2

Citation

Celine Kuttler. Modélisation de l'expression génétique bactérienne dans un pi-calcul stochastique à objets concurrents. Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2007. Français. ⟨tel-00111653v2⟩

Share

Metrics

Record views

583

Files downloads

650