Description géométrique de l'environnement grâce à la redondance et à la complémentarité des informations provenant de plusieurs capteurs. Cette description est basée sur une modélisation tridimensionnelle de type surfacique incorporant les informations géométriques et l'incertitude de ces informations

Les algorithmes de résolution polynomiale sont impliqués dans des outils sophistiqués de calcul en géométrie algébrique aussi bien quen ingénierie. Les plus populaires dentre eux reposent sur des bases de Gröbner, des matrices de Macaulay ou des décompositions triangulaires. Dans tous ces algorithmes, les polynômes sont développés dans une base des monômes et les calculs utilisent essentiellement des routines dalgèbre linéaire. L'inconvénient majeur de ces méthodes est lexplosion exponentielle du nombre de monômes apparaissant dans des polynômes éliminants. De manière alternative, lalgorithme Kronecker manie des polynômes codés comme la fonction qui calcule ses valeurs en tout point.<br />Dans cette thèse, nous donnons une présentation concise de ce dernier algorithme, ainsi qu'une preuve autonome de son bon fonctionnement. Toutes nos démonstrations sont intimement liées aux algorithmes, et ont pour conséquence des résultats classiques en géométrie algébrique, comme un théorème de Bézout. Au delà de leur intérêt pédagogique, ces preuves permettent de lever certaines hypothèses de régularité, et donc d'étendre l'algorithme au calcul des multiplicités sans coût supplémentaire.<br />Ensuite, nous présentons un algorithme de décomposition primaire pour les idéaux de polynômes de dimension nulle. Nous en donnerons également une étude de complexité précise, complexité qui est polynomiale en le nombre de variables, en le coût dévaluation du système, et en un nombre de Bézout.

L'implicitisation d'une surface algébrique rationnelle, c'est-à-dire le passage de la paramétrisation à une représentation implicite, est un<br />problème géométrique classique. Dans ce travail de thèse, nous utilisons la théorie des syzygies pour représenter implicitement une surface par une matrice dont les mineurs de taille maximale ont l'équation implicite comme plus grand diviseur commun. Dans les deux premiers chapitres, nous traitons deux classes de surfaces spéciales pour lesquelles il est toujours possible de construire une matrice carrée qui correspond au résultant d'une μ-base : les surfaces réglées et les surfaces canales. Dans les chapitres suivants, le cas général de surfaces rationnelles paramétrées sur une variété torique de dimension 2 est étudié. Nous montrons qu'une telle matrice peut être construite en n'utilisant que des syzygies linéaires et nous décrivons un algorithme simple et efficace pour son calcul.

Cette thèse présente quelques résultats portant sur l'arithmétique de variétés rationnellement connexes et, plus spécifiquement, des hypersurfaces cubiques, dans trois directions principales : l'équivalence rationnelle, la R-équivalence, et l'approximation faible. Dans la première partie, on décrit de façon explicite la spécialisation de la R-équivalence. La seconde est consacrée à la nullité du groupe de Chow de 0-cycles de degré 0 sur une hypersurface cubique ayant bonne réduction sur les p-adiques. La troisième montre un résultat d'approximation faible aux places de bonne réduction sur les surfaces cubiques sur les corps de fonctions. La quatrième montre la R-trivialité des hypersurfaces cubiques de grande dimension sur les p-adiques. La cinquième partie explicite par un calcul la non-nullité du groupe de Chow de 0-cycles de degré 0 d'une hypersurface cubique de dimension 3 sur un corps de dimension 2. Enfin, on étudie la R-équivalence très libre sur les variétés toriques.

Cette thèse est consacrée à l'étude d'inégalités géométriques universelles sur les variétés riemanniennes. Plus particulièrement, nous nous intéressons aux relations entre le volume et la longueur des courtes géodésiques fermées, sans hypothèse de courbure.<br /><br />Tout d'abord, nous étudions les métriques extrémales pour le problème isosystolique sur les surfaces. Nous établissons un critère à l'extrémalité des métriques sur les surfaces orientables et examinons le cas de genre deux.<br /><br />Ensuite, nous montrons que la longueur de la plus courte trajectoire non triviale parmi les géodésiques fermées simples d'indice un et les géodésiques en huit d'indice nul minore l'aire et le diamètre des sphères riemanniennes.<br />Nous discutons aussi de la rigidité et de la souplesse du rayon de remplissage par rapport aux longueurs de courtes géodésiques provenant de la théorie de Morse sur l'espace des 1-cycles.<br /><br />Finalement, nous minorons le volume et le diamètre des variétés riemanniennes complètes à l'aide de la longueur du plus court lacet géodésique non trivial. De plus, nous obtenons une minoration de la croissance du volume des boules de ``petit'' rayon, ainsi qu'un résultat de finitude homotopique.

