Publications associées à Johann Sebastian Bach – The Chorales

Publications associées (30)

Formal Verification of Just-in-Time Compilation

This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast e ...

Association for Computing Machinery2025

Computational modeling of interval distributions in tonal space reveals paradigmatic stylistic changes in Western music history

Martin Alois Rohrmeier, Fabian Claude Moss, Robert Lieck

Diachronic stylistic changes in music are to a large extent affected by composers' different choices, for example regarding the usage of tones, intervals, and harmonies. Analyzing the tonal content of pieces of music and observing them over time is thus in ...

Springernature2024

Data-Driven Music Theory: Curating and Investigating Large Corpora of Digitally Encoded Music Analyses

Johannes Hentschel

This dissertation on data-driven music theory is centered around curatorial practices concerning the creation, publication, and evaluation of large, expert-annotated symbolic datasets. With its primary interest in the harmony of European tonal music from i ...

EPFL2024

Nanoindentation hardness and modulus of Al2O3-SiO2-CaO and MnO-SiO2-FeO inclusions in iron

Eva Luisa Vogt, Jonathan Aristya Setyadji, Andreas Mortensen, Léa Deillon, Alejandra Inés Slagter, David Hernandez Escobar

Dataset corresponding to the following manuscript: Slagter, A., Setyadji, J.A., Vogt, E.L. et al. Nanoindentation Hardness and Modulus of Al2O3–SiO2–CaO and MnO–SiO2–FeO Inclusions in Iron. Metall Mater Trans A (2024). https://doi.org/10.1007/s11661-024-0 ...

Zenodo2024

Adaptive Recursive Query Optimization

Anastasia Ailamaki, Martin Odersky, Guillaume André Fradji Martres, Anna Patricia Herlihy

Performance-critical industrial applications, including large-scale program, network, and distributed system analyses, are increasingly reliant on recursive queries for data analysis. Yet traditional relational algebra-based query optimization techniques d ...

IEEE2024

Dataset for the evaluation of student-level outcomes of a primary school Computer Science curricular reform

Francesco Mondada, Barbara Bruno, Jessica Elke Dehler Zufferey, Laila Abdelsalam El-Hamamsy

The associated peer reviewed article that will appear in the International Journal of STEM education : El-Hamamsy, L., Bruno, B., Audrin, C., Chevalier, M., Avry S., Dehler Zufferey, J., and Mondada, F. (2023). How are Primary School Computer Science Curri ...

Zenodo2023

The Impact of Data Persistence Bias on Social Media Studies

Tugrulcan Elmas

Social media studies often collect data retrospectively to analyze public opinion. Social media data may decay over time and such decay may prevent the collection of the complete dataset. As a result, the collected dataset may differ from the complete data ...

Assoc Computing Machinery2023

A Functional Perspective on Information Measures

Amedeo Roberto Esposito

Since the birth of Information Theory, researchers have defined and exploited various information measures, as well as endowed them with operational meanings. Some were born as a "solution to a problem", like Shannon's Entropy and Mutual Information. Other ...

EPFL2022

Nothing New Under the Sun: Novelty Constructs and Measures in Social Studies

Davide Bavato

The concept of novelty is central to questions of creativity, innovation, and discovery. Despite the prominence in scientific inquiry and everyday discourse, there is a chronic ambiguity over its meaning and a surprising variety of empirical measures, whic ...

Emerald Publishing Limited2022

Evaluating objective measures of impairment to trunk strength and control for cross-country sit skiing

Benedikt Fasel

In Paralympic cross-country sit skiing, athlete classification is performed by an expert panel, so it may be affected by subjectivity. An evidence-based classification is required, in which objective measures of impairment must be identified. The purposes ...

SPRINGER LONDON LTD2021

Robustness of In-Laboratory and Daily-Life Gait Speed Measures over One Year in High Functioning 61-to 70-Year-Old Adults

Kamiar Aminian

Introduction: Gait speed is a simple and safe measure with strong predictive value for negative health outcomes in clinical practice, yet in-laboratory gait speed seems not representative for daily-life gait speed. This study aimed to investigate the inter ...

KARGER2021

Gaussian Multiplicative Chaos Through the Lens of the 2D Gaussian Free Field

Juhan Aru

The aim of this review-style paper is to provide a concise, self-contained and unified presentation of the construction and main properties of Gaussian multiplicative chaos (GMC) measures for log-correlated fields in 2D in the subcritical regime. By consid ...

POLYMAT2020

Understanding Applicants' Reactions to Asynchronous Video Interviews through Self-Reports and Nonverbal Cues

Daniel Gatica-Perez, Skanda Muralidhar

Asynchronous video interviews (AVIs) are increasingly used by organizations in their hiring process. In this mode of interviewing, the applicants are asked to record their responses to predefined interview questions using a webcam via an online platform. A ...

ACM2020

Relaxed Wyner's Common Information

Michael Christoph Gastpar, Erixhen Sula

In the problem of coded caching for media delivery, two separate coding opportunities have been identified. The first opportunity is a multi-user advantage and crucially hinges on a public broadcast link in the delivery phase. This has been explored in a p ...

IEEE2019

Quantifying Fano properties in self-assembled metamaterials

Olivier Martin

Fano resonances in metamaterials can be explained by the coupling between different modes sustained by the meta-atom. While the associated spectral features are usually quite easy to identify for top-down metamaterials, thanks to the deterministic arrangem ...

2019

The hamburger theorem

Jan Kyncl

We generalize the ham sandwich theorem to d +1 measures on R-d as follows. Let mu(1), mu(2),..., mu(d+1) be absolutely continuous finite Borel measures on R-d. Let omega(i) = mu(i) (R-d) for i is an element of [d + 1], omega = min{omega(i) : i is an elemen ...

Elsevier Science Bv2018

Modeling of a capacitive sensor dedicated to drug injection

Catherine Dehollain

to follow up patients who inject themselves insulin with injection pen is a quite complex task. Due to the repetition of injections, and the numerous influent parameter the patient can easily made an injection mistake and it is difficult for health-takers ...

IEEE2018

Analyse multi-échelle de n-grammes sur 200 années d'archives de presse

Vincent Christian Buntinx

The recent availability of large corpora of digitized texts over several centuries opens the way to new forms of studies on the evolution of languages. In this thesis, we study a corpus of 4 million press articles covering a period of 200 years. The thesis ...

EPFL2017

Towards a novel prediction model for visual interest in daylit renderings

Marilyne Andersen, María Lovísa Ámundadóttir, Siobhan Francois Rockcastle

In spaces where daylight is a primary source of illumination, our visual perception of architecture is largely influenced by the ephemeral composition of sunlight and shadow. To evaluate these perceptual effects, the authors will apply quantitative contras ...

ACM Digital Library2016

Emissions scenarios without measures 1990-2030

Philippe Thalmann, Marc Vielle

The goal of this study is to estimate the net impact of all measures implemented in the context of the Swiss energy and climate policies on CO2 emissions from combustion processes between 1990 and 2030. The study provides a projection of CO2 emissions unti ...

INFRAS EPFL2016