Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 831 bis 840 von 8795.
  1. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Hrsg.). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Pages 1-1, IEEE, 2025.

  2. Adversarial Priors Unleashed with Soft Actor Critic

    In: Women in Machine Learning Workshop (WiML 2025) at NeurIPS. Neural Information Processing Systems (NeurIPS-2025), 20th Women in Machine Learning Workshop (WiML 2025), December 2-7, San Diego, USA, USA, n.n. 12/2025.

  3. Jonas Seng; Fabrizio Ventola; Zhongjie Yu; Kristian Kersting

    Hyperparameter Optimization via Interacting with Probabilistic Circuits

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2505.17804, Pages 1-39, Computing Research Repository, 2025.

  4. Nick Kocher; Christian Wassermann; Leona Hennig; Jonas Seng; Holger H. Hoos; Kristian Kersting; Marius Lindauer; Matthias S. Müller

    Guidelines for the Quality Assessment of Energy-Aware NAS Benchmarks

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2505.15631, Pages 1-10, Computing Research Repository, 2025.

  5. Modeling Quality of Experience in German Automatic Text Summarization and Machine Translation

    In: Christian Wartena; Ulrich Heid (Hrsg.). Proceedings of the 21st Conference on Natural Language Processing (KONVENS 2025): Workshops. Konferenz zur Verarbeitung natürlicher Sprache (KONVENS-2025), September 10-12, Hannover, Germany, Pages 169-175, HsH Applied Academics, 2025.

  6. Doppelte Resilienz: Wie Flotten und Stützpunkte krisenfester werden

    In: 27. DWT-Marineworkshop - Das Maritime Gefecht: Treiber für Forschung, Rüstung und Nutzung. DWT-Marineworkshop, September 22-24, Dobbin-Linstow, Germany, DWT, 9/2025.

  7. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: 34th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2025), June 12-13, Verona, Italy, 2025.

  8. Maryam Movahedifar; Lena Steinmann; Rolf Drechsler

    Interactive Visualization with the R Package Shiny: A Tool for Building Research Data and Software Competencies

    In: INFORMATIK FESTIVAL 2025. Workshop Research Data and Software Competencies (RDSC-2025), located at INFORMATIK 2025, September 16, Berlin, Germany, GI, 2025.

  9. Nabeel Khalid; Mohammadmahdi Koochali; Khola Naseem; Maria Caropresse; Gillian Lovel; Daniel A Porto; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    SAT: Segment and Track Anything for Microscopy

    In: 17th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2025), February 23-25, Porto, Portugal, SCITEPRESS Digital Library, 2/2025.