Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 921 bis 930 von 15235.

  1. Snehal Walunj; Parsha Pahlevannejad; Ali Karnoub; Christiane Plociennik; Martin Ruskowski

    Context-Aware Worker Assistance System in Augmented Reality using Semantically Zoomable Digital Twin

    In: 2025 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA). IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA-2025), June 2-5, Duisburg, Germany, Pages 72-78, IEEE, 7/2025.

  2. Tobias Düntzer

    Automated workflow simulation based on an Input-Form

    Mastersthesis, Universität Trier, 2025.

  3. Christiane Plociennik; Leonhard Kunz; Martin Ruskowski

    Digital Product Passport enabled Quality Assessment in Dynamic Circular Supply Chain Networks

    In: Procedia CIRP, Vol. 135, Pages 606-611, ELSEVIER, 7/2025.

  4. Christiane Plociennik; Ponnapat Watjanatepin; Karel Van Acker; Martin Ruskowski

    Life Cycle Assessment of Artificial Intelligence Applications: Research Gaps and Opportunities

    In: Procedia CIRP, Vol. 135, Pages 924-929, Elsevier B.V. 7/2025.

  5. Maaike de Boer; Quirine Smit; Michael van Bekkum; André Meyer-Vitali; Thomas Schmidt

    Design Patterns for Large Language Model Based Neuro-Symbolic Systems

    In: Neurosymbolic Artificial Intelligence, Vol. 1, Pages 1-20, IOS Press, 9/2025.

  6. Snehal Walunj; Parsha Pahlevannejad; Michael Sintek; Juan Carlos Saborio; Prerna Garg; Hooman Tavakoli Ghinani; Christiane Plociennik; Nicolas Grossmann; Ansgar Bernardi; Martin Ruskowski; Joachim Hertzberg; Andreas Dengel

    Context-Aware Robotic Assistance for Workers Using Intention Recognition and Semantic Digital Twin

    In: Dhananjay Singh; Jan-Willem van 't Klooster; Uma Shanker Tiwary (Hrsg.). Intelligent Human Computer Interaction. IADIS International Conference on Interfaces and Human Computer Interaction (IHCI-2024), May 29, Cham, Pages 92-104, ISBN 978-3-031-88705-5, Springer Nature Switzerland, 5/2025.

  7. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  8. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  9. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  10. Deepak Ravibabu; Sallar Ahmadi-Pour; Muhammad Hassan; Abhoy Kole; Chandan Jha; Rolf Drechsler

    System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, Schloss Rheinfels, Germany, 2025.

Jahr

Mehr Optionen