Le sort des personnes atteintes de troubles mentaux très sévères et durables dans un réseau sans hôpital psychiatrique : étude de cas en Estrie, Québec, Canada

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

Les objets logiques et l'invariance : le statut du programme d'Erlangen dans les approches contemporaines

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

Représentations analytiques des objets géométriques et contours actifs en imagerie

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

Troubles spécifiques de la reconnaissance musicale chez des personnes avec ou sans lésion cérébrale

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

Études d'interventions pharmacologiques au niveau de la Na+/K+-ATPase et des récepteurs des minéralocorticoïdes durant la gestation avec ou sans supplément sodique

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

Évaluation des connaissances sémantiques sur les objets et les personnes célèbres dans les stades débutants de la maladie d'Alzheimer

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

Étude des densités de kératocytes chez des porteurs de lentilles cornéennes avec et sans kératocône

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

On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

La synthèse philosophico-juridique de V.S. Soloviev : élaboration et mise en œuvre d’un cadre théorique

Vladimir S. Soloviev (1853-1900) était un philosophe russe, poète et dissident de la période prérévolutionnaire. Comme celle de beaucoup de ses contemporains prérévolutionnaires russes, la pensée de Soloviev fut constamment sollicitée par la réfection imminente de l’État russe dans un futur très proche. Dans le contexte de cette époque, un examen des fondements théoriques du système juridique était peut-être inévitable. Néanmoins, dans la pensée russe, c’est seulement avec Soloviev que le droit cessa d’être un sujet spécialisé dans le domaine de l’administration, ne concernant guère les grands enjeux de société, et devint intimement lié au développement même de la philosophie morale et sociale. Au sein du projet philosophique systématique que propose Soloviev, le concept de l’unitotalité est envahissant, en termes épistémologique et social. Une pierre d’assise également fondamentale est le concept philosophico-religieux de la divino-humanité, à travers lequel la source de la dignité humaine est ultimement exprimée. La philosophie juridique de Soloviev, contenue pour l’essentiel dans un traité intitulé La Justification du bien : essai de philosophie morale (1897), a pour principal objet l’interaction entre le droit et la morale. Alors que l’objet et la portée du droit peuvent être directement déduits de principes moraux, le droit ne peut pas coïncider exactement avec la morale, compte tenu de son caractère plus limité, fini et coercitif. Pour Soloviev, le droit doit imposer un niveau minimum du bien en fournissant les conditions de base (par ex. la primauté du droit, le droit à une existence digne, la liberté de conscience) pour le libre développement des facultés humaines sans transposer directement en lui la plénitude complète du bien. La principale motivation de Soloviev réside dans la prémisse théologique sous-jacente que le bien ne peut jamais être complètement subsumé sauf par un acte conscient de liberté personnelle. En tandem, Soloviev souligne le rôle progressiste de l’État pour favoriser le libre perfectionnement humain. En tant que tel, Soloviev nous fournit certaines voies innovatrices dans le façonnement de la relation tant théorique que pratique entre le droit et la religion. À l’encontre d’un compromis entre objets, c’est-à-dire un arrangement de type interculturel situé entre fragmentation culturelle (multiculturalisme idéologique) et assimilation antireligieuse (laïcité militante), l’analyse de Soloviev présente la nécessité d’une conciliation temporelle, dans une perspective historique beaucoup plus large, où la laïcité est considérée non pas comme une finalité ontologique en soi, figée dans le temps, mais comme un moyen au service d’une destinée humaine en cours d’actualisation. Le cadre philosophico-juridique de Soloviev peut être utilement mis en dialogue avec des auteurs contemporains comme Stephen L. Carter, Charles Taylor, John Witte Jr, Ronald Dworkin et Jürgen Habermas. La contribution potentielle de Soloviev sur la place de la religion dans la société russe contemporaine est également mentionnée, avec un accent particulier sur le réexamen critique de l’héritage durable de la notion byzantine de la symphonie entre l’Église et l’État. Enfin, une théorie du fédéralisme inspirée par Soloviev est développée en appliquant, sur une base comparative, des avancées théoriques dans le domaine de l’histoire juridique global à l’évolution constitutionnelle du Canada et d’Israël.

Les armes de jet d’Argilos : catalogue typologique

Quelques sites archéologiques comme Olympie, Stymphalos et Olynthe possèdent respectivement un répertoire faisant l’étude des armes de jet retrouvées durant une série de campagnes de fouilles archéologiques. Parmi ces indexes, figurent fréquemment des pointes de flèche, des balles de fronde et des saurotères (contrepoids de lance ou de javelot) provenant de différentes périodes historiques gréco-romaines. À travers les 20e et 21e siècle de notre ère, des spécialistes comme D. Robinson (1931), A. Snodgrass (1964), H. Baitinger (2001), C. Hagerman (2014) dédièrent une partie de leur expertise pour produire des synthèses sur ces objets jadis négligés. Ainsi, ils parvinrent à créer de grandes encyclopédies commentées composées de projectiles retrouvés en sol grec. À l’aide de ces bases de données, les archéologues militaires sont en mesure d’établir des datations et l’origine prétendue de certains types de projectiles. Jusqu’en 2015, les artéfacts militaires trouvés sur le site archéologique d’Argilos n’avaient jamais fait l’objet d’une étude de synthèse. D’abord, inspiré par de publications semblables, ces projectiles furent soumis à un inventaire sous forme de catalogue. Au total, deux types de balles de fronde en plomb, onze types de pointes de flèche et un type de saurotère furent identifiés. Finalement, ce nouveau contenu fut assujetti à des analyses comparatives avec d’autres sites archéologiques possédant des données similaires. Les conclusions découlant de ces analogies donnèrent naissance à la première typologie des armes de jet argilienne. Certes, les analyses se heurtèrent à certains obstacles, notamment à une compréhension de la quasi-inexistence d'une pointe de flèche typiquement "grecque" et à la confusion systématique quant à la distinction entre un saurotère et une pointe de javelot, voire possiblement un carreau de gastraphétès (une sorte d’arbalète imposante utilisée lors de sièges durant le 4e siècle av. J.-C.). En partie, ceci découle de l'historique d'échanges entre la Grèce et les autres peuples méditerranéens, balkaniques et orientaux. En outre, de nombreuses réformes militaires des périodes archaïque et classique provoquèrent une évolution constante sur les aspects stratégiques et les tactiques militaires. Considérant ces facteurs parmi tant d'autres et le fait qu'Argilos ait été une fondation grecque en territoire thraco-macédonien, la possibilité d'influence "étrangère" devient alors prépondérante sur la typologie des projectiles argiliens publiée dans le présent mémoire. Avec beaucoup d’espoir, nous croyons sans équivoque que ce travail de recherche contribuera grandement non seulement à l’histoire d’Argilos, mais aussi à l’étude des projectiles en Grèce du nord.

Le sort des personnes atteintes de troubles mentaux très sévères et durables dans un réseau sans hôpital psychiatrique : étude de cas en Estrie, Québec, Canada

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

Les objets logiques et l'invariance : le statut du programme d'Erlangen dans les approches contemporaines

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

Représentations analytiques des objets géométriques et contours actifs en imagerie

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

Troubles spécifiques de la reconnaissance musicale chez des personnes avec ou sans lésion cérébrale

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

Études d'interventions pharmacologiques au niveau de la Na+/K+-ATPase et des récepteurs des minéralocorticoïdes durant la gestation avec ou sans supplément sodique

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