Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 61 to 70 of 10469.

  1. Caroline Dominik; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  2. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

    In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.

  3. Mattis Hartwig; Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller

    Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

    In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on …

  4. André Meyer-Vitali

    AI Engineering for Trust by Design

    In: Francisco José Domínguez Mayo; Luís Ferreira Pires; Edwin Seidewitz (Hrsg.). Proceedings of the 12th International Conference on Model-Based …

  5. Sabisan Santhakumaran; Tobias Rossol; Elsa Andrea Kirchner

    Towards muscle sensing by a non-contact optical systemusing photogrammetry

    In: Biomedical Engineering / Biomedizinische Technik, Vol. 68, No. s1 - Abstracts of the 57th Annual Meeting of the German Society of Biomedical …

  6. Robert Oehring; Nikitha Ramasetti; Sharlyn Ng; Roland Roller; Philippe Thomas; Axel Winter; Max Maurer; Simon Moosburner; Nathanael Raschzok; Can Kamali; Johann Pratschke; Christian Benzing; Felix Krenzien

    Use and accuracy of decision support systems using artificial intelligence for tumor diseases: a systematic review and meta-analysis

    In: Frontiers in Oncology, Vol. 13, Pages 1-14, Frontiers Media SA, 2023.

  7. Antonio Macaluso; Luca Clissa; Stefano Lodi; Claudio Sartori

    An efficient quantum algorithm for ensemble classification using bagging

    In: IET Quantum Communication, Vol. 1, Pages 1-16, Wiley, 1/2024.

  8. Julia Mayer; Martin Memmel; Johannes Ruf; Dhruv Patel; Lena Hoff; Sascha Henninger

    Progressing towards Estimates of Local Emissions from Trees in Cities: A Transdisciplinary Framework Integrating Available Municipal Data, AI, and Citizen Science

    In: Antonio Fernández-Caballero; Nuno Alexandre Ribeiro Costa; António Pereira (Hrsg.). Applied Sciences, Vol. 14, No. 1, Page 396, MDPI, 2024.

  9. Soniya Vijayakumar; Tanja Bäumel; Simon Ostermann; Josef van Genabith

    Where exactly does contextualization in a PLM happen?

    Association for Computational Linguistics, 2023.

  10. Hannes Kath; Simon Stone; Stefan Rapp; Peter Birkholz

    Carina – A Corpus of Aligned German Read Speech Including Annotations

    In: ICASSP 2022 - 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). International Conference on Acoustics, …

Year

More options