Skip to main content Skip to main navigation

Publications

Displaying results 1431 to 1440 of 15005.

  1. Fatemeh Shirinzadeh; Saeideh Nabipour; Kamalika Datta; Chandan Jha; Saeideh Shirinzadeh; Rolf Drechsler

    MAC-based Mapping of Adder Architectures to RRAM Crossbars

    In: 7th International Conference on Emerging Electronics (ICEE 2025). IEEE International Conference on Engineering and Emerging Technologies (ICEET), December 13-16, Bengaluru, India, 2025.

  2. Jan Zielasko; Rolf Drechsler

    Identifying Hardware Optimizations for Neural Network Inference using Virtual Prototypes

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  3. Anna Bernasconi; Valentina Ciriani; Gianmarco Cuciniello; Caroline Dominik; Rolf Drechsler

    Polynomial Verification of 2-Affine Spaces

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, o.A:, 2026.

  4. Caroline Dominik; Rolf Drechsler

    Embedding Modulo Counter Circuits for their Polynomial Formal Verification

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 11-12, Rostock, Germany, 2025.

  5. Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    Symbolic Execution of Unmodified SystemC Peripherals

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV), March 11-12, Rostock, Germany, 2025.

  6. Julio Daniel Guerra Hollstein; Shaoyi Huang; Rolf Drechsler; Bing Li; Yalin Zhang

    Late Breaking Results: Conversion of Neural Networks into Logic Flows for Edge Computing

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  7. Sayed Muddashir Hossain; Jan Alexandersson; Philipp Müller

    M3TCM: Multi-modal Multi-task Context Model for Utterance Classification in Motivational Interviews

    In: Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation. Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING-2024), ACL, 2024.

  8. Benjamin Kisliuk; Jan Christoph Krause; Hendrik Meemken; Juan Carlos Saborìo Morales; Henning Müller; Joachim Hertzberg

    AI in Current and Future Agriculture: An Introductory Overview

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 37, No. 2-4, Pages 117-132, Springer-Verlag GmbH Germany, 2024.

  9. Joachim Hertzberg; Benjamin Kisliuk; Jan Christoph Krause; Cyrill Stachniss

    Interview: Cyrill Stachniss' View on AI in Agriculture

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 37, No. 2-4, Pages 133-141, Springer-Verlag GmbH Germany, 2024.

  10. Joachim Hertzberg; Benjamin Kisliuk; Jan Christoph Krause

    AI in Current and Future Agriculture

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 37, No. 2-4, Pages 113-115, Springer-Verlag GmbH Germany, 2024.

Year

More options