Le récent démarrage du LHC appelle à la mise à jour et à l'amélioration des prédictions théoriques obtenues à partir du Modèle Standard. Les éventuels signes d'une nouvelle physique devraient apparaître dans un premier temps sous la forme de légères différences entre ces résultats et les observations. Les sections efficaces recherchées doivent donc être ré-estimées à l'énergie de collision du nouvel accélérateur, puis calculées à des ordres supérieurs en perturbation. La complexité des manipulations mises en jeu impose le développement de nouvelles techniques, notamment numériques. Une fois les prédictions théoriques obtenues, leur précision doit également être évaluée de la manière la plus juste possible. Une différence notable avec les résultats expérimentaux ne pourra être mise en évidence qu'à cette seule condition. Cette thèse présente des travaux effectués sur ces trois aspects. D'une part, l'outil numérique FONLL déjà existant a été utilisé pour actualiser les prédictions de production de quarks lourds au premier ordre en perturbation à l'énergie de collision de 7 TeV du LHC. L'étude d'une approche alternative de la gestion d'un type de divergences apparaissant dans la procédure de calcul des sections efficaces, les divergences infrarouges, est également présentée. Enfin, un modèle de confiance (ou probabilités bayésiennes) permettant de décrire rigoureusement la contribution de l'effet de troncature des séries perturbatives à l'incertitude théorique est détaillé. Une discussion sur les notions de mesure de probabilité et de mesure de confiance introduit cette étude.

Dans ce manuscrit, nous nous sommes intéressés à l'analyse d'IRM cérébrales dans le cadre notamment du suivi de patients souffrant de sclérose en plaques (SEP). L'extraction automatique de quantificateurs pour la SEP a de nombreuses applications potentielles, tant dans le domaine clinique que pour des tests pharmaceutiques. Dans un premier temps, nous nous sommes consacrés à l'étude générale de la maladie, afin de situer le rôle de l'imagerie. Nous présentons ensuite les différents prétraitements nécessaires à la robustesse du système, puis la segmentation des tissus sains via un modèle probabiliste des volumes partiels, ainsi qu'une nouvelle version de l'algorithme EM doté d'un traitement spécifique des points aberrants. L'utilisation des différentes séquences du protocole d'acquisition permet de spécialiser le processus pour la détection des lésions de sclérose en plaques. Une évaluation quantitative des résultats ainsi qu'un ensemble de perspectives sont enfin détaillées.

Le sujet de cette thèse est l'analyse des données de l'expérience LPCTrap d'octobre 2008. L'objectif était de mesurer le coefficient de corrélation angulaire b-v, abv, de la désintégration de l'6He avec une précision de 0.5%. La mise en évidence d'une déviation de la valeur de abv par rapport à la prédiction du Modèle Standard (MS) serait la signature indirecte d'un couplage de type tenseur dans la désintégration faible du noyau 6He qui mettrait en cause la structure V−A adoptée pour décrire l'interaction faible au sein du MS. Un piège de Paul est employé pour confiner les ions 6He+ dans un volume très restreint et pratiquement au repos afin de disposer d'une source de décroissances la mieux définie. La particule et l'ion de recul 6Li++ émis lors de la désintégration sont détectés en coïncidence par des détecteurs placés autour du piège. a bv est déterminé en comparant la distribution expérimentale du temps de vol de l'ion de recul à celle générée par une simulation Monte-Carlo. Durant cette thèse, une simulation basée sur GEANT4 a été développée, qui prend en compte la totalité des effets expérimentaux susceptibles de contribuer à l'erreur systématique de l'estimation de a bv, notamment la diffusion des électrons de basse énergie. Malgré une statistique expérimentale suffisante et une simulation aboutie, une estimation fiable de a bv s'est finalement révélée impossible à obtenir en raison d'un dysfonctionnement du détecteur d'ions. Une étude statistique exploratoire a été entreprise pour préciser le niveau de sensibilité de la technique de mesure aux tests des hypothèses du MS. Les outils développés dans cette thèse seront utilisés pour analyser les expériences futures.

