Liste de toutes les manifestations à venir et passées proposées par l'équipe SPARKS.

Liste des manifestations passées

Friday 12 May 2017 14:00 to 15:30
Abstract Interpretation 101
SPARKS

Type : Séminaire
Titre : Abstract Interpretation 101
Intervenant(s) :
Gonnord Laure
Lieu d'exercice : Université de Lyon, laboratoire LIP
Date et lieu : Friday 12 May 2017 14:00 to 15:30 , Salle du conseil, Templiers ouest, à Sophia Antipolis
Résumé/Abstract:
"Abstract Interpretation 101"

Abstract Interpretation [Cousot/Cousot POPL77] is a very useful framework to infer properties of programs, which has shown its effectivity in proving safety of critical code like airplane controlers.  In this talk Laure Gonnord makes an Abstract Interpretation scratch course, from the very begining in the late 70's to some recent developments, from formal verification to code optimisation. Laure Gonnord demonstrates that designing abstract domains tailored for specific applications can be fun and easy!

Friday 3 March 2017 10:30 to 12:00
Datalog revisited for reasoning in Linked Data
SPARKS

Type : Séminaire
Titre : Datalog revisited for reasoning in Linked Data
Intervenant(s) :
Rousset Marie-Christine
Lieu d'exercice : IMAG
Date et lieu : Friday 3 March 2017 10:30 to 12:00 , Salle O+307, Polytech, bât. Templiers 2
Résumé/Abstract:

Linked Data provides access to huge, continuously growing amounts of open data and ontologies in RDF format that describe entities, links and properties on those entities. Equipping Linked Data with inference paves the way to make the Semantic Web a reality.
In this presentation, I will describe a unifying framework for RDF ontologies and databases that we call deductive RDF triplestores. It consists in equipping RDF triplestores with Datalog inference rules. This rule language allows to capture in a uniform manner OWL constraints that are useful in practice, such as property transtivity or symmetry, but also domain-specific rules with practical relevance for users in many domains of interest. I will illustrate the expressivity of this framework for modeling Linked Data applications and its genericity for developing inference algorithms. In particular, we will show how it allows to model the problem of data linkage in Linked Data as a reasoning problem on possibly decentralized data. I will also explain how it makes possible to efficiently extract expressive modules from Semantic Web ontologies and databases with formal guarantees, whilst effectively controlling their succinctness. Experiments conducted on real-world datasets have demonstrated the feasibility of this approach and its usefulness in practice for data integration and information extraction.

Thursday 5 January 2017 14:00
Construction d'un projet I3S/Géoazur autour des signaux sismologiques
COMRED, MDSC, SIS, SPARKS

Type : Séminaire
Titre : Construction d'un projet I3S/Géoazur autour des signaux sismologiques
Intervenant(s) :
Audrey Galve
Lieu d'exercice : Laboratoire Géoazur de Sophia Antipolis
Date et lieu : Thursday 5 January 2017 14:00 , Salle de conférence du laboratoire I3S à Sophia Antipolis
Résumé/Abstract:
Pour étudier les régions sismiquement actives, nous déployons des sismomètres à terre mais également sur le fond des océans. Les données que nous obtenons sont devenues de plus en plus nombreuses par une augmentation à la fois du nombre d'instruments déployés lors d'une campagne et de sa durée qui peut aller aujourd’hui de 6 mois à 4 ans d'enregistrement en continu. La détection et l'extraction automatique des signaux sismologiques deviennent donc maintenant vitales pour notre communauté qui utilise encore des techniques de base peu performantes et qui ne permettent pas d'aborder tout le champ des signaux existants. Pour le moment, nous détectons en automatique seulement des séismes dont l'amplitude dépasse un seuil par rapport au bruit de fond. Des techniques ont récemment été développées, telles que celle en ondelettes pour discriminer des événements spécifiques lorsque l’espace de stockage ne permet pas de conserver tout l’enregistrement en continu, celle s’appuyant sur une fonction statistique de type kurtosis pour réaliser automatiquement la détermination des temps d’arrivées des ondes en chaque station. Mais d’autres signaux liés à l'activité terrestre, à celles des mammifères marins et aux événements météorologiques sont enregistrés et nous aimerions pouvoir les extraire de manière systématique au retour des instruments pour alimenter des bases de données qui seraient ouvertes à la communauté scientifique.

