Encyclopaedia of quotations: a treasury of wisdom, wit and humor, odd comparisons and proverbs

UANL

Un formalisme pour la traçabilité des transformations

Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont souvent obsolètes ou incohérents avec l'état effectif du système, i.e., son code source. Pourtant, il est nécessaire que les composants du système logiciel soient conservés à jour et cohérents avec leurs documents de spécifications pour faciliter leur développement et maintenance et, ainsi, pour en réduire les coûts. Maintenir la cohérence entre spécification et code source nécessite de pouvoir représenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manière cohérente et automatique. Nous proposons une solution permettant de décrire une représentation d'un logiciel ainsi qu'un formalisme mathématique permettant de décrire et de manipuler l'évolution des composants de ces représentations. Le formalisme est basé sur les triplets de Hoare pour représenter les transformations et sur la théorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les différentes représentations du système. Nous illustrons notre formalisme sur deux représentations d'un système logiciel : PADL, une représentation architecturale de haut niveau (semblable à UML), et JCT, un arbre de syntaxe abstrait basé sur Java. Nous définissons également des transformations représentant l'évolution de ces représentations et la transposition permettant de reporter les transformations d'une représentation sur l'autre. Enfin, nous avons développé et décrivons brièvement une implémentation de notre illustration, un plugiciel pour l'IDE Eclipse détectant les transformations effectuées sur le code par les développeurs et un générateur de code pour l'intégration de nouvelles représentations dans l'implémentation.

NGO Duties in Relation to Human Rights. A Closer Look at One Proposal

This paper investigates the moral duties that human rights NGOs, such as Amnesty International, and development NGOs, such as Oxfam, have in relation to human rights – especially in relation to the human right to a decent standard of living. The mentioned NGOs are powerful new agents on the global scene, and according to many they might be duty-bearers in relation to human rights. However, until now their moral duties have hardly been investigated. The present paper investigates NGO duties in relation to human rights by looking in particular to a moral theory recently proposed by Leif Wenar, a theory which has some similarities to utilitarianism. In applying this theory, a case for human-rights duties of NGOs is developed mainly by considering the indispensable role that civil society plays in protecting human rights. The paper concludes that, at least, NGOs bear duties with regard to human rights when, as in certain real-life cases, NGO involvement is the only way to achieve acceptable protection against standard threats to certain goods, such as a decent standard of living.

The role of transcription factor Pitx1 and its regulation by hypoxia in Adolescent Idiopathic Scoliosis

La scoliose idiopathique de l’adolescent (SIA) est définie comme une courbure de la colonne vertébrale supérieure à 10 degrés, qui est de cause inconnue et qui affecte de façon prépondérante les adolescents. Des études précédentes sur des modèles murins ont démontré une inactivation partielle du gène Pitx1. Cette inactivation partielle provoque une déformation spinale sévère lors du développement des souris Pitx1+/-, ce qui est grandement similaire au phénotype de la SIA. En se basant sur ces observations, nous postulons que la perte de fonction de Pitx1 pourrait avoir un rôle dans la SIA et pourrait être régulée par des mécanismes moléculaires spécifiques. En effet, des études faites sur l’expression de Pitx1 révèlent une perte de son expression dans les ostéoblastes dérivés de patients SIA au niveau de l’ARNm. Nous émettons l’hypothèse que la perte de Pitx1 dans la SIA pourrait être déclenchée par des facteurs hypoxiques puisqu’il est connu que Pitx1 est réprimé par l’hypoxie et que HIF-2 alpha est surexprimés dans les ostéoblastes des patients SIA même dans des conditions normoxiques. De plus, nous avons découvert une mutation dans le domaine ODD des HIF-1 alpha chez certains patients SIA (3,1%). Une fonction connue de ce domaine est de stabiliser et d’augmenter l’activité transcriptionnelle de HIF-1 alpha dans des conditions normoxiques. Nous avons confirmé, par la technique EMSA, l’existence d’un élément de réponse fonctionnel à l’hypoxie au niveau du promoteur de Pitx1. Cependant, des co-transfections avec des vecteurs d’expression pour HIF-1 alpha et HIF-2 alpha, en présence de leur sous-unité beta ARNT, ont conduit à une activation du promoteur de Pitx1 dans la lignée cellulaire MG-63 ainsi que dans les ostéoblastes des sujets contrôles. Il est intéressant de constater qu’aucune activité du promoteur de Pitx1 dans les ostéoblastes SIA n’a été observée, même après la co-expression de HIF-2 alpha et ARNT, confirmant le fait que l’expression de Pitx1 est abrogée dans la SIA. Dans l’ensemble, nos résultats démontrent un rôle important de Pitx1 dans la SIA et une possible régulation par des facteurs hypoxiques.

