SlideShare ist ein Scribd-Unternehmen logo
1 von 24
Downloaden Sie, um offline zu lesen
Approximate Bayesian Computation (ABC)

               Robin Ryder

                 CREST


             3 novembre 2009




                                         1/24
Introduction




      Contexte : inf´rence bay´sienne
                    e         e
      Donn´es D ; On cherche ` estimer un param`tre θ
          e                  a                 e
      Distribution a posteriori L(θ|D)π(θ)
      Beaucoup de m´thodes (par ex. MCMC) se fondent sur un
                       e
      calcul de la vraisemblance L(θ|D) = P(D|θ)
      Probl`me : Comment faire lorsque ce calcul est trop difficile
           e
      ou trop coˆteux ?
                u




                                                                    2/24
Solution : Approximate Bayesian Computation (ABC)




                                                    3/24
Plan




       Pr´sentation de l’algorithme de base
         e
       Application : datation de l’ancˆtre des primates
                                      e
       Utilisation de statistiques exhaustives ; facteur de Bayes
       Application : Repliement de prot´ines
                                       e
       ABC-MCMC




                                                                    4/24
Contexte




     Vraisemblance L(θ|D) difficile ou impossible ` calculer
                                                a
     Mais facile de simuler un nouveau jeu de donn´es d’apr`s le
                                                  e        e
     mod`le : D = f (θ)
         e




                                                                   5/24
Algorithme Approximate Bayesian Computation




                                              6/24
Algorithme Approximate Bayesian Computation




  Donn´es discr`tes D.
        e       e
  Distribution a priori π(θ).
  On cherche Θ ∼ π(θ) · P(D|θ)
    1   Tirer θ ∼ π
    2   Simuler des donn´es D ∼ f (θ)
                        e
    3   Si D = D, accepter θ ; sinon, rejeter θ
    4   R´p´ter jusqu’` obtenir un ´chantillon de la taille voulue
         e e          a            e
  On obtient un ´chantillon distribu´ selon la densit´
                e                   e                e
  π(θ) · P(D’ = D|θ).
  Exactement la loi a posteriori.
  Tr`s lent.
    e

                                                                     7/24
Algorithme Approximate Bayesian Computation




  Donn´es discr`tes ou continues D
        e       e
  Distribution a priori π(θ)
                  .
  On cherche Θ ∼ π(θ) · P(D|θ)
  Seuil
    1   Tirer θ ∼ π
    2   Simuler des donn´es D ∼ f (θ)
                        e
    3   Si d(D , D) < , accepter θ ; sinon, rejeter θ
    4   R´p´ter jusqu’` obtenir un ´chantillon de la taille voulue
         e e          a            e
  On obtient un ´chantillon distribu´ approximativement selon la loi
                 e                  e
  a posteriori.
  (Pritchard et al., 1999)

                                                                       8/24
3   Si d(D , D) < , accepter θ ; sinon, rejeter θ
Probl`mes :
     e
      Si   est petit, faible taux d’acceptation
      Si est grand, mauvaise approximation (quand     → ∞, on
      simule l’a priori)
      Comment choisir d ?




                                                                9/24
