Un nouveau modèle stochastique: les Grammaires Toriques

Dimension: px
Commencer à balayer dès la page:

Download "Un nouveau modèle stochastique: les Grammaires Toriques"

Transcription

1 Un nouveau modèle stochastique: les Grammaires Toriques T. Mainguy ENS 16 mai 2013 T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

2 Introduction Traitement des langues humaines Problème du traitement des langues humaines : Structure récursive : Marie aime les pommes, Jean pense que Marie aime les pommes, Pierre affirme que Jean pense que Marie aime les pommes, etc. Dépendances non locales (à première vue) : La personne qui habite la maison en face tond Insuffisance des modèles classiques de type Markoviens. sa pelouse. T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

3 Introduction Structure syntaxique Les dépendances restent dans une certaine mesure locales (notion de tête syntaxique) : La tond la pelouse personne qui habite la maison en face Mais cette structure syntaxique reste difficile à estimer (problème de l inférence grammaticale). T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

4 Introduction Objet d étude Idée de base On cherche à construire une grammaire à partir d un texte, capable de générer d autres textes. Le travail se fait sur des textes, et non sur des phrases isolées. T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

5 Méthode générale Raisonnement syntaxtique Le chat mange une souris. Le chat joue. A Le chat B mange une souris A Le chat B joue «joue» et «mange une souris» sont de même catégorie grammaticale (VP). T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

