Publications related to Sound film

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

A sound diffusion system for directional sound enhancement

Hervé Lissek, Alain Dufaux, Xavier Falourd, Alexandre Delidais, Patrick Marmaroli, Baptiste Crettaz, Cédric Monchâtre

A loudspeaker array is described including several circular sound emitters that are bunked. One circular sound emitter can be either a circular array of loudspeakers (kind 1) or a toroidal loudspeaker (kind 2). The loudspeaker array can be composed of circ ...

André Roland S.A.2015

The Contributions of Sensory Dominance and Attentional Bias to Cross-modal Enhancement of Visual Cortex Excitability

Micah Murray

Approaching or looming sounds (L-sounds) have been shown to selectively increase visual cortex excitability [Romei, V., Murray, M. M., Cappe, C., & Thut, G. Preperceptual and stimulus-selective enhancement of low-level human visual cortex excitability by s ...

2013

Perception and Reproduction of Auditory Spatial Impression

Andreas Walther

As audio reproduction systems evolve to incorporate many loudspeakers, the potential to evoke faithful auditory spatial impressions increases. Psychoacoustic principles of auditory spatial perception, and methods for production and reproduction of acoustic ...

EPFL2013

Optimization of electroacoustic resonators for semi-active room equalization in the low-frequency range

Hervé Lissek, Etienne Thierry Jean-Luc Rivet

At low frequencies, standing waves within the room cause large frequency-response variations in the listening environment, such as audio rooms or recording studios. This unwanted phenomenon has a significant impact on the sound quality of an audio system. ...

2013

Acoustic Echoes Reveal Room Shape

Martin Vetterli, Yue Lu, Ivan Dokmanic, Reza Parhizkar, Andreas Walther

Imagine that you are blindfolded inside an unknown room. You snap your fingers and listen to the room’s response. Can you hear the shape of the room? Some people can do it naturally, but can we design computer algorithms that hear rooms? We show how to com ...

National Academy of Sciences2013

Robust Acoustic Source Localization of Emergency Signals from Micro Air Vehicles

Dario Floreano, Felix Stephan Schill, Meysam Basiri

In search and rescue missions, Micro Air Vehicles (MAV's) can assist rescuers to faster locate victims inside a large search area and to coordinate their efforts. Acoustic signals play an important role in outdoor rescue operations. Emergency whistles, as ...

2012

Conception acoustique de systèmes microtechniques

Jean-Daniel Lüthi

Considered as one of the most difficult complications in horology, the mechanical chiming watch, known as the striking watch, has today become one of the symbols of high craftsmanship. When it chimes the hour the sound of a striking watch must not only be ...

EPFL2011

Reproducing Sound Fields Using MIMO Acoustic Channel Inversion

Martin Vetterli, Mihailo Kolundzija, Christof Faller

Sound fields are essentially band-limited phenomena, both temporally and spatially. This implies that a spatially sampled sound field respecting the Nyquist criterion is effectively equivalent to its continuous original. We describe Sound Field Reconstruct ...

2011

Backtracking of Colloids: A Multiparticle Collision Dynamics Simulation Study

Giuseppe Foffi, Maxim Belushkin

The role of sound in the dynamics of mesoscale systems is typically neglected, since frequently the associated time scales are much smaller than all the other time scales of interest. However, for sufficiently small objects embedded in a solvent with a suf ...

2011

Spatiotemporal Gradient Analysis of Differential Microphone Arrays

Martin Vetterli, Mihailo Kolundzija, Christof Faller

The literature on gradient and differential microphone arrays makes a distinction between the two types, and nevertheless shows how both types can be used to obtain the same directional responses. A more theoretically sound rationale for using delays in di ...

2011