Skip to main content Skip to main navigation

Publications

Displaying results 351 to 360 of 14809.

  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 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. 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 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. 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 Engineering 26 - 28 September 2023, Duisburg, including: The Artificial Vision Symposium - The International Symposium on Visual Prosthetics, De Gruyter, 9/2023.

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

  7. Michael Backenköhler; Joschka Groß; Verena Wolf; Andrea Volkamer

    Guided docking as a data generation approach facilitates structure-based machine learning on kinases

    In: Journal of Chemical Information and Modeling (JCIM), Vol. 64, No. 10, Pages 4009-4020, ACS Publications, Washington DC, 5/2024.

  8. Shoko Wakamiya; Lis Kanashiro Pereira; Lisa Raithel; Hui-Syuan Yeh; Peitao Han; Seiji Shimizu; Tomohiro Nishiyama; Gabriel Herman Bernardim Andrade; Noriki Nishida; Hiroki Teranishi; Narumi Tokunaga; Philippe Thomas; Roland Roller; Pierre Zweigenbaum; Yuji Matsumoto; Akiko Aizawa; Sebastian Möller; Cyril Grouin; Thomas Lavergne; Aurélie Névéol; Patrick Paroubek; Shuntaro Yada; Eiji Aramaki

    NTCIR-17 MedNLP-SC Social Media Adverse Drug Event Detection: Subtask Overview

    In: The 17th NTCIR Conference - Evaluation of Information Access Technologies. Conference on Evaluation of Information Access Technologies (NTCIR-17), December 12-15, Tokyo, Japan, National Institute of Informatics (NII), 2023.

  9. Mariana Neves; Antonio Jimeno Yepes; Aurélie Névéol; Rachel Bawden; Giorgio Maria Di Nunzio; Roland Roller; Philippe Thomas; Federica Vezzani; Maika Vicente Navarro; Lana Yeganova; Dina Wiemann; Cristian Grozea

    Findings of the WMT 2023 Biomedical Translation Shared Task: Evaluation of ChatGPT 3.5 as a Comparison System

    In: WMT23-Eighth Conference on Machine Translation. Conference on Machine Translation (WMT-23), December 6-7, Singapore, Singapore, Pages 43-54, 2023.

  10. Sharlyn ST Ng; Robert Oehring; Nikitha Ramasetti; Roland Roller; Philippe Thomas; Yuxuan Chen; Simon Moosburner; Axel Winter; Max-Magnus Maurer; Timo A Auer; Can Kamali; Johann Pratschke; Christian Benzing; Felix Krenzien

    Concordance of a decision algorithm and multidisciplinary team meetings for patients with liver cancer—a study protocol for a randomized controlled trial

    In: Trials, Vol. 24, 577 (2023), No. 1, Pages 1-10, Springer, 9/2023.

Year

More options