Nous souhaiterions développer un projet entre Géoazur et I3S pour créer un programme qui permettra de détecter, extraire et ranger dans une librairie tous ces signaux. Au cours de ce séminaire, je vous présenterai les différents types de signaux que nous utilisons et ce que nous en faisons, les autres signaux qui sont enregistrés par les stations en mer, pour ensuite développer ce que nous souhaiterions faire grâce à vos compétences.

Tuesday 8 November 2016 10:00 to 12:00
"Learning slowly to learn better: curriculum learning for legal ontology population" presented by Milagro Teruel
SPARKS

Type : Séminaire
Titre : "Learning slowly to learn better: curriculum learning for legal ontology population" presented by Milagro Teruel
Intervenant(s) :
Teruel Milagro
Lieu d'exercice : PhD student, University of Cordoba, Argentina
Date et lieu : Tuesday 8 November 2016 10:00 to 12:00 , Salle du consiel, Templiers ouest, à Sophia Antipolis
Résumé/Abstract:
Ontologies are the main mechanism for domain-specific knowledge representation in the Semantic Web, but their manual creation and maintenance is a very time-consuming task. In addition, ontologies representing legal information need to be created by domain experts since they do not reflect common sense and need to be compliant with the regulation we aim at modeling and capture the full semantics of laws and regulations. There are a number of proposals to represent the domain of legal knowledge through ontologies, but the fact remains that legal ontologies still lack coverage, both qualitatively in the addressed areas of legal knowledge, and quantitatively in the number of entities that populate them. This makes it difficult to train legal Named Entity Recognition (NER) systems and to support Entity Linking to process and mine texts in the legal domain. 
 
We address this issue by proposing an ontology population approach for legal ontologies. Our final goal is to use our framework to carry out Entity Linking on a variety of legal documents. We exploit the Wikipedia as a source of manually annotated examples of legal entities. With these examples, we train a classifier specifically for the legal domain. Since the number of annotated examples is small, we need to address the problems of overfitting and falling into local minima. We rely on the learning strategy called curriculum learning, which aims to train a model by presenting increasingly more complex concepts. We compare the performance to identify Named Entities of the curriculum learning strategy with respect to the batch learning as well as a baseline of non deep learning algorithms (support vector machines and logistic regression). 
 
Using the Wikipedia to create a legal domain Entity Linker presents a number of caveats. First of all, Wikipedia-linked ontologies are specifically targeted to represent the legal domain. Then, the Wikipedia as a source of 
annotated examples has the particularity that not all instances of a given entity are tagged as such, although all that are tagged as such can be assumed to be tagged correctly. Finally, the Wikipedia does not belong to any genre of legal document, even if some of its articles dwell in the legal domain. 
 
To address the shortcomings of Wikipedia-linked ontologies, we established a mapping between the Wikipedia-based YAGO ontology and the LKIF ontology, specifically designed for the legal domain. In doing this, we are 
effectively populating the A-Box of the LKIF ontology with Wikipedia entities and their mentions. To assess the impact of incomplete recall of Wikipedia entity mentions (not all mentions of entities are tagged), we evaluated the performance of the classifier on a ground truth testbed of Wikipedia articles specifically annotated with legal entities. An error analysis in this testbed allows to direct further efforts in the development of annotated corpora.

Monday 20 June 2016 14:00 to 15:30
Precise Model Composition Interfaces with Instantiation Cardinalities
SPARKS

Type : Séminaire
Titre : Precise Model Composition Interfaces with Instantiation Cardinalities
Intervenant(s) :
Kienzle Jörg
Lieu d'exercice : McGill University, Montreal, Canada
Date et lieu : Monday 20 June 2016 14:00 to 15:30 , Salle du conseil, bâtiment Templiers 1
Résumé/Abstract:

