• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 599
  • 238
  • 70
  • 14
  • 7
  • 1
  • Tagged with
  • 941
  • 464
  • 178
  • 134
  • 131
  • 129
  • 112
  • 94
  • 93
  • 93
  • 90
  • 79
  • 76
  • 65
  • 65
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
241

Exploring religious identity negotiation through consumption in secular context : the case of French-Maghreb women living in France / Explorer la négociation de l'identité religieuse par la consommation dans un contexte laïc : le cas des femmes franco-maghrébines en France

Alkayyali, Ranam 02 November 2015 (has links)
L'intégration des immigrés dans les sociétés occidentales est devenue un enjeu politique. Dans cette recherche, nous explorons la façon dont les femmes immigrées Maghrébines vivant en France négocient leur identité religieuse par la consommation et le choix des magasins. Nous nous focalisons plus particulièrement sur les premières et deuxièmes générations des immigrées Maghrébines aux niveaux de religiosité différents afin de comprendre comment elles négocient leur identité religieuse dans un contexte laïque. Trente-six entretiens qualitatifs semi-directifs ont été menés avec des femmes des deux générations (dont certaines appartenant à la même famille) pour explorer leur acculturation relative à l'Islam et à la consommation. Nos résultats montrent que les immigrées Maghrébines utilisent des produits de la culture Maghrébo-Islamique (le paradis restauré) et les produits de la culture française (le pseudo paradis) pour construire des positions identitaires différentes et créer une religiosité caméléon (dans le cas des femmes G1) ou une religiosité serpentin (dans le cas des femmes G2). Nous avons également identifié le rôle que joue, entre autres, le marché français dans la fabrication des identités des immigrées Musulmanes vivant en France. Dans les dyades mèrefille, l'émergence de tensions liées à l'acculturation invite à prendre en compte la religion comme déterminant de l'identité. / The integration of migrants into Western societies is increasingly becoming a political issue. In this research, we explore how Maghreb women living in France negotiate their religious identity through shopping and consumption. In particular, we focus on how first and second generations of immigrant women who have varying levels of religiosity negotiate their religious identity in the secular context. Interviews were conducted with thirty-six women in Paris (some being two generations within the same family) to explore their acculturation and inter-generational relationships in regards to Islam and consumption. First and second generations of Muslim Maghreb women use products and retail outlets choice from both Muslim Maghreb culture (the brought back heaven) and French culture (the pseudo heaven) inorder to create different identity positions that make their religiosity a chameleon/ serpentine one. We also identify the rule of French market (traditional and modern retailing) -among other factors- in fabricating Muslim Maghreb women identities. Within mother-daughter dyads, a number of inter-generational lifestyle tensions manifesting through consumption emerged indicating the need to separate religion as a determinant of identity.
242

Genetic and Epigenetic Determinants of Thrombin Generation Potential : an epidemiological approach / Déterminants génétiques et épigénétiques du potentiel de génération de thrombine par une approche épidémiologique

