Search
Now showing items 1-10 of 12
ARRAY2019_Media
(Technische Universität DresdenThe International Computer Music Association, 2019)
Editorial
For the 2019 issue of Array, we focus on the idea of “Agency” in electronic and computer music, explored through the artistic and theoretical reflections of composers, performers, engineers, and musicologists. ...
ARRAY2019_Magazine
(International Computer Music Association ICMA, 2019)
For the 2019 issue of Array, we focus on the idea of“Agency”in electronic and computer music, explored through the artistic and theoretical reflections of composers, performers, engineers, and musicologists.
How do ...
Benchmark dataset using historical images for an automated evaluation of feature matching methods
(Technische Universität Dresden, 2019)
Image dataset to the submitted ISPRS GSW2019 publication "Generation of a benchmark dataset using historical photographs for an automated evaluation of different feature matching methods". This dataset contains eight triples ...
Critical path analysis tool for heterogeneous applications (CASITA)
(Technische Universität Dresden, 2019)
CASITA is a tool for automatic analysis of OTF2 trace files that have been generated with Score-P. It determines program activities with high impact on the total program runtime and the load balancing. CASITA generates an ...
PRISM Probabilistic Model Checker extended by conditional probabilities, long-run averages and cumulative updates
(Technische Universität Dresden, 2021)
Source code of the probabilistic model checker PRISM (https://www.prismmodelchecker.org ) that includes all extensions developed for the thesis:
1) implementation of methods for conditional probabilities and expectations,
2) ...
Experiments and Results: Spinlock, PWCS, Circuit Design and Performance Evaluation of PRISM implementation
(Technische Universität Dresden, 2021)
This dataset contains the model files, queries, experiment setups, raw results and plots of the experiments: 1) analysis of the spinlock protocol, 2) analysis of the PWCS protocol, 3) analysis of the circuit designs for ...
complimentary data about Paper "Further Enhancing the in Situ Visualization of Performance Data in Parallel CFD Applications"
(Technische Universität Dresden, 2021)
complimentary data about Paper "Further Enhancing the in Situ Visualization of Performance Data in Parallel CFD Applications"
HistImage2021
(Technische Universität Dresden, 2021)
Supplementary image dataset of the ISPRS International Journal of Geoinformation publication "Fully Automated Pose Estimation of Historical Images in the Context of 4D Geographic Information Systems Utilizing Machine ...
Collective Rights Management Taxonomy
(Universität Leipzig, 2022)
Under the CRM-Directive (Directive 2014/26/EU), collective management organisations (CMOs) in the European Economic Area (EEA) must publish annual transparency reports.
These transparency reports allow for a deeper ...
Manually delineated glacier calving fronts of 23 Greenland and 2 Antarctic outlet glaciers from 2013 to 2021 and source code for automated extraction by deep learning
(Technische Universität Dresden, 2022)
Supplementary material to the manuscript: Loebel, E., Scheinert, M., Horwath, M., Heidler, K., Christmann, J., Phan, L., Humbert, A., Zhu, X. (2022): Extracting glacier calving fronts by deep learning: the benefit of ...