Datation de l’ancˆtre commun des primates
                 e



  Plagnol & Tavar´ (2004) et Wilkinson (2008)
                 e
      ˆ
      Age de l’ancˆtre commun des primates : Biologie mol´culaire
                  e                                      e
      90 MA ; Fossiles 60 MA
      Processus de branchement (param`tre λ) ; ˆge de la racine : τ
                                     e         a
      Sur les Ni esp`ces existant au temps ti (i = 1 . . . 14), on en
                    e
      observe Di ∼ Bin(Ni , αi )
      Param`tres : θ = (τ, λ, α)
           e
      Intervale HPD 95% : 68-99 MA




                                                                        10/24
Statistique exhaustive


  Donn´es discr`tes ou continues D
        e       e
  Distribution a priori π(θ)
                  .
  On cherche Θ ∼ π(θ) · P(D|θ)
  Seuil
  Statistique S, id´alement exhaustive
                    e
    1   Tirer θ ∼ π
    2   Simuler des donn´es D ∼ f (θ)
                        e
    3   Si d(S(D ), S(D)) < , accepter θ ; sinon, rejeter θ
    4   R´p´ter jusqu’` obtenir un ´chantillon de la taille voulue
         e e          a            e
  On obtient un ´chantillon distribu´ approximativement selon la loi
                e                   e
  a posteriori.



                                                                       11/24
Approximations




    3   Si d(S(D ), S(D)) < , accepter θ ; sinon, rejeter θ
  Deux approximations :
         >0
        S statistique non exhaustive




                                                              12/24
Choix de




     Quantile ` 1%
              a
     Attribuer des poids selon d(D , D) : (θi , ωi )




                                                       13/24
Repliement de prot´ines
                  e
  Structure primaire :
  KCNTATCATQRLANFLVHSSNNFGAILSSTNVGSNTY
  Structure tertiaire :




  (Figure : RCSB)
                                          14/24
Choix de mod`le
            e




  Choix de mod`le (structure 3D de prot´ines), Grelaud et al. (2009)
                e                      e
  θ = (m, θm )
  Facteur de Bayes :
  BFm0 /m1 (D) = P(M=m0 |D)π(M=m0 )
                  P(M=m1 |D)π(M=m1 )




                                                                       15/24
Repliement de prot´ines
                  e




                                        1
      Vraisemblance : L(θ|D) =          Zθ   exp(θ     i∼i   I{xi =xi } )
                        1
      L(θm |D) =      Zθm ,m   exp(θm    m
                                        i ∼i
                                               I{xi =xi } ), m = 0 . . . M − 1,
      θm ∈ Θm
      Sm =      ∼
               i mi
                      I{xi =xi }
      S = (S0 (·), . . . , SM−1 (·)) est une statistique exhaustive pour
      (m, θ0 , . . . , θM−1 )




                                                                                  16/24
ABC pour choix de mod`le
                     e




   1   Tirer m ∼ πM (·)
   2   Tirer θm ∼ πm (·)
   3   Simuler D ∼ fm (θm )
   4   Si d(S(D ), S(D)) < , accepter θ ; sinon, rejeter θ
   5   R´p´ter
        e e




                                                             17/24
Ca marche ?
¸




  Gauche :   = 0 ; Droite :   quantile ` 1%
                                       a




                                              18/24
R´sultats
 e




            19/24
ABC-MCMC




  1   Partant de θn , proposer θn+1 = θ
                                          →θn
  2   Calculer α = min 1, P(D|θ )π[(θ )q(θ→θ ) )
                           P(D|θ)π(θ)q(θn
  3   θn+1 = θ avec probabilit´ α ; sinon, θn+1 = θn
                              e




                                                       20/24
ABC-MCMC




   1   Partant de θn , proposer θn+1 = θ
   2   Simuler D = f (θ )
                                              →θ
   3   Calculer α = min Id(D ,D)< , π(θ )q(θn →θ n))
                                    π(θ)q(θ
   4   θn+1 = θ avec probabilit´ h ; sinon, θn+1 = θn
                               e
 (Marjoram et al., PNAS, 2003)




                                                        21/24
Erreur dans le mod`le
                  e



  Supposons qu’il y ait une erreur dans notre mod`le : D = f (θ) + ,
                                                 e
   ∼π
    1   Tirer θ ∼ π
    2   Simuler D ∼ f (θ)
    3   Accepter θ avec probability (proportionnelle `) π (d(D , D))
                                                     a
    4   R´p´ter
         e e
  (Wilkinson, 2008)




                                                                       22/24
1   Partant de (θn , Dn ), proposer θn+1 = θ
2   Simuler D = f (θ )
                                         →θ )π(θ )
3   Calculer α = min 1, π (d(D n,D))q(θn →θ n)π(θn )
                        π (d(D ,D)q(θ
4   θn+1 = θ avec probabilit´ α ; sinon, θn+1 = θn
                            e




                                                       23/24
Questions ?




              24/24

Weitere ähnliche Inhalte

Was ist angesagt? (19)

Cours econometrie-uqam-st-2-v2
Cours econometrie-uqam-st-2-v2Cours econometrie-uqam-st-2-v2
Cours econometrie-uqam-st-2-v2
 
Slides 2040-4
Slides 2040-4Slides 2040-4
Slides 2040-4
 
Fonctions trigonometriques h12
Fonctions trigonometriques h12Fonctions trigonometriques h12
Fonctions trigonometriques h12
 
Slides 2040-6-a2013
Slides 2040-6-a2013Slides 2040-6-a2013
Slides 2040-6-a2013
 
Slides act2040-a2013-2
Slides act2040-a2013-2Slides act2040-a2013-2
Slides act2040-a2013-2
 
Dérivation et primitivation
Dérivation et primitivationDérivation et primitivation
Dérivation et primitivation
 
Slides 2040-5
Slides 2040-5Slides 2040-5
Slides 2040-5
 
Slides 2040-6
Slides 2040-6Slides 2040-6
Slides 2040-6
 
Slide 2040-1
Slide 2040-1Slide 2040-1
Slide 2040-1
 
Slides 2040-4
Slides 2040-4Slides 2040-4
Slides 2040-4
 
Slides ensae 4
Slides ensae 4Slides ensae 4
Slides ensae 4
 
Slides ensae 7
Slides ensae 7Slides ensae 7
Slides ensae 7
 
Cours econometrie-uqam-st-3-v4
Cours econometrie-uqam-st-3-v4Cours econometrie-uqam-st-3-v4
Cours econometrie-uqam-st-3-v4
 
Séries de Fourier
Séries de FourierSéries de Fourier
Séries de Fourier
 
Algorithmes d'approximation
Algorithmes d'approximationAlgorithmes d'approximation
Algorithmes d'approximation
 
Cours algorithmique et complexite complet
Cours algorithmique et complexite completCours algorithmique et complexite complet
Cours algorithmique et complexite complet
 
Slides act6420-e2014-partie-2
Slides act6420-e2014-partie-2Slides act6420-e2014-partie-2
Slides act6420-e2014-partie-2
 
Sélection de contrôles avec correction
Sélection de contrôles avec correctionSélection de contrôles avec correction
Sélection de contrôles avec correction
 
Cours fourier
Cours fourier Cours fourier
Cours fourier
 

Ähnlich wie Approximate Bayesian Computation (ABC)

A new approximation of the Height process of a CSBP
A new approximation of the Height process of a CSBP A new approximation of the Height process of a CSBP
A new approximation of the Height process of a CSBP Mokhtar SELLAMI
 
Cours programmation en matlab2 (1)
Cours programmation en matlab2 (1)Cours programmation en matlab2 (1)
Cours programmation en matlab2 (1)Guesmi Amal
 
analyse numerique
analyse numeriqueanalyse numerique
analyse numeriquehomme00
 
Integrales doubles-ou-triples
Integrales doubles-ou-triplesIntegrales doubles-ou-triples
Integrales doubles-ou-triplesm.a bensaaoud
 
Discrimination et régression pour des dérivées : un résultat de consistance p...
Discrimination et régression pour des dérivées : un résultat de consistance p...Discrimination et régression pour des dérivées : un résultat de consistance p...
Discrimination et régression pour des dérivées : un résultat de consistance p...tuxette
 
Corrige math s1-s3_r_1er_gr_2013
Corrige math s1-s3_r_1er_gr_2013Corrige math s1-s3_r_1er_gr_2013
Corrige math s1-s3_r_1er_gr_2013Ibrahima Sow
 
Omp math nombres-complexes
Omp math nombres-complexesOmp math nombres-complexes
Omp math nombres-complexesAhmed Ali
 
Généralisation du théorème de weierstrass et application
Généralisation du théorème de weierstrass et applicationGénéralisation du théorème de weierstrass et application
Généralisation du théorème de weierstrass et applicationKamel Djeddi
 
Minimal Submanifolds Z.C
Minimal Submanifolds Z.CMinimal Submanifolds Z.C
Minimal Submanifolds Z.CZahraa Cheaitou
 
Thermo dynamique l3 v2
Thermo dynamique  l3 v2Thermo dynamique  l3 v2
Thermo dynamique l3 v2RachidFade
 
Ch3 Algorthmique Avancée - Méthodes Récursives
Ch3 Algorthmique Avancée - Méthodes RécursivesCh3 Algorthmique Avancée - Méthodes Récursives
Ch3 Algorthmique Avancée - Méthodes Récursiveslotfibenromdhane
 
Bandits Algo KL-UCB par Garivier
Bandits Algo KL-UCB par GarivierBandits Algo KL-UCB par Garivier
Bandits Algo KL-UCB par GarivierCdiscount
 

Ähnlich wie Approximate Bayesian Computation (ABC) (14)

A new approximation of the Height process of a CSBP
A new approximation of the Height process of a CSBP A new approximation of the Height process of a CSBP
A new approximation of the Height process of a CSBP
 
Cours programmation en matlab2 (1)
Cours programmation en matlab2 (1)Cours programmation en matlab2 (1)
Cours programmation en matlab2 (1)
 
analyse numerique
analyse numeriqueanalyse numerique
analyse numerique
 
Integrales doubles-ou-triples
Integrales doubles-ou-triplesIntegrales doubles-ou-triples
Integrales doubles-ou-triples
 
Discrimination et régression pour des dérivées : un résultat de consistance p...
Discrimination et régression pour des dérivées : un résultat de consistance p...Discrimination et régression pour des dérivées : un résultat de consistance p...
Discrimination et régression pour des dérivées : un résultat de consistance p...
 
Corrige math s1-s3_r_1er_gr_2013
Corrige math s1-s3_r_1er_gr_2013Corrige math s1-s3_r_1er_gr_2013
Corrige math s1-s3_r_1er_gr_2013
 
Omp math nombres-complexes
Omp math nombres-complexesOmp math nombres-complexes
Omp math nombres-complexes
 
Généralisation du théorème de weierstrass et application
Généralisation du théorème de weierstrass et applicationGénéralisation du théorème de weierstrass et application
Généralisation du théorème de weierstrass et application
 
Théorie des distributions
Théorie des distributionsThéorie des distributions
Théorie des distributions
 
Minimal Submanifolds Z.C
Minimal Submanifolds Z.CMinimal Submanifolds Z.C
Minimal Submanifolds Z.C
 
Thermo dynamique l3 v2
Thermo dynamique  l3 v2Thermo dynamique  l3 v2
Thermo dynamique l3 v2
 
Ch3 Algorthmique Avancée - Méthodes Récursives
Ch3 Algorthmique Avancée - Méthodes RécursivesCh3 Algorthmique Avancée - Méthodes Récursives
Ch3 Algorthmique Avancée - Méthodes Récursives
 
Bandits Algo KL-UCB par Garivier
Bandits Algo KL-UCB par GarivierBandits Algo KL-UCB par Garivier
Bandits Algo KL-UCB par Garivier
 
Cours 1
Cours 1Cours 1
Cours 1
 

Mehr von Robin Ryder

Bayesian Methods for Historical Linguistics
Bayesian Methods for Historical LinguisticsBayesian Methods for Historical Linguistics
Bayesian Methods for Historical LinguisticsRobin Ryder
 
A phylogenetic model of language diversification
A phylogenetic model of language diversificationA phylogenetic model of language diversification
A phylogenetic model of language diversificationRobin Ryder
 
Statistical Methods in Historical Linguistics
Statistical Methods in Historical LinguisticsStatistical Methods in Historical Linguistics
Statistical Methods in Historical LinguisticsRobin Ryder
 
On the convergence properties of the Wang-Landau algorithm
On the convergence properties of the Wang-Landau algorithmOn the convergence properties of the Wang-Landau algorithm
On the convergence properties of the Wang-Landau algorithmRobin Ryder
 
Bayesian case studies, practical 2
Bayesian case studies, practical 2Bayesian case studies, practical 2
Bayesian case studies, practical 2Robin Ryder
 
Bayesian case studies, practical 1
Bayesian case studies, practical 1Bayesian case studies, practical 1
Bayesian case studies, practical 1Robin Ryder
 
Modèles phylogéniques de la diversification des langues
Modèles phylogéniques de la diversification des languesModèles phylogéniques de la diversification des langues
Modèles phylogéniques de la diversification des languesRobin Ryder
 
Talk at Institut Jean Nicod on 6 October 2010
Talk at Institut Jean Nicod on 6 October 2010Talk at Institut Jean Nicod on 6 October 2010
Talk at Institut Jean Nicod on 6 October 2010Robin Ryder
 
Phylogenetic models and MCMC methods for the reconstruction of language history
Phylogenetic models and MCMC methods for the reconstruction of language historyPhylogenetic models and MCMC methods for the reconstruction of language history
Phylogenetic models and MCMC methods for the reconstruction of language historyRobin Ryder
 
Modèles phylogénétiques de la diversification des langues
Modèles phylogénétiques de la diversification des languesModèles phylogénétiques de la diversification des langues
Modèles phylogénétiques de la diversification des languesRobin Ryder
 

Mehr von Robin Ryder (10)

Bayesian Methods for Historical Linguistics
Bayesian Methods for Historical LinguisticsBayesian Methods for Historical Linguistics
Bayesian Methods for Historical Linguistics
 
A phylogenetic model of language diversification
A phylogenetic model of language diversificationA phylogenetic model of language diversification
A phylogenetic model of language diversification
 
Statistical Methods in Historical Linguistics
Statistical Methods in Historical LinguisticsStatistical Methods in Historical Linguistics
Statistical Methods in Historical Linguistics
 
On the convergence properties of the Wang-Landau algorithm
On the convergence properties of the Wang-Landau algorithmOn the convergence properties of the Wang-Landau algorithm
On the convergence properties of the Wang-Landau algorithm
 
Bayesian case studies, practical 2
Bayesian case studies, practical 2Bayesian case studies, practical 2
Bayesian case studies, practical 2
 
Bayesian case studies, practical 1
Bayesian case studies, practical 1Bayesian case studies, practical 1
Bayesian case studies, practical 1
 
Modèles phylogéniques de la diversification des langues
Modèles phylogéniques de la diversification des languesModèles phylogéniques de la diversification des langues
Modèles phylogéniques de la diversification des langues
 
Talk at Institut Jean Nicod on 6 October 2010
Talk at Institut Jean Nicod on 6 October 2010Talk at Institut Jean Nicod on 6 October 2010
Talk at Institut Jean Nicod on 6 October 2010
 
Phylogenetic models and MCMC methods for the reconstruction of language history
Phylogenetic models and MCMC methods for the reconstruction of language historyPhylogenetic models and MCMC methods for the reconstruction of language history
Phylogenetic models and MCMC methods for the reconstruction of language history
 
Modèles phylogénétiques de la diversification des langues
Modèles phylogénétiques de la diversification des languesModèles phylogénétiques de la diversification des langues
Modèles phylogénétiques de la diversification des langues
 

Kürzlich hochgeladen

Présentation_ Didactique 1_SVT (S4) complet.pptx
Présentation_ Didactique 1_SVT (S4) complet.pptxPrésentation_ Didactique 1_SVT (S4) complet.pptx
Présentation_ Didactique 1_SVT (S4) complet.pptxrababouerdighi
 
Fondation Louis Vuitton. pptx
Fondation      Louis      Vuitton.   pptxFondation      Louis      Vuitton.   pptx
Fondation Louis Vuitton. pptxTxaruka
 
SciencesPo_Aix_InnovationPédagogique_Atelier_IA.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_IA.pdfSciencesPo_Aix_InnovationPédagogique_Atelier_IA.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_IA.pdfSKennel
 
Cours SE Gestion des périphériques - IG IPSET
Cours SE Gestion des périphériques - IG IPSETCours SE Gestion des périphériques - IG IPSET
Cours SE Gestion des périphériques - IG IPSETMedBechir
 
Cours SE Le système Linux : La ligne de commande bash - IG IPSET
Cours SE Le système Linux : La ligne de commande bash - IG IPSETCours SE Le système Linux : La ligne de commande bash - IG IPSET
Cours SE Le système Linux : La ligne de commande bash - IG IPSETMedBechir
 
Presentation de la plateforme Moodle - avril 2024
Presentation de la plateforme Moodle - avril 2024Presentation de la plateforme Moodle - avril 2024
Presentation de la plateforme Moodle - avril 2024Gilles Le Page
 
SciencesPo_Aix_InnovationPédagogique_Bilan.pdf
SciencesPo_Aix_InnovationPédagogique_Bilan.pdfSciencesPo_Aix_InnovationPédagogique_Bilan.pdf
SciencesPo_Aix_InnovationPédagogique_Bilan.pdfSKennel
 
Formation M2i - Comprendre les neurosciences pour développer son leadership
Formation M2i - Comprendre les neurosciences pour développer son leadershipFormation M2i - Comprendre les neurosciences pour développer son leadership
Formation M2i - Comprendre les neurosciences pour développer son leadershipM2i Formation
 
SciencesPo_Aix_InnovationPédagogique_Atelier_EtudiantActeur.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_EtudiantActeur.pdfSciencesPo_Aix_InnovationPédagogique_Atelier_EtudiantActeur.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_EtudiantActeur.pdfSKennel
 
Principe de fonctionnement d'un moteur 4 temps
Principe de fonctionnement d'un moteur 4 tempsPrincipe de fonctionnement d'un moteur 4 temps
Principe de fonctionnement d'un moteur 4 tempsRajiAbdelghani
 
Zotero avancé - support de formation doctorants SHS 2024
Zotero avancé - support de formation doctorants SHS 2024Zotero avancé - support de formation doctorants SHS 2024
Zotero avancé - support de formation doctorants SHS 2024Alain Marois
 
le present des verbes reguliers -er.pptx
le present des verbes reguliers -er.pptxle present des verbes reguliers -er.pptx
le present des verbes reguliers -er.pptxmmatar2
 
presentation sur la maladie de la dengue .pptx
presentation sur la maladie de la dengue .pptxpresentation sur la maladie de la dengue .pptx
presentation sur la maladie de la dengue .pptxNYTombaye
 
SciencesPo_Aix_InnovationPédagogique_Atelier_FormationRecherche.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_FormationRecherche.pdfSciencesPo_Aix_InnovationPédagogique_Atelier_FormationRecherche.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_FormationRecherche.pdfSKennel
 
SciencesPo_Aix_InnovationPédagogique_Conférence_SK.pdf
SciencesPo_Aix_InnovationPédagogique_Conférence_SK.pdfSciencesPo_Aix_InnovationPédagogique_Conférence_SK.pdf
SciencesPo_Aix_InnovationPédagogique_Conférence_SK.pdfSKennel
 
Le Lean sur une ligne de production : Formation et mise en application directe
Le Lean sur une ligne de production : Formation et mise en application directeLe Lean sur une ligne de production : Formation et mise en application directe
Le Lean sur une ligne de production : Formation et mise en application directeXL Groupe
 
Saint Georges, martyr, et la lègend du dragon.pptx
Saint Georges, martyr, et la lègend du dragon.pptxSaint Georges, martyr, et la lègend du dragon.pptx
Saint Georges, martyr, et la lègend du dragon.pptxMartin M Flynn
 
Annie Ernaux Extérieurs. pptx. Exposition basée sur un livre .
Annie   Ernaux  Extérieurs. pptx. Exposition basée sur un livre .Annie   Ernaux  Extérieurs. pptx. Exposition basée sur un livre .
Annie Ernaux Extérieurs. pptx. Exposition basée sur un livre .Txaruka
 

Kürzlich hochgeladen (20)

Présentation_ Didactique 1_SVT (S4) complet.pptx
Présentation_ Didactique 1_SVT (S4) complet.pptxPrésentation_ Didactique 1_SVT (S4) complet.pptx
Présentation_ Didactique 1_SVT (S4) complet.pptx
 
Fondation Louis Vuitton. pptx
Fondation      Louis      Vuitton.   pptxFondation      Louis      Vuitton.   pptx
Fondation Louis Vuitton. pptx
 
SciencesPo_Aix_InnovationPédagogique_Atelier_IA.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_IA.pdfSciencesPo_Aix_InnovationPédagogique_Atelier_IA.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_IA.pdf
 
Cours SE Gestion des périphériques - IG IPSET
Cours SE Gestion des périphériques - IG IPSETCours SE Gestion des périphériques - IG IPSET
Cours SE Gestion des périphériques - IG IPSET
 
Cours SE Le système Linux : La ligne de commande bash - IG IPSET
Cours SE Le système Linux : La ligne de commande bash - IG IPSETCours SE Le système Linux : La ligne de commande bash - IG IPSET
Cours SE Le système Linux : La ligne de commande bash - IG IPSET
 
Presentation de la plateforme Moodle - avril 2024
Presentation de la plateforme Moodle - avril 2024Presentation de la plateforme Moodle - avril 2024
Presentation de la plateforme Moodle - avril 2024
 
SciencesPo_Aix_InnovationPédagogique_Bilan.pdf
SciencesPo_Aix_InnovationPédagogique_Bilan.pdfSciencesPo_Aix_InnovationPédagogique_Bilan.pdf
SciencesPo_Aix_InnovationPédagogique_Bilan.pdf
 
Formation M2i - Comprendre les neurosciences pour développer son leadership
Formation M2i - Comprendre les neurosciences pour développer son leadershipFormation M2i - Comprendre les neurosciences pour développer son leadership
Formation M2i - Comprendre les neurosciences pour développer son leadership
 
SciencesPo_Aix_InnovationPédagogique_Atelier_EtudiantActeur.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_EtudiantActeur.pdfSciencesPo_Aix_InnovationPédagogique_Atelier_EtudiantActeur.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_EtudiantActeur.pdf
 
Principe de fonctionnement d'un moteur 4 temps
Principe de fonctionnement d'un moteur 4 tempsPrincipe de fonctionnement d'un moteur 4 temps
Principe de fonctionnement d'un moteur 4 temps
 
Zotero avancé - support de formation doctorants SHS 2024
Zotero avancé - support de formation doctorants SHS 2024Zotero avancé - support de formation doctorants SHS 2024
Zotero avancé - support de formation doctorants SHS 2024
 
le present des verbes reguliers -er.pptx
le present des verbes reguliers -er.pptxle present des verbes reguliers -er.pptx
le present des verbes reguliers -er.pptx
 
presentation sur la maladie de la dengue .pptx
presentation sur la maladie de la dengue .pptxpresentation sur la maladie de la dengue .pptx
presentation sur la maladie de la dengue .pptx
 
DO PALÁCIO À ASSEMBLEIA .
DO PALÁCIO À ASSEMBLEIA                 .DO PALÁCIO À ASSEMBLEIA                 .
DO PALÁCIO À ASSEMBLEIA .
 
SciencesPo_Aix_InnovationPédagogique_Atelier_FormationRecherche.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_FormationRecherche.pdfSciencesPo_Aix_InnovationPédagogique_Atelier_FormationRecherche.pdf
SciencesPo_Aix_InnovationPédagogique_Atelier_FormationRecherche.pdf
 
SciencesPo_Aix_InnovationPédagogique_Conférence_SK.pdf
SciencesPo_Aix_InnovationPédagogique_Conférence_SK.pdfSciencesPo_Aix_InnovationPédagogique_Conférence_SK.pdf
SciencesPo_Aix_InnovationPédagogique_Conférence_SK.pdf
 
Pâques de Sainte Marie-Euphrasie Pelletier
Pâques de Sainte Marie-Euphrasie PelletierPâques de Sainte Marie-Euphrasie Pelletier
Pâques de Sainte Marie-Euphrasie Pelletier
 
Le Lean sur une ligne de production : Formation et mise en application directe
Le Lean sur une ligne de production : Formation et mise en application directeLe Lean sur une ligne de production : Formation et mise en application directe
Le Lean sur une ligne de production : Formation et mise en application directe
 
Saint Georges, martyr, et la lègend du dragon.pptx
Saint Georges, martyr, et la lègend du dragon.pptxSaint Georges, martyr, et la lègend du dragon.pptx
Saint Georges, martyr, et la lègend du dragon.pptx
 
Annie Ernaux Extérieurs. pptx. Exposition basée sur un livre .
Annie   Ernaux  Extérieurs. pptx. Exposition basée sur un livre .Annie   Ernaux  Extérieurs. pptx. Exposition basée sur un livre .
Annie Ernaux Extérieurs. pptx. Exposition basée sur un livre .
 

Approximate Bayesian Computation (ABC)

  • 1. Approximate Bayesian Computation (ABC) Robin Ryder CREST 3 novembre 2009 1/24
  • 2. Introduction Contexte : inf´rence bay´sienne e e Donn´es D ; On cherche ` estimer un param`tre θ e a e Distribution a posteriori L(θ|D)π(θ) Beaucoup de m´thodes (par ex. MCMC) se fondent sur un e calcul de la vraisemblance L(θ|D) = P(D|θ) Probl`me : Comment faire lorsque ce calcul est trop difficile e ou trop coˆteux ? u 2/24
  • 3. Solution : Approximate Bayesian Computation (ABC) 3/24
  • 4. Plan Pr´sentation de l’algorithme de base e Application : datation de l’ancˆtre des primates e Utilisation de statistiques exhaustives ; facteur de Bayes Application : Repliement de prot´ines e ABC-MCMC 4/24
  • 5. Contexte Vraisemblance L(θ|D) difficile ou impossible ` calculer a Mais facile de simuler un nouveau jeu de donn´es d’apr`s le e e mod`le : D = f (θ) e 5/24
  • 7. Algorithme Approximate Bayesian Computation Donn´es discr`tes D. e e Distribution a priori π(θ). On cherche Θ ∼ π(θ) · P(D|θ) 1 Tirer θ ∼ π 2 Simuler des donn´es D ∼ f (θ) e 3 Si D = D, accepter θ ; sinon, rejeter θ 4 R´p´ter jusqu’` obtenir un ´chantillon de la taille voulue e e a e On obtient un ´chantillon distribu´ selon la densit´ e e e π(θ) · P(D’ = D|θ). Exactement la loi a posteriori. Tr`s lent. e 7/24
  • 8. Algorithme Approximate Bayesian Computation Donn´es discr`tes ou continues D e e Distribution a priori π(θ) . On cherche Θ ∼ π(θ) · P(D|θ) Seuil 1 Tirer θ ∼ π 2 Simuler des donn´es D ∼ f (θ) e 3 Si d(D , D) < , accepter θ ; sinon, rejeter θ 4 R´p´ter jusqu’` obtenir un ´chantillon de la taille voulue e e a e On obtient un ´chantillon distribu´ approximativement selon la loi e e a posteriori. (Pritchard et al., 1999) 8/24
  • 9. 3 Si d(D , D) < , accepter θ ; sinon, rejeter θ Probl`mes : e Si est petit, faible taux d’acceptation Si est grand, mauvaise approximation (quand → ∞, on simule l’a priori) Comment choisir d ? 9/24
  • 10. Datation de l’ancˆtre commun des primates e Plagnol & Tavar´ (2004) et Wilkinson (2008) e ˆ Age de l’ancˆtre commun des primates : Biologie mol´culaire e e 90 MA ; Fossiles 60 MA Processus de branchement (param`tre λ) ; ˆge de la racine : τ e a Sur les Ni esp`ces existant au temps ti (i = 1 . . . 14), on en e observe Di ∼ Bin(Ni , αi ) Param`tres : θ = (τ, λ, α) e Intervale HPD 95% : 68-99 MA 10/24
  • 11. Statistique exhaustive Donn´es discr`tes ou continues D e e Distribution a priori π(θ) . On cherche Θ ∼ π(θ) · P(D|θ) Seuil Statistique S, id´alement exhaustive e 1 Tirer θ ∼ π 2 Simuler des donn´es D ∼ f (θ) e 3 Si d(S(D ), S(D)) < , accepter θ ; sinon, rejeter θ 4 R´p´ter jusqu’` obtenir un ´chantillon de la taille voulue e e a e On obtient un ´chantillon distribu´ approximativement selon la loi e e a posteriori. 11/24
  • 12. Approximations 3 Si d(S(D ), S(D)) < , accepter θ ; sinon, rejeter θ Deux approximations : >0 S statistique non exhaustive 12/24
  • 13. Choix de Quantile ` 1% a Attribuer des poids selon d(D , D) : (θi , ωi ) 13/24
  • 14. Repliement de prot´ines e Structure primaire : KCNTATCATQRLANFLVHSSNNFGAILSSTNVGSNTY Structure tertiaire : (Figure : RCSB) 14/24
  • 15. Choix de mod`le e Choix de mod`le (structure 3D de prot´ines), Grelaud et al. (2009) e e θ = (m, θm ) Facteur de Bayes : BFm0 /m1 (D) = P(M=m0 |D)π(M=m0 ) P(M=m1 |D)π(M=m1 ) 15/24
  • 16. Repliement de prot´ines e 1 Vraisemblance : L(θ|D) = Zθ exp(θ i∼i I{xi =xi } ) 1 L(θm |D) = Zθm ,m exp(θm m i ∼i I{xi =xi } ), m = 0 . . . M − 1, θm ∈ Θm Sm = ∼ i mi I{xi =xi } S = (S0 (·), . . . , SM−1 (·)) est une statistique exhaustive pour (m, θ0 , . . . , θM−1 ) 16/24
  • 17. ABC pour choix de mod`le e 1 Tirer m ∼ πM (·) 2 Tirer θm ∼ πm (·) 3 Simuler D ∼ fm (θm ) 4 Si d(S(D ), S(D)) < , accepter θ ; sinon, rejeter θ 5 R´p´ter e e 17/24
  • 18. Ca marche ? ¸ Gauche : = 0 ; Droite : quantile ` 1% a 18/24
  • 19. R´sultats e 19/24
  • 20. ABC-MCMC 1 Partant de θn , proposer θn+1 = θ →θn 2 Calculer α = min 1, P(D|θ )π[(θ )q(θ→θ ) ) P(D|θ)π(θ)q(θn 3 θn+1 = θ avec probabilit´ α ; sinon, θn+1 = θn e 20/24
  • 21. ABC-MCMC 1 Partant de θn , proposer θn+1 = θ 2 Simuler D = f (θ ) →θ 3 Calculer α = min Id(D ,D)< , π(θ )q(θn →θ n)) π(θ)q(θ 4 θn+1 = θ avec probabilit´ h ; sinon, θn+1 = θn e (Marjoram et al., PNAS, 2003) 21/24
  • 22. Erreur dans le mod`le e Supposons qu’il y ait une erreur dans notre mod`le : D = f (θ) + , e ∼π 1 Tirer θ ∼ π 2 Simuler D ∼ f (θ) 3 Accepter θ avec probability (proportionnelle `) π (d(D , D)) a 4 R´p´ter e e (Wilkinson, 2008) 22/24
  • 23. 1 Partant de (θn , Dn ), proposer θn+1 = θ 2 Simuler D = f (θ ) →θ )π(θ ) 3 Calculer α = min 1, π (d(D n,D))q(θn →θ n)π(θn ) π (d(D ,D)q(θ 4 θn+1 = θ avec probabilit´ α ; sinon, θn+1 = θn e 23/24
  • 24. Questions ? 24/24