Tri :
Date
Titre
Auteur
|
|
Informatique
/ 18-12-2018
Roman Pierre-Louis
Voir le résumé
Voir le résumé
Les systèmes décentralisés sont par nature extensibles mais sont également difficiles à coordonner en raison de leur faible couplage. La réplication de données dans ces systèmes géo-répartis est donc un défi inhérent à leur structure. Les deux contributions de cette thèse exploitent l'hétérogénéité des besoins des utilisateurs et permettent une qualité de service personnalisable pour la réplication de données dans les systèmes décentralisés. Notre première contribution Gossip Primary-Secondary étend le critère de cohérence Update consistency Primary-Secondary afin d'offrir des garanties différenciées de cohérence et de latence de messages pour la réplication de données à grande échelle. Notre seconde contribution Dietcoin enrichit Bitcoin avec des nœuds diet qui peuvent (i) vérifier la validité de sous-chaînes de blocs en évitant le coût exorbitant de la vérification initiale et (ii) choisir leur propres garanties de sécurité et de consommation de ressources.
|
|
Signal, Image, Vision
/ 17-12-2018
Largent Axel
Voir le résumé
Voir le résumé
En radiothérapie externe, l'imagerie par rayons X (CT-scan et CBCT) est l'imagerie de référence pour la planification et la délivrance du traitement. Le CT-scan permet l'accès aux densités électroniques des tissus, requises pour le calcul de dose. Le CBCT permet le positionnement du patient, le tracking et le gating de la tumeur. Cependant, l'imagerie par rayons X présente un faible contraste entre les tissus mous et est irradiante. Grâce à un meilleur contraste, l'IRM pourrait améliorer le positionnement du patient, la délinéation des volumes d'intérêt, et le ciblage de la dose. L'IRM présente ainsi un intérêt majeur pour la planification de radiothérapie. L'objectif de cette thèse a été premièrement d'optimiser un protocole d'acquisition d'images IRM de la sphère ORL, avec patient en position de traitement. Le second objectif a été de réaliser une dosimétrie à partir de l'IRM. Cependant, à contrario du CT-scan, l'IRM ne fournit pas la densité électronique des tissus. Pour palier cela, une méthode patch-based (PBM) et une méthode de deep learning (DLM) ont été utilisées pour générer des pseudo-CT, et calculer la dose. La DLM fut un réseau antagoniste génératif et la PBM fut développée en utilisant une recherche de patchs similaires avec des descripteurs d'images. Ces méthodes ont été évaluées et comparées à une méthode atlas (ABM) et une méthode d'assignation de densité (BDM) à partir de critères de jugement images et dosimétriques. La DLM et la PBM apparurent comme les méthodes les plus précises. La DLM fut la méthode la plus rapide et robuste aux variations anatomiques.
|
|
Photonique
/ 17-12-2018
Joly Alexandre
Voir le résumé
Voir le résumé
Dans le cadre de cette thèse, nous présentons l’optimisation du transfert du spin électronique à la polarisation d’un laser à semi-conducteur (SC) à émission par la surface en cavité externe (VECSEL). Un spin-laser pourrait constituer une rupture technologique dans le domaine des communications en répondant à l’augmentation du débit de données tout en apportant des fonctionnalités supplémentaires (cryptage de l’information…). Afin de développer un tel composant, deux approches complémentaires ont été explorées. La première a pour objectif d’appréhender les effets d’injection de spin dans un VECSEL, ainsi que comprendre les paramètres du laser, tels que la biréfringence de phase et le dichroïsme de gain linéaires, qui figent la polarisation à un état linéaire. En réduisant le dichroïsme d’un facteur 50 et en compensant la biréfringence résiduelle de la cavité jusqu’à 0,1 mrad (soit une diminution d’un facteur 40), une augmentation de l’ellipticité de 1° à 35° a été rendue possible. L’injection de porteurs polarisés en spin par pompage optique dans le milieu actif du laser compensé a permis d’obtenir un basculement de l’état de polarisation entre deux états elliptiques ( 35 ↔ +35°). La seconde approche concerne l’étude de l’injection de spin par pompage électrique, point clé du développement d’un dispositif compact. Pour cela, un injecteur ferromagnétique répondant aux contraintes du transport du spin électronique de l’électron vers le SC est inséré dans la cavité optique. Malgré l’utilisation d’une structure anti-résonante, qui permet de limiter l’absorption de l’injecteur intra-cavité, nous démontrons des effets d’électroluminescence dont le profil spatial est compatible avec une émission laser. Enfin, nous apportons les éléments permettant d’améliorer le procédé de fabrication du spin-laser dans l’optique d’obtenir un effet laser.
|
|
Pharmacie
/ 17-12-2018
De Kervasdoué Camille
Voir le résumé
Voir le résumé
Les statines sont des médicaments qui agissent en inhibant la biosynthèse du cholestérol. Ils sont indiqués dans la prévention des événements cardiovasculaires et de l’hypercholestérolémie et sont très largement prescrits en France et à travers le monde. Si les études cliniques permettent de détecter les principaux effets indésirables des médicaments, une surveillance post-commercialisation est indispensable pour garantir la sécurité d’emploi d’un médicament dans la population générale et détecter de nouveaux effets indésirables. Cette surveillance se traduit notamment par l’évaluation des rapports périodiques de sécurité déposés par les titulaires d’Autorisations de Mise sur le Marché (AMM), la mise en place d’études épidémiologiques, l’analyse de la littérature scientifique, la collecte et l’analyse de cas de pharmacovigilance. Ces cas sont regroupés dans des bases contenant l’ensemble des notifications spontanées d’évènements indésirables ou encore la détection de signaux de sécurité à l’aide. Récemment, un signal potentiel de dépressions a été identifié. Les connaissances concernant ce risque étant limitées et contradictoires, une investigation approfondie de ce signal par une analyse de disproportionnalité apparaît fondamentale. Cette thèse traite donc de l’évaluation des signaux de dépression liés à l’utilisation des statines après un état des lieux de leur utilisation ainsi qu’un point sur les dépressions en tant que pathologie et comme effet indésirable.
|
|
Informatique
/ 17-12-2018
Rokicki Simon
Voir le résumé
Voir le résumé
Cette thèse porte sur l’utilisation de techniques d’accélération matérielle pour la conception de processeurs basés sur l’optimisation dynamique de binaires. Dans ce type de machine, les instructions du programme exécuté par le processeur sont traduites et optimisées à la volée par un outil de compilation dynamique intégré au processeur. Ce procédé permet de mieux exploiter les ressources du processeur cible, mais est délicate à exploiter car le temps de cette recompilation impacte de manière très significative l’effet global de ces optimisations. Dans cette thèse, nous montrons que l’utilisation d’accélérateurs matériels pour certaines étapes clés de cette compilation (construction de la représentation intermédiaire, ordonnancement des instructions), permet de ramener le temps de compilation à des valeurs très faible (en moyenne 6 cycles par instruction, contre plusieurs centaines dans le cas d’une mise en œuvre classique). Nous avons également montré comment ces techniques peuvent être exploitées pour offrir de meilleurs compromis performance/consommation sur certains types de noyaux de calculs. La thèse à également débouché sur la mise à disposition de la communauté de recherche du compilateur développé.
|
|
Informatique
/ 17-12-2018
Ruas Olivier
Voir le résumé
Voir le résumé
La quantité incroyable de contenu disponible dans les services en ligne rend le contenu intéressant incroyablement difficile à trouver. La manière la plus emblématique d’aider les utilisateurs consiste à faire des recommandations. Le graphe des K-plus-proches-voisins (K-Nearest-Neighbours (KNN)) connecte chaque utilisateur aux k autres utilisateurs qui lui sont les plus similaires, étant donnée une fonction de similarité. Le temps de calcul d’un graphe KNN exact est prohibitif dans les services en ligne. Les approches existantes approximent l’ensemble de candidats pour chaque voisinage pour diminuer le temps de calcul. Dans cette thèse, nous poussons plus loin la notion d’approximation : nous approximons les données de chaque utilisateur, la similarité et la localité de données. L’approche obtenue est nettement plus rapide que toutes les autres.
|
|
Informatique
/ 17-12-2018
Audinot Maxime
Voir le résumé
Voir le résumé
En analyse de risques, les arbres d’attaque sont utilisés pour évaluer les menaces sur un système. Les méthodes formelles permettent leur analyse quantitative et leur synthèse, mais les propriétés exprimant la qualité des arbres d’attaque par rapport au système n’ont pas été formalisées. Dans ce document, nous définissons un nouveau cadre formel pour les arbres d’attaque prenant en compte un modèle opérationnel du système, et dotant les arbres d’une sémantique de chemins. Nous définissons les propriétés de correction des raffinements, et étudions leurs complexités. A partir d’une attaque optimale dans un modèle de système quantitatif, nous guidons la conception d’un arbre d’attaque, en indiquant ses feuilles qui contribuent à l’attaque optimale considérée.
|
|
Droit privé
/ 15-12-2018
Glais Emilien
Voir le résumé
Voir le résumé
Les méthodes et pouvoirs confiés aux administrations françaises de contrôle économique (DGCCRF et Autorité de la Concurrence) ont considérablement évolué depuis le début des années 2000. Sous de nombreux aspects, ces nouvelles prérogatives confiées aux autorités de contrôle suscitent des inquiétudes, alors que les sanctions financières infligées aux opérateurs économiques, en augmentation sensible et régulière, atteignent des niveaux sans précédent. Le fait est qu'en cherchant à rendre plus rapide et efficace l'action de contrôle et de régulation de ces administrations, le législateur a notamment accepté de leur accorder une plus grande autonomie, en particulier vis à vis des juges, dans l'interprétation des textes (eux-mêmes de plus en plus complexes) comme dans le prononcé des sanctions. Le transfert d'une part importante des dispositions des codes de commerce et de la consommation, d'un régime civil ou pénal, vers un régime purement administratif, constitue une illustration révélatrice de ce phénomène. Il en résulte une concentration de plus en plus marquée des pouvoirs d'instruction, de poursuite et de sanction entre les mains des autorités de contrôle. Cette réalité pose la question du respect, par les autorités et leurs agents, des droits fondamentaux reconnus depuis 1992 aux personnes morales, notamment du droit à un procès équitable (article 6.1 de la Convention EDH). L'objectif de cette thèse est ainsi de déterminer, après avoir dressé un état des lieux des garanties essentielles octroyées aux opérateurs économiques (personnes physiques ou morales), dans quelles mesures certains pouvoirs et procédures confiés aux autorités de régulation peuvent poser des difficultés au regard de ces droits fondamentaux. Des solutions sont alors proposées dans le but de favoriser un meilleur équilibre entre le renforcement de l'action publique et le respect des droits des opérateurs. Ces propositions sont notamment structurées en deux catégories principales: Tout d'abord les propositions de portée générale, prérequis visant à renforcer, " en amont ", la sécurité juridique des opérateurs ; Ensuite, les propositions spécifiques à chacune des procédures de l'Autorité de la Concurrence ou de la DGCCRF susceptibles de poser problèmes.
|
|
Médecine nucléaire et radiopharmaceutique
/ 14-12-2018
Palard Xavier
Voir le résumé
Voir le résumé
Problématique : Les paramètres fonctionnels extraits en Tomographie par Émission de Positons (TEP) à la 18F-Choline (FCH) et en Imagerie par Résonance Magnétique (IRM) apportent-ils une information supplémentaire par rapports aux informations déjà connues pour caractériser l’agressivité du tissu tumoral ? Objectifs : Notre travail avait pour objectifs tout d’abord (i) de mettre en évidence un éventuel lien entre les paramètres quantitatifs extraits par TEP à la FCH et et les paramètres clinicopathologiques dans le cancer de la prostate. Après cette étude préliminaire, pour quantifier au mieux l’influx de FCH par analyse dynamique de l’acquisition précoce, la deuxième étape avait pour but (ii) d’optimiser cette acquisition. Enfin (iii), le dernier objectif était de mettre en évidence un éventuel lien entre les paramètres quantitatifs extraits par TEP à la FCH et les paramètres quantitatifs extraits par IRM multiparamétrique. Résultats : Pour la première étape (i), nous avons comparé les paramètres quantitatifs extraits par TEP à la FCH et les paramètres clinico-pathologiques de 61 patients venant en TEP à la FCH pour le bilan d’extension initial. L’influx de FCH mesuré par analyse dynamique était plus élevé pour les patients avec un score de Gleason ≥ 4+3 que pour les patients avec un score de Gleason < 4 + 3. Pour la deuxième étape (ii), nous avons tout d’abord voulu optimiser la durée de l’acquisition précoce de TEP à la FCH en comparant le contraste sur bruit de 77 lésions tumorales à 5 minutes et 10 minutes après l’injection de FCH. Le contraste sur bruit à 5 minutes n’était statistiquement pas différent de celui à 10 minutes. La deuxième phase de l’optimisation de l’acquisition précoce de la TEP à la FCH consistait à déterminer quel était le meilleur échantillonnage temporel de ces 5 minutes par la comparaison de 7 échantillonnages temporels différents avec un objectif d’influx de FCH extrait de 37 lésions. L’échantillonnage temporel 12x5”-8x30” a été retenu. Pour la dernière étape (iii), nous avons comparé les paramètres TEP et IRM extraits de 14 lésions tumorales prostatiques. L’influx de FCH et la constante de transfert du gadolinium étaient corrélés, toutefois de manière modérée (r = 0,55). Conclusion : L’influx de FCH mesuré par analyse dynamique de l’acquisition précoce en TEP semble lié à la différenciation des cancers prostatiques. Cet influx semble également lié à la constante de transfert du gadolinium. Ces 2 paramètres d’imagerie semblent toutefois quantifier des processus physiopathologiques différents. Les différents résultats obtenus justifient la poursuite des travaux pour évaluer le rôle de marqueur d’agressivité des cellules cancéreuses prostatiques des différents paramètres quantitatifs obtenus par imagerie fonctionnelle par TEP à la FCH et par IRM multiparamétrique.
|
|
Signal, Image, Vision
/ 14-12-2018
El Houari Karim
Voir le résumé
Voir le résumé
L'estimation des solutions du problème inverse en Électrocardiographie (ECG) représente un intérêt majeur dans le diagnostic et la thérapie d'arythmies cardiaques par cathéter. Ce dernier consiste à fournir des images 3D de la distribution spatiale de l'activité électrique du cœur de manière non-invasive à partir des données anatomiques et électrocardiographiques. D'une part ce problème est rendu difficile à cause de son caractère mal-posé. D'autre part, la validation des méthodes proposées sur données cliniques reste très limitée. Une alternative consiste à évaluer ces méthodes sur des données simulées par un modèle électrique cardiaque. Pour cette application, les modèles existants sont soit trop complexes, soit ne produisent pas un schéma de propagation cardiaque réaliste. Dans un premier temps, nous avons conçu un modèle cœur-torse basse-résolution qui génère des cartographies cardiaques et des ECGs réalistes dans des cas sains et pathologiques. Ce modèle est bâti sur une géométrie coeur-torse simplifiée et implémente le formalisme monodomaine en utilisant la Méthode des Éléments Finis (MEF). Les paramètres ont été identifiés par une approche évolutionnaire et leur influence a été analysée par une méthode de criblage. Dans un second temps, une nouvelle approche pour résoudre le problème inverse a été proposée et comparée aux méthodes classiques dans les cas sains et pathologiques. Cette méthode utilise un a priori spatio-temporel sur l'activité électrique cardiaque ainsi que le principe de contradiction afin de trouver un paramètre de régularisation adéquat.
|
|