Generating finite integral relation algebras

Relation algebras and categories of relations in particular have proven to be extremely useful as a fundamental tool in mathematics and computer science. Since relation algebras are Boolean algebras with some well-behaved operations, every such algebra provides an atom structure, i.e., a relational structure on its set of atoms. In the case of complete and atomic structure (e.g. finite algebras), the original algebra can be recovered from its atom structure by using the complex algebra construction. This gives a representation of relation algebras as the complex algebra of a certain relational structure. This property is of particular interest because storing the atom structure requires less space than the entire algebra. In this thesis I want to introduce and implement three structures representing atom structures of integral heterogeneous relation algebras, i.e., categorical versions of relation algebras. The first structure will simply embed a homogeneous atom structure of a relation algebra into the heterogeneous context. The second structure is obtained by splitting all symmetric idempotent relations. This new algebra is in almost all cases an heterogeneous structure having more objects than the original one. Finally, I will define two different union operations to combine two algebras into a single one.

Generating Relation Algebras for Qualitative Spatial Reasoning

Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.

Report of a select committee to whom were referred the petition of Samuel Thompson and John Dailey: January 14, 1817, read, and ordered to lie upon the table (1817)

Concerning the request of the petitioners, former residents of Newark (present-day Niagara-on-the-Lake) in Upper Canada, for relief for the loss of their property when they were compelled to flee Canada after having aided the United States Army in the War of 1812.

Children's Lie-Telling and Self-Awareness as an Honesty Promoting Technique

The present study investigated how social-cognitive development relates to children’s lie-telling and the effectiveness of a novel honesty promoting technique (i.e., self-awareness). Sixty-four children were asked not to peek at a toy in the experimenter’s absence and were later asked about whether they had peeked as a measure of their honesty. Half of the children were questioned in the self-awareness condition and half in the control condition. Additionally, children completed a battery of cognitive and social-cognitive tests to assess executive functioning and theory-of-mind understanding. While first-order theory-of-mind understanding, inhibitory control, and visuospatial working memory did not significantly relate to children’s lie-telling, measures of inhibitory control in conjunction with working memory and complex working memory were significantly related to children’s lie-telling. Finally, the novel honesty promoting technique was effective: children in the self-aware condition lied significantly less often than children in the control condition.

L'attraction et la rétention des infirmières dans des programmes de personnes en perte d'autonomie liée au vieillissement: un défi pour les cadres intermédiaires

Les résultats de cette recherche faite auprès de cadres intermédiaires qui sont les gestionnaires des infirmières travaillant dans des programmes de personnes âgées en perte d'autonomie liée au vieillissement(PALV) montrent qu'il est difficile d'y attirer de nouvelles infirmières en raison du peu de popularité du domaine de la gériatrie.Afin d'y attirer des candidates, les cadres peuvent faire valoir le défi de gérer des situations de santé souvent complexes, la flexibilité des horaires de travail,l'autonomie dont elles disposent dans l'organisation de leur travail, le nombre de week-end de travail moins élevé que dans les hôpitaux et l'absence de travail supplémentaire obligatoire. Selon ces cadres, la rétention des infirmières dans de tels programmes PALV ne crée pas problème. Pour favoriser davantage cette rétention, des mesures élaborées d'orientation et d'encadrement des nouvelles infirmières de même que des mécanismes d'évaluation formelle doivent être mis en place, des efforts doivent être faits pour répartir équitablement les tâches, pour amener les infirmières à agir en tant que gestionnaires de cas et à se délester de tâches au profit des infirmières auxiliaires, et pour les sensibiliser à l'importance de la notion de prise en charge de sa santé par le client; des activités de formation continue significatives pour les infirmières doivent être élaborées à partir de l'analyse de leurs propres besoins et enfin des charges de travail particulières doivent être offertes aux infirmiàres de 55 ans et plus dans le but de les retenir au travail.

Participation des immigrants à la formation liée à un emploi au Canada

