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
2011-08 Espaces de timbre générés par des réseaux profonds convolutionnels
2011-08 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2011-08 Modélisation procédurale par composants
2011-08 Système de listes de vérification interactives du niveau de conformité des maquettes avec les recommandations des fabricants de plateformes mobiles
2011-08 Réseaux de neurones à relaxation entraînés par critère d'autoencodeur débruitant
2011-08 Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
2011-08 Quantification de la relation séquence-activité de l’ARN par prédiction de structure tridimensionnelle
2011-08 Le rendu en demi-ton avec sensibilité à la structure
2011-09 Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
2011-11 Génération efficace de graphes d’appels dynamiques complets
2011-12 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution
2011-12 Tarification logit dans un réseau
2011-12 Analyse de mouvements faciaux à partir d'images vidéo
2011-12 Le cinéma omnistéréo ou l'art d'avoir des yeux tout le tour de la tête
2012-01 Complexité raffinée du problème d'intersection d'automates
2012-02 Évolution de familles de gènes par duplications et pertes : algorithmes pour la correction d’arbres bruités
2012-03 Apprentissage machine efficace : théorie et pratique
2012-04 Towards a Privacy-enhanced Social Networking Site
2012-04 Le support de VoIP dans les réseaux maillés sans fil WiMAX en utilisant une approche de contrôle et d'assistance au niveau MAC
2012-04 Complexité des homomorphismes de graphes avec listes
2012-04 Intégration de services de raisonnement automatique basés sur les logiques de description dans les applications d’entreprise
2012-05 Apprentissage de représentations musicales à l'aide d'architectures profondes et multiéchelles
2012-05 A Compiler for the dependently typed language Beluga
2012-06 L’extraction de phrases en relation de traduction dans Wikipédia
2012-06 Rendu de matériaux semi-transparents hétérogènes en temps réel
2012-07 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
2012-08 Plateforme pour se protéger tant de soi-même que de ses "amis" sur Facebook
2012-08 Impacts and Detection of Design Smells
2012-08 Sécurité polynomiale en cryptographie
2012-08 Evaluating Design Decay during Software Evolution
2012-08 Détection des chutes par calcul homographique
2012-08 PROTECT_U: Un système communautaire pour la protection des usagers de Facebook
2012-09 Heuristic solution methods for multi-attribute vehicle routing problems
2012-09 Amorçage cognitif pour amélioration de l’acquisition de la connaissance dans un système tutoriel intelligent
2012-11 Mures : Un système de recommandation de musique
2012-12 Construction d'un Atlas 3D numérique de la cornée humaine par recalage d'images
2012-12 Construction interactive de BRDFs par simulation 2D de micro-géométries en couches multiples
2013-02 Reliable Solid Modelling Using Subdivision Surfaces
2013-03 Approches générales de résolution pour les problèmes multi-attributs de tournées de véhicules et confection d'horaires
2013-05 Génération de résumés par abstraction
Nombre de résultats : 264