Conflict of Interest Policies at Canadian Universities: Clarity and Content

Abstract Discussions of conflict of interest (COI) in the university have tended to focus on financial interests in the context of medical research; much less attention has been given to COI in general or to the policies that seek to manage COI. Are university COI policies accessible and understandable? To whom are these policies addressed (faculty, staff, students)? Is COI clearly defined in these policies and are procedures laid out for avoiding or remedying such situations? To begin tackling these important ethical and governance questions, our study examines the COI policies at the Group of Thirteen (G13) leading Canadian research universities. Using automated readability analysis tools and an ethical content analysis, we begin the task of comparing the strengths and weaknesses of these documents, paying particular attention to their clarity, readability, and utility in explaining and managing COI.

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.

L'ingénierie des documents d'affaires dans le cadre du web sémantique

Dans cette thèse, nous présentons les problèmes d’échange de documents d'affaires et proposons une méthode pour y remédier. Nous proposons une méthodologie pour adapter les standards d’affaires basés sur XML aux technologies du Web sémantique en utilisant la transformation des documents définis en DTD ou XML Schema vers une représentation ontologique en OWL 2. Ensuite, nous proposons une approche basée sur l'analyse formelle de concept pour regrouper les classes de l'ontologie partageant une certaine sémantique dans le but d'améliorer la qualité, la lisibilité et la représentation de l'ontologie. Enfin, nous proposons l’alignement d'ontologies pour déterminer les liens sémantiques entre les ontologies d'affaires hétérogènes générés par le processus de transformation pour aider les entreprises à communiquer fructueusement.

Face aux portraits photographiques de Sally Mann. La série "What Remains" (2000-2004).

Le portrait captive lorsqu’il est envisagé comme présence humaine et qu’il tend à se soustraire à l’interprétation analytique. Prenant appui sur ce constat, le mémoire se penche sur la réponse spectatorielle induite par des portraits photographiques dont l’opacité pose un défi à l’attribution de significations précises. Ces portraits, qui abordent le thème de la mort, appartiennent au corpus "What Remains" (2000-2004) de l’artiste américaine Sally Mann. Ils réactualisent le procédé obsolète du collodion, revisitent le vocabulaire formel du pictorialisme et évoquent l’imagerie mortuaire du 19e siècle. Par ces citations historiques, les œuvres gênent la lecture du référent et introduisent des renversements de sens: elles troublent toute certitude dans la perception et toute littéralité dans l’interprétation. Le mémoire étudie les diverses stratégies citationnelles à la source de cette opacification et examine comment celles-ci tendent à établir les conditions de l’expérience esthétique. Après avoir réévalué certains présupposés théoriques sur la photographie, les paramètres techniques, formels et iconographiques des œuvres sont passés en revue afin d’évaluer leur impact respectif. En s’appuyant sur un cadre issu de la théorie des médias et de la psychanalyse, le travail du médium émerge comme le principal déterminant de l’expérience de ces portraits contemporains.

A Mono- and Multi-objective Approach for Recommending Software Refactoring

Les systèmes logiciels sont devenus de plus en plus répondus et importants dans notre société. Ainsi, il y a un besoin constant de logiciels de haute qualité. Pour améliorer la qualité de logiciels, l’une des techniques les plus utilisées est le refactoring qui sert à améliorer la structure d'un programme tout en préservant son comportement externe. Le refactoring promet, s'il est appliqué convenablement, à améliorer la compréhensibilité, la maintenabilité et l'extensibilité du logiciel tout en améliorant la productivité des programmeurs. En général, le refactoring pourra s’appliquer au niveau de spécification, conception ou code. Cette thèse porte sur l'automatisation de processus de recommandation de refactoring, au niveau code, s’appliquant en deux étapes principales: 1) la détection des fragments de code qui devraient être améliorés (e.g., les défauts de conception), et 2) l'identification des solutions de refactoring à appliquer. Pour la première étape, nous traduisons des régularités qui peuvent être trouvés dans des exemples de défauts de conception. Nous utilisons un algorithme génétique pour générer automatiquement des règles de détection à partir des exemples de défauts. Pour la deuxième étape, nous introduisons une approche se basant sur une recherche heuristique. Le processus consiste à trouver la séquence optimale d'opérations de refactoring permettant d'améliorer la qualité du logiciel en minimisant le nombre de défauts tout en priorisant les instances les plus critiques. De plus, nous explorons d'autres objectifs à optimiser: le nombre de changements requis pour appliquer la solution de refactoring, la préservation de la sémantique, et la consistance avec l’historique de changements. Ainsi, réduire le nombre de changements permets de garder autant que possible avec la conception initiale. La préservation de la sémantique assure que le programme restructuré est sémantiquement cohérent. De plus, nous utilisons l'historique de changement pour suggérer de nouveaux refactorings dans des contextes similaires. En outre, nous introduisons une approche multi-objective pour améliorer les attributs de qualité du logiciel (la flexibilité, la maintenabilité, etc.), fixer les « mauvaises » pratiques de conception (défauts de conception), tout en introduisant les « bonnes » pratiques de conception (patrons de conception).

Photographier la ville, penser l'histoire : Beyrouth dans la représentation photographique artistique contemporaine

Cette étude s’organise autour d’une articulation : celle entre un médium (la photographie), une ville (Beyrouth), et les événements qui ont marqué son passé récent. Le thème des rapports entre la photographie et l’histoire, avec la pluralité de sens qui le décrit, vient, en arrière-fond de ces questions, délimiter l’horizon de cette étude ; le lien entre voir et savoir, antiquement aux sources de la connaissance historique (Hartog, Loraux), en représente la ligne de fuite. En premier plan, la relation photographique et historienne à l’événement constitue l’objet de cette recherche dont le propos est d’identifier dans la photographie une référence à l’histoire considérée en tant qu’écriture. Concrètement, cet argument se déplie sur deux mouvements. Il exige, dans un premier temps, une série d’analyses théoriques visant à étudier le potentiel de connaissance et le caractère formel de la photographie en qualité de représentation événementielle. En partant des expérimentations des avant-gardes (Lugon, Baqué), jusqu’au jumelage entre la photographie et la presse, il s’agira de montrer la part de lisibilité qui appartient aux narrations photographiques (Barthes, Lavoie). Ensuite, on prendra en considération le travail opéré par l’historien lors de l’opération historiographique visant à produire, autour de l’événement, une représentation historique (de Certeau, Ricœur, Ginzburg). Outre faire ressortir le caractère de visibilité qui appartient à l’écriture historienne, ce passage sera aussi l’occasion de produire une étude comparée de la photographie et de l’histoire (Kracauer) autour de notions ponctuelles, comme celles d’empreinte, d’indice et de témoignage. Le moteur de ce premier mouvement est la notion d’événement. Abordée d’un point de vue phénoménologique (Zarader, Marion, Dastur, Diano), elle nous permettra d’observer la photographie et l’histoire d’après la génétique de leur construction. Finalement, Beyrouth et son histoire façonnées par les images constituent le cadre à l’intérieur duquel s’organise le deuxième mouvement. Les analyses des œuvres de Sophie Ristelhueber (Beyrouth photographies, 1984), Robert Frank (Come again, 1991) et Lamia Joreige (Beyrouth, autopsie d’une ville, 2010) sont conçues comme autant d’espaces dialogiques entre la photographie, l’épistémologie de l’histoire et les événements historiques qu’elles représentent. Le propos est de faire ressortir le basculement qu’elles mettent en scène : de la chronique vers l’écriture d’histoire.