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.

Production Linkages Between Informal and Formal Activities Considering Domestic and Imported Inputs: an Application of the Minimal-Flow-Analysis Method to Senegal.

We apply to the Senegalese input-output matrix of 1990, disagregated into formal and informal activities, a recently designed structural analytical method (Minimal-Flow-Analysis) which permits to depict the direct and indirect production likanges existing between activities.

Die Wahrnehmung des Fremden im Caoba-Zyklus von B. Traven

Les six romans du cycle de Caoba retracent sur un mode fictif le déroulement de la Révolution mexicaine et montrent les conséquences de la colonisation de même que les injustices sociales et économiques dont souffre tout particulièrement la population indigène. Dans ce contexte de conflit culturel entre colonisés et colonisateurs, le personnage de l’indigène est perçu de façon variée dans les différents romans. L’analyse de la représentation de la population indigène est donc le sujet principal de ce travail qui combine une étude narratologique et une approche postcoloniale. L’examen détaillé d’extraits de texte permettra de vérifier dans quelle mesure l’auteur germanophone B. Traven, dans sa représentation de l'étranger, se détache d’un discours colonial, et s’il peut être considéré comme un auteur postcolonial avant la lettre. Dans ces analyses, les questions suivantes serviront de fil conducteur : dans quelle mesure la représentation du personnage de l’indigène correspond-elle à celle du «bon sauvage» ? Comment les différents groupes sociaux du Mexique sont-ils représentés – par des individus, des descriptions stéréotypées, des allégories? Quels moyens l’auteur utilise-t-il pour familiariser son lectorat européen/occidental avec cette culture étrangère? Ainsi, le travail se penche sur les procédés narratifs employés par l’auteur pour dépeindre la société à partir de perspectives diverses. Dans le but de dénoncer des conditions d’oppression et d’exploitation, Traven écrit à partir du regard du colonisé. Mais lorsqu'il cherche à comprendre le système dictatorial, il écrit dans la perspective du colonisateur. Cette méthode correspond à celle des regards croisés que le théoricien Edward E. Said décrit dans son ouvrage Orientalisme. L’emploi de cette méthode contrapunctique - permet-il d’exercer une critique (post)coloniale? Dans quelle mesure ce texte révèle-t-il l’importance de l’hybridité de la culture telle qu'elle a été théorisée par K. Bhabha? Dans quelle mesure l'accent est-il mis sur les rapports transculturels, sur la façon dont les cultures s'influencent les unes les autres?

Analyse diagrammatique des désintégrations de type B vers PPP sans quarks charmés

Ce mémoire présente l’application de la méthode de décomposition en termes de diagrammes aux désintégrations de mésons B vers trois mésons de type pseudos- calaire ne comportant pas de quarks charmés. La décomposition diagrammatique des désintégrations de types B → Kππ, B → KKK ̄, B → KK ̄π et B → πππ est effectuée de façon systématique. Il est démontré que lorsque l’on néglige les dia- grammes d’échanges et d’annihilations, dont les contributions sont estimées être petites, de nouvelles relations apparaissent entre les amplitudes. Ces relations sont de nouveaux tests du modèle standard qui ne peuvent être obtenus que par la méthode diagrammatique. Lorsque les données nécessaires sont disponibles, nous vérifions ces relations et obtenons un bon accord avec les données expérimentales. Nous démontrons également qu’il est possible d’utiliser le secteur B → Kππ pour mesurer la phase faible γ avec une incertitude théorique que nous estimons être de l’ordre de 5%. Les autres secteurs de désintégrations ne permettent d’extraire des phases faibles que si l’on invoque des approximations de précisions inconnues.

La importancia del género gramatical en la enseñanza de español como lengua extranjera

