Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 31 to 40 of 5634.
  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 …

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

  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 …

  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 …

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

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

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

  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, …