6 Méthode générale Deux fonction de base : split et merge Split β Merge α [ i ab, [ i ac [ i a] j, [ j b, [ j c [ i a] j, [ j b [ i ab Le chat { gris noir mange une souris. [ i abd, [ i acd [ i a] j d, [ j b, [ j c T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

7 Méthode générale Un peu de formalisme À partir d un dictionnaire D, on va définir l ensemble des expressions canoniques E c = et l ensemble des expressions { ( [ i a, i N, a D { ] j, j N \ {0} })}, E = S(E c ). T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

8 Méthode générale Un peu de formalisme Grammaires toriques L ensemble des grammaires toriques est l ensemble G des mesures positives sur E invariantes par permutation sur les expressions. L ensemble des phrases est le sous-ensemble de E P = S ({[ 0 a, a D}), l ensemble des textes T est ainsi le sous-ensemble de G des mesures dont le support est inclu dans P. T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

9 Méthode générale Un peu de formalisme On utilise les notations suivantes : e f = δ s + δ s, e, f E, e f = s S(e) s S(e) δ s s S(f ) s S(f ) δ s, e, f E, ρ e = ρ δ s, ρ R, e E, s S(e) Ainsi les opérations split et merge se réécrivent : β : G = G ab [ i a ] i b α : G = G [ i a ] i b ab T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

10 Méthode générale Étiquettes Les étiquettes i contrôlent la généralisation : On crée d abord les étiquettes toutes différentes, ce qui ne donne aucune généralisation, puis on peut les identifier au moyen de réétiquetages : F = {f : N N, f (0) = 0} Identification d étiquettes, première idée Si a] i et a] j, ou [ i a et [ j a coexistent, on identifie i et j : G = f (G ), avec f injective sur N \ {i} et f (i) = f (j). T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

11 Méthode générale Un petit exemple... 1 Marie cueille une pomme. 1 Marie mange une pomme. 1 Paul mange un fruit. 1 Pierre cueille un fruit. 1 Pierre mange une pomme. 1 Marie mange un fruit. 1 Marie mange un fruit. 1 Paul cueille une pomme. 1 Pierre mange une pomme. 1 Pierre cueille une pomme. 5 [ 0 ] 2 ] 1 ] 3. 2 [ 1 cueille 3 [ 1 mange 1 [ 2 Paul 2 [ 2 Marie 2 [ 2 Pierre 2 [ 3 un fruit T. Mainguy (ENS) Grammaires Toriques 3 [ 3 une pomme 16 mai / 1

12 Méthode générale Processus de split et de production Un processus de split S t, t = 1,..., τ est une chaîne de Markov finie sur G dont les transitions sont des applications aléatoires de split, et de l application d un réétiquetage. La chaîne s arrête quand aucun split n est plus possible. Un processus de production P t, t = 1,..., σ est une chaîne de Markov finie sur G dont les transitions sont des applications aléatoires de merge. La chaîne s arrête quand aucun merge n est plus possible. T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

13 Méthode générale Le processus split et merge Processus split et merge Étants donnés un processus d apprentissage S t et un processus de production P t, un processus de split et merge est une chaîne de Markov sur G, de transitions P ( G 2t+1 = G G 2t = G ) = P ( S τ = G S 0 = G ), t N, P ( G 2t = G G 2t 1 = G ) = P ( P σ = G P 0 = G, P σ T ), t N \ {0}. T βτ G ασ T β τ G α σ... Le processus converge vers une grammaire et un texte déterministes ( «language»). Les textes sont répartis en classes, tout texte d une même classe donnant le même language asymptotique. T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

14 Grammaires de références Estimation de grammaire On est ici dans un problème d estimation sur des textes : on «entend» un texte T suivant une distribution P. Une méthode classique repose sur des noyaux markoviens (q θ, θ Θ), on peut ici prendre des estimateurs de la forme ˆq θ (P, ) = lim 1 k q k θ(p, t ), t=1 ˆP θ,t = ˆq θ (T, Q)Q Q θ pouvant être estimé ou fixé. ce qui pose la question des paramètres et des noyaux. T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

15 Grammaires de références Syntagmes locaux et globaux [ 0 ] 2 ] 1 ] 3. structure de phrase «sytagme global» : E g [ 1 cueille [ 1 mange [ 2 Paul [ 2 Marie syntagmes «syntagmes locaux» : E l [ 2 Pierre [ 3 un fruit [ 3 une pomme Grammaire de référence On peut utiliser les syntagmes locaux (grammaire de référence R) pour analyser de nouvelles phrases, et en extraire leur structure globale. Paramètre R. T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

16 Grammaires de références Règles de parsing et d innovation Parsing étroit avec référence R Parsing étendu avec référence R Règle d innovation G = G ab [ i a ] i b si [ i b est dans R. G = G ab [ i a ] i b si [ j b ou [ i a] j sont dans R, mais pas trop fréquents. α : G = G [ i a ] i b ab si [ i n est pas encore utilisé, a et b ne sont pas trop fréquents, et sont maximaux. T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

17 Grammaires de références Apprentissage et analyse Processus de parsing avec référence R Le processus de parsing est un processus de split utilisant le parsing étroit de référence R. Ce processus permet d obtenir les structures d un nouveau texte (et d en produire des nouveaux) à partir d un vocabulaire de référence. Processus d apprentissage Le processus d apprentissage est un processus de split utilisant le parsing étendu avec comme référence la grammaire en cours d apprentissage, et, en cas d échec, la règle d innovation. Ce processus permet d apprendre la grammaire d un texte. T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

18 Grammaires de références Propriétés théoriques Si une grammaire peut être apprise à partir d un texte, alors cette grammaire peut produire ce texte. Si une grammaire peut être apprise à partir d un texte à partir d une grammaire de référence, alors cette grammaire peut aussi produire ce texte. Si une grammaire peut produire un texte, alors cette grammaire peut être apprise du texte, avec elle-même pour référence. En particulier, si l on dispose d une grammaire de référence contenant les syntagmes de la grammaire considérée, elle peut être apprise du texte avec cette grammaire de référence. T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

19 Grammaires de références Applications Processus de communication Un groupe de «locuteurs» possédant une même grammaire de référence peuvent transmettre des textes au moyen du processus de parsing. La distribution des textes et des grammaires internes converge vers une distribution limite, ne dépendant que de la classe du texte initial. R R T 0 Locuteur 1 T 1 Locuteur 2 T 2 G 1 G 2 Que se passe-t-il si la grammaire de référence n est pas partagée? si elle est apprise sur le tas? T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

20 Grammaires de références T. Mainguy (ENS) Grammaires Toriques 16 mai / 1

2.4 Représentation graphique, tableau de Karnaugh

2.4 Représentation graphique, tableau de Karnaugh 2 Fonctions binaires 45 2.4 Représentation graphique, tableau de Karnaugh On peut définir complètement une fonction binaire en dressant son tableau de Karnaugh, table de vérité à 2 n cases pour n variables

Plus en détail

Module 7: Chaînes de Markov à temps continu

Module 7: Chaînes de Markov à temps continu Module 7: Chaînes de Markov à temps continu Patrick Thiran 1 Introduction aux chaînes de Markov à temps continu 1.1 (Première) définition Ce module est consacré aux processus à temps continu {X(t), t R

Plus en détail

Contents. 1 Introduction Objectifs des systèmes bonus-malus Système bonus-malus à classes Système bonus-malus : Principes

Contents. 1 Introduction Objectifs des systèmes bonus-malus Système bonus-malus à classes Système bonus-malus : Principes Université Claude Bernard Lyon 1 Institut de Science Financière et d Assurances Système Bonus-Malus Introduction & Applications SCILAB Julien Tomas Institut de Science Financière et d Assurances Laboratoire

Plus en détail

Traitement bas-niveau

Traitement bas-niveau Plan Introduction L approche contour (frontière) Introduction Objectifs Les traitements ont pour but d extraire l information utile et pertinente contenue dans l image en regard de l application considérée.

Plus en détail

Activité pour développer le concept de phrase et de mot

Activité pour développer le concept de phrase et de mot Combien de mots? Activité d apprentissage : en petits groupes ou en grand groupe Faire prendre conscience aux élèves qu une phrase est formée de mots. Bâtonnets Déroulement Dire une courte phrase (p. ex.,

Plus en détail

! Text Encoding Initiative

! Text Encoding Initiative Format XML: suite! le contenu d un élément est la concaténation de! texte! et d éléments (imbrication)! => structure arborescente! pas de chevauchement de balises! => exemple : une analyse syntagmatique

Plus en détail

Apprentissage Automatique

Apprentissage Automatique Apprentissage Automatique Introduction-I jean-francois.bonastre@univ-avignon.fr www.lia.univ-avignon.fr Définition? (Wikipedia) L'apprentissage automatique (machine-learning en anglais) est un des champs

Plus en détail

COMMUNAUTE ECONOMIQUE ET MONETAIRE DE L AFRIQUE CENTRALE -------------------- LA COMMISSION -------------------

COMMUNAUTE ECONOMIQUE ET MONETAIRE DE L AFRIQUE CENTRALE -------------------- LA COMMISSION ------------------- COMMUNAUTE ECONOMIQUE ET MONETAIRE DE L AFRIQUE CENTRALE -------------------- LA COMMISSION ------------------- DOSSIER TYPE A FOURNIR PAR LES INDUSTRIELS ET A PRESENTER PAR LES ETATS MEMBRES DE LA CEMAC

Plus en détail

Outils logiciels pour la combinaison de vérification fonctionnelle et d évaluation de performances au sein de CADP

Outils logiciels pour la combinaison de vérification fonctionnelle et d évaluation de performances au sein de CADP Outils logiciels pour la combinaison de vérification fonctionnelle et d évaluation de performances au sein de CADP Christophe Joubert Séminaire VASY 2002 30 Octobre 2002 Aix les Bains Contexte du projet

Plus en détail

Programme des Unités d Enseignement

Programme des Unités d Enseignement Responsables de la formation Henri NICOLAS, Professeur des universités Isabelle SAND, Ingénieur en formation continue Méthodes Informatiques Appliquées à la Gestion des Entreprises (MIAGE) Master MIAGE,

Plus en détail

Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche

Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche Bachir Bekka Février 2007 Le théorème de Perron-Frobenius a d importantes applications en probabilités (chaines

Plus en détail

Chap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1

Chap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1 Chap 4: Analyse syntaxique 1 III- L'analyse syntaxique: 1- Le rôle d'un analyseur syntaxique 2- Grammaires non contextuelles 3- Ecriture d'une grammaire 4- Les méthodes d'analyse 5- L'analyse LL(1) 6-

Plus en détail

Modélisation du comportement habituel de la personne en smarthome

Modélisation du comportement habituel de la personne en smarthome Modélisation du comportement habituel de la personne en smarthome Arnaud Paris, Selma Arbaoui, Nathalie Cislo, Adnen El-Amraoui, Nacim Ramdani Université d Orléans, INSA-CVL, Laboratoire PRISME 26 mai

Plus en détail

XML, PMML, SOAP. Rapport. EPITA SCIA Promo 2004 16 janvier 2003. Julien Lemoine Alexandre Thibault Nicolas Wiest-Million

XML, PMML, SOAP. Rapport. EPITA SCIA Promo 2004 16 janvier 2003. Julien Lemoine Alexandre Thibault Nicolas Wiest-Million XML, PMML, SOAP Rapport EPITA SCIA Promo 2004 16 janvier 2003 Julien Lemoine Alexandre Thibault Nicolas Wiest-Million i TABLE DES MATIÈRES Table des matières 1 XML 1 1.1 Présentation de XML.................................

Plus en détail

Modélisation aléatoire en fiabilité des logiciels

Modélisation aléatoire en fiabilité des logiciels collection Méthodes stochastiques appliquées dirigée par Nikolaos Limnios et Jacques Janssen La sûreté de fonctionnement des systèmes informatiques est aujourd hui un enjeu économique et sociétal majeur.

Plus en détail

1S Modèles de rédaction Enoncés

1S Modèles de rédaction Enoncés Par l équipe des professeurs de 1S du lycée Parc de Vilgénis 1S Modèles de rédaction Enoncés Produit scalaire & Corrigés Exercice 1 : définition du produit scalaire Soit ABC un triangle tel que AB, AC

Plus en détail

scientifique de Kourou (présence du on) mois, avant, quelques jours, avant, à partir de, le dernier jour.

scientifique de Kourou (présence du on) mois, avant, quelques jours, avant, à partir de, le dernier jour. Faire de la grammaire au CE2 Période 3 Semaine 2 Le lancement d'un satellite Jour Activités Déroulement Matériel J1 Lecture et compréhension de l histoire Activités sur le texte - De quoi parle ce document?

Plus en détail

Priorités de calcul :

Priorités de calcul : EXERCICES DE REVISION POUR LE PASSAGE EN QUATRIEME : Priorités de calcul : Exercice 1 : Calcule en détaillant : A = 4 + 5 6 + 7 B = 6 3 + 5 C = 35 5 3 D = 6 7 + 8 E = 38 6 3 + 7 Exercice : Calcule en détaillant

Plus en détail

1. Productions orales en continu après travail individuel

1. Productions orales en continu après travail individuel Tâches de production orale 2 niveau A2/B1 (Les tâches sont réalisables aussi bien au niveau A2 qu au niveau B1 suivant la complexité des énoncés et des interactions que les élèves sont capables de produire)

Plus en détail

Les mathématiques de la finance Université d été de Sourdun Olivier Bardou olivier.bardou@gdfsuez.com 28 août 2012 De quoi allons nous parler? des principales hypothèses de modélisation des marchés, des

Plus en détail

Raisonnement probabiliste

Raisonnement probabiliste Plan Raisonnement probabiliste IFT-17587 Concepts avancés pour systèmes intelligents Luc Lamontagne Réseaux bayésiens Inférence dans les réseaux bayésiens Inférence exacte Inférence approximative 1 2 Contexte

Plus en détail

Comment utiliser les réseaux sociaux pour redonner le plaisir de la langue française?

Comment utiliser les réseaux sociaux pour redonner le plaisir de la langue française? CONCOURS D ESSAIS JEAN-ROBERT-GAUTHIER TITRE : Comment utiliser les réseaux sociaux pour redonner le plaisir de la langue française? THÉO ROUTCHENKO 4107 Rue Jean Brillant Montréal H3T-1P2 514-659-0790

Plus en détail

Texte Agrégation limitée par diffusion interne

Texte Agrégation limitée par diffusion interne Page n 1. Texte Agrégation limitée par diffusion interne 1 Le phénomène observé Un fût de déchets radioactifs est enterré secrètement dans le Cantal. Au bout de quelques années, il devient poreux et laisse

Plus en détail

3. Conditionnement P (B)

3. Conditionnement P (B) Conditionnement 16 3. Conditionnement Dans cette section, nous allons rappeler un certain nombre de définitions et de propriétés liées au problème du conditionnement, c est à dire à la prise en compte

Plus en détail

chargement d amplitude variable à partir de mesures Application à l approche fiabiliste de la tolérance aux dommages Modélisation stochastique d un d

chargement d amplitude variable à partir de mesures Application à l approche fiabiliste de la tolérance aux dommages Modélisation stochastique d un d Laboratoire de Mécanique et Ingénieriesnieries EA 3867 - FR TIMS / CNRS 2856 ER MPS Modélisation stochastique d un d chargement d amplitude variable à partir de mesures Application à l approche fiabiliste

Plus en détail

Introduction à la statistique non paramétrique

Introduction à la statistique non paramétrique Introduction à la statistique non paramétrique Catherine MATIAS CNRS, Laboratoire Statistique & Génome, Évry http://stat.genopole.cnrs.fr/ cmatias Atelier SFDS 27/28 septembre 2012 Partie 2 : Tests non

Plus en détail

Homophones grammaticaux de catégories différentes. s y si ci

Homophones grammaticaux de catégories différentes. s y si ci GRAMMATICAUX DE CATÉGORIES DIFFÉRENTES S Y HOMOPHONES SI CI 1 Homophones grammaticaux de catégories différentes s y si ci s y : pronom personnel se (e élidé devant une voyelle) à la troisième personne

Plus en détail

Maîtrise universitaire ès sciences en mathématiques 2012-2013

Maîtrise universitaire ès sciences en mathématiques 2012-2013 1 / 6 Remarques liminaires : Ce master à (3 semestres) permet 2 orientations distinctes : - Un master général : "Mathématiques, Systèmes dynamiques et phénomènes d'évolution" - Un master qui permet de

Plus en détail

Détection des propositions syntaxiques du français : en vue de l alignement des propositions de textes parallèles français-japonais

Détection des propositions syntaxiques du français : en vue de l alignement des propositions de textes parallèles français-japonais Détection des propositions syntaxiques du français : en vue de l alignement des propositions de textes parallèles français-japonais Yayoi Nakamura-Delloye To cite this version: Yayoi Nakamura-Delloye.

Plus en détail

Master of Science en mathématiques 2013-2014

Master of Science en mathématiques 2013-2014 Remarques liminaires : 1 Ce master à (3 semestres) permet 2 orientations distinctes : 1) Un master général en mathématiques 2) Un master qui permet de choisir des mineurs en finance, statistique, informatique

Plus en détail

Rappels sur les suites - Algorithme

Rappels sur les suites - Algorithme DERNIÈRE IMPRESSION LE 14 septembre 2015 à 12:36 Rappels sur les suites - Algorithme Table des matières 1 Suite : généralités 2 1.1 Déition................................. 2 1.2 Exemples de suites............................

Plus en détail

Capacité d un canal Second Théorème de Shannon. Théorie de l information 1/34

Capacité d un canal Second Théorème de Shannon. Théorie de l information 1/34 Capacité d un canal Second Théorème de Shannon Théorie de l information 1/34 Plan du cours 1. Canaux discrets sans mémoire, exemples ; 2. Capacité ; 3. Canaux symétriques ; 4. Codage de canal ; 5. Second

Plus en détail

Exercices sur les équations du premier degré

Exercices sur les équations du premier degré 1 Exercices sur les équations du premier degré Application des règles 1 et Résoudre dans R les équations suivantes en essayant d appliquer une méthode systématique : 1 x + = x + 9 x + = x x 1 = x + x +

Plus en détail

Introduction à la théorie des files d'attente. Claude Chaudet Claude.Chaudet@enst.fr

Introduction à la théorie des files d'attente. Claude Chaudet Claude.Chaudet@enst.fr Introduction à la théorie des files d'attente Claude Chaudet Claude.Chaudet@enst.fr La théorie des files d'attente... Principe: modélisation mathématique de l accès à une ressource partagée Exemples réseaux

Plus en détail

Chaînes de Markov (version 0)

Chaînes de Markov (version 0) Chaînes de Markov (version 0) Yan Doumerc ECS1, lycée Gaston Berger, Lille y.doumerc@yahoo.fr 15 Mai 2014 Résumé Ce document accompagne une séance de formation destinée aux professeurs de classe préparatoire

Plus en détail

Cours de méthodes de scoring

Cours de méthodes de scoring UNIVERSITE DE CARTHAGE ECOLE SUPERIEURE DE STATISTIQUE ET D ANALYSE DE L INFORMATION Cours de méthodes de scoring Préparé par Hassen MATHLOUTHI Année universitaire 2013-2014 Cours de méthodes de scoring-

Plus en détail

Limites finies en un point

Limites finies en un point 8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,

Plus en détail

Compte-rendu de Hamma B., La préposition en français

Compte-rendu de Hamma B., La préposition en français Compte-rendu de Hamma B., La préposition en français Badreddine Hamma To cite this version: Badreddine Hamma. Compte-rendu de Hamma B., La préposition en français. Revue française de linguistique appliquée,

Plus en détail

Table des matières. I Mise à niveau 11. Préface

Table des matières. I Mise à niveau 11. Préface Table des matières Préface v I Mise à niveau 11 1 Bases du calcul commercial 13 1.1 Alphabet grec...................................... 13 1.2 Symboles mathématiques............................... 14 1.3

Plus en détail

Tâche : Comparer l étiquette de produits alimentaires afin de connaître leur valeur nutritive.

Tâche : Comparer l étiquette de produits alimentaires afin de connaître leur valeur nutritive. 13 aliments pour une bonne santé Valeurs nutritives Grande compétence A Rechercher et utiliser de l information Groupe de tâches A2 : Interpréter des documents Grande compétence C Comprendre et utiliser

Plus en détail

Dualité dans les espaces de Lebesgue et mesures de Radon finies

Dualité dans les espaces de Lebesgue et mesures de Radon finies Chapitre 6 Dualité dans les espaces de Lebesgue et mesures de Radon finies Nous allons maintenant revenir sur les espaces L p du Chapitre 4, à la lumière de certains résultats du Chapitre 5. Sauf mention

Plus en détail

Historique. Architecture. Contribution. Conclusion. Définitions et buts La veille stratégique Le multidimensionnel Les classifications

Historique. Architecture. Contribution. Conclusion. Définitions et buts La veille stratégique Le multidimensionnel Les classifications L intelligence économique outil stratégique pour l entreprise Professeur Bernard DOUSSET dousset@irit.fr http://atlas.irit.fr Institut de Recherche en Informatique de Toulouse (IRIT) Equipe Systèmes d

Plus en détail

Chapitre 3. Algorithmes stochastiques. 3.1 Introduction

Chapitre 3. Algorithmes stochastiques. 3.1 Introduction Chapitre 3 Algorithmes stochastiques 3.1 Introduction Les algorithmes stochastiques sont des techniques de simulation numériques de chaînes de Markov, visant à résoudre des problèmes d optimisation ou

Plus en détail

Intégration et probabilités TD1 Espaces mesurés Corrigé

Intégration et probabilités TD1 Espaces mesurés Corrigé Intégration et probabilités TD1 Espaces mesurés Corrigé 2012-2013 1 Petites questions 1 Est-ce que l ensemble des ouverts de R est une tribu? Réponse : Non, car le complémentaire de ], 0[ n est pas ouvert.

Plus en détail

Programmes des classes préparatoires aux Grandes Ecoles

Programmes des classes préparatoires aux Grandes Ecoles Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Biologie, chimie, physique et sciences de la Terre (BCPST) Discipline : Mathématiques Seconde année Préambule Programme

Plus en détail

Probabilités stationnaires d une chaîne de Markov sur TI-nspire Louis Parent, ing., MBA École de technologie supérieure, Montréal, Québec 1

Probabilités stationnaires d une chaîne de Markov sur TI-nspire Louis Parent, ing., MBA École de technologie supérieure, Montréal, Québec 1 Introduction Probabilités stationnaires d une chaîne de Markov sur TI-nspire Louis Parent, ing., MBA École de technologie supérieure, Montréal, Québec 1 L auteur remercie Mme Sylvie Gervais, Ph.D., maître

Plus en détail

4.2 Unités d enseignement du M1

4.2 Unités d enseignement du M1 88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter

Plus en détail

Application en classe de la progression des apprentissages en musique 1 er cycle du secondaire

Application en classe de la progression des apprentissages en musique 1 er cycle du secondaire Application en classe de la progression des apprentissages en musique 1 er cycle du secondaire Quelques définitions des termes utilisés Nommer : Désigner par un nom. Identifier : Déterminer la nature de

Plus en détail

MCMC et approximations en champ moyen pour les modèles de Markov

MCMC et approximations en champ moyen pour les modèles de Markov MCMC et approximations en champ moyen pour les modèles de Markov Gersende FORT LTCI CNRS - TELECOM ParisTech En collaboration avec Florence FORBES (Projet MISTIS, INRIA Rhône-Alpes). Basé sur l article:

Plus en détail

Modèles à Événements Discrets. Réseaux de Petri Stochastiques

Modèles à Événements Discrets. Réseaux de Petri Stochastiques Modèles à Événements Discrets Réseaux de Petri Stochastiques Table des matières 1 Chaînes de Markov Définition formelle Idée générale Discrete Time Markov Chains Continuous Time Markov Chains Propriétés

Plus en détail

Probabilités III Introduction à l évaluation d options

Probabilités III Introduction à l évaluation d options Probabilités III Introduction à l évaluation d options Jacques Printems Promotion 2012 2013 1 Modèle à temps discret 2 Introduction aux modèles en temps continu Limite du modèle binomial lorsque N + Un

Plus en détail

Web Science. Master 1 IFI. Andrea G. B. Tettamanzi. Université de Nice Sophia Antipolis Département Informatique andrea.tettamanzi@unice.

Web Science. Master 1 IFI. Andrea G. B. Tettamanzi. Université de Nice Sophia Antipolis Département Informatique andrea.tettamanzi@unice. Web Science Master 1 IFI Andrea G. B. Tettamanzi Université de Nice Sophia Antipolis Département Informatique andrea.tettamanzi@unice.fr 1 Annonce : recherche apprenti Projet Géo-Incertitude Objectifs

Plus en détail

étiquetage des produits chimiques

étiquetage des produits chimiques Le nouveau règlementr GHS / CLP pour l él étiquetage des produits chimiques Carlo Erba RéactifsR actifs-sds Brigitte Coulange Les systèmes de classification existants au niveau mondial LE TOLUENE Au Canada,

Plus en détail

Mesures gaussiennes et espaces de Fock

Mesures gaussiennes et espaces de Fock Mesures gaussiennes et espaces de Fock Thierry Lévy Peyresq - Juin 2003 Introduction Les mesures gaussiennes et les espaces de Fock sont deux objets qui apparaissent naturellement et peut-être, à première

Plus en détail

CONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE

CONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE CONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE Jean Luc Bovet, Auvernier L'article de Monsieur Jean Piquerez (Bulletin de la SSPMP No 86), consacré aux symédianes me paraît appeler une généralisation. En

Plus en détail

Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures)

Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures) Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures) Eercice 1 (5 points) pour les candidats n ayant pas choisi la spécialité MATH Le tableau suivant donne l évolution du chiffre

Plus en détail

Filtrage stochastique non linéaire par la théorie de représentation des martingales

Filtrage stochastique non linéaire par la théorie de représentation des martingales Filtrage stochastique non linéaire par la théorie de représentation des martingales Adriana Climescu-Haulica Laboratoire de Modélisation et Calcul Institut d Informatique et Mathématiques Appliquées de

Plus en détail

Atelier ATOLL pour les grammaires d arbres adjoints

Atelier ATOLL pour les grammaires d arbres adjoints TALN 2001, Tours, 2-5 juillet 2001 Atelier ATOLL pour les grammaires d arbres adjoints François Barthélemy 1, Pierre Boullier 2, Philippe Deschamp 2, Linda Kaouane 2 et Éric Villemonte de la Clergerie

Plus en détail

Chaînes de Markov au lycée

Chaînes de Markov au lycée Journées APMEP Metz Atelier P1-32 du dimanche 28 octobre 2012 Louis-Marie BONNEVAL Chaînes de Markov au lycée Andreï Markov (1856-1922) , série S Problème 1 Bonus et malus en assurance automobile Un contrat

Plus en détail

fiche D AUTOCORRECTION Frimousse, une petite chienne qu'on a adoptée le mois dernier, est intelligente et docile.

fiche D AUTOCORRECTION Frimousse, une petite chienne qu'on a adoptée le mois dernier, est intelligente et docile. fiche D AUTOCORRECTION 3.4 Les accords sont corrects dans chaque groupe du nom. On met souvent sur le dos de l inattention les erreurs d orthographe grammaticale. Bien accorder les mots exige de l observation

Plus en détail

Décision Markovienne appliquée à un jeu de stop ou encore : Pickomino (Heckmeck Am Bratwurmeck)

Décision Markovienne appliquée à un jeu de stop ou encore : Pickomino (Heckmeck Am Bratwurmeck) Décision Markovienne appliquée à un jeu de stop ou encore : Pickomino (Heckmeck Am Bratwurmeck) Stéphane Cardon Nathalie Chetcuti-Sperandio Fabien Delorme Sylvain agrue CRI - Université d Artois {cardon,chetcuti,delorme,lagrue}@cril.univ-artois.fr

Plus en détail

Les probabilités. Chapitre 18. Tester ses connaissances

Les probabilités. Chapitre 18. Tester ses connaissances Chapitre 18 Les probabilités OBJECTIFS DU CHAPITRE Calculer la probabilité d événements Tester ses connaissances 1. Expériences aléatoires Voici trois expériences : - Expérience (1) : on lance une pièce

Plus en détail

Grammaires d unification

Grammaires d unification Cours sur le traitement automatique des langues (IV) Violaine Prince Université de Montpellier 2 LIRMM-CNRS Grammaires d unification Grammaire catégorielle Grammaire syntagmatique généralisée (GPSG) Les

Plus en détail

Décomposition de Föllmer-Schweizer. explicite d un passif d assurance vie. au moyen du calcul de Malliavin

Décomposition de Föllmer-Schweizer. explicite d un passif d assurance vie. au moyen du calcul de Malliavin Décomposition de Föllmer-Schweizer explicite d un passif d assurance vie au moyen du calcul de Malliavin Mémoire présenté par Sébastien de Valeriola en vue de l obtention du master en sciences actuarielles

Plus en détail

Programme de calcul et résolution d équation

Programme de calcul et résolution d équation Programme de calcul et résolution d équation On appelle «programme de calcul» tout procédé mathématique qui permet de passer d un nombre à un autre suivant une suite d opérations déterminée. Un programme

Plus en détail

La phonétisation de "plus", "tous" et de certains nombres : une analyse phono-syntaxique

La phonétisation de plus, tous et de certains nombres : une analyse phono-syntaxique La phonetisation de "plus", "tous" et de certains nombres. La phonétisation de "plus", "tous" et de certains nombres : une analyse phono-syntaxique Jean-Philippe Goldman, Christopher Laenzlinger et Eric

Plus en détail

Chapitre 3. Mesures stationnaires. et théorèmes de convergence

Chapitre 3. Mesures stationnaires. et théorèmes de convergence Chapitre 3 Mesures stationnaires et théorèmes de convergence Christiane Cocozza-Thivent, Université de Marne-la-Vallée p.1 I. Mesures stationnaires Christiane Cocozza-Thivent, Université de Marne-la-Vallée

Plus en détail

MATHS FINANCIERES. Mireille.Bossy@sophia.inria.fr. Projet OMEGA

MATHS FINANCIERES. Mireille.Bossy@sophia.inria.fr. Projet OMEGA MATHS FINANCIERES Mireille.Bossy@sophia.inria.fr Projet OMEGA Sophia Antipolis, septembre 2004 1. Introduction : la valorisation de contrats optionnels Options d achat et de vente : Call et Put Une option

Plus en détail

Modèles et Méthodes de Réservation

Modèles et Méthodes de Réservation Modèles et Méthodes de Réservation Petit Cours donné à l Université de Strasbourg en Mai 2003 par Klaus D Schmidt Lehrstuhl für Versicherungsmathematik Technische Universität Dresden D 01062 Dresden E

Plus en détail

Continuité et dérivabilité d une fonction

Continuité et dérivabilité d une fonction DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité

Plus en détail

SECUENCIA 1 ASÍ SOY YO

SECUENCIA 1 ASÍ SOY YO SECUENCIA 1 ASÍ SOY YO NIVEAU : A1-A2 (début du 1 er trimestre de 2 nde ). Références au programme : Références au CECRL : Contexte culturel : - «l art de vivre ensemble» : l identité de la communauté

Plus en détail

Choisir entre les pronoms relatifs qui et lequel, précédés ou non d une préposition

Choisir entre les pronoms relatifs qui et lequel, précédés ou non d une préposition PRÉCÉDÉS SYNTAXE OU NON D UNE PRÉPOSITION 1 Phrases subordonnées Choisir entre les pronoms relatifs qui et lequel, précédés ou non d une préposition En cliquant sur le bouton «Rubrique grammaticale» dans

Plus en détail

Feuille couverture de tâche du cadre du CLAO

Feuille couverture de tâche du cadre du CLAO Feuille couverture de tâche du cadre du CLAO Titre de la tâche : Trouver de l information nutritionnelle en ligne Nom de la personne apprenante : Date de début : Date de fin : Réussite : Oui Non Voie :

Plus en détail

Recopieur de position Type 4748

Recopieur de position Type 4748 Recopieur de position Type 4748 Fig. 1 Type 4748 1. Conception et fonctionnement Le recopieur de position type 4748 détermine un signal de sortie analogique 4 à 20 ma correspondant à la position de vanne

Plus en détail

TD 1 - Structures de Traits et Unification

TD 1 - Structures de Traits et Unification TD 1 - Structures de Traits et Unification 1 Définitions Un trait (en: feature) est un couple attribut-valeur. Une structure de traits (en: feature structure) est un ensemble de traits. On peut les représenter

Plus en détail

Trois personnes mangent dans un restaurant. Le serveur

Trois personnes mangent dans un restaurant. Le serveur 29=30 Trois personnes mangent dans un restaurant. Le serveur leur amène une addition de 30 francs. Les trois personnes décident de partager la facture en trois, soit 10 francs chacun. Le serveur rapporte

Plus en détail

Compréhension de lecture

Compréhension de lecture o Coche pour indiquer si les phrases sont es ou o Paul et Virginie sont assis sur des fauteuils très confortables. o Virginie a une robe à pois. o Paul boit un café fumant dans une tasse rouge. o Virginie

Plus en détail

Thèse. présentée en vu d obtenir le grade de Docteur, spécialité «Mathématiques Appliquées» par. ARRAR Nawel Khadidja

Thèse. présentée en vu d obtenir le grade de Docteur, spécialité «Mathématiques Appliquées» par. ARRAR Nawel Khadidja Université Badji Mokhtar-Annaba, Algérie Université Paris 1, Panthéon-Sorbonne, France Ecole Doctorale Sciences Mathématiques de Paris centre Laboratoire LaPS et LANOS, Annaba Laboratoire SAMM, Paris 1

Plus en détail

Coordonnants ou et soit : confusion

Coordonnants ou et soit : confusion OU COHÉRENCE ET SOIT : CONFUSION TEXTUELLE 1 Énumération d éléments Coordonnants ou et soit : confusion Théorie Les énumérations d éléments peuvent avoir lieu à l intérieur d une même phrase. Voici deux

Plus en détail

Vaccination des voyageurs dont la sérologie VIH est positive.

Vaccination des voyageurs dont la sérologie VIH est positive. Vaccination des voyageurs dont la sérologie VIH est positive. Pr Jean Beytout Service des maladies infectieuses et tropicales CHU de Clermont-Ferrand. Comité Technique des Vaccinations Conclusion Le principal

Plus en détail

Ets H JEAN Montélimar Concessionnaire RENAULT R A P P O R T. M. BAUMEA Gérard D E S T A G E 2. Du 03 au 07 février 2014 Collège EUROPA

Ets H JEAN Montélimar Concessionnaire RENAULT R A P P O R T. M. BAUMEA Gérard D E S T A G E 2. Du 03 au 07 février 2014 Collège EUROPA R A P P O R T D E S T A G E 2 0 1 4 Ets H JEAN Montélimar Concessionnaire RENAULT 3? M. BAUMEA Gérard Du 03 au 07 février 2014 Collège EUROPA Sommaire BAUMEA Gérard 1 05/02/14 Une entreprise BAUMEA Gérard

Plus en détail

Automatique Linéaire 1 Travaux Dirigés 1A ISMIN

Automatique Linéaire 1 Travaux Dirigés 1A ISMIN Automatique Linéaire 1 Travaux Dirigés Travaux dirigés, Automatique linéaire 1 J.M. Dutertre 2014 TD 1 Introduction, modélisation, outils. Exercice 1.1 : Calcul de la réponse d un 2 nd ordre à une rampe

Plus en détail

Coûts, avantages et inconvénients des différents moyens de paiement

Coûts, avantages et inconvénients des différents moyens de paiement Coûts, avantages et inconvénients des différents moyens de paiement Présentation de l'étude de la Banque nationale de Belgique à la conférence de l'esta (Valence, le 15 mai 2006) Historique de l'étude

Plus en détail

4. Martingales à temps discret

4. Martingales à temps discret Martingales à temps discret 25 4. Martingales à temps discret 4.1. Généralités. On fixe un espace de probabilités filtré (Ω, (F n ) n, F, IP ). On pose que F contient ses ensembles négligeables mais les

Plus en détail

Unité 1. Au jour le jour

Unité 1. Au jour le jour Unité 1 Au jour le jour PARTIE 1 A Le français pratique Activité 1 Les parties du corps Identifiez les parties du corps puis faites correspondre les expressions 1 4 a Je mange b Je cours 2 5 c Je joue

Plus en détail

Probabilités. Une urne contient 3 billes vertes et 5 billes rouges toutes indiscernables au toucher.

Probabilités. Une urne contient 3 billes vertes et 5 billes rouges toutes indiscernables au toucher. Lycée Jean Bart PCSI Année 2013-2014 17 février 2014 Probabilités Probabilités basiques Exercice 1. Vous savez bien qu un octet est une suite de huit chiffres pris dans l ensemble {0; 1}. Par exemple 01001110

Plus en détail

Club langue française Quiz. Par Julien COUDERC et Maxence CORDIEZ

Club langue française Quiz. Par Julien COUDERC et Maxence CORDIEZ Club langue française Quiz Par Julien COUDERC et Maxence CORDIEZ Question 1 Quelle est l'orthographe correcte? 1. J'ai vécu des amours passionnés. 2. J'ai vécu des amoures passionés. 3. J'ai vécu des amours

Plus en détail

Lois de Poisson-Dirichlet

Lois de Poisson-Dirichlet Paul Bourgade Mémoire du Master processus stochastiques sous la direction de Marc Yor Lois de Poisson-Dirichlet Contenu. Ce document présente quelques aspects de la loi de Poisson-Dirichlet à deux paramètres

Plus en détail

Que nous apprennent vraiment les indicateurs. et pour quand les résultats? Richard Marceau

Que nous apprennent vraiment les indicateurs. et pour quand les résultats? Richard Marceau Que nous apprennent vraiment les indicateurs et pour quand les résultats? Leçons à tirer du 1 er exercice de reddition de compte axé sur les résultats Richard Marceau Professeur ENAP Vice-président de

Plus en détail

L E Ç O N. Marches aléatoires. Niveau : Terminale S Prérequis : aucun

L E Ç O N. Marches aléatoires. Niveau : Terminale S Prérequis : aucun 9 L E Ç O N Marches aléatoires Niveau : Terminale S Prérequis : aucun 1 Chaînes de Markov Définition 9.1 Chaîne de Markov I Une chaîne de Markov est une suite de variables aléatoires (X n, n N) qui permet

Plus en détail

Lhopitault Aurora PES 09 février 2011. Unité d apprentissage : Les fruits. Unité d apprentissage : les fruits séance 1

Lhopitault Aurora PES 09 février 2011. Unité d apprentissage : Les fruits. Unité d apprentissage : les fruits séance 1 Lhopitault Aurora PES 09 février 2011 Unité d apprentissage : Les fruits Niveau : MS Domaine : Découvrir le monde Objectif : Découvrir le vivant : les fruits Organisation : 2 groupes 8 élèves/7 élèves

Plus en détail

Table des matières L INTEGRATION DE SAS AVEC JMP. Les échanges de données entre SAS et JMP, en mode déconnecté. Dans JMP

Table des matières L INTEGRATION DE SAS AVEC JMP. Les échanges de données entre SAS et JMP, en mode déconnecté. Dans JMP L INTEGRATION DE SAS AVEC JMP Quelles sont les techniques possibles pour intégrer SAS avec JMP? Comment échanger des données entre SAS et JMP? Comment connecter JMP à SAS? Quels sont les apports d une

Plus en détail

Le système de gestion de version Git et GitHub

Le système de gestion de version Git et GitHub Le système de gestion de version Git et GitHub Génie Logiciel - MPRI GROSSHANS Nathan nathan.grosshans@lsv.ens-cachan.fr 9 octobre 2014 Introduction Système de gestion de version Système logiciel permettant

Plus en détail

Condition de stabilité d'un réseau de les d'attente à deux stations et N classes de clients 1

Condition de stabilité d'un réseau de les d'attente à deux stations et N classes de clients 1 General Mathematics Vol. 18, No. 4 (2010), 85108 Condition de stabilité d'un réseau de les d'attente à deux stations et N classes de clients 1 Faiza Belarbi, Amina Angelika Bouchentouf Résumé Nous étudions

Plus en détail

Gérondif, participe présent et adjectif verbal.

Gérondif, participe présent et adjectif verbal. Gérondif, participe présent et adjectif verbal Carmen Vera 1 Gérondif, participe présent et adjectif verbal. Le PARTICIPE PRÉSENT est formé, pour la plupart des verbes, sur le radical de la 1 re personne

Plus en détail

Health Monitoring pour la Maintenance Prévisionnelle, Modélisation de la Dégradation

Health Monitoring pour la Maintenance Prévisionnelle, Modélisation de la Dégradation Health Monitoring pour la Maintenance Prévisionnelle, Modélisation de la Dégradation Laurent Denis STATXPERT Journée technologique "Solutions de maintenance prévisionnelle adaptées à la production" FIGEAC,

Plus en détail

M@gistère Glossaire des outils

M@gistère Glossaire des outils DSDEN du Rhône M@gistère Glossaire des outils Les blocs : bandeau gris Nous vous présentons les items que nous avons testés qui nous paraissent fonctionner. L astérisque devant le nom d un bloc indique

Plus en détail

Chapitre 3: TESTS DE SPECIFICATION

Chapitre 3: TESTS DE SPECIFICATION Chapitre 3: TESTS DE SPECIFICATION Rappel d u c h api t r e pr é c é d en t : l i de n t i f i c a t i o n e t l e s t i m a t i o n de s y s t è m e s d é q u a t i o n s s i m u lt a n é e s r e p o

Plus en détail

Haute Ecole Libre de Louvain-en-Hainaut - Partager des pratiques en formation initiale

Haute Ecole Libre de Louvain-en-Hainaut - Partager des pratiques en formation initiale Le sondage du jour Type d outil : Activité rituelle permettant de valoriser les relations et de susciter des activités dénombrement au départ du nombre d'élèves de la classe. Auteur(s) : Pauline Gobert

Plus en détail