Skip to main content Skip to main navigation

Publications

Displaying results 161 to 170 of 13614.

  1. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor

    In: 18th ACM International Symposium on Nanoscale Architectures (NANOARCH). IEEE / ACM International Symposium on Nanoscale Architectures (NanoArch-2023), December 18-20, Dresden, Germany, 2023.

  2. Kamalika Datta; Rolf Drechsler

    Memristors: Device Modeling, Design and Verification

    In: Proceedings of the 9th IEEE International Symposium on Smart Electronic Systems (iSES). IEEE International Symposium on Smart Electronic Systems (iSES-2023), September 18-20, Ahmedabad, India, 2023.

  3. Simranjeet Singh; Chandan Kumar Jha; Ankit Bende; Phrangboklang Lyngton Thangkhiew; Vikas Rana; Sachin Patkar; Rolf Drechsler; Farhad Merchant

    Should We Even Optimize for Execution Energy? Rethinking Mapping for MAGIC Design Style

    In: International Conference on Hardware/Software Codesign and System Synthesis | Embedded System Week (CODES+ISSS). International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS-2023), September 17-22, Hamburg, Germany, 2023.

  4. Jan-Tilman Seipp; Felix Köhler; David Harbecke; Leonhard Hennig; Phuc Tran Truong

    Text2Tech - Deep Learning-based Text Mining for Technology Monitoring in Automotive Production

    In: 13th Global TechMining Conference 2023 - Conference Proceedings. Global TechMining Conference, November 10, Global TechMining Conference, 2023.

  5. Deborah Baum; Kevin Baum; Timo P Gros; Verena Wolf

    XAI Requirements in Smart Production Processes: A Case Study

    In: Luca Longo (Hrsg.). Explainable Artificial Intelligence, First World Conference, Proceedings, Part I. xAI: World Conference on Explainable Artificial Intelligence (xAI-2023), July 26-28, Lissabon, Portugal, Pages 3-24, Communications in Computer and Information Science (CCIS), Vol. 1901, ISBN 978-3-031-44063-2, Springer Nature Switzerland, 2023.

  6. Lukas Rust; Bilal Wehbe; Shubham Vyas

    AUV Trajectory Optimization with hydrodynamic forces for icy moon exploration

    In: Proceedings of the 17th Symposium on Advanced Space Technologies in Robotics and Automation. ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA-2023), October 18-20, Leiden, Netherlands, 2023.

  7. Daniel Porta

    AIQUAMA: Towards Zero-Error Manual and Hybrid Assembly Processes

    In: Proceedings of the 7th World Engineers Convention. World Engineers Convention (WEC-2023), October 11-13, Prague, Czech Republic, WEC, 2023.

  8. Hamraz Javaheri; Agnes Grünerbl; Eloise Monger; Mary Gobbi; Jakob Karolus; Paul Lukowicz

    RescuAR: A Self-Directed Augmented Reality System for Cardiopulmonary Resuscitation Training

    In: Pervasive Computing Technologies for Healthcare, 17th International Conference, Proceedings. EAI International Conference on Pervasive Computing Technologies for Healthcare (EAI PervasiveHealth-2023), November 27-29, Malmö, Sweden, Springer, 2023.

  9. Dominique Nshimyimana; Vitor Fortes Rey; Paul Lukowicz

    Contrastive Left-Right Wearable Sensors (IMUs) Consistency Matching for HAR

    In: Sozo Inoue; Md Atiqur Rahman Ahad; Tahera Hossain; Shahera Hossain; Sungho Suh (Hrsg.). In Proceedings of the 5th International Conference on Activity and Behavior Computing (ABC '23), 2023. International Conference on Activity and Behavior Computing (ABC-2023), September 7-9, Kaiserslautern, Germany, Springer, 2023.

  10. -- (Hrsg.)

    5th International Conference on Activity and Behavior Computing

    International Conference on Activity and Behavior Computing (ABC-2023), located at 5th International Conference on Activity and Behavior Computing, September 7-9, Kaiserslautern, Germany, Springer, 2023.

Year

More options