A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

Étude de l’efficacité des classes de langage dans la région de Montréal sur la réussite éducative des élèves dysphasiques sévères

Cette recherche porte sur la situation des élèves dysphasiques au Québec. En effet, l’identification de leur trouble, l’accessibilité à des services adaptés et la scolarisation de ces élèves a connu, à travers les années, quelques problèmes. Actuellement, 66,40% des élèves dysphasiques sévères au Québec ne sont pas scolarisés en classe ordinaire (MELS, 2008b). Une partie d’entre eux se retrouve dans des classes de langage aussi appelées classes de communication. Ce milieu de scolarisation fait partie du niveau 5 du système en cascade proposé dans le rapport COPEX (MEQ, 1976). Ce type de service a été mis en place afin de répondre, entre autres, aux besoins particuliers de la population d’élèves dysphasiques sévères. Par contre, leur efficacité par rapport à la réussite éducative de ces élèves n’est toujours pas évaluée. La recension des écrits a permis l’approfondissement des éléments-clés de la recherche, soit la dysphasie, la classe de langage et l’efficacité. Cette même recension a permis à la chercheuse de se positionner par rapport au cadre méthodologique utilisé. Ainsi, cette étude qualitative de type exploratoire vise à aller chercher sur le terrain des informations concernant l’efficacité des classes de langage. Celles-ci ont été collectées en utilisant principalement l’entretien individuel, le questionnaire ayant plutôt servi à collecter des informations factuelles sur les participants. Les personnes questionnées, qui sont au nombre de neuf, sont les principaux agents qui gravitent autour de l’élève dysphasique sévère fréquentant une classe de langage : les parents, les enseignants et les orthophonistes. Les résultats permettent une avancée dans la recherche pour ce qui est des effets de la classe de langage sur la réussite éducative des élèves dysphasiques sévères.

Problèmes de perception de la parole dans le bruit chez les enfants présentant un trouble de traitement auditif

Il est bien connu que les enfants qui présentent un trouble de traitement auditif (TTA) ont de la difficulté à percevoir la parole en présence de bruit de fond. Cependant, il n’existe aucun consensus quant à l’origine de ces difficultés d’écoute. Ce programme de recherche est consacré à l’étude des incapacités sous-jacentes aux problèmes de perception de la parole dans le bruit chez les enfants présentant un TTA. Le Test de Phrases dans le Bruit (TPB) a été développé afin d’examiner si les difficultés de perception de la parole dans le bruit d’enfants ayant un TTA relèvent d’incapacités auditives, d’incapacités cognitivo-linguistiques ou des deux à la fois. Il comprend cinq listes de 40 phrases, composées de 20 phrases hautement prévisibles (HP) et de 20 phrases faiblement prévisibles (FP), de même qu’un bruit de verbiage. Le niveau de connaissance du mot clé (mot final) de chaque phrase a été vérifié auprès d’un groupe d’enfants âgés entre 5 et 7 ans. De plus, le degré d’intelligibilité des phrases dans le bruit et le niveau de prévisibilité ont été mesurées auprès d’adultes pour assurer l’équivalence entre les listes. Enfin, le TPB a été testé auprès d’un groupe de 15 adultes et d’un groupe de 69 enfants sans trouble auditif avant de l’administrer à des enfants ayant un TTA. Pour répondre à l’objectif général du programme de recherche, dix enfants présentant un TTA (groupe TTA) et dix enfants jumelés selon le genre et l’âge sans difficulté auditive (groupe témoin) ont été soumis aux listes de phrases du TPB selon différentes conditions sonores. Le groupe TTA a obtenu des performances significativement plus faibles comparativement au groupe témoin à la tâche de reconnaissance du mot final des phrases présentées en même temps qu’un bruit de verbiage compétitif, aux rapports signal-sur-bruit de 0, +3 et +4 dB. La moyenne de la différence des scores obtenue entre les phrases HP et FP à chaque condition expérimentale de bruit était similaire entre les deux groupes. Ces résultats suggèrent que les enfants ayant un TTA ne se distinguent pas des enfants du groupe témoin au plan de la compétence cognitivo-linguistique. L’origine des difficultés d’écoute de la parole dans le bruit dans le cas de TTA serait de nature auditive. Toutefois, les résultats des analyses de groupe diffèrent de ceux des analyses individuelles. Les divers profils de difficultés d’écoute identifiés auprès de cette cohorte appuient l’importance de continuer les investigations afin de mieux comprendre l’origine des problèmes de perception de la parole dans le bruit dans le cas de TTA. En connaissant mieux la nature de ces difficultés, il sera possible d’identifier les stratégies d’intervention de réadaptation spécifiques et efficaces.

