Explore projects

Computer programs related to the paper by Lavoué et al. (2020, SRL), "Understanding seismic waves generated by train traffic".

François Lavoué (francois.lavoue@univ-grenoble-alpes.fr), 25 March 2020

Last updated François Lavoué, 3 Sept. 2020

Advection-Diffusion-Lattice-Boltzmann-Method code, inherited from Hengdi Zhang, modified by Zhe Gou since 201910

Quelques scripts shell/bash (+config) pour l'administration d'un serveur pédagogique.

ici : http://i3l.univ-grenoble-alpes.fr

Pour la doc, voir README.md et le wiki

Agilkia Smart Testing Tools

The amorph project hosts scripts to generate FSTs for the morphological analysis of French and English languages from dictionaries like DELA or LEFFF.

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/

Clone of Apron (used to control which version of Apron we use with PAGAI).

An Adaptive Reinforced Context-Aware DEep DEcision System

TODO: later.

C'est là que je mets ce que je dveloppe sur astrolabe

Découper la sauvegarde de postes informatiques en petits morceaux

A CEGAR-based solver for maximum model counting