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
2001 Programmes de branchement restreints pour un problème P-complet
1992 Système intégré de spectroscopie automatisée
2009-08 Planification de la récolte et allocation des produits aux usines
2015-08 Modèles et méthodes pour la planification de la récolte forestière
1994 Nouvelles méthodes de résolution de problèmes de conception de réseaux et leur implantation en environnement parallèle
1990 Implantations parallèles d'un algorithme de séparation et évaluation progressive pour résoudre le problème de localisation avec équilibrage
2000 Détection et analyse de motifs structuraux et fonctionnels dans les acides ribonucléiques
2013-05 Génération de résumés par abstraction
2009 Système symbolique de création de résumés de mise à jour
2022-12 Gestion manuelle et sécuritaire de la mémoire en Typer
2017-08 Factorized second order methods in neural networks
2023-01 Deep networks training and generalization: insights from linearization
2000 Un modèle uniforme pour la modélisation et la métamodélisation d'une mémoire d'entreprise
2006 Conception d'un langage de programmation pour applications distribuées
2016-06 Coreference resolution with and for Wikipedia
2020-03 Leveraging distant supervision for improved named entity recognition
2023-08 Analysis and evaluation of the pilot attentional model
2010-04 Impact des émotions sur les performances
2016-12 Détection et amélioration de l'état cognitif de l'apprenant
2004 Métaheuristiques de recherche avec tabous pour le problème de synthèse de réseau multiproduits avec capacités
1993 Variantes de la méthode Tabou pour la coloration de graphes
1992 Étude comparative de méthodologies de layout orienté
1992 Diagnostic tests for protocol implementations modeled by finite state machines
2011-08 Système de listes de vérification interactives du niveau de conformité des maquettes avec les recommandations des fabricants de plateformes mobiles
2003 Aviseurs indépendants pour les entreprises de camionnage dans le contexte des bourses de fret
2000-01 Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java
2020-07 Multi-player games in the era of machine learning
2011-12 Tarification logit dans un réseau
1989 Générateur d'itinéraires d'enlèvement de la neige
2021-08 Mechanical characterization of rigid discrete interlocking materials
1988 Système informatique réparti pour l'animation de visages réels ou synthétiques synchronisée avec une parole synthétisée
1989 Réalisation d'un système intelligent de manipulation de bases de données
2015-04 Logarithme d'harmoniques sphériques pour le rendu d'ombres douces de champs de hauteurs et de maillages
2005 Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués
1991 De l'à-propos du modèle de simulation optimiste pour l'implantation de VHDL dans un environnement informatique distribué
1997 Vérification des propriétés temporelles des interfaces matérielles à l'aide de la programmation logique avec contraintes
1993 Agents et systèmes, une nécessaire unité
2014-11 Apprentissage des réseaux de neurones profonds et applications en traitement automatique de la langue naturelle
2014-04 Modélisation procédurale de mondes virtuels par pavage d'occultation
2014-04 Deep learning of representations and its application to computer vision
2005 Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables
2012-02 L'atténuation statistique des surdétections d'un correcteur grammatical symbolique
2019-08 Deep active localization
2017-01 Reconnaissance de postures humaines par fusion de la silhouette et de l'ombre dans l'infrarouge
1998 A study on two arc routing problems
2018-11 Improved training of generative models
2022-10 From specialists to generalists : inductive biases of deep learning for higher level cognition
2020-07 On two sequential problems : the load planning and sequencing problem and the non-normal recurrent neural network
1997 Towards a formal definition of security for quantum protocols
2015-04 L'algorithme de Branch and Price and Cut pour le problème de conception de réseaux avec coûts fixes et sans capacité
Nombre de résultats : 1474