Explore projects

Design and run SEM46 simulations in synthetic models based on simple geometries or on real case studies (e.g. Marathon, Kilauea, Dublin basin).

Francois Lavoue, 21 May 2019

Last updated FL, 13 Nov 2020

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae

Various extensions to the VPL module for Moodle.

Visualisation of insar data.

Dépot commun pour l'ANF 2021 EcoInfo “Impact environnemental du numérique : comprendre et agir https://ecoinfo.cnrs.fr/2020/06/23/formation-2020-impact-environnemental-du-numerique-comprendre-et-agir/

Smooth Backbone-Reliant Orientation-Dependent Protein Quality Assessment

Manage material so 2021 vltischool's students get the better support for practices sessions

Git repo for Rolland et al., 2020

R package for a shiny application about scuba diving planification

Monitoring tools for Chirpstack LoRa Network Server

Code du projet

The ministag module has reasonably good functionality but poor user features, so I am adding some in order to improve productivity (and preserve my santé mentale) while doing geo interne homework.