ETUDE ET MODELISATION DES RESEAUX DE REGULATION GENETIQUE

Slides:



Advertisements
Présentations similaires
S-SYSTEMS ETAPPROCHE HYBRIDE
Advertisements

Approche graphique du nombre dérivé
Fabrice Lauri, François Charpillet, Daniel Szer
Projections démographiques
Résolution de problèmes et logiciel de calcul symbolique
IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Uniformisation des mécanismes de conception de SMA.
A. Cornuéjols IAA (basé sur Rob Schapires IJCAI99 talk) Combiner des apprenants: le boosting.
Simplification Out-of-Core des modèles polygonales complexes
Un exemple de système EDA d'index supérieur distillation réactive avec réactions chimiques instantanément équilibrées Dr. Karim Alloula (ingénieur informatique.
Reconnaissance de la parole
Chapitre 5. Description numérique d’une variable statistique.
Equipe Biosystème Membres de l’équipe: Mme. Hounaida Homri Thèse
EXPOSÉ LA BIO-INFORMATIQUE - Présenter Les Concepts de Base
Choix d’investissement en horizon probabiliste
La méthode expérimentale TD 2 - Licence Laure Fernandez
Appropriation et extensions d'un logiciel libre de traitement de réseaux bayésiens complexes pour l’appréciation quantitative des risques alimentaires.
Etude de la dynamique des groupes et des objets intermédiaires de conception, en s’appuyant sur la dynamique de l’émergence des état problèmes Reza MOVAHEDKHAH,
1 Intégration numérique garantie de systèmes décrits par des équations différentielles non-linéaires Application à l'estimation garantie d'état et de paramètres.
Défi écriture BEF Couverture. Défi écriture BEF Page 1.
Modélisation et commande hybrides d’un onduleur multiniveaux monophasé
"Recherche de scénarios redoutés à partir d'un modèle réseau de Petri"
METHODES DE SIMULATION DE LA VITESSE DU VENT
Bouyekhf Rachid-Lyuboumir Gruitch Laboratoire SeT UTBM
Journée de Travail Groupe “Bermudes”
Safae LAQRICHI, Didier Gourc, François Marmier {safae
MODÉLISATION DU TRANSPORT RÉACTIF EN MILIEU POREUX
Guy Gauthier, ing., Ph.D. Session été 2013.
UNIVERSITE DES SCIENCES ET DE LA TECHNOLOGIE D’ORAN
Des RRA à la diagnosticabilité
Application des algorithmes génétiques
Vuibert Systèmes dinformation et management des organisations 6 e édition R. Reix – B. Fallery – M. Kalika – F. Rowe Chapitre 3 : Laide à la décision Laide.
Suites de matrices Quelques usages récurrents
Mise en situation... m g l = 1 m l2 = 1 Positions: Vitesses:
Décodage des informations
Méthode des k plus proches voisins
Diagnostic des Systèmes à Evénements Discrets
Les Algorithmes Cryptographiques Symétriques
Introduction - Modèle Discret – Modèle Continu - Algorithmes - Conclusion
Maîtrise des risques et sûreté de fonctionnement – Avignon – 6-10 Octobre 2008 Modélisation des dysfonctionnements dun système dans le cadre dactivités.
SCIENCES DE L ’INGENIEUR
Approche cinétique de l ’évolution des systèmes chimiques
Équations Différentielles
Méthodes de prévision (STT-3220) Section 4 Concepts fondamentaux de séries chronologiques Version: 8 novembre 2004.
La Bioinformatique à Nancy
1 Du pixel à lobjet : méthodes stochastiques X. Descombes Projet Ariana Orféo, 14 juin 2005.
Reconnaissance Vocale
Guy Gauthier, ing., Ph.D. Session automne 2012.
Programmation linéaire en nombres entiers Algorithme de la subdivision successive («Branch and Bound Algorithm»)
Prédiction multi-step de la volatilité : le modèle ARIMA-GARCH appliqué aux séries temporelles d’affaiblissement par la pluie sur les liaisons Terre-Satellite.
Les changements de numéraire dans la tarification d’options
Coordinated by Sven Bergmann
Neuroénergétique Etudiantes :
Sujet : Localisation et dimensionnement de plateformes
1 Mathématiques, environnement et modélisation-simulation Cégep de Rimouski AQPC 2013 Compléments mathématiques Philippe Etchecopar Groupe Initiatives.
Programmation non procédurale Le projet ECOLE 2000
GPA750 – Gestion de Projets
Filtrage de Kalman et aperçu probabiliste
Filtre de Kalman – Préliminaires (1)
Méthodes de prévision (STT-3220)
Méthodes de prévision (STT-3220)
Programmation linéaire en nombres entiers : les méthodes de troncature
Méthodes de prévision (STT-3220)
Évolution de schémas par classification automatique dans les entrepôts de données 3ème journée francophone sur les Entrepôts de Données et l'Analyse en.
Présentation de la méthode des Eléments Finis
Soutenance de stage 16 Mai au 5 Août 2011
1 Modèle pédagogique d’un système d’apprentissage (SA)
Equation différentielle
Programmation dynamique
Amélioration de la simulation stochastique
Réalisé par : Mr IRZIM Hédi Mr JRAD Firas
Transcription de la présentation:

ETUDE ET MODELISATION DES RESEAUX DE REGULATION GENETIQUE Présenté par Mohsen Ben Hassine Juin 2008

PLAN INTRODUCTION SYSTEMES EN S MODELES STOCHASTIQUES MODELES LINEAIRES TRAVAUX REALISES ORIENTATIONS REFERENCES

1.INTRODUCTION Les différents modèles qui ont été proposés pour tenter de donner une approche mathématique des réseaux génétiques se rangent pour l’essentiel dans 3 catégories Les systèmes discrets Les systèmes continus - Les systèmes hybrides Remarque : On peut trouver une classification selon le déterminisme de l’approche : Approche déterministe et approche stochastique

1.INTRODUCTION Les systèmes discrets : Les réseaux d’automates booléens, les réseaux de pétri, les réseaux de neurones, les graphes,…

1.INTRODUCTION Les systèmes continus : - Les concentrations des protéines, mRNAs, et les autres molécules sont représentées par des variables continues variable xi(t) un réseau a une forme d’un système d’EDO

1.INTRODUCTION L’approche stochastique Interprétation probabiliste En général, les réactions chimiques entre espèces ont lieu lors de collisions entre molécules Hypothèse : Dans un système en équilibre thermique, les collisions entre molécules ont lieu aléatoirement on s’oriente vers une formulation stochastique

2. SYSTEMES EN S Forme générale : Idée: Approximer un système qq par un système en S ( au voisinage de l’équilibre)

2. SYSTEMES EN S XS-SYSTEM Principe: Associer à notre S-System, un automate qui permet de donner une trace discrète du système . L’approche obtenu ainsi est dit hybride Utiliser un langage formel pour interroger notre modèle (CTL) Eventually(steady_state and Always[GTP < k])

3. MODELES STOCHASTIQUES (version discrète) Les variables stochastiques Xi présentent le nombre de molécules des protéines, mRNAs, etc. Xi(t) Є IN P(Xi(t)) est la PDF décrivant la probabilité que à l’instant t une substance contient Xi molécules La CME: Chemical master equation = l’équivalent stochastique de l’EDO Difficile à résoudre analytiquement

3. MODELES STOCHASTIQUES (version discrète) Problème :Etant donné un état initial du système (i.e. le nombre de molécules présentes pour chaque espèce a un instant initial t0), quel sera l’état du système à un instant t > t0? Algorithme de Gillespie

3. MODELES STOCHASTIQUES (version continue) Nous aimerions rajouter un bruit à l’EDO : on utilise un bruit blanc ε(t) comme modèle de bruit EDS

4.MODELES LINEAIRES (PLM) La dynamique des réseaux de régulation génique peut être représentée par une classe d'équations différentielles linéaires par morceaux dont la forme générale est la suivante: Exemple :

5.TRAVAUX REALISES Etude des systèmes en S ( avec des exemples) Etude des modèles stochastiques ( implém. Gillespie) Présentation de Simbiology Etude des PLM ( actuellement) Divers :Stat sur les méthodes et les outils utilisés, journaux de publication,softs,sujets, …

6.ORIENTATIONS Multitude de choix Absence d’une documentation complète Nécessité d’organiser des rencontres avec des experts et des chercheurs ( séminaires, collaboration inter labos , partenariat ) Nécessité d’une équipe multi couleur Tendance vers le modèle linéaire

7.REFERENCES LES SUJETS circadian rhythms in Drosophila (Leloup and Goldbeter, 1998) lambda phage infection of E. coli (McAdams and Shapiro, 1998) segmentation of early embryo of Drosophila (Reinitz and Sharp, 1996) cell division in Xenopus (Novak and Tyson, 1993) Trp synthesis in E. coli (Santillán and Mackey, 2001) induction of lac operon in E. coli (Carrier and Keasling, 1999) developmental cycle of bacteriophage T7 (Endy et al., 2000)

7.REFERENCES Les chercheurs -A.D. Keller, A. Arkin et al -J.-C. Leloup and A. Goldbeter, -H. McAdams and A. Arkin, -B. Novak and J. Tyson, -M. Ptashne, -M. Santillán and M.C. Mackey, -R. Thomas and R. d’Ari, -Elowitz, Rosenfeld -M. Antoniotti, B. Mishra, -S.A. Kauffman. -J.D. Murray. … A. Arkin et al J.M. Bower and H. Bolouri, T.A. Carrier and J.D. Keasling, J.L. Cherry and F.R. Adler, D. Endy et al J. Hasty et al., H. de Jong, N. van Kampen, D. Kaplan and L. Glass,

7.REFERENCES Les logiciels - COPASI - SIMBIOLOGY GNA MATLAB CELL ILLUSTRATOR

7.REFERENCES