Lecture Notes in Computer Science
Journal Abbreviation: LECT NOTES ARTIF INT
ISSN: 0302-9743
Publisher: Springer Verlag
Publications (1002)
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
Coping with Data Distribution Shifts: XAI-Based Adaptive Learning with SHAP Clustering for Energy Consumption Prediction (2024)
Clement T, Nguyen Truong Thanh H, Kemmerzell N, Abdelaal M, Stjelja D
Conference contribution
Realistic Data Enrichment for Robust Image Segmentation in Histopathology (2024)
Cechnicka S, Ball J, Reynaud H, Arthurs C, Roufosse C, Kainz B
Conference contribution, Original article
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
A Logical Framework Perspective on Conservativity (2024)
Rabe F
Conference contribution