Implementing Hybrid Semantics: From Functional to Imperative (2020) Goncharov S, Neves R, Proença J Conference contribution Deep Recurrent Partial Fourier Reconstruction in Diffusion MRI (2020) Gadjimuradov F, Benkert T, Nickel MD, Maier A Conference contribution 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