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…
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)…
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…
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…