Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1061 bis 1070 von 15113.

  1. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  2. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  3. Deepak Ravibabu; Sallar Ahmadi-Pour; Muhammad Hassan; Abhoy Kole; Chandan Jha; Rolf Drechsler

    System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, Schloss Rheinfels, Germany, 2025.

  4. Alice Chase; Margarita Chikobava; Matthieu Deru; Christian Hauck; Peter Poller; Alassane Ndiaye; Thomas Achim Schmeyer; Ralf Gampfer; Boris Brandherm

    Multimodales Fenster in die Vergangenheit der ehemaligen Vauban-Festung Saarlouis mittels ChatGPT

    In: Thomas Barton; Christian Müller. Angewandte Wirtschaftsinformatik - Generative KI im Kontext der Wirtschaftsinformatik. Pages 1-19, Springer Vieweg, Wiesbaden, 7/2025.

  5. Nabeel Khalid; Anwai Archit; Luca Freckmann; Sushmita Nair; Paul Hilt; Vikas Rajashekar; Marei Freitag; Carolin Teuber; Genevieve Buckley; Sebastian von Haaren; Sagnik Gupta; Andreas Dengel; Sheraz Ahmed; Constantin Pape

    Segment Anything for Microscopy

    In: Nature, Vol. 22, Pages 579-591, Nature Methods, 2/2025.

  6. Kevin Iselborn; David Dembinsky; Adriano Lucieri; Andreas Dengel

    The Directed Prediction Change - Efficient and Trustworthy Fidelity Assessment for Local Feature Attribution Methods

    11/2025.

  7. Laurien Coenen; Xenia Klinge

    D4.1 – INNOVADE Digital Democracy Preference Toolkit

    Projekt-Deliverable, 2025.

  8. Ingo Timm; Jan Ole Berndt; David Kaub; Krzysztof Marek Graca

    AKRIMA: Automatisches Adaptives Krisenmonitoring- und managementsystem

    DFKI, DFKI Final Reports (FR), Vol. 2025, 2025.

  9. Annika Selzer; Veronika Kurchyna; Jan Ole Berndt; Ingo Timm

    KI-generierte, Verarbeitungskontext-spezifische Mitarbeiterschulungen zum Datenschutz als Ausprägung der angemessenen Umsetzung datenschutzrechtlicher Pflichten

    In: Annika Selzer (Hrsg.). Aktuelle Entwicklungen des Rechtsrahmens der Cybersicherheit und Privatheit - Sammelband zur ATHENE-Konferenz 2025 in Darmstadt. ATHENE-Konferenz zum Rechtsrahmen der Cybersicherheit und Privatheit (ATHENE-2025), August 27-28, Darmstadt, Pages 53-65, Rechtsrahmen der Cybersicherheit und Privatheit (RCP), ISBN 978-3-658-49640-1, Springer Fachmedien Wiesbaden, 11/2025.

  10. Oliver Gutermuth; Alessandro Benke; Peter Fettke; Wolfgang Reisig

    Drei Fallstudien zum Process Mining

    Kurzstudien des NEGZ - Kompetenznetzwerk Digitale Verwaltung, 2025.

Jahr

Mehr Optionen