Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires by Title
Now showing items 155-254 of 1173
-
Balancing signals for semi-supervised sequence learning
(2020-03-25)Recurrent Neural Networks(RNNs) are powerful models that have obtained outstanding achievements in many sequence learning tasks. Despite their accomplishments, RNN models still suffer with long sequences during training. It is because error propagate ... -
Benchmarking bias mitigation algorithms in representation learning through fairness metrics
(2022-10-26)Le succès des modèles d’apprentissage en profondeur et leur adoption rapide dans de nombreux domaines d’application ont soulevé d’importantes questions sur l’équité de ces modèles lorsqu’ils sont déployés dans le monde réel. Des études récentes ont ... -
The berth allocation problem at port terminals : a column generation framework
(2016-03-23)Le problème d'allocation de postes d'amarrage (PAPA) est l'un des principaux problèmes de décision aux terminaux portuaires qui a été largement étudié. Dans des recherches antérieures, le PAPA a été reformulé comme étant un problème de partitionnement ... -
Better representation learning for TPMS
(2022-03-16)Avec l’augmentation de la popularité de l’IA et de l’apprentissage automatique, le nombre de participants a explosé dans les conférences AI/ML. Le grand nombre d’articles soumis et la nature évolutive des sujets constituent des défis supplémentaires ... -
Beyond the horizon : improved long-range sequence modeling, from dynamical systems to language
(2024-02-21)Cette thèse est ancrée dans deux aspirations principales: (i) l'extension des longueurs de séquence pour une fidélité de prédiction supérieure pendant les phases d'entraînement et de test, et (ii) l'amélioration de l'efficacité computationnelle des ... -
Beyond the status quo in deep reinforcement learning
(2024-05-22)L’apprentissage par renforcement profond (RL) a connu d’énormes progrès ces dernières années, mais il est encore difficile d’appliquer le RL aux problèmes de prise de décision du monde réel. Cette thèse identifie trois défis clés avec la façon dont ... -
Bidirectional Helmholtz Machines
(2016-09-28)L'entraînement sans surveillance efficace et inférence dans les modèles génératifs profonds reste un problème difficile. Une approche assez simple, la machine de Helmholtz, consiste à entraîner du haut vers le bas un modèle génératif dirigé qui sera ... -
Brain decoding of the Human Connectome Project Tasks in a Dense Individual fMRI Dataset
(2023-02-22)Les études de décodage cérébral visent à entrainer un modèle d'activité cérébrale qui reflète l'état cognitif du participant. Des variations interindividuelles substantielles dans l'organisation fonctionnelle du cerveau représentent un défi pour un ... -
Un cadre d'application pour interfaces de gestion OSI
(1996-06-06)OSI définit une suite de protocoles pour les réseaux ouverts hétérogènes. De tels réseaux peuvent être très difficile à gérer à cause de la diversité des manufacturiers de composantes, chacun définissant sa propre méthode de gestion. C'est pourquoi ... -
Calcul en n-dimensions sur GPU
(2013-09-03)Le calcul scientifique sur processeurs graphiques (GPU) est en plein essor depuis un certain temps, en particulier dans le domaine de l'apprentissage machine. Cette thèse présente les efforts pour établir une structure de données de table au ... -
Calculs multipartites
(2000) -
Calibrage de caméra fisheye et estimation de la profondeur pour la navigation autonome
(2020-03-25)Ce mémoire s’intéresse aux problématiques du calibrage de caméras grand angles et de l’estimation de la profondeur à partir d’une caméra unique, immobile ou en mouvement. Les travaux effectués se situent à l’intersection entre la vision 3D classique ... -
Calibrated uncertainty estimation for SLAM
(2023-08-15)La focus de cette thèse de maîtrise est l’analyse de l’étalonnage de l’incertitude pour la lo- calisation et la cartographie simultanées (SLAM) en utilisant des modèles de mesure basés sur les réseaux de neurones. SLAM sont un problème fondamental en ... -
Calibration de la distorsion radiale
(2006) -
Calibration de systèmes de caméras et projecteurs dans des applications de création multimédia
(2010-05-05)Ce mémoire s'intéresse à la vision par ordinateur appliquée à des projets d'art technologique. Le sujet traité est la calibration de systèmes de caméras et de projecteurs dans des applications de suivi et de reconstruction 3D en arts visuels et en art ... -
Caractérisation et étude de l’impact des permissions dans les applications mobiles
(2018-05-10)Android fournit un modèle de sécurité basé sur les permissions aux développeurs d'applications tiers, qui contrôlent l'accès aux ressources système, incluant le matériel, les paramètres et les données utilisateur. Cette recherche examine un ensemble ... -
A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
(2013-01-04)Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation ... -
Categorical quantum computation
(2009-06-04) -
Le cinéma omnistéréo ou l'art d'avoir des yeux tout le tour de la tête
(2012-06-01)Cette thèse s'intéresse à des aspects du tournage, de la projection et de la perception du cinéma stéréo panoramique, appelé aussi cinéma omnistéréo. Elle s'inscrit en grande partie dans le domaine de la vision par ordinateur, mais elle touche aussi ... -
Les circuits quantiques paramétrés universels comme modèles d'apprentissage automatique
(2022-10-26)L'informatique quantique exploite les phénomènes de la théorie quantique pour le traitement de l'information, tandis que l'apprentissage automatique s'intéresse aux algorithmes qui peuvent s'améliorer en fonction des expériences passées. L'informatique ... -
City decision-making : optimization of the location and design of urban green spaces
(2022-10-26)Le besoin grandissant pour une planification urbaine plus durable et pour des interventions publiques visant à l'amélioration du bien-être collectif, ont grandement contribué à un engouement pour les espaces verts. Les parcs sont reconnus pour leur ... -
Classification automatique de textes pour les revues de littérature mixtes en santé
(2017-07-12)Les revues de littérature sont couramment employées en sciences de la santé pour justifier et interpréter les résultats d’un ensemble d’études. Elles permettent également aux chercheurs, praticiens et décideurs de demeurer à jour sur les connaissances. ... -
Co-simulation for controlled environment agriculture
(2024-02-21)L’agriculture en environnement contrôlé (AEC) est une pratique agricole de haute technologie où la culture de plantes et son environnement sont soumis à une certaine forme de contrôle afin d’obtenir des rendements plus élevés et une efficacité de ... -
Comparaison de méthodes de détection automatique d’intersections sur surfaces paramétriques
(2017-03-28)La question de déterminer si un modèle géométrique a des intersections non prévues est commune à plusieurs domaines : simulations numériques, CAO/DAO, animation, infographie, etc. C’est un problème dont la complexité varie avec la représentation choisie ... -
Comparaison de systèmes de traduction automatique pour la post édition des alertes météorologique d'Environnement Canada
(2020-03-25)Ce mémoire a pour but de déterminer la stratégie de traduction automatique des alertes météorologiques produites par Environnement Canada, qui nécessite le moins d’efforts de postédition de la part des correcteurs du bureau de la traduction. Nous ... -
Comparing of radial and tangencial geometric for cylindric panorama
(2017-03-28)Cameras generally have a field of view only large enough to capture a portion of their surroundings. The goal of immersion is to replace many of your senses with virtual ones, so that the virtual environment will feel as real as possible. Panoramic ... -
Compilation efficace pour FPGA reconfigurable dynamiquement
(2009-02-05) -
Compilation statique de Java
(2003) -
A Compiler for the dependently typed language Beluga
(2012-10-11)Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ... -
Complexité de la communication sur un canal avec délai
(2014-03-03)Nous introduisons un nouveau modèle de la communication à deux parties dans lequel nous nous intéressons au temps que prennent deux participants à effectuer une tâche à travers un canal avec délai d. Nous établissons quelques bornes supérieures et ... -
Complexité des homomorphismes de graphes avec listes
(2012-09-04)Les problèmes de satisfaction de contraintes, qui consistent à attribuer des valeurs à des variables en respectant un ensemble de contraintes, constituent une large classe de problèmes naturels. Pour étudier la complexité de ces problèmes, il est commode ... -
Complexité raffinée du problème d'intersection d'automates
(2012-07-05)Le problème d'intersection d'automates consiste à vérifier si plusieurs automates finis déterministes acceptent un mot en commun. Celui-ci est connu PSPACE-complet (resp. NL-complet) lorsque le nombre d'automates n'est pas borné (resp. borné par une ... -
Compression in Sequence to Sequence Learning for Natural Language Processing
(2020-03-25)Dans ce travail, nous proposons une méthode presque sans perte d’information pour encoder de longues séquences de texte ainsi que toutes leurs sous-séquences en des représentations riches en information. Nous testons notre méthode sur une tâche d’analyse ... -
Computation over partial information : a principled approach to accurate partial evaluation
(2022-03-16)On est habitué à penser comme suit à un programme qui exécute: une donnée entre (un input), un moment passe, et un résultat ressort. On assume tacitement de l'information complète sur le input, le résultat, et n'importe quels résultats intermédiaires. Dans ... -
Computational modeling and design of nonlinear mechanical systems and materials
(2023-11-01)Les systèmes et matériaux mécaniques non linéaires sont largement utilisés dans divers domaines. Cependant, leur modélisation et leur conception ne sont pas triviales car elles nécessitent une compréhension complète de leurs non-linéarités internes et ... -
Concept oriented biomedical information retrieval
(2015-09-23)Le domaine biomédical est probablement le domaine où il y a les ressources les plus riches. Dans ces ressources, on regroupe les différentes expressions exprimant un concept, et définit des relations entre les concepts. Ces ressources sont construites ... -
Conception des réseaux maillés sans fil à multiples-radios multiples-canaux
(2010-05-05)Généralement, les problèmes de conception de réseaux consistent à sélectionner les arcs et les sommets d’un graphe G de sorte que la fonction coût est optimisée et l’ensemble de contraintes impliquant les liens et les sommets dans G sont respectées. ... -
Conception du réseau de distribution d’une entreprise de livraison de courrier rapide
(2017-03-28)Les problèmes de conception de réseaux pour les entreprises de livraison de courrier rapide connaissent un intérêt croissant. Parmi ces réseaux, ceux appelés «hub-and-spoke», présentent plusieurs avantages en terme d’efficacité (par exemple, la réduction ... -
Conception et implantation d'un système de gestion de réseaux distribué basé WEB avec Java
(2000-04-06)C'est dans la nouvelle tendance de gestion de réseaux basée sur une approche distribuée, que nous proposons dans ce mémoire une architecture de développement d'application de gestion de réseaux permettant la délégation dynamique de certaines tâches de ... -
Conditional generative modeling for images, 3D animations, and video
(2023-11-01)Generative modeling for computer vision has shown immense progress in the last few years, revolutionizing the way we perceive, understand, and manipulate visual data. This rapidly evolving field has witnessed advancements in image generation, 3D ... -
Configuration et exploitation d'une machine émotionnelle
(2010-12-02)Dans ce travail, nous explorons la faisabilité de doter les machines de la capacité de prédire, dans un contexte d'interaction homme-machine (IHM), l'émotion d'un utilisateur, ainsi que son intensité, de manière instantanée pour une grande variété de ... -
Consensus ou fusion de segmentation pour quelques applications de détection ou de classification en imagerie
(2018-10-18)Récemment, des vraies mesures de distances, au sens d’un certain critère (et possédant de bonnes propriétés asymptotiques) ont été introduites entre des résultats de partitionnement (clustering) de donnés, quelquefois indexées spatialement comme le ... -
Construction d'un Atlas 3D numérique de la cornée humaine par recalage d'images
(2013-03-01)Nous proposons de construire un atlas numérique 3D contenant les caractéristiques moyennes et les variabilités de la morphologie d’un organe. Nos travaux seront appliqués particulièrement à la construction d'un atlas numérique 3D de la totalité de la ... -
Construction interactive de BRDFs par simulation 2D de micro-géométries en couches multiples
(2013-03-01)Les modèles de réflexion complexes, avec leurs nombreux paramètres dont certains restent non intuitifs, sont difficiles à contrôler pour obtenir une apparence désirée. De plus, même si un artiste peut plus aisément comprendre la forme de la micro-géométrie ... -
Content-based automatic fact checking
(2022-05-04)La diffusion des Fake News sur les réseaux sociaux est devenue un problème central ces dernières années. Notamment, hoaxy rapporte que les efforts de fact checking prennent généralement 10 à 20 heures pour répondre à une fake news, et qu'il y a un ordre ... -
Context-aware ranking : from search to dialogue
(2023-05-29)Les systèmes de recherche d'information (RI) ou moteurs de recherche ont été largement utilisés pour trouver rapidement les informations pour les utilisateurs. Le classement est la fonction centrale de la RI, qui vise à ordonner les documents candidats ... -
Contextual cues for deep learning models of code
(2023-11-01)Le code source offre un domaine d'application passionnant des méthodes d'apprentissage en profondeur, englobant des tâches telles que la synthèse, la réparation et l'analyse de programmes, ainsi que des tâches à l'intersection du code et du langage ... -
Continuous coordination as a realistic scenario for lifelong learning
(2021-10-21)Les algorithmes actuels d'apprentissage profond par renforcement (RL) sont encore très spécifiques à leur tâche et n'ont pas la capacité de généraliser à de nouveaux environnements. L'apprentissage tout au long de la vie (LLL), cependant, vise à résoudre ... -
Contribution de la motivation dans les jeux sérieux
(2013-06-03)La motivation incite les apprenants à s’engager dans une activité et à persévérer dans son accomplissement afin d’atteindre un but. Dans les Systèmes Tutoriels Intelligents (STI), les études sur la motivation des apprenants possèdent trois manques ... -
Contributions à la fusion de segmentations et à l’interprétation sémantique d’images
(2018-03-21)Cette thèse est consacrée à l’étude de deux problèmes complémentaires, soit la fusion de segmentation d’images et l’interprétation sémantique d’images. En effet, dans un premier temps, nous proposons un ensemble d’outils algorithmiques permettant ... -
Contributions à la sonification d’image et à la classification de sons
(2022-06-22)L’objectif de cette thèse est d’étudier d’une part le problème de sonification d’image et de le solutionner à travers de nouveaux modèles de correspondance entre domaines visuel et sonore. D’autre part d’étudier le problème de la classification de ... -
Contributions to generative models and their applications
(2023-02-22)Generative models are a large class of machine learning models for unsupervised learning. They have various applications in machine learning and artificial intelligence. In this thesis, we discuss many aspects of generative models and their applications ... -
Contrôle d’Accès Sécurisé dans l’Info-Nuage Mobile (Secure Access Control in Mobile Cloud)
(2018-03-21)L'info-nuage mobile (MCC) a émergé comme une technologie prometteuse; il utilise des serveurs hautement évolutifs dans le nuage et permet de surmonter les limitations (en termes de calcul et d’énergie) des appareils mobiles. En raison des risques liés ...