Tri :
Date
Titre
Auteur
|
|
Informatique
/ 10-12-2019
Dang Alexandre
Voir le résumé
Voir le résumé
Cette thèse porte sur la sécurité des programmes et particulièrement en utilisant la compilation pour parvenir à ses fins. La compilation correspond à la traduction des programmes sources écrits par des humains vers du code machine lisible par nos systèmes. Nous explorons les deux manières possible de faire de la compilation sécurisée : la sécurisation et la préservation. Premièrement, nous avons développé CompCertSFI, un compilateur qui sécurise des modules en les isolant dans des zones mémoires restreintes appelées bac à sable. Ces modules sont ensuite incapables d'accéder à des zones mémoires hors de leur bac à sable, ce qui empêche un module malveillant de corrompre d'autres entités du système. Sur le sujet de la préservation, nous avons défini une notion de Préservation de Flot d'Information qui s'applique aux transformations de programme. Cette propriété, lorsqu'elle est appliquée, permet de s'assurer qu'un programme ne devienne moins sécurité durant sa compilation. Notre propriété de préservation est spécifiquement conçus pour préserver les protections contre les attaques de type canaux cachés. Cette nouvelle catégorie d'attaque utilise des médiums physique comme le temps ou la consommation d'énergie qui ne sont pas pris en compte par les compilateurs actuels.
|
|
Physique
/ 10-12-2019
Balducci Lodovico
Voir le résumé
Voir le résumé
Récemment, la mise au point de techniques de radiographie à résolution temporelle a ajouté la dimension temporelle à la recherche dans le domaine de la biologie structurale et celles-ci se sont avérées être d'excellents outils pour suivre l'évolution structurale des protéines lors d'une réaction. En particulier, les sources de rayons X de 4ème génération (appelées lasers à électrons libres et à rayons X), avec des impulsions de l'ordre de la femtoseconde et des fluences extrêmement élevées, sont capables de sonder des ensembles de molécules essentiellement gelées dans le temps dans des conditions physiologiques. Après un aperçu des études publiées dans la littérature scientifiques, une introduction de base des techniques utilisées est présentée, accompagnée d'une description du dispositif expérimental et du flux de réduction des données. Les deux derniers chapitres sont consacrés à la présentation des résultats obtenus au cours de deux séries d'expériences réalisées au LCLS (SLAC, Menlo Park, CA, USA), pour étudier les changements structuraux des protéines dans la réaction de photodissociation prototypique du monoxyde de carbone chez des hemoprotéines. Au cours de la première expérience, la modification structurelle globale de trois hemoprotéines a été sondée par une technique de diffusion à résolution temporelle, afin d'observer d'éventuelles différences dans ce que l'on appelle le ''protein quake'' lié à la structure de la protéine. Dans la deuxième expérience, le site actif de la myoglobine a été sondé au cours de la même réaction par absorption de rayons X. Les spectres XANES à résolution temporelle ont été comparés à des calculs théoriques, dans le cadre de la théorie de la diffusion multiple, afin d'obtenir une image détaillée de la dynamique ultrarapide. Un bref projet secondaire portait à mesurer précisément des modèles de diffusion statique de la carboxyhémoglobine, afin de définir ses structures d'équilibre multiple par comparaison avec des combinaisons linéaires de structures cristallographiques connues. En conclusion, dans cette thèse de doctorat, nous avons essayé d'apporter quelques petits éléments dans la compréhension de la dynamique ultrarapide des protéines, en appliquant à la fois des méthodes d'analyse standard (Guinier), mais aussi des méthodes presque inexplorées (calculs de diffusion multiple sur des données à résolution temporelle). Selon le système et le niveau de détail requis, ces méthodes, appliquées ici aux à des systèmes modèles, peuvent être considérées d'excellents outils dans la recherche ultérieure sur des protéines plus complexes.
|
|
Informatique
/ 09-12-2019
Anapparakkal Arif Ali
Voir le résumé
Voir le résumé
Les évolutions de l'architecture des processeurs visent à améliorer les performances des applications, mais les éditeurs de logiciels sont souvent limités au plus petit dénominateur commun afin de maintenir la compatibilité avec la diversité du matériel de leurs clients. Avec des informations plus détaillées, un compilateur peut générer un code plus efficace. Même si le modèle de processeur est connu, les fabricants ne divulguent pas de nombreux détails pour des raisons de confidentialité. En outre, l'efficacité de nombreuses techniques d'optimisation peut varier en fonction des entrées du programme. Cette thèse introduit deux outils, FITTCHOOSER et OFSPER, qui effectuent des optimisations au niveau des fonctions les mieux adaptées à l'environne-ment d'exécution et aux données en cours. FITTCHOOSER explore de manière dynamique les spécialisations des fonctions les plus gourmandes en ressources d'un programme pour choisir la version la plus adaptée – non seulement à l'environnement d'exécution en cours,mais également à l'exécution en cours du programme. OFSPER applique une spécialisation de fonction dynamique, c'est-à-dire la spécialisation de fonctions dans une application sur un processus en cours d'exécution. Cette technique capture les valeurs réelles des arguments lors de l'exécution du programme et, si rentables, crée des versions spécialisées et les inclut au moment de l'exécution.
|
|
Sciences odontologiques
/ 09-12-2019
Boyer Émile
Voir le résumé
Voir le résumé
Dans la cavité buccale, la santé parodontale repose sur un équilibre entre la communauté bactérienne sous-gingivale et la fonction immunitaire de l’hôte, toutes deux compatibles avec un état sain. Le modèle pathophysiologique actuel de la parodontite chronique montre un cercle vicieux entre un microbiote dysbiotique et une dérégulation de la réponse inflammatoire. Alors qu’un nombre croissant d’associations entre maladie parodontale et pathologie systémique sont rapportées, ce travail décrit comment une maladie génétique de surcharge en fer — l’hémochromatose héréditaire liée au gène HFE — est susceptible d’influencer l’équilibre hôte–microbiote au sein du sillon sous-gingival. Les études transversales, clinique et microbiologique, que nous avons menées, ont ainsi montré un impact du coefficient de saturation de la transferrine sur la sévérité de la parodontite, probablement en lien avec la sélection d’espèces pathogènes pour le parodonte. Cependant, l’analyse morphométrique du modèle murin de l’hémochromatose héréditaire Hfe(–/–) a révélé des altérations de la micro-architecture de l’os alvéolaire mandibulaire, suggérant un dérèglement du remodelage osseux. Un croisement entre deux modèles animaux, parodontite induite par Porphyromonas gingivalis et Hfe(–/–), a donc été mis en œuvre, afin d’explorer les mécanismes de cette association entre excès de fer, dysbiose bactérienne et parodontite.
|
|
Chirurgie dentaire
/ 09-12-2019
Jouzel Anthony
Voir le résumé
Voir le résumé
Nous sommes à une époque où le patient ne se contente plus d’être passif et de laisser faire le praticien. Le praticien n’est plus seul maitre des décisions, il doit partager son savoir avec le patient et l’aider à faire ses choix. En parodontologie c’est d’autant plus vrai que la réussite du traitement ne dépend pas seulement des compétences du praticien, mais aussi de l’implication du patient, de son désir de guérir. Or la mise en oeuvre d’une communication efficace entre un patient sourd et un praticien entendant est compliquée à mettre en place. Par ailleurs, on retrouve 80% d’illettrisme dans la communauté sourde et, bien souvent, lorsque l’écrit est maitrisé, il ne l’est que partiellement. Ce document a donc pour but de permettre aux patients et praticiens de communiquer autour du domaine de la parodontologie. Il s’agit de fiches basées sur le visuel et qui prennent en compte les spécificités des personnes sourdes. Il fait suite à d’autres documents du même type dans d’autres domaines de l’odontologie. L’objectif final est d’améliorer la relation patient/praticien et l’autonomie des personnes sourdes dans le domaine de la santé.
|
|
Automatique, productique et robotique
/ 09-12-2019
Delamare Quentin
Voir le résumé
Voir le résumé
Le champ de la robotique aérienne pour l’interaction physique permet aujourd’hui à un robot aérien d’appliquer un effort maîtrisé sur un objet ou sur l’environnement alors qu’il vole. En s’inspirant de l’utilisation des contacts faite en robotique humanoïde, nous proposons dans cette thèse de s’appuyer sur ces approches pour dépasser l’idée que l’environnement est une contrainte, en exploitant le contact physique avec celui-ci dans le but de réaliser de la locomotion aérienne. Cette idée est étudiée et démontrée au travers de simulations et expérimentations d’une nouvelle plateforme robotique aérienne consistant en un quadrirotor équipé d’un bras robotique a 1 degré de liberté. D’autre part, nous avons aussi étudié le problème de la génération de trajectoires dont la sensibilité aux paramètres du modèle est minimale. Ce problème est généralisé à n’importe quel robot, et se révèle particulièrement approprié dans le cas du quadrirotor du fait de l’incertitude importante concernant ses paramètres inertiels et d’actionnement. Pour traiter ce problème, nous définissons et utilisons la ''sensibilité de l’état aux paramètres'' afin de générer des trajectoires dont la sensibilité aux paramètres est minimale, garantissant une forte robustesse.
|
|
Science politique
/ 06-12-2019
Rouxel Pierre
Voir le résumé
Voir le résumé
Cette thèse prend pour objet les recompositions du syndicalisme dans des espaces industriels bouleversés en profondeur par les restructurations. Pour ce faire, nous effectuons une comparaison entre la France, souvent évoquée pour son syndicalisme « en crise », et l’Argentine, marquée au contraire par un regain d'activité de celui-ci depuis les années 2000, en nous appuyant sur une ethnographie de quatre collectifs syndicaux usiniers. À rebours d'une image d’Épinal actant leur déclin inéluctable, la thèse examine les formes de résiliences de ces collectifs, en s’employant à saisir leur action sur le lieu de travail comme en dehors. Elle apporte ainsi des résultats originaux à la littérature sur le syndicalisme dans le contexte d’une économie globalisée. Elle montre les modifications des inscriptions spatiales de collectifs syndicaux évoluant dans des environnements usiniers transformés, s’affranchissant de considérations générales sur le déclin des bastions industriels du mouvement syndical. Ce travail met également en évidence les recompositions de l’engagement syndical à l’usine et discute la thèse d’une démonétisation des ressources localisées. Enfin, il s’emploie à décloisonner l’objet syndical et montre les logiques de déploiement des syndicalistes dans les réseaux des organisations syndicales, auprès d’autres délégués d’une même entreprise ou dans des mouvements sociaux. Ce faisant, la thèse invite à penser l’action syndicale dans des entreprises globales comme le produit de l’imbrication entre différents espaces et échelles d’action. La démarche comparative conforte cette perspective et permet d’identifier des mécanismes analogues du point de vue des recompositions syndicales, tout en tenant compte des réalités idiosyncrasiques propres à chaque contexte national. La thèse plaide ainsi pour un recours accru à un comparatisme « contrôlé » pour appréhender les manières d’agir syndicales dans le capitalisme global.
|
|
Droit
/ 06-12-2019
Guzman Aguilera Reina Patricia
Voir le résumé
Voir le résumé
En Colombie, plusieurs générations de paysans des communautés autochtones, des groupes indigènes et des organisations locales préservent leurs pratiques de sélection, conservation, reproduction et échange de semences traditionnelles. Ces pratiques ont permis d’assurer leur alimentation et de contribuer au maintien de la biodiversité. Le rôle des paysans dans la préservation de la biodiversité a été reconnu depuis 1996 au sein de la FAO. Lors de la Conférence des Parties à la Convention de Diversité Biologique de 2018, l’importance de promouvoir la conservation in situ de la biodiversité dans les centres d'origine et de diversité génétique a été soulignée. Ainsi, la protection des semences traditionnelles comme outil de conservation de la biodiversité cultivée devrait être prise en considération par ladite Convention. Le constat de cette recherche doctorale sur le terrain montre qu’une réelle protection de la biodiversité à travers la préservation des semences traditionnelles existe, ce qui contraste avec des obstacles économiques, juridiques et institutionnelles imposées par le modèle agricole. Face au danger de la perte de semences traditionnelles, il importe d’adapter le cadre juridique et d’encourager les pratiques pour leur maintien. En ce sens, l’exemple colombien permet d’évaluer les conditions nécessaires à la mise en œuvre d’une protection juridique de semences traditionnelles pour assurer le maintien de l’agrobiodiversité. Les particularités de la richesse biologique et culturelle colombiennes, exigent une protection intégrée de l’agrobiodiversité dans une conception bioculturelle en faveur des communautés autochtones et locales et de l’humanité entière. Le cas colombien illustre toutes les questions, les enjeux et les conséquences de la difficulté de protection d’un mode de production agricole durable locale face au modèle agricole industrielle des marchés internationaux.
|
|
Chimie moléculaire et macromoléculaire
/ 06-12-2019
Vaugenot Jeane
Voir le résumé
Voir le résumé
L’évolution constante des vaccins a mené les chercheurs à se concentrer sur l’injection de fragments antigéniques toujours plus petits. Des immunoadjuvants sont ajoutés aux formulations dans le but d’augmenter l’intensité et la durée de la réponse immunitaire. Les glycolipides sont des composés qui possèdent des propriétés immunoadjuvantes puisqu’ils peuvent transporter des agents thérapeutiques et /ou interagir avec les cellules du système immunitaire. Les lipides d’Archaea sont connus pour leur grande stabilité et leur capacité à former des archaeosomes qui activent les réponses immunitaires. Les sucres, notamment les mannopyranosides et les galactofuranosides ont la capacité de cibler et d’interagir avec les récepteurs présents sur les cellules dendritiques (récepteur à mannose, DC-SIGN). Ces récepteurs étant multivalents, les glycolipides possédant plusieurs unités sucres possèdent une affinité supérieure aux composés monovalents. L’objectif de ce projet de thèse était de synthétiser des molécules aisément modulables qui combinent les propriétés des archaéolipides, des sucres et de la multiprésentation. Trois composés finaux ont ainsi pu être synthétisés et sont actuellement soumis à des tests biologiques. En parallèle, ce travail a également permis d’étudier la régiosélectivité de couplages glycosidiques en présence d’un atome de fluor.
|
|
Pharmacie
/ 06-12-2019
Blandin Camille
Voir le résumé
Voir le résumé
L’objectif de cette thèse est de présenter une méthodologie de management du risque qualité développée pour l’industrie pharmaceutique. Le risque qualité est décrit dans les Bonnes Pratiques de Fabrication et sa mise en place relève donc d’une obligation réglementaire. Cette exigence, pour être efficacement menée et avoir un intérêt pour l’entreprise qui la met en place, doit être appréhendée comme un outil d’amélioration continue. Le management du risque qualité permettra par exemple à l’entreprise de mieux connaître ses processus et identifier ces points faibles pour pouvoir anticiper les modes de défaillance qui pourraient survenir. Cette méthodologie a pu être mise en place au sein d’un laboratoire de contrôle qualité d’un site de production de médicaments vétérinaires. Ce travail sera présenté à titre d’exemple.
|
|