Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 2401 bis 2410 von 14556.
  1. Mahdi Javadi; Daniel Harnack; Paula Stocco; Shivesh Kumar; Shubham Vyas; Daniel Pizzutilo; Frank Kirchner

    AcroMonk: A Minimalist Underactuated Brachiating Robot

    In: IEEE Robotics and Automation Letters (RA-L), Vol. 8, Pages 1-8, IEEE, 6/2023.

  2. A Physics-Based Simulated Robotics Testbed for Planning and Acting Research

    In: Proceedings of the PlanRob Workshop of the 28th International Conference on Automated Planning and Scheduling. Workshop on Planning and Robotics (PlanRob-2023), PlanRob Workshop of the 33rd International Conference on Automated Planning and Scheduling, located at ICAPS 2023, July 8-13, Prague, Czech Republic, n.n. 7/2023.

  3. David Samhammer; Susanne Beck; Klemens Budde; Aljoscha Burchardt; Michelle Faber; Simon Gerndt; Sebastian Möller; Bilgin Osmanodja; Roland Roller; Peter Dabrock

    Klinische Entscheidungsfindung mit Künstlicher Intelligenz

    In: David Samhammer; Susanne Beck; Klemens Budde; Aljoscha Burchardt; Michelle Faber; Simon Gerndt; Sebastian Möller; Bilgin Osmanodja; Roland Roller; Peter Dabrock. Klinische Entscheidungsfindung mit Künstlicher Intelligenz: Ein interdisziplinärer Governance-Ansatz. Pages 1-71, Springer, 2023.

  4. Selvakumar Hastham Sathiya Satchi Sadanandam; Sebastian Stock; Alexander Sung; Felix Ingrand; Oscar Lima; Marc Vinci; Joachim Hertzberg

    A Closed-Loop Framework-Independent Bridge from AIPlan4EU's Unified Planning Platform to Embedded Systems

    In: Proceedings of the PlanRob Workshop of the 28th International Conference on Automated Planning and Scheduling. Workshop on Planning and Robotics (PlanRob-23), PlanRob Workshop of the 33rd International Conference on Automated Planning and Scheduling, located at ICAPS 2023, July 8-13, Prague, Czech Republic, n.n. 2023.

  5. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

    Processor Verification using Symbolic Execution: A RISC-V Case-Study

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  6. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Floating Point Adders

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  7. Rolf Fricke; Friederike Fröbel; Tim Bibow; Patrick Stadler; Beate Prelle; Tobias Albert; Esther Zahn; Fabian Jaenicke; Clara Gleiß; Florian Krebs; Norbert Reithinger; Ido Klimovsky; Andreas Mischke; Dirk Werth

    Entwicklung personalisierter Wearables mit der MYOW Plattform

    In: Christoph Lattemann; Susanne Robra-Bissantz (Hrsg.). Personennahe Dienstleistungen der Zukunft. Chapter 15, Edition HMD, Vol. 1, ISBN 978-3-658-38812-6, Springer Vieweg, Wiesbaden, 5/2023.

  8. Friederike Fröbel; Rolf Fricke; Patrick Stadler; Esther Zahn; Clara Gleiß; Tobias Albert; Luisa von Radziewsky; Beate Prelle; Tim Bibow; Florian Krebs; Fabian Jaenicke; Finn Vincent Harms; Gesche Joost

    Design und Entwicklung der MYOW Plattform

    In: Christoph Lattemann; Susanne Robra-Bissantz (Hrsg.). Personennahe Dienstleistungen der Zukunft. Chapter 6, Edition HMD, Vol. 1, ISBN 978-3-658-38812-6, Springer Vieweg, Wiesbaden, 2023.

  9. Johannes Lahann; Peter Pfeiffer; Peter Fettke

    LSTM-based Anomaly Detection of Process Instances: Benchmark and Tweaks

    In: Proceedings of the 4th International Conference on Process Mining (Workshops). International Conference on Process Mining (ICPM-2022), Process Mining Workshops, October 23-28, Bolzano, Italy, Lecture Notes in Business Information Processing, Springer, 2023.

  10. BoxMask: Revisiting Bounding Box Supervision for Video Object Detection

    In: Winter Conference on Applications of Computer Vision 2023. IEEE Winter Conference on Applications of Computer Vision (WACV-2023), January 3-8, Waikoloa, HI, USA, CVF, 2023.