Explore projects

Python code to read the netCDF files and produce the figures of the paper.

The evolving specification for Alethe, a flexible format for SMT proofs.

Finite Element tools for A&M

Finite Element tools for A&M

Example of FE solvers using the amfe library

Code for the detection and quantification of sleep arousals.

Stable, open source releases of BAMHBI (BiogeochemicAl Model for Hypoxic and Benthic Influenced areas).

An universal bidsificator of multi-modal datsets