Separation of concerns and multi-view modelling advocate that structural and behavioural properties of different facets of a system be modularized within separate models. To understand, analyze, simulate, execute or generate combined structure and behaviour from such separate modules, many model composition operators and approaches have been proposed. However, when the functionality provided by a module is needed repeatedly in a composed system, it is often not clear how the existing composition operators and approaches are to be applied to the models that are to be composed, and what the expected composed result will look like. This talk introduces instantiation cardinalities, a mechanism that removes potential ambiguities for developers that use model composition to integrate separate structure and behaviour. Instantiation cardinalities give the model designer fine-grained control about how many instances of each structural and behavioural element contained in a model are to be created in the target model during model composition. I will illustrate the approach by presenting the aspect-oriented design of a behavioural, a structural and a creational design pattern.

Friday 17 June 2016 11:00 to 12:30
Challenges for making the Semantic Web affordable to industries in the Energy sector. Sharing our experience in the European Smart Energy Aware Systems project.
SPARKS

Type : Séminaire
Titre : Challenges for making the Semantic Web affordable to industries in the Energy sector. Sharing our experience in the European Smart Energy Aware Systems project.
Intervenant(s) :
Lefrançois Maxime
Lieu d'exercice : MINES Saint-Étienne
Date et lieu : Friday 17 June 2016 11:00 to 12:30 , Salle du conseil, bâtiment Templiers 1
Résumé/Abstract:

The ITEA3 12004 Smart Energy Aware Systems aims at developing a global ecosystem of distributed services that all target energy efficiency. The Ecole des Mines de Saint-Etienne was originally part of the ambitious Knowledge Modeling task, which was to ground the model on Semantic Web formalisms. Soon, industrial and academic partners also faced the challenge to make the best out of the developed ontologies. This especially includes adapting their legacy Web services, sensors, and actuators, at the lowest possible costs. In this talk, I will first share our experiences on these different challenges. Then, I will focus on two important results that aim at lowering the cost of making legacy systems interoperable on the Web: 
1. How to concisely represent data with custom datatypes, while ensuring RDF processors and SPARQL engines can discover them on the fly, and process them uniformly ?
2. How to query an RDF dataset, along with a set of documents with heterogeneous formats ?
3. How to enable servers and clients to use legacy (potentially very lightweight) data representation formats while ensuring one can still interpret messages as RDF.

Friday 27 May 2016 14:00 to 15:30
Concern-Oriented Reuse, and how to Support Delaying of Decisions
SPARKS

Type : Séminaire
Titre : Concern-Oriented Reuse, and how to Support Delaying of Decisions
Intervenant(s) :
Kienzle Jörg
Lieu d'exercice : McGill University, Montreal, Canada
Date et lieu : Friday 27 May 2016 14:00 to 15:30 , Salle du conseil, bâtiment Templiers 1
Résumé/Abstract:

Concern-Oriented Reuse (CORE) is a new paradigm aimed at maximizing software reuse, in which software development is structured around new modules called concerns. Techniques from model-driven engineering (MDE), software product line engineering (SPL) and software composition (in particular aspect-orientation) allow concerns to encapsulate a variety of solutions (requirements, architecture, design, implementation models and code) to recurring software development problems in a versatile, generic way. Reusing the encapsulated solutions is streamlined through well-defined interfaces: a) the variation interface, which exposes the variants offered by the concern and allow the user to reason about the impact of selecting a solution on high-level goals and system properties, b) the customization interface, which designates the partial, generic elements of a solution which need to be adapted to the specific reuse context in order to be usable, and c) the usage interface, which allows the user to access the functionality offered by the concern.

