Skip to main content Skip to main navigation

Publications

Displaying results 1131 to 1140 of 6838.

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

  2. 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 Diagnostics of Electronic Circuits and Systems (DDECS-2024), April 3-5, Kielce, Poland, 2024.

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

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

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

  6. Lena Herrmann; Jan Christoph Krause

    Agrar-Robotik meets MLOps

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

  7. Andreas Luxenburger; Jonas Mohr; Dieter Merkel; Sönke Knoch; Daniel Porta; Christian Paul; Johannes Widenka; Philipp Schäfers; Markus Baumann; Stefan Lehnhoff; Joachim Schwab

    Interactive Digital Twins for Online Planning and Worker Safety in Intralogistics and Production

    In: Proceedings of the 6th IEEE International Conference on Artificial Intelligence & extended and Virtual Reality. IEEE International Conference on Artificial Intelligence and Extended and Virtual Reality (AIxVR-2024), January 17-19, Los Angeles, USA, IEEE Computer Society Press, 2024.

  8. Nijat Mehdiyev; Lea Götz; Johannes Lahann; Peter Fettke

    Deep learning-based clustering of processes and their visual exploration: An industry 4.0 use case for small, medium‐sized enterprises

    In: Expert Systems (EXSY), Vol. 39, Pages 1-24, Wiley, 2022.

  9. Sarah Rübel; Alexander Berrang; Cai Hussung; Tobias Mahl; Peter Fettke

    Charting the Course: A Business Model Taxonomy for LMS

    In: Eduardo Acosta Llano; Iain Bitran; Leandro Bitetti; Steffen Conn; Alex Mitsis; Paavo Ritala; Marko Torkkeli; Jialei Yang (Hrsg.). International Society for Professional Innovation Management Conference Proceedings. ISPIM Connects (ISPIM-2023), December 11-13, Salzburg, Austria, ISPIM, 12/2023.

  10. Carolin Leluschko; Christoph Tholen

    Goals and Stakeholder Involvement in XAI for Remote Sensing: A Structured Literature Review

    In: Artificial Intelligence XL - 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Proceedings. SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI-2023), December 12-14, Campbridge, United Kingdom, Lecture Notes in Computer Science (LNCS), Vol. 14381, Springer Nature Switzerland AG, Cham, 12/2023.

Year

More options