Cette thèse est consacrée à l'étude de la transition liquide/solide amorphe. Cette transition se retrouve dans des systèmes thermiques (par exemple dans les verres moléculaires) ou athermiques (avec entre autres les milieux granulaires), à l'équilibre thermodynamique ou hors équilibre. Nous montrons que la transition de blocage et la transition vitreuse sont deux phénomènes distincts. Nous avons pour cela construit un modèle de sphères dures sur réseau de Bethe où ces deux transitions cohabitent. Nous introduisons également un modèle de verre structural avec désordre gelé qui possède un aspect champ moyen contrôlable. Cela nous permet de suivre l'évolution de la transition vitreuse dynamique entre le champ moyen et la dimension finie. Nous montrons également que ce modèle réalise en champ moyen une approximation de la dynamique comparable, mais pas équivalente, à la théorie de couplage de modes. Enfin, nous présentons quelques remarques théoriques portant sur l'analyse des modes normaux de suspensions colloïdales près de leur transition de blocage.

Pendant les dernières années, le réseau cellulaire est devenu accessible presque partout. Pour compléter ce réseau cellulaire terrestre, plusieurs systèmes basés sur des satellites à basse orbite (LEO Low Earth Orbit) et moyenne orbite (MEO Medium Earth Orbit) ont été développés pour offrir une couverture globale. Les services multimédias sont largement demandés sur une échelle globale.<br />Notre but est de développer une couche d'accès MAC au canal satellitaire tout en respectant les contraintes de la constellation LEO. Un grand nombre d'utilisateurs de différents types vont essayer d'accéder au canal satellite (sens montant) afin d'envoyer leurs paquets. Il faut distribuer les ressources disponibles entre les différents utilisateurs de façon à respecter la QoS de chaque utilisateur et à minimiser le gaspillage. Nous avons traité dans cette thèse les ponts suivants :<br />·Nous avons adopté les techniques CDMA (Code Division Multiple Access) et TDMA (Time Division Multiple Access) pour définir les protocoles d'accès proposés en système LEOS. Ces techniques sont adaptées afin d'être utilisées d'une manière efficace dans le cas spécifique de satellites LEO (long RTD (Round Trip Delay), Handover, ).<br />·Nous avons utilisé un contrôle d'admission pour les différents types de services qui agit au niveau d'appel afin d'accepter un maximum d'utilisateurs de différents types tout en respectant la QoS de chacun. Ce contrôle utilise une fonction à capacité équivalente adaptée aux différents contextes de nos études.<br />·Nous avons défini des services au niveau MAC d'une façon générique. Les services sont supportés au niveau MAC par des MTCs (MAC Transfer Capabilities) afin de garantir la QoS demandée par chaque service. Nous avons proposé des MTCs qui supportent tous les services et applications possibles.<br />·Nous avons étudié le système pour des utilisateurs hétérogènes ce qui rend l'intégration de services nécessaire. La comparaison dépend de l'intégration et de la QoS de chaque utilisateur. Le but est toujours de maximiser la capacité totale du système.<br />·Nous avons étudié le multiplexage de services et l'allocation de ressources pour les différents protocoles d'accès. Des techniques d'ordonnancement et de partage de ressources sont proposées afin d'atteindre pour un protocole d'accès donné la performance maximale.<br />L'intégration de satellite avec l'UMTS et l'utilisation de l'ATM au sein du réseau de cur sont deux facteurs essentiels qui dirigent nos propositions sur la couche MAC. Les services vus par cette couche sont appelés les MTCs (MAC Transfer Capabilities) et doivent se coordonner avec les services de l'UMTS et l'ATM. Le choix est basé aussi sur les sources de trafics utilisées dans les différents chapitres.

