© Séminaire de Théorie spectrale et géométrie (Grenoble), 1991, tous droits réservés. L’accès aux archives de la revue « Séminaire de Théorie spectrale et géométrie » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi...

Le but de cet article est de présenter un algorithme de complexité polynômiale pour calculer la semisimplifiée modulo p d’une Qp-représentation semi-stable du groupe de Galois absolu d’un corps p-adique (i.e. une extension finie de Qp). Pour ce faire, nous utilisons abondamment la théorie de Hodge p-adique et, en particulier, la théorie des modules de Breuil-Kisin.

— The paper consists of two parts. In the first part, we explain an excellent idea, due to mathematicians of the 19-th century, of naturally developing classical Galois theory of algebraic equations to an infinite dimensional Galois theory of nonlinear differential equations. We show with an instructive example how we can realize the idea of the 19-th century in a rigorous framework. In the sec...

Dans l’étude des fonctions symétriques, la théorie des λ-anneaux est une méthode particulièrement efficace, et pourtant peu utilisée. On trouvera une illustration de cette théorie dans [5]. Le but de cet article est d’en présenter une nouvelle application. Notre résultat principal donne la spécialisation des fonctions symétriques monomiales sur l’alphabet (a− b)/(1− q). Il s’agit d’une générali...

Résumé. Les méthodes adaptatives sont d’usage courant pour la résolution numérique des EDP. Il n’existe cependant pas de théorie bien établie analysant leur performance et justifiant leur utilisation. L’objet de cet exposé est de présenter les premiers éléments d’une telle théorie, dont les pierres angulaires sont l’approximation non-linéaire et les théorèmes de régularité pour les EDP. Une mét...

© Séminaire de Théorie spectrale et géométrie (Grenoble), 1995-1996, tous droits réservés. L’accès aux archives de la revue « Séminaire de Théorie spectrale et géométrie » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ...

Les transformateurs de prédicats ont été introduits par Dijkstra et ont permis de fonder la théorie des preuves de programmes et la théorie de l’affinement des systèmes d’actions. Ce texte analyse le lien existant entre les transformateurs de prédicats et les systèmes d’actions affinés. Les hypothèses d’équité sont prises en compte et une uniformisation de la présentation permet de démontrer le...

Dans cette contribution, nous étudions le problème de la sélection de distribution a priori dans le contexte de la théorie bayésienne. La litérature sur le sujet est abondante et le problème est loin d’être définitivement résolu [1]. Nous revisitons cette problématique avec les outils de la géométrie différentielle pour proposer une construction de l’a priori dans le cadre de la théorie bayésie...

la compréhension des textes à un rythme convenable est la compétence la plus fondamentale parmi les habiletés langagières. les apprenants d’une langue étrangère ou seconde peuvent, en insistant ainsi sur la lecture, réaliser de grands progrès dans tous les autres domaines académiques, surtout dans un contexte formel. plusieurs facteurs sont susceptibles d’affecter la compréhension de texte ...

Contents Introduction 9 1 General definitions of the cyclostationarity property 16 1. References 111 6 List of figures 120 7 8 Introduction Les astres ont toujours été une source de crainte, de passion, d'inspiration et de quête pour l'Homme à travers les âges. Cette quête de connaissance de l'inconnu avait, à l'antiquité, pris forme de science de prédictions écliptiques, telle que la prédictio...