Rocanin-Arjo, Maria-Ares 20 November 2014 (has links)
Le potentiel de génération thrombine (TGP en anglais) est une nouvelle mesure qui permet de quantifier in vitro l'activité globale de la thrombine reflétant bien les mécanismes in vivo de la coagulation. Ce méthode de dosage est sensible aux déficits de facteurs de coagulation, à la prise d'anti-coagulants et à de nombreux troubles de la coagulation. Au moment où j'ai débuté ma thèse, seuls deux polymorphismes génétiques, tous les deux situés dans le gène F2 codant pour la prothrombine, étaient connus pour influencer la variabilité plasmatique du TGP. Mon projet de thèse avait pour objectifs d'identifier de nouveaux facteurs génétiques, mais également épigénétiques, pouvant influencer les taux plasmatiques de TGP. Dans une première partie, j'ai mené la toute première étude d'association génome-entier (GWAS pour Genome Wide Association Study en anglais) sur 3 biomarqueurs (temps de latence, quantité totale de thrombine produite et niveau maximal de thrombine produite) du TGP dans deux études françaises rassemblant 1267 sujets et j'ai répliqué les résultats les plus significatifs dans deux autres études françaises indépendantes de 1344 sujets. Cette stratégie a permis de mettre en évidence qu'un polymorphisme génétique du gène ORM1 était associé de manière robuste au temps de latence, biomarqueur caractérisant le temps nécessaire pour initier la coagulation après induction. Dans la seconde partie de ma thèse, en suivant une stratégie similaire mais cette fois-ci en étudiant non plus des polymorphismes génétiques mais des marques de méthylation d'ADN, j'ai recherché si des niveaux de méthylation de site CpG, mesurés à partir d'ADN sanguin et couvrant l'ensemble du génome, pouvaient être associés à la variabilité des 3 mêmes biomarqueurs de TGP. Malheureusement, à partir de deux échantillons mis à ma disposition et rassemblant 425 sujets, je n'ai pas pu mettre en évidence d'association robuste entre des marques de méthylation sanguine et la génération trombine. / Thrombin Generation Potential (TGP) is a promising in vitro measurement that allows quantifying thrombin activity, in a close way to what happens in vivo. It is sensitive to coagulation factors deficiencies, anticoagulant proteins and is associated to thrombotic disorders. There exists two polymorphisms located in the F2 (prothrombin) gene known to influence TGP levels, and altogether they explain 11.3% of the TGP inter-individual variability. With the aims of identifying novel genetic and epigenetic factors that influence TGP variability, I have performed two different studies in the present work. First, I conducted the first genome-wide association study for the three TGP biomarkers (ETP, Peak and Lagtime) using imputation data from two French studies. The most significant single nucleotide polymorphisms (SNPs) were then replicated in two independent French studies. This analysis lead to the discovery of ORM1 as a new gene participating to the control of TGP. Second, I followed a similar strategy using this time whole blood DNA methylation levels at CpG sites to identify DNA methylation marks involved in TGP variability. I analyzed the association between methylation-wide patterns from a French study and a French-Canadian families measured for TGP. Unfortunately, I did not identify robust associations between whole DNA methylation levels and thrombin generation.
243

Κρίσις (Krisi) dans l’épopée, la Collection hippocratique et chez Platon : Vertus génératrices de la séparation et de la décision / Κρίσις (Krisi) in the Epic, Hippocratic Corpus, and Plato’s dialogues

Longhi, Vivien 10 December 2015 (has links)
L’étude porte sur la notion grecque de κρίσις, alors que les études antiques ont souvent recours à une notion moderne de la crise. L’épopée, la Collection hippocratique et les dialogues de Platon forment le corpus. Les analyses de κρίσις issues de recherches déjà menées sur ces textes étaient très disparates. Il a été possible de résorber une partie de ces différences et de définir une notion générale de la κρίσις, par des enquêtes lexicales exhaustives. La κρίσις apparaît alors comme une action qui achève un conflit et permet, entre deux états ou conditions considérés comme opposés, une disjonction, subite accélération du cours des événements qui résout les affres de l’attente. La séparation et la décision assurent le passage du péril à un élan vital nouveau : la κρίσις permet la γένεσις. Ces traits de la notion, apparus dès l’épopée, où le mot désigne différentes décisions à la puissance génératrice et salvatrice soudaine, se retrouvent dans la « crise » médicale, guérison souvent subite, bien que prévisible en partie par l’art du pronostic, qui assure la reconstitution de l’équilibre de santé. La κρίσις platonicienne, jugement ou discernement, permet différents passages (de l’obscur au lumineux, de l’impur au pur, du malsain au sain), mais aussi, plus généralement, la régénération de l’âme. Elle restaure la fécondité de la pensée, conduit à une réincarnation sous une forme meilleure, et ordonne la recomposition de la vie bonne à partir d’éléments triés (Philèbe). En tant qu’instant qui décide d’une renaissance, point culminant de l’effort philosophique, la κρίσις voit aussi sa puissance libératrice dramatisée dans le dialogue. / My research is devoted to the Greek notion of κρίσις whereas classical studies usually favour the modern notion of crisis. It focuses on the Epic, the Hippocratic Corpus and Plato’s dialogues. The existing research on κρίσις has led to extremely varied results. My work offerts to reunite these differences in order to define a more general notion of κρίσις, thanks to a comprehensive lexical analysis. The κρίσις seems to be an act which puts an end to a conflict, thus enabling a breach between two opposite states. Time suddenly speeds, and the long torment resolves. Thanks to selection and decision making, danger gives way to a new life force: κρίσις enables γένεσις. These characteristics can already be found in the Epic where κρίσις refers to various decisions suddenly bringing generation and salvation. The medical notion of crisis is also a sudden recovery even though it can partially be predicted by prognosis, which brings health and balance back. The platonic κρίσις, which is akin to judging or discerning something, allows various changes (from darkness to light, from impurity to purity, from sickness to health) and ultimately enables the soul to regenerate. Fertility of the thought is restored; the soul can be reincarnated in a better shape or life reassembled with carefully selected elements (Philebus). As a turning point for a possible rebirth, as the climax of philosophical endeavours, the liberating power of the κρίσις has also often been dramatized in dialogues.
244