La qualité des données sismiques du satellite CoRoT ouvre de nouveaux horizons dans l'étude de la structure interne et de l'évolution des étoiles. Mon travail de thèse a consisté à l'analyse et à l'interprétation des spectres d'oscillations de pulsateurs de type solaire observés au sol et depuis l'espace, en particulier avec le satellite CoRoT. L'objectif de l'analyse d'un spectre d'oscillations est de déterminer les paramètres des modes propres de l'étoile (fréquences propres, amplitudes, durées de vie). Au sein du DAT (groupe en charge de l'analyse des pulsateurs de type solaire observés avec CoRoT), j'ai contribué à adapter aux objets étudiés une méthode utilisée avec succès pour extraire les paramètres des modes du Soleil. J'ai appliqué cette méthode à l'analyse des cinq premiers pulsateurs de type solaire observés avec CoRoT. Un soin particulier a été consacré à l'étude de la significativité des pics détectés, qui a permis de conforter la détection de modes mixtes dans le spectre de l'étoile HD 49385. Dans le cadre de mon travail de modélisation et d'interprétation, j'ai recherché les informations qu'apportent les paramètres sismiques sur la structure du cœur de certaines des étoiles analysées. Ces étoiles possèdent (ou ont possédé) un cœur convectif, dont les caractéristiques dépendent des processus de transport des éléments chimiques (e.g. l'overshooting), aujourd'hui mal décrits par les modèles théoriques. J'ai modélisé trois pulsateurs de type solaire de masses et de stades évolutifs différents, dont les paramètres sismiques permettent de sonder le cœur et donc de contraindre observationnellement les processus de transport. En particulier, la détection dans l'étoile HD 49385 de modes mixtes en croisement évité m'a amené à étudier l'apport de ce type de mode à la compréhension de la structure du cœur.

Les recherches menées dans le cadre de mon doctorat concernent le domaine de la Traduction Automatique (TA), ou comment traduire d'une langue source vers une langue cible sans aucune intervention humaine. Mes travaux se sont plus particulièrement concentrés sur l'approche statistique de la TA qui consiste à utiliser différents modèles probabilistes appris sur des quantités importantes de corpus parallèles alignés afin de trouver la traduction la plus vraisemblable d'une phrase source. Deux problèmes étroitement liés à l'approche statistique de la TA sont abordés dans ce manuscrit : la collecte de corpus parallèles et l'estimation de modèles de traduction à partir de ces corpus. Un système de TA statistique extrait la connaissance dont il a besoin pour produire des traductions à partir de corpus parallèles dans lesquels chaque phrase source est associée à sa traduction dans la langue cible. De nombreux travaux utilisent comme corpus parallèle les actes du Parlement Européen disponibles gratuitement en différentes langues. De tels corpus ne sont pas adéquats pour la traduction de parole spontanée, c'est pourquoi j'ai décidé de construire des corpus parallèles à partir de sous-titres de films afin de construire un système de traduction plus réaliste. Les sous-titres sont des données complexes, ils ne peuvent constituer un corpus parallèle aligné dans leur état brut. Ils nécessitent une phase de pré-traitement et d'alignement. J'ai pour cela proposé une méthode originale basée sur la Programmation Dynamique qui aligne automatiquement les sous-titres. J'ai ainsi constitué une ressource importante et riche pour l'apprentissage des systèmes de TA statistique. La TA statistique repose sur l'utilisation de plusieurs modèles statistiques comme le modèle d'alignement, la table de traduction ou encore le modèle de distortion. La table de traduction est le modèle le plus indispensable à un système de TA statisque pour calculer la traduction la plus vraisemblable d'une phrase source. En effet, celle-ci donne les probabilités de traduction entre les couples de mots sources et cibles. Il existe différentes méthodes permettant l'estimation de ces tables de traduction. Elles ont habituellement recours à un alignement des mots obtenu automatiquement sur les corpus parallèles. Cette tâche d'alignement est une étape longue et fastidieuse qui fait appel à des algorithmes complexes. Le coeur de mon travail a été de repenser le problème et d'explorer de nouvelles pistes pour estimer les tables de traduction de mots et de séquences de mots, totalement différentes des méthodes état-de-l'art. J'ai proposé une approche originale basée sur le concept de triggers inter-langues qui ne nécessite aucun alignement des mots au sein des corpus parallèles. Les triggers inter-langues permettent de mettre en évidence des unités fortement corrélés en se basant sur l'Information Mutuelle. Dans notre cas les unités sont des séquences de mots sources et cibles. L'idée derrière ce concept est que si une séquence de mots sources est fortement corrélée à une séquence de mots cibles en termes d'IM, alors nous pouvons supposer que la présence de la première dans une phrase source déclenchera la présence de la seconde dans sa traduction et vice versa. J'ai proposé d'utiliser les triggers inter-langues sur les corpus parallèles dans le but de trouver les traductions possibles de séquences de mots et ainsi constituer une table de traduction. L'Information Mutuelle est une mesure de co-occurence qui se calcule simplement en un seul passage sur le corpus parallèle. Pour sélectionner les triggers interlangues, nous supposons que deux séquences sources et cibles co-occurent si elles apparaissent dans une même paire de phrases du corpus parallèle. De ce fait, ma méthode ne requiert qu'un alignement au niveau des phrases et non au niveau des mots au sein du corpus parallèle. L'utilisation des triggers inter-langues pour estimer une table de traduction rend mon approche moins complexe mais tout aussi efficace que les approches existantes. Dans un contexte de traduction mot-à-mot, la table de traduction obtenue grâce aux triggers inter-langues conduit à des traductions automatiques de meilleur qualité, en termes de score BLEU, que celles produites avec une table de traduction de mots estimée selon le modèle 3 d'IBM. Dans un contexte de traduction par groupe de mots, la table de traduction basée sur les triggers inter-langues amènent à des traductions automatiques dont le score BLEU est supérieur à 34 et proche de celui des traductions automatiques produites par une table de traduction de séquences estimées à partir de l'alignement des mots suivant les approches état-de-l'art. Mots-clés: Traduction Automatique Statistique, Triggers Inter-langues, Traduction Automatique à base de séquences

Ces travaux se placent dans le cadre général de l'assistance au conducteur et plus particulièrement de la sécurité. L'objectif est ici de surveiller l'environnement d'un véhicule grâce à un capteur télémétrique à balayage et d'informer le conducteur de situations potentiellement dangereuses. Ce dispositif permet alors d'envisager une manoeuvre d'évitement ou d'atténuation de collision. Deux points particuliers ont retenu notre attention : la détection d'objets qui occupe une place privilégiée car elle conditionne directement les performances globales de la méthode, et le processus d'association/suivi qui doit permettre d'associer efficacement les mesures disponibles à chaque objet suivi. Les données télémétriques utilisées nécessitent de passer par une étape de détection afin d'estimer le nombre d'objets présents dans la scène et leur distance au capteur, en procédant à une agrégation des mesures liées au même objet. Nous proposons en particulier dans ce mémoire une méthode de détection d'objets qui exploite non seulement la nature des mesures disponibles mais également les caractéristiques géométriques particulières liées au contexte applicatif. L'approche retenue pour l'étape d'association repose sur les méthodes d'association probabiliste de données qui permettent notamment de considérer le fait qu'une mesure disponible puisse ne pas être liée à un objet, en exploitant donc directement les notions de probabilité de détection et de fausse alarme. Ces probabilités, et notamment la probabilité de détection, demeurent non seulement fortement liées au détecteur, mais également au contexte de la scène : contexte capteur/objet et contexte objet/objet. Pour pouvoir intégrer ces informations globales de contexte, nous proposons une méthode d'association-suivi basée sur les réseaux bayésiens qui autorise l'intégration de paramètres liés aux caractéristiques des objets et du capteur dans la détermination de la probabilité de détection.

Cette thèse de doctorat présente la détermination théorique et numérique (Monte Carlo) du diagramme de phase du système classique antiferromagnétique de Heisenberg sur réseau triangulaire (HAFT) et de ses variantes anisotropes. Sous champ HAFT présente une intri- cation non triviale des symétries discrète Z3 et continue S1. Elles sont successivement brisées (discrète puis continue) selon des modalités différentes à champ fort et modéré : dans ce cas-là l'ordre a lieu selon la direction transverse ; dans ce cas-ci une phase colinéaire intermédiaire est stabilisée avant la phase à 120 degrés. Du fait du comportement à champ nul les lignes de transitions se terminent à (T , h) = (0, 0). L'anisotropie mono-ionique est ici considérée. HAFT avec anisotropie d'axe facile pour une anisotropie modérée, 0 < d

Cette thèse est consacrée à l'étude d'identités qu'on observe à l'interface entre le domaine des modèles intégrables en physique statistique et la combinatoire. L'histoire a commencé quand Mills, Robbins et Rumsey étudiaient des Matrices à Signes Alternants (ASM). En 1982, ils proposèrent une formule d'énumération. Pendant qu'ils cherchaient une preuve de cette formule ils découvrirent l'existence d'autres objets comptés par la même formule : les Partitions Planes Totalement Symétriques Auto-Complémentaires (TSSCPP). C'est seulement quelques années plus tard que Zeilberger fut capable de prouver cette égalité, prouvant que les deux objets sont comptés par la même formule. La même année, Kuperberg utilise l'intégrabilité quantique (notion venue de la physique statistique) pour donner une preuve plus simple. En 2001, Razumov et Stroganov conjecturèrent une intrigante relation entre les ASM et l'état fondamental du modèle de spins XXZ (pour Delta=-1/2), lui aussi intégrable. Cette conjecture a été démontrée en 2010 par Cantini et Sportiello. L'objectif principal de ce manuscrit est de comprendre le rôle de l'intégrabilité dans cette histoire, notamment le rôle joué par l'équation de Knizhnik-Zamolodchikov quantique. Grâce à cette équation nous avons été capables de démontrer plusieurs conjectures combinatoires, dont une version raffinée de l'équalité entre le nombre des TSSCPP et des ASM proposée en 1986 par Mills, Robbins et Rumsey et certains propriétés des composantes du vecteur fondamental du modèle XXZ. Est présentée aussi une série de nouvelles conjectures concernant l'état fondamental.