Department Informatik

Quantitative Hennessy-Milner Theorems via Notions of Density (2023) Forster J, Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Clinical prototype implementation enabling an improved day-to-day mammography compression (2023) Hertel M, Liu C, Song H, Golatta M, Kappler S, Nanke R, Radicke M, et al. Journal article Mitosis domain generalization in histopathology images — The MIDOG challenge (2023) Aubreville M, Stathonikos N, Bertram CA, Klopfleisch R, ter Hoeve N, Ciompi F, Wilm F, et al. Journal article Künstliche Intelligenz als Marktteilnehmer – Technische Möglichkeiten (2023) Maier A, Bayer S Book chapter / Article in edited volumes Acquisition- and Reconstruction-Techniques for Sodium Quantification in the Skeletal Muscle using Sodium Magnetic Resonance Imaging (23Na MRI) (2023) Utzschneider M Thesis Obstacle Fusion and Scene Interpretation for Autonomous Driving with Occupancy Grids (2023) Seeger C Thesis Throughput and Memory Optimization for Parallel Implementations of Dataflow Networks using Multi-Reader Buffers (2023) Letras M, Falk J, Teich J Conference contribution, Original article Comparison of free-surface and conservative Allen–Cahn phase-field lattice Boltzmann method (2023) Schwarzmeier C, Holzer M, Mitchell T, Lehmann M, Häusl F, Rüde U Journal article Performance of Continuous Hydrogen Production from Perhydro Benzyltoluene by Catalytic Distillation and Heat Integration Concepts with a Fuel Cell (2023) Rüde T, Lu Y, Anschuetz L, Blasius M, Wolf M, Preuster P, Wasserscheid P, Geißelbrecht M Journal article Analysis and comparison of boundary condition variants in the free‐surface lattice Boltzmann method (2023) Schwarzmeier C, Rüde U Journal article