In this talk I will briefly explain the main idea and concepts of CORE, and then focus on one of the most exciting advantages of CORE: the support for delayed decision making. With CORE, high-level decisions (e.g. architectural decisions) can be made at one point in time in order to allow development to continue, while low-level decisions (e.g., implementation choices) can be deferred to a later point when more detailed requirements are known. Likewise, when building a concern by reusing other low-level concerns, CORE allows developers to make partial feature selections from the reused concern's variation interface. Using the partial selection, the CORE tool generates partial customization and partial usage interfaces for the concern that the developer can use to finalize their development. Any variants encapsulated by the reused concern that are identified by the developer as potentially usable solutions in the current context are reexposed at the interface of the concern being designed. I will present and demonstrate the advanced software composition algorithms that make delaying of decisions possible in CORE: feature model composition, impact model composition, (class-, sequence- and state diagram composition if time permits), as well as the overall software composition algorithm that collects all decisions made at different points in time to generate the final application.

Thursday 19 May 2016 14:00 to 15:30
Adaptation Dynamique : des processus métiers à l'environnement opérationnel. Application à la continuité de services ambiants.
SPARKS

Type : Séminaire
Titre : Adaptation Dynamique : des processus métiers à l'environnement opérationnel. Application à la continuité de services ambiants.
Intervenant(s) :
Tigli Jean-YVes, Mirbel Isabelle
Lieu d'exercice : Sophia Antipolis
Date et lieu : Thursday 19 May 2016 14:00 to 15:30 , Salle du conseil, bâtiment Templiers 1
Résumé/Abstract:

Adaptation Dynamique : des processus métiers à l'environnement opérationnel. Application à la continuité de services ambiants.

Tuesday 17 May 2016 10:00 to 11:30
Deep learning and weak supervision for image classification
SPARKS

Type : Séminaire
Titre : Deep learning and weak supervision for image classification
Intervenant(s) :
Cord Matthieu
Lieu d'exercice : LIP6, Paris
Date et lieu : Tuesday 17 May 2016 10:00 to 11:30 , Templiers Est, E+138
Résumé/Abstract:

Deep learning and Convolutional Neural Networks (CNN) are state-of-the-art methods for various visual recognition tasks, e.g. image classification or object detection. To better identify or localize objects, bounding box annotations are often used. These rich annotations quickly become too costly to get, making the development of Weakly Supervised Learning (WSL) models appealing.
We discuss several strategies to automatically select relevant image regions from weak annotations (e.g. image-level labels) in deep CNN. We also introduce our architecture WELDON for WEakly supervised Learning of Deep cOnvolutional neural Networks. 
Our deep learning framework, leveraging recent improvements on the Multiple Instance Learning paradigm, is validated on several recognition tasks.

Tuesday 3 May 2016 15:00 to 16:30
Trying to make the best out of the least: experiments on optimizing supervision in machine learning approaches for Spanish NLP
SPARKS

Type : Séminaire
Titre : Trying to make the best out of the least: experiments on optimizing supervision in machine learning approaches for Spanish NLP
Intervenant(s) :
Laura Alonso Alemany
Lieu d'exercice : University of Cordoba (Argentina)
Date et lieu : Tuesday 3 May 2016 15:00 to 16:30 , Salle du conseil, bâtiment Templier Ouest
Résumé/Abstract:
Laura will present experiments and lines of research she is pursuing in the NLP group at the University of Córdoba, Argentina. Her work is mostly focused on empirical methods for under-resourced NLP problems, specially those benefitting Spanish resources for NLP.
Laura will describe her interests in optimizing supervision in semi-supervised machine learning approaches. She has carried out experiments mixing semi-supervised and active learning, with only partial success. She is currently dealing with semi-supervised deep learning. She is specially interested in how to introduce a minimal amount of supervision that helps deep learning methods avoid local minima. She is applying these to the problem of verbal sense disambiguation of Spanish and to Named Entity recognition.

Tuesday 22 March 2016 11:00 to 12:30
Exposing heterogeneous legacy data on the Web of Data
SPARKS

