Français Anglais
Accueil Annuaire Plan du site
Home > Research results
Research results
Research highlights
INFORMATION-GEOMETRIC OPTIMIZATION ALGORITHMS: A UNIFYING PICTURE VIA INVARIANCE PRINCIPLES
2 May 2017

Yann Ollivier, Ludovic Arnold, Anne Auger, Nikolaus Hansen - JMLR 18(18):1−65, 2017.
FORMAL MUTATION TESTING FOR CIRCUS
21 April 2016

Alex Donizeti Betez Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simao Journal of Infor
Contracts & grants
LMH-IROE/AAP 2017 - Labex
   LMH-IROE/AAP 2017

LMH-PRMO/AAP 2017 - Labex
   LMH-PRMO/AAP 2017

JDSE2017 - ANR
   JDSE2017

PEPS FORCE - Subvention
   PEPS FORCE

CONV. LEARNING CENTER/UPSUD - Subvention
   CONV. LEARNING CENTER/UPSUD

Software & patents
TAXOMAP ALIGNMENT
A prototype to automate semantic mappings between taxonomies

BSP++
The C++ Bulk Synchronous Parallelism Library

EDIFLOW
EdiFlow: interactive workflows for data analytics

LN2R-LT
A Logical method and a Numerical method for Reference Reconciliation

Ph.D. dissertations & Faculty habilitations