L’essor continu de l’économie canadienne repose grandement sur l’immigration. Toutefois, le Canada a encore du chemin à faire pour assurer l’intégration des nouveaux arrivants sur le marché du travail. Notre recherche porte sur un moyen souvent considéré comme essentiel pour accomplir cette intégration : la formation liée à l’emploi. L’expression « formation liée à l’emploi » fait référence aux activités d’apprentissage en lien avec un emploi et parrainées par l’employeur. Nous avons deux objectifs. Le premier est de déterminer si les immigrants et les Canadiens de naissance ont les mêmes chances de participer à des activités de formation liée à l’emploi. Le deuxième est d’examiner l’effet du sexe et de la durée depuis l’immigration sur la probabilité qu’un immigrant participe à la formation liée à l’emploi. Notre analyse est de type quantitatif et utilise les données de l’Enquête sur l’éducation et la formation des adultes de l’année 2003, menée par Statistiques Canada. Concernant le premier objectif, il ressort de nos analyses que les travailleurs immigrants sont moins susceptibles que les Canadiens de naissance de participer à la formation liée à l’emploi. Même si d'autres études ont remarqué un écart semblable entre ces deux groupes, notre recherche a la particularité de contrôler l'impact de six variables qui, selon la littérature, affectent le niveau de participation à la formation liée à l’emploi. Cette particularité réduit la probabilité que la différence observée entre les immigrants et les Canadiens de naissance puisse être le résultat d'un facteur autre que le statut d'immigrant. Quant au deuxième objectif, notre étude montre que la durée depuis l'immigration augmente les chances qu'un immigrant participe à la formation liée à l’emploi. Néanmoins, la question concernant l'impact du sexe de l’immigrant demeure ouverte. En effet, à l’encontre de nos attentes, nous n’avons pas observé d’effet statistiquement significatif du sexe sur la relation entre le statut d’immigrant et la participation à la formation liée à l’emploi. Notre recherche permet d'attirer le regard sur un possible facteur modérateur qui mérite plus de réflexion de la part des chercheurs.

Synthèse de la triphénylphosphine liée au polystyrène non réticulé et son utilisation lors de la réaction de Mitsunobu. Cyclopropanation catalytique énantiosélective d'alcènes utilisant le diazométhane

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

L’incapacité au travail liée aux troubles musculosquelettiques : aspects théoriques et différences de genre

Introduction : Cette thèse est constituée de trois articles liés les uns aux autres. Le premier s’attache à clarifier les perspectives théoriques et problèmes conceptuels entourant la notion de capacité/incapacité au travail, sa définition et son évolution au fil du temps. Les deuxième et troisième articles visent à évaluer les effets différentiels selon le genre de déterminants du retour au travail (RAT) et de la durée d’indemnisation ainsi que les coûts associés, dans une population de travailleurs indemnisés à long terme pour troubles musculosquelettiques (TMS). Méthodes : Dans le premier article, une revue systématique des définitions de l’(in)capacité au travail et une analyse comparative basée sur la théorisation ancrée débouchent sur une carte conceptuelle intégrative. Dans le second article, une cohorte de 455 adultes en incapacité à long terme pour TMS au dos/cou/membres supérieurs est suivie cinq ans au travers d’entretiens structurés et de données d’indemnisation. Des modèles de Cox stratifiés par genre ont été utilisés pour évaluer la durée jusqu’au premier RAT. Dans le troisième article, une cohorte populationnelle de 13,073 hommes et 9032 femmes en incapacité prolongée pour TMS au dos/cou/membres supérieurs a été suivie pendant trois ans à l’aide de données administratives. Des modèles de Cox stratifiés par genre ont été utilisés pour étudier la durée d’indemnisation et détecter les effets dépendants du temps. Les coûts ont également été examinés. Résultats : Les définitions analysées dans la première étude ne reflètent pas une vision intégrée et partagée de l’(in)capacité au travail. Cependant, un consensus relatif semble émerger qu’il s’agit d’un concept relationnel, résultant de l’interaction de multiples dimensions aux niveaux individuel, organisationnel et sociétal. La seconde étude montre que malgré des courbes de survie jusqu’au RAT similaires entre hommes et femmes (p =0.920), plusieurs déterminants diffèrent selon le genre. Les femmes plus âgées (HR=0.734, par tranches de 10 ans), d’un statut économique perçu comme pauvre (HR=0.625), travaillant ≥40 heures/semaine en ayant des personnes à charge (HR=0.508) et ne connaissant pas l’existence d’un programme de santé et sécurité sur leur lieu de travail (HR=0.598) retournent moins vite au travail, tandis qu’un revenu brut annuel plus élevé (par $10,000) est un facteur facilitant (HR=1.225). Les hommes de plus de 55 ans (HR=0.458), au statut économique perçu comme pauvre (HR=0.653), travaillant ≥40 heures/semaine avec une charge de travail physique perçue élevée (HR=0.720) et une plus grande précarité d’emploi (HR=0.825) retournent moins rapidement au travail. La troisième étude a révélé que trois ans après la lésion, 12.3% des hommes et 7.3% des femmes étaient encore indemnisés, avec un ratio de coûts homme-femme pour l’ensemble des réclamations de 2.1 :1. L’effet de certain prédicteurs (e.g. revenu, siège de lésion, industrie) varie selon le genre. De plus, l’effet de l’âge chez les hommes et l’effet de l’historique d’indemnisation chez les femmes varient dans le temps. Conclusion : La façon de définir l’(in)capacité au travail a des implications importantes pour la recherche, l’indemnisation et la réadaptation. Les résultats confirment également la pertinence d’investiguer les déterminants du RAT et de l’indemnisation selon le genre.

