Skip to main content Skip to main navigation

Publications

Displaying results 1731 to 1740 of 14764.
  1. Michael Lutter; Jan Peters

    Combining Physics and Deep Learning to learn Continuous-Time Dynamics Models

    In: International Journal of Robotics Research (IJRR), Vol. abs/2110.01894, Pages 83-107, Sage Publications, 2023.

  2. Special issue on in-memory computing: Circuits, system, architecture and verification

    In: Memories - Materials, Devices, Circuits and Systems, Vol. 5, Pages 1-3, Science Direct, 10/2023.

  3. Oscar Ariza; Felix Steiner; André Zenner; Frank Steinicke

    Audio-Based Vibrotactile Feedback in Multimodal VR Interactions

    In: Proceedings of the 29th ACM Symposium on Virtual Reality Software and Technology. ACM Symposium on Virtual Reality Software and Technology (VRST-2023), October 9-11, Christchurch, New Zealand, VRST '23, ISBN 9798400703287, Association for Computing Machinery, 10/2023.

  4. Dynamic Realization of Multiple Control Toffoli Gate

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

  5. Complete and Efficient Verification for a RISC-V Processor using Formal Verification

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

  6. In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures

    In: 37th International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 1/2024.