Skip to main content Skip to main navigation

Publications

Displaying results 1021 to 1030 of 14394.
  1. 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.

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

  3. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    PolyEMAC: Polynomial Error Metrics Analysis in Approximate Computing

    In: 39th International Conference On VLSI Design. International Conference on VLSI Design (VLSID-2026), January 3-4, Pune, India, 2026.

  4. Karl Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Pages 1-1, IEEE, 2025.

  5. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Debugging and Fault Correction of Combinational Circuits With Constant Cutwidth

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

  6. Martin Wittmaier; Sebastian Wolff; Marco Wöltje; Ole van Laaten; Thomas Vögele; Babu Ajish; Yuhan Jin; Yi-Ling Liu; Tim Tiedemann; Matthis Trost; Philipp Meyer; Timo Lange; Peter Schaeidt; Joschua Marquart

    Bauabfälle: Einsatz von Künstlicher Intelligenz und Robotik für eine nachhaltige Kreislaufwirtschaft

    Mineralische Nebenprodukt, TK Verlag, 6/2025.

  7. Phuc Minh Nguyen; Ngoc-Hieu Nguyen; Ho Minh Duy Nguyen; Anji Liu; An Mai; Binh T. Nguyen; Daniel Sonntag; Khoa D. Doan

    Mitigating Reward Over-optimization in Direct Alignment Algorithms with Importance Sampling

    In: The Thirty-Ninth Annual Conference on Neural Information Processing Systems (NeurIPS). Neural Information Processing Systems (NeurIPS-2025), December 2-12, USA, Advances in Neural Information Processing Systems, 2025.

  8. Tuan Tran; Ho Minh Duy Nguyen; Hoai-Chau Tran; Michael Barz; Khoa D. Doan; Roger Wattenhofer; Ngo Anh Vien; Mathias Niepert; Daniel Sonntag; Paul Swoboda

    How Many Tokens Do 3D Point Cloud Transformer Architectures Really Need?

    In: The Thirty-Ninth Annual Conference on Neural Information Processing Systems (NeurIPS). Neural Information Processing Systems (NeurIPS-2025), December 2-12, USA, Advances in Neural Information Processing Systems, 12/2025.

  9. Md Abdul Kadir; Sai Suresh Macharla Vasu; Sidharth S. Nair; Daniel Sonntag

    AuditCopilot: Leveraging LLMs for Fraud Detection in Double-Entry Bookkeeping

    In: Proceedings of the NeurIPS 2025 Workshop on Generative AI in Finance. Workshop on Generative AI in Finance, located at NeurIPS-2025, December 6, San Diego, CA, USA, 2025.

  10. Marco Simon; Chris Urban; Michael Winter; Aljosha Köcher

    Realization of a Shared Manufacturing Network using Capabilities, Skills and Services

    In: 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2025), Pages 1-8, IEEE, 2025.