Concept

Sound film

Related publications (48)

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

Cham2024

Inverse Problems in Pulse-Echo Ultrasound: Exploiting Coherence for Image Enhancement and Quantitative Imaging

Samuel Denys Beuret

Whereas pulse-echo ultrasound imaging relied on focused acoustic waves since its inception, the last two decades have seen the development of techniques based on unfocused waves, including ultrafast ultrasound imaging. In large part due to the emergence of ...

EPFL2024

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

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

Guillaume André Fradji Martres

2022

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

Bentonite clay barriers in nuclear waste repositories

Lyesse Laloui, Alessio Ferrari, Jose Antonio Bosch Llufriu

Deep disposal of high-level radioactive waste is the preferred solution worldwide for the long-term disposal of nuclear waste. This concept involves a series of geological and engineered barriers that provide isolation of the waste from the biosphere. Most ...

EDP SCIENCES2020

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.