Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 711 bis 720 von 14847.

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

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

  3. Sabine Janzen; Kanav Avasthi; Behkam Fallah; Hannah Stein; Wolfgang Maaß

    Risk‑Optimized Mobility through Graph‑Based Prediction

    In: Proceedings of International Conference on Conceptual Modeling. International Conference on Conceptual Modeling (ER-2025), 10/2025.

  4. Lukas Malburg

    Adaptive Workflow Management for Cyber-Physical Systems - A Hybrid Approach Combining Experience-Based Learning and Automated Planning for Industry 4.0

    PhD-Thesis, Universität Trier, 2025.

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

    Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    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.

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

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

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

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

  10. Chandan Jha; Sumit Kumar Jha; Ulf Schlichtmann; Rolf Drechsler

    Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory

    In: 38th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2025), October 21-23, Barcelona, Spain, IEEE, 2025.

Jahr

Mehr Optionen