Johann Sebastian Bach – The Chorales

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Using a comprehensive sample of trades from Schedule 13D filings by activist investors, we study how measures of adverse selection respond to informed trading. We find that on days when activists accumulate shares, measures of adverse selection and of stoc ...

Johann Sebastian Bach – The Chorales

Chat with Graph Search

Formal Verification of Just-in-Time Compilation

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

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

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

Adaptive Recursive Query Optimization

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

The Impact of Data Persistence Bias on Social Media Studies

A Functional Perspective on Information Measures

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

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

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

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

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

Relaxed Wyner's Common Information

The hamburger theorem

Modeling of a capacitive sensor dedicated to drug injection

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

Towards a novel prediction model for visual interest in daylit renderings

Emissions scenarios without measures 1990-2030

Do Prices Reveal the Presence of Informed Trading?