Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 795
  1. System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations

    In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  2. Marcel Merten; Sebastian Huhn; Rolf Drechsler

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

    In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  3. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    An ILP-based Global Optimum Test Scheduler for IEEE 1687 Multi-Power Domain Networks

    In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  4. Erste Schritte zu einem virtuellen Zuchtgarten mittels eines autonomen Roboters

    In: Markus Gandorfer; Christa Hoffmann; Nadja El Benni; Marianne Cockburn; Thomas Anken; Helga Floto (Hrsg.). 42. GIL-Jahrestagung, Künstliche …

  5. Christoph Tieben; Tobias Reuter; Konstantin Nahrstedt; Franz Kraatz; Kai Lingemann; Dieter Trautz; Thomas Jarmer; Joachim Hertzberg

    Auf dem Weg zu einem Entscheidungsunterstützungssystem zur Pflege und Ernte von Grünlandflächen

    In: Markus Gandorfer; Christa Hoffmann; Nadja El Benni; Marianne Cockburn; Thomas Anken; Helga Floto (Hrsg.). 42. GIL-Jahrestagung, Künstliche …

  6. Interactive Machine Learning for Image Captioning

    The AAAI-22 Workshop on Interactive Machine Learning, 2/2022.

  7. Implicit Estimation of Paragraph Relevance from Eye Movements

    In: Frontiers in Computer Science, Vol. 3, Page 13, Frontiers Media S.A. 1/2022.

  8. VR-Splines - Entwicklung eines Virtual-Reality-Prototyps für den Mathematikunterricht

    In: Wirtschaftsinformatik 2022 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2022), February 21-23, Nürnberg, Germany, 2022.

  9. Shailza Jolly; Zi Xuan Zhang; Andreas Dengel; Lili Mou

    Search and Learn: Improving Semantic Coverage for Data-to-Text Generation

    In: AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-2022), February 22 - March 1, Vancouver, Canada, …

  10. Christian Post; Sabrina Elsholz; Alexandra Reith; Marco Rieckmann; Gero Corzilius; Barbara Grabkowsky; Stefan Christ; Joachim Hertzberg; Sarah Reddig; Annika Greven; Justus von Geibler; Imke Traulsen

    Digitale Simulation von Konzepten und Handlungsoptionen zur Verminderung von Stickstoffemissionen in der Schweinehaltung: Das Serious Game pigNplay

    In: Markus Gandorfer; Christa Hoffmann; Nadja El Benni; Marianne Cockburn; Thomas Anken; Helga Floto (Hrsg.). Künstliche Intelligenz in der Agrar-und …