Skip to main content Skip to main navigation



Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 31 bis 40 von 237
  1. 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 …

  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 …

  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 - …

  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 …

  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. Pratyush Agnihotri; Paul Stiegele; Roman Heinrich; Boris Koldehofe; Carsten Binnig; Manisha Luthra

    ZeroTune: Learned Zero-Shot Parallelism Tuning for Distributed Stream Processing

    In: 40th IEEE International Conference on Data Engineering (ICDE 2024). IEEE International Conference on Data Engineering (ICDE-2024), Pages 1-14, …

  9. Wang Yue; Rafael Moczalla; Manisha Luthra; Tilmann Rabl

    Deco: Fast and Accurate Decentralized Aggregation of Count-Based Windows in Large-Scale IoT Applications

    In: Proceedings 27th International Conference on Extending Database Technology ( EDBT 2024 ). International Conference on Extending Database …

  10. Max Beinke; Jan Heinrich Beinke; Eduard Anton; Frank Teuteberg

    Breaking the chains of traditional finance: A taxonomy of decentralized finance business models

    In: Electronic Markets, Vol. 34, No. 1, Pages 1-29, Springer Berlin Heidelberg, 12/2024.