Publications (159,315)

Search

Subtyping in Dependently-Typed Higher-Order Logic

Rothgang C, Rabe F (2026)

Conference contribution

AI-driven ECG diagnostics: A game-changer for hypertrophic cardiomyopathy. A systematic review and diagnostic test accuracy meta-analysis

Łajczak P, Righetto BB, Obi O, Wijaya P, Sahin OK, Eltawansy S, Salha I, et al. (2026)

Journal article, Review article

Innervation pattern of the anterolateral ligament (ALL) of the knee: Indication of an active role in proprioception and autonomic modulation

Arviza-Lorenzo P, Aragonés P, Valderrama-Canales FJ, Schicht M, Paulsen F, Tschernig T, Brockmeyer M, et al. (2026)

Journal article

Why boys cry and don't cry: The Contextual-Statistical (ConStat) approach to the perceived validity of generics

Hoorens V, Hermans F, Bruckmüller S (2026)

Journal article

ODExAI: A Comprehensive Object Detection Explainable AI Evaluation

Nguyen L, Nguyen HTT, Cao H (2026)

Conference contribution

A Human-in-the-Loop Approach for Improving Fairness in Predictive Business Process Monitoring

Käppel M, Neuberger J, Möhrlein F, Weinzierl S, Matzner M, Jablonski S (2026)

Conference contribution

Continuous removal of nanoplastics from industrial wastewater using electrophoretic deposition and particle-stabilized foam formation process

Abdeljaoued A, Ruiz BL, Tecle YE, Stenner P, Vogel N (2026)

Journal article

Methods and Technologies for Modularising Wire Harness Designs in the Automotive Industry

Warnecke J, Auchtor S, Bründl P, Franke J (2026)

Conference contribution

Optimization of hydration kinetics, phase development and mechanical properties of CAC in mix with calcite by addition of sodium hydroxide and citric acid

Rost P, Rößler C, Neubauer J, Götz-Neunhoeffer F (2026)

Journal article

AI-Driven Multisensor Quality Inspection: A Focus on Robotic Wire Harness Assembly

Hartmann A, Liu Z, Lamprecht S, Bründl P, Franke J (2026)

Conference contribution

‹ 1 ... 206 207 208 209 210 ... 15,932 ›