Concept
Design sonore
Publications associées (32)
Ultrabroadband 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 ...
2023Type-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 ...
EPFL2023Sound and Complete Verification of Polynomial Networks
Volkan Cevher, Grigorios Chrysos, Fanghui Liu, Mehmet Fatih Sahin, Elias Abad Rocamora
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 ...
2022Experimental History and the History of Experience: Reconstructing the Scientific Expeditions of the 1770s to Mont Buet
On September 20, 1770, the brothers Jean-André and Guillaume-Antoine Deluc, two scientists from Geneva, finally reached the summit of Mont Buet (3096m) after two unsuccessful attempts. From this vantage point overlooking the Alps and Mont Blanc, they perfo ...
2022