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
1987 Vérification automatique de circuits transistors VSLI [i.e. VLSI]
1993 Planification d'horaires du personnel infirmier dans un établissement hospitalier
2025 Vérification automatisée de programmes impératifs dans un langage à typage dépendant
2006 Algorithms for classifying recorded music by genre
2011 Incorporating complex cells into neural networks for pattern classification
2006 Rééclairage par génération de cartes de normales en composition vidéo numérique
2012 Intégration de services de raisonnement automatique basés sur les logiques de description dans les applications d’entreprise
2002 Compilation statique de Java
2008 Compilation efficace pour FPGA reconfigurable dynamiquement
2013 Calcul en n-dimensions sur GPU
Nombre de résultats : 1663