Monitoring de sa santé via une montre connectée

Ces dernières années, de nouveaux accessoires portables intelligents ont émergé sur le marché. Les montres connectées, également nommées Smartwatch, accompagnent désormais les téléphones portables. Ces nouveaux périphériques disposent de capteurs permettant la collecte de données. Les données capturées ouvrent la voie à de nouvelles approches pour des applicatifs dans le domaine de la santé (mesure de soi). En collaboration avec l’institut AISLab (Applied Intelligent Systems Lab) l’objectif de ce travail est d’étudier le potentiel des nouveaux dispositifs de montres connectées Android Wear, dans le domaine de la santé par le biais d’une application mobile

Un interface d'indexation documentaire: I d'i, version 2.0

Ce document présente un interface d'utilisation d'un système prototype d'indexation documentaire construit dans le cadre du projet {\em Specification and Prototyping of a System for the Intelligent Management of Information}\footnote{Projet N$^{\underline o}$ 4023-26996, PNR 23, FNSRS}. Cet interface permet de commander l'indexation automatique de docu\-ments et de contrôler le résultat du traitement effectué. Dans un mode de fonctionnement particulier (mode de démonstration), il est possible d'obtenir une illustration des différentes étapes grâce à une visualisation graphique des résultats intermédiaires. D'autre part, cet outil illustre les possibilités d'utilisation d'une bo\^{\i}te à outils graphique, {\tt Tk}, et son intégration possible avec Prolog via un utilitaire appelé {\tt expect}. Cet interface d'indexation fait partie d'une triade d'outils qui comprend un interface d'adminis\-tration et un interface de recherche documentaire qui font l'objet de rapports distincts

Improving QED-Tutrix by Automating the Generation of Proofs

The idea of assisting teachers with technological tools is not new. Mathematics in general, and geometry in particular, provide interesting challenges when developing educative softwares, both in the education and computer science aspects. QED-Tutrix is an intelligent tutor for geometry offering an interface to help high school students in the resolution of demonstration problems. It focuses on specific goals: 1) to allow the student to freely explore the problem and its figure, 2) to accept proofs elements in any order, 3) to handle a variety of proofs, which can be customized by the teacher, and 4) to be able to help the student at any step of the resolution of the problem, if the need arises. The software is also independent from the intervention of the teacher. QED-Tutrix offers an interesting approach to geometry education, but is currently crippled by the lengthiness of the process of implementing new problems, a task that must still be done manually. Therefore, one of the main focuses of the QED-Tutrix' research team is to ease the implementation of new problems, by automating the tedious step of finding all possible proofs for a given problem. This automation must follow fundamental constraints in order to create problems compatible with QED-Tutrix: 1) readability of the proofs, 2) accessibility at a high school level, and 3) possibility for the teacher to modify the parameters defining the "acceptability" of a proof. We present in this paper the result of our preliminary exploration of possible avenues for this task. Automated theorem proving in geometry is a widely studied subject, and various provers exist. However, our constraints are quite specific and some adaptation would be required to use an existing prover. We have therefore implemented a prototype of automated prover to suit our needs. The future goal is to compare performances and usability in our specific use-case between the existing provers and our implementation.Comment: In Proceedings ThEdu'17, arXiv:1803.0072

Un interface de recherche documentaire: I de r, version 2.0

Ce document présente un interface d'utilisation d'un système prototype de recherche documentaire construit dans le cadre du projet {\em Specification and Prototyping of a System for the Intelligent Management of Information}\footnote{Projet No 4023-26996, PNR 23, FNSRS}. Cet interface permet de soumettre des requêtes de recherche de documents et de visualiser les documents sélectionnés par le système. D'autre part, cet outil illustre les possibilités d'utilisation d'une bo\^{\i}te à outils graphique, {\tt Tk}, et son intégration possible avec Prolog via un utilitaire appelé {\tt expect}. Cet interface fait partie d'une triade d'outils qui comprend un interface d'indexation documentaire et un interface d'administration de documents indexés

Modélisation d'un outil graphique d'aide à la compréhension de résolution de programmes logiques

