Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 861 bis 870 von 13876.

  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. Sönke Knoch; Daniel Porta; Andreas Luxenburger; Dieter Merkel

    Digitale Zwillinge für eine sichere Mensch-Maschine Interaktion

    In: Jahresmagazin Automation und Robotik, Vol. 6, No. 2, Pages 10-12, Institut für wissenschaftliche Veröffentlichungen, 4/2024.

  3. Sebastian Biewer; Kevin Baum; Sarah Sterz; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Franz Lehr

    Software doping analysis for human oversight

    In: Formal Methods in System Design, Vol. 62, Pages 1-50, Springer, 4/2024.

  4. Jean-Francois Nies; Syed Tahseen Raza Rizvi; Mohsin Munir; Ludger van Elst; Andreas Dengel

    Knowledge-aware Object Detection in Traffic Scenes

    In: INSTICC (Hrsg.). Proceedings of the 16th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2024), February 24-26, Rome (ONLINE), Italy, ISBN 978-989-758-680-4, SciTePress, 2/2024.

  5. Eduard Anton; Markus Aptyka; Frank Teuteberg

    The Shaping of Work: Understanding the Dynamics of Job Crafting, Technology, and Institutional Logics

    In: Thirty-Second European Conference on Information Systems (ECIS 2024). European Conference on Information Systems (ECIS), Paphos, Cyprus, Association for Information Systems, 2024.

  6. Bilgin Osmanodja; Zeineb Sassi; Sascha Eickmann; Carla Maria Hansen; Roland Roller; Aljoscha Burchardt; David Samhammer; Peter Dabrock; Sebastian Möller; Klemens Budde; Anne Herrmann

    Investigating the Impact of AI on Shared Decision-Making in Post-Kidney Transplant Care (PRIMA-AI): Protocol for a Randomized Controlled Trial

    In: JMIR Research Protocols, Vol. 13, No. 1, Pages 1-5, JMIR Publications Inc., Toronto, Canada, 2024.

  7. Neda Foroutan; Markus Schröder; Andreas Dengel

    CO-Fun: A German Dataset on Company Outsourcing in Fund Prospectuses for Named Entity Recognition and Relation Extraction

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2403.15322, Pages 1-10, arXiv, 3/2024.

  8. Markus Schröder; Jacqueline Krüger; Neda Foroutan; Philipp Horn; Christoph Fricke; Ezgi Delikanli; Heiko Maus; Andreas Dengel

    Towards Cyber Mapping the German Financial System with Knowledge Graphs

    In: The Semantic Web - 21st International Conference. Extended Semantic Web Conference (ESWC-2024), May 26-30, Hersonissos, Crete, Greece, ISBN 978-3-031-60625-0, Springer, 2024.

  9. Maxx Richard Rahman; Lotfy Abdel Khaliq; Thomas Piper; Hans Geyer; Tristan Equey; Norbert Baume; Reid Aikin; Wolfgang Maaß

    SACNN: Self Attention-based Convolutional Neural Network for Fraudulent Behaviour Detection in Sports

    In: International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2024), August 3-9, Jeju, Korea, Republic of, IJCAI, 2024.

  10. Lotfy Abdel Khaliq; Sabine Janzen; Wolfgang Maaß

    REAVER: Real-time Earthquake Prediction with Attention-based Sliding-Window Spectrograms

    In: International Joint Conference on Artificial Intelligence 2024. International Joint Conference on Artificial Intelligence (IJCAI-2024), 33rd International Joint Conference on Artificial Intelligence, August 3-9, Jeju, Korea, Republic of, International Joint Conference on Artificial Intelligence, 8/2024.

Jahr

Mehr Optionen