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
2021-08 Personalized question-based cybersecurity recommendation systems
2021-06 Self-supervision for data interpretability in image classification and sample efficiency in reinforcement learning
2021-05 Hamiltonian Monte Carlo and consistent sampling for score matching based generative modeling
2021-04 Estimation de pose 2D par réseau convolutif
2021-04 On quantifying the value of simulation for training and evaluating robotic agents
2020-12 A data-driven discrete elastic rod model for shells and solids
2020-12 A deep learning theory for neural networks grounded in physics
2020-11 Towards using intelligent techniques to assist software specialists in their tasks
2020-10 A rolling horizon approach for the locomotive routing problem at the Canadian National Railway Company
2020-10 Theseus : a 3D virtual reality orientation game with real-time guidance system for cognitive training
2020-09 Articulating design-time uncertainty with DRUIDE
2020-09 Real-time human action and gesture recognition using skeleton joints information towards medical applications
2020-08 On learning and generalization in unstructured taskspaces
2020-08 Optimizing ANN Architectures using Mixed-Integer Programming
2020-08 Edit distance metrics for measuring dissimilarity between labeled gene trees
2020-08 The multilevel critical node problem : theoretical intractability and a curriculum learning approach
2020-08 Lifelong learning of concepts in CRAFT
2020-08 Open source quality control tool for translation memory using artificial intelligence
2020-08 Entity-centric representations in deep learning
2020-08 Neural approaches to dialog modeling
2020-08 Towards privacy preserving cooperative cloud based intrusion detection systems
2020-07 On two sequential problems : the load planning and sequencing problem and the non-normal recurrent neural network
2020-07 Towards better understanding and improving optimization in recurrent neural networks
2020-07 Apprentissage de circuits quantiques par descente de gradient classique
2020-07 Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil
2020-07 Multi-player games in the era of machine learning
2020-07 Look-ahead meta-learning for continual learning
2020-06 An intelligent real-time help system for clinical reasoning in virtual reality environment based on emotional analysis
2020-06 Assessing the robustness of genetic codes and genomes
2020-05 Méta-enseignement : génération active d’exemples par apprentissage par renforcement
2020-05 Tactical block planning for intermodal rail transportation
2020-05 VGCN-BERT : augmenting BERT with graph embedding for text classification : application to offensive language detection
2020-05 Prediction of Alzheimer's disease and semantic dementia from scene description: toward better language and topic generalization
2020-05 Study and experimentation of cognitive decline measurements in a virtual reality environment
2020-04 The load planning problem for double-stack intermodal trains
2020-03 Personal information prediction from written texts
2020-03 Un système de question-réponse simple appliqué à SQuAD
2020-03 Diffusion de modules compilés pour le langage distribué Termite Scheme
2020-01 Traffic prediction and bilevel network design
2020-01 The art of post-truth in quantum cryptography
2020-01 On sample efficiency and systematic generalization of grounded language understanding with deep learning
2020-01 Générateurs de nombres aléatoires modulo un grand entier, dont l’uniformité est assurée
2019-12 Emerging communication between competitive agents
2019-12 Representation learning in unsupervised domain translation
2019-09 Real-Time Reinforcement Learning
2019-04 Recurrent neural models and related problems in natural language processing
2019-04 Protocoles d'évaluation pour l'extraction d'information libre
2019-03 Modelling and Reasoning with Software Product Lines with Design Choices
2019-02 Analyse visuelle et cérébrale de l’état cognitif d’un apprenant
2018-12 Load sequencing for double-stack trains
2018-11 Real-time rendering of cities at night
2018-08 Programmes de branchement catalytiques : algorithmes et applications
2018-08 Prédiction et génération de données structurées à l'aide de réseaux de neurones et de décisions discrètes
2018-08 Scanner 3D à lumière non structurée non synchronisé
2018-08 Predictive models for career progression
2018-07 Simulation du transport de neige
2018-07 Difference target propagation
2018-07 Generative models : a critical review
2018-05 Consensus ou fusion de segmentation pour quelques applications de détection ou de classification en imagerie
2018-04 Quality of service aware data dissemination in vehicular Ad Hoc networks
2018-04 Sequence to sequence learning and its speech applications
2018-04 Le produit direct de fonctions et les programmes de branchement avec oracle
2018-03 Débruitage d’image par fusion de filtrage spatio-fréquentielle
2018-02 Iterative Solvers for Physics-based Simulations and Displays
2018-02 Reparametrization in deep learning
2018-02 ReLiS: un outil flexible pour réaliser des revues systématiques itératives et collaboratives
2017-12 Caractérisation et étude de l’impact des permissions dans les applications mobiles
2017-12 Méthodes de résolution exactes et heuristiques pour un problème de tournées de techniciens
2017-12 Extraction de phrases parallèles à partir d’un corpus comparable avec des réseaux de neurones récurrents bidirectionnels
2017-11 Contrôle d’Accès Sécurisé dans l’Info-Nuage Mobile (Secure Access Control in Mobile Cloud)
2017-09 Recourse policies in the vehicle routing problem with stochastic demands
2017-08 Factorized second order methods in neural networks
2017-08 Contributions à la fusion de segmentations et à l’interprétation sémantique d’images
2017-08 WikiGames : une plateforme de jeux dédiée à la validation d’une base de connaissances produite à partir de techniques d’extraction d’information ouverte
2017-08 Feedforward deep architectures for classification and synthesis
2017-08 L'équivalence entre le local-réalisme et le principe de non-signalement
2017-07 Stochastic mesh approximations for dynamic hedging with costs
2017-07 Induction de lexiques bilingues à partir de corpus comparables et parallèles
2017-05 Matrix-based Parameterizations of Skeletal Animated Appearance
2017-01 Reconnaissance de postures humaines par fusion de la silhouette et de l'ombre dans l'infrarouge
2017-01 Unfolding RNA 3D structures for secondary structure prediction benchmarking
2016-12 Sequential modeling, generative recurrent neural networks, and their applications to audio
2016-12 Utilisation des citations pour le résumé automatique de la contribution d'articles scientifiques
2016-12 Automates cellulaires quantiques et relativité déformée
2016-12 Étude des techniques d’estimation de densité et du tracé de chemins pour le rendu des milieux participatifs
2016-12 Comparaison de méthodes de détection automatique d’intersections sur surfaces paramétriques
2016-12 Turbulence de surface pour des simulations de fluides basées sur un système de particules
2016-11 Comparing of radial and tangencial geometric for cylindric panorama
2016-11 Using goal-driven assistants for software visualization
2016-10 SLA violation prediction : a machine learning perspective
2016-09 Bidirectional Helmholtz Machines
2016-08 Sur l’identification des états produits par une source quantique maximalement décorrélée
2016-08 Structured prediction and generative modeling using neural networks
2016-08 La fuite d’information d’une réalisation quantique de primitives cryptographiques classiques
2016-08 Learning a graph made of boolean function nodes : a new approach in machine learning
2016-08 Influencing the Properties of Latent Spaces
2016-06 Coreference resolution with and for Wikipedia
2016-04 Algorithmique et complexité des systèmes à compteurs
2016-04 Méthode de recherche à grand voisinage pour un problème de tournées de véhicules avec flotte privée et transporteur externe
2016-04 Développement d’un système d’appariement pour l’e-recrutement
2016-03 Learning representations for Information Retrieval
2015-12 Étude de la médiane de permutations sous la distance de Kendall-Tau
2015-09 Photorealistic Surface Rendering with Microfacet Theory
2013-09 Représentation OWL de la ressource lexicale LVF et son utilisation dans le traitement automatique de la langue
2013-05 Génération de résumés par abstraction
2013-03 Approches générales de résolution pour les problèmes multi-attributs de tournées de véhicules et confection d'horaires
2013-02 Reliable Solid Modelling Using Subdivision Surfaces
2012-12 Construction interactive de BRDFs par simulation 2D de micro-géométries en couches multiples
2012-12 Construction d'un Atlas 3D numérique de la cornée humaine par recalage d'images
2012-11 Mures : Un système de recommandation de musique
2012-09 Amorçage cognitif pour amélioration de l’acquisition de la connaissance dans un système tutoriel intelligent
2012-09 Heuristic solution methods for multi-attribute vehicle routing problems
2012-08 PROTECT_U: Un système communautaire pour la protection des usagers de Facebook
2012-08 Détection des chutes par calcul homographique
2012-08 Evaluating Design Decay during Software Evolution
2012-08 Sécurité polynomiale en cryptographie
2012-08 Impacts and Detection of Design Smells
2012-08 Plateforme pour se protéger tant de soi-même que de ses "amis" sur Facebook
2012-07 A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
2012-06 Rendu de matériaux semi-transparents hétérogènes en temps réel
2012-06 L’extraction de phrases en relation de traduction dans Wikipédia
2012-05 A Compiler for the dependently typed language Beluga
2012-05 Apprentissage de représentations musicales à l'aide d'architectures profondes et multiéchelles
2012-04 Intégration de services de raisonnement automatique basés sur les logiques de description dans les applications d’entreprise
2012-04 Complexité des homomorphismes de graphes avec listes
2012-04 Le support de VoIP dans les réseaux maillés sans fil WiMAX en utilisant une approche de contrôle et d'assistance au niveau MAC
2012-04 Towards a Privacy-enhanced Social Networking Site
2012-03 Apprentissage machine efficace : théorie et pratique
2012-02 Évolution de familles de gènes par duplications et pertes : algorithmes pour la correction d’arbres bruités
2012-01 Complexité raffinée du problème d'intersection d'automates
2011-12 Le cinéma omnistéréo ou l'art d'avoir des yeux tout le tour de la tête
2011-12 Analyse de mouvements faciaux à partir d'images vidéo
2011-12 Tarification logit dans un réseau
2011-12 Technique de visualisation pour l’identification de l’usage excessif d’objets temporaires dans les traces d’exécution
2011-11 Génération efficace de graphes d’appels dynamiques complets
2011-09 Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
2011-08 Le rendu en demi-ton avec sensibilité à la structure
2011-08 Quantification de la relation séquence-activité de l’ARN par prédiction de structure tridimensionnelle
2011-08 Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels
2011-08 Réseaux de neurones à relaxation entraînés par critère d'autoencodeur débruitant
2011-08 Système de listes de vérification interactives du niveau de conformité des maquettes avec les recommandations des fabricants de plateformes mobiles
2011-08 Modélisation procédurale par composants
2011-08 Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
2011-08 Espaces de timbre générés par des réseaux profonds convolutionnels
2011-08 Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation
2011-07 Models and algorithms for the capacitated location-routing problem
2011-06 Simulateur compilé d’une description multi-langage des systèmes hétérogènes
2011-06 Identification et localisation des préoccupations fonctionnelles dans un code légataire Java
2011-04 Protocole de routage basé sur des passerelles mobiles pour un accès Internet dans les réseaux véhiculaires
2011-04 Détection de la retransmission sélective sur les réseaux de capteurs
2011-04 Structure de la distribution de probabilités de l'état GHZ sous l'action locale de transformations du groupe U(2)
2011-04 Métriques de routage dans les réseaux maillés sans fil
2011-04 Représentation d'un polynôme par un circuit arithmétique et chaînes additives
2011-03 Incorporating complex cells into neural networks for pattern classification
2011-03 Groupage et protection du trafic dynamique dans les réseaux WDM
2011-02 Transformation by example
2010-12 Approche efficace pour la conception des architectures multiprocesseurs sur puce électronique
2010-12 Annotation syntaxico-sémantique des actants en corpus spécialisé
2010-12 Désambiguisation de sens par modèles de contextes et son application à la Recherche d’Information
2010-12 Intégration de la visualisation à multiples vues pour le développement du logiciel
2010-11 An empirical study of the impact of two antipatterns on program comprehension
2010-11 Configuration et exploitation d'une machine émotionnelle
2010-11 Modelling software quality : a multidimensional approach
2010-11 Formulation interactive des requêtes pour l’analyse et la compréhension du code source
2010-10 Understanding deep architectures and the effect of unsupervised pre-training
2010-08 Implantation des futures sur un système distribué par passage de messages
2010-08 Scheduled service network design for integrated planning of rail freight transportation
2010-08 Gestion adaptative des ressources dans les réseaux maillés sans fil à multiples-radios multiples-canaux
2010-08 Moranapho : apprentissage non supervisé de la morphologie d'une langue par généralisation de relations analogiques
2010-08 Traduction statistique par recherche locale
2010-08 Rétro-ingénierie des diagrammes de séquence par visualisation interactive
2010-08 Déploiement automatique d’une application de routage téléphonique d’une langue source vers une langue cible
2010-08 Génération et reconnaissance de rythmes au moyen de réseaux de neurones à réservoir
2010-07 Web2.0, knowledge sharing and privacy in E-learning
2010-06 Exploitation de contraintes photométriques et géométriques en vision : application au suivi, au calibrage et à la reconstruction
2010-04 Impact des émotions sur les performances
2010-04 Patterns and quality of object-oriented software systems
2010-04 Intégration du contexte en traduction statistique à l’aide d’un perceptron à plusieurs couches
2010-04 Simulation de flammes interactives en temps réel
2010-04 Modélisation de l'interprétation des pianistes & applications d'auto-encodeurs sur des modèles temporels
2010-03 Vidéosurveillance intelligente pour la détection de chutes chez les personnes âgées
2010-02 Planification et dimensionnement des réseaux optiques de longues distances
2010-02 AURA : a hybrid approach to identify framework evolution
2010-01 Conception des réseaux maillés sans fil à multiples-radios multiples-canaux
2009-12 Timing verification in transaction modeling
2009-12 Modèle informatique du coapprentissage des ganglions de la base et du cortex : l'apprentissage par renforcement et le développement de représentations
2009-12 Algorithmes de recommandation musicale
2009-12 Calibration de systèmes de caméras et projecteurs dans des applications de création multimédia
2009-12 Eyes Of Darwin : une fenêtre ouverte sur l'évolution du logiciel
2009-12 Analyse par apprentissage automatique des réponses fMRI du cortex auditif à des modulations spectro-temporelles
2009-12 Integrated Management of Interface Power (IMIP) Framework
2009-12 Apprentissage de représentations sur-complètes par entraînement d’auto-encodeurs
2009-12 Non-negative matrix decomposition approaches to frequency domain analysis of music audio signals
2009-11 Échantillonnage dynamique de champs markoviens
2009-11 The decoupling approach to quantum information theory
2009-10 Processus cérébraux adaptés aux systèmes tutoriels intelligents
2009-10 Sur l’utilisation du langage de programmation Scheme pour le développement de jeux vidéo
2009-10 A new paradigm for the folding of ribonucleic acids
2009-10 A Type-Preserving Compiler from System F to Typed Assembly Language
2009-09 Modes de représentation pour l'éclairage en synthèse d'images
2009-08 Training deep convolutional architectures for vision
2009-08 L’analyse de composants émotionnels dans des stratégies d’apprentissage
2009-08 Optimization of p-cycle protection schemes in optical networks
2009-08 Peinture de lumière incidente dans des scènes 3D
2009-07 Papyres : un système de gestion et de recommandation d’articles de recherche
2009-07 Preuves interactives quantiques
2009-07 Développement logiciel par transformation de modèles
2009-04 Une heuristique à grand voisinage pour un problème de confection de tournée pour un seul véhicule avec cueillettes et livraisons et contrainte de chargement
2009 Simulation de centres de contacts
2009 Inférence statique et par contraintes des relations de composition dans des programmes Java
2009 Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués
2009 Heuristiques efficaces pour l'optimisation de la performance des systèmes séries-parallèles
2009 Apprentissage statistique pour l'étiquetage de musique et la recommandation
2009 Recherche d'éléments répétés par analyse des distributions de fréquences d'oligonucléotides
2009 Modélisation des réactions émotionnelles dans un système tutoriel intelligent
2009 Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable
2009 Effet des actions pédagogiques sur l'état émotionnel de l'apprenant dans un système tutoriel intelligent
2009 Reconstruction 3D des artères par imagerie intravasculaire ultrasonore (IVUS) et angiographie monoplan
2008 Prédiction structurale de biomolécules à l'aide d'une construction d'automates cellulaires simulant la dynamique moléculaire
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 implémentation des patrons de conception
2008 Segmentation non-supervisée d'images couleur par sur-segmentation Markovienne en régions et procédure de regroupement de régions par graphes pondérés
2008 Intégration d'un système d'exploitation dans le flot de développement logiciel/matériel
2008 Recherche tabou pour un problème de tournées de véhicules avec une flotte privée et un transporteur externe
2008 Images géométriques de genre arbitraire dans le domaine sphérique
2008 An anonymizable entity finder in judicial decisions
2008 Allocation optimale des ressources pour les applications et services de grille de calcul
2008 Analyse, à l'aide d'oculomètres, de techniques de visualisation UML de patrons de conception pour la compréhension de programmes
2008 Influence des facteurs émotionnels sur la résistance au changement dans les organisations
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 SCIL processor : a common intermediate language processor for embedded systems
2008 Architecture et filtres pour la détection des chenaux dans la glace de l'océan Arctique
2008 Design et implémentation sur FPGA d'un algorithme DES
2008 Étude de techniques d'apprentissage non-supervisé pour l'amélioration de l'entraînement supervisé de modèles connexionnistes
2008 Extracting and exploiting word relationships for information retrieval
2008 Indigo : une approche multi-stratégique et adaptative pour un alignement sémantique intégrant le contexte des données à apparier
2008 Génération et édition de textures géométriques représentées par des ensembles de points
2008 Apprentissage quantique
2008 Categorical quantum computation
2008 Modélisation et optimisation d'un centre d'appels téléphoniques : étude du processus d'arrivée
2008 Parallel metaheuristics for stochastic capacitated multicommodity network design
2008 Algorithmes pour le problème de repositionnement
2008 Intégration des connaissances ontologiques dans la fouille de motifs séquentiels avec application à la personnalisation Web
2008 Analyse de la propriété d'incrémentalité dans le modèle de calcul du programme de branchement
2008 Quantum nonlocality, cryptography and complexity
2008 Avancées théoriques sur la représentation et l'optimisation des réseaux de neurones
2008 Recherche d'information translinguistique sur les documents en arabe
2008 Network pricing problems : complexity, polyhedral study and solution approaches
2008 Un cadre formel pour le développement orienté aspect : modélisation et vérification des interactions dues aux aspects
2008 Compilation efficace pour FPGA reconfigurable dynamiquement
2008 Reliable computation for geometric models
2008 Identification of behavioral and creational design patterns through dynamic analysis
2007 Un système d'aide à la visualisation interactive de logiciels
2007 Détection visuelle d'anomalies de conception dans les programmes orientés objets
2007 Illustration non-photoréaliste de séquences de captures de mouvements
2007 TAARAC : test d'anglais adaptatif par raisonnement à base de cas
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 Compression de données d'animation acquises par capture de mouvements
2007 C.A.M.E.L.E.O. : a cultural adaptation methodology for E-learning environment optimization
2007 Amélioration de la perception spatiale et émotive d'un environnement virtuel interactif par la gestion cinématographique des prises de vue
2007 Reconstruction of the surface of the Sun from stereoscopic images
2007 LORESA : un système de recommandation d'objets d'apprentissage basé sur les annotations sémantiques
2007 TONGA : un algorithme de gradient naturel pour les problèmes de grande taille