Explore projects

FO-model checking of superlinear transductions with origin MSO interpretations, SSTs, pebbles transducers

Example Hugo site using GitLab Pages: https://pages.gitlab.io/hugo

Pytorch implementation of a CNN detector trained on the Actoustic Trends Blue Fin library dataset

Basic example for using davis

Bolsonaro project of QARMA non-permanents: deforesting random forest using OMP.

Consistence Faible Byzantine Pour le Cloud

This project contains the public version of the CALOR-DIAL corpus

Convolutionnal neural networks for humpback whale vocalisations and delphinid whistles