Une approche conceptuelle pour l’interprétation des graphiques en cinématique au secondaire

Cette recherche tente de déterminer si, dans le cadre d’un cours de physique de cinquième secondaire, l’utilisation d’un laboratoire par enquête guidée (comme complément d’enseignement basé sur une approche conceptuelle) permet aux élèves de mieux comprendre des notions de cinématique, que le laboratoire traditionnel. Elle s’inscrit dans une série d’études, réalisées au collégial ou à l’université, qui portent sur des approches d’enseignement exploitant le laboratoire comme moyen de transmission des concepts mécaniques en physique (McDermott, 1996; Beichner, 1994). Le laboratoire par enquête est associé à une approche conceptuelle axée sur le raisonnement qualitatif alors que celui qui est traditionnel est associé à une approche traditionnelle de l’enseignement de la physique. Le test TUG-K, «Test of Understanding Graphs in Kinematics » (Beichner, 1994), ainsi que des entrevues individuelles ont été utilisés afin d’évaluer la compréhension des concepts de cinématique. Il semble d’abord que le laboratoire par enquête guidé soit efficace pour enseigner la plupart des notions de cinématique. De plus, en comparant deux groupes d’une trentaine d’élèves de 5e secondaire ayant suivi deux types de laboratoires différents, l’étude a permis d’entrevoir une piste concernant la compréhension du concept d’accélération. Les résultats suggèrent qu’un laboratoire associé à une approche conceptuelle permettrait aux étudiants, à long terme, de mieux s’approprier les notions d’accélération qu’un laboratoire traditionnel.

La responsabilité de protéger et l’intervention humanitaire : de la reconceptualisation de la souveraineté des États à l’individualisme normatif

La recrudescence des conflits internes dans le contexte post-guerre froide a permis de propulser à l’avant-plan la préoccupation pour les individus. Alors que la paix et la sécurité internationales ont historiquement constitué les piliers du système institutionnel international, une porte s’ouvrait pour rendre effectif un régime de protection des droits de l’homme par-delà les frontières. Pour les humanistes, l’intervention humanitaire représentait un mal nécessaire pour pallier aux souffrances humaines souvent causées par des divergences ethniques et religieuses. Pourtant, cette pratique est encore souvent perçue comme une forme de néo-colonialisme et entre en contradiction avec les plus hautes normes régissant les relations internationales, soit les principes de souveraineté des États et de non-intervention. La problématique du présent mémoire s’inscrit précisément dans cette polémique entre la préséance des droits de l’État et la prédilection pour les droits humains universels, deux fins antinomiques que la Commission internationales pour l’intervention et la souveraineté des États (CIISE) a tenté de concilier en élaborant son concept de responsabilité de protéger. Notre mémoire s’inscrit dans le champ de la science politique en études internationales mais s’articule surtout autour des notions et enjeux propres à la philosophie politique, plus précisément à l’éthique des relations internationales. Le travail se veut une réflexion critique et théorique des conclusions du rapport La responsabilité de protéger, particulièrement en ce qui concerne le critère de la juste cause et, dans une moindre mesure, celui d’autorité appropriée. Notre lecture des conditions de la CIISE à la justification morale du déclenchement d’une intervention humanitaire – critères issues de la doctrine de la guerre juste relativement au jus ad bellum – révèle une position mitoyenne entre une conception progressiste cosmopolitique et une vision conservatrice d’un ordre international composé d’États souverains. D’une part, la commission se dissocie du droit international en faisant valoir un devoir éthique d’outrepasser les frontières dans le but de mettre un terme aux violations massives des droits de l’homme et, d’autre part, elle craint les ingérences à outrance, comme en font foi l’établissement d’un seuil de la juste cause relativement élevé et la désignation d’une autorité multilatérale à titre de légitimateur de l’intervention. Ce travail dialectique vise premièrement à présenter et situer les recommandations de la CIISE dans la tradition de la guerre juste. Ensuite, il s’agit de relever les prémisses philosophiques tacites dans le rapport de la CIISE qui sous-tendent le choix de préserver une règle de non-intervention ferme de laquelle la dérogation n’est exigée qu’en des circonstances exceptionnelles. Nous identifions trois arguments allant en ce sens : la reconnaissance du relativisme moral et culturel; la nécessité de respecter l’autonomie et l’indépendance des communautés politiques en raison d’une conception communautarienne de la légitimité de l’État, des réquisits de la tolérance et des avantages d’une responsabilité assignée; enfin, l’appréhension d’un bouleversement de l’ordre international sur la base de postulats du réalisme classique. Pour finir, nous nuançons chacune de ces thèses en souscrivant à un mode de raisonnement cosmopolitique et conséquentialiste. Notre adhésion au discours individualiste normatif nous amène à inclure dans la juste cause de la CIISE les violations systématiques des droits individuels fondamentaux et à cautionner l’intervention conduite par une coalition ou un État individuel, pourvu qu’elle produise les effets bénéfiques désirés en termes humanitaires.