Structure de la distribution de probabilités de l'état GHZ sous l'action locale de transformations du groupe U(2)

Dans ce mémoire, je démontre que la distribution de probabilités de l'état quantique Greenberger-Horne-Zeilinger (GHZ) sous l'action locale de mesures de von Neumann indépendantes sur chaque qubit suit une distribution qui est une combinaison convexe de deux distributions. Les coefficients de la combinaison sont reliés aux parties équatoriales des mesures et les distributions associées à ces coefficients sont reliées aux parties réelles des mesures. Une application possible du résultat est qu'il permet de scinder en deux la simulation de l'état GHZ. Simuler, en pire cas ou en moyenne, un état quantique comme GHZ avec des ressources aléatoires, partagées ou privées, et des ressources classiques de communication, ou même des ressources fantaisistes comme les boîtes non locales, est un problème important en complexité de la communication quantique. On peut penser à ce problème de simulation comme un problème où plusieurs personnes obtiennent chacune une mesure de von Neumann à appliquer sur le sous-système de l'état GHZ qu'il partage avec les autres personnes. Chaque personne ne connaît que les données décrivant sa mesure et d'aucune façon une personne ne connaît les données décrivant la mesure d'une autre personne. Chaque personne obtient un résultat aléatoire classique. La distribution conjointe de ces résultats aléatoires classiques suit la distribution de probabilités trouvée dans ce mémoire. Le but est de simuler classiquement la distribution de probabilités de l'état GHZ. Mon résultat indique une marche à suivre qui consiste d'abord à simuler les parties équatoriales des mesures pour pouvoir ensuite savoir laquelle des distributions associées aux parties réelles des mesures il faut simuler. D'autres chercheurs ont trouvé comment simuler les parties équatoriales des mesures de von Neumann avec de la communication classique dans le cas de 3 personnes, mais la simulation des parties réelles résiste encore et toujours.

Caractérisation spatiale des syncytia formés par le couplage des astrocytes du noyau sensoriel principal du nerf trijumeau en fonction de la concentration de calcium extracellulaire.

Le mouvement masticatoire est généré et coordonné par un générateur de patron central (GPC) situé au niveau du pont. Plusieurs résultats antérieurs de notre laboratoire soutiennent que le réseau de neurones à l’origine de la rythmogénèse est situé dans le noyau sensoriel principal du nerf trijumeau (NVsnpr). Ces mêmes expériences révèlent que des diminutions de la concentration calcique extracellulaire ([Ca2+]e) tiennent une place importante dans la génération des bouffées de décharges des neurones de cette région. Notre laboratoire tente de vérifier si la contribution des astrocytes à l’homéostasie de la concentration calcique extracellulaire est impliquée dans la genèse du rythme. Cette étude a pour but la caractérisation spatiale du syncytium astrocytaire au sein du NVsnpr dorsal et l’étude de l’effet de la [Ca2+]e sur les propriétés astrocytaires électrophysiologiques et de connectivité. Nous avons utilisés pour ce faire la technique d’enregistrement par patch-clamp sur une préparation en tranche de tronc cérébral de rat. Nous démontrons ici que la diminution de la [Ca2+]e n’affecte pas les propriétés électrophysiologiques astrocytaires, mais induit une augmentation de la taille du syncytium. De plus, nous établissons l’existence au sein du NVsnpr dorsal d’une organisation anatomofonctionnelle du réseau astrocytaire calquée sur l’organisation neuronale.

