Skip to main content Skip to main navigation

Publications

Displaying results 1641 to 1650 of 14947.

  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. Hirotaka Takita; Shannon L. Walston; Yasuhito Mitsuyama; Ko Watanabe; Shoya Ishimaru; Daiju Ueda

    Comparative performance of large language models in structuring head CT radiology reports: multi-institutional validation study in Japan

    In: Japanese Journal of Radiology, Vol. 43, Pages 1445-1455, Springer, 5/2025.

  6. Ko Watanabe; Yuki Matsuda; Yugo Nakamura; Yutaka Arakawa; Shoya Ishimaru

    TrackThinkDashboard: Understanding Student Self-Regulated Learning in Programming Study

    In: International Journal of Activity and Behavior Computing, Vol. IJABC, Pages 1-17, J-STAGE, 2025.

  7. Lena Herrmann; Alina Griesel; Carmen Moßner; Jan-Philipp Schwarze; Martin Atzmueller

    From Laboratory State into Production: Automating Hyperspectral Image Classification through MLOps

    In: Proceedings 2025 IEEE 37th International Conference on Tools with Artificial Intelligence ICTAI 2025. International Conference on Tools with Artificial Intelligence (AAAI SSS-2025), November 3-5, Athen, Greece, Pages 512-519, IEEE Xplore, 12/2025.

  8. Yassine El Kheir; Arnab Das; Enes Erdem Erdogan; Fabian Ritter Guttierez; Tim Polzehl; Sebastian Möller

    Two Views, One Truth: Spectral and Self-Supervised Features Fusion for Robust Speech Deepfake Detection

    In: Proceedings of the IEEE Workshop on Applications of Signal Processing to Audio and Acoustics. IEEE Workshop on Applications of Signal Processing to Audio and Acoustics (WASPAA-2025), October 12-15, Tahoe City, CA, USA, IEEE, 10/2025.

  9. Tim Bohne; Anne-Kathrin Patricia Windler; Martin Atzmueller

    A Domain-Agnostic Neuro-Symbolic Architecture for Multimodal Human-in-the-Loop Anomaly Detection and Complex Fault Diagnosis

    In: IEEE Access (IEEE), Vol. 13, Pages 210201-210236, IEEE, 12/2025.

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

Year

More options