Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 811 bis 820 von 14725.
  1. Explainable Biomedical Claim Verification with Large Language Models

    In: Joint Proceedings of the ACM IUI Workshops 2025. International Conference on Intelligent User Interfaces (IUI-2025), ACM IUI Workshops 2025, located at IUI-2025, March 24-27, Cagliari, Italy, Joint Proceedings of the ACM IUI Workshops 2025, 3/2025.

  2. David Buschhüter; Norbert Pengel

    Sensor-Based Learning Analytics for Mentoring in Higher Education: An Example in the Context of the AI Act

    In: Companion Proceedings of the 15th International Learning Analytics and Knowledge Conference (LAK'25). International Conference on Learning Analytics & Knowledge (LAK-2025), Expanding the Horizons of Learning Analytics, located at LAK-2025, March 3-7, Dublin, Ireland, Pages 162-164, ISBN 979-8-4007-0701-8, ACM, New York, 3/2025.

  3. Enhancing Plant Variety Discovery Process with Visual Trait Assessment in VR

    In: 2025 IEEE Conference Virtual Reality and 3D User Interfaces (VR). IEEE Conference on Virtual Reality and 3D User Interfaces (VR-2025), France, Pages 125-134, IEEE, 3/2025.

  4. Enabling Reliable Long-Term Robotic Data Acquisition: An Exemplary Use-Case in Agricultural Plant Monitoring

    In: Tamim Asfour (Hrsg.). 1st German Robotics Conference. German Robotics Conference (GRC-2025), March 13-15, Nuremberg, Germany, GRC, 2025.

  5. Robert Leist; Hans-Jürgen Profitlich; Tim Hunsicker; Daniel Sonntag

    Towards Trustable Clinical Decision Support Systems: A User Study with Ophthalmologists

    In: IUI '25: Proceedings of the 30th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI-2025), March 24-27, Cagliari, Italy, ISBN 979-8-4007-1306-4, Association for Computing Machinery, New York, NY, United States, 3/2025.

  6. FEDWELL: Life-Long Federated User and Mental Modeling for Health and Well-being

    In: RPEatCAiSE25: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering, June 16-20, 2025, Vienna, Austria. International Conference on Advanced Information Systems Engineering (CAiSE-2025), 6/2025.

  7. Preserving and Improving Verifiability of Circuits Based on Local Transformations

    In: 26th IEEE Latin American Test Symposium 2025. IEEE Latin American Test Symposium (LATS-2025), March 11-14, San Andres, Colombia, 2025.

  8. Sabine Janzen; Hannah Stein; Katharina Trinley; Cicy Agnes; Vaibhav Jain; Karan Rajeshkar; Nirav Shenoy; Anika Rusch; Sujatro Ghosh; Wolfgang Maaß

    ESCADE: Energy-efficient Artificial Intelligence for Cost-effective and Sustainable Data Centers

    In: RPEatCAiSE25: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering, June 16-20, 2025, Vienna, Austria. International Conference on Advanced Information Systems Engineering (CAiSE-2025), 6/2025.

  9. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Lower bound proof for the size of BDDs representing a shifted addition

    In: Information Processing Letters, Vol. 24, Pages 140-151, IEEE, 2025.

  10. Bernhard J. Berger; Christina Plump; Rolf Drechsler

    Why less is sometimes more: Using Boolean literals to solve 2048

    In: IT - information technology (IT), Vol. 66, Pages 4-5, De Gruyter Brill, 2025.