Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1301 bis 1310 von 14535.
  1. Michael Barz; Panagiotis Karagiannis; Johan Kildal; Andoni Rivera Pinto; Judit Ruiz de Munain; Jesús Rosel; Maria Madarieta; Konstantina Salagianni; Panagiotis Aivaliotis; Sotiris Makris; Daniel Sonntag

    MASTER-XR: Mixed Reality Ecosystem for Teaching Robotics in Manufacturing

    In: Mohammad-Reza Alam; Madjid Fathi (Hrsg.). Integrated Systems: Data Driven Engineering. Pages 167-182, ISBN 978-3-031-53652-6, Springer, 2024.

  2. An Evolutionary Approach to Reconfigurable Scan Network Design

    In: 36. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2024), February 25-27, Darmstadt, Germany, 2024.

  3. Towards ML-based Performance Estimation of Embedded Software: A RISC-V Case Study

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Landau, Germany, 2024.

  4. Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    Towards Completeness: Security Coverage for System Level IFT

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Kaiserslautern, Germany, 2024.

  5. Towards Remote Expert Supported Autonomous Assistant Robots in Shopping Environments

    In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction (HRI-2024), March 11-14, Boulder, CO, USA, Pages 613-617, ISBN 979-8-4007-0323-2, ACM, 2024.

  6. Mark Niemeyer; Julian Arkenau; Sebastian Pütz; Joachim Hertzberg

    Streamlined Acquisition of Large Sensor Data for Autonomous Mobile Robots to Enable Efficient Creation and Analysis of Datasets

    In: 2024 IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2024), May 13-17, Yokohama, Japan, Pages 15804-15810, IEEE, 2024.

  7. Carsten Maletzki; Christian Elsenbast; Melanie Reuter-Oppermann

    Towards Human-AI Interaction in Medical Emergency Call Handling

    In: Tung X. Bui (Hrsg.). 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024. Hawaii International Conference on System Sciences (HICSS-2024), 57th Hawaii International Conference on System Sciences, January 3-6, Honolulu, Hilton Hawaiian Village Waikiki Beach Resort, HI, USA, Pages 3374-3383, ScholarSpace, 2024.

  8. Caroline Dominik; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  9. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

    In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.

  10. Mattis Hartwig; Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller

    Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

    In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC-2024), February 21-23, Rome, Italy, Pages 175-184, Vol. 2, ISBN 978-989-758-688-0, SciTePress, 2024.