1,4-Diazepin-2-one Synthesis

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

Synthèse de mimes peptidiques pyrrolo[3,2-e][1,4]diazépin-2-one

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

A Salute to Feminine Utopia: Part One Feminist Manifestos and Utopian Fiction and Part Two Cwenaland an Odyssey

En ce qui concerne la littérature féministe, il s’y trouve un chevauchement important et intéressant entre le manifesto en tant que forme littéraire et la fiction utopique. Les deux se servent d’une image imaginée de l'avenir ou d'un meilleur état futur pour critiquer et dénoncer tant les conditions actuelles que celles du passée qui ont donné naissance à celles-là. Cette thèse aborde à la fois le manifesto et la fiction utopique / dystopique pour élaborer les conditions de l’espace essentiel des femmes et du féminin. Ce lieu utopique se veut plus qu'un endroit où aller ; il exprime les origines du féminin, lesquelles vont au-delà de ce qui est masculin en visant un épanouissement du féminin en dehors et au-delà de la stricte dichotomie masculin-féminin de la société patriarcale. J'examine d'abord les termes en usage puis je discute du manifesto comme une forme littéraire d'un intérêt particulier pour les écrivains féministes. Je passe ensuite en revue des théories de fiction utopique, lesquelles me conduisent à des possibilités fructueuses du langage pour assurer une voix aux femmes ainsi que l’expression du féminin. Je prends comme exemple le livre The Activist de Renée Gladman pour appuyer mes arguments concernant le pouvoir performatif du manifesto comme une forme qui s’empiète sur la fiction utopique dans le but d'imaginer l'espace du féminin. Dans la deuxième partie de la thèse, j’entre dans une utopie fictive dans le cadre d'une exploration personnelle de ce qu’est le féminin et son expression. Le récit emmène le lecteur au pays de Cwenaland. A chaque étape de la narration d’autres voix percent et découpent le texte. Certaines sont sous la forme d'une image ou d'un portrait, d'autres sont des cris ou des gémissements qui dérangent la voix narrative. Ces voix en tangente et en diagonale enracinent mon utopie fictive dans la diversité d'expérience et d'expression féminine.

Amélioration des résultats cliniques en chirurgie cardiaque

Des éléments contributifs à plusieurs facettes de la chirurgie cardiaque ont été étudiés dans la présente thèse. Le premier manuscrit adresse la problématique de l’accident cérébro-vasculaire (ACV) post-opératoire. Nous avons analysé de façon rétrospective la médication prise en pré-opératoire de 6813 patients nécessitant une chirurgie de revascularisation coronarienne. Le but étant d’établir si la présence d’une médication précise (aspirine, inhibiteur de l’enzyme de conversion de l’angiotensine, statine, bêta-bloqueur) peut agir en pré-opératoire pour diminuer le risque d’ACV. En analyse multivariée, la combinaison de la prise de bêta-bloqueurs avec une statine a produit un ratio de cote de 0,37, suggérant un effet protecteur très important. Dans le deuxième manuscrit, je présente une étude ciblant les patients avec insuffisance mitrale ischémique modérée. Trente et un patients furent randomisés entre un traitement par pontages seuls vs pontages et annuloplastie mitrale restrictive. L’insuffisance mitrale a disparu en post-opératoire immédiat en présence de l’annuloplastie alors qu’aucun effet immédiat de la revascularisation coronarienne n’était noté sur l’insuffisance mitrale. Un an suivant la chirurgie, une insuffisance mitrale légère est réapparue chez le groupe ayant subi l’annuloplastie alors que les patients du groupe pontages seuls ont remodelé leur ventricule gauche et diminué l’importance de leur insuffisance mitrale au même niveau que le groupe annuloplastie. Aucun des marqueurs d’évolution clinique, tant au niveau symptomatique qu’au niveau de la survie ne diffère entre les groupes. La troisième étude est un suivi sur 20 ans des patients ayant eu des remplacements valvulaires mitraux ou aortiques avec une prothèse mécanique Carbomedics. Cette étude démontre une excellente survie avec un taux de complications valvulaires hémorragiques, thrombotiques, thrombo-emboliques, et d’endocardite favorable comparé aux autres types de prothèse et une absence de bris mécanique.

