Department Informatik

Uniform elgot iteration in foundations (2021) Goncharov S Conference contribution Carry-free Addition in Resistive RAM Array: n-bit Addition in 22 Memory Cycles (2021) Prabahar JR, Fey D Conference contribution Using Associative Classification and Odds Ratios for In-Hospital Mortality Risk Estimation (2021) Haas O, Maier A, Rothgang E Conference contribution, Conference Contribution Simulation of the part load behavior of combined heat pump-organic rankine cycle systems (2021) Eppinger B, Muradi M, Scharrer D, Zigan L, Bazan P, German R, Will S Journal article Data-Driven Speed-of-Sound Reconstruction for Medical Ultrasound: Impacts of Training Data Format and Imperfections on Convergence (2021) Khun Jush F, Dueppenbecker PM, Maier A Conference contribution Quantifying the separability of data classes in neural networks (2021) Schilling A, Maier A, Gerum R, Metzner C, Krauß P Journal article, Original article Emerging Computing Devices: Challenges and Opportunities for Test and Reliability* (2021) Bosio A, O'Connor I, Traiola M, Echavarria Gutiérrez JA, Teich J, Abdullah Hanif M, Shafique M, et al. Conference contribution, Original article Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication (2021) De Groot J, Litak TM, Pattinson D Conference contribution Behavioural Preorders via Graded Monads (2021) Ford M, Milius S, Schröder L Conference contribution Impact of intraepithelial capillary loops and atypical vessels in confocal laser endomicroscopy for the diagnosis of laryngeal and hypopharyngeal squamous cell carcinoma (2021) Sievert M, Eckstein M, Mantsopoulos K, Müller SK, Stelzle F, Aubreville M, Oetter N, et al. Journal article