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.

 

 

For a detailed search
 Visit Papyrus
Date Sort by date in descending order Title Sort by title in descending order
1996-04 Un système multi-paradigme pour la manipulation des connaissances utilisant la théorie des graphes conceptuels
2018-08 Détection et contrôle de l’indice d’intérêt dans support publicitaire
2019-02 Analyse visuelle et cérébrale de l’état cognitif d’un apprenant
2017-03 Modélisation et maintien de l’engagement dans un environnement du jeu vidéo émotionnel
2005 QUERI : un système de question-réponse collaboratif et interactif
2009-08 L’analyse de composants émotionnels dans des stratégies d’apprentissage
2000 Problème d'affectation dynamique sur un réseau de transport
2000 L'optimisation des fréquences d'un réseau de transport en commun avec congestion
1998 Le calcul des plus courts chemins statiques et temporels : synthèse, implantations séquentielles et parallèles
2000 Un algorithme de chargement dynamique des réseaux : mésosimulation du flot dynamique avec capacités explicites
2000 A discrete flow model for dynamic network loading
2000 The cell-transmission model : a new look at a dynamic network loading model
2003 Le calcul parallèle des plus courts chemins temporels
2006 Simulation dynamique du trafic routier urbain et optimisation des contrôles
2006 Étude numérique d'algorithmes d'affectation d'équilibre de réseaux : modèles statiques à coûts symétriques avec demandes fixes dans l'espace des chemins
1999 Symétrie et sens de l'orientation dans les graphes
2016-04 Algorithmique et complexité des systèmes à compteurs
2012-02 « Resolution Search » et problèmes d’optimisation discrète
1999 Scatter Search pour le problème du voyageur de commerce
2016-04 Interrelated product design activities sequencing with efficient tabu search algorithms
1998 Planification de l'horaire des médecins dans une salle d'urgence
2002 Confection automatisée des horaires de médecins dans une salle d'urgence
2002 Heuristique d'évaporation de pénalités dans une méthode de décomposition pour trouver la plus grande clique d'un graphe
2015-08 A heuristic algorithm for the Capacitated Vehicle Routing Problem with Synchronized Pick-ups and Drop-offs : a case study for medications delivery and supervision in DR Congo
2007 Problème de planification des tournées des intervenants pour les visites à domicile
2013-01 La résolution du problème de formation de cellules dans un contexte multicritère
2014-06 Affectation de composantes basée sur des contraintes énergétiques dans une architecture multiprocesseurs en trois dimensions
2016-09 An adaptive neighborhood search algorithm for optimizing stochastic mining complexes
2002 Méthodes heuristiques pour résoudre un problème d'horaire de projets avec contraintes sur les ressources
2006 Résolution du problème d'ordonnancement des activités avec contraintes de ressources et sa généralisation
2000 Planification de l'exploitation forestière par des méthodes heuristiques
2008 Méthodes et outils pour une affectation optimale des juges lors des compétitions : une application au concours John Molson
2003 Méthodes heuristiques pour un problème d'ordonnancement avec contraintes sur les ressources
2015-04 FPGA-based object detection using classification circuits
2021-07 Computation over partial information : a principled approach to accurate partial evaluation
2006 Conception d'un langage de programmation pour applications distribuées
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
1999 Un générateur de code machine pour le compilateur Gambit
1999 Analyse et optimisation globales de modules compilés séparément
2019-05 Simple optimizing JIT compilation of higher-order dynamic programming languages
2013-04 A layered JavaScript virtual machine supporting dynamic instrumentation
2020-03 Diffusion de modules compilés pour le langage distribué Termite Scheme
2002 Compilation statique de Java
2014-08 Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme
2009-10 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
2000 La compilation de patrons de filtrage sous Erlang
2002 Demand-driven type analysis for dynamically-typed functional languages
2021-08 Reusable semantics for implementation of Python optimizing compilers
1999 Génération de machines virtuelles pour l'exécution de programmes compressés
2002 YADL : a general purpose SDSM system
Number of results : 1178