Type : Séminaire
Titre : Exposing heterogeneous legacy data on the Web of Data
Intervenant(s) :
Franck Michel
Lieu d'exercice : Salle du conseil, Templiers 1, Sophia Antipolis
Date et lieu : Tuesday 22 March 2016 11:00 to 12:30 , Salle de conférence du laboratoire I3S à Sophia Antipolis
Résumé/Abstract:

The Web of Data is now emerging thanks to the publication and interlinking of datasets on the Web. A key enabler to its advent is the ability to translate legacy data into RDF, data representation language of the Semantic Web. In this talk, I will first shortly recall the principles of the Web of Data. Then, I will present an overview of the questions that come up when translating legacy into RDF, notably the reuse vs. creation of vocabularies, and I will make a specific focus on methods aimed at translating (i) relational data into RDF, and (ii) other types of data stores such as NoSQL systems. 

Tuesday 1 March 2016 14:00 to 15:30
Visualisation des données liées
SPARKS

Type : Séminaire
Titre : Visualisation des données liées
Intervenant(s) :
Emilie Palagi, Erwan Demairy, Raphael Boyer, Olivier Corby
Lieu d'exercice : Sophia Antipolis
Date et lieu : Tuesday 1 March 2016 14:00 to 15:30 , Salle du conseil, bâtiment Templiers 1
Résumé/Abstract:
  • Olivier Corby présentera  une technologie permettant d'engendrer des navigateurs hypertexte sur le Web données, qui repose sur un SPARQL endpoint augmenté avec le langage STTL de transformation de graphes RDF, une extension de SPARQL développée dans l'équipe.
  • Erwan Demairy présentera un plugin basé sur Corese permettant de visualiser dans Gephi des graphes sémantiques.
  • Raphael Boyer présentera ses travaux sur la visualisation de données d'historique de DBpedia, affichées à l'aide d'AngularJS, et sur la visualisation 3D de graphes RDF en utilisant le moteur de jeu Unity.
  • Emilie Palagi présentera ses travaux sur la reconception des IHM de Discovery Hub, un moteur de recherche exploratoire sur DBpedia développé dans l'équipe. Ces IHM sont dites "explicatives": elles permettent l'explicitation et la compréhension par les utilisateurs des relations entre la requête et un résultat.

Thursday 11 February 2016 11:00 to 12:30
CORESE Semantic Web platform
SPARKS

Type : Séminaire
Titre : CORESE Semantic Web platform
Intervenant(s) :
Olivier Corby
Lieu d'exercice : Sophia Antipolis
Date et lieu : Thursday 11 February 2016 11:00 to 12:30 , Salle du conseil, Templiers 1
Résumé/Abstract:

This talk will introduce this platform multiples capabilities: support of W3C standards (RDF, RDFS, SPARQL 1.1) and research extensions (inference rules language, RDF graph transformation language, SPARQL functional extensions…), and discuss its application domain.

Tuesday 12 January 2016 10:00 to 11:30
Agents BDI possibilistes
SPARKS

Type : Séminaire
Titre : Agents BDI possibilistes
Intervenant(s) :
DA COSTA PEREIRA Célia, VILLATA Serena, TETTAMANZI Andrea
Lieu d'exercice : UNS ou CNRS, laboratoire I3S, Nice Sophia Antipolis
Date et lieu : Tuesday 12 January 2016 10:00 to 11:30 , Salle du conseil, bâtiment Templier Ouest
Résumé/Abstract:

Le prochain séminaire SPARKS de la thématique FORUM aura lieu mardi 12 janvier 2016 à 10h en salle du conseil.
Celia, Serena et Andrea nous présenteront trois travaux sur les agents BDI possibilistes.

Thursday 17 December 2015 14:00 to 16:00
Things heard at Supercomputing 2015: the foreseeable future of computing technologies
SPARKS

Type : Séminaire
Titre : Things heard at Supercomputing 2015: the foreseeable future of computing technologies
Intervenant(s) :
Montagnat Johan
Lieu d'exercice : CNRS, I3S, Nice Sophia Antipolis
Date et lieu : Thursday 17 December 2015 14:00 to 16:00 , Salle du consiel, Templiers ouest, à Sophia Antipolis
Résumé/Abstract:

