Publications associées à Implementation of a binaural localization algorithm in hearing aids: Specifications and achievable solutions

Hearing structure in music: An empirical inquiry into listening as representation and processing

As a universal expression of human creativity, music is capable of conveying great subtlety and complexity. Crucially, this complexity is not encoded in the score or in the sounds, but is rather construed in the mind of the listener in the form of nuanced ...

EPFL2024

Multimodal transcriptomic atlases of mouse spinal cord injury

Matthieu Pierre Gautier

A spinal cord injury (SCI) triggers a cascade of molecular and cellular responses involving inflammatory cell infiltration and cytokine release, apoptosis, demyelination, excitotoxicity, ischemia, and the formation of a fibrotic scar surrounded by an astro ...

EPFL2024

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

Type inference in the presence of first-class or "impredicative" second-order polymorphism a la System F has been an active research area for several decades, with original works dating back to the end of the 80s. Yet, until now many basic problems remain ...

Assoc Computing Machinery2024

Formal Foundations of Capture Tracking

Aleksander Slawomir Boruch-Gruszecki

Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...

EPFL2024

Aggregating Spatial and Photometric Context for Photometric Stereo

David Honzátko

Photometric stereo, a computer vision technique for estimating the 3D shape of objects through images captured under varying illumination conditions, has been a topic of research for nearly four decades. In its general formulation, photometric stereo is an ...

EPFL2024

Between the Pattern and the Type: A short parallel story

Vasileios Chanis

Historically speaking, the notion of the type was reintroduced to the larger architectural discourse as a direct consequence of the crisis of the Modern. The task of revisiting the forms of the past also dictated the return of architectural methods that ha ...

2023

Long-Term Hearing Outcome After Radiosurgery for Vestibular Schwannoma: A Systematic Review and Meta-Analysis

Constantin Tuleasca, Adrien Jean Régis Maurice Hilaire

BACKGROUND: Stereotactic radiosurgery (SRS) is one of the main treatment options in the management of small to medium size vestibular schwannomas (VSs), because of high tumor control rate and low cranial nerves morbidity. Series reporting long-term hearing ...

LIPPINCOTT WILLIAMS & WILKINS2023

Regulation and function of a hemicleaved Activin-A processing intermediate in melanoma

Manon Bulliard

Activin-A is a Transforming Growth Factor-B (TGFB)-related cytokine that regulates various biological processes including cell proliferation and differentiation through autocrine, paracrine or endocrine signaling. Activin-A expression is upregulated in mul ...

EPFL2023

Capturing Types

Martin Odersky, Ondrej Lhoták, Aleksander Slawomir Boruch-Gruszecki

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

Hardware Implementation of Digital Signal Processing Algorithms for Programmable Epilepsy Control Systems

Keyvan Farhang Razi

Epilepsy is a common chronic neurological disorder that causes recurring seizures and affects more than 50 million people worldwide. Implantable medical devices (IMDs) are regarded as effective tools to cure patients who suffer from refractory epilepsy. Se ...

EPFL2023

From Nano to Macro An overview of the IEEE Bio Image and Signal Processing Technical Committee

Michael Stefan Daniel Liebling, Michaël Unser, Dimitri Nestor Alice Van De Ville

The Bio Image and Signal Processing (BISP) Technical Committee (TC) of the IEEE Signal Processing Society (SPS) promotes activities within the broad technical field of biomedical image and signal processing. Areas of interest include medical and biological ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

The role of secondary ice production in mixed-phase clouds

Paraskevi Georgakaki

Clouds are omnipresent in the Earth's atmosphere. Their phase composition significantly modulates their interaction with solar and terrestrial radiation, as well as precipitation formation. Particularly for clouds containing both phases, known as mixed-pha ...

EPFL2023

Auditory externalization of a remote microphone signal

Vincent Pierre Olivier Grimaldi

A remote microphone (RM) system can be used in combination with wearable binaural communication devices, such as hearing aids (HAs), to improve speech intelligibility. Typically, a speaker is equipped with a body-worn microphone which enables to pick up th ...

EPFL2022

Studies on Types: Dormitories

Estelle Lépine, Tiago André Pratas Borges, Anja Fröhlich, Vanessa Pointet

Concepts of type and typology are not specific to architecture. Rather they represent an interdisciplinary approach to ordering knowledge and gaining insight. In the field of architecture, the study of types and typology offers a didactic perspective that ...

EPFL Press2022

The concept of axial weak twins

Cyril Cayron

It is generally assumed that the parent-twin interface is a fully invariant plane. The calculations of the rational interfaces of the type I twins and irrational interfaces of the type II twins are based on this hypothesis. Recently, some asymmetric facets ...

PERGAMON-ELSEVIER SCIENCE LTD2022

An Exploratory Study of Reactions to Bot Comments on GitHub

Denis Gillet, Sandy Ingram, Juan Carlos Farah, Xinyang Lu

The widespread use of bots to support software development makes social coding platforms such as GitHub a particularly rich source of data for the study of human-bot interaction. Software development bots are used to automate repetitive tasks, interacting ...

ACM2022

Towards elucidating the structural and cellular determinants of a-synuclein seeding and toxicity

Somanath Jagannath

Although it has been nearly two and half decades since the discovery of alpha-synuclein (aSyn) as the major component of Lewy bodies (LBs), our understanding of the involvement of different aSyn species, their seeding, spreading and toxicity in Parkinson's ...

EPFL2022

Human Head Yaw Estimation based on Two 3-axis Accelerometers

Hervé Lissek, Gilles André Courtois, Vincent Pierre Olivier Grimaldi

The estimation of the orientation of an object, and a human head in particular, can be defined by the Euler angles: the yaw, pitch and roll. The robust and drift-free estimation of those angles is usually achieved with the data from several sensors such as ...

2022

Steel Sheet Sheathed Cold-Formed Steel Framed In-line Wall Systems. I: Impact of Structural Detailing

Fani Derveni

The North American construction industry has seen substantial growth in the use of cold-formed steel (CFS) framing for midrise buildings in recent years. In seismic zones, CFS-framed buildings utilize shear walls to provide the primary lateral resistance t ...

ASCE-AMER SOC CIVIL ENGINEERS2022

Differentiable Physically Based Rendering: Algorithms, Systems and Applications

Merlin Eléazar Nimier-David

Physically based rendering methods can create photorealistic images by simulating the propagation and interaction of light in a virtual scene. Given a scene description including the shape of objects, participating media, material properties, etc., the sim ...

EPFL2022