Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 14915.

  1. Luca Müller; Khushboo Qayyum; Nele Hugo; Muhammad Hassan; Rolf Drechsler

    Automation of Polynomial Formal Verification using Large Language Models

    In: 44th IEEE VLSI Test Symposium (VTS). IEEE VLSI Test Symposium (VTS-2026), April 27-29, Napa, USA, 2026.

  2. Rolf Drechsler

    LLM-based Generation of High-Level Benchmarks for MVL Designs

    In: IEEE International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2026), May 19-21, Sendai, Japan, 2026.

  3. Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Integrating Optical Probing Security Evaluation Framework Into ASIC Design Flow

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

  4. Caroline Dominik; Rolf Drechsler

    Using Virtual Prototypes for Causal Fault Explanation at System Level

    In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, Würzburg, Germany, 2026.

  5. Sara-Jane Bittner; Michael Barz; Daniel Sonntag

    FunduScope: a human-centered, machine learning-based interactive tool for training junior ophthalmologists in diabetic retinopathy detection

    In: Frontiers in Big Data, Vol. Volume 9 - 2026, Pages 1-14, Frontiers Media SA, 3/2026.

  6. Tobias Wirth; Mihai Maftei; Hartmut Hilpert; Lisa-Marie Goltz; Iris Merget

    KI für eine sichere Gesellschaft

    In: Maximilian Wanderwitz. Risikoanalyse Künstliche Intelligenz. Pages 381-421, ISBN 978-3-662-72661-7, Springer Berlin Heidelberg, Berlin, Heidelberg, 2026.

  7. Yaxu Xie; Abdalla Elsayed Abdou Elsayed Mohamed Arafa; Alireza Javanmardi; Christen Millerdurai; Jia Cheng Hu; Shaoxiang Wang; Alain Pagani; Didier Stricker

    ReLaGS: Relational Language Gaussian Splatting

    In: Proc. of. International Conference on Computer Vision and Pattern Recognition (CVPR-2026), IEEE/CVF, 2026.

  8. Jan Tauberschmidt; Sophie Fellenz; Sebastian Vollmer; Andrew B. Duncan

    Physics-Constrained Fine-Tuning of Flow-Matching Models for Generation and Inverse Problems

    In: The Fourteenth International Conference on Learning Representations. International Conference on Learning Representations (ICLR), located at ICLR-2026, April 23-27, Rio de Janeiro, Brazil, ICLR, 2026.

  9. Mohamed Karim Belaid; Maximilian Rabus; Eyke Hüllermeier

    Uncertainty Quantification in Pairwise Difference Learning for Classification

    In: Machine Learning, Vol. 115, No. 1, Pages 12-12, Springer, 2026.

  10. Anja Henke; Jason M Harley; Negar Matin; Johann Chevalère; Verena V Hafner; Niels Pinkwart; Rebecca Lazarides

    Multimodal perspectives on affective dynamics in an intelligent tutoring system

    In: Learning and Instruction, Vol. 103, Pergamon, 1/2026.

Jahr

Mehr Optionen