Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1651 bis 1660 von 13867.

  1. Arighna Deb; Kamalika Datta; Rolf Drechsler

    Equivalence Checking of Majority-based Function Mapping on ReRAM Crossbars

    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-2023), March 23-24, Freiburg, Germany, 2023.

  2. Mohamed Nadeem; Jan Kleinekathöfer; Rolf Drechsler

    Polynomial Formal Verification of Adder Circuits Using Answer Set Programming

    In: Reed-Muller Workshop (RM2023). Reed-Muller Workshop (RM-2023), May 24, Matsue City, Japan, 2023.

  3. Martha Schnieber; Rolf Drechsler

    Polynomial Formal Verification of KFDD Circuits

    In: Reed-Muller Workshop (RM2023). Reed-Muller Workshop (RM-2023), May 24, Matsue City, Japan, 2023.

  4. Muhammad Hassan; Rolf Drechsler

    Expanding RISC-V Horizons: Streamlining Heterogeneous Systems Evaluation with Open Source RISC-V AMS VP Framework

    In: RISC-V Summit Europe 2023. RISC-V Summit Europe, June 5-9, Barcelona, Spain, 2023.

  5. Andreas Müller; Shivesh Kumar; Thomas Kordik

    A Recursive Lie-Group Formulation for the Second-Order Time Derivatives of the Inverse Dynamics of Parallel Kinematic Manipulators

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

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

  7. Oscar Lima; Martin Günther; Alexander Sung; Sebastian Stock; Marc Vinci; Amos Smith; Jan Christoph Krause; Joachim Hertzberg

    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.

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

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

  10. Janina Schneider; Andre Miedtank; Oliver Zielinski

    Towards Digital Twins of the Oceans: The Potential of Machine Learning for Monitoring the Impacts of Offshore Wind Farms on Marine Environments

    In: Sensors - Open Access Journal (Sensors), Vol. 23, Page 4581, MDPI, 2023.

Jahr

Mehr Optionen