Skip to main content Skip to main navigation

Publications

Displaying results 191 to 200 of 14517.

  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. Nael Jaber; Bilal Wehbe; Leif Christensen; Frank Kirchner

    MV3D: Multi-View 3D Reconstruction of Objects Using Forward-Looking Sonar

    In: Tamim Asfour; Abhinav Valada (Hrsg.). IEEE Robotics and Automation Letters (RA-L), Vol. 10, Pages 8762-8769, IEEE, 2025.

  7. Ulan Akmatbekov; Janis Sprenger; Rui Xu; Philipp Slusallek

    Simulating Body Movements for Multiple Agent Avoidance

    In: 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops. IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) (IEEEVR-2025), located at IEEE VR 2025, March 8-12, Saint-Malo, France, Pages 730-735, IEEE Computer Society, 2025.

  8. Babu Ajish; Frank Kirchner

    Stepping Locomotion for a Walking Excavator Robot Using Hierarchical Reinforcement Learning and Action Masking

    In: 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2025). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2025), October 18-25, Hangzhou, China, IEEE, 2025.

  9. Andrey Guzhov; Tobias Wirth

    Transformer-Based File Fragment Type Classification for File Carving in Digital Forensics

    In: Academic Conferences International (ACI) (Hrsg.). Proceedings of the 24th European Conference on Cyber Warfare and Security. European Conference on Cyber Warfare and Security (ECCWS-2025), 24th European Conference on Cyber Warfare and Security, located at ECCWS-2025, June 26-27, Kaiserslautern, Germany, Pages 169-176, Vol. 24, No. 1, ACI, 2025.

  10. Arnab Das; Carlos Franzreb; Tim Polzehl; Sebastian Möller

    Exploring Foundation Model Fusion Effectiveness and Explainability for Stylistic Analysis of Emotional Podcast Data

    In: Advances in Information and Communication. Future of Information and Communication Conference (FICC-2025), located at FICC-2025, March 4-5, Berlin, Germany, Springer Nature, Switzerland, 2025.

Year

More options