Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 391 bis 400 von 14393.

  1. Jan Kleinekathöfer; Rolf Drechsler

    Automatic Polynomial Formal Verification of a Floating Point Multiplier

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  2. Fatemeh Shirinzadeh; Abhoy Kole; Kamalika Datta; Saeideh Shirinzadeh; Rolf Drechsler

    A Comprehensive Synthesis and Verification Approach for RRAM-Based Neuromorphic Computing

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  3. Martha Schnieber; Rolf Drechsler

    Synthesis for Testability: Polynomial Test Pattern Generation for KFDD Circuits

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  4. Siphesihle Sithungu; Christoph Lipps

    Critical Infrastructure Security and the Role of AI: An Overview

    In: Proceedings of the 24th European Conference on Cyber Warfare and Security. European Conference on Cyber Warfare and Security (ECCWS-2025), Kaiserslautern, Rheinland-Pfalz, Germany, Academic Conferences International, 6/2025.

  5. Clemens Möllenhoff; Bharat Agarwal; Jan Herbst; Matthias Rüb; Thomas Petzold; Tobias Pabst; Ralf Irmer; Christoph Lipps; Hans Dieter Schotten; Thomas Neumuth; Max Rockstroh

    Towards 6G-connected Healthcare: Perspectives, Risks and Real-World Applications for Smart Hospitals

    In: Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2025), July 14-17, Copenhagen, Denmark, IEEE, 7/2025.

  6. Christoph Lipps; Andreas Weinand; Ihab Alzalam; Hans Dieter Schotten

    Context as a Factor: The Aspect of Physical Layer Security in Multi-Factor Authentication Schemes

    In: Proceedings of the 20th International Conference on Cyber Warfare and Security. International Conference on Cyber Warfare and Security (ICCWS-2025), March 27-29, Williamsburg, VA, VA, USA, Academic Conferences International, 3/2025.

  7. Muhammad Hassan; Mohamed Nadeem; Khushboo Qayyum; Chandan Jha; Rolf Drechsler

    Prompt. Verify. Repeat. LLMs in the Hardware Verification Cycle

    In: 2025 IEEE International Conference on Omni-layer Intelligent Systems (COINS). IEEE International Conference on Omni-layer Intelligent Systems (IEEE COINS-2025), August 4-6, Wisconsin, USA, IEEE, 2025.

  8. Gerrit Großmann; Larisa Ivanova; Sai Leela Poduru; Mohaddeseh Tabrizian; Islam Mesabah; David Antony Selby; Sebastian Vollmer

    The Power of Stories: Narrative Priming in Multi-Agent Networked Public Goods Games

    In: Proceedings of the 12th INternational Conference of Networks, Games, Control and Optimization. International Conference of Networks, Games, Control and Optimization (NETGCOOP-2025), October 8-10, Bilbao, Spain, Lecture Notes in Computer Science (LNCS), Springer, 10/2025.

  9. David Antony Selby; Rashika Jakhmola; Maximilian Sprang; Gerrit Großmann; Hind Raki; Niloofar Maani; Daria Pavliuk; Jan Ewald; Sebastian Vollmer

    Visible neural networks for multi-omics integration: a critical review

    In: Frontiers in Artificial Intelligence, Vol. 8, Pages 1-1, Frontiers Media S.A. 2025.

  10. David Antony Selby; Yuichiro Iwashita; Kai Spriestersbach; Mohammad Saad; Dennis Bappert; Archana Warrier; Sumantrak Mukherjee; Koichi Kise; Sebastian Vollmer

    Had enough of experts? Quantitative knowledge retrieval from large language models

    In: Weijie Su; Linjun Zhang; David Banks (Hrsg.). The ISI's Journal for the Rapid Dissemination of Statistics Research (Stat), Vol. 14, Pages e70054-n.n. Wiley, 3/2025.

Jahr

Mehr Optionen