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 Prototyping Controlled Mathematical Languages in Jupyter Notebooks (2020) Schäfer JF, Amann K, Kohlhase M Conference contribution Risk Assessment of Vehicle Sensor Data as a Vending Object or Service (2020) Bodendorf F, Franke J Conference contribution Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas (2020) König B, Mika-Michalski C, Schröder L Conference contribution Database Semantics for Talking Autonomous Robots (2020) Hausser R Conference contribution Logic-Independent Proof Search in Logical Frameworks: (Short Paper) (2020) Kohlhase M, Rabe F, Sacerdoti Coen C, Schäfer JF Conference contribution ForeSight - An AI-driven Smart Living Platform, Approach to Add Access Control to openHAB (2020) Bauer J, Hechtel M, Konrad C, Holzwarth M, Hoffmann H, Feld T, Schneider S, et al. Conference contribution Understanding HPC benchmark performance on intel broadwell and cascade lake processors (2020) Alappat C, Hofmann J, Hager G, Fehske H, Bishop AR, Wellein G Conference contribution