Ce projet de recherche traite du domaine de l’intelligence artificielle, plus précisément de la programmation logique, un type de programmation utilisée pour concevoir des systèmes dits intelligents. Ce type de programmation est toutefois assez complexe à assimiler et il n’existe, à notre connaissance, aucun outil interactif qui permette de montrer efficacement le processus d’exécution d’un programme logique. L’objectif de cette recherche consistait donc à proposer un modèle d’outil facilitant la compréhension de la résolution d’un programme logique. Le modèle proposé permet de représenter graphiquement et dynamiquement la trace de résolution d’un programme logique. Un prototype a été construit pour valider ce modèle avec des programmes écrits en langage Prolog. L’utilisateur peut ainsi suivre les étapes d’exécution à travers l’affichage dynamique d’un arbre de dérivation. Actuellement, le modèle ne permet pas de prendre en compte des programmes écrits avec différents langages de programmation, une telle généralisation serait une bonne amélioration

Analyse du comportement des programmes à l'aide des matrices d'adjacence

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal

Mathématiques et programmation analyse des besoins et inventaire de ressources au collégial /

"Ce projet constitue le troisième volet d'une recherche portant sur les applications de l'ordinateur dans l'enseignement et l'apprentissage des mathématiques au collégial"Également disponible en version papierTitre de l'écran-titre (visionné le 5 déc. 2009)Bibliogr

Approche logique pour l'analyse de traces d'exécutions

Les techniques traditionnelles de détection d'intrusions s'appuient sur différentes approches permettant d'identifier une utilisation non prévue et non autorisée de différentes ressources d'un système informatique. Afinn de détecter ces comportements, nous décrivons dans ce mémoire une approche logique de détection d'intrusions basée sur l'identification, dans des traces d'exécutions, de violations de politiques de sécurité données. Le modèle développé spécifie l'état des ressources d'un système ainsi que les effets des différents appels système sur cet état. Le système obtenu, qui s'apparente à un système expert, s'appuie sur un ensemble de règles logiques décrivant les connaissances d'un expert en sécurité informatique. Tout comportement illégal, c'est-à-dire non conforme aux politiques de sécurité considérées, est signalé et est considéré comme une tentative d'intrusion. Le système implémenté est capable de détecter une large classe d'attaques puisque l'approche développée ne se base pas sur certaines séquences particulières d'actions déjà recensées, mais plutôt sur les effets des différentes actions effectuées. De plus, il est capable de détecter de nouveaux comportements malveillants non préalablement identifiés.Traditional techniques for intrusion detection based on different approaches for identifying unintended and unauthorized use of dfferent resources of a computer system. To detect these behaviors, we describe in this paper a logical approach to intrusion detection based on the identification, in execution traces, of violations of given security policies. The developed model specifies the state of system resources as well as the effects of different system calls on this state. The resulting system, which is similar to an expert system, relies on a set of logical rules describing the knowledge of an expert in computer security. Any illegal behavior, that means not conform to the considered security policies, is reported and is considered as an intrusion attempt. The implemented system is able to detect a wide class of attacks since the approach is not based on some particular sequences of actions already identified, but rather on the effects of different actions performed. In addition, it is able to detect new malicious behavior not previously identified

MenuErgo: Conception assistée de menus par évaluation automatique de règles ergonomiques

International audienceThis paper presents MenuErgo, a software environment for designing a menu bar along with its pull-down menus and sub-menus of a graphical user interface by automatic evaluation of menu usability guidelines according to four evaluation strategies: an active strategy initiated by the system, a passive strategy initiated by the designer, a mixed strategy shared by both of them, and a strategy by conceptual units based on the semantic domain. The MenuErgo software architecture consists of an evaluation trigerrer, an evaluation engine, a presenter, and a knowledge base of 58 usability guidelines whose evaluation is automated. A qualitative exploratory study reports on the reactions of nine designers after their usage of MenuErgo on a case study for designing menus for a multimedia application.Cet article présente MenuErgo, un environnement logiciel de conception d’une barre de menu avec ses menus déroulants et sous-menus d’une interface graphique par évaluation automatique de règles ergonomiques propres aux menus selon quatre stratégies d’évaluation: la stratégie active à l’initiative du système, la stratégie passive à l’initiative du concepteur, la stratégie mixte partagée par les deux et la stratégie par unités conceptuelles basée sur le domaine sémantique. L’architecture logicielle de MenuErgo est composée d’un déclencheur d’évaluation, d’un moteur d’évaluation, d’un présentateur d’évaluation et d’une base de 58 règles ergonomiques dont l’évaluation est assurée automatiquement. Une étude qualitative exploratoire rapporte les réactions de neuf concepteurs ayant utilisé MenuErgo sur une étude de cas de conception de menu pour une application multimédia