Skip to main content Skip to main navigation

Publications

Displaying results 211 to 220 of 14376.
  1. 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.

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

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

  4. Lars Leander Schaberg; Tobias Kubiczek; Sabisan Santhakumaran; Roman Burkard; Wolfgang Mertin; Franziska Muckel; Gerd Bacher; Anna Lena Schall-Giesecke; D. Neumaier; Jan C. Balzer; Elsa Andrea Kirchner; Niels Benson

    Body Motion detection using epidermal electronic graphene patches

    In: Biomedical Engineering / Biomedizinische Technik, Vol. 1, Pages 13-13, VDE, 2023.

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

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

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

  8. Robotics and autonomy: From space robots to applications in daily life

    In: Research Outreach, Vol. 4, Pages 1-4, Research Publishing International Ltd, 4/2024.

  9. Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

    LLM-Assisted High Quality Invariants Generation for Formal Verification

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

  10. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2024), April 3-5, Kielce, Poland, 2024.