Skip to main content Skip to main navigation

Publications

Displaying results 1571 to 1580 of 13681.
  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 Schaltungen und Systemen (TuZ-2022), February 27 - March 1, Bremerhaven, Germany, 2022.

  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 Schaltungen und Systemen (TuZ-2022), February 27 - March 1, Bremerhaven, Germany, 2022.

  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 Schaltungen und Systemen (TuZ-2022), February 27 - March 1, Bremerhaven, Germany, 2022.

  4. Rui Xu; Noshaba Cheema; Erik Herrmann; Perttu Hämäläinen; Philipp Slusallek

    Towards Fatigue Modeling for Locomotion Tasks

    In: Motion, Interaction and Games - Posters. ACM SIGGRAPH Conference on Motion in Games (MIG-2021), ACM, 2021.

  5. Noshaba Cheema; Laura A. Frey-Law; Kourosh Naderi; Jaakko Lehtinen; Philipp Slusallek; Perttu Hämäläinen

    Modeling the "Gorilla Arm" Effect with Reinforcement Learning

    In: Motion, Interaction and Games - Posters. ACM SIGGRAPH Conference on Motion in Games (MIG-2021), ACM, 2021.

  6. 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.). Künstliche Intelligenz in der Agrar-und Ernährungswirtschaft?. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2022), February 21-22, Tänikon, Switzerland, Pages 295-300, ISBN 978-3-88579-711-1, Gesellschaft für Informatik e.V. Bonn, 2/2022.

  7. 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.). Künstliche Intelligenz in der Agrar-und Ernährungswirtschaft?. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2022), February 21-22, Tänikon, Switzerland, Pages 289-294, ISBN 978-3-88579-711-1, Gesellschaft für Informatik e.V. Bonn, 2/2022.

  8. Jakub Kuzilek; Milos Kravcik; Rupali Sinha

    Analysis of discussion forum data as a basis for mentoring support

    In: Ilona Buchem; Mikhail Fominykh; Ralf Klamma; Milos Kravcik; Viktoria Pammer-Schindler; Elvira Popescu; Fridolin Wild (Hrsg.). Joint Proceedings of Workshops IMHE 2020 and WELL4SD 2020. International Workshop Intelligence Support for Mentoring Processes in Higher Education (IMHE-2020), located at 16th International Conference on Intelligent Tutoring Systems 2020 (ITS 2020), June 9, Athens, Greece, CEUR, Vol. 3046, CEUR Workshop Proceedings, 2021.

  9. Ilona Buchem; Mikhail Fominykh; Ralf Klamma; Milos Kravcik; Viktoria Pammer-Schindler; Elvira Popescu; Fridolin Wild (Hrsg.)

    Joint Proceedings of Workshops IMHE 2020 and WELL4SD 2020

    International Workshop Intelligence Support for Mentoring Processes in Higher Education (IMHE-2020), located at 16th International Conference on Intelligent Tutoring Systems 2020 (ITS 2020), June 8, Athens, Greece, CEUR, Vol. 3046, CEUR Workshop Proceedings, 2021.

  10. Thierry Declerck; Tanja Wissik

    Automated Formalisation of unstructured Terminologies

    In: Christophe Roche (Hrsg.). Actes de la conférenceTOTh 2020. Terminology & Ontology: Theories and applications (TOTh-2020), November 26-27, Chambéry, France, Pages 217-233, ISBN 978-2-37741-065-1, Presses Universitaires Savoie Mont Blanc, 7/2021.