Department Informatik

Replication Package for "Detecting Unrealizable Bit Vector Program Synthesis Problems" (2024) Kamp M Other publication type, Forschungsdaten SmartCT - Development of AI based methods for automation of RoboCT scan procedures (2024) Sukowski F, Rauch D, Schielein R, Schön T, Waldyra A, Fries M, Maier A, et al. Journal article A systematic literature review of pre-requirements specification traceability (2024) Mucha J, Kaufmann A, Riehle D Journal article, Original article Gaitmap – An Open Ecosystem for IMU-based Human Gait Analysis and Algorithm Benchmarking (2024) Küderle A, Ullrich M, Roth N, Ollenschläger M, Ibrahim A, Moradi H, Richer R, et al. Journal article Machine learning based estimation of hoarseness severity using sustained vowelsa) (2024) Schraut T, Schützenberger A, Arias Vergara T, Kunduk M, Echternach M, Döllinger M Journal article Employing Polyhedral Methods to Optimize Stencils on FPGAs with Stencil-specific Caches, Data Reuse, and Wide Data Bursts (2024) Mayer F, Brandner J, Philippsen M Conference contribution, Conference Contribution A digital twin to overcome long-time challenges in photovoltaics (2024) Lüer L, Peters IM, Smith AS, Dorschky E, Eskofier B, Liers-Bergmann F, Franke J, et al. Journal article A Novel Method for Computing Minimal Cut Sets of Variant-Rich Systems in Fault Tree Analysis (2024) Dibaei Asl M, Arestova A, Hielscher KS, German R Conference contribution, Conference Contribution Software‐based method for automated intraoperative planning of Schoettle Point in surgical medial patellofemoral ligament reconstruction: A comparative validation study (2024) Privalov M, Kordon F, Kunze H, Beisemann N, Vetter SY, Franke J, Grützner PA, Swartman B Journal article High-Fidelity Zero-Shot Texture Anomaly Localization Using Feature Correspondence Analysis (2024) Ardelean AT, Weyrich T Conference contribution, Original article