An ethnolinguistic study of the Yanesha’ (Amuesha) language and speech community in Peru’s Andean Amazon, and the traditional role of Ponapnora, a female rite of passage

Thesis written in co-mentorship with Richard Chase Smith Ph.D, of El Instituto del Bien Comun (IBC) in Peru. The attached file is a pdf created in Word. The pdf file serves to preserve the accuracy of the many linguistic symbols found in the text.

Examining the incremental validity of psychopathy versus antisocial personality disorder in understanding patterns of criminal behavior

La psychopathie et le trouble de personnalité antisociale sont deux syndromes reliés qui ont été identifiés comme prédicteurs importants de comportements violents et de criminalité. Cependant, la recherche indique que les facteurs de la psychopathie centrés sur la personnalité ne sont pas des prédicteurs fiables de récidive violente chez les personnes atteintes de maladies mentales. Toutefois, peu d’études se sont centrées sur l’identification des facteurs associés au patron des antécédents criminels. Les 96 hommes de l’étude ont été déclarés non criminellement responsables en raison de troubles mentaux. Ils ont été évalués quant au trouble de la personnalité antisociale ainsi qu’à la psychopathie. Les dossiers criminels de la Gendarmerie Royale du Canada ont également été consultés afin de reconstituer l’histoire criminelle. Les résultats suggèrent que ni les traits de personnalité antisociaux, ni les facteurs de la psychopathie ne démontrent une validité prédictive incrémentielle les uns sur les autres quant au nombre ou à la sévérité des délits. La présence d’un grand nombre de traits antisociaux est associée à un plus grand nombre et à une plus importante sévérité d’actes criminels non-violents. Les résultats sont discutés en termes de l’utilité d’une classification du trouble de personnalité antisociale, et de la pertinence du construit de la psychopathie pour les personnes atteintes de maladies mentales graves.

A lexical semantic study of Dene Suliné, an Athabaskan language

Cette thèse constitue une étude systématique du lexique du déné sųłiné, une langue athabaskane du nord-ouest canadien. Elle présente les définitions et les patrons de combinatoire syntaxique et lexicale de plus de 200 unités lexicales, lexèmes et phrasèmes, qui représentent une partie importante du vocabulaire déné sųłiné dans sept domaines: les émotions, le caractère humain, la description physique des entités, le mouvement des êtres vivants, la position des entités, les conditions atmospheriques et les formations topologiques, en les comparant avec le vocubulaire équivalent de l'anglais. L’approche théorique choisie est la Théorie Sens-Texte (TST), une approche formelle qui met l’accent sur la description sémantique et lexicographique empiriques. La présente recherche relève d'importantes différences entre le lexique du déné sųłiné et celui de l'anglais à tous les niveaux: dans la correspondence entre la représentation conceptuelle, considérée (quasi-)extralinguistique, et la structure sémantique; dans les patrons de lexicalisation des unités lexicales, et dans les patrons de combinatoire syntaxique et lexicale, qui montrent parfois des traits propres au déné sųłiné intéressants.

The prevalence of congenital amusia

L’amusie congénitale est un trouble neurogénétique qui se caractérise par une inhabileté à acquérir des habiletés musicales de base, telles que la perception musicale et la reconnaissance musicale normales, malgré une audition, un développement du langage et une intelligence normaux (Ayotte, Peretz & Hyde, 2002). Récemment, une éude d’aggrégation familiale a démontré que 39% des membres de familles d’individus amusiques démontrent le trouble, comparativement à 3% des membres de familles d’individus normaux (Peretz et al., 2007). Cette conclusion est intéressante puisqu’elle démontre une prévalence de l’amusie congénitale dans la population normale. Kalmus et Fry (1980) ont évalué cette prévalence à 4%, en utilisant le Distorted Tunes Test (DTT). Par contre, ce test présente certaines lacunes méthodologiques et statistiques, telles un effet plafond important, ainsi que l’usage de mélodies folkloriques, désavantageant les amusiques puisque ceux-ci ne peuvent pas assimiler ces mélodies correctement. L’étude présente visait à réévaluer la prévalence de l’amusie congénitale en utilisant un test en ligne récemment validé par Peretz et ses collègues (2008). Mille cent participants, d’un échantillon homogène, ont complété le test en ligne. Les résultats démontrent une prévalence globale de 11.6%, ainsi que quatre profiles de performance distincts: pitch deafness (1.5%), pitch memory amusia (3.2%), pitch perception amusia (3.3%), et beat deafness (3.3%). La variabilité des résultats obtenus avec le test en ligne démontre l’existence de quatre types d’amusies avec chacune une prévalence individuelle, indiquant une hétérogénéité dans l’expression de l’amusie congénitale qui devra être explorée ultérieurement.

