Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 681 bis 690 von 13717.
  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. 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 Biomedical Engineering Systems and Technologies (BIOSTEC-2024), February 21-23, Rome, Italy, Pages 175-184, Vol. 2, ISBN 978-989-758-688-0, SciTePress, 2024.

  4. 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 Software and Systems Engineering. Model-Based Software and Systems Engineering (MBSE-2024), February 21-23, Rome, Italy, Pages 357-364, Vol. 1: MBSE-AI Integration, ISBN 978-989-758-682-8, SciTePress Digital Library, 2/2024.

  5. Hans-Georg Fill; Jordi Cabot; Wolfgang Maaß; Marten Van Sinderen

    AI-Driven Software Engineering – The Role of Conceptual Modeling

    In: Enterprise Modelling and Information Systems Architectures (EMISAJ) (Hrsg.). Enterprise Modelling and Information Systems Architectures - International Journal of Conceptual Modeling (EMISAJ), Vol. 19, Pages 1-11, Gesellschaft für Informatik e.V. 2024.

  6. Tomohiro Nishiyama; Lisa Raithel; Roland Roller; Pierre Zweigenbaum; Eiji Aramaki

    Assessing authenticity and anonymity of synthetic user-generated content in the medical domain.

    In: Proceedings of CALD-Pseudo at EACL 2024. Conference of the European Chapter of the Association for Computational Linguistics (EACL-2024), March 17-22, St. Julians, Malta, ACL, 2024.

  7. Marja Fleitmann; Hristina Uzunova; René Pallenberg; Andreas M Stroth; Jan Gerlach; Alexander Fürschke; Jörg Barkhausen; Arpad Bischof; Heinz Handels

    Artificial Intelligence-Based Prediction of Contrast Medium Doses for Computed Tomography Angiography Using Optimized Clinical Parameter Sets

    In: Methods of Information in Medicine, Vol. 63, Pages 1-10, Georg Thieme Verlag KG, Stuttgart, 2024.

  8. Lisa Grewenig; Alexander Winzig; Ralph Bergmann

    Towards a Case-Based Support for Responding Emergency Calls

    In: Juan A. Recio-Garcia; Mauricio G. Orozco-del-Castillo; Derek Bridge (Hrsg.). Case-Based Reasoning Research and Development. International Conference on Case-Based Reasoning (ICCBR), July 1-4, Merida, Mexico, Pages 273-288, ISBN 978-3-031-63646-2, Springer Nature Switzerland, 2024.

  9. AI-Driven Adaptive Systems for Knee Rehabilitation: Leveraging Artificial Mental Models for Personalized Patient Support

    In: Proceedings of the Conference of the German AI Service Centers 2024. Konferenz der deutschen KI-Servicezentren (KonKIS-2024), September 18-19, Göttingen, Germany, 9/2024.