Etudes de nouveaux cristaux non linéaires pour une génération paramétrique dans l'infrarouge avec la plus grande largeur spectrale possible / Studies of new nonlinear crystals for infrared parametric generation with the broadest spectral bandwidth

Guo, Feng 26 June 2018 (has links)
De nos jours, la génération paramétrique optique (OPG) avec la plus grande largeur spectrale possible, est une bonne alternative pour couvrir les bandes II (2–5 µm) ou band III (8–12 µm) de transmission de l’atmosphère. Une telle émission à partir de processus non linéaires quadratiques en conditions d’accord de phase par biréfringence (BPM), nous a intéressés. Elle est réalisée sur le domaine de transparence de cristaux non linéaires déjà identifiés, mais ils ne sont pas satisfaisants. C’est pourquoi ce travail de thèse est consacré d’abord à l’étude du cristal biaxe GdCa4O(BO3)3 (GdCOB), et des cristaux uniaxes La3Ga5.5Nb0.5O14 (LGN) et NaI3O8. Nous avons enregistré leurs courbes d’accord de phase et les rendements de conversion associés en conditions de BPM. Nous avons sélectionné la génération de second harmonique et la différence de fréquence dans des lames, des sphères ou cylindres. Nous avons affiné les équations de Sellmeier. Nous avons déterminé la valeur absolue des coefficients non linéaires des cristaux uniaxes. Nous avons aussi déterminé la valeur absolue et le signe de tous les coefficients du cristal biaxe BaGa4Se7. Tous ces résultats constituent une base fiable pour les évaluations expérimentales à venir de la plus grande largeur spectrale des OPG qui utilisent ces cristaux.Key words: optique non linéaire, génération paramétrique, accord de phase, cristaux non linéaires / Nowadays, the optical parametric generators (OPG) with the broadest spectral bandwidth is a good alternative cover band II (2–5 µm) or band III (8–12 µm) of transmission range of the atmosphere. We were interested in such an emission from quadratic nonlinear processes under birefringence phase-matching conditions (BPM). It is performed in the transparency range of already identified nonlinear crystals, but they are not satisfying. Then this PhD work is devoted first to the study of GdCa4O(BO3)3 (GdCOB) biaxial crystal, and La3Ga5.5Nb0.5O14 (LGN) and NaI3O8 uniaxial crystals. We recorded their tuning curves and conversion efficiencies for BPM. We selected second harmonic generation and difference frequency generation in slabs, spheres or cylinders. We refined the Sellmeier equations. We determined the magnitude of the nonlinear coefficients, spectral and angular acceptances in uniaxial crystals. We also determined the magnitude and sign of all the nonlinear coefficients of BaGa4Se7 biaxial crystal. All these results provide reliable data for further experimental evaluations of OPG broadest spectral bandwidth covering band II or III using these crystals.Key words: nonlinear optics, parametric generation, phase-matching, nonlinear crystals
245

