En géométrie spectrale, on s’intéresse aux liens entre le spectre d’une variété riemannienne et sa géométrie. On recherche notamment des bornes supérieures et inférieures pour les va-leurs propres qui font intervenir des quantités géométriques, comme l’aire et le périmètre. On se questionne aussi sur l’isospectralité : Quelles sont les variétés riemanniennes non iso-métriques qui possèdent le même spectre ? Au cours des dernières années, le problème de Steklov, problème introduit au tout début du 20e siècle en mécanique des fluides, a suscité l’intérêt de plusieurs mathématiciens. Le but de ce mémoire est de donner une banque de variétés riemanniennes Steklov-isospectrales. On y présente aussi une preuve d’une borne supérieure pour la première valeur propre de Steklov pour un domaine borné du plan, sans hypothèse sur sa connexité. / In spectral geometry, we are interested in the links between the spectrum of a Riemannian manifold and its geometry. We are looking for geometric upper and lower bounds for the eigenvalues. These bounds are geometric, for they involve geometric quantities such as area and perimeter. Isospectrality is also a subject of interest in spectral geometry: What are thenon isometric Riemannian manifolds that share the same spectrum? In the last few years, the Steklov problem, introduced in the beginning of the 20th century in fluid mechanics, raised the interest of many mathematicians. In this memoir, we present a bank of Steklov-isospectral Riemannian manifolds. We also give a proof of an upper bound for the first Steklov eigenvalue for a bounded domain of the plane without any connectedness assumption.

Le mouvement brownien fractionnaire en temps brownien Z est un processus qui sert de modèle à la diffusion d’un gaz le long d’une fissure. Dans cette thèse, réalisée sous la direction d'Ivan Nourdin, nous prouvons des formules de type Itô pour Z. Nos principaux outils sont le calcul de Malliavin, le calcul stochastique et l'utilisation de théorèmes limites. Une des spécificités des formules de changement de variables que nous avons obtenues est qu’elles ont lieu en loi, avec création d'un nouvel aléa. Ce mémoire est constitué d'un chapitre introductif, suivi de trois autres chapitres qui correspondent chacun à différents résultats obtenus lors de la préparation de cette thèse et rédigés sous forme d'articles de recherche. Plus précisément : 1) Dans un premier article, nous introduisons le processus central de cette thèse, à savoir le mouvement brownien fractionnaire en temps brownien Z. Nous étudions ensuite les fluctuations de ses variations d’ordre p, où p est n'importe quel entier supérieur ou égal à 1. 2) Dans un deuxième article, avec mon encadrant Ivan Nourdin nous avons utilisé les résultats du premier article pour construire une formule de type Itô pour Z. Pour ce faire, nous avons étendu à notre cadre une idée due originellement à Khoshnevisan et Lewis, consistant à travailler avec une partition aléatoire du temps au lieu de la partition déterministe classique. 3) Enfin, dans un troisième et dernier article, nous avons prolongé la formule unidimensionnelle décrite en 2) au cadre bidimensionnel / Fractional Brownian motion in Brownian time Z may serve as a model for the motion of a single gas particle constrained to evolve inside a crack. In this PhD thesis, written under the supervision of Ivan Nourdin, we prove Itô's type formulas for Z. To achieve this goal, our main tools are the Malliavin calculus, the stochastic calculus and the use of limit theorems. One of the specificity of the formula we have obtained is that they hold in law, with creation of a new alea. This manuscript consists in an introductory chapter, followed by three other chapters, each one corresponding to different results obtained along the preparation of this thesis and written is the form of research papers. More precisely: 1) In a first paper, we introduce the central process of this thesis, namely the fractional Brownian motion in Brownian time Z. Then, we study the fluctuations of its power variations of order p, for any integer p greater than or equal to 1. 2) In a second paper, written jointly with my supervisor Ivan Nourdin, we use the results obtained in 1) to build an Itô's type formula for Z. To do so, we need to extend to our setting an approach originally due to Khoshnevisan and Lewis, consisting in rather working with a random partition of time, instead of the classical uniform deterministic partition. 3) Finally, in a third and last paper, we extend to bi-dimension the one- dimensional formula obtained in 2)

