Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 711 bis 720 von 13718.

  1. Benjamin Blumhofer; Marco Simon; Alexandra Ritter; Laura-Marie Weil; Tatjana Legler; Martin Ruskowski

    Capability Skill Service Model as enabler for Intralogistics 4.0: A Review

    In: 2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS). IEEE International Conference on Industrial Cyber-Physical Systems (ICPS-2024), May 12-15, St. Louis, MO, USA, Pages 1-8, IEEE, 2024.

  2. Kevin Baum; Biewer Sebastian; Hermanns Holger; Hetmank Sven; Langer Markus; Lauber-Rönsberg Anne; Sterz Sarah

    Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight

    In: Thomas Neele; Anton Wijs (Hrsg.). Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg, Pages 3-25, Lecture Notes in Computer Science (LNCS), Vol. 14624, Springer Nature, Switzerland, 10/2024.

  3. Mario Klostermeier; Leonhard Kunz; William Motsch; Borys Ioshchikhes; Christiane Plociennik; Martin Ruskowski

    Energy Load Profile Analysis and Application for Production Simulation and Scheduling using Energy Load Disaggregation

    In: Maike Klein; Daniel Krupka; Cornelia Winter; Martin Gergeleit; Ludger Martin (Hrsg.). INFORMATIK 2024. Pages 1079-1097, ISBN 978-3-88579-746-3, Gesellschaft für Informatik e.V. Bonn, 2024.

  4. Amelie Gyrard; Philip Gribbon; Rada Hussein; Somayeh Abedian; Luis Marti Bonmati; Gibi Luisa Caborner; George Manias; Gabriel Danciu; Stefano Dalmiani; Serge Autexier; Rick van Nuland; Mario Jendrosse; Ioannis Avramidis; Eva Garcia Alvarez

    Synergies Among Health Data Projects with Cancer Use Cases based on Health Standards

    In: John Mantas; Arie Hasman (Hrsg.). Proceedings 34th Medical Informatics Europe Conference (MIE 2024). Medical Informatics Europe Congress (MIE-2024), Athens, Greece, Pages 1292-1296, Studies in Health Technol, Vol. 316, IOS Press, 8/2024.

  5. Aleksandr Sidorenko; Achim Wagner; Martin Ruskowski

    Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules

    In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2024), September 10-13, Padova, Italy, Pages 1-8, IEEE, 2024.

  6. Pascal Rübel; William Motsch; Hendrik Schäfer; Martin Ruskowski

    On Bringing Fault Detection to Skill-Based Production

    In: Achim Wagner; Kosmas Alexopoulos; Sotiris Makris (Hrsg.). Advances in Artificial Intelligence in Manufacturing. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2023), September 19, Kaiserslautern, Germany, Pages 24-34, ISBN 978-3-031-57496-2, Springer Nature Switzerland, 2024.

  7. Katharina Hengel; Achim Wagner; Martin Ruskowski

    LOS data set: A Large Scale Online Scheduling Benchmark for Flexible Job Shop Problems with Setup and Transportation Times

    In: 2nd European Symposium on Artificial Intelligence in Manufacturing. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2024), October 16, Athens, Greece, ESAIM, 2024.

  8. Abhoy Kole; Arighna Deb; Kamalika Datta; Rolf Drechsler

    Dynamic Realization of Multiple Control Toffoli Gate

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

  9. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Complete and Efficient Verification for a RISC-V Processor using Formal Verification

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

  10. Fatemeh Shirinzadeh; Arighna Deb; Saeideh Shirinzadeh; Abhoy Kole; Kamalika Datta; Rolf Drechsler

    In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures

    In: 37th International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 1/2024.

Jahr

Mehr Optionen