Symptoms of posttraumatic stress disorder in young males diagnosed with testicular or lymphatic cancer

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

Ideologies of language and print media in Ghana

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

Being anglophone : language, place and identity in Quebec's eastern townships

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

Julien Macho et sa contribution à la vie culturelle de Lyon

Cette thèse veut déterminer la contribution de Julien Macho, membre de l’Ordre des ermites de saint Augustin de Lyon, à la vie culturelle de son époque. Son œuvre n’est pas, à proprement parler, une œuvre originale, mais un ensemble de traductions du latin au français, de corrections et d’éditions de textes religieux ou moraux. Ses livres ont été publiés dans une courte période, entre 1473 et 1480, et plusieurs rééditions, de la fin du 15e s. et du début du 16e s., sont connues. Il est question, à cette époque, à Lyon comme ailleurs en France, d’un grand désordre dans l’organisation religieuse et les critiques se font entendre de part et d’autre du pays. Devant la décadence de l’Église, la piété privée commence à se développer, une piété qui a besoin d’un nouveau support pour rendre accessibles les enseignements moraux à une population bourgeoise de plus en plus lettrée. Or, conscient de ces récents développements, Macho oriente tout son travail dans le but précis de rejoindre, en langue vernaculaire, un vaste auditoire. L’objectif de cette thèse de doctorat est d’analyser une partie de l’œuvre de Macho dans le but de mieux comprendre les intentions de l’auteur. Ce but premier permettra aussi de documenter, par un biais nouveau, une période charnière du développement intellectuel occidental, le passage du Moyen Âge à la Renaissance. Le travail comporte trois parties. Dans la première partie, il a fallu entreprendre une étude approfondie des contextes social, historique et intellectuel de cette période : tout d’abord, l’histoire de l’Ordre des ermites de saint Augustin et de l’enseignement offert à leurs membres, dans le contexte de la spiritualité en France à la fin du 15e siècle; par la suite, il convenait de présenter un survol de la ville de Lyon, de son Église et du développement de l’imprimerie dans cette ville. La deuxième partie porte sur les œuvres attribuées, à tort ou à raison, à Macho, vu la carence de recherches sur Julien Macho lui-même, et sur une enquête systématique pour apporter une preuve de l’existence de ce traducteur. La troisième partie s’attache à une lecture de deux œuvres de l’augustin lyonnais : une de longue tradition littéraire, Ésope, l’adaptation d’un recueil de fables, et une religieuse, rattachée à la pratique religieuse contemporaine, le Mirouer de la redemption de lumain lignage. Ésope est l’œuvre la plus originale de Macho, c’est-à-dire l’ouvrage où il est le plus intervenu comparativement au texte original. La comparaison avec sa source, l’Äsop latin-allemand d’Heinrich Steinhöwel, a montré comment le fabuliste lyonnais s’en est détaché pour ajouter à son texte un grand nombre de proverbes. Le Mirouer de la redemption de lumain lignage, une somme de toutes les observances de la vie religieuse et des lectures qu’un chrétien doit connaître, intègre des parties d’une autre œuvre bien connue, la Légende dorée, une pratique que l’on ne retrouve pas dans les autres traductions françaises du Speculum humanae salvationis. Loin d’être une analyse exhaustive de l’œuvre, la compilation des citations et du contenu même du texte permet de cerner en quoi consistait une certaine pratique de la religion au 15e siècle. Il en résulte un panorama du contexte culturel dans lequel vivait Julien Macho, théologien, prieur et traducteur et des œuvres qui lui sont attribuée. Un personnage dont l’étude montre un intellectuel représentatif de son époque, la fin du 15e siècle.

Psychiatric and neurological symptoms in schizophrenia and substance use disorder patients treated for 12-weeks with quetiapine

