2014 | VERICONISS

Verification of Concurrent Infinite State Systems  Axe :SciLexSujet : reachability, model checking and equivalence checking of concurrent infinite state systemsCoordinateur : Stefan GöllerEquipe: P1: Laboratoire Spécification et Vérification in Cachan…

Continuer la lecture 2014 | VERICONISS

2016 | IoTA

Action line:DataSense:Subject : IOTA will provide the next generation of models and algorithms to advance our understanding of IoT analytics.Project Coordinators : Albert Bifet, Silviu ManiuProject Members :Nikolaos Tziortziotis (PostDoc)…

Continuer la lecture 2016 | IoTA

2014 | Index Coding

Novel outer bounds through sub-modular pseudo-entropic functionals and non-Shannon type inequalities Début : 2014Axe :ComExSujet : Basic storage limitations for shared link delivery networks and combination networksDirecteur :Pablo Piantanida,L2S, Daniela Tuninetti,UICLaboratoires…

Continuer la lecture 2014 | Index Coding

2014 | SEDA : BREATHING SENSE INTO DATA

Action line:DataSenseProject Members : Danai Symeonidou (Post-Doc), Katerina Tzompanaki (Post-Doc), Thomas Rebele (Phd Student)Coordinator :Fabian Suchanek (LTCI, Télécom ParisTech)Subject : Information Extraction, knowledge linking, knowledge miningInstitutions : LTCI, Télécom ParisTech…

Continuer la lecture 2014 | SEDA : BREATHING SENSE INTO DATA