Tri :
Date
Titre
Auteur
|
|
Mathématiques fondamentales et applications
/ 31-10-2013
Lesage Éric
Voir le résumé
Voir le résumé
Cette thèse est consacrée à l'utilisation d'information auxiliaire en théorie des sondages à l'étape de l'échantillonnage et à l'étape de l'estimation. Dans le chapitre 2, on donne une présentation des principales notions de la théorie des sondages. Au chapitre 3, on propose une extension de la famille des estimateurs par calage reposant sur l'emploi de paramètres de calage complexes. Au chapitre 4 et 5, on s'intéresse à la correction simultanée des erreurs d'échantillonnage et de non-réponse au moyen d'un calage unique. On montre qu'en dépit du fait que le calage n'utilise pas explicitement les probabilités de réponse, il est nécessaire d'écrire le modèle de réponse afin de choisir correctement la fonction de calage. A défaut, on s'expose à des estimateurs biaisés dont le biais peut dépasser le biais de l'estimateur non-ajusté. En particulier, dans le cas du calage généralisé, la variance et le biais sont amplifiés pour des variables de calage faiblement corrélées aux variables instrumentales. Au chapitre 6, on montre qu'une approche conditionnelle, par rapport au plan de sondage, permet de construire des estimateurs plus robustes aux valeurs extrêmes et aux "sauteurs de strates". Au chapitre 7, on met en évidence que la méthode du tirage réjectif de Fuller conduit un estimateur par la régression qui peut être biaisé lorsque la variable d'intérêt ne suit pas un modèle de régression linéaire en fonction des variables d'équilibrage.
|
|
Traitement du signal et télécommunications
/ 25-10-2013
Bordelois Boizán Alejandro
Voir le résumé
Voir le résumé
La spectroscopie localisée par Résonance Magnétique Nucléaire (RMN) a de nombreuses applications in vivo, car cette technique permet l'étude des métabolites endogènes. Cette thèse explore dans ce contexte diverses voies d'amélioration des données de spectroscopie. La première méthode présentée, est une méthode de correction de spectre mono-voxel. Une méthode de reconstruction pour l'imagerie spectroscopique s'appuyant sur la résolution d'un système d'équations linéaires au lieu de la transformation inverse de Fourier utilisée habituellement est ensuite proposée. Cette modification permet notamment la prise en compte des défauts du champ magnétique local. Enfin, une dernière méthode qui trouve son utilité lorsque le signal est trop faible pour permettre la quantification des signaux des métabolites ou lorsque les défauts du champ magnétique sont trop importants est développée puis validée par simulation et expérimentalement.
|
|
Doctorat de l'université de Rennes1 mention informatique
/ 25-10-2013
Yviquel Hervé
Voir le résumé
Voir le résumé
Le développement du multimédia, avec l'émergence des architectures parallèles, a ravivé l'intérêt de la programmation flux de données pour la conception de systèmes embarqués. En effet, la programmation flux de données offre une approche de développement suffisamment flexible pour créer des applications complexes tout en exprimant la concurrence et le parallélisme explicitement. Paradoxalement, la plupart des études portent sur des modèles flux de données statiques, même si un processus de développement pragmatique nécessite l'expressivité et la practicité d'un langage de programmation basé sur un modèle flux de données dynamiques, comme le langage de programmation utilisé dans le cadre de Reconfigurable Video Coding. Dans cette thèse, nous décrivons un environnement de développement pour la programmation flux de données qui facilite le développement multimédia pour des plates-formes multi-coeur embarquées. Cet environnement de développement repose sur une architecture logicielle modulaire qui bénéficie de techniques modernes de génie logiciel telles que la méta modélisation et la programmation orientée aspect. Ensuite, nous développons une implémentation logicielle optimisée des programmes flux de données ciblant aussi bien les ordinateurs de bureau que les plates-formes embarquées. Notre implémentation vise à combler le fossé entre la practicité du langage de programmation et l'efficacité de son exécution. Enfin, nous présentons un ensemble d'algorithmes de projection et d'ordonnancement d'acteurs qui permettent l'exécution de programmes flux de données dynamiques sur des plates-formes multi-coeur avec des performances extensibles.
|
|
Doctorat de l'université de Rennes1 mention chimie
/ 22-10-2013
Lapinsonnière Laure
Voir le résumé
Voir le résumé
Les systèmes microbioélectrochimiques exploitent le métabolisme de microorganismes particuliers afin de catalyser des réactions d'oxydoréduction. Ces microorganismes organisés en biofilms à l'anode ou à la cathode sont en général des bactéries dites électroactives et peuvent être exploités dans une multitude d'applications. Une revue bibliographique des aspects fondamentaux et applicatifs de ce domaine est présentée. La génération d'électricité couplée à l'épuration d'eaux usées à l'anode de piles à combustible microbiologiques a été étudiée. Des bioanodes développées à partir d'acétate (substrat non fermentescible) sont capables de s'adapter et de dégrader le glucose et le lactose (substrats fermentescibles). Leur adaptation et leurs performances dépendent de la maturité du biofilm, du substrat et du renouvellement régulier de l'anolyte. Les propriétés physico-chimiques de la surface des électrodes ont été modulées afin de promouvoir la connexion de biofilms. A l'anode, nous avons étudié le greffage covalent d'acides phényle boroniques susceptibles de se complexer avec des glucides de la membrane externe des bactéries. Cette fonctionnalisation permet de réduire le temps de formation des biofilms et d'en améliorer les performances électriques sur graphite et sur nanotubes de carbone à parois multiples. A la cathode, les modifications de surface connues sur les bioanodes n'ont pas démontré d'influence sur les performances des biocathodes. Les différentes phases du développement de biocathodes catalysant la réduction du dioxygène à haut potentiel ont été étudiées. Le suivi de biocathodes réduisant le CO2 en acides organiques montre une production séquentielle d'acides organiques à chaîne aliphatique de plus en plus longue.
|
|
Mathématiques et applications
/ 22-10-2013
Caruso Sandrine
Voir le résumé
Voir le résumé
La théorie des groupes de tresses s'inscrit au croisement de plusieurs domaines des mathématiques, en particulier, l'algèbre et la géométrie. La recherche actuelle s'étend dans chacune de ces directions, et de riches développements naissent du mariage de ces deux aspects. D'un point de vue géométrique, le groupe des tresses à n brins est vu comme le groupe modulaire d'un disque à n trous, avec composante de bord. On peut représenter une tresse par un diagramme de courbes, c'est-à-dire l'image d'une famille fixée d'arcs sur le disque, par l'élément correspondant du groupe modulaire. Dans cette thèse est présenté l'algorithme de relaxations par la droite, qui permet de retrouver, étant donné un diagramme de courbes, la tresse à partir de laquelle il a été obtenu. Cet algorithme aide à faire le lien entre des propriétés géométriques du diagramme de courbes, et des propriétés algébriques du mot de tresse, en permettant de repérer de grandes puissances d'un générateur sous forme de spirales dans le diagramme de courbes. D'un point de vue algébrique, le groupe de tresses est l'exemple classique de groupe de Garside. L'un des objectifs actuels des recherches en théorie de Garside est d'obtenir un algorithme de résolution en temps polynomial du problème de conjugaison dans les groupes de tresses. À cette fin, on cherche à exploiter les propriétés de certains ensembles finis de conjugués d'une tresse, qui sont des invariants de conjugaison. L'un des résultats de cette thèse concerne la taille d'un de ces invariants, l'ensemble super-sommital : on exhibe une famille de tresses pseudo-anosoviennes dont l'ensemble super-sommital est de taille exponentielle. González-Meneses avait déjà établi le résultat similaire pour une famille de tresses réductibles. La conséquence de ces résultats est qu'on ne peut pas espérer résoudre le problème de conjugaison en temps polynomial au moyen de cet ensemble, et qu'il vaut mieux chercher à exploiter des invariants plus petits. Dans le cas des tresses pseudo-anosoviennes, des espoirs résident actuellement en l'ensemble des circuits glissants. Dans cette thèse, un algorithme en temps polynomial s'appuyant sur ce dernier ensemble résout génériquement le problème de conjugaison, c'est-à-dire qu'il le résout pour une proportion de tresses tendant exponentiellement vite vers 1 lorsque la longueur de la tresse tend vers l'infini. On montre également que, dans une boule du graphe de Cayley avec pour générateurs les tresses simples, une tresse générique est pseudo-anosovienne, ce qui était une conjecture bien connue des spécialistes de la théorie de Garside.
|
|
Informatique
/ 22-10-2013
Marques Ricardo
Voir le résumé
Voir le résumé
La qualité du résultat des opérations d’échantillonnage pour la synthèse d'images est fortement dépendante du placement et de la pondération des échantillons. C’est pourquoi plusieurs travaux ont porté sur l’amélioration de l’échantillonnage purement aléatoire utilisée dans les techniques classiques de Monte Carlo. Leurs approches consistent à utiliser des séquences déterministes qui améliorent l’uniformité de la distribution des échantillons sur le domaine de l’intégration. L’estimateur résultant est alors appelé un estimateur de quasi-Monte Carlo (QMC).
Dans cette thèse, nous nous focalisons sur le cas de l’échantillonnage pour l’intégration hémisphérique. Nous allons montrer que les approches existantes peuvent être améliorées en exploitant pleinement l’information disponible (par exemple, les propriétés statistiques de la fonction à intégrer) qui est ensuite utilisée pour le placement des échantillons et pour leur pondération.
|
|
Traitement du signal et télécommunications
/ 22-10-2013
Navarro Xavier
Voir le résumé
Voir le résumé
Ce mémoire de thèse porte sur le traitement et l'analyse des signaux issus des unités de soins intensifs néonatales (USIN) pour l'étude de la maturité, de l'infection généralisée et de l'influence de l'immunisation chez le nouveau-né prématuré. Une attention particulière est portée sur l'électroencéphalographie et le signal de respiration. Pour le premier, ce signal est souvent bruité en USIN et des méthodes de décomposition du signal et d'annulation optimale du bruit, adaptées aux particularités des EEG immatures, ont été proposées et évaluées objectivement sur signaux réels et simulés. L'analyse de l'EEG et des bouffées delta, repérées automatiquement par un classificateur proposé, ont permis d'étudier la maturation et les effets de la vaccination. Pour la seconde modalité, la respiration, des méthodes non-linéaires et fractales sont retenues et adaptées pour évaluer la maturité et l'infection généralisée. Une étude de robustesse des méthodes d'estimation est menée et on montre que l'exposant de Hurst, estimé sur des signaux de variabilité respiratoire, est un bon détecteur de l'infection.
|
|
Biologie. Mathématiques et applications
/ 21-10-2013
Eslami Aida
Voir le résumé
Voir le résumé
Ce travail concerne les analyses visant à étudier les données où les individus sont structurés en différents groupes (données multi-groupes). La thèse aborde la question des données multi-groupes ayant une structure en un seul tableau, plusieurs tableaux, trois voies et deux blocs (régression). Cette thèse présente plusieurs méthodes d'analyse de données multi-groupes dans le cadre de l'analyse factorielle. Notre travail comporte trois parties. La première partie traite de l'analyse de données multi-groupes (un bloc de variables divisé en sous-groupes d'individus). Le but est soit descriptif (analyse intra-groupes) ou prédictif (analyse discriminante ou analyse inter-groupe). Nous commençons par une description exhaustive des méthodes multi-groupes. En outre, nous proposons deux méthodes : l'Analyse Procrustéenne duale et l'Analyse en Composantes Communes et Poids Spécifiques duale. Nous exposons également de nouvelles propriétés et algorithmes pour l'Analyse en Composantes Principales multi-groupes. La deuxième partie concerne l'analyse multi-blocs et multi-groupes et l'analyse trois voies et multi-groupes. Nous présentons les méthodes existantes. Par ailleurs, nous proposons deux méthodes, l'ACP multi-blocs et multi-groupes et l'ACP multi-blocs et multi-groupes pondérée, vues comme des extensions d'Analyse en Composantes Principales multi-groupes. L'analyse en deux blocs et multi-groupes est prise en compte dans la troisième partie. Tout d'abord, nous présentons des méthodes appropriées pour trouver la relation entre un ensemble de données explicatives et un ensemble de données à expliquer, les deux tableaux présentant une structure de groupe entre les individus. Par la suite, nous proposons quatre méthodes pouvant être vues comme des extensions de la régression PLS au cas multi-groupes, et parmi eux, nous en sélectionnons une et la développons dans une stratégie de régression. Les méthodes proposées sont illustrées sur la base de plusieurs jeux de données réels dans le domaine de la biologie. Toutes les stratégies d'analyse sont programmées sur le logiciel libre R.
|
|
Informatique
/ 15-10-2013
Nguyen Viet Hoa
Voir le résumé
Voir le résumé
Cette thèse propose une approche pour intégrer l'utilisation des propriétés temporisées stochastiques dans un processus continu de design fondé sur des modèles à l'exécution. La spécification temporelle de services est un aspect important des architectures à base de composants, par exemple dans des réseaux distribués volatiles de nœuds informatiques. L'approche models@runtime facilite la gestion de ces architectures en maintenant des modèles abstraits des architectures synchronisés avec la structure physique de la plate-forme d'exécution distribuée. Pour les systèmes auto-adaptatifs, la prédiction de délais et de débit d'un assemblage de composants est primordial pour prendre la décision d'adaptation et accepter les évolutions qui sont conformes aux spécifications temporelles. Dans ce but, nous définissons une extension du métamodèle fondée sur les réseaux de Petri stochastiques comme un modèle temporisé interne pour la prédiction. Nous concevons une bibliothèque de patrons pour faciliter la spécification et la prédiction des propriétés temporisées classiques de modèles à l'exécution et rendre la synchronisation des comportements et des changements structurels plus facile. D'autre part, nous appliquons l'approche de la modélisation par aspects pour tisser les modèles temporisés internes dans les modèles temporisés de comportement du composant et du système. Notre moteur de prédiction est suffisamment rapide pour effectuer la prédiction à l'exécution dans un cadre réaliste et valider des modèles à l'exécution.
|
|
Physique
/ 15-10-2013
Hao Zhenyu
Voir le résumé
Voir le résumé
Cette thèse porte sur l'étude de structures lasers à semi-conducteurs à base d'îlots et de bâtonnets quantiques, connues pour avoir quelques propriétés remarquables telles leur fort gain, leur effet non-linéaire renforcé, leur faible courant de seuil, leur haute température caractéristique ... Les caractérisations en termes de bruit d'intensité et d'injection optique de ces structures montrent un comportement atypique comparativement aux structures classiques (massives ou à base de puits quantiques). Nous avons pu ainsi comparer le bruit d'un laser DFB à bâtonnets quantiques avec celui d'un laser DFB massif ou à puits quantiques. Des études comparatives de bruit ont aussi été effectuées sur des lasers de type Fabry-Perot. Une modélisation du bruit a été confrontée aux résultats expérimentaux et montre l'importance de la prise en compte de la couche de mouillage. L'injection optique, contrairement aux propriétés d'un laser classique, présente un grand nombre de régimes dynamiques fortement non linéaires près du seuil laser (r~1,1) et peu de régimes à seuil modéré (r~3). Ces résultats nous indiquent finalement que le couplage des modes longitudinaux est à la fois fort et fortement amorti par l'interaction avec la couche de mouillage, ce qui nous donne des pistes très intéressantes pour la modélisation du blocage de modes observé dans ces structures.
|
|