Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 14764.
  1. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Formal Verification of Neuromorphic Architectures

    In: SN Computer Science (SNCS), Springer Nature, 2026.

  2. Ece Nur Demirhan Coskun; Kemal Caglar Coskun; Christoph Lüth; Dieter Hutter

    Lyapunov-Based Certified Region-of-Attraction Estimation for Constrained LQR-Controlled Systems

    In: Proceedings of the 19th IEEE Dallas Circuits and Systems Conference. IEEE Dallas Circuits and Systems Conference (DCAS-2026), April 10-12, Dallas, TX, USA, IEEE, 2026.

  3. Utilization of Urban Data in a Municipal Data Platform - A Field Report From the German MPSC Südwest-Cluster

    In: Manfred Schrenk; Clemens Beyer; Vasily V. Popovich; Judith Ryser; Dana Mawlood (Hrsg.). EVERYBODY PLANS ... SOMETIMES. Cherish Heritage, Plan Now, Create a Better Future! International Conference on Urban Planning, Regional Development and Information Society (REAL CORP-2026), 31st International Conference on Urban Planning and Regional. International Conference on Urban Planning, Regional Development and Information Society (REAL CORP-2026), EVERYBODY PLANS ... SOMETIMES. Cherish Heritage, Plan Now, Create a Better Future! International Conference on Urban Planning, Regional Development and Information Society, March 23-25, Vienna, Austria, Pages 1013-1022, ISBN 978-3-9504945-5-6, CORP, 3/2026.

  4. Aleksandr Sidorenko; Bart Meyers; Vasilis Siatras; Pavel Burget; Patrick Kremser; Tatjana Legler; Jesko Hermann; Julian Groß; Evangelos Xanthakis; Jakub Hamernik; Kunal Suri; Kosmas Alexopoulos; Achim Wagner

    The RAASCEMAN Approach: Resilient and Adaptive Supply Chains for Capability-based Manufacturing as a Service Networks

    In: Journal of Intelligent Manufacturing (JIMS), Vol. 37, Pages 1-1, Springer Nature, 2026.

  5. DiGAN: Diffusion-Guided Attention Network for Early Alzheimer's Disease Detection

    In: 1st AI for Healthy Aging and Longevity Workshop (AIAA). AAAI Conference on Artificial Intelligence (AAAI-2026), AAAI, 2026.

  6. Do You (Dis)agree With Me? Modelling Implicit User Disagreement in Human–AI Interaction Using Gaze Data

    In: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI-2026), April 13-17, Barcelona, Spain, Association for Computing Machinery (ACM), 2026.

  7. KI für eine sichere Gesellschaft

    In: Maximilian Wanderwitz. Risikoanalyse Künstliche Intelligenz. Pages 381-421, ISBN 978-3-662-72661-7, Springer Berlin Heidelberg, Berlin, Heidelberg, 2026.

  8. ReLaGS: Relational Language Gaussian Splatting

    In: Proc. of. International Conference on Computer Vision and Pattern Recognition (CVPR-2026), IEEE/CVF, 2026.

  9. Jan Tauberschmidt; Sophie Fellenz; Sebastian Vollmer; Andrew B. Duncan

    Physics-Constrained Fine-Tuning of Flow-Matching Models for Generation and Inverse Problems

    In: The Fourteenth International Conference on Learning Representations. International Conference on Learning Representations (ICLR), located at ICLR-2026, April 23-27, Rio de Janeiro, Brazil, ICLR, 2026.

  10. Mohamed Karim Belaid; Maximilian Rabus; Eyke Hüllermeier

    Uncertainty Quantification in Pairwise Difference Learning for Classification

    In: Machine Learning, Vol. 115, No. 1, Pages 12-12, Springer, 2026.