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 31 to 40 of 256.
  1. Christoph Manss; Viktor Martel; Roman Weisgerber

    Assessment of Ground Conditions in Grassland on a Mower with Artificial Intelligence

    In: Informatik in der Land-, Forst- und Ernährungswirtschaft. GIL-Jahrestagung (GIL-2024), Fokus: Biodiversität fördern durch digitale Landwirtschaft, …

  2. Agrar-Robotik meets MLOps

    In: Informatik Aktuell, Alkmene Verlag GmbH, 3/2024.

  3. Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

    LLM-Assisted High Quality Invariants Generation for Formal Verification

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

  4. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

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

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

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

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

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

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