Résolution d'anaphores et identification des chaînes de coréférence selon le type de texte

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

The credibility of simulation-based environments : user judgments of verisimilitude

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La responsabilité civile des intermédiaires ayant participé à la transmission de virus informatiques sur Internet

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Autoritarismes étatiques et régulation religieuse du politique en République démocratique du Congo : analyse discursive de la parole épiscopale catholique sur les élections (1990-2015)

Centrée essentiellement autour de la parole épiscopale congolaise, la présente recherche porte sur les articulations de la religion et du politique dans une perspective limitée au catholicisme en RDC. En prenant pour base empirique la ville de Kinshasa, elle thématise les effets des dynamiques religieuses sur les fermentations sociales et les changements politiques dans un contexte d’autoritarisme. Celui-ci est, dans ce travail, problématisé comme le fait conjoint de l’institution étatique et de l’organisation religieuse catholique. Le choix de cette approche relationnelle basée sur les interactions entre religion et politique, permet d’inscrire ce travail dans le champ d’études des sciences des religions. L’approche retenue s’appuie également sur les avancées de la sociologie politique et éclaire la régulation religieuse du politique, rarement étudiée par les sciences humaines. Cette recherche s’inscrit donc à l’intersection entre l’histoire, la sociologie, les sciences politiques, l’anthropologie, l’analyse du discours, la philosophie et la théologie. Sa thèse centrale est organisée autour d’une question principale : comment la religion participe-t-elle à la régulation du politique dans le contexte d’autoritarisme caractéristique de la RDC ? La réponse à cette question croise l’approche fonctionnelle de la religion et l’analyse des déclarations institutionnelles de l’épiscopat congolais. Elle esquisse les relations entre, d’une part, contextes et événements sociopolitiques et d’autre part, discours et pratiques religieuses. Elle construit la scène religieuse à partir de la trajectoire sociopolitique, économique et culturelle de la RDC entre 1990 et 2015, sous les Présidents J.-D. Mobutu, L.-D. Kabila et J. Kabila. Elle étudie l'offre normative de sens de leurs éminences J.-A. Malula, F. Etsou et L. Monsengwo. L’analyse de la rhétorique de l’épiscopat sur les élections vérifie la plausibilité sociale et l’efficience politique de la parole épiscopale congolaise. Elle se ressource dans la pragmatique de la communication telle que mise en œuvre dans l’analyse argumentative du discours de R. Amossy et dans celle du discours politique de P. Charaudeau. En mettant la focale sur l’objet linguistique « vérité des urnes », la recherche pose au niveau normatif, juridique et éthique, le problème de l’institutionnalisation d’un État de droit en RDC. Les élaborations sur ce dernier niveau s’articulent autour de l’inscription de l’éthique dans l’agir politique. L’examen des modes conventionnels d’action des chrétiens (élections de 2006 et 2011) et non conventionnels (marche des chrétiens de 1992 et 2012) conduit à éclairer les modes de reproduction ou de contestation de l’autoritarisme étatique par l’organisation religieuse. Il permet de promouvoir une démocratie des valeurs et d’action adossée à la parrhêsia. L’introduction de l’aléthique dans la vie publique donne à voir la parole épiscopale congolaise comme un discours ethopoïétique. C’est sur ce point précis que les élaborations de M. Foucault sur la parrhêsia aident à thématiser la capacité de la religion à informer et à influencer la démocratisation de la RDC. De là, la requête formulée pour un nouveau système d’action institutionnelle de l’organisation religieuse, susceptible de promouvoir le courage de la vérité en situation autoritaire. Cette innovation permet de tenir ensemble les valeurs démocratiques et les valeurs de l’Évangile, en les corrélant à la cohérence axiologique, à la probité morale et à l’intégrité existentielle des protagonistes de la démocratisation de la RDC.

GeoGebraTUTOR : développement d’un système tutoriel autonome pour l’accompagnement d’élèves en situation de résolution de problèmes de démonstration en géométrie plane et genèse d’un espace de travail géométrique idoine

Travaux d'études doctorales réalisées conjointement avec les travaux de recherches doctorales de Nicolas Leduc, étudiant au doctorat en génie informatique à l'École Polytechnique de Montréal.

Investigating the encoding of visual stimuli by forming neural circuits in the cat primary visual cortex

