Ce travail de thèse porte sur deux problèmes distincts, tous deux en lien avec le comportement galoisien de certains noyaux de localisation en cohomologie étale : les noyaux sauvages étales. Fixons un nombre premier p et $F_{\infty}$ une $\Z_p$-extension d'un corps de nombres $F$.<br />La structure de groupe abélien du p-groupe des classes des étages de $F_{\infty}/F$ est asymptotiquement bien connue : nous montrons, au moyen de la théorie d'Iwasawa des $\Z_p$-extensions, un analogue de ce résultat en $K$-théorie supérieure.<br />Dans un deuxième temps, nous étudions le groupe de Galois sur $F_{\infty}$ de la pro-p-extension, non ramifiée, p-décomposée maximale de $F_{\infty}$, lorsque $F_{\infty}$ est la $\Z_p$-extension cyclotomique de $F$. Après avoir établi un lien entre la structure de ce groupe et le comportement galoisien des noyaux sauvages étales, nous donnons divers critères effectifs de non pro-p-liberté pour ce groupe.

Cette thèse est motivée par l'étude des courbes algébriques réelles dans le plan projectif réel et dans les surfaces rationnelles géométriquement réglées, munis de leur structure réelle standard. Deux problèmes ont particulièrement retenus notre attention. Les ovales d'une courbe non singulière dans dans le plan projectif réel de degré pair sont naturellement divisés en deux ensembles disjoints : les ovales pairs, contenus dans un nombre pair d'ovales, et les ovales impairs. La combinaison des inégalités de Harnack et de Petrovsky permet d'obtenir une borne supérieure pour le nombre d'ovales pairs et le nombre d'ovales impairs en fonction du degré de la courbe. Généralisant une construction antérieure d'I. Itenberg, nous montrons que cette borne est asymptotiquement optimale. La majorité des restrictions connues sur la topologie des courbes algébriques réelles sont aussi valables pour une classe plus vaste d'objets, les courbes pseudoholomorphes réelles. Un problème ouvert est celui de l'existence d'un schéma réel réalisable par une courbe pseudoholomorphe réelle non singulière, mais pas par une courbe algébrique réelle non singulière de même degré. Nous étudions dans cette thèse les courbes réelles non singulières symétriques de degré 7 dans le plan projectif réel, algébriques et pseudoholomorphes. Nous obtenons en particulier plusieurs classifications, et exhibons deux schémas réels réalisables par des courbes pseudoholomorphes réelles séparantes symétriques non singulières de degré 7 mais pas par de telles courbes algébriques. Certains des résultats de cette thèse sont basés sur l'utilisation des dessins d'enfants. En géométrie algébrique réelle, ces objets ont été utilisés la première fois par S. Yu. Orevkov. Ils permettent en particulier de répondre à la question suivante : Existe-t-il deux polynômes réels P et Q de degré n tels que les racines réelles de P, Q et P+Q réalisent un arrangement donné? Suivant Orevkov, nous donnons une condition nécessaire et suffisante à l'existence de deux tels polynômes, formulée en terme de dessins d'enfants. Nous donnons aussi un algorithme permettant d'établir si un L-schéma donné est réalisable par une courbe algébrique réelle trigonale.

Ce mémoire est consacré à mes travaux sur la dynamique conforme dans les espaces métriques. Il est constitué de deux parties, la première concernant les groupes hyperboliques, et la seconde l'itération de revêtements ramifiés dans des espaces topologiques. Ces deux parties sont reliées par le dictionnaire de D. Sullivan. On a choisi d'orienter l'exposition en prenant la conjecture de J.W. Cannon comme fil d'Ariane.

