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.

 

 

For a detailed search
 Visit Papyrus
Date Sort by date in ascending order Title Sort by title in ascending order
1999 Une librairie orientée-objet pour la simulation des réseaux stochastiques dynamiques
1998 Mise au point et implantation d'algorithmes pour l'allocation déterministe de conteneurs vides
2001 Heuristiques basées sur la programmation mathématique pour le problème de conception de réseaux avec coûts fixes et capacités
2003 Étude des propriétés polyédrales du problème de conception de réseaux multiproduits, avec coût fixe et capacité
2001 CPar : implantation et évaluation d'un compilateur pour une variante parallèle de C
1999 Modélisation UML pour une architecture coopérative appliquée au problème de tournées de véhicules avec fenêtres de temps
1994 La planification de la production d'un système hydro-électrique en contexte déterministe
1989 Mise au point d'un système interactif-graphique pour la planification tactique du transport des marchandises
2018 Learning-Based Matheuristic Solution Methods for Stochastic Network Design
2023 Multi-attribute deterministic and stochastic two echelon location routing problems
2014 Solution Methods for Service Network Design with Resource Management Consideration
2014 Meta-heuristic Solution Methods for Rich Vehicle Routing Problems
1997 Approches de parallélisation basées sur l'organisation de la mémoire pour des méthodes de séparations et évaluations progressives
2002 Hypothèses calculatoires en cryptographie quantique
2000 Protocoles cryptographiques avec des participants limités en espace mémoire
2000 Calculs multipartites
1997 Les procédés cryptographiques de monnaie électronique : design, fonctionnalités et usages
2000 Sur des méthodes et algorithmes de factorisation et leur application en cryptologie
1989 Approches de résolution du problème de programmation fractionnaire généralisée
2009 Recherche d'éléments répétés par analyse des distributions de fréquences d'oligonucléotides
2006 Phylogenetic shadowing using a model selection process
2006 Methods for multi-class segmentation of molecular sequences
1992 Algorithmes répartis de calcul et de minimalisation d'arbres sous-tendants
2008 Compilation efficace pour FPGA reconfigurable dynamiquement
2003 ESys.Net : a new .Net based system-level design environment
2005 Implémentation de la multiplication des grands nombres par FFT dans le contexte des algorithmes cryptographiques
1992 Système multimédia pour l'enseignement de la médecine dentaire
1993 Analyse de radiographies de la main pour l'estimation de l'âge osseux
1996 Un détermineur permettant la réexécution d'un langage de programmation parallèle de type acteur
1990 Planification à moyen terme de l'entretien préventif des équipements de production d'un système hydroélectrique
1992 Aménagement optimal d'un bassin hydraulique pour fin de production d'électricité
2023 Investigating intra and inter-subject performance with deep learning for gait on irregular surfaces
2023 Predicting viral respiratory tract infections using wearable garment biosensors
2024 A LiDAR and Camera Based Convolutional Neural Network for the Real-Time Identification of Walking Terrain
2002 Simulation des effets de détérioration de surfaces rigides pour un rendu réaliste
2003 Évaluation, par simulation, des performances de serveurs de commerce électronique : étude de cas : le serveur GNP
2000 Diagnostic des protocoles de communication fondé sur les automates à états finis étendus
2000 QoS architecture and monitoring for videoconferencing applications
2000 Quality of services adaptation model for distributed multimedia application based on RTP protocol on IP network
2002 Compilation de scénarios dans un environnement d'intégration
2000 An H.323-based adaptive QoS architecture
1997 Applications multimédia et gestion de qualité de service dans l'environnement du World Wide Web
2001 Le filtrage du protocole SMB
2001 Génération de cas de test pour les systèmes temps réel modélisés par des automates à entrées sorties temporisées
2001 Environnement de test d'un serveur de négociations électroniques
2002 Génération automatique d'une spécification formelle à partir de scénarios temps-réels
2001 "Principes et implantation de vues dans les langages Orientés-objets"
2002 Diagnostic des systèmes temps réel modélisés par des automates à entrées sorties temporisées
1999 Allocation et tarification des accès réseaux
1997 Dérivation de spécification à partir de scénarios d'interaction
Number of results : 1603