Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle by Title
Now showing items 181-200 of 1196
-
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 ...