The Jazz Harmony Treebank

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The Jazz Harmony Treebank

Chat with Graph Search

Automated Formal Verification of Software Network Functions

Fishing for complements with chord, scale, and rhythm nets

Capturing Types

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

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

Automated Verification of Network Function Binaries

Scaling Language Features for Program Verification

A Formal Model of Extended Tonal Harmony

Modeling and Inferring Proto-Voice Structure in Free Polyphony

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

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

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

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

Transitions of Tonality: A Model-Based Corpus Study

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

Distant Neighbors and Interscalar Contiguities

Harmonic Syntax in Time: Rhythm Improves Grammatical Models of Harmony

Mitsuba 2: A Retargetable Forward and Inverse Renderer

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

QUASII: QUery-Aware Spatial Incremental Index