Génération d'ondes TeraHertz par Différence de Fréquence / TeraHertz Waves Generation from Difference Frequency Generation

Bernerd, Cyril 28 September 2018 (has links)
Le domaine des ondes TeraHertz (THz) s’étend de l’infrarouge lointain (15 μm / 20 THz) aux ondes radios (3000 μm / 0.1 THz). La couverture spectrale des sources actuelles, qu’elles soient thermique (lampes à mercure…), électronique (diode Gunn…) ou optique (laser, antennes…), ne permet pas de répondre à l’ensemble des applications en spectroscopie et en imagerie. Une alternative à ces sources est l’optique non linéaire paramétrique, qui permet de générer des ondes THz à partir du processus de Différence de Fréquences (DFG), et qui consiste à injecter un ou deux lasers dans un cristal non linéaire. Afin de couvrir au mieux le très large domaine THz, il est nécessaire de déterminer un ensemble de cristaux dont les propriétés optiques permettent de générer ces ondes avec de forts rendements de conversion.Le travail présenté dans ce manuscrit de thèse décrit l’étude de ces propriétés pour un ensemble de cristaux non linéaires, ainsi que des résultats expérimentaux de génération THz à partir de la DFG entre deux lasers monochromatiques en régime nanoseconde et picoseconde, ou entre deux composantes de Fourier au sein d’une impulsion laser femtoseconde. Nous avons sélectionné vingt nouveaux cristaux jamais étudiés dans le domaine THz auparavant, ainsi que le nouveau cristal organique de BNA. Nous avons mesuré leurs spectres de transmission du visible au THz, ainsi que les propriétés optiques non linéaires incluant les conditions d’accord de phase et le rendement de conversion. / THz-waves extend from the far InfraRed (15 μm – 20 THz) to radio waves (3000 μm – 0.1 THz). Current sources based on thermal (Mercury lamps…), electronics (Gunn diode...) or optics (laser, antennas…) technologies can’t cover this wide spectral range for applications in spectroscopy and imaging. An alternative is provided by parametric nonlinear optics, which leads to the generation of THz waves from Difference Frequency Generation (DFG) by injecting one or two lasers in a nonlinear crystal. To better cover the wide THz domain, it is necessary to determine nonlinear crystals with optical properties leading to the generation of such waves with high conversion efficiencies.This PhD thesis is devoted to the study of these properties for a panel of nonlinear crystals, along with experimental results of THz generation from DFG between two monochromatic lasers in the nanosecond and picosecond regimes, or between two Fourier components within a femtosecond laser. We selected twenty new crystals never studied before in the THz domain, along with the organic crystal of BNA. We measured their transmission spectra from visible to THz, and their nonlinear properties including phase-matching conditions and conversion efficiency.
246

Unified system of code transformation and execution for heterogeneous multi-core architectures. / Système unifié de transformation de code et d'éxécution pour un passage aux architectures multi-coeurs hétérogènes