Contexte Autant dans une population schizophrène que non schizophrène, l‘abus de substance a pour conséquence la manifestation de symptômes psychiatriques et neurologiques. Dans les présentes études cas-témoins, nous avons examiné les différences initiales ainsi que les changements suite au traitement de 12 semaines à la quetiapine au niveau de la sévérité de la toxicomanie et des symptômes psychiatriques et neurologiques chez 3 groupes distincts. Ces 3 groupes sont: des patients schizophrènes avec une toxicomanie (double diagnostic: DD), des patients schizophrènes sans toxicomanie concomittante (SCZ) et finalement, des toxicomanes non schizophrènes (SUD). Parallèlement, afin de nous aider à interpréter nos résultats, nous avons mené deux revues systématiques: la première regardait l‘effet d‘antipsychotiques dans le traitement de troubles d‘abus/dépendance chez des personnes atteintes ou non de psychoses, la deuxième comparait l‘efficacité de la quetiapine et sa relation dose-réponse parmi différents désordres psychiatriques. Méthodes Pour nos études cas-témoins, l‘ensemble des symptômes psychiatriques et neurologiques ont été évalués via l‘Échelle du syndrome positif et négatif (PANSS), l‘Échelle de dépression de Calgary, l‘Échelle des symptômes extrapyramidaux (ESRS) ainsi qu‘avec l‘Échelle d‘akathisie de Barnes. Résultats À la suite du traitement de 12 semaines avec la quetiapine, les groupes SCZ et DD recevaient des doses de quetiapine significativement plus élevées (moyenne = 554 et 478 mg par jour, respectivement) par rapport au groupe SUD (moyenne = 150 mg par jour). Aussi, nous avons observé chez ces mêmes patients SUD une plus importante baisse du montant d‘argent dépensé par semaine en alcool et autres drogues, ainsi qu‘une nette amélioration de la sévérité de la toxicomanie comparativement aux patients DD. Par conséquent, à la fin de l‘essai de 12 semaines, il n‘y avait pas de différence significative dans l‘argent dépensé en alcool et drogues entre les deux groupes de toxicomanes iv or, les patients DD présentait, comme au point de départ, un score de toxicomanie plus sévère que les SUD. Étonnamment, aux points initial et final de l‘étude, le groupe DD souffrait de plus de symptômes parkinsoniens et de dépression que le groupe SCZ. Par ailleurs, nous avons trouvé qu‘initiallement, les patients SUD présentaient significativement plus d‘akathisie, mais qu‘en cours de traitement, cette akathisie reliée à l‘abus/dépendance de cannabis s‘est nettement améliorée en comparaison aux patients SCZ. Enfin, les patients SUD ont bénéficié d‘une plus grande diminution de leurs symptômes positifs que les 2 groupes atteints de schizophrénie. Conclusions Bref, l‘ensemble de nos résultats fait montre d‘une vulnérabilité accentuée par les effets négatifs de l‘alcool et autres drogues dans une population de patients schizophrènes. Également, ces résultats suggèrent que l‘abus de substance en combinaison avec les états de manque miment certains symptômes retrouvés en schizophrénie. De futures études seront nécessaires afin de déterminer le rôle spécifique qu‘a joué la quetiapine dans ces améliorations.

SCIL processor : a common intermediate language processor for embedded systems

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

The eroticization of space and language through desire in Gail Scott's My Paris

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Psychiatric symptoms in idiopathic rapid-eye-movement sleep behaviour disorder

Le trouble comportemental en sommeil paradoxal (TCSP) idiopathique est caractérisé par une activité motrice indésirable et souvent violente au cours du sommeil paradoxal. Le TCSP idiopathique est considéré comme un facteur de risque de certaines maladies neurodégénératives, particulièrement la maladie de Parkinson (MP) et la démence à corps de Lewy (DCL). La dépression et les troubles anxieux sont fréquents dans la MP et la DCL. L’objectif de cette étude est d’évaluer la sévérité des symptômes dépressifs et anxieux dans le TCSP idiopathique. Cinquante-cinq patients avec un TCSP idiopathique sans démence ni maladie neurologique et 63 sujets contrôles ont complété la seconde édition du Beck Depression Inventory (BDI-II) et le Beck Anxiety Inventory (BAI). Nous avons aussi utilisé le BDI for Primary Care (BDI-PC) afin de minimiser la contribution des facteurs confondant dans les symptômes dépressifs. Les patients avec un TCSP idiopathique ont obtenu des scores plus élevés que les sujets contrôles au BDI-II (9.63 ± 6.61 vs. 4.32 ± 4.58; P < 0.001), au BDI-PC (2.20 ± 2.29 vs. 0.98 ± 1.53; P = 0.001) et au BAI (8.37 ± 7.30 vs. 3.92 ± 5.26; P < 0.001). Nous avons également trouvé une proportion plus élevée des sujets ayant des symptômes dépressifs (4/63 ou 6% vs. 12/55 ou 22%; P = 0.03) ou anxieux (9/50 or 18% vs. 21/43 ou 49%; P = 0.003) cliniquement significatifs. La proportion des sujets ayant des symptômes dépressifs cliniquement significatifs ne change pas en utilisant le BDI-PC (11/55 or 20%) Les symptômes dépressifs et anxieux sont fréquents dans le TCSP idiopathique. L’examen de routine des patients avec un TCSP idiopathique devrait inclure un dépistage systématique des symptômes dépressifs et anxieux afin de les prévenir ou les traiter.