Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2022
Alle Filter entfernen
Zeige Ergebnisse 11 bis 20 von 802

  1. Rolf Drechsler; Alireza Mahzoon

    Polynomial Formal Verification: Ensuring Correctness under Resource Constraints

    In: 41st International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD), October 30 - …

  2. Kamalika Datta; Abhoy Kole; Indranil Sengupta; Rolf Drechsler

    Mapping Quantum Circuits to 2-D Quantum Architectures

    In: GI Quantum Computing Workshop 2022 (GI QC 22). GI Quantum Computing Workshop (GI QC-22), September 27, Hamburg, Germany, 2022.

  3. Rolf Drechsler; Alireza Mahzoon

    One is not Enough: Using Hybrid Proof Engines for Polynomial Formal Verification

    In: Proceedings of the 24th Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI). Workshop on Synthesis and System …

  4. Omair Shahzad Bhatti; Michael Barz; Daniel Sonntag

    Leveraging Implicit Gaze-Based User Feedback for Interactive Machine Learning

    In: Ralph Bergmann; Lukas Malburg; Stephanie C. Rodermund; Ingo J. Timm (Hrsg.). KI 2022: Advances in Artificial Intelligence. German Conference on …

  5. Wei Jiang; Hans Dieter Schotten

    Intelligent Reflecting Vehicle Surface: A Novel IRS Paradigm for Moving Vehicular Networks

    In: Proceedings of IEEE MILCOM 2022. IEEE Military Communications Conference (MILCOM-2022), November 28 - December 2, Rockville, Maryland, USA, IEEE, …

  6. Wei Jiang; Hans Dieter Schotten

    Deep Learning-Aided Delay-Tolerant Zero-Forcing Precoding in Cell-Free Massive MIMO

    In: Proceedings of the 2022 IEEE 96th Vehicular Technology Conference. IEEE Vehicular Technology Conference (VTC-2022), IEEE VTC 2022 Fall, September …

  7. Wei Jiang; Hans Dieter Schotten

    Multi-User Reconfigurable Intelligent Surface-Aided Communications Under Discrete Phase Shifts

    In: Prof. of IEEE CQR 2022. IEEE International Workshop on Communications Quality and Reliability (IEEE CQR-2022), September 13-16, Arlington,, …

  8. Ariane Ziehn; Christian Mandel; Kathrin Stich; Rolf Dembinski; Karin Hochbaum; Zeuch Steffen; Volker Markl

    IoT-PMA: Patient Health Monitoring in Medical IoT Ecosystems

    In: Open Journal of Internet of Things (OJIOT), Vol. 8, No. 1, Pages 20-31, OJIOT, RonPub UG, Lübeck, 2022.

  9. Oliver Schneider; Bruno Fruchard; Dennis Wittchen; Bibhushan Raj Joshi; Georg Freitag; Donald Degraen; Paul Strohmeier

    Sustainable Haptic Design: Improving Collaboration, Sharing, and Reuse in Haptic Design Research

    In: CHI Conference on Human Factors in Computing Systems Extended Abstracts. ACM International Conference on Human Factors in Computing Systems …

  10. Akhmajon Makhsadov; Donald Degraen; André Zenner; Felix Kosmalla; Kamila Mushkina; Antonio Krüger

    VRySmart: A Framework for Embedding Smart Devices in Virtual Reality

    In: CHI Conference on Human Factors in Computing Systems Extended Abstracts. ACM International Conference on Human Factors in Computing Systems …

Jahr