Skip to main content Skip to main navigation

Publications

Displaying results 1641 to 1650 of 15033.

  1. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units

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

  2. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers

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

  3. Rolf Drechsler; Christina Plump; Bernhard Berger

    Explanation in Bio-inspired Computing: Towards Understanding of AI Systems

    In: Proceedings of the 1st International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE). International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE-2025), November 21-22, Kolkata, India, IEEE Xplore, 2025.

  4. Ruidi Qiu; Yalin Zhang; Rolf Drechsler; Tsungyi Ho; Ulf Schlichtmann; Bing Li

    ConfiBench: Automatic Testbench Generation with Confidence-Based Scenario Mask and Testbench Ensemble using LLMs for HDL Design

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

  5. Natalia Piaseczna; Rafal Doniec; Konrad Duraj; Szymon Sieciński; Marek Jędrychowski; Ewaryst Tkacz; Marcin Grzegorzek

    Distinguishing Drivers with Smart Glasses Data and Deep Neural Network

    In: Ireneusz Czarnowski; Marek Jasiński (Hrsg.). IEEE EUROCON 2025 - 21st International Conference on Smart Technologies. IEEE International Conference on Smart Technologies (EUROCON-2025), June 4-6, Gdynia, Poland, Pages 1-6, Institute of Electrical and Electronics Engineers, 6/2025.

  6. Wei Jiang; Hans Dieter Schotten

    A Heterogeneous Massive MIMO Technique for Uniform Service in Cellular Networks

    In: Proceedings of the IEEE International Conference on Communications. IEEE International Conference on Communications (ICC-2026), May 24-28, Glasgow, United Kingdom, IEEE, 5/2026.

  7. Donald Pfaffmann; Matthias Klusch; Marcel Steinmetz

    HyPlan: Hybrid Learning-Assisted Planning Under Uncertainty for Safe Autonomous Driving

    In: Proceedings of the 37th IEEE Intelligent Vehicles Symposium. IEEE Intelligent Vehicles Symposium (IV-2026), Detroit, MI, USA, IEEE, 2026.

  8. Charlott Frederike Jakob; David Harbecke; Patrick Parschan; Pia Wenzel; Vera Schmitt

    PolBiX: Detecting LLMs’ Political Bias in Fact-Checking through X-phemisms

    In: Findings of the Association for Computational Linguistics: EMNLP 2025. Conference on Empirical Methods in Natural Language Processing (EMNLP-2025), Findings of the Association for Computational Linguistics: EMNLP 2025, located at EMNLP 2025, November 4-9, Suzhou, China, Association for Computational Linguistics, 2025.

  9. Hannah Stein; Sabine Janzen; Cicy Kuriakose Agnes; Duc Trung Ninh; Wolfgang Maaß

    Towards Decision Support Systems for Cost-effective and Energy-efficient AI Operations in Data Centers

    In: Proceedings of the 38th International Conference on Advanced Systems Engineering (CAiSE). International Conference on Advanced Information Systems Engineering (CAiSE-2026), June 8-12, Verona, Italy, Springer, 6/2026.

  10. Niklas Kueper; Kartik Chari; Elsa Andrea Kirchner

    Enhancing Robustness of Asynchronous EEG-Based Movement Prediction using Classifier Ensembles

    arxiv, 2026.

Year

More options