Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1311 bis 1320 von 15207.

  1. Alex Peiró-Lilja; Rodolfo Zevallos; Carme Armentano-Oller; Jose Giraldo; Cristina España-Bonet; Mireia Farrús

    Towards Domain-Specific Spoken Language Understanding for a Catalan Voice-Controlled Video Game

    In: Interspeech 2025. Conference in the Annual Series of Interspeech Events (INTERSPEECH), Rotterdam, Netherlands, Pages 4965-4966, Interspeech, 2025.

  2. Malte Wirkus

    Modular Task Modeling and Creation of High-Level Building Blocks for Implementing Complex Robot Applications

    PhD-Thesis, Universität Bremen, 2025.

  3. Kim Alexa Schwarz; Leo Sylvio Rüdian; Christian Kellermann

    A Computerized Adaptive Competency-based Placement Test to Determine the Optimal Entry Point in Online Courses

    In: Communications in Computer and Information Science. European Conference on Artificial Intelligence (ECAI-2024), International Workshop on AI in Education and Educational Research (AIEER), located at European Conference on Artificial Intelligence, October 19-20, Santiago de Compostela, Spain, Pages 161-174, CCIS, Vol. 2519, ISBN 978-3-031-93408-7, Springer, 2025.

  4. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Probabilistic Programming for Trace Generation (and Beyond)

    In: Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED’25), and. Algorithms & Theories for the Analysis of Event Data (ATAED-2025), located at Petri Nets 2025, June 24, Paris, France, Pages 160-165, Vol. 3998, CEUR-WS.org, 6/2025.

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

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

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

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

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

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

Jahr

Mehr Optionen