Skip to main content Skip to main navigation

Publications

Displaying results 1961 to 1970 of 14517.

  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. Felix Goldau

    Adaptive Degrees of Freedom for Shared Control of Assistive Robots

    PhD-Thesis, Universität Bremen, Bremen, 10/2024.

  4. Felix Goldau; Max Pascher; Annalies Baumeister; Patrizia and Tolle; Jens Gerken; Udo Frese

    Adaptive Control in Assistive Application - A Study Evaluating Shared Control by Users with Limited Upper Limb Mobility

    In: 2024 33nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). IEEE International Conference on Robot and Human Interactive Communication (RO-MAN-2024), 33nd IEEE International Conference on Robot and Human Interactive Communication, August 26-30, Pasadena, CA, USA, IEEE, 2024.

  5. Max Pascher; Kirill Kronhardt; Felix Goldau; Udo Frese; Jens Gerken

    In Time and Space: Towards Usable Adaptive Control for Assistive Robotic Arms

    In: 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). IEEE International Conference on Robot and Human Interactive Communication (RO-MAN-2023), Piscataway, NJ, Pages 2300-2307, Institute of Electrical and Electronics Engineers (IEEE), 2023.

  6. Felix Goldau; Yashaswini Shivashankar; Annalies Baumeister; Lennart Drescher; Patrizia Tolle; Udo Frese

    DORMADL - Dataset of human-operated Robot Arm Motion in Activities of Daily Living

    In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2023), The Next Generation of Robotics, October 1-5, Detroit, Michigan, USA, IEEE, 2023.

  7. Pervaiz Khan; Andreas Dengel; Sheraz Ahmed

    Improving Medical Image Classification via Representation Fusion and Contrastive Learning

    In: International Conference on Digital Image Computing: Techniques and Applications (DICTA 2024). International Conference on Digital Image Computing Techniques and Applications (DICTA-2024), November 27-29, Pert, Australia, IEEE Xplore, 2025.

  8. Benedikt Veith; Christoph Fischer; Florian Herrmann; Hans D. Schotten

    Smart Contract Design for Adaptive SLA Management in Autonomous Service Chains

    In: 2024 IEEE Globecom Workshops (GC Wkshps): BlockSecSDN: Blockchain for Secure Software-defined Networking in Smart Communities. IEEE Global Communications Conference Workshops (Globeccom Wkshps-2024), December 8-12, Capetown, South Africa, IEEE, 12/2024.

  9. Brian B. Moser; Ahmed Anwar; Federico Raue; Stanislav Frolov; Andreas Dengel

    Federated Learning for Blind Image Super-Resolution

    In: International Conference on Neural Information Processing (ICONIP). International Conference on Neural Information Processing (ICONIP-2024), December 2-6, IEEE, nstitute of Electrical and Electronics Engineers (IEEE), 2024.

  10. Annalies Baumeister; Felix Goldau; Max Pascher; Jens Gerken; Udo Frese; Patrizia Tolle

    Evaluating Assistive Technologies on a Trade Fair - Methodological Overview and Lessons Learned

    arXiv preprint, 2024.

Year

More options