La puissance des faits qui sont tus : la Cour suprême du Canada et l'expulsion vers la torture

Dans Suresh c. Canada (Ministre de la Citoyenneté et de l'Immigration) (2002), la Cour suprême du Canada en vient à la conclusion que les principes de justice fondamentale prévus à l'm1icle 7 de la Charte canadienne des droits et libertés autorisent, dans des circonstances exceptionnelles, l'expulsion d'une personne vers la torture. La Cour nous indique que l'identification des principes de justice fondamentale doit se fonder sur une démarche contextuelle et sur un consensus dans la société canadienne. Le fondement factuel dans le raisonnement de la Cour est pourtant inexistant. Elle ne traite ni du contexte en matière d'immigration, ni du contexte en matière de sécurité nationale entourant cette décision. La Cour prescrit un haut degré de retenue pour le contrôle judiciaire de la décision du Ministre de la Citoyenneté et de l'Immigration d'expulser une personne vers la torture. Cette retenue explique en partie le traitement déficient des faits. La Cour conclut qu'il y aurait un consensus dans la société canadienne sur le principe de justice fondamentale qui autorise l'expulsion d'une personne vers la torture sans fournir la preuve de ce fait social. L'absence de traitement des faits et de la preuve affecte la légitimité – la force persuasive - de la décision de la Cour suprême dans Suresh.

La crise du logement en Algérie : des politiques d'urbanisme mésadaptées

La crise du logement est généralement appréhendée comme une simple disparité entre une disponibilité de logements abordables et les besoins de la population. Ce mémoire a pour objectif de dépasser ce raisonnement en s’interrogeant sur l’adéquation entre la conception des logements publics et les besoins des populations ciblées, qui sont déterminés par les spécificités socioculturelles en évolutions complexes et dynamiques. Des logements sociaux d’une grandeur inadéquate, pour des considérations de rentabilité, entraînant l’apparition d’une surpopulation, ne pouvaient qu’engendrer leur détérioration rapide et leur bidonvilisation. Ce mémoire aborde donc le thème anthropologique de l’influence de l’organisation de l’habitat et des espaces de vies privées et collectives sur les sociétés humaines. Le cas particulier de l’Algérie est intéressant par sa virulence et par l’importation des politiques françaises au moment de la colonisation, politiques visant l’assimilation des Algériens aux habitudes de consommation et aux modes de comportement occidentaux. Ce mémoire tente de démontrer que les différents gouvernements issus de l’indépendance auront réactivé les politiques coloniales en matière d’urbanisme. De plus, l’augmentation de la fréquence des pratiques informelles de captation à la source des biens stratégiques rares à des fins spéculatives, dont les logements sociaux, accélérée par la libéralisation du marché immobilier et la privatisation des logements publics, a fait en sorte que très peu de logements sociaux furent attribués aux familles qui en avaient besoin qui se retrouvèrent donc de plus en plus marginalisées et devaient à leur tour se tourner vers des pratiques informelles pour espérer améliorer leurs conditions de logement.

Étude de la pharmacologie de ligands du récepteur EP4 de prostaglandine E2

La prostaglandine E2 est une hormone lipidique produite abondamment dans le corps, incluant dans le rein où elle agit localement pour réguler les fonctions rénales. Un couplage à la protéine Gαs menant à une production d’AMPc a classiquement été attribué au récepteur EP4 de PGE2. La signalisation d’EP4 s’est cependant avérée plus complexe et implique aussi un couplage aux protéines sensibles à la PTX Gαi et des effets reliés aux β-arrestines. Il y a maintenant plusieurs exemples de l’activation sélective de voies de signalisation indépendantes par des ligands des récepteurs couplés aux protéines G (RCPG), et ce concept désigné sélectivité fonctionnelle pourrait être exploité dans le développement de nouveaux médicaments plus spécifiques et efficaces. Dans une première étude, la puissance et l’activité intrinsèque d’une série de ligands d’EP4 pour l’activation de Gαs, Gαi et de la ß-arrestine ont été systématiquement déterminées relativement au ligand endogène PGE2. Dans ce but, trois essais de transfert d’énergie de résonance de bioluminescence (BRET) ont été adaptés pour évaluer les différentes voies dans des cellules vivantes. Nos résultats montrent une sélectivité fonctionnelle importante parmi les agonistes évalués et ont une implication pour l’utilisation d’analogues de la PGE2 dans un contexte expérimental et possiblement clinique, puisque leur spectre d’activité diffère de l’agoniste naturel. La méthodologie basée sur le BRET utilisée lors de cette première évaluation systématique d’une série d’agonistes d’EP4 devrait être applicable à l’étude d’autres RCPG. Dans une deuxième étude, des peptides reproduisant des régions juxtamembranaires extracellulaires du récepteur EP4 ont été conçus selon le raisonnement que des peptides ciblant des régions éloignées du site de liaison du ligand naturel ont le potentiel de ne moduler qu’une partie des activités du récepteur. L’insuffisance rénale aiguë est une complication médicale grave caractérisée par un déclin brusque et soutenu de la fonction rénale et pour laquelle il n’y a pas de traitement efficace à l’heure actuelle. Nos résultats montrent que le peptidomimétique dérivé d’EP4 optimisé (THG213.29) améliore significativement les fonctions rénales et les changements histologiques dans une insuffisance rénale aiguë induite par cisplatine ou par occlusion des artères rénales dans des rats Sprague-Dawley. Le THG213.29 ne compétitionnait pas la liaison de la PGE2 à EP4, mais modulait la cinétique de dissociation de la PGE2, suggérant une liaison à un site allostérique d’EP4. Le THG213.29 démontrait une sélectivité fonctionnelle, puisqu’il inhibait partiellement la production d’AMPc induite par EP4 mais n’affectait pas l’activation de Gαi ou le recrutement de la ß-arrestine. Nos résultats indiquent que le THG213.29 représente une nouvelle classe d’agent diurétique possédant les propriétés d’un modulateur allostérique non-compétitif des fonctions du récepteur EP4 pour l’amélioration des fonctions rénales suite à une insuffisance rénale aiguë.

Rawlsian justice and the challenge of diversity

Ce mémoire examine le rôle de la diversité dans une conception de la justice. Je débute en considérant l’abstraction de la différence impliquée dans le raisonnement utilisé pour arriver à une conception de la justice. Par la suite j’évalue le rôle des différences des groupes sociaux dans l’application des principes de justice, en considérant si la justice exige des droits individuels ou si les groupes peuvent revendiquer des droits différenciés. Ce mémoire utilise la position originale de John Rawls pour évaluer la première question, et sa conception de la personne et des groupes sociaux pour examiner la deuxième. Je soutiens que nous pouvons et devrions utiliser l’abstraction de la position originale, tant que nous sommes conscients de ses limites. Bien que sa conception politique de la personne soit également utile pour la défense des droits individuels, sa conception du groupe social n’est pas appropriée pour les groupes culturels ou historiquement opprimés, car il repose trop lourdement sur la notion d’association volontaire. J’analyse l’argument de Will Kymlicka concernant les droits minoritaires et j’enrichis la théorie de Rawls en ajoutant l’inégalité entre groupes. Je termine en examinant les problèmes concernant les minorités à l’intérieur des groupes minoritaires et conclue que les droits minoritaires ne sont justifiées que lorsqu’ils sont compatibles avec les droits individuels, et non pas quand ils renforcent une autre inégalité. Par conséquent, même si l’abstraction au niveau théorique est justifiée, les droits des groupes minoritaires exigeront qu’on porte une attention aux différences entres groupes, ainsi qu’à l’intérieur de ceux-ci.

Étude de situations de validation en algèbre vécues par des élèves de 13 et 14 ans à l’aide et sans l’aide d’un forum électronique

L’un des buts de l’apprentissage des mathématiques est le développement du raisonnement et celui-ci participe à la compréhension des mathématiques. Très liée au raisonnement, la notion de preuve est aussi fondamentale à l’apprentissage des mathématiques, car elle permet d’établir la validité d’arguments mathématiques et de conférer un sens à différents concepts à travers l’explication de l’organisation logique du travail effectué. Toutefois, malgré l’importance accordée au développement de différents types de raisonnements, plusieurs élèves éprouvent des difficultés lorsqu’ils sont appelés à concevoir ou à évaluer des preuves. Dans le cadre de cette recherche, nous avons étudié l’impact de l’utilisation d’un forum électronique sur le développement d’habiletés de validation algébrique ainsi que sur le développement d’habiletés en lien avec l’évaluation de preuves en algèbre chez des élèves de 13 et 14 ans du Nouveau-Brunswick et du Québec. Les résultats laissent supposer que l’utilisation du forum électronique encourage le passage des preuves pragmatiques aux preuves intellectuelles, en plus de favoriser une utilisation adéquate des règles du débat mathématique.

Les trois dimensions de l’économie du document

Le travail collectif de Pédauque a mis en évidence les trois dimensions du document : la forme, le texte ou contenu et la relation (« Vu », « Lu » et « Su »), cet article montre comment ces approches se déclinent dans un raisonnement économique et permettent d’éclairer les principaux modèles de valorisation commerciale.

Enantiopure 3-substituted piperidines via an aziridinium ion ring expansion

Ce mémoire décrit le développement d’une nouvelle méthodologie d’expansion de cycle irréversible à partir de N-alkyl-3,4-déhydroprolinols pour former des N-alkyl tétrahydropyridines 3-substituées en passant par un intermédiaire aziridinium bicyclique. Cette méthode permet l’introduction d’un vaste éventail de substituants à la position 3 et tolère bien la présence de groupements aux positions 2 et 6, donnant accès à des pipéridines mono-, di- ou trisubstituées avec un excellent diastéréocontrôle. De plus, il est démontré que l’information stéréogénique du 3,4-déhydroprolinol de départ est totalement transférée vers le produit tétrahydropyridine. Additionnellement, une méthodologie fut dévelopée pour la préparation des produits de départ 3,4-déhydroprolinols en forme énantiopure, avec ou sans substituants aux positions 2 et 5, avec un très bon stéréocontrôle. Le premier chapitre présente un résumé de la littérature sur le sujet, incluant un bref survol des méthodes existantes pour la synthèse de pipéridines 3-substituées, ainsi qu’une vue d’ensemble de la chimie des aziridiniums. L’hypothèse originale ainsi que le raisonnement pour l’entreprise de ce projet y sont également inclus. Le second chapitre traite de la synthèse des N-alkyl-3,4-déhydroprolinols utilisés comme produits de départ pour l’expansion de cycle vers les tétrahydropyridines 3-substituées, incluant deux routes synthétiques différentes pour leur formation. Le premier chemin synthétique utilise la L-trans-4-hydroxyproline comme produit de départ, tandis que le deuxième est basé sur une modification de la réaction de Petasis-Mannich suivie par une métathèse de fermeture de cycle, facilitant l’accès aux précurseurs pour l’expansion de cycle. Le troisième chapitre présente une preuve de concept de la viabilité du projet ainsi que l’optimisation des conditions réactionnelles pour l’expansion de cycle. De plus, il y est démontré que l’information stéréogénique des produits de départs est transférée vers les produits. iv Au quatrième chapitre, l’étendue des composés pouvant être synthétisés par cette méthodologie est présentée, ainsi qu’une hypothèse mécanistique expliquant les stéréochimies relatives observées. Une synthèse énantiosélective efficace et divergente de tétrahydropyridines 2,3-disubstituées est également documentée, où les deux substituants furent introduits à partir d’un intermédiaire commun en 3 étapes.

Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce

Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de SystemC, considéré comme la norme pour la conception au niveau système, sont en cours afin de relever ces nouveaux défis. Cependant, à cause du modèle de concurrence complexe de SystemC, relever ces défis reste toujours une tâche difficile. Ainsi, nous pensons qu’il est primordial de partir sur de meilleures bases en utilisant un modèle de concurrence plus efficace. Par conséquent, dans cette thèse, nous étudions une méthodologie de conception qui offre une meilleure abstraction pour modéliser des composants parallèles en se basant sur le concept de transaction. Nous montrons comment, grâce au raisonnement simple que procure le concept de transaction, il devient plus facile d’appliquer la vérification formelle, le raffinement incrémental et la synthèse de haut niveau. Dans le but d’évaluer l’efficacité de cette méthodologie, nous avons fixé l’objectif d’optimiser la vitesse de simulation d’un modèle transactionnel en profitant d’une machine multicoeur. Nous présentons ainsi l’environnement de modélisation et de simulation parallèle que nous avons développé. Nous étudions différentes stratégies d’ordonnancement en matière de parallélisme et de surcoût de synchronisation. Une expérimentation faite sur un modèle du transmetteur Wi-Fi 802.11a a permis d’atteindre une accélération d’environ 1.8 en utilisant deux threads. Avec 8 threads, bien que la charge de travail des différentes transactions n’était pas importante, nous avons pu atteindre une accélération d’environ 4.6, ce qui est un résultat très prometteur.

Influence des facteurs émotionnels sur la résistance au changement dans les organisations

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

Développement de tests mesurant les habiletés de perception et d'interprétation des radiographies pulmonaires

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

Les valeurs afférentes à la Charte canadienne des droits et libertés dans le discours judiciaire : utilisations et sources

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

Analyse épistémologique du potentiel créateur de la sélection naturelle ; entre darwinisme et postdarwinisme

Ce mémoire propose de faire l’analyse épistémologique du pouvoir créateur de la sélection naturelle. L’objectif sera de déterminer en quelle mesure il est légitime ou non de lui attribuer un tel pouvoir. Pour ce faire, il sera question de savoir si l’explication sélectionniste peut répondre à la question de l’origine des formes structurelles du vivant. Au premier chapitre, nous verrons le raisonnement qui mena Darwin à accorder un pouvoir créateur à la sélection naturelle. Nous comprendrons alors qu’un cadre exclusivement darwinien n’est peut-être pas à même de répondre au problème de la nouveauté évolutionnaire. Au deuxième chapitre, nous verrons dans une perspective darwinienne qu’il est possible de conserver l’essence de la théorie darwinienne et d’accorder à la sélection naturelle un pouvoir créateur, bien que deux des piliers darwiniens fondamentaux doivent être remis en question. Au troisième chapitre, nous verrons dans une perspective postdarwinienne que le pouvoir cumulatif de la sélection naturelle n’est peut-être pas à même d’expliquer l’adaptation sur le plan individuel, ce qui remet lourdement en question le pouvoir créateur de la sélection naturelle. Nous comprendrons alors que le débat, entre partisans d’une vision positive et partisans d’une vision négative de la sélection naturelle, dépend peut-être d’un présupposé métaphysique particulier.

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.