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

Développement de méthodes analytiques pour la protéomique et l'identification de peptides MHC I issus de cellules leucémiques

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

Types de généralisations et épistémologie des mathématiques : de l'intégrale de Cauchy à l'intégrale de Lebesgue

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

Chimères, données manquantes et congruence : validation de différentes méthodes par simulations et application à la phylogénie des mammifères

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

Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise

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.

Impacts des TIC sur la motivation des étudiants à l’apprentissage des mathématiques à l’Université Abdou Moumouni au Niger

Cette recherche porte sur l’amélioration de la motivation à l’apprentissage des mathématiques à l’Université Abdou Moumouni. Elle se situe dans une dynamique globale de mise au point d’actions pédagogiques pour remédier au problème préoccupant de la motivation à l’apprentissage des sciences. Plus spécifiquement, il s’agit de prospecter si les environnements virtuels d’apprentissage peuvent contribuer à l’amélioration de la transmission des savoirs dans un contexte universitaire au Niger. Ainsi, notre recherche vise à mieux comprendre l’impact de l’intégration des TIC sur la motivation chez des étudiants à apprendre les mathématiques au Niger. Les trois objectifs spécifiques de notre recherche sont : explorer les impacts sur le sentiment de compétence chez des étudiants à l’apprentissage des mathématiques dans un contexte d’intégration pédagogique des TIC; mieux comprendre le changement des types de motivations autodéterminées à l’apprentissage des mathématiques chez des étudiants exposés à une intégration pédagogique des TIC; comprendre les perceptions de l’usage d’un environnement virtuel à l’apprentissage des mathématiques chez des étudiants et l’évolution de leurs motivations autodéterminées. Se fondant sur une méthodologie de type mixte, cette recherche quasi-expérimentale a consisté en la collecte de données quantitatives au moyen de 2 questionnaires sur la motivation (sentiment de compétence et sentiment d’autodétermination) en pré-test et en post-test. Pour les données qualitatives, nous avons eu recours à des entrevues dirigées auprès de 9 participants. Au total 61 étudiants inscrits en science de la vie et de la terre, dont 51 hommes, ont participé à la recherche. La thèse respecte le mode de présentation par articles. Chacun des trois articles est en lien avec un des trois objectifs de la recherche, dans l’ordre cité plus haut. Les principaux résultats indiquent un impact positif sur la motivation à travers un recul du sentiment négatif de compétence chez les étudiants ayant bénéficié de l’apport des TIC comparativement aux étudiants ordinaires. En ce qui concerne le sentiment d’autodétermination, chez les étudiants ayant bénéficié de l’apport pédagogique des TIC, il est mis en évidence une stagnation ou une légère baisse des motivations peu ou pas autodéterminées et une légère hausse ou une stagnation des motivations autodéterminées chez les étudiants ayant bénéficié de l’apport des TIC. Finalement, la recherche a permis de mettre en relief l'existence de corrélations positives entre l’augmentation des motivations autodéterminées et la perception d’une qualité positive de l’expérience d'innovation pédagogique que représente l’environnement virtuel d’apprentissage des mathématiques. En définitive, cette recherche fait ressortir l’importance de l'intégration pédagogique des TIC pour améliorer les pratiques pédagogiques actuelles, et satisfaire deux besoins psychologiques fondamentaux, notamment le sentiment de compétence et le sentiment d’autodétermination, deux composantes essentielles de la motivation selon la théorie de l’autodétermination de Deci et Ryan. Les résultats obtenus dégagent des perspectives intéressantes en vue de renforcer les recours aux environnements virtuels d'apprentissage au profit de la motivation à l'apprentissage des mathématiques. Les forces et les limites de la recherche sont discutées et un ensemble de recommandations sont émises à l’intention des acteurs académiques, notamment les perspectives assez prometteuses de l’intégration pédagogique des TIC au service de l'apprentissage des sciences en Afrique, et au Niger en particulier.

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.

Modélisation et implémentation des patrons de conception

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

Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable

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

Analyse de la variation intra- et inter-populationnelle : application de deux méthodes craniométriques sur des collections amérindiennes-canadiennes

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

Développement et évaluation de méthodes d'isolation des spores de champignons contenues dans l'eau des rivières

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

Modélisation de détecteurs à base de semiconducteurs pour la spectroscopie et l'imagerie des rayons-[y] ?

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

SCAM et modélisation 3-D du canal TRPV5

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

Méthodes de détection et de classification des naines brunes

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

Développement et validation de méthodes de dosage du midazolam, un marqueur de l'activité des CYP3A, et de la fexofénadine, un substrat de la glycoprotéine P, dans les milieux biologiques

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