Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 13862.

  1. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, 2026.

  2. Wei Jiang; Hans Dieter Schotten

    A Heterogeneous Massive MIMO Technique for Uniform Service in Cellular Networks

    In: Proceedings of the IEEE International Conference on Communications. IEEE International Conference on Communications (ICC-2026), May 24-28, Glasgow, United Kingdom, IEEE, 5/2026.

  3. Donald Pfaffmann; Matthias Klusch; Marcel Steinmetz

    HyPlan: Hybrid Learning-Assisted Planning Under Uncertainty for Safe Autonomous Driving

    In: Proceedings of the 37th IEEE Intelligent Vehicles Symposium. IEEE Intelligent Vehicles Symposium (IV-2026), Detroit, MI, USA, IEEE, 2026.

  4. Thomas Röfer

    CABSL 2 – Specification Language for Complex Behaviors

    In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Prof. Dr. Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, LNAI, Springer, 2026.

  5. Philip Reichenberg; Thomas Röfer

    Dueling Behavior Leveraging Advanced Motion Control for the NAO Robot

    In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, LNAI, Springer, 2026.

  6. Katharina-Maria Illgen; Laura Hein; Nina Kolchmeyer; Kim Pham; Oliver Thomas

    Towards a Blueprint for Practitioners to Enhance Digital Awareness: Preliminary Observations on AI-Related Workplace Stressors

    In: Proceedings of the Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2026), HICSS, 2026.

  7. Mathias Trampler; Marc Tabie; Frank Kirchner; Elsa Andrea Kirchner

    Exoskeleton based microgravity simulation for astronaut training

    In: MDPI Engineering Proceedings (E-ISSN 2673-459). EASN International Conference on Innovation in Aviation & Space towards Sustainability Today & Tomorrow (EASN-2025), 15th, October 14-17, Madrid, Spain, MDPI, 2026.

  8. David Dembinsky; Adriano Lucieri; Stanislav Frolov; Hiba Najjar; Ko Watanabe; Andreas Dengel

    Unifying VXAI: A Systematic Review and Framework for the Evaluation of Explainable AI

    In: Transactions on Machine Learning Research (TMLR), 1/2026.

  9. Mirko Lenz; Lorik Dumani; Ralf Schenkel; Ralph Bergmann

    Numbers Don't Lie: Hybrid Extraction and Validation of Quantitative Statements in Arguments with Semi-structured Information

    In: Tanya Braun; Benjamin Paaßen; Frieder Stolzenburg (Hrsg.). KI 2025: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2025), Potsdam, Germany, Pages 77-90, Lecture Notes in Computer Science (LNCS), Vol. 15956, ISBN 978-3-032-02813-6, Springer Nature Switzerland, Cham, 2026.

  10. Chandan Jha; Sallar Ahmadi-Pour; Sajjad Parvin; Rolf Drechsler

    DIVIAC: Library of Input Data Aware Approximate Dividers with Partial Exact Minimization

    In: 39th International Conference On VLSI Design. International Conference on VLSI Design (VLSID-2026), January 3-7, Pune, India, 2026.

Jahr

Mehr Optionen