Skip to main content Skip to main navigation

Publications

Displaying results 521 to 530 of 14520.

  1. Luca Müller; Rolf Drechsler

    Polynomial formal verification parameterized by cutwidth properties of a circuit using Boolean satisfiability

    In: Microprocessors and Microsystems (MICPRO), Vol. 118, Elsevier, 2025.

  2. Yasser Hamidullah; Shakib Yazdani; Cennet Oguz; Cristina España Bonnet; Josef van Genabith

    SONAR-SLT: Multilingual Sign Language Translation via Language-Agnostic Sentence Embedding Supervision

    In: Proceedings of the Tenth Conference on Machine Translation. Conference on Machine Translation (WMT-2025), November 8-9, Suzhou, China, Association for Computational Linguistics, 2025.

  3. Gerhard Sonnenberg; Peter Stein; Fabio Espinosa; Daniel Porta

    Queryable AAS Graphs for AI Agents: An Event-Driven Knowledge Graph Integration for AAS Environments

    In: IEEE International Conference on Emerging Technologies and Factory Automation. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2025), IEEE, 2025.

  4. Anna Kravets; Ye Eun Bae; Philipp Flügger; Stephanie C. Fendrich; Michael Goichmann; Annegret Janzso; Jan Ole Berndt; Ingo Timm

    Green choices in rural settings: analyzing community adoption of eco-friendly shopping alternatives through agent-based modeling

    In: Frontiers in Social Psychology (Front. Soc. Psychol.), Vol. 3, No. 1536958, Pages 1-17, Frontiers Media S.A. Lausanne, Switzerland, 2025.

  5. Laeticia Moosdorf; Niklas Kueper; Heinz Handels; Elsa Andrea Kirchner

    Comparison of Models for EEG-based Cross-Subject Movement Prediction

    In: Heinz Handels; S. Müller; M. Kallinger; C. Hübner; P. Rostalski; N. Bunzeck (Hrsg.). Student Conference Proceedings, Vol. 1, No. 1, Pages 1-4, Infinite Science Publishing, 8/2025.

  6. Maxim Majlatow; Fahim Ahmed Shakil; Andreas Emrich; Nijat Mehdiyev

    Uncertainty-Aware Predictive Process Monitoring in Healthcare: Explainable Insights into Probability Calibration for Conformal Prediction

    In: Rui Araújo; Jia-Lien Hsu (Hrsg.). Applied Sciences, Vol. 15, No. 14, Pages 1-42, MDPI, 2025.

  7. Damun Mollahassani; Martin Becker; Andreas Emrich; Peter Fettke; Jens C. Göbel

    Generating additional Engineering Knowledge in Smart Product Value Creation Networks

    In: Dimitris Mourtzis (Hrsg.). Procedia CIRP, Vol. 136 - 35th CIRP Design 2025, Pages 630-635, Elsevier, 2025.

  8. Milos Kravcik; Elisabeth Reiswich; Iwan Lappo-Danilewski; David Buschhüter; Patrick Jähnichen

    The influence of dialogue flow on stress levels when booking healthcare appointments with AI

    Artificial Intelligence in Healthcare Collection of Short Abstracts, Zenodo, 9/2025.

  9. Mirko Lenz; Lorik Dumani; Ralf Schenkel; Ralph Bergmann

    Numbers Don't Lie: Hybrid Extraction and Validation of Quantitative Statements in Arguments with Semi-structured Information

    In: Tanya Braun; Benjamin Paaßen; Frieder Stolzenburg (Hrsg.). KI 2025: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2025), Potsdam, Germany, Pages 77-90, Lecture Notes in Computer Science (LNCS), Vol. 15956, ISBN 978-3-032-02813-6, Springer Nature Switzerland, Cham, 2025.

  10. Devanshu Anand; Michael Gundall; Hans Dieter Schotten

    Implementation and Evaluation of Open and Reproducible NF Migration Scenarios in a Containerized 6G Core Network

    In: 2025 IEEE Globecom Workshops. IEEE Global Communications Conference Workshops (Globeccom Wkshps-2025), December 8-12, IEEE, 12/2025.

Year

More options