Le présent travail est encadré dans le domaine de la linguistique appliquée de l'espagnol comme langue étrangère (ELE), et plus spécifiquement dans l'enseignement du genre grammatical en ELE. Notre intérêt en tant que enseignants c’est de pouvoir établir une méthode fiable selon les critères du Plan curricular de l'Institut Cervantès et la technique du consciousness-raising, ainsi que élaborer des activités destinées à l'enseignement du genre grammatical dans la classe d’ELE. L'enseignement d'ELE au Québec suit les mêmes méthodes qu'en Europe. En ce qui concerne l'enseignement du genre grammatical, les études consultées ratifient le manque d'instruction pertinente à propos du genre grammatical, ainsi que la difficulté dans la concordance même dans des niveaux avancés. Cependant, l'analyse de manuels d'ELE utilisés dans les diverses institutions de Montréal permet de conclure que ceux-ci ne suivent pas les règles établies par le Plan curricular en ce qui concerne l'enseignement du genre. Pour vérifier ces faits un travail de champ a été mis en place avec 84 étudiants et étudiantes de six institutions de Montréal pendant deux mois et deux semaines. Les résultats de la recherche et l'analyse d'erreurs nous montrent qu’il y a des problèmes avec le genre grammatical chez les étudiants de niveau intermédiaire et que les erreurs ne disparaissent pas avec les activités de renfort créées. Il est donc nécessaire d’adopter une méthode plus appropriée à l'apprentissage du genre grammatical dans une classe d’ELE et la présence du professeur pour la présenter. En effet, l'exécution d'activités créées n'est pas suffisant, car bien que les résultats montrent un léger progrès dans le cas du groupe B, ou d’expérience, en comparaison au groupe A, ou de control, on a constaté qu’une instruction formelle aurait entrainé un meilleur et plus complet apprentissage du genre grammatical dans le cas de nos étudiants; de là la nécessité d'établir une méthode fiable pour son enseignement.

The development of an expedient method for the synthesis of a diverse series of cyclopropane [alpha]-amino acids

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Detection and quantification of staphylococcus aureus enterotoxin B in food product using isotopic dilution techniques and mass spectrometry

L’entérotoxine B staphylococcique (SEB) est une toxine entérique hautement résistante à la chaleur et est responsable de plus de 50 % des cas d’intoxication d’origine alimentaire par une entérotoxine. L’objectif principal de ce projet de maîtrise est de développer et valider une méthode basée sur des nouvelles stratégies analytiques permettant la détection et la quantification de SEB dans les matrices alimentaires. Une carte de peptides tryptiques a été produite et 3 peptides tryptiques spécifiques ont été sélectionnés pour servir de peptides témoins à partir des 9 fragments protéolytiques identifiés (couverture de 35 % de la séquence). L’anhydride acétique et la forme deutérée furent utilisés afin de synthétiser des peptides standards marqués avec un isotope léger et lourd. La combinaison de mélanges des deux isotopes à des concentrations molaires différentes fut utilisée afin d’établir la linéarité et les résultats ont démontré que les mesures faites par dilution isotopique combinée au CL-SM/SM respectaient les critères généralement reconnus d’épreuves biologiques avec des valeurs de pente près de 1, des valeurs de R2 supérieure à 0,98 et des coefficients de variation (CV%) inférieurs à 8 %. La précision et l’exactitude de la méthode ont été évaluées à l’aide d’échantillons d’homogénat de viande de poulet dans lesquels SEB a été introduite. SEB a été enrichie à 0,2, 1 et 2 pmol/g. Les résultats analytiques révèlent que la méthode procure une plage d’exactitude de 84,9 à 91,1 %. Dans l’ensemble, les résultats présentés dans ce mémoire démontrent que les méthodes protéomiques peuvent être utilisées efficacement pour détecter et quantifier SEB dans les matrices alimentaires. Mots clés : spectrométrie de masse; marquage isotopique; protéomique quantitative; entérotoxines

Synthèse stéréosélective de dérivés cyclopropaniques di-accepteurs par catalyse avec des complexes de rhodium(II)

