Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 951 bis 960 von 14482.

  1. Daniel Sonntag; Thiago Gouvea; Michael Barz; Aliki Anagnostopoulou; Siting Liang; Sara-Jane Bittner; Franziska Scheurer

    The Interactive Deep Learning Enterprise (No-IDLE) meets ChatGPT

    German Research Center for AI, DFKI Technical Report, 2024.

  2. Jonathan Babel; Leon Cedric Danter; Gonzalo Paz Delgado; Raúl Domínguez; Yogeshkarna Govindaraj; Mehmed Yüksel; Frank Kirchner

    Tether management and docking system for multi-robot rappelling into lunar lava tubes

    In: 75th International Astronautical Congress. International Astronautical Congress (IAC-2024), October 14-18, Milan, Italy, International Astronautical Federation (IAF), 2024.

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

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

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

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

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

  8. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2024.

  9. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: IT - information technology (IT), Degruyter, 2024.

  10. Sajjad Parvin; Sallar Ahmadi-Pour; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    Lower the RISC: Designing optical-probing-attack-resistant cores

    In: Microprocessors and Microsystems (MICPRO), Vol. 111, Elsevier, 2024.

Jahr

Mehr Optionen