Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1281 bis 1290 von 13716.

  1. Su-Kyoung Kim; Michael Maurus; Mathias Trampler; Marc Tabie; Elsa Andrea Kirchner

    Asynchronous classification of error-related potentials in human-robot interaction

    In: 25th International Conference on Human-Computer Interaction. International Conference on Human-Computer Interaction (HCII-2023), July 23-28, Copenhagen, Denmark, Springer, 7/2023.

  2. Su-Kyoung Kim; Julian Liersch; Elsa Andrea Kirchner

    Classification of error-related potentials evoked during observation of human motion sequences

    In: 25th International Conference on Human-Computer Interaction. International Conference on Human-Computer Interaction (HCII-2023), July 23-28, Copenhagen, Denmark, Springer, 7/2023.

  3. Christa Hoffmann; Anthony Stein; Arno Ruckelshausen; Henning Müller; Thilo Steckel; Helga Floto (Hrsg.)

    Informatik in der Land-, Forst- und Ernährungswirtschaft. Referate der 43. GIL-Jahrestagung, 13.-14. Februar 2023

    Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2023), February 13-14, Osnabrück, Germany, LNI, Vol. 330, ISBN 978-3-88579-724-1, Gesellschaft für Informatik, 2/2023.

  4. Julia Mayer; Martin Memmel

    Mit Metadaten durch den urbanen Datendschungel - Verwaltung und Nutzung kommunaler Daten im Forschungsprojekt "Ageing Smart - Räume intelligent gestalten"

    In: vhw Verbandszeitschrift, Vol. 2023, No. 1, Pages 5-8, vhw - Bundesverband für Wohnen und Stadtentwicklung e.V. 2/2023.

  5. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    New Directions for Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits

    In: 35. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2023), February 26-28, Erfurt, Germany, 2023.

  6. Lennart Weingarten; Alireza Mahzoon; Mehran Goli; Rolf Drechsler

    Polynomial Formal Verification of a Processor: A RISC-V Case Study

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, USA, 2023.

  7. Ece Nur Demirhan Coskun; Muhammad Hassan; Mehran Goli; Rolf Drechsler

    VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San Francisco, CA, USA, 2023.

  8. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods

    In: 28th IEEE European Test Symposium 2023. IEEE European Test Symposium (ETS-2023), May 22-26, Venice, Italy, 2023.

  9. Nils Reinosch; Alexander Muenzberg; Daniel Martini; Alexander Niehus; Liv Seuring; Christian Troost; Rajiv Srivastava Kumar; Thomas Berger; Thilo Streck; Ansgar Bernardi

    SIMLEARN - Betriebliche Entscheidungsunterstützung durch ontologiegestützte Integration von Simulationsmodellen, Systemen für maschinelles Lernen und Planungsdaten

    In: Christa Hoffmann; Anthony Stein; Arno Ruckelshausen; Henning Müller; Thilo Steckel; Helga Floto (Hrsg.). Referate der 43. GIL-Jahrestagung. Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2023). Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2023), Fokus: Resiliente Agri-Food-Systeme, February 13-14, Osnabrück, Germany, Pages 477-482, LNI, Vol. P-330, ISBN 978-3-88579-724-1, GI Gesellschaft füf Informatik, Bonn, 2023.

  10. Daniel Eberz-Eder; Franz Kuntke; Gerwin Brill; Ansgar Bernardi; Christian Reuter; Christia Wied; Philippe Nuderscher

    Erste Prototypische Entwicklungen zur Umsetzung des Resilient Smart Farming (RSF) mittels Edge Computing

    In: Christa Hoffmann; Anthony Stein; Arno Ruckelshausen; Henning Müller; Thilo Steckel; Helga Floto (Hrsg.). Referate der 43. GIL-Jahrestagung. Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2023). Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2023), Fokus: Resiliente Agri-Food-Systeme, February 13-14, Osnabrück, Germany, Pages 309-314, LNI, Vol. P-330, ISBN 978-3-88579-724-1, GI Gesellschaft füf Informatik, Bonn, 2023.

Jahr

Mehr Optionen