Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Entities in software development

Related publications (5)

ms3: A parser for MuseScore files, serving as data factory for annotated music corpora

Martin Alois Rohrmeier, Johannes Hentschel

The Python library ms3 makes scores (symbolic representations of music) operational for computational approaches by representing their contents as sets of tabular files. Music scores represent relations between sounding events by graphical means. The Free ...

2023

On algebraic array theories

Viktor Kuncak, Rodrigo Raya

Automatic verification of programs manipulating arrays relies on specialised decision procedures. A methodology to classify the theories handled by these procedures is introduced. It is based on decomposition theorems in the style of Feferman and Vaught. T ...

Elsevier Science Inc2023

Air-flow distortion bias factors of the port and starboard anemometers of the Akademik Tryoshnikov estimated during the Antarctic Circumnavigation Expedition (ACE) legs 0-4 undertaken during the austral summer of 2016/2017

Sara Oliveira Toscano, Julia Schmale, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract This data set contains the air-flow distortion bias factors of the port and starboard anemometers of the Akademik Tryoshnikov estimated during the Antarctic Circumnavigation Expedition (ACE) legs 0-4 undertaken during the ...

2020

One-minute average horizontal wind velocity data (which has been corrected for air-flow distortion) from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4

Julia Schmale, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract One-minute average horizontal wind velocity data from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4. The data has been filtered for spurious observations and the true wind correction has been redone ...

2020

One-minute average horizontal wind velocity data (not corrected for air-flow distortion) from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4

Julia Schmale, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract This dataset contains the one-minute average horizontal wind velocity data from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4. The data has been filtered for spurious observations and the true wind ...

2020