Contexte La connectomique, ou la cartographie des connexions neuronales, est un champ de recherche des neurosciences évoluant rapidement, promettant des avancées majeures en ce qui concerne la compréhension du fonctionnement cérébral. La formation de circuits neuronaux en réponse à des stimuli environnementaux est une propriété émergente du cerveau. Cependant, la connaissance que nous avons de la nature précise de ces réseaux est encore limitée. Au niveau du cortex visuel, qui est l’aire cérébrale la plus étudiée, la manière dont les informations se transmettent de neurone en neurone est une question qui reste encore inexplorée. Cela nous invite à étudier l’émergence des microcircuits en réponse aux stimuli visuels. Autrement dit, comment l’interaction entre un stimulus et une assemblée cellulaire est-elle mise en place et modulée? Méthodes En réponse à la présentation de grilles sinusoïdales en mouvement, des ensembles neuronaux ont été enregistrés dans la couche II/III (aire 17) du cortex visuel primaire de chats anesthésiés, à l’aide de multi-électrodes en tungstène. Des corrélations croisées ont été effectuées entre l’activité de chacun des neurones enregistrés simultanément pour mettre en évidence les liens fonctionnels de quasi-synchronie (fenêtre de ± 5 ms sur les corrélogrammes croisés corrigés). Ces liens fonctionnels dévoilés indiquent des connexions synaptiques putatives entre les neurones. Par la suite, les histogrammes peri-stimulus (PSTH) des neurones ont été comparés afin de mettre en évidence la collaboration synergique temporelle dans les réseaux fonctionnels révélés. Enfin, des spectrogrammes dépendants du taux de décharges entre neurones ou stimulus-dépendants ont été calculés pour observer les oscillations gamma dans les microcircuits émergents. Un indice de corrélation (Rsc) a également été calculé pour les neurones connectés et non connectés. Résultats Les neurones liés fonctionnellement ont une activité accrue durant une période de 50 ms contrairement aux neurones fonctionnellement non connectés. Cela suggère que les connexions entre neurones mènent à une synergie de leur inter-excitabilité. En outre, l’analyse du spectrogramme dépendant du taux de décharge entre neurones révèle que les neurones connectés ont une plus forte activité gamma que les neurones non connectés durant une fenêtre d’opportunité de 50ms. L’activité gamma de basse-fréquence (20-40 Hz) a été associée aux neurones à décharge régulière (RS) et l’activité de haute fréquence (60-80 Hz) aux neurones à décharge rapide (FS). Aussi, les neurones fonctionnellement connectés ont systématiquement un Rsc plus élevé que les neurones non connectés. Finalement, l’analyse des corrélogrammes croisés révèle que dans une assemblée neuronale, le réseau fonctionnel change selon l’orientation de la grille. Nous démontrons ainsi que l’intensité des relations fonctionnelles dépend de l’orientation de la grille sinusoïdale. Cette relation nous a amené à proposer l’hypothèse suivante : outre la sélectivité des neurones aux caractères spécifiques du stimulus, il y a aussi une sélectivité du connectome. En bref, les réseaux fonctionnels «signature » sont activés dans une assemblée qui est strictement associée à l’orientation présentée et plus généralement aux propriétés des stimuli. Conclusion Cette étude souligne le fait que l’assemblée cellulaire, plutôt que le neurone, est l'unité fonctionnelle fondamentale du cerveau. Cela dilue l'importance du travail isolé de chaque neurone, c’est à dire le paradigme classique du taux de décharge qui a été traditionnellement utilisé pour étudier l'encodage des stimuli. Cette étude contribue aussi à faire avancer le débat sur les oscillations gamma, en ce qu'elles surviennent systématiquement entre neurones connectés dans les assemblées, en conséquence d’un ajout de cohérence. Bien que la taille des assemblées enregistrées soit relativement faible, cette étude suggère néanmoins une intrigante spécificité fonctionnelle entre neurones interagissant dans une assemblée en réponse à une stimulation visuelle. Cette étude peut être considérée comme une prémisse à la modélisation informatique à grande échelle de connectomes fonctionnels.

Le mythe de Siyâvosh : rapports entre l'épopée nationale de Ferdowsi et des récits populaires en Iran

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La justice coopérative comme théorie normative pour la création d'une lingua franca paneuropéenne

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Étude descriptive de l'environnement des écoliers à l'heure des leçons et des devoirs à la maison

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Conception et développement d'un environnement favorisant l'apprentissage des concepts fondamentaux de la programmation

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

PCFinfer : an intelligent product recommendation agent for electronic commerce

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Les algorithmes d'apprentissage appliqués aux risques financiers

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Quantum pseudo-telepathy games

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Modélisation sémantique, syntaxique et lexicale de la paraphrase

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.