Tri :
Date
Titre
Auteur
|
|
Informatique
/ 06-03-2013
Crain Tyler
Voir le résumé
Voir le résumé
Les architectures multicœurs changent notre façon d'écrire des programmes. L'écriture de programmes concurrents est bien connue pour être difficile. Traditionnellement, l'utilisation de verrous (locks) permettant au code de s'exécuter en exclusion mutuelle, a été l'abstraction la plus largement utilisée pour l'écriture des programmes concurrents. Malheureusement, il est difficile d'écrire des programmes concurrents efficaces et corrects reposant sur des verrous. En outre, les verrous présentent d'autres problèmes, notamment celui du passage à l'échelle. Le concept de mémoire transactionnelle a été proposé comme une solution à ces difficultés. Les transactions peuvent être considérées comme une abstraction de haut niveau, ou une méthodologie pour l'écriture de programmes concurrents, ce qui permet au programmeur de pouvoir déclarer des sections de code devant être exécutés de façon atomique, sans avoir à se soucier des détails de synchronisation. Malheureusement, bien qu'assurément plus facile à utiliser que les verrous, la mémoire transactionnelle souffre encore de problèmes de performance et de facilité d'utilisation. En fait, de nombreux concepts relatifs à l'utilisation et à la sémantique des transactions n'ont pas encore des normes convenues. Cette thèse propose de nouvelles solutions permettant de faciliter l'utilisation des mémoires transactionellles. La thèse débute par un chapitre qui donne un bref aperçu de la mémoire transactionnelle logicielle (STM) ainsi qu'une discussion sur le problème de la facilité d'utilisation. Les contributions à la recherche sont ensuite divisées en quatre chapitres principaux, chacun proposant une approche différente afin de rendre les STMs plus facile à utiliser.
|
|
Chimie
/ 01-03-2013
Campioli Elisa
Voir le résumé
Voir le résumé
Au cours des vingt dernières années, les nanomatériaux (caractérisés par des dimensions de l’ordre de 10 à 100 nm) ont attiré une attention croissante de par leurs propriétés optoélectroniques uniques. C’est tout particulièrement vrai pour les nanomatériaux inorganiques, tels que les quantum dots, les nanoparticules métalliques ou encore les nanoparticules à base de silice. Par contre, l’étude des nanomatériaux obtenus à partir de molécules organiques est un domaine d’intérêt beaucoup plus récent. Cette thèse présente une étude détaillée de nanoparticules organiques fluorescentes originales et des nanostructures organiques préparées à partir de deux ou trois types de chromophores distincts (nanocomposites binaires et ternaires). En particulier, l'attention est focalisée sur la préparation, la caractérisation et la stabilisation de ces nouveaux nanomatériaux, ainsi que leurs applications dans le domaine biologique et de l’opto-electronique.
|
|
Science politique
/ 28-02-2013
Teinturier Sara
Voir le résumé
Voir le résumé
Dans la France de l'entre-deux-guerres, les catholiques ne cessent de revendiquer une prise en charge financière de leurs établissements scolaires, dont la situation matérielle s'avère singulièrement précaire. L'enseignement privé catholique subsiste grâce à ses enseignants, subsumant leurs conditions de travail au nom de leur foi. La doctrine affirmée de l'Église catholique en matière d'éducation et l'acceptation des rôles prescrits dans l'institution sont les clés essentielles du maintien du réseau éducatif catholique. Cette revendication s'accompagne d'un militantisme polymorphe. Aux tenants de la réalisation de l'unité catholique, qu'elle soit en opposition au régime politique ou s'inscrivant dans la légalité républicaine, s'adjoint une troisième posture, encore marginale, d'insertion du catholicisme dans la modernité. Rejet ou acception de l'école publique, définition et rôle de l'enseignement privé, signalent ce qui se joue au sein du champ ecclésial : l'acceptation ou non de la pluralisation de la société française et de l'opinion catholique. Dans les années 1920, domine la configuration d'un cléricalisme éducatif, utopie d'une société chrétienne dont l'école catholique serait le fer de lance. Les années 1930 sont l'objet d'une reconfiguration paradoxale : alors que l'épiscopat reprend l'initiative en créant un Comité national de l'enseignement libre en 1931, la décléricalisation de l'action catholique est confirmée. Ce faisant, le militantisme catholique, qui a permis le maintien des écoles, participe en même temps de la politisation de l'espace ecclésial et, in fine, de sa sécularisation.
|
|
Traitement du signal et télécommunications
/ 26-02-2013
Alam Muhammad Mahtab
Voir le résumé
Voir le résumé
Les Réseaux de capteurs sans fil (WSN) sont une technologie émergente avec des applications potentielles dans divers domaines de la vie quotidienne, tels que la surveillance structurelle et environnementale, la médecine, la surveillance militaire, les explorations robotisées, etc. Les nœuds de capteurs doivent fonctionner pendant une longue période avec des batteries capacité limitée, par conséquent le facteur plus important dans les WSN est la consommation d'énergie. Dans cette thèse, nous proposons des techniques d'optimisation algorithmiques dynamiques, et adaptative pour la réduction de l'énergie. Tout d'abord, un modèle énergétique précis est présenté. Ce modèle repose sur des mesures réelles de courant consommé pour différents scénarios qui peuvent se produire lors de la communication entre les nœud. Il en est conclu que la couche MAC joue un rôle essentiel dans la réduction de l'énergie consommée. Ensuite, un protocole MAC dynamique est présenté. Il adapte de manière dynamique l’intervalle de réveil des nœuds de capteurs à partir d’une estimation du trafic. L’algorithme adaptatif modélisé de façon heuristique pour comprendre le comportement de convergence des paramètres algorithmiques. Le protocole est appliqué sur des réseaux de capteurs corporels et il surclasse les autres protocoles MAC en termes de latence ainsi que de consommation d'énergie ce qui permet donc d'augmenter la durée de vie de trois à six fois. Enfin, une technique basée sur l’optimisation adaptative de la puissance d'émission radio est appliquée sur des canaux variant dans le temps. La puissance de sortie est réglée dynamiquement au meilleur niveau de puissance selon l’état du canal, ce qui diminue la consommation d’un facteur deux.
|
|
Sciences de gestion
/ 22-02-2013
Li Xiaoxia
Voir le résumé
Voir le résumé
La thèse vise à mieux appréhender les déterminants et les conséquences de l’implication organisationnelle des travailleurs du savoir en Chine Continentale
Plusieurs facteurs influençant l’implication organisationnelle sont ainsi mis en évidence.- Les facteurs liés aux caractéristiques du travail : la perception de l’autonomie au travail et la perception du caractère de défi du travail.- Les facteurs liés aux caractéristiques de l’organisation : la perception du prestige organisationnel et la perception de la justice organisationnelle, ainsi que les statuts de organisation (public, parapublic ou privé).- Les facteurs liés aux caractéristiques culturelles de la Chine : la forte distance hiérarchique et le collectivisme, ainsi que la qualité du Guanxi. Les conséquences de l’implication organisationnelle sont aussi mises en évidence dans le modèle : intention de départ, intention de partager le savoir explicite et tacite, comportement organisationnel citoyen dans sa dimension d’harmonie interpersonnelle. Les relations entre les traits culturels (qualité du guanxi avec les collègues et collectivisme horizontal) et l’intention de partager le savoir sont également modélisées. La thèse présente une étude qualitative avec des entretiens semi-directifs (24 entretiens) et une étude quantitative. L’étude exploratoire quantitative a ainsi porté sur douze organisations (quatre de chaque secteur : public, parapublic et privé). Au total, 960 questionnaires ont été distribués et 568 questionnaires renseignés, soit un taux de réponse de 59.17% . Pour mener à bien les tests d’hypothèses, les analyses de régression multiple et l’analyse de variance ont été privilégiées. Les résultats de chaque test d’hypothèse sont successivement détaillés. Les apports de la recherche dans la fidélisation et l’implication organisationnelle des travailleurs du savoir sont mis en évidence, ainsi que plusieurs résultats utiles d’un point de vue théorique et pratique
|
|
Chimie
/ 21-02-2013
Salami Souad
Voir le résumé
Voir le résumé
L'objectif de ce travail était d'étudier l'influence qu'exerce la microstructure des caséines sur la diffusion moléculaire de petites sondes ayant des tailles et des déformabilités différentes. La mobilité de sondes moléculaires flexibles (''PEGs'') et rigides (dendrimères) de taille variée a été étudiée dans des suspensions et des gels de PPCN et de CaNa à différentes concentrations en protéines. Les mesures ont été réalisées par RMN qui permet de sonder des mobilités translationnelles sur une distance de 1,5 µm, mais également des mobilités locales à l'échelle moléculaire (quelques nanomètres) à travers les temps de relaxation T2. Un modèle cohérent a été utilisé et un mécanisme unique a été proposé pour décrire la diffusion de petites sondes dans les deux systèmes de caséine. C'est la combinaison de différents facteurs qui doivent être pris en considération : le rapport de la taille de la sonde à la distance entre les particules obstruantes ou les points d'enchevêtrement ainsi que la flexibilité de la sonde. La mobilité locale des sondes était beaucoup moins réduite que la mobilité translationnelle dans les deux systèmes de caséine. Différents comportements de relaxation ont été obtenus entre les deux systèmes de caséine et une diminution des T2 a été mesurée dans les gels. Ces résultats ont été liés à la mobilité intrinsèque de la matrice. L'ensemble des résultats obtenus ont permis d'avoir une meilleure compréhension de la mobilité des sondes dans les systèmes caséiques et de proposer un nouveau modèle qui contredit celui déjà proposé par Le Feunteun et al. pour expliquer la diffusion des sondes dans ces systèmes.
|
|
Traitement du signal et télécommunications
/ 21-02-2013
Sargent Gabriel
Voir le résumé
Voir le résumé
Les récentes évolutions des technologies de l'information et de la communication font qu'il est aujourd'hui facile de consulter des catalogues de morceaux de musique conséquents. De nouvelles représentations et de nouveaux algorithmes doivent de ce fait être développés afin de disposer d'une vision représentative de ces catalogues et de naviguer avec agilité dans leurs contenus. Ceci nécessite une caractérisation efficace des morceaux de musique par l'intermédiaire de descriptions macroscopiques pertinentes.
Dans cette thèse, nous nous focalisons sur l'estimation de la structure des morceaux de musique : il s'agit de produire pour chaque morceau une description de son organisation par une séquence de quelques dizaines de segments structurels, définis par leurs frontières (un instant de début et un instant de fin) et par une étiquette représentant leur contenu sonore.
La notion de structure musicale peut correspondre à de multiples acceptions selon les propriétés musicales choisies et l'échelle temporelle considérée. Nous introduisons le concept de structure “sémiotique" qui permet de définir une méthodologie d'annotation couvrant un vaste ensemble de styles musicaux. La détermination des segments structurels est fondée sur l'analyse des similarités entre segments au sein du morceau, sur la cohérence de leur organisation interne (modèle “système-contraste") et sur les relations contextuelles qu'ils entretiennent les uns avec les autres. Un corpus de 383 morceaux a été annoté selon cette méthodologie et mis à disposition de la communauté scientifique.
En termes de contributions algorithmiques, cette thèse se concentre en premier lieu sur l'estimation des frontières structurelles, en formulant le processus de segmentation comme l'optimisation d'un coût composé de deux termes~: le premier correspond à la caractérisation des segments structurels par des critères audio et le second reflète la régularité de la structure obtenue en référence à une “pulsation structurelle". Dans le cadre de cette formulation, nous comparons plusieurs contraintes de régularité et nous étudions la combinaison de critères audio par fusion.
L'estimation des étiquettes structurelles est pour sa part abordée sous l'angle d'un processus de sélection d'automates à états finis : nous proposons un critère auto-adaptatif de sélection de modèles probabilistes que nous appliquons à une description du contenu tonal. Nous présentons également une méthode d'étiquetage des segments dérivée du modèle système-contraste.
Nous évaluons différents systèmes d'estimation automatique de structure musicale basés sur ces approches dans le cadre de campagnes d'évaluation nationales et internationales (Quaero, MIREX), et nous complétons cette étude par quelques éléments de diagnostic additionnels.
|
|
Informatique
/ 21-02-2013
Istoan Paul
Voir le résumé
Voir le résumé
Le principal problème abordé dans cette thèse est la définition d'une nouvelle méthodologie SPL qui couvre les deux phases du processus et met l'accent sur la dérivation de modèles comportementaux des produits. Le chapitre 2 définit le cadre de cette thèse : les lignes de produits logiciels, les processus opérationnels et l'ingénierie dirigé par les modèles. Dans le chapitre 3, nous proposons une nouvelle méthodologie SPL centrée sur la dérivation de comportement des produits. Nous décrivons d'abord le courant principal de la méthodologie, et ensuite les différentes étapes. Dans le chapitre 4, nous proposons un nouveau langage spécifique domaine appelé CBPF pour la modélisation des fragments de processus opérationnels. Une approche dirigée par les modèles est suivie pour créer CBPF: syntaxe abstraite, syntaxe concrète graphique et sémantique translationnelles. Dans le chapitre 5, nous proposons plusieurs types de vérifications applicables aux fragments afin de déterminer leur justesse. Pour la vérification structurelle, est définit un ensemble des règles de cohérence qui doivent être valides pour chaque fragment réalisé avec CBPF. Pour vérifier le comportement, nous transformons d'abord les fragments dans des réseaux de Pétri équivalents. On peut alors vérifier des propriétés génériques mais aussi définir des propriétés spécifiques. Dans le chapitre 6, nous illustrons la méthodologie proposée en l'appliquant à une étude de cas à partir du domaine système de gestion de crise. Nous proposons également une suite d'outils qui supporte notre méthodologie. Le chapitre 7 décrit les améliorations possibles et les extensions aux contributions de cette thèse. Nous concluons la thèse dans le chapitre 8.
|
|
Chimie
/ 21-02-2013
Khalaf Ali
Voir le résumé
Voir le résumé
Dans la première partie nous décrivons la synthèse et l'évaluation biologique de nouveaux inhibiteurs de l'agrégation plaquettaire, composés dont la structure a été établie en partant du 12-HETE et du 13-HODE. Dans la seconde partie nous développons de nouvelles méthodologies pour la préparation de molécules contenant des motifs CF₂R. Tout d'abord une stratégie très flexible a été mise au point pour la préparation de composés gem-difluorobisaryliques et de leurs analogues hétéroaromatiques. Elle est basée sur l'emploi d'intermédiaires gem-difluoropropargyliques faciles d'accès. Par une séquence de Diels-alder-aromatisation on obtient les molécules cibles de la première série. Pour la seconde, des réactions de cycloaddition dipolaire 1,3 ont été utilisées. A partir de ces intermédiaires, des chimiothèques ciblées de molécules fluorées ont été préparées. Nous nous sommes intéressés ensuite à la synthèse de composés fluorés fonctionnalisés et chiraux à travers des réactions d'organocatalyse asymétrique. A partir d'énals gem-difluorés des réactions de Diels-Alder et des additions 1,4 asymétriques ont été réalisées avec succès.
|
|
Sciences économiques
/ 19-02-2013
Mohamed Cheik Hamidou Issoufa
Voir le résumé
Voir le résumé
Les évolutions récentes des prix des actifs (actions, immobilier) enregistrées au cours de la dernière décennie ont ravivé le débat sur l'origine de certains dés ajustements (bulles) et sur leur impact dans l'économie réelle. En effet les prix des actifs réagissent à l'excès de création monétaire (la base monétaire mondiale croissant plus vite que la production mondiale) dans un régime de basse inflation. Cette thèse cherche à éclaircir le lien entre les conditions de liquidité et les prix contribuant à rendre les économies plus sensibles aux chocs financiers (par exemple à la suite de l'éclatement d'une bulle des prix des actifs). Nous avons vu ensuite, dans quelle mesure la politique monétaire doit réagir face à cette menace par une analyse des implications de l'existence de l'excès de liquidité monétaire sur la politique d' « inflation targeting » de la banque centrale. Pour résorber l'excès de liquidité et assurer la stabilité financière, les banques centrales doivent-elles tenir compte des prix d'actifs dans la formulation de la politique monétaire?
|
|