Les dérivés cyclopropaniques di-accepteurs représentent des intermédiaires synthétiques précieux dans l’élaboration de structures moléculaires complexes, ayant des applications dans plusieurs domaines de la chimie. Au cours de cet ouvrage, nous nous sommes intéressés à la synthèse de ces unités sous forme énantioenrichie en utilisant la cyclopropanation d’alcènes par catalyse avec des complexes de Rh(II) utilisant des composés diazoïques di-accepteurs comme substrats. Suite au développement initial d’une méthode de cyclopropanation d’alcènes catalytique asymétrique utilisant des nitro diazocétones, de multiples études expérimentales quant au mécanisme de stéréoinduction dans ce type de réaction ont été effectuées. Nous avons alors pu identifier le groupement p-méthoxyphénylcétone du substrat et le catalyseur Rh2(S-TCPTTL)4 comme étant une combinaison clé pour l’atteinte de diastéréosélectivités et d’excès énantiomères élevés. Ceci a mené au développement de deux autres méthodes de cyclopropanation stéréosélectives distinctes, utilisant soit une cyano diazocétone ou un céto diazoester. Nous avons démontré l’utilité des dérivés cyclopropaniques énantioenrichis obtenus par ces trois méthodes dans une panoplie de manipulations synthétiques, dont l’addition nucléophile d’amines et de cuprates, la cycloaddition formelle avec un aldéhyde, et la synthèse de dérivés cyclopropaniques importants en chimie médicinale. Une étude structurelle approfondie des complexes de Rh(II) chiraux nous a permis de déterminer les facteurs responsables de leur pouvoir d’énantioinduction dans notre système réactionnel, ce qui a d’énormes implications dans d’autres méthodologies utilisant ces mêmes catalyseurs. Le dévoilement d’une conformation inattendue dite ‘All-up’, ainsi que de la présence d’interactions stabilisantes régissant la rigidité de cet arrangement se sont avérés cruciaux dans notre compréhension du mécanisme. Dans le cadre de cette investigation, nous avons développé une méthode générale pour la synthèse de complexes de Rh(II) hétéroleptiques, multipliant ainsi le nombre de catalyseurs accessibles dans l’élaboration éventuelle de nouvelles réactions stéréosélectives, et nous permettant d’effectuer une étude structurelle plus détaillée. De plus, nous avons développé une méthode particulièrement efficace pour la synthèse d’un autre type de dérivé cyclopropanique di-accepteur par catalyse avec des complexes de Rh(II), les cyano-cyclopropylphosphonates. Les produits de cette transformation sont obtenus avec des énantiosélectivités élevées, et sont des substrats intéressants pour des réactions tandem d’ouverture de cycle par addition nucléophile / oléfination de composés carbonylés. De plus, ces composés sont des précurseurs de molécules utiles en chimie médicinale tels que les acides aminocyclopropylphosphoniques.

Indirect Bonding Method: in vitro Comparison of the Shear Bond Strength between Metallic Orthodontic Brackets and Different Porcelain Surface Preparations

