Skip to main content Skip to main navigation

Publications

Displaying results 1161 to 1170 of 3931.

  1. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 383, No. 2288, Page 20230390, The Royal Society Publishing, 1/2025.

  2. Patrick Knab; David Steinmann; Christian Bartelt; Kristian Kersting; Bernt Schiele; Thomas Seidl; Rudolf Schlegel; Wolfgang Stammer

    What's in the Bottle? A Survey and Roadmap of Concept Bottleneck Models

    In: Transactions on Machine Learning Research (TMLR), Vol. 2026, Pages 1-38, Open Review, 2026.

  3. Annika Tjabben; Lea Bergkemper; Carolin Conrad; Michael Gundall; Hans Dieter Schotten

    Experimental Analysis of Microbubble Propagation for In-Body Data Transmission

    In: IEEE MeditCom 2026. IEEE International Mediterranean Conference on Communications and Networking (MeditCom-2026), July 6-9, Cagliari, Italy, IEEE, 2026.

  4. Franek Stark; Felix Wiebe; Shubham Vyas; Dennis Mronga; Frank Kirchner

    Right Model, Right Time: Real-Time Cascaded-Fidelity MPC for Bipedal Walking

    In: ICRA Workshop on Frontiers of Optimization for Robotics, 2nd Edition. Workshop on Frontiers of Optimization for Robotics, June 1, Vienna, Austria, IEEE, 2026.

  5. Ole Meyer; Naila Rana Andira; Fernando Andres Penaherrera Vaca; Alexandra Pehlken

    Integrating Critical Raw Materials into Life Cycle Assessment using a New Dynamic Material Assessment Tool

    In: 33rd CIRP Conference on Life Cycle Engineering (LCE 2026). CIRP Conference on Life Cycle Engineering (CIRP LCE-2026), 33rd CIRP Conference on Life Cycle Engineering (LCE 2026), March 11-13, Kamakura, Japan, Pages 1000-1005, Procedia CIRP, Vol. 140, ISBN ISSN 2212-8271, Elsevier B.V. Amsterdam, 3/2026.

  6. Felix Friedrich; Lukas Henrik Helff; Niharika Hegde; Patrick Schramowski; Kristian Kersting

    No Safe Dose: How Training Data Drives Unsafe Image Generation

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2605.28137, Pages 1-20, arXiv, 2026.

  7. Phi Nguyen Xuan; Nicholas Tagliapietra; Lavdim Halilaj; Kristian Kersting; Juergen Luettin

    ORCA: An End-to-End Interactive Copilot for Optimized Root Cause Analysis

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2605.27022, Pages 1-10, arXiv, 2026.

  8. Fateme Golivand Darvishvand; Michael A. Skinner; Saurabh Mathur; Ameet Soni; Phillip Reeder; Kristian Kersting; Lakshmi Raman; Sriraam Natarajan

    Imitation learning for clinical decision support in pediatric ECMO

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2605.16175, Pages 1-11, a, 2026.

  9. Tobias Lademann; Théo Vincent; Jan Peters; Matthias Weigold

    The Challenges of Using Reinforcement Learning for Controlling Industrial Energy Systems

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2605.31044, Pages 1-11, arXiv, 2026.

  10. Noah Farr; Aryaman Reddi; Carlo D'Eramo; Jan Peters

    Streaming Reinforcement Learning under Partial Observability with Real-Time Recurrent Learning

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2605.24709, Pages 1-16, arXiv, 2026.

Year

More options