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 ascending order Title Sort by title in ascending order
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é
Number of results : 1474