Février 2017


Retour à la vue des calendrier
Jeudi 2 Février
Heure: 12:15 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Complétion de valeurs manquantes à l'aide d'un surfeur aléatoire
Description: François Rioult Dans les contextes réels, des valeurs manquantes figurent dans les données et il est possible d'obtenir des informations contextuelles expliquant l'absence de valeur : y-a-t-il une valeur spécifique pour un autre attribut ? y-a-t-il une autre valeur manquante ? etc. Ces informations contextuelles peuvent être organisées sous forme de graphe, où un surfeur aléatoire fera émerger l'explication la plus probable pour cette valeur manquante. Cette explication donne des indications sur une potentielle complétion.
Mardi 7 Février
Heure: 12:30 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Reformulations de programmes quadratiques convexes en nombres entiers
Description: Dominique Quadri La programmation quadratique en nombres entiers trouve de nombreuses applications dans le monde réel. Il semble important de développer des méthodes de résolution exactes permettant de résoudre en des temps CPU limités de tels problèmes. Or de nos jours les solveurs de programmation linéaire sont de plus en plus efficaces. C'est pourquoi cet exposé est axé sur des reformulations de programmes quadratiques en variables entières en programmes linéaires.
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Algorithmic geometry: growth rate and consequence on a generalization of Sauers's lemma (TBC)
Description: Xavier Goaoc
Jeudi 9 Février
Heure: 13:00 - 14:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Malware Detection Based On Graph Classification
Description: Khanh Huu The Dam Malware detection is nowadays a big challenge. The existing techniques for malware detection require a huge effort of engineering to manually extract the malicious behaviors. To avoid this tedious task of manually discovering malicious behaviors, we propose in this paper to apply learning for malware detection.
Given a set of malwares and a set of benign programs, we show how learning techniques can be applied in order to detect malware.
For that, we use abstract API graphs to represent programs. Abstract API graphs are graphs whose nodes are API functions and whose edges represent the order of execution of the different calls to the API functions (i.e., functions supported by the operating system). To learn malware, we apply well-known learning techniques based on Random Walk Graph Kernel (combined with Support Vector Machines). We can achieve a high detection rate with only few false alarms (98.93% for detection rate with 1.24% of false alarms).
Moreover, we show that our techniques are able to detect several malwares that could not be detected by well-known and widely used antiviruses such as Avira, Kaspersky, Avast, Qihoo-360, McAfee, AVG, BitDefender, ESET-NOD32, F-Secure, Symantec or Panda. This is a joint work with Tayssir Touili.
Vendredi 10 Février
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Syntaxe transcendentale: première lecture.
Description: Christophe Fouqueré JY Girard, avec ses 3 articles sur la "syntaxe transcendentale", aborde la logique sous un angle à la fois philosophico-logique et sous un angle technique, pour aller au-delà de ce qui est fait jusqu'à présent: non seulement la logique linéaire propositionnelle mais encore le traitement de l'égalité donc du premier ordre. Modestement, je commencerai par présenter la partie technique, qui reprend et étend le modèle des réseaux de preuves, en présentant la représentation de MALL et des exponentielles.
Mardi 14 Février
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Quantum simulation of a 2D quasicrystal with cold atoms
Description: Nicolas Macé
Lundi 20 Février
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: L’évolution des bases de connaissances RDF
Description: Fatma Chamekh En 2006, Tim Berners-Lee a présenté le web de données ou données liées (Linked data web of data) comme une nouvelle perspective du web sémantique. L'idée est de privilégier la publication des données structurées sur le web, sous forme d'un réseau global d'informations, en les reliant les unes aux autres. Cependant, des nouveaux jeux de données sont créés ou d’autres sont mises à jour. D’où, les bases de connaissances RDF ont besoin d’évoluer. Dans ce séminaire, je présenterai mes travaux de recherche qui porte sur l’évolution des bases de connaissances RDF en se focalisant sur la qualité des données et la gestion des versions. Dans un premier temps, j’exposerai mon travail de thèse. Il s’agit d’une approche pluridisciplinaire qui allie le paradigme agent aux technologies du web sémantique. Cette approche emploie les capacités cognitives et réactives des agents pour gérer la qualité des données et la gestion des versions. Dans un deuxième temps, je présenterai un bref aperçu sur mes travaux de recherche actuels.
Mardi 21 Février
Heure: 12:30 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: A Column Generation approach for a Multi-Activity Tour Scheduling Problem
Description: Stefania Pan
Heure: 13:00 - 13:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Simplicial Decomposition for Large-Scale Quadratic Convex Programming
Description: Enrico Bettiol
Vendredi 24 Février
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Expérimenter un modèle de programmation fonctionnel, réactif et concurrent (à environnement global) compositionnel en OCaml.
Description: Jean-Vincent Loddo Note: Il s'agit d'un groupe de travail informel et non d'une présentation.


Abstract:
OCaml est un langage nativement multi-paradigme, permettant un style de programmation fonctionnel, impératif et objet. Une librairie de processus légers (threads), fournie avec le langage et s'appuyant sur le système d'exploitation sous-jacent, permet d'ajouter à la liste précédente le style de programmation concurrent à mémoire partagée (ou environnement "global"). Or, cette variante du style concurrent paraît tellement difficile et source d'erreurs ("race conditions", "deadlocks", "resource starvation") qu'elle est souvent réputée impraticable. Ce constat a probablement influencé la recherche sur les paradigmes concurrents, qui s'est orientée, depuis la fin des années '70 et début '80, sur le modèle opposé des algèbres de processus, c'est-à-dire à environnement "local" ou échange de messages (CSP de Hoare 1985, CCS de Milner 1989, LOTOS ISO 1985). L'intérêt soulevé par les mémoires transactionnelles à partir des années 2000, témoigne toutefois d'un retour à la mode de l'environnement global dans un cadre de programmation multi-thread.

Entre-temps, un autre style de programmation, très adapté aux programmes interactifs et typiquement avec interface graphique, le style "réactif" (ou programmation événementielle) a fait brèche dans la culture des programmeurs et le support de ce style est offert dans un nombre grandissant de langages "mainstream", impératifs ou fonctionnels.

Tout cela peut s'ajouter et se combiner à l'ancienne notion de "promesse" ("future") proposée comme mécanisme de synchronisation de programmes hybrides fonctionnels-concurrents (Friedman & Wise 1976, Baker & Hewitt 1977).

Dans cet exposé nous présenterons une tentative de synthèse des styles fonctionnel, réactif et concurrent à environnement global, qui soit compositionnelle, c'est-à-dire permettant de composer des éléments modulaires. Cette solution, qui prend la forme contingente d'une librairie OCaml, a été inspirée par l'implémentation courante du logiciel Marionnet (simulateur de réseaux TCP/IP) et devrait, à terme, permettre la ré-implantation d'une partie critique du code.