Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 171 bis 180 von 14617.
  1. Christian Imenkamp; Joscha Grüger; Martin Kuhn; Christoph Matheja; Andrey Rivkin; Agnes Koschmider

    YAPNE: A Tool for Modeling and Automated Verification of Data Petri Nets

    In: Michael Arias Chaves; Henrik Leopold; Adriana Marotta; Manuel Resinas; Francesca Zerbato (Hrsg.). Proceedings of the ICPM Doctoral Consortium and Demo Track 2025 co-located with the 7th International Conference on Process Mining (ICPM 2025). International Conference on Process Mining (ICPM-2025), 7th International Conference on Process Mining (ICPM 2025), located at ICPM 2025, October 20-24, Montevideo, Uruguay, CEUR Workshop Proceedings, Vol. 4088, ISBN 1613-0073, CEUR-WS.org, 2025.

  2. Agnes Gruenerbl; Jan Spilski; Giulia Barbareschi; Kai Kunze; Passant ElAgroudy; Thomas Lachmann; Paul Lukowicz

    2nd International Workshop on Mobile Cognitive-Augmenting and Cognition-Altering Technologies (CAT) in Human-Centered AI

    In: Yomna Abdelrahman; Passant Elagroudy; Florian Alt (Hrsg.). Adjunct Proceedings of the 27th International Conference on Mobile Human-Computer Interaction. ACM International Conference on Mobile Human-Computer Interaction (MobileHCI-2025), September 21-25, Sharm El'Shei, Egypt, ACM, 2025.

  3. Beyond Teleoperation: Autonomous-Assisted Soil Sampling for Decontamination in Hazardous Environments Using a Walking Excavator

    In: 2025 IEEE International Symposium on Safety Security Rescue Robotics (SSRR). IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR-2025), October 29-31, Galway, Ireland, IEEE, New York, NY, USA, 10/2025.

  4. Junning Huang; Davide Tateo; Puze Liu; Jan Peters

    Adaptive Control Based Friction Estimation for Tracking Control of Robot Manipulators

    In: IEEE Robotics and Automation Letters (RA-L), Vol. 10, No. 3, Pages 2454-2461, IEEE, 2025.

  5. Jan Speller; Malte Luttermann; Marcel Gehrke; Tanya Braun

    Compression Versus Accuracy: A Hierarchy of Lifted Models

    In: Inês Lynce; Nello Murano; Mauro Vallati; Serena Villata; Federico Chesani; Michela Milano; Andrea Omicini; Mehdi Dastani (Hrsg.). Proceedings of the Twenty-Eighth European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2025), October 25-30, Bologna, Italy, Pages 5051-5058, Vol. 413, IOS Press, 10/2025.

  6. Jan Speller; Malte Luttermann; Marcel Gehrke; Tanya Braun

    Towards Explainability of Approximate Lifted Model Construction: A Geometric Perspective

    In: Sylvia Melzer; Hagen Peukert; Stefan Thiemann; Magnus Bender; Özgür L. Özçep; Nele Russwinkel; Kai Sauerwald; Diedrich Wolter (Hrsg.). Proceedings of the Joint Workshop on Humanities-Centred Artificial Intelligence and Formal & Cognitive Reasoning co-located with 48th German Conference on Artificial Intelligence. Joint Workshop on Humanities-Centred Artificial Intelligence and Formal & Cognitive Reasoning (CHAI and FCR-2025), located at 48th German Conference on Artificial Intelligence (KI-2025), September 16-19, Potsdam, Germany, Pages 41-56, Vol. 4058, CEUR, 10/2025.

  7. Towards an AI-Based Therapeutic Assistant to Enhance Well-Being: Preliminary Results from a Design Science Research Project

    In: Wirtschaftsinformatik 2025 Proceedings (WI 2025). Internationale Tagung Wirtschaftsinformatik (WI-2025), Münster, Wirtschaftsinformatik Proceedings, 2025.

  8. Jonas Eisenmenger; Montserrat Diaz-Carrasco; Marc Manz; Javier Vinals

    Development and application of Interchangeable Tools for Modular In-Orbit Assembly Scenarios

    In: 76th International Astronautical Congress. International Astronautical Congress (IAC-2025), September 29 - October 3, Sydney, Australia, IAF, 10/2025.

  9. Shubham Tiwari

    Hyperparameter Optimization for enhancing the Privacy-Utility Tradeoff

    Mastersthesis, Universität Trier, 2025.