Department Informatik

Coupling fully resolved light particles with the lattice Boltzmann method on adaptively refined grids (2021) Werner L, Rettinger C, Rüde U Journal article Fault-Tolerant Low-Precision DNNs using Explainable AI (2021) Sabih M, Hannig F, Teich J Conference contribution, Conference Contribution Estimating TOA Reliability with Variational Autoencoders (2021) Stahlke M, Kram S, Ott F, Feigl T, Mutschler C Journal article, Original article Nominal Büchi Automata with Name Allocation (2021) Urbat H, Hausmann D, Milius S, Schröder L Conference contribution Explaining Behavioural Inequivalence Generically in Quasilinear Time (2021) Wißmann T, Milius S, Schröder L Conference contribution Syntactic Minimization of Nondeterministic Finite Automata (2021) Myers RS, Urbat H Conference contribution A Linear-Time Nominal μ-Calculus with Name Allocation (2021) Hausmann D, Milius S, Schröder L Conference contribution Electromagnets for an endoscopic anastomosis tool in the colon (2021) Steger J, Zimmermann A, Wittenberg T, Wilhelm D Journal article Analyzing the Charging Flexibility Potential of Different Electric Vehicle Fleets Using Real-World Charging Data (2021) Barthel V, Schlund J, Landes P, Brandmeier V, Pruckner M Journal article ORCA-SLANG: An Automatic Multi-Stage Semi-Supervised Deep Learning Framework for Large-Scale Killer Whale Call Type Identification (2021) Bergler C, Schmitt M, Maier A, Symonds H, Spong P, Ness S, Tzanetakis G, Nöth E Conference contribution, Original article