Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1301 bis 1310 von 15031.

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

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

  3. Jonathan Nußbaum; Tatjana Legler; Martin Ruskowski

    CPPM Copilot: Proposing an AI-Based Assistant for Manual Assembly Tasks in a Flexible Production

    In: Kosmas Alexopoulos; Sotiris Makris; Panagiotis Stavropoulos (Hrsg.). Advances in Artificial Intelligence in Manufacturing II. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2024), Cham, Pages 80-88, ISBN 978-3-031-86489-6, Springer Nature Switzerland, 2025.

  4. Tatjana Legler; Vinit Vikas Hegiste; Martin Ruskowski

    Multifaceted Applications of Federated Learning: Beyond Neural Networks

    In: Kosmas Alexopoulos; Sotiris Makris; Panagiotis Stavropoulos (Hrsg.). Advances in Artificial Intelligence in Manufacturing II. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2024), Cham, Pages 271-278, ISBN 978-3-031-86489-6, Springer Nature Switzerland, 2025.

  5. Vinit Vikas Hegiste; Tatjana Legler; Martin Ruskowski

    Collaborative Learning in Shared Production Environment Using Federated Image Classification

    In: Kosmas Alexopoulos; Sotiris Makris; Panagiotis Stavropoulos (Hrsg.). Advances in Artificial Intelligence in Manufacturing II. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2024), Cham, Pages 98-106, ISBN 978-3-031-86489-6, Springer Nature Switzerland, 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. Constantin Houy; Oliver Gutermuth; Sharam Dadashnia; Peter Loos

    Digitale Polizeiarbeit

    In: Tanja Klenk; Frank Nullmeier; Göttrik Wewer. Handbuch Digitalisierung in Staat und Verwaltung. Pages 649-660, ISBN 978-3-658-37372-6, Springer VS, Wiesbaden, 2/2025.

  10. Hamraz Javaheri; Omid Ghamarnejad; Paul Lukowicz; Gregor Alexander Stavrou; Jakob Karolus

    Design and Clinical Evaluation of ARAS: An Augmented Reality Assistance System for Open Pancreatic Surgery

    In: 2024 IEEE International Symposium on Mixed and Augmented Reality (ISMAR). IEEE International Symposium on Mixed and Augmented Reality (ISMAR-2024), Pages 376-385, IEEE, 2024.

Jahr

Mehr Optionen