Concept

Sound effect

Publications associées (81)

Type-Preserving Compilation of Class-Based Languages

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 ...

EPFL2023

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 ...

2023

PID-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 ...

2022

Type-preserving compilation of (most of) FGJ into DOT

Guillaume André Fradji Martres

2022

DG-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 ...

2022

Sound 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

Sound Field Reconstruction in a room through Sparse Recovery and its application in Room Modal Equalization

Vu Thach Pham

The acoustics of a room often refer to the quality of the room in terms of sound recording as well as sound reproduction. At low frequencies, where the wavelengths are of the same order of magnitude with the dimensions of the room, due to the standing wav ...

EPFL2021

The influence of anodal transcranial direct current stimulation over the right auditory cortex on interference effects in memory for melodies

Steffen Alexander Herff

The study investigates how transcranial direct current stimulation (tDCS) over the auditory cortex (AC) modulates memory for melodies under different noise conditions, whilst also considering cumulative disruptive interference effects. Forty-one participan ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2021

Topological optomechanically induced transparency

Romain Christophe Rémy Fleury, Farzad Zangeneh Nejad

The interaction of optical and mechanical degrees of freedom can lead to several interesting effects. A prominent example is the phenomenon of optomechanically induced transparency (OMIT), in which mechanical movements induce a narrow transparency window i ...

2020

Good Vibrations and Unknown Excitations

Dalia Salem Hassan Fahmy El Badawy

Inspired by the human ability to localize sounds, even with only one ear, as well as to recognize objects using active echolocation, we investigate the role of sound scattering and prior knowledge in regularizing ill-posed inverse problems in acoustics. In ...

EPFL2020

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search