C++ library to trace structured events and data from usual tracepoints

Web-based tool to visualise geomagnetic data

Les objectifs de ce projet interdisciplinaire sont (1) de mettre en œuvre une nouvelle méthode de correction de la datation basée sur l’inter-corrélation de bruit sismique ambiant (2) d’appliquer ce traitement à des flux continus de données.

Cours d'introduction au parallélisme. Il a été présenté aux professeurs de Lycée, pour ISN/ICN le 6 mars 2018.

Python package for geomagnetic data assimilation

Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.

RDBG stands for Reactive programs DeBuGger.

Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).

Lustre V6 compiler

Implementation of the Potential Source Contribution Function in python (with a GUI)

Visualization of the SOURCES project, aiming at determining regional PM sources in the atmosphere thanks to 15 PMF.

JSDMS evaluation on IFN data

A simple web app for data vizualisation of atmospheric aerosols constituent from the IGE lab.

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae