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

webpage CANA team, LIS.

This this ISTM, with some data for demo

DTOM with some data for test

this is MORSTS with some data for demo

Convolutionnal neural networks for humpback whale vocalisations and delphinid whistles

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

Extended Label Image Annotation Tool called Labelimge "labelImg.py" with variant cross-platforms required at least Python 3.6, opencv, and has been tested with PyQt 4.8, additionally achieves the object Detection & Multi-Tracking.

Bundled code for experiments reproducibility