Passer au contenu

/ Département d'informatique et de recherche opérationnelle

Je donne

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
2006 Programmes de génération et machines de Turing algébriques
2006 Application de la recherche opérationnelle à deux problèmes industriels : ordonnancement d'un laminoir et gestion de barrages hydroélectriques
2006 Étude de la traçabilité entre refactorisations du modèle de classes et refactorisations du code
2006 Équilibrage de charge dans un réseau pair-à-pair structuré : une méthode dynamique intégrée
2006 Nouveaux algorithmes, bornes et formulations pour les problèmes de la clique maximum et de la coloration minimum
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2006 Compilation d'architectures à flot de données à partir de programmes fonctionnels
2006 Jeu de poursuite sur graphe non réflexif
2006 Optimisation et balancement de la consommation d'énergie dans les réseaux ad hoc mobiles et de capteurs
2006 Estimation de mouvement sans restriction par filtres en quadrature localisés
2006 Étude numérique d'algorithmes d'affectation d'équilibre de réseaux : modèles statiques à coûts symétriques avec demandes fixes dans l'espace des chemins
2006 Application d'algorithmes de bio-informatique à la recherche de patrons de conception
2006 Une architecture pour l'évaluation qualitative de l'impact de la programmation orientée aspect
2006 Reconnaissance des graphes policier-gagnants
2006 Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce
2006 Mood : un cadre d'applications pour le développement de décodeurs en traduction statistique
2006 Accélération de méthodes de résolution classiques par l'utilisation de stratégies de séparation locale comme outil d'hybridation
2006 Feature selection and term weighting beyond word frequency for calls for tenders documents
2006 Approches heuristiques pour le problème d'ordonnancement de véhicules
2006 Qualité de service dans les services Web
2006 Rééclairage par génération de cartes de normales en composition vidéo numérique
2006 Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET
2006 Recherches coopératives pour la résolution de problèmes d'optimisation combinatoire
2006 Formal checking of web based applications
2006 Visualisation de la qualité des logiciels de grandes taille
2006 Optimisation stochastique pour l'affectation du personnel polyvalent dans un centre d'appels téléphoniques
2007 Problèmes de tournées multicritères dans des graphes
2007 Détection visuelle d'anomalies de conception dans les programmes orientés objets
2007 Modèles Pareto hybrides pour distributions asymétriques et à queues lourdes
2007 Un système d'aide à la visualisation interactive de logiciels
2007 Protection partagée pour les réseaux de transport multidomaines
2007 Analyse des espaces de lignes pour la capture de cartes d'environnement
2007 Traitement interactif de plis dans la simulation de tissus
2007 Évaluation de la qualité des applications web : approche probabiliste
2007 Mise en oeuvre des mécanismes de Vickrey-Clarke-Groves sur des réseaux
2007 Problème de planification des tournées des intervenants pour les visites à domicile
2007 A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
2007 Reconstruction of the surface of the Sun from stereoscopic images
2007 TONGA : un algorithme de gradient naturel pour les problèmes de grande taille
2007 Localisation des noeuds dans les réseaux de capteurs sans fil
2007 Reconstruction active et passive en vision par ordinateur
2007 Méta-modélisation de l'adaptation dynamique du contrôle des systèmes multi-agents
2007 Modélisation pour la gestion de modèles
2007 Une approche d'ingénierie ontologique pour l'acquisition et l'exploitation des connaissances à partir de documents textuels : vers des objets de connaissances et d'apprentissage
2007 Amélioration de la perception spatiale et émotive d'un environnement virtuel interactif par la gestion cinématographique des prises de vue
2007 Vers un système d'enseignement à distance efficace
2007 LORESA : un système de recommandation d'objets d'apprentissage basé sur les annotations sémantiques
2007 Un dictionnaire pour faciliter la recherche des gènes dans la littérature et sur Internet
2007 Motivation et culture en e-learning
2007 Compression de données d'animation acquises par capture de mouvements
Nombre de résultats : 1514