Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 14393.
  1. Mohamed Nadeem; Luca Müller; Chandan Jha; Rolf Drechsler

    Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

  2. Adrian Lutsch; Muhammad El-Hindi; Zsolt István; Carsten Binnig

    Towards High-performance and Trusted Cloud DBMSs

    In: Datenbank-Spektrum (Spektrum), Vol. 25, No. 1, Pages 39-50, Springer, 2025.

  3. 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), October 21-23, Barcelona, Spain, IEEE, 2025.

  4. Fatma Ozcan; Yeounoh Chung; Yannis Chronis; Lyubomir Ganev; Yawen Wang; Carsten Binnig; Johannes Wehrstein; Gaurav Tarlok Kakkar; Sami Abu-el-haija

    LLMs and Databases: A Synergistic Approach to Data Utilization

    In: IEEE Data Engineering Bulletin, Vol. 49, No. 1, Pages 32-44, IEEE, 2025.

  5. Laura Hein; Sergey Krutikov; Nils Lauinger; Jan Heinrich Beinke; Julia Knopf; Oliver Thomas (Hrsg.)

    Informatik

    Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2025), The Wide Open: Offenheit von Source bis Science, September 16-19, Potsdam, Germany, Gesellschaft für Informatik eV. 2025.

  6. Adnan Anwer; Jameel Malik; Khawar Khurshid; Ahmed Elhayek; Ramy Battrawy; Didier Stricker; Syed Sarib Naveed; Muhammad Usman Safder

    Scene flow based deep network for hand reconstruction using depth images

    In: Scientific Reports (Sci Rep), Vol. 15(1), No. Article Number: 32726, Pages 1-24, Springer Nature, Nature Publishing Group, 9/2025.

  7. Andrea Micheli; Arthur Bit-Monnot; Gabriele Röger; Enrico Scala; Alessandro Valentini; Luca Framba; Alberto Rovetta; Alessandro Trapasso; Luigi Bonassi; Alfonso Emilio Gerevini; Luca Iocchi; Felix Ingrand; Uwe Köckemann; Fabio Patrizi; Alessandro Saetti; Ivan Serina; Sebastian Stock

    Unified Planning: Modeling, manipulating and solving AI planning problems in Python

    In: SoftwareX, Vol. 29, Elsevier, 2/2025.

  8. Text2CAD: Generating Sequential CAD Models from Beginner-to-Expert Level Text Prompts

    In: The Thirty-Eighth Annual Conference on Neural Information Processing Systems. Neural Information Processing Systems (NeurIPS-2024), December 10-15, Vancouver, British Columbia, Canada, Pages 7552-7579, Vol. 37, Neural Information Processing Systems, 1/2025.

  9. Computational Sustainability and Technology (CST)

    Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, Technical Note, 2025.