Cette Thèse porte sur les familles tangentielles et les équations de Hamilton--Jacobi. <br />Ces deux sujets sont reliés à des thèmes classiques en théorie des singularités, comme la théorie des enveloppes, les singularités des fronts d'onde et des caustiques, la géométrie symplectique et de contact. <br />Les premiers trois chapitres de la Thèse sont consacrés à l'étude des familles tangentielles, à la classification de leurs singularités stables et simples, et à leurs interprétation dans le cadre de la Géométrie de Contact. <br />Le dernier chapitre est dédié à l'étude des solutions de minimax pour l'équation de Hamilton--Jacobi, notamment à la classification des leurs singularités génériques de petite codimension.

Les cartes sont des objets combinatoires apparaissant en physique comme discrétisation naturelle des surfaces aléatoires employées pour la gravité quantique bidimensionnelle ou la théorie des cordes, ainsi que dans les modèles de matrices. Après rappel de ces relations, nous établissons des correspondances entre diverses classes de cartes et d'arbres, autres objets combinatoires de structure simple. Un premier intérêt mathématique de ces constructions est de donner des preuves bijectives, élémentaires et rigoureuses, de plusieurs résultats d'énumération de cartes. Par ailleurs, nous accédons ainsi à une information fine sur la géométrie intrinsèque des cartes, conduisant à des résultats analytiques exacts grâce à une propriété inattendue d'intégrabilité. Nous abordons enfin la question de l'existence d'une limite continue universelle.

Le but de cette thèse est d'étudier des questions issues de la théorie de l'élasticité en utilisant des méthodes d'analyse mathématique et de géométrie différentielle. Dans le cas mono-dimensionnel, qui est lié à l'étude des fils élastiques, nous prouvons des résultats d'existence, d'unicité et de stabilité d'une courbe dans des espaces de Sobolev. Nous traitons ensuite le cas général d'une immersion de dimension et de co-dimension quelconques d'une sous-variété dans l'espace euclidien. Nous montrons ainsi que le résultat classique d'existence et d'unicité d'une telle immersion peut être étendu jusqu'au bord de la sous-variété, sous une hypothèse de régularité peu restrictive sur celui-ci. En outre, nous montrons que l'application ainsi construite est localement lipschitzienne pour les topologies appropriées. Enfin, nous revenons à l'étude des fils élastiques, pour obtenir des inégalités de Korn linéaires et non linéaires pour les courbes en dimension 3.

Ce travail de thèse consiste à développer l'approche bayésienne en séparation de sources. Mes contributions sont à la fois méthodologiques et algorithmiques illustrées par des applications en imagerie satellitaire et en cosmologie observationnelle. - Au niveau méthodologique: 1. nous avons proposé une modélisation pertinente des sources. L'aspect hiérarchique de ce modèle est bien adapté à la structure cachée naturelle du problème de séparation de sources. 2. Nous avons étudié le problème de dégénérescence du maximum de vraisemblance dans le cas vectoriel et dans le contexte de séparation de sources. 3. Nous avons proposé une approche originale pour la sélection d'a priori avec les outils de la géométrie différentielle. - Au niveau Algorithmique: 1. Nous avons proposé des algorithmes de séparation et de ségmentation dont le principe est l'exploitation de la non stationnarité dans le domaine temporel, spatial, spectral, temps-fréquence... 2. Nous avons mis en oeuvre la solution bayésienne avec une impémentation parallèle de l'échantillonneur de Gibbs ainsi que d'autres approximations stochastiques de l'EM. 3. Ces algorithmes sont illustrés par une application en imagerie satellitaire et une application en cosmologie observationnelle. Enfin, j'ouvre des perspectives théoriques sur la dualité de l'approche bayésienne et de l'approche informationnelle dans le cadre de la séparation et de la ségmentation conjointes des sources.

Le théorème d'irréductibilité de Hilbert assure l'existence d'une spécialisation conservant l'irréductibilité d'un polynôme à plusieurs variables et à coefficients rationnels. Des versions effectives ont été données par P. Dèbes (1993) puis par U. Zannier et A. Schinzel (1995). Nous proposons ici diverses tentatives d'améliorer ces résultats effectifs : méthode de Dörge, méthode des congruences inspirée par un article de M. Fried et enfin une utilisation des résultats récents de R. Heath-Brown sur les points entiers d'une courbe algébrique. Cette dernière voie va nous permettre d'améliorer significativement les résultats connus. On finira par une application à la recherche d'un algorithme polynomial pour la factorisation d'un polynôme à deux indéterminées.