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 Réseaux de neurones à relaxation entraînés par critère d'autoencodeur débruitant
2011 Transformation by example
2011 Développement d’un algorithme de branch-and-price-and-cut pour le problème de conception de réseau avec coûts fixes et capacités
2011 Approche probabiliste pour l’analyse de l’impact des changements dans les programmes orientés objet
2011 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution
2011 Tarification logit dans un réseau
2011 Simulateur compilé d’une description multi-langage des systèmes hétérogènes
2011 Un protocole de diffusion des messages dans les réseaux véhiculaires
2011 Structure de la distribution de probabilités de l'état GHZ sous l'action locale de transformations du groupe U(2)
2011 Détection de la retransmission sélective sur les réseaux de capteurs
2011 Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
2011 Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
2011 Espaces de timbre générés par des réseaux profonds convolutionnels
2011 Groupage et protection du trafic dynamique dans les réseaux WDM
2011 Système de listes de vérification interactives du niveau de conformité des maquettes avec les recommandations des fabricants de plateformes mobiles
2011 Quantification de la relation séquence-activité de l’ARN par prédiction de structure tridimensionnelle
2011 Génération efficace de graphes d’appels dynamiques complets
2011 Métriques de routage dans les réseaux maillés sans fil
2011 Le rendu en demi-ton avec sensibilité à la structure
2011 Modélisation procédurale par composants
2011 Identification et localisation des préoccupations fonctionnelles dans un code légataire Java
2011 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2011 Protocole de routage basé sur des passerelles mobiles pour un accès Internet dans les réseaux véhiculaires
2011 Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation
2011 Analyse de mouvements faciaux à partir d'images vidéo
2011 Le cinéma omnistéréo ou l'art d'avoir des yeux tout le tour de la tête
2011 Représentation d'un polynôme par un circuit arithmétique et chaînes additives
2011 Models and algorithms for the capacitated location-routing problem
2011 Incorporating complex cells into neural networks for pattern classification
2012 Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce
2012 Évolution de familles de gènes par duplications et pertes : algorithmes pour la correction d’arbres bruités
2012 Heuristic solution methods for multi-attribute vehicle routing problems
2012 Identification d’une architecture à base de composants dans une application orientée objets à l’aide d’une analyse dynamique
2012 From Classical to Quantum Secret Sharing
2012 Automates à contraintes semilinéaires = Automata with a semilinear constraint
2012 A Compiler for the dependently typed language Beluga
2012 Algorithmes d'apprentissage pour la recommandation
2012 Revisiting optimization algorithms for maximum likelihood estimation
2012 Sécurité polynomiale en cryptographie
2012 Plateforme pour se protéger tant de soi-même que de ses "amis" sur Facebook
Nombre de résultats : 1656