Skip to main content Skip to main navigation

Publications

Displaying results 301 to 310 of 2318.

  1. Jan Mertes; Marius Schmitz; Daniel Lindenschmitt; Hans D Schotten; Jan C Aurich

    The applications of joint communication and sensing in manufacturing: a 6G technology

    In: Procedia CIRP, Vol. 132, Pages 178-183, Elsevier, 2025.

  2. Rida Saghir; Saleem Ahmad; László Kopácsi; Thiago Gouvea; Daniel Sonntag

    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.

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

  4. Detlef Olschewski; André Bluhm; Joerg Firnkorn; Adriano Lucieri; Sebastian Palacio; Yeji Streppel; Carlos Zednik; Rebekka Görge; Maximilian Poretschkin; Nikolas Becker; Thomas Zielke; Christian Kruschel; Matthias Neumann-Brosig; Stephen Bäuerle; Marton Eifert; Erik Martori López; Felix Assion; Annegrit Seyerlein-Klug; Ute Schmid; Stefan Haufe; Antoine Gautier; Lukas Bieringer; Tarek R. Besold; Armin B. Cremers

    DIN SPEC 92001-3 Artificial Intelligence-Life Cycle Processes and Quality Requirements-Part 3: Explainability

    Deutsches Institut für Normung (DIN), DIN SPEC, Vol. 92001-3, 2023.

  5. Shishir Muralidhara; Adriano Lucieri; Andreas Dengel; Sheraz Ahmed

    Holistic multi-class classification & grading of diabetic foot ulcerations from plantar thermal images using deep learning

    In: Health Information Science and Systems, Vol. 10, No. 21, Pages 1-9, Springer, 8/2022.

  6. Milan Funck; Christoph Lüth; Rolf Drechsler

    FormalHandshake — Open Source Design and Verification Flow for complex Hardware Circuits

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.

  7. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Scalable Verification for Dot-Product Architectures using Symbolic Computer Algebra

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 9-11, Rom, Italy, 2026.

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

    Polynomial Formal Verification of Structurally Simple Multipliers

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.

  9. Till Schnittka; Majd Assaad; Abhoy Kole; Rolf Drechsler

    Low T-Depth Clifford+T Decomposition of Large Toffoli Gates using Dynamic Phase Correction

    In: International Conference on Quantum Computing and Engineering (QCE). IEEE International Conference on Quantum Computing and Engineering (QCE-2026), September 13-18, Toronto, Canada, IEEE, 2026.

  10. Sutirtha Bhattacharyya; Chandan Jha; Rolf Drechsler

    Reinforcement Learning Guided Boundary Activity Passing for Incremental Bounded Model Checking

    In: 8th ACM/IEEE International Symposium on Machine Learning for CAD. ACM/IEEE Workshop on Machine Learning for CAD (MLCAD-2026), September 7-9, Seogwipo, Korea, Democratic People's Republic of, 2026.

Year

More options