Formes quadratiques ternaires représantant tous les entiers impairs

Les calculs numériques ont été effectués à l'aide du logiciel SAGE.

Études de l’effet tunnel des spins quantiques macroscopiques

Dans cette thèse, nous présentons quelques analyses théoriques récentes ainsi que des observations expérimentales de l’effet tunnel quantique macroscopique et des tran- sitions de phase classique-quantique dans le taux d’échappement des systèmes de spins élevés. Nous considérons les systèmes de spin biaxial et ferromagnétiques. Grâce à l’approche de l’intégral de chemin utilisant les états cohérents de spin exprimés dans le système de coordonnées, nous calculons l’interférence des phases quantiques et leur distribution énergétique. Nous présentons une exposition claire de l’effet tunnel dans les systèmes antiferromagnétiques en présence d’un couplage d’échange dimère et d’une anisotropie le long de l’axe de magnétisation aisé. Nous obtenons l’énergie et la fonc- tion d’onde de l’état fondamentale ainsi que le premier état excité pour les systèmes de spins entiers et demi-entiers impairs. Nos résultats sont confirmés par un calcul utilisant la théorie des perturbations à grand ordre et avec la méthode de l’intégral de chemin qui est indépendant du système de coordonnées. Nous présentons aussi une explica- tion claire de la méthode du potentiel effectif, qui nous laisse faire une application d’un système de spin quantique vers un problème de mécanique quantique d’une particule. Nous utilisons cette méthode pour analyser nos modèles, mais avec la contrainte d’un champ magnétique externe ajouté. La méthode nous permet de considérer les transitions classiques-quantique dans le taux d’échappement dans ces systèmes. Nous obtenons le diagramme de phases ainsi que les températures critiques du passage entre les deux régimes. Nous étendons notre analyse à une chaine de spins d’Heisenberg antiferro- magnétique avec une anisotropie le long d’un axe pour N sites, prenant des conditions frontière périodiques. Pour N paire, nous montrons que l’état fondamental est non- dégénéré et donné par la superposition des deux états de Néel. Pour N impair, l’état de Néel contient un soliton, et, car la position du soliton est indéterminée, l’état fondamen- tal est N fois dégénéré. Dans la limite perturbative pour l’interaction d’Heisenberg, les fluctuations quantiques lèvent la dégénérescence et les N états se réorganisent dans une bande. Nous montrons qu’à l’ordre 2s, où s est la valeur de chaque spin dans la théorie des perturbations dégénérées, la bande est formée. L’état fondamental est dégénéré pour s entier, mais deux fois dégénéré pour s un demi-entier impair, comme prévu par le théorème de Kramer

A qualitative study of curriculum and instructional efforts in relation to high stakes federal and district policies in one low-performing elementary school

