Skip to main content Skip to main navigation

Publications

Displaying results 221 to 230 of 14535.

  1. Serge Autexier

    On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice

    In: Tiziana Margaria; Bernhard Steffen (Hrsg.). 12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation, (ISOLA 2024),Crete, Greece, October 27–31, 2024, Part IV. International Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISOLA-2024), October 27-31, Heraklion, Greece, LNCS, Vol. 15222, Springer Cham, 10/2024.

  2. Sahar Abdelnabi; Amr Gomaa; Sarath Sivaprasad; Lea Schönherr; Mario Fritz

    Cooperation, Competition, and Maliciousness: LLM-Stakeholders Interactive Negotiation

    In: Neural Information Processing Systems (NeurIPS). Neural Information Processing Systems (NeurIPS-2024), located at The Thirty-eight Conference on Neural Information Processing Systems Datasets and Benchmarks Track, December 10-15, Vancouver, British Columbia, Canada, NeurIPS, 2024.

  3. Vinit Vikas Hegiste; Tatjana Legler; Martin Ruskowski

    Federated Ensemble YOLOv5 – A Better Generalized Object Detection Algorithm

    In: 2023 Eighth International Conference on Fog and Mobile Edge Computing (FMEC). International Conference on Fog and Mobile Edge Computing (FMEC-2023), September 18-20, Tartu, Estonia, Pages 7-14, IEEE, 2023.

  4. Tapanta Bhanja; Jonathan Nußbaum; Khalil Abuibaid; Tatjana Legler; Achim Wagner; Martin Ruskowski

    The need for neuromorphic computing in industrial robotics

    In: 2023 International Conference on Artificial Intelligence and Power Engineering (AIPE). International Conference on Artificial Intelligence and Power Engineering (AIPE-2023), October 20-22, Tokyo, Japan, Pages 42-49, IEEE, 2023.

  5. William Motsch; Achim Wagner; Martin Ruskowski

    Autonomous Agent-Based Adaptation of Energy-Optimized Production Schedules Using Extensive-Form Games

    In: Sustainability, Vol. 16, No. 9, Pages 1-30, MDPI, 2024.

  6. Hannah Friederike Fischer; Anke Königschulte; Jana Koch; Serge Autexier; Gesche Joost

    Co-designing a Tangible Communication Device to Enrich Communication over Distance

    In: Companion Proceedings of the 2024 Conference on Interactive Surfaces and Spaces. ACM International Conference on Interactive Surfaces and Spaces (ISS-2024), November 27-31, Vancouver BC Canada, Canada, Pages 58-62, ISBN 9798400712784, ACM, 10/2024.

  7. Hannes Kath; Ilira Troshani; Bengt Lüers; Thiago Gouvea; Daniel Sonntag

    Enhancing Biodiversity Monitoring: An Interactive Tool for Efficient Identification of Species in Large Bioacoustics Datasets

    In: ICMI Companion '24: Companion Proceedings of the 26th International Conference on Multimodal Interaction. ACM International Conference on Multimodal Interaction (ICMI-2024), 26th International Conference on Multimodal Interaction, November 4-8, Costa Rica, Pages 91-93, ICMI, Association for Computing Machinery, 2024.

  8. Marc Hildebrandt

    Design of a Compact, Agile AUV with Large Thrust-to-Weight Ratio

    In: 2024 IEEE OES AUV Symposium. IEEE/OES Autonomous Underwater Vehicles (AUV-2024), located at 2024 IEEE OES AUV Symposium, September 18-20, Boston, Ma, USA, IEEE/OES, 2024.

  9. László Kopácsi; Tobias Sebastian Schneider; Chiara Karr; Michael Barz; Daniel Sonntag

    GazeLock: Gaze- and Lock Pattern-Based Authentication

    In: Proceedings of the 30th ACM Symposium on Virtual Reality Software and Technology (VRST '24). ACM Symposium on Virtual Reality Software and Technology (VRST-2024), October 9-11, Trier, Germany, Pages 1-2, No. 94, ISBN 9798400705359, Association for Computing Machinery, New York, NY, USA, 10/2024.

  10. László Kopácsi; Panagiotis Karagiannis; Sotiris Makris; Johan Kildal; Andoni Rivera-Pinto; Judit Ruiz de Munain; Jesús Rosel; Maria Madarieta; Nikolaos Tseregkounis; Konstantina Salagianni; Panagiotis Aivaliotis; Michael Barz; Daniel Sonntag

    The MASTER XR Platform for Robotics Training in Manufacturing

    In: Proceedings of the 30th ACM Symposium on Virtual Reality Software and Technology (VRST '24). ACM Symposium on Virtual Reality Software and Technology (VRST-2024), October 9-11, Trier, Germany, Pages 1-2, No. 67, ISBN 9798400705359, Association for Computing Machinery, New York, NY, USA, 10/2024.

Year

More options