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 croissant Titre Trier par titre en ordre croissant
2010-08 Génération et reconnaissance de rythmes au moyen de réseaux de neurones à réservoir
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 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 Diagnostic des protocoles de communication fondé sur les automates à états finis étendus
2000 An H.323-based adaptive QoS architecture
2000 QoS architecture and monitoring for videoconferencing applications
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
2011-11 Génération efficace de graphes d’appels dynamiques complets
2013-05 Rétro ingénierie des modèles d’objets dynamiques pour JavaScript
2013-12 Analyse de changements multiples : une approche probabiliste utilisant les réseaux bayésiens
2011-12 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution
2023-04 Toward trustworthy deep learning : out-of-distribution generalization and few-shot learning
1992 Système intégré de spectroscopie automatisée
2006 Apprentissage à base de gradient pour l'extraction de caractéristiques dans les signaux sonores complexes
2009-12 Non-negative matrix decomposition approaches to frequency domain analysis of music audio signals
2005 Composition automatique de musique à l'aide de réseaux de neurones récurrents et de la structure métrique
2011-08 Espaces de timbre générés par des réseaux profonds convolutionnels
2009-12 Algorithmes de recommandation musicale
2006 Algorithms for classifying recorded music by genre
2012-05 Apprentissage de représentations musicales à l'aide d'architectures profondes et multiéchelles
2005 Automatic music classification using boosting algorithms and auditory features
2009 Apprentissage statistique pour l'étiquetage de musique et la recommandation
2010-04 Modélisation de l'interprétation des pianistes & applications d'auto-encodeurs sur des modèles temporels
2004 Construction d'ensembles de points basée sur des récurrences linéaires dans un corps fini de caractéristique 2 pour la simulation Monte Carlo et l'intégration quasi-Monte Carlo
2006 Optimisation stochastique pour l'affectation du personnel polyvalent dans un centre d'appels téléphoniques
2006 Étude de la combinaison de la technique quasi-Monte Carlo randomisé vectoriel avec l'échantillonnage exact
2003 Réarrangement de génomes par inversions et analyse de l'ensemble des solutions minimales
2012-02 Évolution de familles de gènes par duplications et pertes : algorithmes pour la correction d’arbres bruités
2020-06 Assessing the robustness of genetic codes and genomes
2001 Recherche de structures secondaires dans les séquences biologiques
2020-08 Edit distance metrics for measuring dissimilarity between labeled gene trees
2016-08 Algorithmes de construction et correction d'arbres de gènes par la réconciliation
2002 Algorithmes pour le réarrangement des génomes par inversions
2016-10 Évolution des génomes par mutations locales et globales : une approche d’alignement
2020-09 Articulating design-time uncertainty with DRUIDE
2020-01 Towards using fluctuations in internal quality metrics to find design intents
2019-03 Modelling and Reasoning with Software Product Lines with Design Choices
2020-07 Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
2023-11 Fairness through domain awareness : mitigating popularity bias for music discovery
2023-06 FETA : fairness enforced verifying, training, and predicting algorithms for neural networks
Nombre de résultats : 1474