Les mesures de réactivité par la technique d'oscillation, comme celles effectuées dans le réacteur Minerve, permettent de tester de nombreux paramètres neutroniques sur des matériaux, des combustibles ou des isotopes spécifiques. Généralement, les effets attendus sont très faibles, tout au plus de l'ordre de la dizaine de pcm. La modélisation de ces expériences doit donc être particulièrement précise, afin d'obtenir un retour fiable et précis sur les paramètres ciblés. En particulier, les biais de calcul doivent être clairement identifiés, quantifiés et maîtrisés afin d'obtenir des informations pertinentes sur les données nucléaires de base. L'enjeu de cette thèse est le développement d'un schéma de calcul de référence, dont les incertitudes sont clairement identifiées et quantifiées, permettant l'interprétation des mesures par oscillation. Dans ce document plusieurs méthodes de calcul de ces faibles effets en réactivité sont présentées, basées sur des codes de calculs neutroniques déterministes et/ou stochastiques. Ces méthodes sont comparées sur un benchmark numérique, permettant leur validation par rapport à un calcul de référence. Trois applications sont ici présentées dans le détail : une méthode purement déterministe utilisant la théorie des perturbations exacte pour la qualification des sections efficaces des principaux produits de fission en REP, dans le cadre d'études sur l'estimation de la perte du réactivité du combustible au cours du cycle ; une méthode hybride, basée sur un calcul stochastique et la théorie des perturbations exacte, permet d'obtenir un retour précis sur les données nucléaires de bases d'isotopes, dans notre cas l'241Am; et enfin, une troisième méthode, reposant sur un calcul perturbatif Monte Carlo, est utilisée pour une étude de conception. / Reactivity measurements by the oscillation technique, as those performed in the Minerve reactor, enable to access various neutronic parameters on materials, fuels or specific isotopes. Usually, expected reactivity effects are small, about ten pcm at maximum. Then, the modeling of these experiments should be very precise, to obtain reliable feedback on the pointed parameters. Especially, calculation biases should be precisely identified, quantified and reduced to get precise information on nuclear data. The goal of this thesis is to develop a reference calculation scheme, with well quantified uncertainties, for in-pile oscillation experiments. In this work are presented several small reactivity calculation methods, based on deterministic and/or stochastic calculation codes. Those method are compared thanks to a numerical benchmark, against a reference calculation. Three applications of these methods are presented here: a purely deterministic calculation with exact perturbation theory formalism is used for the experimental validation of fission product cross sections, in the frame of reactivity loss studies for irradiated fuel; an hybrid method, based on a stochastic calculation and the exact perturbation theory is used for the readjustment of nuclear data, here 241Am; and a third method, based on a perturbative Monte Carlo calculation, is used in a conception study.

Pac est un système de calcul formel dédié a une machine Mind massivement parallèle. Dans une première partie, l'architecture du système est décrite. Elle est illustrée par une modélisation théorique et pratique de la parallélisation du produit de deux polynômes. Le système Pac est implante sur la machine t40 de Fps (32 processeurs). Dans une deuxième partie, l'arithmétique nodale en précision infinie sur les rationnels est étudiée. Différents algorithmes sont dégagés, notamment pour la multiplication, la division et le pgcd d'entiers de taille quelconque. Une vectorisation de l'arithmétique de base est discutée et expérimentée

On considère la résolution exacte des systèmes linéaires en parallèle et on traite deux aspects de base du problème : le calcul du noyau d'une matrice dont les coefficients sont dans un corps fini et la résolution des systèmes à coefficients entiers. On évalue les couts des différents algorithmes proposes, en mettant l'accent sur couts des communications

Dans une première partie, nous définissons un nouveau langage à base fonctionnelle et avec récursion généralisée, en utilisant le système de types avec degrés de Boudol pour éliminer les récursions dangereuses. Ce langage est ensuite étendu par des enregistrements récursifs, puis par des mixins, permettant ainsi de mêler totalement les paradigmes fonctionnels et objets. Nous présentons également une implémentation, MlObj, ainsi que la machine abstraite servant à son exécution.<br /><br />Dans une deuxième partie, nous présentons un nouvel algorithme d'inférence pour les systèmes de types avec intersection, dans le cadre d'une extension du lambda-calcul. Après avoir prouvé sa correction, nous étudions sa généralisation aux références et à la récursion, nous le comparons aux algorithmes d'inférence déjà existants, notamment à celui de Système I, et nous montrons qu'il devient décidable à rang fini.

Cette thèse se consacre à l'application de techniques de réalisabilité dans le cadre de l'étude du sens calculatoire de la logique. Dans une première partie, nous rappelons le formalisme de la réalisabilité classique de Krivine, dans lequel nous menons ensuite une étude du contenu opérationnel de tautologies purement classiques. Cette exploration du sens calculatoire de la disjonction classique révèle des comportements riches, avec une forte intuition interactive, qui s'interprètent avantageusement comme des structures de contrôle typées. Afin de mieux comprendre la nature de ces mécanismes, nous définissons ensuite une technique de réalisabilité à la Krivine pour un modèle de calcul concurrent, dans le but d'obtenir une notion de constructivité qui ne soit plus fondée sur l'idée de fonction, mais sur celle de processus interactif. Le cadre ainsi obtenu donne une interprétation réellement concurrente de la logique linéaire dans un calcul de processus dérivé du pi-calcul, permettant d'appliquer au cas concurrent la méthode de spécification précédemment étudiée dans le cas séquentiel. Par la suite, l'étude des traductions de la logique classique vers la logique linéaire mène à reconstruire systématiquement des décompositions interactives du calcul fonctionnel, permettant ainsi de faire le lien au niveau logique entre les réalisabilités classique et concurrente. Dans une dernière partie, nous étudions plus en détail le mode de calcul issu des algèbres de processus, afin de comprendre son système d'ordonnancement. Cette étude mène à la définition d'un modèle de calcul plus géométrique qui permet une exploration formelle de la notion de causalité dans les calculs concurrents.

