Reusing Learning Objects via Theory Morphisms (2024) Kohlhase M, Schütz M Conference contribution Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras (2024) Forster J, Schröder L, Wild P, Beohar H, Gurke S, Messing K Conference contribution Finding Argument Fragments on Social Media with Corpus Queries and LLMs (2024) Dykes N, Evert S, Heinrich P, Humml M, Schröder L Conference contribution Computer Classification of Linear Codes Based on Lattice Point Enumeration (2024) Kurz S, Kurz S Conference contribution Monoidal Extended Stone Duality (2024) Birkmann F, Urbat H, Milius S Conference contribution A Realistic Collimated X-Ray Image Simulation Pipeline (2024) El-Zein B, Eckert D, Weber T, Rohleder M, Ritschl L, Kappler S, Maier A Conference contribution LesionMix: A Lesion-Level Data Augmentation Method for Medical Image Segmentation (2024) Basaran BD, Zhang W, Qiao M, Kainz B, Matthews PM, Bai W Conference contribution Generic Model Checking for Modal Fixpoint Logics in COOL-MC (2024) Hausmann D, Humml M, Prucker S, Schröder L, Strahlberger A Conference contribution HOOREX: Higher Order Optimizers for 3D Recovery from X-Ray Images (2024) Shetty K, Birkhold A, Egger B, Jaganathan S, Strobel N, Kowarschik M, Maier A Conference contribution Speed-of-Sound Mapping for Pulse-Echo Ultrasound Raw Data Using Linked-Autoencoders (2024) Khun Jush F, Dueppenbecker PM, Maier A Conference contribution