Introduction : La force d’adhésion à l'interface métal-céramique avec les résines auto-polymérisantes destinées au collage indirect des boîtiers orthodontiques n'a pas été évaluée à ce jour et un protocole clinique basé sur la littérature scientifique est inexistant. Objectifs : 1) Comparer la force de cisaillement maximale entre des boîtiers métalliques et des surfaces en porcelaine préparées selon différentes méthodes; 2) Suggérer un protocole clinique efficace et prévisible. Matériel et méthodes : Quatre-vingt-dix disques en leucite (6 groupes; n = 15/groupe) ont été préparés selon 6 combinaisons de traitements de surface : mécaniques (+ / - fraisage pour créer les rugosités) et chimiques (acide fluorhydrique, apprêt, silane). Des bases en résine composite Transbond XT (3M Unitek, Monrovia, California) faites sur mesure ont été collées avec le système de résine adhésive auto-polymérisante Sondhi A + B Rapid Set (3M Unitek, Monrovia, California). Les échantillons ont été préservés (H2O/24hrs), thermocyclés (500 cycles) et testés en cisaillement (Instron, Norwood, Massachusetts). Des mesures d’Index d’adhésif résiduel (IAR) ont été compilées. Des tests ANOVAs ont été réalisés sur les rangs étant donné que les données suivaient une distribution anormale et ont été ajustés selon Tukey. Un Kruskall-Wallis, U-Mann Whitney par comparaison pairée et une analyse de Weibull ont aussi été réalisés. Résultats : Les médianes des groupes varient entre 17.0 MPa (- fraisage + acide fluorhydrique) à 26.7 MPa (- fraisage + acide fluorhydrique + silane). Le fraisage en surface ne semble pas affecter l’adhésion. La combinaison chimique (- fraisage + silane + apprêt) a démontré des forces de cisaillement significativement plus élevées que le traitement avec (- fraisage + acide fluorhydrique), p<0,05, tout en possédant des forces similaires au protocole typiquement suggéré à l’acide fluorhydrique suivi d’une application de silane, l’équivalence de (- fraisage + acide fluorhydrique + silane). Les mesures d’IAR sont significativement plus basses dans le groupe (- fraisage + acide fluorhydrique) en comparaison avec celles des 5 autres groupes, avec p<0,05. Malheureusement, ces 5 groupes ont des taux de fracture élévés de 80 à 100% suite à la décimentation des boîtiers. Conclusion : Toutes les combinaisons de traitement de surface testées offrent une force d’adhésion cliniquement suffisante pour accomplir les mouvements dentaires en orthodontie. Une application de silane suivie d’un apprêt est forte intéressante, car elle est simple à appliquer cliniquement tout en permettant une excellente adhésion. Il faut cependant avertir les patients qu’il y a un risque de fracture des restorations en céramique lorsque vient le moment d’enlever les broches. Si la priorité est de diminuer le risque d’endommager la porcelaine, un mordançage seul à l’acide hydrofluorique sera suffisant.

Isolated greater tuberosity fractures of the proximal humerus : validation and clinical implications for a new radiologic measurement method and classification

Pre-publication drafts are reproduced with permission and copyright © 2013 of the Journal of Orthopaedic Trauma [Mutch J, Rouleau DM, Laflamme GY, Hagemeister N. Accurate Measurement of Greater Tuberosity Displacement without Computed Tomography: Validation of a method on Plain Radiography to guide Surgical Treatment. J Orthop Trauma. 2013 Nov 21: Epub ahead of print.] and copyright © 2014 of the British Editorial Society of Bone and Joint Surgery [Mutch JAJ, Laflamme GY, Hagemeister N, Cikes A, Rouleau DM. A new morphologic classification for greater tuberosity fractures of the proximal humerus: validation and clinical Implications. Bone Joint J 2014;96-B:In press.]

Synthèse stéréosélective de pipéridines et activation électrophile chimiosélective d’amides en présence de dérivés de la pyridine

