Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 71 bis 80 von 795
  1. Adriano Lucieri; Muhammad Naseer Bajwa; Stephan Alexander Braun; Muhammad Imran Malik; Andreas Dengel; Sheraz Ahmed

    ExAID: A Multimodal Explanation Framework for Computer-Aided Diagnosis of Skin Lesions

    In: Filippo Molinari; Moi Hoon Yap (Hrsg.). Computer Methods and Programs in Biomedicine (CMPB), Vol. 1, Pages 1-12, Elsevier, Amsterdam, 2022.

  2. Christoph Heinbach; Friedemann Kammler; Oliver Thomas

    Exploring Design Requirements of Fleet Telematics Systems Supporting Road Freight Transportation: A Digital Service Side Perspective

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

  3. Enrica Loria; Stuart Hallifax; Maximilian Altmeyer; Lennart E. Nacke; Annapaola Marconi

    Turning Users' In-Game Behaviours into Actionable Adaptive Gamification Strategies using the PEAS Framework

    In: Proceedings of the 55th Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2022), …

  4. Oliver Zielinski; Daniela Pieck; Jan Schulz; Claudia Thölen; Jochen Wollschläger; et al.

    The Spiekeroog Coastal Observatory: A scientific infrastructure at the land-sea transition zone (southern North Sea)

    In: Frontiers in Marine Science (FMarS), Vol. 8, No. 754905, Pages 1-28, Frontiers, 2/2022.

  5. Thomas Röfer; Tim Laue; Arne Hasselbring; Lukas Malte Monnerjahn; Nele Matschull; Lukas Plecher

    B-Human 2021 - Playing Soccer Out of the Box

    In: Rachid Alami; Joydeep Biswas; Maya Cakmak; Oliver Obst (Hrsg.). RoboCup 2021: Robot World Cup XXIV. RoboCup International Symposium …

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

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

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

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

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