Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 331 bis 340 von 13867.

  1. Abhoy Kole; Rolf Drechsler

    Performance Gains in Quantum SAT Solvers Using ESOP Encoding

    In: Proceedings of the Workshop on Formal Methods in Quantum Computing (FMQC 2025). Workshop on Formal Methods in Quantum Computing (FMQC-2025), located at CONFEST 2025, August 25, Aarhus, Denmark, 2025.

  2. Saeideh Nabipour; Kamalika Datta; Abhoy Kole; Saeideh Shirinzadeh; Rolf Drechsler

    Fast and Scalable MAGIC-Based Wallace Tree Multiplier for In-Memory Computing

    In: Proceedings of the 2025 IEEE Cross-disciplinary Conference on Memory-Centric Computing (CCMCC). IEEE Cross-disciplinary Conference on Memory-Centric Computing (CCMCC-2025), October 8-10, Dresden, Germany, IEEE, 2025.

  3. Francisco José Martínez-Peral; Jose Antonio Ferez-Rubio; Dennis Mronga; José de Gea Fernández; José Vicente Segura-Heras; Carlos Perez Vidal

    Collision-Free Robotic Manipulation: A Review and Bibliometric Analysis

    In: International Journal of Systems Science, Pages 1-24, Taylor & Francis, 2025.

  4. Sai Srinivas Jeevanandam; Sandeep Prudhvi Krishna Inuganti; Shreedhar Govil; Didier Stricker; Jason Raphael Rambach

    JENGA: Object selection and pose estimation for robotic grasping from a stack

    In: 2025 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2025). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2025), October 19-25, Hangzhou, China, IEEE Robotics and Automation Society, 10/2025.

  5. Alexander Michael Rombach; Peter Fettke

    Deep Learning Based Key Information Extraction from Business Documents: Systematic Literature Review

    In: ACM Computing Surveys (CSUR), Vol. 58, No. 2, Pages 1-37, Association for Computing Machinery, New York, NY, USA, 2025.

  6. Judith Bütefür; Mathias Trampler; Elsa Andrea Kirchner

    Technical Test of a Dry Electrode Headset for EEG Measurement Under Microgravity

    In: Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC-2024), located at BIOSTEC 2024, Rom, Italy, ISBN 978-3-031-96899-0, Springer, Cham, 8/2025.

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

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

  9. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    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.

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

Jahr

Mehr Optionen