Explore projects

forked from https://github.com/amtoine/dotfiles

This project contains gazebo simulations environment for use with ros2.

Plant segmentation for the farmbot.

Forked from https://github.com/arkworks-rs/poly-commit. Required as a dependency by https://gitlab.isae-supaero.fr/dragoon/pcs-fec-id.

This project contains gazebo simulations environment for use with ros2.

Implementation of bigraphs in Coq.

A deep learning auto-regressive method is trained to learn the acoustic propagation in presence of obstacles. The method is flexible to account for both far-fields prediction (non-reflecting cases) as well as duct acoustics (non-reflecting BCs).