Concept
Sound effect
Publications associées (81)
Type-Preserving Compilation of Class-Based Languages
Guillaume André Fradji Martres
The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is ...
EPFL2023Ultrabroadband sound control with deep-subwavelength plasmacoustic metalayers
Romain Christophe Rémy Fleury, Hervé Lissek, Stanislav Sergeev
Controlling audible sound requires inherently broadband and subwavelength acoustic solutions, which are to date, crucially missing. This includes current noise absorption methods, such as porous materials or acoustic resonators, which are typically ineffic ...
2023PID-like active impedance control for electroacoustic resonators to design tunable single-degree-of-freedom sound absorbers
Hervé Lissek, Maxime Volery, Xinxin Guo
Sound absorption at low frequencies still remains a challenge in both scientific research and engineering practice. Natural porous materials are ineffective in this frequency range, as well as acoustic resonators which present too narrow bandwidth of absor ...
2022Type-preserving compilation of (most of) FGJ into DOT
Guillaume André Fradji Martres
The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. This impedance mismatch means that a proof of DOT soundness by itself is not e ...
2022DG-Mix: Domain Generalization for Anomalous Sound Detection Based on Self-Supervised Learning
Olga Fink, Ismail Nejjar, Gaëtan Michel Frusque
Detecting anomalies in sound data has recently received significant attention due to the increasing number of implementations of sound condition monitoring solutions for critical assets. In this context, changing operating conditions impose significant dom ...
2022Sound and Complete Verification of Polynomial Networks
Volkan Cevher, Grigorios Chrysos, Fanghui Liu, Elias Abad Rocamora, Mehmet Fatih Sahin
Polynomial Networks (PNs) have demonstrated promising performance on face and image recognition recently. However, robustness of PNs is unclear and thus obtaining certificates becomes imperative for enabling their adoption in real-world applications. Exist ...
2022