Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2023
Alle Filter entfernen
Zeige Ergebnisse 1 bis 10 von 722

  1. Desiree Heim; Christian Jilek; Heiko Maus; Andreas Dengel

    A Retrospective Context Mining Approach For Bootstrapping Personal Knowledge Assistants

    In: Pascal Reuss; Viktor Eisenstadt; Jakob Schönborn; Jero Schäfer (Hrsg.). Lernen, Wissen, Daten, Analysen 2022. GI-Workshop-Tage "Lernen, Wissen, …

  2. Ahtisham Abbasi; Areeb Agha; Sheraz Ahmed; Andreas Dengel

    NP-BERT: A Two-Staged BERT Based Nucleosome Positioning Prediction Architecture For Multiple Species

    In: BIOSTEC 2023 - 16th International Joint Conference on Biomedical Engineering Systems and Technologies - Final Program and Book of Abstracts. …

  3. 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, …

  4. 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, …

  5. 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

    GIL-Jahrestagung (GIL-2023), February 13-14, Osnabrück, Germany, LNI, Vol. 330, ISBN 978-3-88579-724-1, Gesellschaft für Informatik, 2/2023.

  6. 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.

  7. 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 …

  8. 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 …

  9. 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 …

  10. 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.

Jahr