Theorem Proving in Dependently-Typed Higher-Order Logic (2023) Rothgang C, Rabe F, Benzmüller C Conference contribution Practical Schnorr Threshold Signatures Without the Algebraic Group Model (2023) Chu TTH, Gerhart P, Ruffing T, Schröder D Conference contribution Optimization of OLAP In-Memory Database Management Systems with Processing-In-Memory Architecture (2023) Hosseinzadeh S, Parvaresh A, Fey D Conference contribution Kantorovich Functors and Characteristic Logics for Behavioural Distances (2023) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Noise2Contrast: Multi-contrast Fusion Enables Self-supervised Tomographic Image Denoising (2023) Wagner F, Thies M, Pfaff L, Maul N, Pechmann S, Gu M, Utz J, et al. Conference contribution Transient Hemodynamics Prediction Using an Efficient Octree-Based Deep Learning Model (2023) Maul N, Zinn K, Wagner F, Thies M, Rohleder M, Pfaff L, Kowarschik M, et al. Conference contribution Weighted and Branching Bisimilarities from Generalized Open Maps (2023) Dubut J, Wißmann T Conference contribution Self-supervised 3D Human Pose Estimation in Static Video via Neural Rendering (2023) Schmidtke L, Hou B, Vlontzos A, Kainz B Conference contribution Language Generalization Using Active Learning in the Context of Parkinson’s Disease Classification (2023) Moreno-Acevedo SA, Rios-Urrego CD, Vásquez-Correa JC, Rusz J, Nöth E, Orozco-Arroyave JR Conference contribution Self-supervised iRegNet for the Registration of Longitudinal Brain MRI of Diffuse Glioma Patients (2023) Zeineldin RA, Karar ME, Mathis-Ullrich F, Burgert O Conference contribution