Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 10 von 807.
  1. Philipp Woock; Ajish Babu

    Autonome Robotersysteme in der Altlastensanierung

    In: Volker Franzius; Michael Altenbockum; Thomas. Gerhold (Hrsg.). Handbuch Altlastensanierung und Flächenmanagement, Vol. 93. Aktualisierung, 3. Aufl. Pages 0-0, Rehm Verlag, 2022.

  2. Serious Games with SIAs

    In: Birgit Lugrin; Catherine Pelachaud; David Traum. The Handbook on Socially Interactive Agents: 20 years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics Volume 2: Interactivity, Platforms, Application. Pages 527-546, Association for Computing Machinery, 2022.

  3. Silvan Mertes; Alexander Heimerl; Tanja Schneeberger; Tobias Baur; Ailin Liu; Linda Becker; Nicolas Rohleder; Patrick Gebhard; Elisabeth André

    Generating personalized behavioral feedback for a virtual job interview training system through adversarial learning

    In: Proceedings of the 23rd International Conference on Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-2022), Pages 679-684, ACM, 2022.

  4. Thorsten Schoormann; Friedemann Kammler; Paul Christoph Gembarski; Simon Hagen

    2. Workshop: Nachhaltige Wertschöpfungssysteme (NaWerSys)

    In: Daniel Demmler; Daniel Krupka; Hannes Federrath (Hrsg.). Lecture Notes in Informatics (LNI) - Proceedings, Volume P-326. Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2022), September 26-30, Hamburg, Germany, Gesellschaft für Informatik, Bonn, 2022.

  5. Mattis Hartwig; Anjali Bhat; Achim Peters

    How Stress Can Change Our Deepest Preferences: Stress Habituation Explained Using the Free Energy Principle

    In: Gerit Pfuhl (Hrsg.). Frontiers in Psychology, Vol. 13, Pages 1-14, Frontiers, 5/2022.

  6. Marc Eisoldt; Julian Gaal; Thomas Wiemann; Marcel Flottmann; Marc Rothmann; Marco Tassemeier; Mario Porrmann

    A Fully Integrated System for Hardware-accelerated TSDF SLAM with LiDAR Sensors (HATSDF SLAM)

    In: Robotics and Autonomous Systems (RAS), Vol. 106, Pages 1-38, Elsevier, 2022.

  7. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification

    In: Automated Technology for Verification and Analysis (ATVA). International Symposium on Automated Technology for Verification and Analysis (ATVA-2022), October 25-28, 2022.

  8. Jan Zielasko; Sören Tempel; Vladimir Herdt; Rolf Drechsler

    3D Visualization of Symbolic Execution Traces

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

  9. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

    Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.