Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1371 bis 1380 von 14738.
  1. Felix Wiebe; Niccolò Turcato; Alberto Dalla Libera; Chi Zhang; Theo Vincent; Shubham Vyas; Giulio Giacomuzzo; Ruggero Carli; Diego Romeres; Akhil Sathuluri; Markus Zimmermann; Boris Belousov; Jan Peters; Frank Kirchner; Shivesh Kumar

    Reinforcement Learning for Athletic Intelligence: Lessons from the 1st "AI Olympics with RealAIGym" Competition

    In: Kate Larson (Hrsg.). Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24. International Joint Conference on Artificial Intelligence (IJCAI-2024), August 3-9, Jeju, Korea, Republic of, Pages 8833-8837, International Joint Conferences on Artificial Intelligence Organization, 8/2024.

  2. Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Auto-OPS: A Framework For Automated Optical Probing Simulation on GDS-II

    In: IEEE Embedded Systems Letters (ESL), IEEE, 2024.

  3. Sallar Ahmadi-Pour; Rolf Drechsler

    MicroRV32, A RISC-V Platform for Education and Research

    In: 1st Soft RISC-V Systems Workshop (SRvS Workshop). Soft RISC-V Systems Workshop (SRvS-2025), November 7-8, Online, 2024.

  4. Towards Formal Verification for MAC-based In-Memory Computing

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  5. Dev Narayan Yadav; Phrangboklang Lyngton Thangkhiew; F Lalchhandama; Kamalika Datta; Rolf Drechsler; Indranil Sengupta

    Improving Self-Fault-Tolerance Capability of Memristor Crossbar Using a Weight-Sharing Approach

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2024), December 17-20, Ahmedabad, India, 2024.

  6. Yousef Koka

    Learn2Clean Event Data

    Mastersthesis, German University in Cairo, 8/2024.

  7. Rolf Drechsler; Christina Plump; Martha Schnieber

    The Future is Hybrid: Next Generation Data Structures for Formal Verification

    In: Rolf Drechsler; Christina Plump; Martha Schnieber (Hrsg.). 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  8. Sabine Blaschke; Harald Dormann; Rajan Somasundaram; Christoph Dodt; Ingo Graeff; Hans-Jörg Busch; Bernadett Erdmann; Marc Wieckenberg; Christoph Haedicke; Katrin Esslinger; Elisabeth Nyoungui; Tim Friede; Felix Walcher; Julia Talamo; Julia K. Wolff; OPTINOFA Study Group; Wilhelm Behringer; Ulrich Heida; Thomas Ruhnke; Christian Günster; Patrik Dröge; Michael Schmucker; Martin Haag; Michael Dietrich; Wiebke Schirrmeister; Felix Greiner; Paul Ludolph; Hans-Dieter Nolting; Kerstin Pischek-Koch; Stefanie Wache; Irina Chaplinskaya-Sobol; Dagmar Krefting; Kai Antweiler; Eva Hummers; Marina Karg; Jennifer Lenz; Kathrein Munski; Andreas Brockmann; Wiebke Boehne; Heike Teupe

    Strukturierte Ersteinschätzung in der Notaufnahme mittels des intelligenten Assistenzdienstes OPTINOFA

    In: Medizinische Klinik - Intensivmedizin und Notfallmedizin, Vol. 119, No. 9, Pages 751-762, SPRINGER NATURE, 12/2024.

  9. Khushboo Qayyum; Sallar Ahmadi-Pour; Chandan Jha; Muhammad Hassan; Rolf Drechsler

    LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.