En marge de l'affaire Norbourg : les enjeux substantifs et punitifs suscités par le double aspect, réglementaire et criminel, de certains comportements frauduleux dans le domaine des valeurs mobilières

Article accepté pour publication dans Les Cahiers de droit 2009 dont le thème spécial est : Dérives et évolutions du droit pénal. Les auteurs ont la permission de diffuser cet article dans Papyrus jusqu’à sa parution dans Les Cahiers de droit.

La néoglucogenèse rénale : un nouvel aspect dans la restriction de croissance intra-utérine chez le rat

Bien que l’environnement intra-utérin défavorable soit associé à des conditions pathologiques à l’âge adulte, les mécanismes mis en place in utero ne sont pas encore élucidés. Nous avons établi un modèle de restriction de croissance intra-utérine (RCIU) en donnant une diète faible en sodium à la rate pendant la dernière semaine de gestation. Ce modèle se caractérise par une diminution de perfusion placentaire et une redistribution du flot sanguin, favorisant l’irrigation des organes nobles (cœur et cerveau) au détriment du rein fœtal. De plus, l’expression rénale du facteur de croissance endothéliale vasculaire (VEGF) est diminuée chez le fœtus. L’hypothèse de travail est que la néoglucogenèse hépatique et rénale augmente chez les fœtus RCIU afin de compenser la diminution de perfusion placentaire, et que l’expression rénale des récepteurs de VEGF (Flt-1 et Flk-1) est altérée à la suite de la redistribution du flot sanguin. Nos objectifs étaient de comparer l’expression protéique des enzymes de la néoglucogenèse et des récepteurs de VEGF entre les fœtus témoins et RCIU. L’aldolase B, la fructose-1,6-biphosphatase et la glucose-6-phosphatase augmentent dans les reins de fœtus RCIU par rapport aux témoins alors qu’aucun changement n’est observé dans le foie. De plus, l’expression de ces enzymes est différente selon le sexe du fœtus. Une diminution de Flt-1 est notée dans les reins de fœtus RCIU. Nos résultats démontrent que des adaptations surviennent chez le fœtus à la suite d’une insulte intra-utérine favorisant sa survie mais ayant des conséquences telles que la dysfonction rénale observée chez les adultes de ce modèle animal. À long terme, ces travaux pourront permettre d’entrevoir des avenues pour mieux identifier les approches de prévention lors de naissance à la suite d’une RCIU.

Système de superposition arborescente et aspect soliste (le vibraphone et le bending tone) : éléments de détermination d’un langage musical personnel

La version intégrale de cette thèse est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (http://www.bib.umontreal.ca/MU).

Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects

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

L'aspect ludique du faux documentaire : entre complicité et mystification

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

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Un aspect méconnu de l’île de Montréal : les occupations amérindiennes du Sylvicole supérieur à la fin du XVIIe siècle

Ce mémoire a pour objectif général de définir et de caractériser les présences amérindiennes sur l’île de Montréal au cours de la période s’échelonnant du Sylvicole supérieur à la fin du XVIIe siècle ainsi que de tenter de comprendre le rôle qu’exerça le mont Royal dans ce contexte. En nous appuyant sur des théories de l’archéologie du paysage, nous avons étudié la création consciente et inconsciente de paysages et la manière par laquelle ces lieux ont façonné les comportements et les identités de leurs occupants. Grâce à la continuité d’activités répétitives, liées au concept de taskscape, nous avons tenté d’y établir un modèle de trame d’occupation reflétant une utilisation dynamique et stratégique du paysage face aux politiques coloniales. La démarche adoptée est celle d’une approche holistique s’appuyant à la fois sur des données archéologiques, historiques, ethnohistoriques et ethnographiques émanant des rapports de fouilles archéologiques, des traditions orales et des différents documents coloniaux datant des XVIe, XVIIe et XVIIIe siècles. Cette étude a permis de déterminer différentes zones associées à des perceptions différentes du paysage reflétant une stratégie de continuité dans la conceptualisation, l’organisation et la manipulation de l’espace à la suite de l’appropriation des terres par le gouvernement colonial.