Li, Pei 17 December 2015 (has links)
Architectures hétérogènes sont largement utilisées dans le domaine de calcul haute performance. Cependant, le développement d'applications sur des architectures hétérogènes est indéniablement fastidieuse et sujette à erreur pour un programmeur même expérimenté. Pour passer une application aux architectures multi-cœurs hétérogènes, les développeurs doivent décomposer les données de l'entrée, gérer les échanges de valeur intermédiaire au moment d’exécution et garantir l'équilibre de charge de système. L'objectif de cette thèse est de proposer une solution de programmation parallèle pour les programmeurs novices, qui permet de faciliter le processus de codage et garantir la qualité de code. Nous avons comparé et analysé les défauts de solutions existantes, puis nous proposons un nouvel outil de programmation STEPOCL avec un nouveau langage de domaine spécifique qui est conçu pour simplifier la programmation sur les architectures hétérogènes. Nous avons évalué la performance de STEPOCL sur trois cas d'application classiques : un stencil 2D, une multiplication de matrices et un problème à N corps. Le résultat montre que : (i) avec l'aide de STEPOCL, la performance d'application varie linéairement selon le nombre d'accélérateurs, (ii) la performance de code généré par STEPOCL est comparable à celle de la version manuscrite. (iii) les charges de travail, qui sont trop grandes pour la mémoire d'un seul accélérateur, peuvent être exécutées en utilisant plusieurs accélérateurs. (iv) grâce à STEPOCL, le nombre de lignes de code manuscrite est considérablement réduit. / Heterogeneous architectures have been widely used in the domain of high performance computing. However developing applications on heterogeneous architectures is time consuming and error-prone because going from a single accelerator to multiple ones indeed requires to deal with potentially non-uniform domain decomposition, inter-accelerator data movements, and dynamic load balancing. The aim of this thesis is to propose a solution of parallel programming for novice developers, to ease the complex coding process and guarantee the quality of code. We lighted and analysed the shortcomings of existing solutions and proposed a new programming tool called STEPOCL along with a new domain specific language designed to simplify the development of an application for heterogeneous architectures. We evaluated both the performance and the usefulness of STEPOCL. The result show that: (i) the performance of an application written with STEPOCL scales linearly with the number of accelerators, (ii) the performance of an application written using STEPOCL competes with an handwritten version, (iii) larger workloads run on multiple devices that do not fit in the memory of a single device, (iv) thanks to STEPOCL, the number of lines of code required to write an application for multiple accelerators is roughly divided by ten.
247

Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués / Automatic tests generation from SysML models for the functionnal validation of embedded

Lasalle, Jonathan 29 June 2012 (has links)
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de tests à partir de modèles SysML pour la validation de systèmes embarqués. Un sous-ensemble du langage SysML (appelé SysML4MBT) regroupant les éléments de modélisation pris en compte dans notre approche a été défini et une stratégie de génération de tests dédiée (intitulée ComCover) a été créée. Cette stratégie, basée sur les principes du critère de couverture de modèles bien connu Def-Use, s'intéresse à la couverture des communications (envois / réceptions) au sein du système et entre le système et son environnement.La mise en œuvre opérationnelle d'un prototype, basé sur un générateur de tests à partir de modèle UML, a nécessité la définition de règles de réécriture permettant la transformation du modèle SysML4MBT vers le format d'entrée natif du générateur de tests tout en conservant l'expressivité de SysML4MBT. Finalement, les étapes de concrétisation des tests en scripts exécutables et l'établissement automatique du verdict lors de l'exécution sur banc de test définis durant le projet VETESS permettent l'établissement d'une chaîne outillée opérationnelle de génération et d'exécution automatique de tests à partir de spécifications SysML. Cette chaîne outillée a été étrennée sur plusieurs cas d'étude automobile tels que l'éclairage avant, les essuie-glaces ou la colonne de direction de véhicule. Sur ce dernier exemple, nous avons eu l'opportunité d'exécuter les tests sur un banc de test physique. Ces cas d'étude ont permis de valider chacune des étapes de l'approche proposée. / The work introduced in this thesis is in line with an original SysML Model-Based Testing approach to validate automotive mechatronic systems. A subset of SysML notation (called SysML4MBT) supported to express the test model is defined and a dedicated test generation strategy (called ComCover) is created. This strategy, based on the well-known Def-Use criteria, deals with the coverage of communications (sends / receives) inside the system and between the system and its environment.The development of an operational prototype, based on a UML-based test generator, has required the definition of rewriting rules to derive the input model of the UML test generator from the SysML4MBT model, by preserving the SysML4MBT expressivity.Finally, the concretization of tests in executable scripts and the assignment of a verdict by executing tests on test bench defined during the VETESS project, complete the operational toolchain that allows tests generation and execution from SysML models.This toolchain has been tried out on several automotive case studies as front lightings, wiper or steering column. Concerning this last experimentation, we have had the opportunity to execute test on a physical test bench. These case studies allow validating each step of the proposed approach.
248

Passive interoperability testing for communication protocols / Le test d'interopérabilité passif pour les protocoles de communication

