Explore projects

POMDP and rho-POMDP solver exploiting the Lipschitz-continuity of finite-horizon value functions (source code for NIPS 2018)

Expose CDA validators generated by GOC as web-service.

CHEPIN simulation's code

Example of a simple release workflow based on tag for gitlab CI

AcGuard is android an application for users to help them against malicious apps that are attacking the passwords using the accessibility service.

ConnectionStudio integrates highly heterogeneous data into graphs, enriched with extracted entities. Studio users can discover the entities in their data, navigate across connections between datasets, explore and query the data in many ways. The Studio currently supports: CSV, JSON, XML, RDF, text, property graphs, all Office formats, and PDF datasets.

For more information, see: https://connectionstudio.inria.fr

The scientific publications behind the platform: https://team.inria.fr/cedar/connectionlens/

GitLab CI Introduction with the Inria GitLab and CI platform. Prerequisites: the practice of at least one programming language (C++, Java or Python).

Front gateway to call validation-service. (EVSClient)