Skip to main content Skip to main navigation

Publications

Displaying results 921 to 930 of 15196.
  1. 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 Integration of Mixed Information Technologies (SASIMI-2022), October 24-25, Hirosaki, Japan, 2022.

  2. 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 Artificial Intelligence (KI), Cham, Pages 9-16, ISBN 978-3-031-15791-2, Springer International Publishing, 2022.

  3. 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, 12/2022.

  4. 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 26-29, London, United Kingdom, IEEE, 9/2022.

  5. 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,, Virginia, USA, IEEE, 9/2022.

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

  7. Facial Muscle Activity Recognition with Reconfigurable Differential Stethoscope-Microphones

    In: Sensors - Open Access Journal (Sensors), Vol. 20 - Special Issue "Sensors for Activity Recognition", No. 17, Page 4904, MDPI, 8/2020.

  8. Philipp Blandfort

    Computational Approaches to Subjective Interpretation of Multimedia Messages

    PhD-Thesis, TU Kaiserslautern, kluedo, 2/2020.

  9. A Study on the Fusion of Pixels and Patient Metadata in CNN-Based Classification of Skin Lesion Images

    In: Andreas Holzinger; Peter Kieseberg; A Min Tjoa; Edgar Weippl (Hrsg.). Machine Learning and Knowledge Extraction. International IFIP Cross Domain (CD) Conference for Machine Learning & Knowledge Extraction (MAKE) (CD-MAKE-2020), August 25-28, Dublin, Ireland, Pages 191-208, ISBN 978-3-030-57321-8, Springer International Publishing, 2020.

  10. Philipp Niemann; Robert Wille; Rolf Drechsler

    Advanced Exact Synthesis of Clifford+T Circuits

    In: Quantum Information Processing, Springer, 2020.