Chen, Nanxing 24 June 2013 (has links)
Dans le domaine des réseaux, le test de protocoles de communication est une activité importante afin de valider les protocoles applications avant de les mettre en service. Généralement, les services qu'un protocole doit fournir sont décrits dans sa spécification. Cette spécification est une norme ou un standard défini par des organismes de normalisation tels que l'ISO (International Standards Organisation), l'IETF (Internet Engineering Task Force), l'ITU (International Telecommunication Union), etc. Le but du test est de vérifier que les implémentations du protocole fonctionnent correctement et rendent bien les services prévus. Pour atteindre cet objectif, différentes méthodes de tests peuvent être utilisées. Parmi eux, le test de conformité vérifie qu'un produit est conforme à sa spécification. Le test de robustesse vérifie les comportements de l'implémentation de protocole face à des événements imprévus. Dans cette thèse, nous nous intéressons plus particulièrement au test d'interopérabilité, qui vise à vérifier que plusieurs composants réseaux interagissent correctement et fournissent les services prévus. L'architecture générale de test d'interopérabilité fait intervenir un système sous test (SUT) composé de plusieurs implémentations sous test (IUT). Les objectifs du test d'interopérabilité sont à la fois de vérifier que plusieurs implémentations (basées sur des protocoles conçus pour fonctionner ensemble) sont capables d'interagir et que, lors de leur interaction, elles rendent les services prévus dans leurs spécifications respectives. En général, les méthodes de test d'interopérabilité peuvent être classées en deux grandes approches: le test actif et le test passif. Le test actif est une technique de validation très populaire, dont l'objectif est essentiellement de tester les implémentations (IUT), en pratiquant une suite de contrôles et d'observations sur celles-ci. Cependant, une caractéristique fondamentale du test actif est que le testeur possède la capacité de contrôler les IUTs. Cela implique que le testeur perturbe le fonctionnement normal du système testé. De ce fait, le test actif n'est pas une technique appropriée pour le test d'interopérabilité, qui est souvent effectué dans les réseaux opérationnels, où il est difficile d'insérer des entrées arbitraires sans affecter les services ou les fonctionnements normaux des réseaux. A l'inverse, le test passif est une technique se basant uniquement sur les observations. Le testeur n'a pas besoin d'agir sur le SUT notamment en lui envoyant des stimuli. Cela permet au test d'être effectué sans perturber l'environnement normal du système sous test. Le test passif possède également d'autres avantages comme par exemple, pour les systèmes embarqués où le testeur n'a pas d'accès direct, de pourvoir effectuer le test en collectant des traces d'exécution du système, puis de détecter les éventuelles erreurs ou déviations de ces traces vis-à-vis du comportement du système. / In the field of networking, testing of communication protocols is an important activity to validate protocol applications before commercialisation. Generally, the services that must be provided by a protocol are described in its specification(s). A specification is generally a standard defined by standards bodies such as ISO (International Standards Organization), IETF (Internet Engineering Task Force), ITU (International Telecommunication Union), etc. The purpose of testing is to verify that the protocol implementations work correctly and guarantee the quality of the services in order to meet customers expectations. To achieve this goal, a variety of testing methods have been developed. Among them, interoperability testing is to verify that several network components cooperate correctly and provide expected services. Conformance testing verifies that a product conforms to its specification. Robustness testing determines the degree to which a system operates correctly in the presence of exceptional inputs or stressful environmental conditions. In this thesis, we focus on interoperability testing. The general architecture of interoperability testing involves a system under test (SUT), which consists of at least two implementations under test (IUT). The objectives of interoperability testing are to ensure that interconnected protocol implementations are able to interact correctly and, during their interaction, provide the services predefined in their specifications. In general, the methods of interoperability testing can be classified into two approaches: active and passive testing. Among them, active test is the most conventionally used technique, which aims to test the implementations (IUT) by injecting a series of test messages (stimuli) and observing the corresponding outputs. However, the intrusive nature of active testing is that the tester has the ability to control IUTS. This implies that the tester interrupts inevitably the normal operations of the system under test. In this sense, active testing is not a suitable technique for interoperability testing, which is often carried out in operational networks. In such context, it is difficult to insert arbitrary testing messages without affecting the normal behavior and the services of the system. On the contrary, passive testing is a technique based only on observation. The tester does not need to interact with the SUT. This allows the test to be carried out without disturbing the normal operations of the system under test. Besides, passive testing also has other advantages such as: for embedded systems to which the tester does not have direct access, test can still be performed by collecting the execution traces of the system and then detect errors by comparing the trace with the behavior of the system described in its specification. In addition, passive testing makes it possible to moniter a system over a long period, and report abnomality at any time.
249

