Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 661 bis 670 von 15134.

  1. Timo P. Gros; Arnd Hartmanns; Ivo Hoese; Joshua Meyer; Nicola Müller; Verena Wolf

    PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface

    In: Pavithra Prabhakar; Andrea Vandin (Hrsg.). Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark, Pages 134-156, Lecture Notes in Computer Science (LNCS), Vol. 16143, ISBN 978-3-032-05791-4, Springer Nature, Switzerland, 10/2025.

  2. Nina Knieriemen; Anke Hirsch; Muhammad Moiz Sakha; Florian Daiber; Hannah Kolb; Simone Hüning; Frederik Wiehr; Antonio Krüger

    Seeing, Hearing, Feeling: Designing Multimodal Alerts for Critical Drone Scenarios

    In: Proceedings of the 27th International Conference on Multimodal Interaction. ACM International Conference on Multimodal Interaction (ICMI-2025), October 13-17, Canberra, Australia, Vol. 27, ISBN 979-8-4007-1499-3, Association for Computing Machinery (ACM), New York, 10/2025.

  3. Kevin Baum; Andre Steingrüber

    Justifications for Democratizing AI Alignment and Their Prospects

    In: AISoLA 2025. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2025), Springer Nature Switzerland, 2025.

  4. Kevin Baum; Barbara Steffen

    Let’s Talk AI with philosophy and computer science expert Kevin Baum

    In: Barbara Steffen; Edward A. Lee; Bernhard Steffen (Hrsg.). Let’s Talk AI: Interdisciplinarity Is a Must. Pages 104-112, Springer Nature Switzerland, 2025.

  5. Max Bramer; Frederic Theodor Stahl (Hrsg.)

    Artificial Intelligence XLII

    SGAI International Conference on Artificial Intelligence (AI-2025), 45th SGAI International Conference on Artificial Intelligence, December 16-18, Cambridge, United Kingdom, Lecture Notes in Computer Science (LNAI), Vol. 16301, Springer Nature Switzerland, Cham, 12/2025.

  6. Shivshankar Aiwale; Frederic Theodor Stahl; Lily Sun

    HAD-QC: A Hybrid AI Approach for Automated Quality Control of Argo Float Data

    In: Artificial Intelligence XLII (SGAI-AI 2025). SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI-2025), December 16-18, Cambridge, United Kingdom, Lecture Notes in Computer Science (LNAI), Vol. 16302, Springer Nature Switzerland, Cham, 12/2025.

  7. Saif Alzu; Frederic Theodor Stahl; Mohammed Al-Khafajiy

    Detect, Decide, Explain: An Intelligent Framework for Zero-Day Network Attack Detection

    In: Max Bramer; Frederic Theodor Stahl (Hrsg.). Artificial Intelligence XLII (SGAI-AI 2025). SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI-2025), December 16-18, Cambridge, United Kingdom, Pages 3-17, Lecture Notes in Computer Science (LNAI), Vol. 16302, ISBN ISSN/ISBN: 0302-9743, Springer Nature Switzerland, Cham, 12/2025.

  8. Daphne Theodorakopoulos; Elisabeth Eberling; Miriam Bodenheimer; Sabine Loos; Frederic Theodor Stahl

    FITS: Towards an AI-Driven Fashion Information Tool for Sustainability

    In: 28th European Conference on Artificial Intelligence - Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025). European Conference on Artificial Intelligence (ECAI-2025), October 25-30, Bologna, Italy, Pages 1205-1212, Frontiers in Artificial Intelligence and Applications, Vol. 413, ISBN 978-1-64368-631-8 (online), IOS Press, Amsterdam, The Netherlands, 9/2025.

  9. Khai Le-Duc; Ho Minh Duy Nguyen; Phuong T. H. Trinh; Tien-Phat Nguyen; Nghiem T. Diep; An Ngo; Tung Vu; Trinh Vuong; Anh-Tien Nguyen; Mau Nguyen; Van Trung Hoang; Khai-Nguyen Nguyen; Hy Nguyen; Chris Ngo; Lianjia Liu; Nhat Ho; Anne-Christin Hauschild; Khanh Xuan Nguyen; Thanh Nguyen-Tang; Pengtao Xie; Daniel Sonntag; James Zou; Mathias Niepert; Anh Totti Nguyen

    S-Chain: Structured Visual Chain-of-Thought For Medicine

    2025.

  10. Huy M. Le; Ba Dat Nguyen; Ngan T. T. Vo; Tuan D. Q. Nguyen; Nguyen Binh Le; Ho Minh Duy Nguyen; Daniel Sonntag; Lizi Liao; Binh T. Nguyen

    Reinforcing Trustworthiness in Multimodal Emotional Support Systems

    2025.

Jahr

Mehr Optionen