Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 14835.
  1. Recent advances in tracking control of hydrobatic AUVs

    In: at - Automatisierungstechnik, Vol. 74, No. 2, Pages 91-101, De Gruyter, 3/2026.

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

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

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

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

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

  7. Hui Wang; Hans D. Schotten; Stefan M. Goetz

    Ultra-Fast Wireless Energy Hacking for Roadway Charging: Overcoming Frequency-Varying Encryption and Parameter Drift

    In: IEEE Transactions on Transportation Electrification, Vol. 12, No. 1, Pages 1188-1197, IEEE, 2/2026.

  8. User-Centric Active Learning through Immersive Visualization

    In: 2026 IEEE Conference Virtual Reality and 3D User Interfaces (VR). IEEE Conference on Virtual Reality and 3D User Interfaces (VR-2026), IEEE, 2026.

  9. Barno Kaharova; Rico Komenda; Taras Holoyad; Adriano Lucieri; Robin Pekerman; Jackie Ma; Daniel Becker; Fabian Malms; Maximilian Poretschkin; Christopher Braun; Helena Monke; Paul Beyer; Dominik Eisl; Lukas Höhndorf; Nicole Schmidt; Matthias Hackert-Oschätzchen; Philipp Plänitz; Maik Liebl; Hans Rabus; Antoine Gautier; Manoj Kahdan; Simon Geschwill; Timo Felser; Annegrit Seyerlein-Klug; Marc Hauer

    DIN SPEC 92006:2026-02 Künstliche Intelligenz - Anforderungen an KI-Prüfwerkzeuge; Text Englisch

    Deutsches Institut für Normung (DIN), DIN SPEC, Vol. 92006, 2/2026.

  10. DiGAN: Diffusion-Guided Attention Network for Early Alzheimer's Disease Detection

    In: 1st AI for Healthy Aging and Longevity Workshop (AIAA). AAAI Conference on Artificial Intelligence (AAAI-2026), AAAI, 2026.