Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 641 bis 650 von 14829.
  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. MujocoROS2Control: Seamless MuJoCo Integration with ROS 2 for Robot Simulation and Control

    In: Daniel S. Katz (Hrsg.). Journal of Open Source Software (JOSS), Vol. 10, No. 116, Pages *-*, Journal of Open Source Software, Online, 12/2025.

  8. Hassan Soliman; Hitesh Kotte; Milos Kravcik; Norbert Pengel; Nghia Duong-Trung

    Retrieval-Augmented Chatbots for Scalable Educational Support in Higher Education

    In: Lixiang Yan; Andy Nguyen; Ryan Baker; Mutlu Cukurova; Dragan Gasevic; Kaixun Yang; Yueqiao Jin; Linxuan Zhao; Yuheng Li (Hrsg.). Proceedings of the Second International Workshop on Generative AI for Learning Analytics co-located with the 15th International Conference on Learning Analytics and Knowledge (LAK 2025). International Workshop on Generative AI for Learning Analytics (GenAI-LA-2025), March 3, Dublin, Ireland, Pages 22-31, CEUR Workshop Proceedings (CEUR), Vol. 3994, CEUR-WS.org, 7/2025.

  9. Lukas Groß; Elie Mounzer; David M. Wawrzyniak; Josef M. Winter; Nikolaus A. Adams

    Tensor Network Fluid Simulations in Structured Domains Using the Lattice Boltzmann Method

    In: ArXiv e-prints (arxiv), Pages 1-24, arXiv, 12/2025.

  10. A Teleoperation Testbed for Resilient Wireless Industrial Collaborative Robotics Evaluations

    2025 IEEE 21st International Conference on Factory Communication Systems (WFCS), 6/2025.