Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

Rechercher

Thèses et mémoires

Des thèses et mémoires de nos étudiants sont conservés et consultables dans Papyrus, le dépôt institutionnel de l'Université de Montréal.

 

 

Pour une recherche détaillée
 Visiter Papyrus
Date Trier par date en ordre croissant Titre Trier par titre en ordre croissant
2002 Demand-driven type analysis for dynamically-typed functional languages
2007 De nouveaux algorithmes de tri par transpositions
2010-08 Déploiement automatique d’une application de routage téléphonique d’une langue source vers une langue cible
2015-07 Dérivation de diagrammes de séquence UML compactes à partir de traces d’exécution en se basant des heuristiques
1989 Dérivation de protocoles à partir de services de communication écrits dans un sous-ensemble de LOTOS
1997 Dérivation de spécification à partir de scénarios d'interaction
2003 Désambiguïsation de corpus monolingues par des approches de type Lesk
2010-12 Désambiguisation de sens par modèles de contextes et son application à la Recherche d’Information
2000 Des générateurs récursifs multiples combinés rapides avec des coefficients de la forme ±2p1 ±2p2
2008 Design et implémentation sur FPGA d'un algorithme DES
2016-01 Designing Regularizers and Architectures for Recurrent Neural Networks
2006 Design optimal de réseau multipoint survivable
1990 Des implantations parallèles de l'algorithme d'approximation linéaire pour la résolution du problème d'affectation du trafic
2023-12 Detecting pre-error states and process deviations resulting from cognitive overload in aircraft pilots
2019-04 Détection de changement en imagerie satellitaire multimodale
2013-04 Détection de chute à l'aide d'une caméra de profondeur
2011-04 Détection de la retransmission sélective sur les réseaux de capteurs
2015-08 Détection de mouvement par modèle biologique de fusion de donnée inspiré de la rétine humaine
2016-08 Détection de mouvements dans des séquences d’images basée sur la dynamique de supraconductivité
2012-08 Détection des chutes par calcul homographique
1998 Détection des patrons de conception dans les systèmes orientés objet
2018-06 Détection des utilisations à risque d’API : approche basée sur le système immunitaire
2023-04 Détection de tableaux dans des documents : une étude de TableBank
2014-10 Détection d'évènements à partir de Twitter
2016-12 Détection et amélioration de l'état cognitif de l'apprenant
2000 Détection et analyse de motifs structuraux et fonctionnels dans les acides ribonucléiques
2018-08 Détection et contrôle de l’indice d’intérêt dans support publicitaire
2002 Détection non-supervisée de contours et localisation de formes à l'aide de modèles statistiques
1991 Détection rapide des erreurs lexicales et syntaxiques en français
2023-04 Detection, recuperation and cross-subject classification of mental fatigue
2007 Détection visuelle d'anomalies de conception dans les programmes orientés objets
1996 Détermination de la contraction de la surface cardiaque en coronarographie biplan
2003 Determination of software quality through a generic model
1996 Developing network management applications using application frameworks and literate programming
2016-08 Development of new scenario decomposition techniques for linear and nonlinear stochastic programming
2000 Développement de cours pour un environnement distribué de formation à distance
1998 Développement de tests à partir d'une spécification formelle en SDL : le protocole de signalisation ATM/PNNI
1989 Développement de tests pour le protocole de signalisation du Réseau numérique à intégration de services
2011-12 Développement d’un algorithme de branch-and-price-and-cut pour le problème de conception de réseau avec coûts fixes et capacités
2003 Développement d'un curriculum et d'un modèle de l'apprenant orientés vers un domaine multidisciplinaire : l'informatique quantique
1997 Développement d'un éditeur graphique pour les suites de tests de protocoles de communication
2005 Développement d'une fonction d'évaluation pour le jeu de go
2001 Développement d'une méthode de recherche avec tabous pour un problème de chargement de réseaux de télécommunications
1993 Développement d'un environnement de test et de diagnostique
1994 Développement d'un environnement pour le langage Mondel en utilisant l'outil CENTAUR
2004 Développement d'un outil générique de simulation distribuée de marchés électroniques basés sur les enchères
2022-04 Développement d’un serveur LSP pour Typer
2016-04 Développement d’un système d’appariement pour l’e-recrutement
2014-11 Développement et implémentation du jeu des vingt questions
2009-07 Développement logiciel par transformation de modèles
Nombre de résultats : 1474