Search
Now showing items 1-4 of 4
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 ...
Débruitage d’image par fusion de filtrage spatio-fréquentielle
(2018-06-19)
In this work, we are interested in the fusion of two different algorithms of denoising and
operating in the space domain for one of the two and in the frequency domain for the
other one.
The proposed technique will merge ...
Flou de mouvement réaliste en temps réel
(2015-02-18)
Le flou de mouvement de haute qualité est un effet de plus en plus important en rendu interactif. Avec l'augmentation constante en qualité des ressources et en fidélité des scènes vient un désir semblable pour des effets ...
Variations sur le protocole BB84 avec bases de polarisation secrètes
(2023-05-03)
Nous naviguons présentement sur la vague de la deuxième révolution quantique qui nous dirige vers un océan de possibilités. L’approche tant attendue de l’ordinateur quantique affecte notre société, notamment la sécurité ...