Ce travail a pour cadre la phase 2 de l'expérience D0, l'un des deux détecteurs de l'accélérateur du TeVatron au laboratoire Fermi (près de Chicago, U.S.A.). Cette thèse est consacrée à la préparation du Run II ainsi qu'à l'analyse des premières données (jusqu'au 1er juin 2002), dans le canal di-électrons de même signe + jets, dans l'hypothèse de la théorie de la Supersymétrieie avec production de paires puis désintégration des particules supersymétriques en R-parité violée par le couplage lambda'_122.<br> Le premier chapitre présente le fonctionnement du TeVatron et du détecteur D0. Le deuxième chapitre traite de la mesure de la pureté de l'argon liquide du calorimètre de D0. Le troisième chapitre introduit la théorie de la Supersymétrie (SUSY). Le quatrième chapitre détaille un travail sur les générateurs Monte-Carlo et en particulier sur Susygen et présente les courbes d'exclusion attendues au Run II dans le canal considéré. Enfin, le dernier chapitre traite de l'analyse des premières données du Run II, représentant environ 9.7 +- 1.4 pb-1 de luminosité intégrée.

Les Escherichia coli entérohémorragiques (EHEC) sont responsables de toxi–infections alimentaires conduisant à des colites hémorragiques pouvant se compliquer d'un syndrome hémolytique et urémique. Le facteur majeur de pathogénicité est la production de Shiga-toxines (Stx), dont la toxine Stx2. Nous avons étudié la production de toxine Stx2 in vitro par des souches STEC provenant de diverses origines (bovine ou clinique), appartenant à divers séropathotypes, et codant pour différents variants Stx2. Nous avons montré que les souches O157:H7 les plus pathogènes possèdent le variant stx2 et produisent de fortes quantité de Stx2 en conditions basales comme en présence d'un inducteur du système SOS. Les souches non-O157 présentant ces caractéristiques pourraient représenter un risque pour la santé humaine. Nous avons ensuite étudié l'effet de molécules présentes dans le tube digestif sur la synthèse de Stx2 par E. coli O157:H7. Les auto-inducteurs AI-2 et AI-3 du quorum sensing, produits par le microbiote intestinal, n'influencent pas la synthèse de Stx2, non plus que l'hormone intestinale norépinéphrine. Cependant, la protéine régulatrice QseA impliquée dans une voie de signalisation par le quorum sensing serait un activateur transcriptionnel de stx2. Enfin, nous avons étudié la production de Stx2 par la souche EHEC O157:H7 EDL 933 dans un milieu se rapprochant le plus possible de celui rencontré in vivo par les EHEC, en particulier grâce à un modèle de rats associés au microbiote intestinal humain. Nous avons ainsi montré que le microbiote humain inhibe la transcription de stx2 par l'inhibition de la transcription de recA même lors de l'induction du système SOS, et que cette inhibition peut être en partie attribuée à l'espèce Bacteroides thetaiotaomicron.

La logique linéaire fait désormais partie des outils standards en théorie de la démonstration et, de manière plus générale, dans l'étude de la correspondance de Curry-Howard. Nous présentons ici trois directions importantes d'application de méthodes issues de la logique linéaire : - la théorie de la démonstration de la logique classique et ses aspects calculatoires via notamment la sémantique des jeux ; - la complexité implicite à travers les modèles dénotationnels des logiques linéaires à complexité bornée ; - la théorie de la concurrence et ses fondements logiques grâce aux ingrédients apportés par la logique linéaire différentielle. Les approches linéaires offrent ainsi un cadre commun pour l'étude de différents aspects logiques du calcul.

Piles have been used since prehistoric times in areas with weak subsurface conditions either to reinforce existing ground, create new ground for habitation or trade, and support bridges and buildings. Originally piles were composed of timber and driven with drop hammers using very heavy ram weights. As technology improved so did the materials that piles are composed of as well as the equipment itself. Currently, piling is a multibillion dollar a year industry, thus the need to develop more accurate prediction methods can potentially represent a significant savings in cost, material, and man power. Multiple predictive methods have been developed to estimate developed pile capacity. These range from static theoretical formulae based on geotechnical investigation prior to pile driving even occurring using specific pile and hammer types to semi empirically based dynamic formulae used during actual driving operations to more recently developed computer modeling and signal matching programs which are calibrated with site condition during initial geotechnical investigations or test piling to full scale static load tests where piles are loaded to some predetermined value or failure condition. In this thesis, dynamic formulae are used to predict pile capacity from those installed by drop and diesel hammers and are compared to the results from pile load tests, which are taken as the true measure of developed bearing capacity. The dynamic formulae examined are the Engineering News Record (ENR), Gates, Federal Highway Administration (FHWA) modified Gates, Hiley, and Ontario Ministry of Transportation (MTO) modified Hiley formulae. Methods of investigation include calculating pile capacities from the formulae as they are, omitting the factors of safety, revising the formulae with averaged coefficients and conducting multi regression analysis to solve for one or two coefficients simultaneously and revising the dynamic formula to determine if more accurate bearing capacity prediction are possible. To objectively determine which formulae provide the most accurate bearing capacities, the predicted capacities will be compared to results obtained from static pile load tests and simple statistics on the resulting data set will be calculated including regression analysis, standard deviations, coefficients of variation, coefficients of determination, and correlation values.

