5 Novembre - 11 Novembre


Retour à la vue des calendrier
Lundi 5 Novembre
Heure: 14:00 - 15:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Learning to Navigate and Extract Information from Web Results
Description: Ivan Vladimir MEZA In this talk I present our progress into the ECOS-NORD project between LIPN-Paris 13 and IIMAS-UNAM at Mexico. The talk focus on our experimental setup that allows to learn to navigate web results and to extract information from them. In particular, at this stage we are focus on extracting biográfical information of researchers, in order to quantify the Mexican returning diaspora. Our experimental setup is based on a reinforcement learning setup, we use a labelled data to learn the main actions on the results grid. We will show preliminary results, and newlines of experimentation.
Heure: 15:00 - 16:00
Lieu: Salle A303, bâtiment A, Université de Villetaneuse
Résumé: State Compression Based on One-Sided Communications for Distributed Model Checking
Description: Laure Petrucci We propose a distributed implementation of the collapse compression technique used by explicit state model checkers to reduce memory usage. This adapatation makes use of lock-free distributed hash tables based on one-sided communication primitives provided by libraries such as OpenSHMEM. We implemented this technique in the distributed version of the model checker Helena. We report on experiments performed on the Grid'5000 cluster with an implementation over OpenMPI. These reveal that, for some models, this distributed implementation can altogether preserve the memory reduction provided by collapse compression and reduce execution times by allowing the exchanges of compressed states between processes.