Skip to main content Skip to main navigation

Publications

Displaying results 911 to 920 of 14699.

  1. Hacane Hechehouche; André Antakli; Matthias Klusch

    LLM-Assisted Modeling of Semantic Web-Enabled Multi-Agents Systems with AJAN

    In: Proc. 18th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2026), Scitepress, 2026.

  2. Leonard Frank Neis; André Antakli; Matthias Klusch

    CARJAN: Agent-Based Generation and Simulation of Traffic Scenarios with AJAN

    In: Proc. 18th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2026), Scitepress, 2026.

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

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

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

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

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

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

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

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

Year

More options