Computing power has evolved exponentially over the last 40 years following the technological development of CMOS technologies. The computing power growth rate was surprisingly steady for several decades. However, there are several indicators announcing a very near (if not already happening) slow down in computing capacity growth, at a time where demand for computing as never been as high. Alternatives to the existing technology are not clear in spite of recent progresses in different areas, new materials, nanotechnologies, quantum computing, neuromorphic computing… This talk will discuss the current status and investigates what the future might be.

Friday 4 December 2015 10:00 to 12:00
Prédiction des associations microARN-maladie par analyse distributionnelle
SPARKS

Type : Séminaire
Titre : Prédiction des associations microARN-maladie par analyse distributionnelle
Intervenant(s) :
Pasquier Claude
Lieu d'exercice : CNRS, Laboratoire I3S, Nice Sophia Antipolis
Date et lieu : Friday 4 December 2015 10:00 to 12:00 , Salle du consiel, Templiers ouest, à Sophia Antipolis
Résumé/Abstract:

Depuis  quelques années, le dogme central de la biologie moléculaire (ADN → ARN → protéine) est secoué par les découvertes de plus en plus nombreuses de brins d'ARN non codants (ARNnc) qui jouent un rôle critique dans de nombreux processus physiologiques. Les dérégulations de ces ARNnc sont aussi étroitement liées au développement et la progression de diverses maladies humaines, y compris le cancer.
 
L'idée de base de mon travail est de traiter les données disponibles sur les ARNnc pour en faire émerger de nouvelles connaissances sur les fonctions de ces molécules et accroître notre compréhension des mécanismes de pathogénicité. Je me concentre, dans un premier temps, sur l'étude d'ARNnc particuliers appelés micro ARN (miARN).
 
L'hypothèse de départ est que l'analyse distributionnelle peut être utilisée pour révéler de nouvelles informations attachées aux miARN. Mon approche consiste à combiner des données textuelles et factuelles dans un espace vectoriel de grande dimension et de définir les associations entre miARN et maladie en terme de similarités de vecteurs.
 
Des validations croisées effectuées sur différents ensembles de données démontrent l'excellente performance de cette approche. De plus, une étude détaillée portant sur le cancer du sein confirme la capacité de la méthode à découvrir de nouvelles associations miARN-maladie et à identifier de potentielles fausses associations stockées dans les bases de données ou décrites dans des articles.

Liens utiles :
http://www.pasquier.net/

Tuesday 17 November 2015 16:00 to 17:30
Visulab, un outil pour la recherche
SPARKS

Type : Séminaire
Titre : Visulab, un outil pour la recherche
Intervenant(s) :
Philippe Renevier Gonin
Lieu d'exercice : Université Nice Sophia Antipolis, Nice, France
Date et lieu : Tuesday 17 November 2015 16:00 to 17:30 , Salle du consiel, Templiers ouest, à Sophia Antipolis
Résumé/Abstract:

Visulab est une plate-forme web permettant d'assembler et de synchroniser des visualiations. Issue du projet FUI STM3, cette plate-forme permet de connecter différentes sources d'informations (fichiers, websocket, etc.) à des visualisations (faites spécialement ou issue de librairies javascripts), de synchroniser les visualisations sur un type de données (pas uniquement sur le temps) et d'interagir avec. 

Thursday 24 September 2015 14:00 to 15:00
Distributed Data Management
SPARKS

Type : Séminaire
Titre : Distributed Data Management
Intervenant(s) :
Jean-Pierre Lozi
Lieu d'exercice : Université Nice Sophia Antipolis, Nice, France
Date et lieu : Thursday 24 September 2015 14:00 to 15:00 , Salle de conférence du laboratoire I3S à Sophia Antipolis
Résumé/Abstract:

Jean-Pierre Lozi présente ses travaux sur la gestion des données distribuées, la synchronisation et la cohérence de cache dans les architectures multicœurs.