Skip to main content Skip to main navigation

Publications

Displaying results 351 to 360 of 14932.

  1. Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

    In the Head of the Beholder: Comparing Different Proof Representations

    In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, Pages 211-226, ISBN 978-3-031-21541-4, Springer International Publishing, 2022.

  2. Frederik Wiehr; Adrien Unger; Antonio Krüger

    HapticPole: Running Navigation Through Skin Drag and Shape Change

    In: Proceedings of the Augmented Humans International Conference 2023. Augmented Humans International Conference (AHs-2023), New York, NY, USA, AHs '23, ISBN 9781450399845, Association for Computing Machinery, 2023.

  3. Ingo Siegert; Stefan Hillmann; Philline Görzig; Matthias Busch; Jan Nehring; Xenia Klinge

    Die Chatbot-Challenge – Spielend mit KI von der Idee zum Dialogsystem

    In: Maike Klein; Daniel Krupka; Cornelia Winter; Volker Wohlgemuth (Hrsg.). INFORMATIK 2023 - Designing Futures: Zukünfte gestalten. Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2023), Designing Futures: Zukünfte gestalten, September 26-29, Berlin, Berlin, Germany, ISBN 978-3-88579-731-9. Gesellschaft für Informatik e.V. 2023.

  4. Christian Alrabbaa; Stefan Borgwardt; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

    In the Hand of the Beholder: Comparing Interactive Proof Visualizations

    In: Martin Homola; Vladislav Ryzhikov; Renate A. Schmidt (Hrsg.). Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. International Workshop on Description Logics (DL-2021), CEUR Workshop Proceedings, Vol. 2954, CEUR-WS.org, 2021.

  5. Frederik Wiehr; Andreas Höh; Antonio Krüger

    Towards A Wearable for Deep Water Blackout Prevention

    In: Proceedings of the Augmented Humans International Conference. Augmented Humans International Conference (AHs-2020), March 16-17, Kaiserslautern, Germany, AHs '20, ISBN 9781450376037, Association for Computing Machinery, 2020.

  6. Niko Kleer; Martin Feick; Florian Daiber; Michael Feld

    Towards Remote Expert Supported Autonomous Assistant Robots in Shopping Environments

    In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction (HRI-2024), March 11-14, Boulder, CO, USA, Pages 613-617, ISBN 979-8-4007-0323-2, ACM, 2024.

  7. Khushboo Qayyum; Abhoy Kole; Kamalika Datta; Muhammad Hassan; Rolf Drechsler

    Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification

    In: 34th Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2024), June 12-14, Tampa Bay Area, USA, o.A, 2024.

  8. Liam Hurwitz; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?

    In: 16th Conference on Reversible Computation. International Conference on Reversible Computation (RC-2024), July 4-5, Torun, Poland, 2024.

  9. Johannes Rust; Christian Mandel; Kathrin Stich; Serge Autexier

    Predicting Hemodynamic and Pulmonary Decompensation with Deep Neural Networks: Performance and Explainability

    In: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2024), Orlando, USA, 2024.

  10. Marianna Jantunen; Richard Meyes; Veronika Kurchyna; Tobias Meisen; Pekka Abrahamsson; Rahul Mohanani

    Researchers' Concerns on Artificial Intelligence Ethics: Results from a Scenario-Based Survey

    In: IWSiB '24: Proceedings of the 7th International Workshop on Software-intensive Business. International Workshop on Software-intensive Business (IWSiB-2024), Software Business in the era of generative artificial intelligence, located at ICSE 2024, April 16, Lisabon, Portugal, ACM, 2024.

Year

More options