Skip to main content Skip to main navigation

Publications

Displaying results 1651 to 1660 of 15123.

  1. Alexandra I. Korda; Christina Andreou; Mihai Avram; M. Frisman; M. Aliqadri; A. Riecher-Rössler; Heinz Handels; Thomas Martinetz; Stefan Borgwardt

    Chaos analysis of the cortical boundary for the recognition of psychosis

    In: Journal of Psychiatry and Neuroscience (JPN), Vol. 48, No. 2, Pages E135-E142, Canadian Science Publishing, 4/2023.

  2. Thomas Deserno; Heinz Handels; Andreas Maier; Klaus Maier-Hein; Christoph Palm; Thomas Tolxdorff (Hrsg.)

    Bildverarbeitung für die Medizin 2023

    Workshop Bildverarbeitung für die Medizin (BVM-2023), ISBN 978-3-658-41657-7, Springer Vieweg, Wiesbaden, Heidelberg, 2023.

  3. Vidyalakshmi Anilkumar; Felix Hilge; Timo Kepp; Michael Wang-Evers; Spencer Brush; Hinnerk Schulz-Hildebrandt; Gereon Hüttmann; Heinz Handels; Dieter Manstein

    Assessment of intrinsic and extrinsic aging on dermal morphology using optical coherence tomography

    In: Bernard Choi; Haishan Zeng (Hrsg.). Photonics in Dermatology and Plastic Surgery 2023. Photonics in Dermatology and Plastic Surgery, January 28-29, San Francisco, CA, USA, Proceedings of SPIE, Vol. 12352, ISBN 9781510658097, SPIE International Society for Optics and Photonics, 2023.

  4. Marc Steffen Seibel; Hristina Uzunova; Timo Kepp; Heinz Handels

    Anatomical Conditioning for Contrastive Unpaired Image-to-Image Translation of Optical Coherence Tomography Images

    In: 2024 IEEE International Symposium on Biomedical Imaging (ISBI). IEEE International Symposium on Biomedical Imaging (ISBI-2024), Athens, Greece, Pages 1-5, IEEE, 2024.

  5. Christoph Lüth; Tim Güneysu; Pascal Sasdrich; Rolf Drechsler

    EMBOSOM | Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms

    In: Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), Lyon, France, 2025.

  6. Caroline Dominik; Rolf Drechsler

    Embedding Modulo Counter Circuits for their Polynomial Formal Verification

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 11-12, Rostock, Germany, 2025.

  7. Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    Symbolic Execution of Unmodified SystemC Peripherals

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV), March 11-12, Rostock, Germany, 2025.

  8. Julio Daniel Guerra Hollstein; Shaoyi Huang; Rolf Drechsler; Bing Li; Yalin Zhang

    Late Breaking Results: Conversion of Neural Networks into Logic Flows for Edge Computing

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  9. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  10. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, 2026.

Year

More options