Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1431 bis 1440 von 15123.

  1. Jan Gronewald; Alexander Michael Rombach; Sebastian Stephan; Peter Fettke

    Anomaly Detection in General Ledger Data: Results from a Hybrid Approach

    International Conference on Auditing and Artificial Intelligence, 2024.

  2. Sebastian Stephan; Josip Lovrekovic; Peter Fettke

    Addressing the Schema Representation Problem in Process Models Using Petri Nets - First Results Illustrated by the Dining Philosophers Problem

    In: Wirtschaftsinformatik 2024 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2024), September 16-19, Würzburg, Germany, AIS Electronic Library (AISeL), 9/2024.

  3. Wiebke Brinkmann; Alexander Dettmann; Leon Cedric Danter; Tobias Stark; Christopher Schulz; Holger Sprengel; Marc Manz; Sebastian Bartsch

    Multi-legged robot Mantis

    In: Shivesh Kumar; Andreas Müller; Frank Kirchner. Biologically Inspired Series-Parallel Hybrid Robots: Design, Analysis, and Control. Pages 261-279, ISBN 978-0323884822, Elsevier, 12/2024.

  4. Shefali Dewangan; Vamsi Krishna Origanti; Frank Kirchner

    Real-time Dynamic Gesture Recognition for Human-Robot Collaboration in Rescue Operations

    In: IEEE International Symposium on Safety, Security, and Rescue Robotics. IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR-2024), November 12-14, New York City, NY, USA, ISBN 979-8-3315-1095-4, IEEE, 11/2024.

  5. Martin Mallwitz; Daniel Weissenrieder; Vamsi Krishna Origanti; Tom Becker; Milan Sixt; Malika Helapita; Felix Bernhard; Christian Schoo; Miguel Martínez Genis; Fabian Maas genannt Bermpohl; Mehmed Yüksel; Frank Kirchner

    KRIS: A Robot for Material Transport in Relief Situations

    In: IEEE International Symposium on Safety, Security, and Rescue Robotics. IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR-2024), November 12-14, New York City, NY, USA, ISBN 979-8-3315-1095-4, IEEE, 11/2024.

  6. Devansh Srivastav; Thomas Kaltbach; Ahmer Akhtar Mughal; Nischal Giriyan; Moaz Bin Younus; Tobias Jungbluth; Jochen Britz; Jan Alexandersson; Maurice Rekrut

    Mindful Mobility: EEG-Based Brain-Computer Interaction for Elevator Control Using Muse Headset

    In: Proceedings of the International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI 2024). International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI-2024), November 27-30, Ulster University, Belfast, United Kingdom, Springer, 2024.

  7. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2024.

  8. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: IT - information technology (IT), Degruyter, 2024.

  9. Sajjad Parvin; Sallar Ahmadi-Pour; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    Lower the RISC: Designing optical-probing-attack-resistant cores

    In: Microprocessors and Microsystems (MICPRO), Vol. 111, Elsevier, 2024.

  10. Lars Krupp; Steffen Steinert; Maximilian Kiefer-Emmanouilidis; Karina E. Avila; Paul Lukowicz; Jochen Kuhn; Stefan Küchemann; Jakob Karolus

    Challenges and Opportunities of Moderating Usage of Large Language Models in Education

    In: Proceedings of the International Conference on Mobile and Ubiquitous Multimedia. International Conference on Mobile and Ubiquitous Multimedia (MUM-2024), December 1-4, Stockholm, Sweden, MUM '24, ISBN 9798400712838, Association for Computing Machinery, 2024.

Jahr

Mehr Optionen