Picture for Benjamin Martin

Benjamin Martin

LIX, Ecole Polytechnique, CNRS, Université Paris-Saclay

Music Augmentation and Denoising For Peak-Based Audio Fingerprinting

Add code
Oct 29, 2023
Figure 1 for Music Augmentation and Denoising For Peak-Based Audio Fingerprinting
Figure 2 for Music Augmentation and Denoising For Peak-Based Audio Fingerprinting
Figure 3 for Music Augmentation and Denoising For Peak-Based Audio Fingerprinting
Figure 4 for Music Augmentation and Denoising For Peak-Based Audio Fingerprinting
Viaarxiv icon

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System

Add code
Sep 08, 2017
Figure 1 for Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Figure 2 for Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Figure 3 for Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Figure 4 for Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Viaarxiv icon