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 décroissant Titre Trier par titre en ordre décroissant
2022-02 Apprentissage d'atlas cellulaires par la méthode de Factorized embeddings
2017-07 Stochastic mesh approximations for dynamic hedging with costs
1998 Le calcul des plus courts chemins statiques et temporels : synthèse, implantations séquentielles et parallèles
2010-08 Déploiement automatique d’une application de routage téléphonique d’une langue source vers une langue cible
2012-07 Traduction statistique vers une langue à morphologie riche : combinaison d’algorithmes de segmentation morphologique et de modèles statistiques de traduction automatique
2010-11 Configuration et exploitation d'une machine émotionnelle
2000 Des générateurs récursifs multiples combinés rapides avec des coefficients de la forme ±2p1 ±2p2
2005 Alignement des ontologies OWL-Lite
2001 Extraction automatique de filtres dans le cadre de la production automatique de résumés
2002 Méthodes de montée duale pour le problème de conception de réseaux multiproduits avec couts fixes et capacités
1994 La génération automatique de descriptions de systèmes dynamiques
2014-10 Évaluation et amélioration du rendement de la formation en entreprise : vers une démarche basée sur la gestion des processus d’affaires
1989 Algorithme pour trouver les composantes 3-connexes d'un graphe
2015-04 Interactive quantum information theory
2013-12 Reconnaissance des actions humaines à partir d'une séquence vidéo
2019-04 Détection de changement en imagerie satellitaire multimodale
2021-08 Large state spaces and self-supervision in reinforcement learning
2017-02 Enhancing infotainment applications quality of service in vehicular ad hoc networks
2021-11 Contributions à la sonification d’image et à la classification de sons
2005 Prédiction des pré-miARN basée sur la conservation de structure dans les pri-miARN
2023-06 Learning and planning with noise in optimization and reinforcement learning
1992 Analyses et applications des méthodes de projection sur un sous-espace
2016-08 Prédiction du délai d'attente en temps réel et modélisation des durées de service dans les centres d'appels multi-compétences
1994 Traduction d'un sous-ensemble de SDL en Estelle
2000 White Rabbit : agents intelligents d'analyse de discussion pour la reconnaissance de profils d'usagers compatibles
2013-09 Algorithmes d’apprentissage profonds supervisés et non-supervisés: applications et résultats théoriques
2004 Modélisation tridimensionnelle des ARN par exploration de l'espace conformationnel et satisfaction de contraintes
2006 Reconnaissance des graphes policier-gagnants
1989 Une approche de restriction basée sur une méthode primale-duale pour résoudre le problème de localisation-distribution avec échanges interdépôts
1995-11 Un cadre d'application pour interfaces de gestion OSI
2004 Prédiction de la structure commune aux ARN messagers codant pour la protéine STG
2022-08 Generalization in federated learning
2005 Heuristique basée sur des méthodes de montée duale et de voisinage variable pour la résolution d'un problème de localisation dans un système de distribution
2021-05 Méthodes de décomposition basées sur la relaxation lagrangienne : cas du problème de transport avec coûts fixes
2019-12 Stochastic optimization of staffing for multiskill call centers
2013-12 Staffing optimization with chance constraints in call centers
1997 Logiciel pour la vérification par simulation de la spécification de haut niveau de systèmes matériels
2007 Reconstruction active et passive en vision par ordinateur
1990 Transformations de programmes logiques : Bases sémantiques et applications
1999 Informatique quantique : algorithmes et complexité de la communication
1995 Évaluation de fonctions sur données privées
1996 Formal method for the design of real-time communicating subsystems and controllers
2009-12 Eyes Of Darwin : une fenêtre ouverte sur l'évolution du logiciel
2018-08 Latent variable language models
1997 On conformance testing of systems communicating by Rendezvous
2024-05 Quotient Types in Typer
2023-03 Computational modeling and design of nonlinear mechanical systems and materials
2023-10 Représentations géométriques de détails fins pour la simulation d’éclairage
1996 Décomposition semi-automatique de diagramme de flot des données (DFD)
2006 Qualité de service dans les services Web
Nombre de résultats : 1474