L'utilisation d'un projecteur dans différentes applications et environnements soulève la nécessité d'adapter et de contrôler l'image affichée en fonction des conditions d'affichage. L'image affichée par exemple dans un ...

Le présent mémoire propose une investigation approfondie de l’analyseur Alloy afin de juger son adaptabilité en tant que vérificateur de modèles. Dans un premier temps, l’étude dresse un tableau comparatif de six vérificateurs ...

Aujourd'hui, il n'existe aucun simulateur de jeu de billard qui puisse bénéficier d'une validation scientifique. Les approximations physiques et les limitations dans la liberté des joueurs sont les principales responsables ...

Il devient important d'assurer que tout système critique est fiable. Pour cela différentes techniques existent, telles que le test ou l'utilisation de méthodes formelles. S'assurer que le comportement d'un vérifieur de ...

Avec la montée de la technologie et la facilité d'accès à Internet, les utilisateurs sont submergés par un large éventail de choix disponibles et une quantité considérable d'informations [6]. Il devient nécessaire d'avoir ...

Les viroïdes sont des agents pathogènes responsables de maladies affectant les plantes telles que l'avocatier, le pêcher, la tomate, la pomme dé terre, etc. Parce qu'ils dégradent la qualité des fruits et des légumes qu'ils ...

Ce mémoire est compose de deux parties, chacune correspondant à un article publié. La première présente une nouvelle approche de simulation pour une chimie virtuelle utilisée dans le domaine de la vie artificielle. Cette ...

La hausse du taux d'occupation des routes rend nécessaire l'utilisation de dispositifs visant à surveiller et analyser la circulation des utilisateurs du réseau routier. Bien souvent, des réseaux de surveillance par caméras ...

Les caméras de vidéosurveillance sont de plus en plus présentes dans notre société, à un point tel que les séquences vidéo sont souvent enregistrées sans être regardées par des agents de sécurité. Il convient donc de créer ...

Ce mémoire s'inscrit dans le cadre du projet Astus qui vise au développement de systèmes tutoriels intelligents (STI). Il propose de concevoir un STI pour les infirmiers et infirmières en traumatologie à l'aide de la ...