Publications associées à The Jazz Harmony Treebank

Automated Formal Verification of Software Network Functions

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Fishing for complements with chord, scale, and rhythm nets

Daniel Harasim

The aim of this paper is to argue that complementation is an operation similarly fundamental to music theory as transposition and inversion. We focus on studying the chromatic complement mapping that translates diatonic seventh chords into 8-note scales wh ...

TAYLOR & FRANCIS LTD2023

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

Hearing functional harmony in jazz: A perceptual study on music-theoretical accounts of extended tonality

Martin Alois Rohrmeier, Christoph Finkensiep, Daniel Harasim, Gabriele Cecchetti, Steffen Alexander Herff

Functional harmony is an integral part of many repertoires in the Western musical practices, including both diatonic and extended tonality. In the latter context, music-theoretical accounts suggest that the three octatonic equivalence classes (OECs) consis ...

SAGE PUBLICATIONS LTD2022

Musical Garden Paths: Evidence for Syntactic Revision Beyond the Linguistic Domain

Martin Alois Rohrmeier, Gabriele Cecchetti, Steffen Alexander Herff

While theoretical and empirical insights suggest that the capacity to represent and process complex syntax is crucial in language as well as other domains, it is still unclear whether specific parsing mechanisms are also shared across domains. Focusing on ...

Wiley2022

Automated Verification of Network Function Binaries

George Candea, Aikaterini Argyraki, Solal Vincenzo Pirelli

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

A Formal Model of Extended Tonal Harmony

Martin Alois Rohrmeier, Fabian Claude Moss

Extended tonality is a central system that characterizes the music from the 19th up to the 21st century, including styles like popular music, film music or Jazz. Developing from classical major-minor tonality, the harmonic language of extended tonality for ...

2021

Modeling and Inferring Proto-Voice Structure in Free Polyphony

Martin Alois Rohrmeier, Christoph Finkensiep

Voice leading is considered to play an important role in the structure of Western tonal music. However, the explicit voice assignment of a piece (if present at all) generally does not reflect all phenomena related to voice leading. Instead, voice-leading p ...

ISMIR2021

From vesicles to materials: bioinspired strategies for fabricating hierarchically structured soft matter

Esther Amstad

Certain organisms including species of mollusks, polychaetes, onychophorans and arthropods produce exceptional polymeric materials outside their bodies under ambient conditions using concentrated fluid protein precursors. While much is understood about the ...

ROYAL SOC2021

The Learnability of the Grammar of Jazz: Bayesian Inference of Hierarchical Structures in Harmony

Daniel Harasim

Musical grammar describes a set of principles that are used to understand and interpret the structure of a piece according to a musical style. The main topic of this study is grammar induction for harmony --- the process of learning structural principles f ...

EPFL2020

A framework to automate the design of digitally-fabricated timber plate structures

Yves Weinand, Aryan Rezaei Rad, Henry V. Burton, Petras Vestartas, Nicolas Henry Pierre Louis Rogeau

The current study uses knowledge from digital architecture, computer science, engineering informatics, and structural engineering to formulate an algorithmic framework for integrated Computer-Aided Design (CAD) and Computer-Aided Engineering (CAE) of Integ ...

2021

The pleasantness of sensory dissonance is mediated by musical style and expertise

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Fabian Claude Moss, Tudor Popescu

Western musical styles use a large variety of chords and vertical sonorities. Based on objective acoustical properties, chords can be situated on a dissonant-consonant continuum. While this might to some extent converge with the unpleasant-pleasant continu ...

Nature Research2019

Transitions of Tonality: A Model-Based Corpus Study

Fabian Claude Moss

Tonality has been the cornerstone of Western music-theoretical discourse for centuries. This study addresses the subject, using traditional music analysis, data-driven corpus methods, and computational models, concentrating on historical changes of tonalit ...

EPFL2019

Statistical characteristics of tonal harmony: A corpus study of Beethoven’s string quartets

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Daniel Harasim, Fabian Claude Moss

Tonal harmony is one of the central organization systems of Western music. This article characterizes the statistical foundations of tonal harmony based on the computational analysis of expert annotations in a large corpus. Using resampling methods, this s ...

2019

Distant Neighbors and Interscalar Contiguities

Martin Alois Rohrmeier, Daniel Harasim

This paper studies the "integration" problem of nineteenth- century harmony the question whether the novel chromatic chord transitions in this time are a radical break from or a natural extension of the conventional diatonic system. We examine the connecti ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

Harmonic Syntax in Time: Rhythm Improves Grammatical Models of Harmony

Martin Alois Rohrmeier, Daniel Harasim

Music is hierarchically structured, both in how it is perceived by listeners and how it is composed. Such structure can be elegantly captured using probabilistic grammatical models similar to those used to study natural language. They address the complexit ...

ISMIR2019

Mitsuba 2: A Retargetable Forward and Inverse Renderer

Merlin Eléazar Nimier-David, Wenzel Alban Jakob, Tizian Lucien Zeltner, Delio Aleardo Vicini

Modern rendering systems are confronted with a dauntingly large and growing set of requirements: in their pursuit of realism, physically based techniques must increasingly account for intricate properties of light, such as its spectral composition or polar ...

ASSOC COMPUTING MACHINERY2019

A template for constructing Bayesian networks in forensic biology cases when considering activity level propositions

Christophe Champod, Alex Biedermann

The hierarchy of propositions has been accepted amongst the forensic science community for some time. It is also accepted that the higher up the hierarchy the propositions are, against which the scientist are competent to evaluate their results, the more d ...

2018

QUASII: QUery-Aware Spatial Incremental Index

Anastasia Ailamaki, Thomas Heinis, Mirjana Pavlovic, Darius Sidlauskas

With large-scale simulations of increasingly detailed models and improvement of data acquisition technologies, massive amounts of data are easily and quickly created and collected. Traditional systems require indexes to be built before analytic queries can ...

2018