L'environnement d'exécution est un composant clé de l'environnement de programmation et d'exécution d'applications parallèles. Il fournit des services aux processus de l'application parallèle. Parmi ces services, les plus fondamentaux sont la mise en relation des processus entre eux et la transmission des signaux et des entrées-sorties. Cette thèse porte sur l'étude des environnements d'exécution à grande échelle et les services rendus à l'application sur des systèmes de grande taille. La première partie étudie les performances de l'environnement d'exécution à grande échelle et propose une approche centrée sur les topologies pour supporter l'application de manière efficace. La seconde partie étudie un rôle supplémentaire rempli par l'environnement d'exécution dans des systèmes constitué d'un grand nombre de composants avec le support de la tolérance aux défaillances. La troisième et la quatrième partie concernent un type particulier de systèmes à grande échelle avec les grilles de calcul. Ces systèmes présentent des particularités spécifiques à l'utilisation de ressources géographiquement distantes et à l'hétérogénéité de ces ressources. Les problématiques de connectivité sur les grilles de calcul et une extension de l'environnement d'exécution conçue pour y faire face sont présentées dans la troisième partie de cette thèse. La quatrième partie présente une méthode de conception d'applications destinées aux grilles de calcul et des exemples d'applications typiques présentant de bonnes performances.

La première partie de cette thèse présente le cadre des équations différen- tielles à retard. Ces équations apparaissent notamment dans des modélisations de phénomènes physiques (calcul de marées) et physiologiques. La recherche de forme normale d'équation différentielle à retard est rendue difficile du fait de la dimension infinie de l'espace des conditions initiales. On présente une méthode de calcul due à T. Faria qui permet de réduire cette difficulté en utilisant des variétés centrales de dimension finie, sur lesquelles on peut faire un calcul de forme normale « classique ». On étend ensuite ce résultat à l'aide d'une méthode de G. Gaeta permettant la renormalisation de formes normales usuelles, pour des équations différentielles ordinaires. En utilisant ces deux méthodes, on démontre un théorème donnant l'existence d'une forme renormalisée d'équation différentielle à retard. Dans une deuxième partie, on présente et on étudie le formalisme moulien développé par Jean Ecalle. On utilise ce formalisme pour la recherche de formes normales de champs de vecteurs, et on l'applique à des champs hamiltoniens en coordonnées cartésiennes, puis en coordonnées action-angle. On obtient ainsi une nouvelle démonstration de la version formelle du théorème de Kolmogorov et du théorème de Birkhoff. On présente également une feuille de calcul avec Maple mettant en œuvre certains de ces calculs, et témoignant ainsi de la remarquable aptitude du formalisme moulien à être utilisé dans les logiciels de calcul formel.

L'objectif de cette thèse est de développer une sémantique d'ordre supérieur pour l'information quantique. S'appuyant sur les travaux de master (M.Sc.) de l'auteur, nous étudions un lambda-calcul pour le calcul quantique avec contrôle classique. Le langage comporte deux aspects. Le premier, émanant du théorème dit de « no-cloning » de l'information quantique, est le besoin de distinguer entre les données duplicables et celles non-duplicables. Pour tenir compte de la duplicabilité à l'ordre supérieur, nous utilisons un système de types inspiré par la logique linéaire, logique sensible à la notion de ressource. Le deuxième aspect important est l'effet de bord probabiliste émanant de la mesure, seule opération permettant de récupérer une information classique à partir de données quantiques. Cet effet de bord nous oblige à choisir une stratégie de réduction pour pouvoir être en mesure de définir une sémantique opérationnelle. Nous résolvons le problème de la sémantique dénotationnelle de deux façons. D'abord, en restreignant l'étude du langage au fragment strictement linéaire. Ce faisant, on supprime le besoin de distinguer entre structure duplicable et structure non-duplicable. Il est alors possible de se concentrer sur la description des caractéristiques du calcul quantique. En utilisant la catégorie des fonctions strictement positives (CPM), nous construisons un modèle dénotationnel « fully-abstract », c'est-à-dire caractérisant exactement l'équivalence opérationnelle du fragment strictement linéaire. L'étude du langage au complet est plus compliquée. Pour tenir compte de l'aspect probabiliste du langage, nous utilisons une méthode développée par Moggi et construisons un modèle distinguant la notion de résultat, ou valeur, de la notion de calcul (« computational model »). Pour traiter la distinction entre donnée duplicable et donnée non-duplicable, nous adaptons la notion de catégorie linéaire développée par Bierman, où la notion de duplication est interprétée comme une comonade avec des propriétés particulières. Le modèle issu de ce travail est ce que nous avons appelé une catégorie linéaire pour la duplication. Dans un dernier temps, le langage est restreint en ne considérant que la notion d'effet de bord et la distinction éléments duplicables – éléments non-duplicables pour obtenir un lambda-calcul linéaire générique. Dans ce contexte, nous montrons que la notion de catégorie linéaire de duplication est une interprétation « full and complete » pour le langage.