Publications associées à Cinéma sonore

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...

2024

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in orthologic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based pro ...

Springer International Publishing Ag2024

Observation of non-reciprocal harmonic conversion in real sounds

Romain Christophe Rémy Fleury, Hervé Lissek, Xinxin Guo

Reciprocity guarantees that in most media, sound transmission is symmetric between two points of space when the location of the source and receiver are interchanged. This fundamental law can be broken in non-linear media, often at the cost of detrimental i ...

2023

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

EPFL2023

Electrical Signal Modeling in Cochlear Implants. Study of Temperature and Humidity Effects

Maria-Alexandra Paun

The present paper discusses the climatic effects of humidity and temperature on cochlear implant functioning and the quality of the electrical sound signal. MATLAB Simulink simulations were prepared, offering insights into signal behavior under such climat ...

MDPI2021

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

Low frequency sound field reconstruction in a non-rectangular room using a small number of microphones

Hervé Lissek, Vu Thach Pham

An accurate knowledge of the sound field distribution inside a room is required to identify and optimally locate corrective measures for room acoustics. However, the spatial recovery of the sound field would result in an impractically high number of microp ...

2020

Neural encoding of auditory features during music perception and imagery

José del Rocio Millán Ruiz, Stéphanie Martin

Despite many behavioral and neuroimaging investigations, it remains unclear how the human cortex represents spectrotemporal sound features during auditory imagery, and how this representation compares to auditory perception. To assess this, we recorded ele ...

2018

Room Modal Equalisation with Electroacoustic Absorbers

Etienne Thierry Jean-Luc Rivet

The sound quality in a room is of fundamental importance for both recording and reproducing processes. Because of the room modes, the distributions in space and frequency of the sound field are largely altered. Excessive rise and decay times caused by the ...

EPFL2016

Dynamic Range Limiting of HRTFs: Principle and Objective evaluation

Hervé Lissek, Patrick Marmaroli, Gilles André Courtois, Lukas Rohr

This research addresses the challenge of incorporating dynamic range limiting of the magnitude response of HRTFs for hearing-impaired listeners who are using binaural hearing aids. In this application, a direct implementation of spatialization using the or ...

2016