Publications related to Branching (version control)

Ludwig van Beethoven - Piano Sonatas (A corpus of annotated scores)

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Johannes Hentschel, Ioannis Rammos

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Frédéric Chopin - Mazurkas (A corpus of annotated scores)

Martin Alois Rohrmeier, Johannes Hentschel, Markus Franz Josef Neuwirth, Ioannis Rammos

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Claude Debussy - Suite Bergamasque (A corpus of annotated scores)

Martin Alois Rohrmeier, Johannes Hentschel, Markus Franz Josef Neuwirth, Ioannis Rammos

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Antonín Dvořák (A corpus of annotated scores)

Martin Alois Rohrmeier, Johannes Hentschel, Markus Franz Josef Neuwirth, Ioannis Rammos

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Franz Liszt - Années de Pèlerinage (A corpus of annotated scores)

Martin Alois Rohrmeier, Johannes Hentschel, Markus Franz Josef Neuwirth, Ioannis Rammos

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Edvard Grieg - Lyric Pieces (A corpus of annotated scores)

Martin Alois Rohrmeier, Johannes Hentschel, Markus Franz Josef Neuwirth, Ioannis Rammos

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Robert Schumann - Kinderszenen (A corpus of annotated scores)

Martin Alois Rohrmeier, Johannes Hentschel, Markus Franz Josef Neuwirth, Ioannis Rammos

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Nikolai Medtner - Tales (A corpus of annotated scores)

Martin Alois Rohrmeier, Johannes Hentschel, Markus Franz Josef Neuwirth, Ioannis Rammos

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Real-Time Nonlinear Model Predictive Control for Fast Mechatronic Systems

Petr Listov

This thesis presents an efficient and extensible numerical software framework for real-time model-based control. We are motivated by complex and challenging mechatronic applications spanning from flight control of fixed-wing aircraft and thrust vector cont ...

EPFL2022

A semi-automated workflow paradigm for the distributed creation and curation of expert annotations

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Fabian Claude Moss, Johannes Hentschel

The creation and curation of labeled datasets can be an arduous, expensive, and time-consuming task. We introduce a workflow paradigm for remote consensus-building between expert annotators, while considerably reducing the associated administrative overhea ...

2021

Ultra-high-resolution software-defined photonic terahertz spectroscopy

Gabriel Aeppli

A novel technique for high-resolution 1.5 mu m photonics-enabled terahertz (THz) spectroscopy using software control of the illumination spectral line shape (SLS) is presented. The technique enhances the performance of a continuous-wave THz spectrometer to ...

2020

When illusions merge

Michael Herzog, Gregory Francis, Aline Françoise Cretenoud

We recently found only weak correlations between the susceptibility to various visual illusions. However, we observed strong correlations among different variants of an illusion, suggesting that the visual space of illusions includes several illusion-speci ...

Association for Research in Vision and Ophthalmology2020

Software training for the next generation of physicists: joint experience of LHCb and ALICE

Violaine Bellée

The need for good software training is essential in the HEP community. Unfortunately, current training is non -homogeneous and the definition of a common baseline is unclear, making it difficult for newcomers to proficiently join large collaborations such ...

E D P SCIENCES2019

Architecture-based Design: A Satellite On-board Software Case Study

Simon Bliudze, Joseph Sifakis, Anton Ivanov, Anastasia Mavridou

In this case study, we apply the architecture-based design approach to the control software of the CubETH satellite. Architectures are a means for ensuring global coordination properties and thus, achieving correctness of complex systems by construction. T ...

Springer2016

Efficient Testing of Recovery Code Using Fault Injection

George Candea

A critical part of developing a reliable software system is testing its recovery code. This code is traditionally difficult to test in the lab, and, in the field, it rarely gets to run; yet, when it does run, it must execute flawlessly in order to recover ...

2011

An Extensible Technique for High-Precision Testing of Recovery Code

George Candea, Radu Banabic

Thorough testing of software systems requires ways to productively employ fault injection. We describe a technique for automatically identifying the errors exposed by shared libraries, finding good injection targets in program binaries, and producing corre ...

2010