Dans cette thèse nous nous sommes intéressés à établir une formulation probabiliste pour l'analyse du comportement d'un sol multicouche avec des caractéristiques aléatoires. Deux grands axes sont traités : ?la consolidation primaire et ?la réponse sismique des sols multicouches ayant des caractéristiques aléatoires. Nous utilisons les simulations de Monte Carlo associées à des méthodes semi-analytiques adaptées aux sols multicouches avec une stratification horizontale. Nous avons aussi comparés les résultats obtenus à partir de cette formulation à ceux fournis par les règlements parasismiques suivants : RPA 99 (version 2003), UBC 97 et l'EC8. Cette étude a montré que les valeurs maximales des forces de cisaillement à la base des bâtiments variaient substantiellement en fonction de la variation de la hauteur du profil de sol ainsi que de son hétérogénéité pouvant atteindre un rapport relatif de l'ordre de 3 dans les cas les plus défavorables. Ce rapport peut également être inférieur à 1 conduisant à des structures moins économiques

Les structures o-minimales, introduites dans les années '80 par Van den Dries et largement étudiées par Wilkie et Macintyre répondent à Grothendick en donnant le cadre d'une géométrie modérée. <br /> <br />Cette thèse montre un théorème du complémentaire explicite pour les<br />structures o-minimales polynomialement bornées, ce qui équivault à la modèle-complétude en théorie des modèles.<br /><br />En 1968, Gabrielov montre un théorème du complémentaire pour<br />les sous-analytiques globaux, qui en implique la o-minimalité. Il améliore ce résultat en 96, avec un théorème explicite. Une généralisation de celui-ci est présentée ici.<br /><br />Par des arguments de valuation dus à Lojaciewicz et à Miller, des propriétés de quasi-analycité sont exhibées, qui permettent d'adapter le schéma classique des preuves de modèle-complétude. Ce résultat permet de mieux comprendre la façon dont sont générées les structures o-minimales et donne un langage réduit sur lequel une structure polynomialement bornée est modèle-complète.

Ce travail se situe dans le cadre de la modélisation aléatoire pour la sûreté de fonctionnement des systèmes réparables. Nous considérons des systèmes soumis à des maintenances correctives et préventives conditionnelles. La principale problématique que nous traitons est de modéliser conjointement la dépendance entre les deux types de maintenances en utilisant le cadre des risques concurrents et l'efficacité des maintenances imparfaites en utilisant le principe des âges virtuels. Dans ce cadre, nous proposons des modèles de maintenance imparfaite pour des systèmes présentant une période de jeunesse. Dans un premier temps, nous proposons un nouveau modèle de risques concurrents classique, le modèle alert-delay, qui permet de prendre en compte la dépendance entre les deux types de maintenances. Ses propriétés originales permettent d'analyser certains jeux de données pour lesquels aucun modèle usuel n'était adapté. Dans un deuxième temps, nous présentons plusieurs classes de modèles de risques concurrents généralisés: nous généralisons les modèles classiques en tenant compte du passé afin de caractériser l'efficacité des maintenances et la réactivité des équipes de maintenance. Enfin, nous présentons une classe générale de modèles de maintenance imparfaite pour des systèmes présentant une période de jeunesse. Jusqu'à présent, les modèles n'étaient adaptés qu'aux systèmes se dégradant continûment. Deux modèles particuliers sont alors étudiés plus en détail. Dans chacune de ces parties, les modèles proposés sont appliqués à des jeux de données issus de l'industrie.

Les modèles déformables ou les contours actifs sont utilisés pour extraire les caractéristiques visuelles dans une image, en particulier les contours d'objets.<br />Notre propos dans cette thèse, est d'étudier ces modèles dans un environnement multirésolution.<br />Commençant par une étude des contours actifs à haute résolution, nous démontrons un théorème d'existence pour les contours actifs fermés et les contours actifs à extrémités libres. Nous présentons ensuite un nouveau modèle appelé la bulle déformable, qui a l'avantage d'avoir une représentation discrète, d'être relativement robuste au bruit et à la texture et d'agir par faibles déformations.<br />Ensuite nous étudions quelques techniques de multirésolution, en présentant les avantages et les inconvénients de chacune. A travers une proposition que nous avons montrée, nous établissons le lien entre la multirésolution et la notion de minimisation d'énergie.<br />Enfin, nous terminons par une proposition originale qui consiste à faire coopérer les contours actifs et la multirésolution. Cette coopération s'agrémente de plusieurs approches pour faire passer le contour du haut de la pyramide vers sa base. Elle associe entre autres une factorisation du modèle des contours actifs, d'une part selon une démarche de type membrane effectuée à basse résolution, et d'autre part selon une démarche de type plaque mince au travers des différentes résolutions supérieures permettant de réajuster le contour détecté jusqu'à la résolution initiale.

