Software for Practical Analysis of Materials

Remote sensing with MODIS for snow measuring in the Alps

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.

Aligneur phonographémique phon2graph

The CHOUCAS project is a project for the application of geolocation of people in distress in the mountains. This project is led by the Peloton de Gendarmerie de Haute Montagne (PGMH), the French mountain rescue department.

Introduction à l'intelligence artificielle : science des données et machine learning

Ce projet consiste en la conception d'un clavier virtuel basé sur les panneaux de phonèmes d'Alexandre Do (inspiré des traveaux de Caleb Gattogno), croisé avec la liste des graphies possibles pour chaque phonème (Fidel, C. Gattegno).

A version of CompCert with

extra optimization a backend for the Kalray KVX core

Non Linear Optimization using Automatic Differentiation

This project is meant to make the veri-gitlabrun runner available to Verimag members.

To be able to use it, you just need to (1) subscribe to this project; (2) asks to one of the project owner to assign you the master status