Skip to main content Skip to main navigation

Publications

Displaying results 191 to 200 of 8809.

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

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

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

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

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

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

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

  8. Shaoxiang Wang; Shihong Zhang; Christen Millerdurai; Rüdiger Westermann; Didier Stricker; Alain Pagani

    Inpaint360GS: Efficient Object-Aware 3D Inpainting via Gaussian Splatting for 360° Scenes

    In: Proc. of. IEEE Winter Conference on Applications of Computer Vision (WACV-2026), IEEE/CVF, 2026.

  9. Shiyi Ma; Wenbo Zhang; Jian Zhao; Mingzhe Wu; Yuxin Xia; Xinyue Zhang; Yuxuan Li; Hongzan Sun; Marcin Grzegorzek; Chen Li; Rui Zhao

    A Machine Vision and Integrated Sensors-Based Portable Forensic Field Inspection Device

    In: Peng You; Yuhui Zheng (Hrsg.). Proceedings of International Conference on Image, Vision and Intelligent Systems 2024 (ICIVIS 2024). Pages 453-469, ISBN 978-981-96-2431-7, Springer Nature, 7/2025.

  10. Martha Schnieber; Rolf Drechsler

    Polynomial Test Pattern Generation for Fully Testable Circuits derived from KFDDs

    In: GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2026), February 22-24, Potsdam, Germany, 2026.

Year

More options