Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 10633
  1. Hannah Stein; Stefan Schröder; Pascal Kienast; Marco Kulig

    Towards Requirements Engineering for Quantum Computing Applications in Manufacturing

    In: Hawaii International Conference on System Sciences 2024. Hawaii International Conference on System Sciences (HICSS-2024), HICSS, USA, 1/2024.

  2. Towards Sustainability of AI: A Systematic Review of Exisiting Life Cycle Assessment Approaches and Key Environmental Impact Parameters of Artificial Intelligence

    In: Proceedings of the 57th Annual Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences …

  3. Analysis and Assessment of Multi-Agent Systems for Production Planning and Control

    In: Francisco J. G. Silva; António B. Pereira; Raul D. S. G. Campilho (Hrsg.). Flexible Automation and Intelligent Manufacturing: Establishing Bridges …

  4. Magnus Volkmann; Andreas Wagner; Jesko Hermann; Martin Ruskowski

    Asset Administration Shells and GAIA-X Enabled Shared Production Scenario

    In: Francisco J. G. Silva; Luís Pinto Ferreira; José Carlos Sá; Maria Teresa Pereira; Carla M. A. Pinto (Hrsg.). Flexible Automation and Intelligent …

  5. 'Listening In': Social Signal Detection for Crisis Prediction

    In: Conference Proceedings. Hawaii International Conference on System Sciences (HICSS), USA, HICSS, 1/2024.

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

  7. Agrar-Robotik meets MLOps

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

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

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

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