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
2006 Qualité de service dans les services Web
2006 Application d'algorithmes de bio-informatique à la recherche de patrons de conception
2006 An intelligent help system to support teachers to author learning sessions in decision-making in network design
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 Graphe et jeu de poursuite : policiers et voleurs sous contraintes
2006 Mood : un cadre d'applications pour le développement de décodeurs en traduction statistique
2006 Methods for multi-class segmentation of molecular sequences
2006 Formal checking of web based applications
2006 Méthodologie de conception d'un modèle comportemental pour la vérification formelle
2006 Étude de l'analyse formelle dans les données relationnelles : application à la restructuration des modèles structuraux UML
2006 Estimation de mouvement sans restriction par filtres en quadrature localisés
2006 Étude de la traçabilité entre refactorisations du modèle de classes et refactorisations du code
2006 Collaborative filtering techniques for drug discovery
2006 Résolution du problème d'ordonnancement des activités avec contraintes de ressources et sa généralisation
2006 Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
2007 De nouveaux algorithmes de tri par transpositions
2007 Évaluation de la qualité des applications web : approche probabiliste
2007 C.A.M.E.L.E.O. : a cultural adaptation methodology for E-learning environment optimization
2007 Modèles Pareto hybrides pour distributions asymétriques et à queues lourdes
2007 A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
2007 TAARAC : test d'anglais adaptatif par raisonnement à base de cas
2007 Motivation et culture en e-learning
2007 Mise en oeuvre des mécanismes de Vickrey-Clarke-Groves sur des réseaux
2007 Multicast explicite dans les réseaux ad hoc : implémentation, analyse et simulations d'un nouveau protocole multicast pour MANETs
2007 Modélisation pour la gestion de modèles
2007 Un système d'aide à la visualisation interactive de logiciels
2007 Reconstruction of the surface of the Sun from stereoscopic images
2007 Traitement interactif de plis dans la simulation de tissus
2007 Vers un système d'enseignement à distance efficace
2008 Allocation optimale des ressources pour les applications et services de grille de calcul
2008 Recherche tabou pour un problème de tournées de véhicules avec une flotte privée et un transporteur externe
2008 Network pricing problems : complexity, polyhedral study and solution approaches
2008 Modélisation et implémentation des patrons de conception
2008 Apprentissage quantique
2008 Quantum nonlocality, cryptography and complexity
2008 Avancées théoriques sur la représentation et l'optimisation des réseaux de neurones
2008 Algorithmes pour le problème de repositionnement
2008 Génération et édition de textures géométriques représentées par des ensembles de points
2008 Méthodes et outils pour une affectation optimale des juges lors des compétitions : une application au concours John Molson
2008 Novel multicast protocols in ad-hoc networks
2008 Un outil de conception pour les réseaux maillés sans fil
2008 Modélisation et optimisation d'un centre d'appels téléphoniques : étude du processus d'arrivée
2008 Extracting and exploiting word relationships for information retrieval
2008 Intégration des connaissances ontologiques dans la fouille de motifs séquentiels avec application à la personnalisation Web
2008 Évaluation d'un modèle a priori basé sur un seuillage de la TCD en super-résolution et comparaison avec d'autres modèles a priori
2008 Images géométriques de genre arbitraire dans le domaine sphérique
2008 Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
2008 Prédiction structurale de biomolécules à l'aide d'une construction d'automates cellulaires simulant la dynamique moléculaire
2008 Indigo : une approche multi-stratégique et adaptative pour un alignement sémantique intégrant le contexte des données à apparier
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
Nombre de résultats : 604