Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 631 bis 640 von 13858.
  1. Khushboo Qayyum; Muhammad Hassan; Sallar Ahmadi-Pour; Chandan Kumar Jha; Rolf Drechsler

    Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification

    In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC-2024), June 23-27, San Francisco, USA, 2024.

  2. Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification

    In: 34th Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2024), June 12-14, Tampa Bay Area, USA, o.A, 2024.

  3. Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?

    In: 16th Conference on Reversible Computation. International Conference on Reversible Computation (RC-2024), July 4-5, Torun, Poland, 2024.

  4. Exploring Gaze-Based Menu Navigation in Virtual Environments

    In: Proceedings of the 2024 ACM Symposium on Spatial User Interaction (SUI '24). ACM Symposium on Spatial User Interaction (SUI-2024), October 7-8, Trier, Germany, Pages 1-2, No. 40, ISBN 9798400710889, Association for Computing Machinery, New York, NY, USA, 10/2024.

  5. Wolfgang Maaß; Ankit Agrawal; Alessandro Ciani; Sven Danz; Alejandro Delgadillo; Philipp Ganser; Pascal Kienast; Marco Kulig; Valentina König; Nil Rodellas-Gràcia; Rivan Rughubar; Stefan Schröder; Marc Stautner; Hannah Stein; Tobias Stollenwerk; Daniel Zeuch; Frank K. Wilhelm

    QUASIM: Quantum Computing Enhanced Service Ecosystem for Simulation in Manufacturing

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 38, Pages 1-10, Springer, 10/2024.

  6. Markus Langer; Kevin Baum; Nadine Schlicker

    Effective Human Oversight of AI-Based Systems: A Signal Detection Perspective on the Detection of Inaccurate and Unfair Outputs

    In: Minds and Machines - Journal for Artificial Intelligence, Philosophy and Cognitive Science, Vol. 35, No. 1, Pages 1-30, Springer Nature, 11/2024.

  7. Ganavi Basavaraju; Tobias Jungbluth; Maurice Rekrut; Florian Daiber; Antonio Krüger

    Cross-Subject Startle Detection for Pilots on the Flight Deck Using Physiological Signals

    In: Proceedings of the IEEE International Conference on Metrology for Extended Reality, Artificial Intelligence and Neural Engineering. IEEE International Conference on Metrology for Extended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE-2024), Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering, October 21-23, St. Albans, United Kingdom, IEEE, 2024.

  8. Tab-Distillation: Impacts of Dataset Distillation on Tabular Data For Outlier Detection

    In: Association for Computing Machinery (ACM) (Hrsg.). Proceedings of the 5th ACM International Conference on AI in Finance. International Conference on AI in Finance (ICAIF-2024), ICAIF '24, located at ICAIF, November 14-17, Brooklyn, New York, New York, USA, Pages 804-812, Proceedings of the 5th ACM International Conference on AI in Finance (ICAIF '24), No. 9, ISBN 9798400710810, Association for Computing Machinery, New York, NY, USA, 11/2024.

  9. Henning Gösling; Jacob Dudek; Thorsten Krause; Oliver Thomas

    Multi-Agent-Based Peer Tutoring in Virtual Learning Environments

    In: ICIS 2024 Proceedings. International Conference on Information Systems (ICIS-2024), AISeL, 12/2024.