Résolution exacte de problèmes de couverture par arborescences sous contraintes de capacité / Exact methods for solving covering problems with trees subject to capacity constraints

Guillot, Jérémy 18 December 2018 (has links)
Dans ce document, nous étudions deux problèmes de sectorisation et proposons plusieurs méthodes de résolution exactes basées sur la décomposition de Dantzig-Wolfe et la génération de colonnes. Nous proposons deux modélisations en fonction de la manière d’appréhender l’objectif du problème qui consiste à obtenir des secteurs compacts. Pour chacune des modélisations, nous comparons des approches de résolution exactes basées sur des formulations compactes ou sur des formulations étendues obtenues par la décomposition de Dantzig-Wolfe. Le premier type de modèles proposé définit la fonction objectif à la manière d’un problème de p-median. Concernant les méthodes de résolution pour ce type de modèle, l’accent est mis sur l’accélération de la convergence de l’algorithme de génération de colonnes en mettant en place des techniques d’agrégation de contraintes afin de réduire la dégénérescence de l’algorithme du simplexe. Les expérimentations numériques montrent que la méthode d’agrégation de contraintes proposée permet effectivement de réduire le nombre d’itérations dégénérées. Cependant, elle ne suffit pas à accélérer l’algorithme de branch-and-price. Le choix d’utilisation de la formulation compacte ou de la formulation étendue dépend du type d’instances résolu. Le second type de modèles formule l’objectif d’une manière assez proche de celui des problèmes de p-centre. L’utilisation d’un tel objectif complexifie la résolution des sous-problèmes de génération de colonnes. L’accent est donc mis sur la conception d’algorithmes de branch-and-bound et de programmation dynamique pour les résoudre efficacement. Les expériences montrent que l’algorithme de branch-and-price surpasse les approches de résolution utilisant une formulation compacte du problème. / In this document, we study two districting problems and propose several exact methods, based on Dantzig-Wolfe decomposition and column generation, to solve them. For each model, we compare exact approaches based either on compact formulations or on extended formulations obtained using Dantzig-Wolfe decomposition. The first type of model that we propose defines the objective function in a p-median problem fashion. Regarding the methods used to solve that kind of model, we emphasize accelerating the convergence of the column generation algorithm by designing constraint aggregation techniques in order to reduce the degeneracy in the simplex algorithm. Numerical experiments show that this constraint aggregation method indeed reduces the proportion of degenerated iterations. However, it is not enough to speed up the branch-and-price algorithm. Choosing to tackle the problem through either a compact formulation or an extended formulation depends on the structure of the instances to solve. The second type of model formulates the objective function in a way quite similar to that of p-centre problems. Using such an objective function induces complex column generation subproblems. We focus on designing branch-and-bound and dynamic programming algorithms in order to solve them efficiently. Experiments show that the branch-and-price approach surpasses any proposed method based on compact formulations of the problem.
250

Génération de récits à partir de données ambiantes / Generating stories from ambient data

