Lecture Notes in Computer Science

Journal Abbreviation: LECT NOTES ARTIF INT
ISSN: 0302-9743
Publisher: Springer Verlag

Publications (1002)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

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