Skip to main content Skip to main navigation

Publications

Displaying results 841 to 850 of 14731.

  1. Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    Towards Completeness: Security Coverage for System Level IFT

    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-2024), February 14-15, Kaiserslautern, Germany, 2024.

  2. Shreya Tayade and Hans D. Schotten (Hrsg.)

    Control Requirements Aware Resource Allocation for Edge-cloud based AGV

    IEEE International Conference on Advanced Networks and Telecommunications Systems (IEEE ANTS-2023), Jaipur India, India, IEEE, 12/2023.

  3. Sebastian Huhn; Rolf Drechsler

    Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

    Springer, 2023.

  4. Jakob Karolus; Sebastian S. Feger; Albrecht Schmidt; Pawel W. Wozniak

    Your Text Is Hard to Read: Facilitating Readability Awareness to Support Writing Proficiency in Text Production

    In: DIS '23: Proceedings of the 2023 ACM Designing Interactive Systems Conference. ACM Designing Interactive Systems (DIS-2023), July 10-14, Pittsburgh, PA, USA, Pages 147-160, ISBN 978-1-4503-9893-0, ACM, New York, NY, USA, 2023.

  5. Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

    In the Head of the Beholder: Comparing Different Proof Representations

    In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, Pages 211-226, ISBN 978-3-031-21541-4, Springer International Publishing, 2022.

  6. Frederik Wiehr; Adrien Unger; Antonio Krüger

    HapticPole: Running Navigation Through Skin Drag and Shape Change

    In: Proceedings of the Augmented Humans International Conference 2023. Augmented Humans International Conference (AHs-2023), New York, NY, USA, AHs '23, ISBN 9781450399845, Association for Computing Machinery, 2023.

  7. Marco Maass; Christine Droigk; Hannes Albers; Konrad Scheffler; Alfred Mertins; Tobias Kluth; Tobias Knopp

    Magnetic particle imaging with non-orientedimmobilized particles: Why the Langevin model of paramagnetism is sufficient

    In: International Journal on Magnetic Particle Imaging, Vol. 10, No. 1, Suppl 1, Pages 1-4, Infinite Science Publishing, 3/2024.

  8. Norbert Pengel; Hassan Soliman; Alexander Neumann; Milos Kravcik; Yue Yin; Maria Bez; Lisa Stechert; Maike Haag; Anne Martin; Laura Köbis; Julia Zawidzki; Orkhan Jalilov; Roy Meissner; Alexander Pögelt; Thomas Köhler; Heinz-Werner Wollersheim

    Generative KI in der Hochschulbildung: Konzeption und Implementierung eines LLM-gestützten Chatbots

    Jahrestagungen der Gesellschaft für Medien in der Wissenschaft (GMW) und von CampusSource 2023, 11/2023.

  9. André Meyer-Vitali

    AI Engineering for Trust by Design

    In: Survey of Tools for Software Engineering, Vol. 2024, No. 1, Pages 20-22, United Innovations, 3/2024.

  10. Tahira Shehzadi; Khurram Azeem Hashmi; Didier Stricker; Muhammad Zeshan Afzal

    Sparse Semi-DETR: Sparse Learnable Queries for Semi-Supervised Object Detection

    In: The IEEE/CVF Conference on Computer Vision and Pattern Recognition 2024. International Conference on Computer Vision and Pattern Recognition (CVPR-2024), June 17-21, Seattle, WA, USA, IEEE/CVF, USA, 6/2024.

Year

More options