Cette thèse s´inscrit dans la problématique de la reconstruction de surfaces à partir de nuages de points. Les récentes avancées faites dans le domaine de l´acquisition de formes 3D à l´aide de scanners donnent lieu à de nouveaux besoins en termes d´algorithmes de reconstruction. Il faut être capable de traiter de grands nuages de points bruités tout en donnant une représentation compacte de la surface reconstruite. La surface est reconstruite comme le niveau zéro d´une fonction. Représenter une surface implicitement en utilisant des fonctions de base radiales (Radial Basis Functions) est devenu une approche standard ces dix dernières années. Une problématique intéressante est la réduction du nombre de fonctions de base pour obtenir une représentation la plus compacte possible et réduire les temps d´évaluation. Réduire le nombre de fonctions de base revient à réduire le nombre de points (centres) sur lesquels elles sont centrées. L´objectif que l´on s´est fixé consiste à sélectionner un "petit" ensemble de centres, les plus pertinents possible. Pour réduire le nombre de centres tout en gardant un maximum d´information, nous nous sommes affranchis de la correspondance entre centres des fonctions et points de donnée, qui est imposée dans la quasi-totalité des approches RBF. Au contraire, nous avons décidé de placer les centres sur l´axe médian de l´ensemble des points de donnée et de montrer que ce choix était approprié. Pour cela, nous avons utilisé les outils donnés par la géométrie algorithmique et approximé l´axe médian par un sous-ensemble des sommets du diagramme de Voronoi des points de donnée. Nous avons aussi proposé deux approches diférentes qui échantillonnent de manière appropriée l´axe médian pour adapter le niveau de détail de la surface reconstruite au budget de centres alloué par l´utilisateur.

A l'occasion du onzième anniversaire de la découverte de la première planète extrasolaire autour d'une étoile de type solaire, au moment où environ 200 planètes ont été découvertes hors de notre propre système, de passionnantes questions à propos de leur formation, leur évolution et pour certaines d'entre elles, leur aptitude à abriter la vie, sont plus que jamais posées. Ces interrogations sur nos origines ont déclenché l'émergence de nouveaux concepts technologiques et une très forte volonté pour pousser les technologies existantes à leur limite, tout cela pour répondre au fantastique défi observationnel posé. ELTs, interféromètres kilométriques au sol ou spatiaux, instruments de nouvelle génération: l'imagerie directe de systèmes extrasolaires et leur caractérisation est sans conteste l'un des thèmes observationnels les plus exigeants, tout cela à cause de l'énorme contraste et de la minuscule séparation angulaire entre les étoiles et leurs environements.<br />Cette thèse est dédiée à l'étude d'une classe de micro-composants basés sur la technologie des réseaux sublambda. Nous démontrons l'utilité des ces méta-matériaux intégrés et nano-structurés dans le domaine de l'imagerie à très grande dynamique. Les réseaux sub-lambda offrent en effet des solutions nouvelles et originales aux exigeantes contraintes induites par les objectifs scientifiques ambitieux de l'astrophysique à haut contraste. Après avoir montré l'utilité pratique des outils coronagraphiques modernes dans l'observation de systèmes planétaires en formation, nous présentons diverses solutions pour améliorer la capacité de détection de systèmes coronographiques existants, ainsi que de nouvelles totalement intégrées et susceptibles de surclasser les systèmes traditionnels au sein des instruments de nouvelle génération. Ensuite, toujours en profitant de la flexibilité optique des réseaux sublambda, nous proposons un nouveau concept de déphaseur achromatique pour l'interférométrie en frange noire, qui devra être construit et testé dans le cadre des activités de R&D censées ouvrir la voie à d'ambitieuses missions d'interféromètres spatiaux dédiés à la détection et la caractérisation de planètes semblables à la Terre.

