|
|
Lundi 3 Septembre
Heure: |
16:00 - 17:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Analysing large-scale Research Data with Semantic Technologies |
Description: |
Francesco OSBORNE Semantic Technologies provide useful solutions for the analysis of big scholarly data since they facilitate the integration of large datasets and support tasks such as Natural Language Processing and Information Retrieval. In particular, ontologies that describe research topics and their relationships proved to be effective tools for making sense of research dynamics, classifying publications, detecting research communities, and forecasting research trends. However, these knowledge bases are very expensive to craft and tend to become obsolete fairly quickly. In my talk, I will discuss the automatic approach that we designed to generate and update the Computer Science Ontology (CSO), a large-scale ontology of research topics including about 25K concepts. CSO has been used for supporting Springer Nature in classifying editorial products, informing marketing decisions, and evolving their internal taxonomy. I will present some systems adopting this knowledge base and describe their effect on the workflow of a major publishing company. I will also discuss the advantage of combining Machine Learning and Semantic Technologies for addressing complex tasks such as predicting research trends and forecasting technology migrations. |
Jeudi 13 Septembre
Heure: |
10:15 - 11:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
CoGITARe |
Description: |
Flavien Breuvart Mon ARNJCJC CoGITARe a été accepté cet été. Ce séminaire a pour but de présenter le projet, ses objectifs et ses différentes facettes en essayant de rester haut niveau. |
Jeudi 20 Septembre
Heure: |
10:15 - 11:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
GdT : SL=L |
Description: |
Paulin groupe de travail sur le résultat d'égalité de classes SL=L
(Annonce très tardive car oubliée, désolé...) |
Lundi 24 Septembre
Heure: |
15:00 - 16:00 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
A UML-based Proposal for IoT System Requirements Specification |
Description: |
Gianna Reggio The talk presents a preliminary version of IotReq, a method for the elicitation and specification of the requirements for an IoT system.
The first task suggested by IotReq is the modelling of the domain, using the UML and following the service-oriente d paradigm, then the goals of the IoT system to build are elicited and specified, again using the UML and extending the domain model, producing a specification of the functional requirements.
IotReq also provides preliminary indications for specifying the technological nonfunctional requirements.
A case study, the specication of the requirements for a system to support the Genoas Science Festival is presented too. |
Mardi 25 Septembre
Heure: |
12:30 - 13:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
Modèles d'optimisation pour le transport urbain "flexible" |
Description: |
Yasmin A. Rios-Solis Je présenterai des problèmes de transport urbain (bus) qui se trouvent dans un contexte flexible ou plutôt, désordonné: chauffeurs absents, événements inattendus qui arrivent aux véhicules, pas de voie spéciale pour les bus, presque pas darrêts et compétition entre compagnies de transport. Pour ces problèmes, il faut de nouveau modèles doptimisation, des preuves de complexité et de nouvelles méthodes de résolution. Au lieu de rentrer dans les détails mathématiques, je présenterai plutôt les thèmes de recherche qui émergent de ce contexte flexible. |
Heure: |
12:30 - 15:30 |
Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
Résumé: |
GADTs |
Description: |
Flavien Il s'agit d'une présentation général des GADTs par Flavien, avec une explication de leurs intérêts pratique. Cela sera suivit d'un cas d'étude présenté par Jean-Vincent sur lequel on pourra réfléchir tous ensemble. Le créneau est long, car on ira manger entre les deux parties. |
Jeudi 27 Septembre
Heure: |
15:30 - 17:00 |
Lieu: |
Salle A303, bâtiment A, Université de Villetaneuse |
Résumé: |
Arrows |
Description: |
Exequiel Rivas Using monads for structuring computational effects had a big impact in the functional programming community. Arrows (Hughes 2000) are a generalisation of monads which provides support for computational effects that may be partially static. This talk will begin with an introduction on the subject, and then continue to discuss one the possible semantics of arrows from a categorical perspective. |
|
|