Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 361 bis 370 von 14387.

  1. Luca Müller; Rolf Drechsler

    Polynomial formal verification parameterized by cutwidth properties of a circuit using Boolean satisfiability

    In: Microprocessors and Microsystems (MICPRO), Vol. 118, Elsevier, 2025.

  2. Yasser Hamidullah; Shakib Yazdani; Cennet Oguz; Cristina España Bonnet; Josef van Genabith

    SONAR-SLT: Multilingual Sign Language Translation via Language-Agnostic Sentence Embedding Supervision

    In: Proceedings of the Tenth Conference on Machine Translation. Conference on Machine Translation (WMT-2025), November 8-9, Suzhou, China, Association for Computational Linguistics, 2025.

  3. Gerhard Sonnenberg; Peter Stein; Fabio Espinosa; Daniel Porta

    Queryable AAS Graphs for AI Agents: An Event-Driven Knowledge Graph Integration for AAS Environments

    In: IEEE International Conference on Emerging Technologies and Factory Automation. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2025), IEEE, 2025.

  4. Janina Schneider; Daniel Lukats; Christoph Manss; Frederic Theodor Stahl

    A Digital Twin Paradigm for Data-Driven Monitoring and Management of Lake Ecosystems

    In: INFORMATIK 2025: The Wide Open - Offenheit von Source bis Science. Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2025), September 16-19, Potsdam, Germany, Pages 1-6, Lecture Notes in Informatics (LNI), Vol. P-366, Gesellschaft für Informatik e.V. Bonn, 9/2025.

  5. Christoph Manss; Tarek Elmihoub

    Evaluation of Explanations for Object Detection Using Transformers with Sonar Data

    In: Artificial Intelligence XLII, 45th SGAI International Conference on Artificial Intelligence, AI 2025. SGAI International Conference on Artificial Intelligence (AI-2025), December 16-18, Cambridge, United Kingdom, LNAI (LNAI), Vol. 16302, Springer Nature Switzerland, Cham, 12/2025.

  6. Alonso Palomino Garibay; Andreas Fischer; David Buschhüter; Roland Roller; Niels Pinkwart; Benjamin Paassen

    Mitigating Bias in Item Retrieval for Enhancing Exam Assembly in Vocational Education Services

    In: Weizhu Chen; Yi Yang; Mohammad Kachuee; Xue-Yong Fu (Hrsg.). Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 3: Industry Track). Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics (NAACL), Albuquerque, New Mexico, Pages 183-193, ISBN 979-8-89176-194-0, Association for Computational Linguistics, 2025.

  7. Mario Schiffer; Lars Pape; Julia K. Wolff; Raoul Gertges; Vanessa Visconti; Karen Reichert; Anja Pfau; Anne Dieterle; Katja Sauerstein; Andreas Kribben; Kristina Boss; Felix Nensa; Sinem Karaterzi; Philipp Winneckens; Mario Cypko; Bianca Zukunft; Wiebke Duettmann; Eva Schrezenmeier; Marcel G. Naik; Fabian Halleck; Roland Roller; Sebastian Möller; Oliver Amft; Klemens Budde

    The SmartNTx-study: a prospective, randomized controlled trial to investigate additional interventional telemedical management versus standard aftercare in kidney transplant recipients

    In: Frontiers in Nephrology, Vol. 5 - 2025, Pages 1-14, Frontiers Media SA, 2025.

  8. Jonas Pauly; Julia Mayer; Christof Schroth; Rasha Abu Qasem; Martin Memmel; Karina Pallagst

    Digitale Entscheidungsfindung in der Raumplanung

    In: RaumPlanung, Vol. 233, No. 5, Pages 61-67, Informationskreis für Raumplanung (IfR) e.V. 2025.

  9. Martin Kuhn; Joscha Grüger; Ralph Bergmann

    PALSYN: a method for synthetic multi-perspective event log generation with differential private guarantees

    In: Chiara Di Francescomarino; Marwan Hassani; Jan Mendling; Arik Senderovich (Hrsg.). Process Science, Vol. 2, No. 1, Pages 1-37, Springer Nature, Cham, 12/2025.

  10. Kanta Yamaoka; Ko Watanabe; Koichi Kise; Andreas Dengel; Shoya Ishimaru

    Img2Vocab: Explore Words Tied to Your Life With LLMs and Social Media Images

    In: IEEE Access (IEEE), Vol. 13, Pages 20456-20471, IEEE, 2025.

Jahr

Mehr Optionen