A survey of languages for formalizing mathematics (2020) Kaliszyk C, Rabe F Conference contribution Move Over There: One-Click Deformation Correction for Image Fusion During Endovascular Aortic Repair (2020) Breininger K, Pfister M, Kowarschik M, Maier A Conference contribution Combining Motivating Strategies with Design Concepts for Mobile Apps to Increase Usability for the Elderly and Alzheimer Patients (2020) Eichhorn C, Plecher DA, Lurz M, Leipold N, Böhm M, Krcmar H, Ott A, et al. Conference contribution Assessing the dysarthria level of parkinson’s disease patients with gmm-ubm supervectors using phonological posteriors and diadochokinetic exercises (2020) Miller GF, Vasquez Correa J, Nöth E Conference contribution Acoustic characteristics of vot in plosive consonants produced by parkinson’s patients (2020) Argüello-Vélez P, Arias-Vergara T, González-Rátiva MC, Orozco-Arroyave JR, Nöth E, Schuster ME Conference contribution Transfer learning to detect parkinson’s disease from speech in different languages using convolutional neural networks with layer freezing (2020) Rios-Urrego CD, Vasquez Correa J, Orozco Arroyave JR, Nöth E Conference contribution Towards a heterogeneous query language for mathematical knowledge (2020) Bercic K, Kohlhase M, Rabe F Conference contribution Are fast labeling methods reliable? a case study of computer-aided expert annotations on microscopy slides (2020) Marzahl C, Bertram CA, Aubreville M, Petrick A, Weiler K, Gläsel AC, Fragoso M, et al. Conference contribution Are Pathologist-Defined Labels Reproducible? Comparison of the TUPAC16 Mitotic Figure Dataset with an Alternative Set of Labels (2020) Bertram CA, Veta M, Marzahl C, Stathonikos N, Maier A, Klopfleisch R, Aubreville M Conference contribution User Experience of Alexa, Siri and Google Assistant When Controlling Music – Comparison of Four Questionnaires (2020) Brüggemeier B, Breiter M, Kurz M, Schiwy J Conference contribution