Recherche
Voici les éléments 1-10 de 25
A layered JavaScript virtual machine supporting dynamic instrumentation
(2013-09-03)
L’observation de l’exécution d’applications JavaScript est habituellement réalisée en instrumentant une machine virtuelle (MV) industrielle ou en effectuant une traduction source-à-source ad hoc et complexe. Ce mémoire ...
Détection de chute à l'aide d'une caméra de profondeur
(2013-08-02)
Les chutes chez les personnes âgées représentent un problème important de santé publique.
Des études montrent qu’environ 30 % des personnes âgées de 65 ans et plus chutent chaque
année au Canada, entraînant des conséquences ...
Rétro ingénierie des modèles d’objets dynamiques pour JavaScript
(2013-09-03)
La compréhension des objets dans les programmes orientés objet est une tâche impor-
tante à la compréhension du code. JavaScript (JS) est un langage orienté-objet dyna-
mique, et son dynamisme rend la compréhension du ...
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 ...
Amplification de l'amplitude : analyse et applications
(2013-06-03)
Ce mémoire étudie l'algorithme d'amplification de l'amplitude et ses applications dans le domaine de test de propriété. On utilise l'amplification de l'amplitude pour proposer le plus efficace algorithme quantique à ce ...
Parallelization of SAT on Reconfigurable Hardware
(2013-08-02)
Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression ...
Urban Detection From Hyperspectral Images Using Dimension-Reduction Model and Fusion of Multiple Segmentations Based on Stuctural and Textural Features
(2013-11-07)
Ce mémoire de maîtrise présente une nouvelle approche non supervisée pour détecter et segmenter les régions urbaines dans les images hyperspectrales. La méthode proposée n ́ecessite trois étapes. Tout d’abord, afin de ...
La résolution du problème de formation de cellules dans un contexte multicritère
(2013-06-03)
Les techniques de groupement technologique sont aujourd’hui utilisées dans de nombreux ateliers de fabrication; elles consistent à décomposer les systèmes industriels en sous-systèmes ou cellules constitués de pièces et ...
Amorçage cognitif pour amélioration de l’acquisition de la connaissance dans un système tutoriel intelligent
(2013-03-01)
Cette thèse vise à définir une nouvelle méthode d’enseignement pour les systèmes tutoriels intelligents dans le but d’améliorer l’acquisition des connaissances. L’apprentissage est un phénomène complexe faisant intervenir ...
Sécurité polynomiale en cryptographie
(2013-03-01)
Dans ce mémoire, nous proposons des protocoles cryptographiques d'échange de clef, de mise en gage, et de transfert équivoque. Un premier protocole de transfert équivoque, primitive cryptographique universelle pour le ...