Skip to main content Skip to main navigation

Publications

Displaying results 221 to 230 of 14766.
  1. Oscar Lima; Marc Vinci; Sunandita Patra; Sebastian Stock; Joachim Hertzberg; Martin Atzmüller; Malik Ghallab; Dana Nau; Paolo Traverso

    Acting and Planning with Hierarchical Operational Models on a Mobile Robot: A Study with RAE+UPOM

    In: Proceedings of the 12th European Conference on Mobile Robots (ECMR 2025). European Conference on Mobile Robots (ECMR-2025), located at ECMR-2025, September 3-5, University of Padua, Padua, Italy, Pages 1-6, ISBN 979-8-3315-2705-1, IEEE, Piscataway, NJ, USA, 9/2025.

  2. KI in der Rehabilitation: Anwendung künstlicher mentaler Modelle für eine personalisierte Medizin

    In: Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz, Vol. 68, No. 8, Pages 1-9, Springer Nature, 8/2025.

  3. 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.

  4. Deepak Ravibabu; Sallar Ahmadi-Pour; Muhammad Hassan; Abhoy Kole; Chandan Jha; Rolf Drechsler

    System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit

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

  5. Chandan Jha; Sumit Kumar Jha; Ulf Schlichtmann; Rolf Drechsler

    Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

  6. Mohammad Reza Heidari Iman; Rolf Drechsler; Chandan Jha; Ali Azarpeyvand; Tara Ghasempouri; Sharjeel Imtiaz; Jaan Raik; Samuele Germiniani; Daniele Nicoletti; Graziano Pravadelli; Giorgio Di Natale

    Application of Functional Verification Techniques in Hardware Trust

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

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

  8. 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.

  9. Yasmmin C Martins; Praphulla MS Bhawsar; Jeya B Balasubramanian; Daniel Russ; Wendy SW Wong; Wolfgang Maaß; Jonas S Almeida

    FAIR privacy-preserving operation of large genomic variant calling format (VCF) data without download or installation

    In: AMIA Summits on Translational Science Proceedings 2024. AMIA Joint Summits on Translational Science, Pages 65-74, American Medical Informatics Association, 5/2024.