Grâce au développement des technologies de métagénomique au cours des dix dernières années, il a été constaté que les micro-organismes représentent la plus grande ressource de diversité métabolique et génétique sur Terre. En effet, un gramme de sol contient 109 cellules bactériennes et 103-104 différentes espèces bactériennes. Certaines sont en mesure de réaliser des réactions enzymatiques conduisant à la dégradation complète de certains polluants toxiques pour l'environnement comme les composés organiques tels que la quinoléine. Cependant, l'immense réservoir de molécules et enzymes microbiennes n'a pas encore été exploité, car plus de 99% d'entre elles ne sont, pour l'instant, pas cultivables in vitro. Mon travail s'inscrit dans le cadre d'une collaboration entre l'Université SJTU (Shanghai Jiao Tong Université en Chine) et le groupe de G. M.E (Génomique Microbienne Environmentale) du laboratoire Ampère à l'Ecole Centrale de Lyon. Nos partenaires à l'Université SJTU ont construit un réacteur de dénitrification à l'échelle du laboratoire capable de dégrader la quinoléine en retirant la demande chimique en oxygène. Un nouvel outil appelé "Genefish" a été developpé dans notre laboratoire comme une méthode alternative de la métagénomique pour aider à la découverte de nouveaux gènes d'intérêt industriel ou environnemental. A la suite des premiers travaux réalisés dans notre laboratoire, ma thèse présentée ici comporte deux parties.Dans la première partie de ce travail, nous avons étudié le potentiel de dégradation de la quinoléine présente dans les bactéries d'un sol de référence largement étudié au laboratoire. Pour cela nous avons mis en place des expériences de microcosme qui visent à révéler la diversité potentielle des bactéries responsables de la dégradation de la quinoléine. Des analyses comparatives des profils RISA (Ribosomal Intergenic Spacer analysis) nous ont permis de mettre en évidence des changements dans la structure de la communauté des bactéries du sol incubé en conditions aérobie et anaérobie en présence de quinoléine. La dégradation de la quinoléine a été confirmée par technique de GC/MS (Gas Chromatography-Mass Spectrometry). Les travaux futurs seront de vérifier la communauté de bactéries responsables de la dégradation de quinoléine en utilisant la technique de NGS (Next Generation Sequencing).Le deuxième objectif de ma thèse a été d'utiliser Genefish dont la finalité est de capturer des gènes ciblés (le gène bcr qui serait responsable de la degradation de quinoléine dans le réacteur de nos partenaires) dans l'ADN métagénomique extrait du sol. Genefish consiste à élaborer une souche d'E.coli incluant un plasmide de capture permettant de pêcher les gènes recherchés dans un échantillon d'ADN metagénomique par recombinaison homologue. Le plasmide de capture comprend une cassette de deux gènes toxiques pour la souche qui activés par induction chimique vont permettre la sélection positive directe des clones recombinants, et deux sites multiples de clonage dans lesquels sont insérées les zones de recombinaison qui vont jouer le rôle d'hameçons. Nous avons testé la capacité de Genefish à capturer des produits PCR du gène bcr, l'efficacité de recombinaison reste faible à cause de la persistance de plusieurs copies du plasmide suicide dans la cellule après l' évenement de recombinaison. Par conséquent, trois stratégies ont été essayées pour améliorer l'efficacité: la co-électroporation, la ségrégation de plasmide et la construction de plasmide suicide en mono-copie. Finalement, la stratégie de la ségrégation plasmidique fonctionne mais l'efficacité de recombinaison est encore trop faible peut-être due à l'incertitude des modèles de recombinaison homologue. Les travaux futurs se concentreront sur l'amélioration des fréquences de recombinaison par transfert de fragments du plasmide de capture dans le chromosome de la souche Genefish.

We have released maps and data for five years of observation of the cosmic microwave background with the Wilkinson Microwave Anisotropy Probe (WMAP) and I will review the main results in this talk. A simple 6 parameter cosmological model continues to be an excellent fit to the CMB data and to our data in conjunction with other astrophysical measurements. In particular a running spectral index is not supported by the data, and constraints that the Universe is spatially flat have increased in precision. Increased sensitivity and improvements in our understanding of the instrumental beam shape have allowed us to measure for the first time a cosmic neutrino background. Neutrinos de-coupled from other matter earlier than photons did. While they are expected to have a 2 Kelvin thermal distribution today, they comprised 10% of the energy density of the Universe at the epoch of photon de-coupling. The data also allow tighter constraints on the shape of the inflationary potential via the amplitude of a gravitational wave background new constraints on features of cosmic axions. Recorded at TRIUMF on Thursday April 17, 2008.

Cette thèse porte sur l'adaptation de la réalisabilité et la paramétricité au cas des types dépendants dans le cadre des Systèmes de Types Purs. Nous décrivons une méthode systématique pour construire une logique à partir d'un langage de programmation, tous deux décrits comme des systèmes de types purs. Cette logique fournit des formules pour exprimer des propriétés des programmes et elle offre un cadre formel adéquat pour développer une théorie de la réalisabilité au sein de laquelle les réalisateurs des formules sont exactement les programmes du langage de départ. Notre cadre permet alors de considérer les théorèmes de représentation pour le système T de Gödel et le système F de Girard comme deux instances d'un théorème plus général.Puis, nous expliquons comment les relations logiques de la théorie de la paramétricité peuvent s'exprimer en terme de réalisabilité, ce qui montre que la logique engendrée fournit un cadre adéquat pour développer une théorie de la paramétricité du langage de départ. Pour finir, nous montrons comment cette théorie de la paramétricité peut-être adaptée au système sous-jacent à l'assistant de preuve Coq et nous donnons un exemple d'application original de la paramétricité à la formalisation des mathématiques.

No description available.