8 resultados para Map-matching
em Université de Montréal, Canada
Resumo:
The following properties of the core of a one well-known: (i) the core is non-empty; (ii) the core is a lattice; and (iii) the set of unmatched agents is identical for any two matchings belonging to the core. The literature on two-sided matching focuses almost exclusively on the core and studies extensively its properties. Our main result is the following characterization of (von Neumann-Morgenstern) stable sets in one-to-one matching problem only if it is a maximal set satisfying the following properties : (a) the core is a subset of the set; (b) the set is a lattice; (c) the set of unmatched agents is identical for any two matchings belonging to the set. Furthermore, a set is a stable set if it is the unique maximal set satisfying properties (a), (b) and (c). We also show that our main result does not extend from one-to-one matching problems to many-to-one matching problems.
Resumo:
We are the first to introduce incomplete information to centralized many-to-one matching markets such as those to entry-level labor markets or college admissions. This is important because in real life markets (i) any agent is uncertain about the other agents' true preferences and (ii) most entry-level matching is many-to-one (and not one-to-one). We show that for stable (matching) mechanisms there is a strong and surprising link between Nash equilibria under complete information and Bayesian Nash equilibria under incomplete information. That is,given a common belief, a strategy profile is a Bayesian Nash equilibrium under incomplete information in a stable mechanism if and only if, for any true profile in the support of the common belief, the submitted profile is a Nash equilibrium under complete information at the true profile in the direct preference revelation game induced by the stable mechanism. This result may help to explain the success of stable mechanisms in these markets.
Resumo:
Les voies de signalisation des MAP kinases (MAPK) conventionnelles jouent des rôles essentiels pendant le développement des lymphocytes T (LT) ainsi que lors de leur activation suite à la reconnaissance antigénique. En raison de ses différences structurelles ainsi que de son mode de régulation, ERK3 fait partie des MAPK dites non-conventionnelles. Encore aujourd’hui, les événements menant à l’activation de ERK3, ses substrats ou partenaires ainsi que sa fonction physiologique demeurent peu caractérisés. Nous avons entrepris dans cette thèse d’étudier le rôle de ERK3 lors du développement et de l’activation des LT en utilisant un modèle de souris déficient pour l’expression de ERK3. Nous avons premièrement établi que ERK3 est exprimée chez les thymocytes. Ensuite, nous avons évalué le développement thymique chez la souris ERK3-déficiente et nous avons observé une diminution significative de la cellularité aux étapes DN1, DP et SP CD4+ du développement des LT. La création de chimères hématopoïétiques ERK3-déficientes nous a permis de démontrer que la diminution du nombre de cellules observée aux étapes DN1 et DP est autonome aux thymocytes alors que le phénotype observé à l’étape SP CD4+ est dépendant de l’abolition simultanée de ERK3 dans l’épithélium thymique et dans les thymocytes. Une étude plus approfondie de l’étape DP nous a permis de démontrer qu’en absence de ERK3, les cellules DP meurent plus abondamment et accumulent des cassures doubles brins (DSB) dans leur ADN. De plus, nous avons démontré que ces cassures dans l’ADN sont réalisées par les enzymes RAG et qu’en absence de ces dernières, la cellularité thymique est presque rétablie chez la souris ERK3-déficiente. Ces résultats suggèrent que ERK3 est impliquée dans un mécanisme essentiel à la régulation des DSB pendant le réarrangement V(D)J de la chaîne du récepteur des cellules T (RCT). Dans le deuxième article présenté dans cette thèse, nous avons montré que ERK3 est exprimé chez les LT périphériques, mais seulement suite à leur activation via le RCT. Une fois activés in vitro les LT ERK3-déficients présentent une diminution marquée de leur prolifération et dans la production de cytokines. De plus, les LT ERK3-déficients survivent de façon équivalente aux LT normaux, mais étonnamment, ils expriment des niveaux plus faibles de la molécule anti-apoptotique Bcl-2. Ces résultats suggèrent que la prolifération réduite des LT ERK3-déficients est la conséquence d’une altération majeure de leur activation. Ainsi, nos résultats établissent que ERK3 est une MAPK qui joue des rôles essentiels et uniques dans le développement thymique et dans l’activation des lymphocytes T périphériques. Grâce à ces travaux, nous attribuons pour la toute première fois une fonction in vivo pour ERK3 au cours de deux différentes étapes de la vie d’un LT.
Resumo:
Les MAP kinases sont des enzymes essentielles impliquées dans 7 voies de signalisation distinctes qui permettent à la cellule de répondre de manière adéquate aux stimuli extra-cellulaires. Chez les mammifères, les MAP kinases les mieux caractérisées sont Erk1/2, Jnk, p38 et Erk5. Ces enzymes jouent un rôle important dans l’embryogenèse, la prolifération et la différenciation cellulaire ainsi que dans la réponse au stress. Erk4 est un membre atypique de la famille MAP kinase. D’une part, la boucle d’activation de Erk4 possède un motif SEG au lieu du motif TXY, très conservé chez les MAP kinases. D’autre part, Erk4 possède une extension en C-terminal du domaine kinase qui n’est pas présente chez les MAP kinases classiques. Jusqu’à présent aucune fonction n’a été attribuée à Erk4. De plus, la voie de signalisation ainsi que le mode de régulation conduisant à l’activation de Erk4 ne sont pas connus. Le seul substrat de Erk4 identifié jusqu’à maintenant est la MAPKAP kinase MK5. L’impact fonctionnel de cette interaction n’est également pas connu. Afin d’en apprendre davantage sur la MAP kinase atypique Erk4, nous avons étudié le mécanisme d’activation de cette kinase ainsi que sa fonction physiologique par une approche de délétion génique chez la souris. En ce qui concerne l’activation de Erk4, nous avons montré que la boucle d’activation de Erk4 (S186EG) est constitutivement phosphorylée in vivo et que cette phosphorylation n’est pas modulée par les stimuli classiques des MAP kinases dont le sérum et le sorbitol. Cependant, nous avons observé que la phosphorylation de la S186 augmente en présence de MK5 et que cette augmentation est indépendante de l’activité kinase de l’une ou l’autre de ces kinases. De plus, nous avons établi que la phosphorylation de la boucle d’activation de Erk4 est requise pour l’interaction stable entre Erk4 et MK5 ainsi que pour l’activation, et la relocalisation cytoplasmique de MK5. Ainsi, notre étude a permis de révéler que Erk4 est régulée de manière différente des MAP kinases classiques et que la phosphorylation de la boucle d’activation de Erk4 joue un rôle essentiel dans la régulation de l’activité de MK5. Parallèlement, nos résultats mettent en évidence l’existence d’une “Erk4 kinase”, dont le recrutement et/ou l’activation semble être facilité par MK5. Afin identifier la fonction physiologique de Erk4, nous avons généré des souris Erk4-déficientes. L’inactivation génique de Erk4 est viable et les souris ne présentent aucune anomalie apparente. Dans le but d’expliquer l’absence de phénotype, nous avons regardé si l’expression de Erk3, le paralogue de Erk4, pouvait compenser la perte de Erk4. Notre analyse a révélé que l’expression de Erk3 dans les souris Erk4-/- n’augmente pas au cours du développement embryonnaire ou dans les tissus adultes afin de compenser pour la perte de Erk4. Par la suite, nous avons adressé la question de redondance entre Erk4 et Erk3. Dans notre laboratoire, les souris Erk3-déficientes ont également été générées et le phénotype de ces souris a récemment été analysé. Cette étude a révélé que l’inactivation génique de Erk3 entraîne un retard de croissance intra-utérin, un défaut de maturation pulmonaire et la mort néo-natale des souriceaux. Nous avons donc regardé la contribution de Erk4 dans ces phénotypes. L’analyse des souris Erk4-/- a révélé que l’inactivation de Erk4 n’entraîne pas de retard de croissance ou de maturation du poumon. De plus, nous avons montré que l’inactivation additionnelle de Erk4 dans les souris Erk3-/- n’accentue pas le phénotype des souris Erk3-déficientes. Ainsi, notre étude a révélé que contrairement à Erk3, Erk4 n’est pas essentielle au développement murin dans des conditions physiologiques. Parallèlement, nous avons montré que Erk4 et Erk3 possèdent des fonctions non-redondantes in vivo.
Resumo:
Dans cette thèse, j’ai étudié les alternatives aux communautés normatives proposées dans les romans suivants: What We All Long For de Dionne Brand, The Map of Love d’Ahdaf Soueif, Anil’s Ghost de Michael Ondaatje aini que Three Day Road et Through Black Spruce de Joseph Boyden. En utilisant un nombre de termes clés (les aspirations, la traduction (culturelle) subversive, la guérison, l’autodétermination), j’ai examiné la critiques des communautés normatives aussi bien que la configuration des communautés alternatives développées dans les œuvres cités ci-haut. L’étude de trois romans diasporiques et deux romans amérindiens m’a permis d’établir un « dialogue » entre deux visions du monde ainsi qu’entre deux approches aux crises des communautés normatives. En effet, la conception d’une communauté alternative présentée dans le roman de Boyden souligne le rôle important que joue la famille dans la conception d’une société postcolonial alternative. Les romans diasporiques, en revanche, évitent de fonder leurs conceptions de la communauté alternative sur la famille traditionnelle comme unité d’organisation sociale. Les communautés alternatives proposées dans les romans diasporiques sont basées sur des alliances au-delà des différences nationales, culturelles, religieuses et ethniques. Le premier chapitre a traité la communauté affective proposée comme alternative à la communauté multiculturelle canadienne. Le deuxième chapitre a traité la communauté alternative et la mezzaterra, l’espace du quel cette communauté ressort, dans The Map of Love de Soueif. Dans le troisième chapitre, j’ai exploré la relation entre la guérison, le toucher et l'émergence d'une communauté alternative dans Anil's Ghost d’Ondaatje. Dans le dernier chapitre, j’ai analysé la façon dont l'affirmation de l'autonomie juridique et la narration pourrait contribuer à la découverte de la vision qui guide la communauté Cri dépeint, dans les romans de Boyden, dans sa tentative de construire une communauté alternative postcoloniale. Mots clés: Communautés alternatives, traduction (culturelle) subversive, affect, communautés normatives en crise, multiculturalisme et guérison
Resumo:
Le Ministère des Ressources Naturelles et de la Faune (MRNF) a mandaté la compagnie de géomatique SYNETIX inc. de Montréal et le laboratoire de télédétection de l’Université de Montréal dans le but de développer une application dédiée à la détection automatique et la mise à jour du réseau routier des cartes topographiques à l’échelle 1 : 20 000 à partir de l’imagerie optique à haute résolution spatiale. À cette fin, les mandataires ont entrepris l’adaptation du progiciel SIGMA0 qu’ils avaient conjointement développé pour la mise à jour cartographique à partir d’images satellitales de résolution d’environ 5 mètres. Le produit dérivé de SIGMA0 fut un module nommé SIGMA-ROUTES dont le principe de détection des routes repose sur le balayage d’un filtre le long des vecteurs routiers de la cartographie existante. Les réponses du filtre sur des images couleurs à très haute résolution d’une grande complexité radiométrique (photographies aériennes) conduisent à l’assignation d’étiquettes selon l’état intact, suspect, disparu ou nouveau aux segments routiers repérés. L’objectif général de ce projet est d’évaluer la justesse de l’assignation des statuts ou états en quantifiant le rendement sur la base des distances totales détectées en conformité avec la référence ainsi qu’en procédant à une analyse spatiale des incohérences. La séquence des essais cible d’abord l’effet de la résolution sur le taux de conformité et dans un second temps, les gains escomptés par une succession de traitements de rehaussement destinée à rendre ces images plus propices à l’extraction du réseau routier. La démarche globale implique d’abord la caractérisation d’un site d’essai dans la région de Sherbrooke comportant 40 km de routes de diverses catégories allant du sentier boisé au large collecteur sur une superficie de 2,8 km2. Une carte de vérité terrain des voies de communication nous a permis d’établir des données de référence issues d’une détection visuelle à laquelle sont confrontés les résultats de détection de SIGMA-ROUTES. Nos résultats confirment que la complexité radiométrique des images à haute résolution en milieu urbain bénéficie des prétraitements telles que la segmentation et la compensation d’histogramme uniformisant les surfaces routières. On constate aussi que les performances présentent une hypersensibilité aux variations de résolution alors que le passage entre nos trois résolutions (84, 168 et 210 cm) altère le taux de détection de pratiquement 15% sur les distances totales en concordance avec la référence et segmente spatialement de longs vecteurs intacts en plusieurs portions alternant entre les statuts intact, suspect et disparu. La détection des routes existantes en conformité avec la référence a atteint 78% avec notre plus efficace combinaison de résolution et de prétraitements d’images. Des problèmes chroniques de détection ont été repérés dont la présence de plusieurs segments sans assignation et ignorés du processus. Il y a aussi une surestimation de fausses détections assignées suspectes alors qu’elles devraient être identifiées intactes. Nous estimons, sur la base des mesures linéaires et des analyses spatiales des détections que l’assignation du statut intact devrait atteindre 90% de conformité avec la référence après divers ajustements à l’algorithme. La détection des nouvelles routes fut un échec sans égard à la résolution ou au rehaussement d’image. La recherche des nouveaux segments qui s’appuie sur le repérage de points potentiels de début de nouvelles routes en connexion avec les routes existantes génère un emballement de fausses détections navigant entre les entités non-routières. En lien avec ces incohérences, nous avons isolé de nombreuses fausses détections de nouvelles routes générées parallèlement aux routes préalablement assignées intactes. Finalement, nous suggérons une procédure mettant à profit certaines images rehaussées tout en intégrant l’intervention humaine à quelques phases charnières du processus.
Resumo:
Cette thèse porte sur la reconstruction active de modèles 3D à l’aide d’une caméra et d’un projecteur. Les méthodes de reconstruction standards utilisent des motifs de lumière codée qui ont leurs forces et leurs faiblesses. Nous introduisons de nouveaux motifs basés sur la lumière non structurée afin de pallier aux manques des méthodes existantes. Les travaux présentés s’articulent autour de trois axes : la robustesse, la précision et finalement la comparaison des patrons de lumière non structurée aux autres méthodes. Les patrons de lumière non structurée se différencient en premier lieu par leur robustesse aux interréflexions et aux discontinuités de profondeur. Ils sont conçus de sorte à homogénéiser la quantité d’illumination indirecte causée par la projection sur des surfaces difficiles. En contrepartie, la mise en correspondance des images projetées et capturées est plus complexe qu’avec les méthodes dites structurées. Une méthode d’appariement probabiliste et efficace est proposée afin de résoudre ce problème. Un autre aspect important des reconstructions basées sur la lumière non structurée est la capacité de retrouver des correspondances sous-pixels, c’est-à-dire à un niveau de précision plus fin que le pixel. Nous présentons une méthode de génération de code de très grande longueur à partir des motifs de lumière non structurée. Ces codes ont l’avantage double de permettre l’extraction de correspondances plus précises tout en requérant l’utilisation de moins d’images. Cette contribution place notre méthode parmi les meilleures au niveau de la précision tout en garantissant une très bonne robustesse. Finalement, la dernière partie de cette thèse s’intéresse à la comparaison des méthodes existantes, en particulier sur la relation entre la quantité d’images projetées et la qualité de la reconstruction. Bien que certaines méthodes nécessitent un nombre constant d’images, d’autres, comme la nôtre, peuvent se contenter d’en utiliser moins aux dépens d’une qualité moindre. Nous proposons une méthode simple pour établir une correspondance optimale pouvant servir de référence à des fins de comparaison. Enfin, nous présentons des méthodes hybrides qui donnent de très bons résultats avec peu d’images.