Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 10 von 13706.
  1. 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.

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

  3. Combining informed data-driven anomaly detection with knowledge graphs for root cause analysis in predictive maintenance

    In: Engineering Applications of Artificial Intelligence, Vol. 145, Page 110152, Elsevier, 2025.

  4. Sallar Ahmadi-Pour; Sangeet Saha; Klaus McDonald-Maier; Rolf Drechsler

    MESSI: Task Mapping and Scheduling Strategy for FPGA-based Heterogeneous Real-Time SystemsMESSI: Task Mapping and Scheduling Strategy for FPGA-based Heterogeneous Real-Time Systems

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

  5. Gregor Duwe; Dominique Mercier; Verena Kauth; Kerstin Moench; Vikas Rajashekar; Markus Junker; Andreas Dengel; Axel Haferkamp; Thomas Hoefner

    Development of an artificial intelligence-generated, explainable treatment recommendation system for urothelial carcinoma and renal cell carcinoma to support multidisciplinary cancer conferences

    In: European Journal of Cancer (EJC), Vol. 220, No. 115367, Pages 1-8, Elsevier Ltd. 3/2025.

  6. Martina Hutter-Mironovova; Benjamin Blumhofer; Christopher Schneider; Achim Wagner

    Behavior Tree as a Decision Planning Algorithm for Industrial Robot

    In: Leonard Barolli (Hrsg.). Advances on P2P, Parallel, Grid, Cloud and Internet Computing. International Conference on Advances on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2024), November 13-15, San Benedetto del Tronto, Italy, Pages 385-394, Lecture Notes on Data Engineering and Communications Technologies (LNDECT), Vol. 232, ISBN 978-3-031-76462-2, Springer Nature Switzerland, Cham, 2025.

  7. Lifting Factor Graphs with Some Unknown Factors for New Individuals

    In: Zied Bouraoui; Srdjan Vesic (Hrsg.). International Journal of Approximate Reasoning (IJAR), Vol. 179, No. 04/2025 (article 109371), Pages 1-28, Elsevier, 4/2025.

  8. Alexander Mock; Martin Magnusson; Joachim Hertzberg

    RadaRays: Real-time Simulation of Rotating FMCW Radar for Mobile Robotics via Hardware-accelerated Ray Tracing

    In: IEEE Robotics and Automation Letters (RA-L), Vol. 10, No. 3, Pages 2470-2477, IEEE Press, 3/2025.

  9. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

  10. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A, The Royal Society Publishing, 2025.