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.

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

webpage CANA team, LIS.

Convolutionnal neural networks for humpback whale vocalisations and delphinid whistles

Project Time Series analysis for the centuri summer school

This repository offers Convolutional Neural Networks (CNN) architectures along with pre-trained weights for the detection of acoustic signals from several cetacean species.

A python interface is also available in order to use them on your own data.

architectures and segmenting

Conda recipes for the skmad-suite packages

Distributed Algorithm Visualization and Simulation