Cette thèse est consacrée à l'étude de plusieurs problèmes d'optimisation combinatoire qui se présentent dans le domaine du calcul parallèle embarqué. En particulier, la gestion optimale de la mémoire et des problèmes d'ordonnancement pour les applications flot de données exécutées sur des processeurs massivement multicœurs sont étudiés. Deux techniques d'optimisation d'accès à la mémoire sont considérées : la réutilisation des données et le préchargement. La gestion des accès à la mémoire est déclinée en trois problèmes d'optimisation combinatoire. Dans le premier problème, une stratégie de préchargement pour les applications flot de données est étudiée, de façon à minimiser le temps d'exécution de l'application. Ce problème est modélisé comme un flow shop hybride sous contraintes de précédence, un problème \mathcal{NP}\text{-difficile} . Un algorithme de résolution heuristique avec deux bornes inférieures sont proposés afin de faire une estimation conservatrice, quoique suffisamment précise, de la distance à l'optimum des solutions obtenues. Le deuxième problème traite de l'exécution conditionnelle dépendante des données et de la gestion optimale du préchargement pour les structures de branchement. Quelques fonctions économiques, ainsi que des techniques de préchargement, sont examinées. Dans tous ces cas des algorithmes de résolution polynomiaux sont proposés. Le troisième problème consiste à ordonner un ensemble de tâches de façon à maximiser la réutilisation des données communes. Ce problème étant \mathcal{NP}\text{-difficile} , ce que nous avons établi, nous avons proposé deux algorithmes heuristiques. La distance à l'optimum des solutions est estimée en utilisant des solutions exactes. Ces dernières sont obtenues à l'aide d'une méthode branch-and-bound que nous avons proposée.

Les entreprises de transport font face à des problèmes de taille grandissante où l'utilisation de transbordement peut avoir un impact significatif sur les coûts. ILOG TPO est un logiciel capable de résoudre de tels problèmes, mais il lui est difficile de prendre de bonnes décisions concernant le transbordement. De plus, le processus de résolution d'ILOG TPO est basé sur la recherche locale, et il peut être aidé pour certaines décisions globales comme le transbordement. Cette thèse se place dans ce contexte, et son objectif est d'aider ILOG TPO à trouver de meilleures solutions. Pour cela, une formulation complète est d'abord proposée pour résoudre les plus petites instances, et avec une technique de plans coupants, les solutions optimales sont généralement trouvées en un temps raisonnable. Ensuite, un algorithme à deux phases qui inclut un programme en variables mixtes (MIP) sur une relaxation de type réseau du problème est donné pour de plus grandes instances. Cet algorithme est une coopération entre le MIP et ILOG TPO, où le MIP donne à ILOG TPO, pour chaque ordre de transport, le chemin de hubs par lequel il devrait être acheminé. Cette heuristique trouve des solutions similaires à ILOG TPO seul, mais le temps de calcul est réduit de façon significative.

Le produit tensoriel non abélien construit à partir de modules croisés sur un même groupe est en surjection sur le sous-groupe de commutateurs induit par les images des modules croisés. Les factorisations à travers chacun des modules croisés définissent des commutateurs généralisés. Les noyaux associés sont des quotients de groupes de relations entre commutateurs généralisés par des relations universelles. Toute l'homologie d'un groupe peut s'exprimer sous la forme de tels quotients. L'étude des identités vérifiées par le produit tensoriel, de l'exactitude à droite et de l'obstruction à l'exactitude à gauche permet d'expliciter plus ou moins complètement certains de ces quotients et d'établir des liens entre différents groupes de cette forme. Ces questions sont également liées à l'existence de sections compatibles avec les structures de module croisé et à l'éventuelle nullité de morphismes canoniques induits par la suite centrale descendante entre troisièmes groupes d'homologie.