Explore projects

A project investigating the invertability of random matrices over a finite field.

Cryptographically-proven Erasure Coding

crate: https://crates.io/crates/komodo mirror: https://github.com/dragoon-rs/komodo

Reproducibility study of a multiscale CNN used for modelling PDE's

A repository for our fork of Frama-C.

Ros2 packages

Effects of Boundary Conditions in Fully Convolutional Networks for Learning Spatio-temporal Dynamics

Nanospace Demonstration

[UPM] - Radiation module

[UC3M] activity profile tool designer

[Bordeaux INP] - connection between IDM and NSS