L’importance des produits naturels dans le développement de nouveaux médicaments est indéniable. Malheureusement, l’isolation et la purification de ces produits de leurs sources naturelles procure normalement de très faibles quantités de molécules biologiquement actives. Ce problème a grandement limité l’accès à des études biologiques approfondies et/ou à une distribution sur une grande échelle du composé actif. Par exemple, la famille des pipéridines contient plusieurs composés bioactifs isolés de sources naturelles en très faible quantité (de l’ordre du milligramme). Pour pallier à ce problème, nous avons développé trois nouvelles approches synthétiques divergentes vers des pipéridines polysubstituées contenant une séquence d’activation/désaromatisation d’un sel de pyridinium chiral et énantioenrichi. La première approche vise la synthèse de pipéridines 2,5-disubstituées par l’utilisation d’une réaction d’arylation intermoléculaire sur des 1,2,3,4-tétrahydropyridines 2-substituées. Nous avons ensuite développé une méthode de synthèse d’indolizidines et de quinolizidines par l’utilisation d’amides secondaires. Cette deuxième approche permet ainsi la synthèse formelle d’alcaloïdes non-naturels à la suite d’une addition/cyclisation diastéréosélective et régiosélective sur un intermédiaire pyridinium commun. Finalement, nous avons développé une nouvelle approche pour la synthèse de pipéridines 2,6-disubstituées par l’utilisation d’une réaction de lithiation dirigée suivie d’un couplage croisé de Negishi ou d’un parachèvement avec un réactif électrophile. Le développement de transformations chimiosélectives et versatiles est un enjeu crucial et actuel pour les chimistes organiciens. Nous avons émis l’hypothèse qu’il serait possible d’appliquer le concept de chimiosélectivité à la fonctionnalisation d’amides, un des groupements le plus souvent rencontrés dans la structure des molécules naturelles. Dans le cadre précis de cette thèse, des transformations chimiosélectives ont été réalisées sur des amides secondaires fonctionnalisés. La méthode repose sur l’activation de la fonction carbonyle par l’anhydride triflique en présence d’une base faible. Dans un premier temps, l’amide ainsi activé a été réduit sélectivement en fonction imine, aldéhyde ou amine en présence d’hydrures peu nucléophiles. Alternativement, un nucléophile carboné a été employé afin de permettre la synthèse de cétones ou des cétimines. D’autre part, en combinant un amide et un dérivé de pyridine, une réaction de cyclisation/déshydratation permet d’obtenir les d’imidazo[1,5-a]pyridines polysubstituées. De plus, nous avons brièvement appliqué ces conditions d’activation au réarrangement interrompu de type Beckmann sur des cétoximes. Une nouvelle voie synthétique pour la synthèse d’iodures d’alcyne a finalement été développée en utilisant une réaction d’homologation/élimination en un seul pot à partir de bromures benzyliques et allyliques commercialement disponibles. La présente méthode se distincte des autres méthodes disponibles dans la littérature par la simplicité des procédures réactionnelles qui ont été optimisées afin d’être applicable sur grande échelle.

Écriture autobiographique et sceau cicatriciel dans L’Ascension du Haut Mal de David B.

Le présent mémoire vise à détailler les particularités du discours autobiographique dans L’Ascension du Haut Mal afin de saisir la poétique de David B. comme un sceau cicatriciel permettant de rendre compte de la maladie fraternelle et d’y faire face, au moyen de stratégies autobiographiques qui consolident textuellement et visuellement l’identité de l’auteur-personnage au sein du récit. Le premier chapitre consiste en une étude sur les récits de soi en bande dessinée. Un survol historique de l’évolution de la bande dessinée autobiographique dans la francophonie européenne inscrit L’Ascension du Haut Mal dans le mouvement de contestation mené par les maisons d’édition alternatives du début des années 1990. Puis, l’état des lieux en matière de théories portant sur l’autobiographie en bande dessinée établit les critères selon lesquels cette œuvre répond au genre autobiographique. Les deux chapitres suivants correspondent aux grands axes du discours autoréférentiel de L’Ascension du Haut Mal: le postulat d’un pacte autobiographique et le récit de la construction identitaire de l’auteur. Le deuxième chapitre explique par quels moyens l’hybridité formelle, la dimension fantasmatique et le foisonnement intertextuel de l’œuvre étudiée altèrent le pacte autobiographique sans toutefois le rompre. Le troisième chapitre démontre que le développement identitaire du personnage de David B. répond à une logique d’opposition, en regard de son frère, de la société et même de la réalité, visible jusque dans l’esthétique de l’auteur. L’analyse des marques graphiques et thématiques symptomatiques des défenses élevées par David B. contre la tyrannie du Haut Mal, l’épilepsie, est effectuée.