Étude pangénomique de la variabilité dans le nombre de copies liée à l’hypertension artérielle et ses anomalies métaboliques associées

L’hypertension artérielle essentielle (HTA) est une pathologie complexe, multifactorielle et à forte composante génétique. L’impact de la variabilité dans le nombre de copies sur l’HTA est encore peu connu. Nous envisagions que des variants dans le nombre de copies (CNVs) communs pourraient augmenter ou diminuer le risque pour l’HTA. Nous avons exploré cette hypothèse en réalisant des associations pangénomiques de CNVs avec l’HTA et avec l’HTA et le diabète de type 2 (DT2), chez 21 familles du Saguenay-Lac-St-Jean (SLSJ) caractérisées par un développement précoce de l’HTA et de la dyslipidémie. Pour la réplication, nous disposions, d’une part, de 3349 sujets diabétiques de la cohorte ADVANCE sélectionnés pour des complications vasculaires. D’autre part, de 187 sujets de la cohorte Tchèque Post-MONICA (CTPM), choisis selon la présence/absence d’albuminurie et/ou de syndrome métabolique. Finalement, 134 sujets de la cohorte CARTaGENE ont été analysés pour la validation fonctionnelle. Nous avons détecté deux nouveaux loci, régions de CNVs (CNVRs) à effets quantitatifs sur 17q21.31, associés à l’hypertension et au DT2 chez les sujets SLSJ et associés à l’hypertension chez les diabétiques ADVANCE. Un modèle statistique incluant les deux variants a permis de souligner le rôle essentiel du locus CNVR1 sur l’insulino-résistance, la précocité et la durée du diabète, ainsi que sur le risque cardiovasculaire. CNVR1 régule l’expression du pseudogène LOC644172 dont le dosage est associé à la prévalence de l’HTA, du DT2 et plus particulièrement au risque cardiovasculaire et à l’âge vasculaire (P<2×10-16). Nos résultats suggèrent que les porteurs de la duplication au locus CNVR1 développent précocement une anomalie de la fonction bêta pancréatique et de l’insulino-résistance, dues à un dosage élevé de LOC644172 qui perturberait, en retour, la régulation du gène paralogue fonctionnel, MAPK8IP1. Nous avons également avons identifié six CNVRs hautement hérités et associés à l'HTA chez les sujets SLSJ. Le score des effets combinés de ces CNVRs est apparu positivement et étroitement relié à la prévalence de l’HTA (P=2×10-10) et à l’âge de diagnostic de l’HTA. Dans la population SLSJ, le score des effets combinés présente une statistique C, pour l’HTA, de 0.71 et apparaît aussi performant que le score de risque Framingham pour la prédiction de l’HTA chez les moins de 25 ans. Un seul nouveau locus de CNVR sur 19q13.12, où la délétion est associée à un risque pour l’HTA, a été confirmé chez les Caucasiens CTPM. Ce CNVR englobe le gène FFAR3. Chez la souris, il a été démontré que l’action hypotensive du propionate est en partie médiée par Ffar3, à travers une interférence entre la flore intestinale et les systèmes cardiovasculaire et rénal. Les CNVRs identifiées dans cette étude, affectent des gènes ou sont localisées dans des QTLs reliés majoritairement aux réponses inflammatoires et immunitaires, au système rénal ainsi qu’aux lésions/réparations rénales ou à la spéciation. Cette étude suggère que l’étiologie de l’HTA ou de l’HTA associée au DT2 est affectée par des effets additifs ou interactifs de CNVRs.

Dysfonction exécutive liée aux cauchemars idiopathiques fréquents : une étude de reproduction

Une étude récente rapporte que des participants souffrant de cauchemars idiopathiques fréquents (CIF) produisaient plus d’erreurs de persévération sur une tâche de fluence verbale (TFV) que des participants contrôle (CTL) (Simor et al., 2012). Cela suggère une dysfonction exécutive chez les participants CIF, soutenant le modèle des cauchemars Affective Network Dysfunction (AND). Notre objectif était de reproduire cette trouvaille auprès d’une cohorte francophone. Des TFV lexicale et sémantique ont été administrées à 23 participants avec CIF et à 16 CTL. Contrairement aux attentes, le groupe CIF n’affichait pas plus de persévération (p=.87). L’absence de reproduction pourrait infirmer la suggestion d’une dysfonction exécutive liée au CIF, toutefois des différences méthodologiques entre les études et les complexités de la TFV peuvent jouer un rôle dans le décalage entre les études. Nous suggérons que l’étude future des déficits exécutifs liés aux CIF emploie des tâches neuropsychologiques non linguistiques empiriquement associées au sommeil paradoxal.