Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 10 von 796
  1. Aidmar Wainakh; Fabrizio Ventola; Till Müßig; Jens Keim; Carlos Garcia Cordero; Ephraim Zimmer; Tim Grube; Kristian Kersting; Max Mühlhäuser

    User-Level Label Leakage from Gradients in Federated Learning

    In: Proceedings on Privacy Enhancing Technologies (PoPETs), Vol. 2022, No. 2, Pages 227-244, De Gruyter, 2022.

  2. Patrick Schramowski; Cigdem Turan; Nico Andersen; Constantin A. Rothkopf; Kristian Kersting

    Large pre-trained language models contain human-like biases of what is right and wrong to do

    In: Nature Machine Intelligence, Vol. 4, No. 3, Pages 258-268, Springer, 2022.

  3. Parisa Kordjamshidi; Dan Roth; Kristian Kersting

    Declarative Learning-Based Programming as an Interface to AI Systems

    In: Frontiers in Artificial Intelligence, Vol. 5, Pages 0-10, Frontiers, 2022.

  4. Sonar-to-RGB Image Translation for Diver Monitoring in Poor Visibility Environments

    In: OCEANS 2022, Hampton Roads. OCEANS MTS/IEEE Conference (OCEANS-2022), October 17-20, Pages 1-9, OCEANS IEEE, 10/2022.

  5. TimeREISE: Time-series Randomized Evolving Input Sample Explanation

    In: Sensors - Open Access Journal (Sensors), Vol. 22, Pages 1-19, MDPI, 5/2022.

  6. Analysis of the Tool Support for Business Model Innovation

    In: Tung X. Bui (Hrsg.). Proceedings of the 55th Annual Hawaii International Conference on System Sciences. Hawaii International Conference on System …

  7. Dennis Wittchen; Katta Spiel; Bruno Fruchard; Donald Degraen; Oliver Schneider; Georg Freitag; Paul Strohmeier

    TactJam: An End-to-End Prototyping Suite for Collaborative Design of On-Body Vibrotactile Feedback

    In: Sixteenth International Conference on Tangible, Embedded, and Embodied Interaction. International Conference on Tangible, Embedded and Embodied …

  8. Mehran Goli; Rolf Drechsler

    Simulation-based Verification of SystemC-based VPs at the ESL

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

  9. Niklas Bruns; Vladimir Herdt; Eyck Jentzsch; Rolf Drechsler

    RISC-V Processor Verification with Coverage-guided Aging

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

  10. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods

    In: IEEE European Test Symposium (ETS). IEEE European Test Symposium (ETS-27), May 23-27, Barcelona, Spain, 2022.