Skip to main content Skip to main navigation

Publications

Displaying results 1211 to 1220 of 14699.

  1. Lena Herrmann; Jan Christoph Krause

    Agrar-Robotik meets MLOps

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

  2. Sergiy Melnyk; Shreya Tayade; Mervat Zarour; Hans Dieter Schotten

    Wireless Industrial Communication and Control System: AI Assisted Blind Spot Detection-and-Avoidance for AGVs

    In: 3rd International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL 2022). International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL-2022), October 24-26, Valletta, Malta, ISBN 978-989-758-612-5; ISSN: 2184-9285, SCITEPRESS–Science and Technology Publications, 2022.

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

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

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

  8. Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller; Mattis Hartwig

    Using Data Synthesis to Improve Length of Stay Predictions for Patients with Rare Diagnoses

    In: The International FLAIRS Conference Proceedings, Vol. 37 (2024) - Special Track: AI in Healthcare Informatics, No. 1, Pages 1-8, The Florida Artificial Intelligence Society, Florida, 5/2024.

  9. Sabine Janzen; Natalie Gdanitz; Merlit Kirchhöfer; Tobias Spanke; Wolfgang Maaß

    From Data to Action: A Graph-Based Approach for Decision Support in Civil Protection Operations Planning

    In: Proceeding of the 21st Annual Global Conference on Information Systems for Crisis Response and Management. International Conference on Information Systems for Crisis Response and Management (ISCRAM-2024), ISCRAM, 5/2024.

  10. Jan Herbst; Robin Müller; Christoph Lipps; Hans D. Schotten (Hrsg.)

    A Ring Topology Approach: Efficient Communication in Wireless Body Area Networks (WBANs)

    EuCNC/6G Summit (EUCNC & 6G SUMMIT-2024), June 3-6, Antwerp, Belgium, IEEE Explore, 2024.

Year

More options