Les enjeux liés aux politiques éducatives ont considérablement changé au cours des dernières décennies. Ces changements sont liés, entre autres, à l’accroissement de l’imputabilité et de la reddition de compte qui est devenue une caractéristique importante des réformes curriculaires et pédagogiques. Les politiques à enjeux élevés exercent une pression énorme sur les districts et les écoles états-unienne afin qu’ils augmentent le rendement des élèves en utilisant des systèmes de conséquences (Hall & Ryan, 2011; Loeb & Strunk, 2007). Ces politiques envoient de puissants messages sur l'importance de certaines matières scolaires au détriment d'autres - circonscrivant les exigences en termes de compétences et de connaissances. La langue maternelle d’enseignement et les mathématiques sont devenues des mesures centrales sur lesquelles reposent l’évaluation et le degré de performance des districts et des écoles. Conséquemment, les administrateurs de districts et les directions d’écoles ont souvent recours à des réformes curriculaires et pédagogiques comme moyen d'augmenter le rendement des élèves dans les matières scolaires visées par ces politiques. Les politiques contraignent les acteurs scolaires de concentrer les ressources sur les programmes curriculaires et les évaluations, le développement professionnel, et la prise de décision pilotée par les données (Anagnostopoulos & Ruthledge, 2007; Honig & Hatch, 2004; Spillane, Diamond, et al., 2002; Weitz White & Rosenbaum, 2008). Cette thèse examine la manière dont les politiques à enjeux élevés opèrent quotidiennement dans les interactions et les pratiques au sein des écoles. Nous analysons plus particulièrement les différents messages provenant de la politique transmis aux acteurs scolaires sur les manières d'apporter des changements substantiels dans le curriculum et l'enseignement. Nous élargissons l’analyse en prenant en compte le rôle des administrateurs de district ainsi que des partenaires universitaires qui façonnent également la manière dont certains aspects des messages provenant des politiques sont transmis, négociés et/ou débattus et d’autres sont ignorés (Coburn & Woulfin, 2012). En utilisant l’analyse de discours, nous examinons le rôle du langage comme constituant et médiateur des interactions sociales entre les acteurs scolaires et d’autres parties prenantes. De telles analyses impliquent une investigation approfondie d’un nombre d’étude de cas limité. Les données utilisées dans cette thèse ont été colligées dans une école primaire états-unienne du mid-West. Cette étude de cas fait partie d’une étude longitudinale de quatre ans qui comprenait huit écoles dans les milieux urbains entre 1999 et 2003 (Distributed Leadership Studies, http://www.distributedleadership.org). La base de données analysée inclut des observations de réunions formelles et des entrevues auprès des administrateurs du district, des partenaires universitaires, de la direction d’école et des enseignants. En plus de l’introduction et de la problématique (chapitre 1) et de discussion et conclusion (chapitre 5), cette thèse comprend un ensemble de trois articles interdépendants. Dans le premier article (chapitre 2), nous effectuons une recension des écrits portant sur le domaine de l’implantation de politiques (policy implementation) et la complexité des relations locales, nationales et internationales dans les systèmes éducatifs. Pour démystifier cette complexité, nous portons une attention particulière à la construction de sens des acteurs scolaires comme étant une dimension clé du processus de mise en œuvre des réformes. Dans le deuxième article (chapitre 3), nous cherchons à comprendre les processus sociaux qui façonnent les réponses stratégiques des acteurs scolaires à l’égard des politiques du district et de l’état et en lien avec la mise en œuvre d’un curriculum prescrit en mathématiques. Plus particulièrement, nous explorons les différentes situations dans lesquelles les acteurs scolaires argumentent au sujet des changements curriculaires et pédagogiques proposés par les administrateurs de district et des partenaires universitaires afin d’augmenter les résultats scolaires en mathématiques dans une école à faible performance. Dans le troisième article (chapitre 4), nous cherchons à démystifier les complexités liées à l’amélioration de l’enseignement dans un environnement de politiques à enjeux élevés. Pour ce faire, nous utilisons l'interaction entre les notions d'agentivité et la structure afin d'analyser la manière dont les conceptions d’imputabilité et les idées qui découlent de l'environnement politique et les activités quotidiennes jouent dans les interactions entre les acteurs scolaires concernant sur l’enseignement de la langue maternelle. Nous explorons trois objectifs spécifiques : 1) la manière dont les politiques à enjeux élevés façonnent les éléments de l’enseignement qui sont reproduits et ceux qui sont transformés au fil du temps ; 2) la manière dont la compréhension des leaders de l’imputabilité façonne les aspects des messages politiques que les acteurs scolaires remarquent à travers les interactions et les conversations et 3) la manière les acteurs scolaires portent une attention particulière à certaines messages au détriment d’autres. Dans le dernier chapitre de cette thèse, nous discutons les forces et les limites de l’analyse secondaire de données qualitatives, les implications des résultats pour le domaine d’études de l’implantation de politiques et les pistes futures de recherches.