Department Informatik

The Dependently Typed Higher-Order Form for the TPTP World (2026) Ranalter D, Kaliszyk C, Rabe F, Sutcliffe G Conference contribution Subtyping in Dependently-Typed Higher-Order Logic (2026) Rothgang C, Rabe F Conference contribution Verb Motility Dynamics Reveals Cognitive Impairment in Parkinson’s Disease: A Speech-Language Fusion Approach (2026) Mercado-Agudelo JF, Escobar-Grisales D, Ríos-Urrego CD, García AM, Bocanegra Y, Moreno L, Nöth E, Orozco-Arroyave JR Conference contribution Audio–Vision Contrastive Learning for Phonological Class Recognition (2026) Liu D, Arias-Vergara T, Hutter J, Maier A, Perez Toro PA Conference contribution Dynamically Adaptable Ensemble Proxies for Training-Free Neural Architecture Search (2026) Heidorn C, Herderich T, Teich J Conference contribution, Conference Contribution Early-Exit Neural Architecture Search for Energy-Harvesting Edge Computing (2025) Sixdenier PL, Deutel M, Teich J Conference contribution, Original article Unsupervised Learning of Variational Autoencoders on Cortex-M Microcontrollers (2025) Deutel M, Plinge A, Seuss D, Mutschler C, Hannig F, Teich J Conference contribution, Conference Contribution Spectral Analysis of Light-Adapted Electroretinograms in Neurodevelopmental Disorders: Classification with Machine Learning (2025) Constable P, Pinzon-Arenas JO, Mercado Diaz LR, Lee I, Marmolejo-Ramos F, Loh L, Zhdanov A, et al. Journal article, Original article AMD-HookNet++: Evolution of AMD-HookNet with Hybrid CNN-Transformer Feature Enhancement for Glacier Calving Front Segmentation (2025) Wu F, Dreier MN, Gourmelon N, Wind S, Zhang J, Seehaus T, Braun M, et al. Journal article, Original article Special Session – Hardware-Software Co-Design for Machine Learning Systems Made Open-Source (2025) Tahoori M, Meyers V, Sadeghipour Roodsari M, Xu H, Becker J, Harbaum T, Frombach F, et al. Conference contribution, Conference Contribution