Parcourir Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires par titre
Voici les éléments 101-200 de 1181
-
Apprentissage d'atlas cellulaires par la méthode de Factorized embeddings
(2022-10-26)Le corps humain contient plus de 3.72X10^13 cellules qui se distinguent par leur morphologie, fonction et état. Leur catalogage en atlas cellulaires c'est entamé il y a plus de 150 ans, avec l'invention des colorants cellulaires en microscopie. Notre ... -
Apprentissage d'espaces sémantiques
(2015-09-23)Dans cette dissertation, nous présentons plusieurs techniques d’apprentissage d’espaces sémantiques pour plusieurs domaines, par exemple des mots et des images, mais aussi à l’intersection de différents domaines. Un espace de représentation est appelé ... -
Apprentissage de circuits quantiques par descente de gradient classique
(2020-12-16)Nous présentons un nouvel algorithme d’apprentissage de circuits quantiques basé sur la descente de gradient classique. Comme ce sujet unifie deux disciplines, nous expliquons les deux domaines aux gens de l’autre discipline. Conséquemment, nous débutons ... -
Apprentissage de descripteurs locaux pour l’amélioration des systèmes de SLAM visuel
(2024-04-17)This thesis covers the topic of image matching in a visual SLAM or SfM context. These problems are generally based on a vector representation of the keypoints of one image, called a descriptor, which we seek to map to the keypoints of another, using ... -
Apprentissage de modèles causaux par réseaux de neurones artificiels
(2021-03-24)Dans ce mémoire par articles, nous nous intéressons à l’apprentissage de modèles causaux à partir de données. L’intérêt de cette entreprise est d’obtenir une meilleure compréhension des données et de pouvoir prédire l’effet qu’aura un changement sur ... -
Apprentissage de représentations musicales à l'aide d'architectures profondes et multiéchelles
(2012-10-11)L'apprentissage machine (AM) est un outil important dans le domaine de la recherche d'information musicale (Music Information Retrieval ou MIR). De nombreuses tâches de MIR peuvent être résolues en entraînant un classifieur sur un ensemble de ... -
Apprentissage de représentations sur-complètes par entraînement d’auto-encodeurs
(2010-04-01)Les avancés dans le domaine de l’intelligence artificielle, permettent à des systèmes informatiques de résoudre des tâches de plus en plus complexes liées par exemple à la vision, à la compréhension de signaux sonores ou au traitement de la langue. ... -
Apprentissage de stratégies de calcul adaptatives pour les réseaux neuronaux profonds
(2023-11-01)La théorie du processus dual stipule que la cognition humaine fonctionne selon deux modes distincts : l’un pour le traitement rapide, habituel et associatif, appelé communément "système 1" et le second, ayant un traitement plus lent, délibéré et contrôlé, ... -
Apprentissage des réseaux de neurones profonds et applications en traitement automatique de la langue naturelle
(2015-04-30)En apprentissage automatique, domaine qui consiste à utiliser des données pour apprendre une solution aux problèmes que nous voulons confier à la machine, le modèle des Réseaux de Neurones Artificiels (ANN) est un outil précieux. Il a été inventé voilà ... -
Apprentissage machine efficace : théorie et pratique
(2012-10-11)Malgré des progrès constants en termes de capacité de calcul, mémoire et quantité de données disponibles, les algorithmes d'apprentissage machine doivent se montrer efficaces dans l'utilisation de ces ressources. La minimisation des coûts est évidemment ... -
Apprentissage quantique
(2008-10-09) -
Approche efficace pour la conception des architectures multiprocesseurs sur puce électronique
(2011-12-01)Les systèmes multiprocesseurs sur puce électronique (On-Chip Multiprocessor [OCM]) sont considérés comme les meilleures structures pour occuper l'espace disponible sur les circuits intégrés actuels. Dans nos travaux, nous nous intéressons à un modèle ... -
Une approche fréquentielle pratique pour l'échantillonnage adaptatif en espace image
(2015-02-18)En synthèse d'images réalistes, l'intensité finale d'un pixel est calculée en estimant une intégrale de rendu multi-dimensionnelle. Une large portion de la recherche menée dans ce domaine cherche à trouver de nouvelles techniques afin de réduire le ... -
Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples
(2015-02-18)L’ingénierie dirigée par les modèles (IDM) est un paradigme d’ingénierie du logiciel bien établi, qui préconise l’utilisation de modèles comme artéfacts de premier ordre dans les activités de développement et de maintenance du logiciel. La manipulation ... -
Une approche multi-agents pour le développement d'un jeu vidéo
(2013-11-07)Un système multi-agents est composé de plusieurs agents autonomes qui interagissent entre eux dans un environnement commun. Ce mémoire vise à démontrer l’utilisation d’un système multi-agents pour le développement d’un jeu vidéo. Tout d’abord, une ... -
Approche probabiliste pour l’analyse de l’impact des changements dans les programmes orientés objet
(2011-11-03)Nous proposons une approche probabiliste afin de déterminer l’impact des changements dans les programmes à objets. Cette approche sert à prédire, pour un changement donné dans une classe du système, l’ensemble des autres classes potentiellement affectées ... -
Approches générales de résolution pour les problèmes multi-attributs de tournées de véhicules et confection d'horaires
(2013-04-05)Le problème de tournées de véhicules (VRP) implique de planifier les itinéraires d'une flotte de véhicules afin de desservir un ensemble de clients à moindre coût. Ce problème d'optimisation combinatoire NP-difficile apparait dans de nombreux domaines ... -
Une architecture parallèle distribuée et tolérante aux pannes pour le protocole interdomaine BGP au cœur de l’Internet
(2011-05-05)L’augmentation du nombre d’usagers de l’Internet a entraîné une croissance exponentielle dans les tables de routage. Cette taille prévoit l’atteinte d’un million de préfixes dans les prochaines années. De même, les routeurs au cœur de l’Internet peuvent ... -
The art of post-truth in quantum cryptography
(2021-03-24)L’établissement de clé quantique (abrégé QKD en anglais) permet à deux participants distants, Alice et Bob, d’établir une clé secrète commune (mais aléatoire) qui est connue uniquement de ces deux personnes (c’est-à-dire inconnue d’Ève et de tout autre ... -
Articulating design-time uncertainty with DRUIDE
(2021-03-24)Les modélisateurs rencontrent souvent des incertitudes sur la manière de concevoir un modèle logiciel particulier. Les recherches existantes ont montré comment les modélisateurs peuvent travailler en présence de ce type d' ''incertitude au moment de ... -
Assessing neural network dynamics under normal and altered states of consciousness with MEG : methodological challenges and proposed solutions for atypical power spectra
(2021-11-23)Cette dernière décennie a vu un certain nombre d'avancées significatives en mathématiques, en apprentissage computationnel et en traitement de signal, qui n'ont pas encore été pleinement exploitées en neurosciences. En particulier, l'évaluation de la ... -
Assessing the robustness of genetic codes and genomes
(2020-12-16)Deux approches principales existent pour évaluer la robustesse des codes génétiques et des séquences de codage. L'approche statistique est basée sur des estimations empiriques de probabilité calculées à partir d'échantillons aléatoires de permutations ... -
Attention, concentration, and distraction measure using EEG and eye tracking in virtual reality
(2023-05-03)Attention is important in learning, Attention-deficit/hyperactivity disorder, Driving, and many other fields. Hence, intelligent tutoring systems, Attention-deficit/hyperactivity disorder diagnosis systems, and distraction detection of driver systems ... -
L'atténuation statistique des surdétections d'un correcteur grammatical symbolique
(2012-11-02)Les logiciels de correction grammaticale commettent parfois des détections illégitimes (fausses alertes), que nous appelons ici surdétections. La présente étude décrit les expériences de mise au point d’un système créé pour identifier et mettre en ... -
AURA : a hybrid approach to identify framework evolution
(2010-04-01)Les cadriciels et les bibliothèques sont indispensables aux systèmes logiciels d'aujourd'hui. Quand ils évoluent, il est souvent fastidieux et coûteux pour les développeurs de faire la mise à jour de leur code. Par conséquent, des approches ont été ... -
Auto-Encoders, Distributed Training and Information Representation in Deep Neural Networks
(2019-06-19)L'objectif de cette thèse est de présenter ma modeste contribution à l'effort collectif de l'humanité pour comprendre l'intelligence et construire des machines intelligentes. Ceci est une thèse par articles (cinq au total), tous représentant une ... -
Autoencoders for natural language semantics
(2023-08-15)Les auto-encodeurs sont des réseaux de neurones artificiels qui apprennent des représentations. Dans un auto-encodeur, l’encodeur transforme une entrée en une représentation, et le décodeur essaie de prédire l’entrée à partir de la représentation. Cette ... -
Automates à contraintes semilinéaires = Automata with a semilinear constraint
(2013-09-03)Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout ... -
Automates cellulaires quantiques et relativité déformée
(2017-09-27)Nous montrons qu’un modèle pour une théorie des champs à base d’automate cellulaire quantique est compatible avec une relativité restreinte déformée. En asso- ciant les lois de la physique à la règle d’évolution de l’automate, nous obtenons une ... -
Automatic symbolic melody generation from lyrics
(2024-01-31)Music generation is a popular task in the domain of music artificial intelligence, aiming at generating music automatically. Music generation includes both symbolic and acoustic music generation. The former focuses on the score level, while the latter ... -
Automatic taxonomy evaluation
(2023-03-22)Les taxonomies sont une représentation essentielle des connaissances, jouant un rôle central dans de nombreuses applications riches en connaissances. Malgré cela, leur construction est laborieuse que ce soit manuellement ou automatiquement, et l'évaluation ... -
Automatically correcting syntactic and semantic errors in ATL transformations using multi-objective optimization
(2023-02-22)L’ingénierie dirigée par les modèles (EDM) est un paradigme de développement logiciel qui promeut l’utilisation de modèles en tant qu’artefacts de première plan et de processus automatisés pour en dériver d’autres artefacts tels que le code, la ... -
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 ... -
Building sample-efficient reinforcement learning
(2024-06-19)L’efficacité des données est un défi clé pour l’apprentissage par renforcement profond (DRL), limitant souvent son utilisation aux environnements où des quantités illimitées de données simulées sont disponibles. J’envisage une gamme de solutions pour ... -
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 ...