Baez miranda, Belen 03 December 2018 (has links)
Le récit est un outil de communication qui permet aux individus de donner un sens au monde qui les entoure. Il représente une plate-forme pour comprendre et partager leur culture, connaissances et identité. Le récit porte une série d'événements réels ou imaginaires, en provoquant un ressenti, une réaction ou même, déclenche une action. Pour cette raison, il est devenu un sujet d'intérêt pour différents domaines au-delà de la Littérature (Éducation, Marketing, Psychologie, etc.) qui cherchent d'atteindre un but particulier au travers de lui (Persuader, Réfléchir, Apprendre, etc.).Cependant, le récit reste encore sous-développé dans le contexte informatique. Il existent des travaux qui visent son analyse et production automatique. Les algorithmes et implémentations, par contre, restent contraintes à imiter le processus créatif derrière des textes littéraires provenant de sources textuelles. Ainsi, il n'existent pas des approches qui produisent automatiquement des récits dont 1) la source est constitué de matériel non formatées et passé dans la réalité et 2) et le contenu projette une perspective qui cherche à transmettre un message en particulier. Travailler avec des données brutes devient relevante vu qu'elles augmentent exponentiellement chaque jour grâce à l'utilisation d'appareils connectés.Ainsi, vu le contexte du Big Data, nous présentons une approche de génération automatique de récits à partir de données ambiantes. L'objectif est de faire émerger l'expérience vécue d'une personne à partir des données produites pendant une activité humaine. Tous les domaines qui travaillent avec des données brutes pourraient bénéficier de ce travail, tels que l'Éducation ou la Santé. Il s'agit d'un effort interdisciplinaire qui inclut le Traitement Automatique de Langues, la Narratologie, les Sciences Cognitives et l'Interaction Homme-Machine.Cette approche est basée sur des corpus et modèles et comprend la formalisation de ce que nous appelons le récit d'activité ainsi qu'une démarche de génération adaptée. Elle a est composé de 4 étapes : la formalisation des récits d'activité, la constitution de corpus, la construction de modèles d'activité et du récit, et la génération de texte. Chacune a été conçue pour surmonter des contraintes liées aux questions scientifiques posées vue la nature de l'objectif : la manipulation de données incertaines et incomplètes, l'abstraction valide d'après l'activité, la construction de modèles avec lesquels il soit possible la transposition de la réalité gardée dans les données vers une perspective subjective et la rendue en langage naturel. Nous avons utilisé comme cas d'usage le récit d'activité, vu que les pratiquant se servent des appareils connectés, ainsi qu'ils ont besoin de partager son expérience. Les résultats obtenus sont encourageants et donnent des pistes qui ouvrent beaucoup de perspectives de recherche. / Stories are a communication tool that allow people to make sense of the world around them. It represents a platform to understand and share their culture, knowledge and identity. Stories carry a series of real or imaginary events, causing a feeling, a reaction or even trigger an action. For this reason, it has become a subject of interest for different fields beyond Literature (Education, Marketing, Psychology, etc.) that seek to achieve a particular goal through it (Persuade, Reflect, Learn, etc.).However, stories remain underdeveloped in Computer Science. There are works that focus on its analysis and automatic production. However, those algorithms and implementations remain constrained to imitate the creative process behind literary texts from textual sources. Thus, there are no approaches that produce automatically stories whose 1) the source consists of raw material that passed in real life and 2) and the content projects a perspective that seeks to convey a particular message. Working with raw data becomes relevant today as it increase exponentially each day through the use of connected devices.Given the context of Big Data, we present an approach to automatically generate stories from ambient data. The objective of this work is to bring out the lived experience of a person from the data produced during a human activity. Any areas that use such raw data could benefit from this work, for example, Education or Health. It is an interdisciplinary effort that includes Automatic Language Processing, Narratology, Cognitive Science and Human-Computer Interaction.This approach is based on corpora and models and includes the formalization of what we call the activity récit as well as an adapted generation approach. It consists of 4 stages: the formalization of the activity récit, corpus constitution, construction of models of activity and the récit, and the generation of text. Each one has been designed to overcome constraints related to the scientific questions asked in view of the nature of the objective: manipulation of uncertain and incomplete data, valid abstraction according to the activity, construction of models from which it is possible the Transposition of the reality collected though the data to a subjective perspective and rendered in natural language. We used the activity narrative as a case study, as practitioners use connected devices, so they need to share their experience. The results obtained are encouraging and give leads that open up many prospects for research.

Page generated in 0.0845 seconds