Skip to main content Skip to main navigation

Publications

Displaying results 151 to 160 of 13744.

  1. Rolf Drechsler; Christina Plump; Martha Schnieber

    The Future is Hybrid: Next Generation Data Structures for Formal Verification

    In: Rolf Drechsler; Christina Plump; Martha Schnieber (Hrsg.). 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  2. Sabine Blaschke; Harald Dormann; Rajan Somasundaram; Christoph Dodt; Ingo Graeff; Hans-Jörg Busch; Bernadett Erdmann; Marc Wieckenberg; Christoph Haedicke; Katrin Esslinger; Elisabeth Nyoungui; Tim Friede; Felix Walcher; Julia Talamo; Julia K. Wolff; OPTINOFA Study Group; Wilhelm Behringer; Ulrich Heida; Thomas Ruhnke; Christian Günster; Patrik Dröge; Michael Schmucker; Martin Haag; Michael Dietrich; Wiebke Schirrmeister; Felix Greiner; Paul Ludolph; Hans-Dieter Nolting; Kerstin Pischek-Koch; Stefanie Wache; Irina Chaplinskaya-Sobol; Dagmar Krefting; Kai Antweiler; Eva Hummers; Marina Karg; Jennifer Lenz; Kathrein Munski; Andreas Brockmann; Wiebke Boehne; Heike Teupe

    Strukturierte Ersteinschätzung in der Notaufnahme mittels des intelligenten Assistenzdienstes OPTINOFA

    In: Medizinische Klinik - Intensivmedizin und Notfallmedizin, Vol. 119, No. 9, Pages 751-762, SPRINGER NATURE, 12/2024.

  3. Khushboo Qayyum; Sallar Ahmadi-Pour; Chandan Jha; Muhammad Hassan; Rolf Drechsler

    LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  4. Luis Perotti; Oskar Stamm; Michael Dietrich; Ilona Buchem; Ursula Müller-Werdan

    The usability and user experience of an interactive e-learning platform to empower older adults when using electronic personal health records: an online intervention study

    In: Universal Access in the Information Society, Vol. 0, Pages 0-0, Springer, 6/2024.

  5. Moritz Schmidt; Abhoy Kole; Leon Wichette; Rolf Drechsler; Frank Kirchner; Elie Mounzer

    Exploration of Design Alternatives for Reducing Idle Time in Shor's Algorithm: A Study on Monolithic and Distributed Quantum Systems

    In: ArXiv e-prints (arxiv), Vol. abs/2503.22564, Arxiv, 2025.

  6. Joachim Hertzberg

    Autonome Roboter im Ackerbau: Technische Herausforderungen

    In: Ludger Frerichs. Jahrbuch Agrartechnik 2024. Pages 48-57, Jahrbuch Agrartechnik, Vol. 36, Institut für mobile Maschinen und Nutzfahrzeuge, Braunschweig, 4/2025.

  7. A. Hendawy; Jan Peters; C. D'Eramo

    Multi-Task Reinforcement Learning with Mixture of Orthogonal Experts

    In: LEARNING REPRESENTATIONS. INTERNATIONAL CONFERENCE. 12TH 2024. International Conference on Learning Representations (ICLR-2024), International Conference on Learning Representations (ICLR), 2024.

  8. Y. Goeksu; A. Almeida-Correia; V. Prasad; A. Kshirsagar; D. Koert; Jan Peters; G. Chalvatzaki

    Kinematically Constrained Human-like Bimanual Robot-to-Human Handovers

    In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction (HRI ’24 Companion). ACM/IEEE International Conference on Human-Robot Interaction (HRI-2024), Association for Computing Machinery, 2024.

  9. F. Hahne; Prasad V.; Kshirsagar A.; Koert D.; Stock-Homburg R. M.; Jan Peters; Chalvatzaki G.

    Transition State Clustering for Interaction Segmentation and Learning

    In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction (HRI ’24 Companion). ACM/IEEE International Conference on Human-Robot Interaction (HRI-2024), Association for Computing Machinery, 2024.

  10. C. Derstroff; J. Brugger; M. Cerrato; Jan Peters; S. Kramer

    Peer Learning: Learning Complex Policies in Groups from Scratch via Action Recommendations

    In: The Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI-24). AAAI Conference on Artificial Intelligence (AAAI-2024), AAAI Press, Washington, DC, USA, 2024.

Year

More options