Skip to main content Skip to main navigation

Publications

Displaying results 1641 to 1650 of 14738.
  1. Sylvio Rüdian; Julia Podelo; Jakub Ku¸ílek; Niels Pinkwart

    Feedback on feedback: student’s perceptions for feedback from teachers and few-shot LLMs

    In: Proceedings of the 15th International Learning Analytics and Knowledge Conference. International Conference on Learning Analytics & Knowledge (LAK), Pages 82-92, ISBN 979-8-4007-0701-8/25/03, 3/2025.

  2. Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  3. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  4. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  5. BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  6. MinJointTracker: Real-time inertial kinematic chain tracking with joint position estimation and minimal state size

    In: SPA 2025 - Signal Processing - Algorithms, Architectures, Arrangements, and Applications - Conference Proceedings. Signal Processing - Algorithms, Architectures, Arrangements, and Applications (SPA-2025), 28th, September 17-19, Poznan, Poland, IEEE Explore, 2025.

  7. Judith Bütefür; Elsa Andrea Kirchner

    Influence between Motor Learning and Cognitive Workload in Microgravity.

    In: 4th International Technology Transfer Exhibition and Conference "New Space Economy (NSE)". International Technology Transfer Exhibition and Conference "New Space Economy (NSE)" (NSE-2022), November 30 - December 2, Rome, Italy, 11/2022.

  8. Julia Habenicht; Elsa Andrea Kirchner

    Serious Games as a Training Method for Fine Motor Movements in Microgravity.

    In: 4th International Technology Transfer Exhibition and Conference "New Space Economy (NSE)". International Technology Transfer Exhibition and Conference "New Space Economy (NSE)" (NSE-2022), November 30 - December 2, Rome, Italy, 2022.

  9. Julia Habenicht; Elsa Andrea Kirchner

    Preliminary results on the evaluation of different feedback methods for the operation of a muscle-controlled serious game

    In: Procedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC), February 21-23, Rome, Italy, Pages 721-725, Vol. 1, ISBN 978-989-758-688-0, SCITEPRESS, 2/2024.