Skip to main content Skip to main navigation

Publications

Displaying results 181 to 190 of 13843.
  1. Frederik Wiehr; Andreas Höh; Antonio Krüger

    Towards A Wearable for Deep Water Blackout Prevention

    In: Proceedings of the Augmented Humans International Conference. Augmented Humans International Conference (AHs-2020), March 16-17, Kaiserslautern, Germany, AHs '20, ISBN 9781450376037, Association for Computing Machinery, 2020.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. Melvin Chelli; Cédric Prigent; René Schubotz; Alexandru Costan; Gabriel Antoniu; Loïc Cudennec; Philipp Slusallek

    FEDGUARD: Selective Parameter Aggregation for Poisoning Attack Mitigation in Federated Learning

    In: Proceedings of the IEEE International Conference on Cluster Computing. IEEE International Conference on Cluster Computing (Cluster-2023), October 31 - November 3, Santa Fe, New Mexico, USA, IEEE, 2023.

  8. Linear Model Predictive Control for a planar free-floating platform: A comparison of binary input constraint formulations

    In: 17th Symposium on Advanced Space Technologies in Robotics and Automation. ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA-2023), October 18-20, Leiden, Netherlands, ESA, 2023.

  9. Cathleen M. Stützer; Milos Kravcik

    Künstliche Intelligenz in der Hochschulbildung. Bildungssoziologische Perspektiven und Herausforderungen

    In: Claudia de Witt; Christina Gloerfeld; Silke Elisabeth Wrede. Künstliche Intelligenz in der Bildung. Pages 219-239, ISBN 978-3-658-40078-1, Springer VS, Wiesbaden, 11/2023.

  10. Avinesh P. V. S.; Carsten Binnig; Benjamin Hättasch; Christian M. Meyer; Orkan Özyurt

    Sherlock: A System for Interactive Summarization of Large Text Collections

    In: Proceedings of the VLDB Endowment (PVLDB), Vol. 11, No. 12, Pages 1902-1905, Association for Computing Machinery (ACM), 2018.