Skip to main content Skip to main navigation

Publications

Displaying results 1751 to 1760 of 14845.
  1. Karl Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution

    In: 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), May 5-7, 2025.

  2. LLM-assisted Performance Estimation of Embedded Software on RISC-V Processors

    In: 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2025), May 5-7, Lyon, France, 2025.

  3. Daniel Stattkus; Lorena Göritz; Laura Hein; Jannick Eckle; Maja-Gwendoline Reibold; Sascha Schuhmacher; Julia Knopf; Oliver Thomas

    YouCodeGirls – Nutzung von Künstlicher Intelligenz zur zielgruppengerechten Unterstützung von Lernprozessen

    In: HMD - Praxis der Wirtschaftsinformatik (HMD), Vol. 0, Pages 1-21, Springer, 2/2025.

  4. CABSL 2 – Specification Language for Complex Behaviors

    In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, Lecture Notes in Artificial Intelligence (LNAI), Vol. 16460, Springer, 2026.

  5. Philip Reichenberg; Thomas Röfer

    Dueling Behavior Leveraging Advanced Motion Control for the NAO Robot

    In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, LNAI, Springer, 2026.

  6. Christoph Peter Balada; Aida Romano-Martinez; Vincent ten Cate; Katharina Geschke; Jonas Tesarz; Paul Claßen; Alexander K Schuster; Dativa Tibyampansha; Karl-Patrik Kresoja; Philipp S Wild; others

    Deep Learning for Cardiovascular Risk Assessment: Proxy Features from Carotid Sonography as Predictors of Arterial Damage

    In: Lecture Notes in Computer Science. Medical Image Understanding and Analysis (MIUA-2025), LNCS, Springer Nature, 2025.

  7. Sogo Pierre Sanon; Hans Dieter Schotten (Hrsg.)

    Quantum-Ready Mobile Communications: Cryptographic Agility for Mobile Networks in the Quantum Era

    IEEE Symposium on a World of Wireless, Mobile and Multimedia Networks (WOWMOM-2025), IEEE Xplore, 2025.

  8. Augmentation of Semantic Processes for Deep Learning Applications

    In: Applied Artificial Intelligence, Vol. 39, No. 1, Pages 1-48, Taylor & Francis, 2025.

  9. Jonas Wahl; Jakob Runge

    Separation-Based Distance Measures for Causal Graphs

    In: Proceedings of The 28th International Conference on Artificial Intelligence and Statistics. International Conference on Artificial Intelligence and Statistics (AISTATS-2025), May 3-5, Mai Khao, Thailand, Pages 3412-3420, PMLR, Vol. 258, Proceedings of Machine Learning Research, 2025.