Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques.

Nous proposons une approche d’extraction des diagrammes de séquence à partir de programmes orientés objets en combinant l’analyse statique et dynamique. Notre objectif est d’extraire des diagrammes compacts mais contenant le plus d’informations possible pour faciliter la compréhension du comportement d’un programme. Pour cette finalité, nous avons défini un ensemble d’heuristiques pour filtrer les événements d’exécution les moins importants et extraire les structures de contrôles comme les boucles et la récursivité. Nous groupons aussi les objets en nous basant sur leurs types respectifs. Pour tenir compte des variations d’un même scénario, notre approche utilise plusieurs traces d’exécution et les aligne pour couvrir le plus possible le comportement du programme. Notre approche a été évaluée sur un système de simulation d’ATM. L’étude de cas montre que notre approche produit des diagrammes de séquence concis et informatifs.

L’évolution des finalités de l’université québécoise dans un contexte de mondialisation : analyse critique des politiques publiques de 1998 à 2009

La présente recherche s’intéresse à l’évolution des finalités de l’université québécoise dans le contexte de mondialisation en opérant une analyse de contenu des politiques publiques concernant les universités (1998-2009). Notre démarche, qui s’ancre dans une approche socio-historique, a donné lieu à l’appréhension du concept de mondialisation par ses trois dimensions (économique, politique et culturelle), et celui des finalités de l’université par ses missions (formation, recherche et « troisième mission »). Le cadre conceptuel élaboré par la suite a permis d’examiner l’évolution des finalités de l’université dans sa complexité. L’analyse a permis de constater que les thématiques suivaient rarement une évolution linéaire, subissant tantôt une réification, tantôt une stagnation, ou carrément un changement de sens. L’analyse transversale des deux objets permet de dégager des tensions dialectiques qui s’alignent sur le mouvement des dimensions économique, politique et culturelle de la mondialisation. L’influence de la première entraîne un glissement sémantique qui redéfinit le rôle de l’université ainsi que la nature des savoirs à l’éclairage du discours sur l’économie des savoirs. Au plan de la dimension politique, l’application de la nouvelle gestion publique suscite aussi des glissements sémantiques, telle la réification de la définition de la qualité des missions. La dimension culturelle laisse quant à elle entrevoir une forme d’individualisation des rapports avec l’université, notamment en voyant le contrat social dans lequel l’université doit s’engager avec la société se déplacer vers un contrat de gestion. Si les documents font état d’une dichotomie entre savoirs désintéressés et savoirs utiles, il est proposé dans le cadre de cette recherche de dépasser ces oppositions qui finalement émergent de postures idéologiques.

La fondation logique des probabilités chez Carnap

Carnap a eu une participation active dans les discussions entourant la crise des fondements avant de se lancer dans le projet d’établir les fondements logiques des probabilités, ce qu’il présente dans « Logical Foundations of Probability » (1950). Il a montré que les querelles entre l’interprétation des probabilités comme état du monde et comme état de connaissance de l’observateur étaient vaines puisqu’elles ne portaient pas sur le même concept. Pour lui, la logique des probabilités est la logique inductive : une probabilité décrit une relation logique, soit le degré de confirmation d’une hypothèse selon des données observées. Deux ans plus tard, dans « The Continuum of Inductive Methods » (1952), il enrichit son système et démontre qu’il existe une quantité infinie de méthodes inductives. Nous replacerons l’interprétation de Carnap parmi celles discutées à son époque et discuterons de certaines implications.

Introduction des sonorités du Mexique préhispanique dans l'orchestration moderne

Les compositions musicales de l’étudiante qui accompagne cette thèse sous la forme d’un disque audio est disponible au comptoir de la Bibliothèque de musique sous le titre : Cristina García Islas (http://atrium.umontreal.ca/notice/UM-ALEPH002385786)

Le décours temporel de l'utilisation des fréquences spatiales dans les troubles du spectre autistique

Notre système visuel extrait d'ordinaire l'information en basses fréquences spatiales (FS) avant celles en hautes FS. L'information globale extraite tôt peut ainsi activer des hypothèses sur l'identité de l'objet et guider l'extraction d'information plus fine spécifique par la suite. Dans les troubles du spectre autistique (TSA), toutefois, la perception des FS est atypique. De plus, la perception des individus atteints de TSA semble être moins influencée par leurs a priori et connaissances antérieures. Dans l'étude décrite dans le corps de ce mémoire, nous avions pour but de vérifier si l'a priori de traiter l'information des basses aux hautes FS était présent chez les individus atteints de TSA. Nous avons comparé le décours temporel de l'utilisation des FS chez des sujets neurotypiques et atteints de TSA en échantillonnant aléatoirement et exhaustivement l'espace temps x FS. Les sujets neurotypiques extrayaient les basses FS avant les plus hautes: nous avons ainsi pu répliquer le résultat de plusieurs études antérieures, tout en le caractérisant avec plus de précision que jamais auparavant. Les sujets atteints de TSA, quant à eux, extrayaient toutes les FS utiles, basses et hautes, dès le début, indiquant qu'ils ne possédaient pas l'a priori présent chez les neurotypiques. Il semblerait ainsi que les individus atteints de TSA extraient les FS de manière purement ascendante, l'extraction n'étant pas guidée par l'activation d'hypothèses.

Une typologie des politiques d’accountability en éducation : l’incidence de l’instrumentation et des théories de la régulation

Depuis une vingtaine d’années, de nouvelles formes de reddition de comptes et d’accountability émergent dans le champ éducatif. Nous proposons une typologie de ces politiques. La typologie proposée repose sur quatre dimensions, dont deux portent sur les propriétés des outils d’action publique déployés pour mettre en place les politiques (alignement des outils et enjeux), deux autres sur les caractéristiques des théories de régulation mobilisées et implicites au déploiement de ces outils (conception de l’acteur et médiations de l’action de régulation). Quatre types de logiques, dosant différemment « reddition de comptes » et « responsabilisation » se déploient : 1) reddition de comptes dure, 2) reddition de comptes néobureaucratique, 3) reddition de comptes et responsabilisation réflexives, 4) responsabilisation douce. Ces logiques idéal-typiques sont illustrées à partir des politiques de quatre systèmes éducatifs européens et nord-américains : le Texas, le Québec, l’Écosse et la Belgique francophone.

Un cadre d'application pour la visualisation des métriques orientées objet

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Logiques de la prise irrégulière du médicament antihypertenseur et inobservance

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.