Skip to main content Skip to main navigation

Publications

Displaying results 1431 to 1440 of 14847.

  1. Niklas Kueper; Su-Kyoung Kim; Mathias Trampler; Marc Tabie; Kartik Chari; Julian Fabricius; Elsa Andrea Kirchner

    Robust Online Movement Prediction from EEG Data for Post-Stroke Rehabilitation

    In: keine Angaben. Brain-computer interface research: a state-of-the-art summary 13. Springer Nature, 2026.

  2. Niklas Kueper; Niels Will; Kartik Chari; Mario Siebler; Elsa Andrea Kirchner

    Rehabilitation der Armfunktion nach Insult durch Mirror Movement Therapie mit Dual-Arm-Exsoskelett

    In: Gemeinsame Jahrestagung der Deutschen, Österreichischen und Schweizerischen Gesellschaft für Neurorehabilitation. Jahrestagung der Deutschen Gesellschaft für interdisziplinähre Neurorehabilitation (DGiNR-2025), D-A-CH Tagung 2025, December 4-6, Freiburg, Germany, DGiNR, 2025.

  3. Julen Urain; Ajay Mandlekar; Yilun Du; Nur Muhammad (Mahi) Shafiullah; Danfei Xu; Katerina Fragkiadaki; Georgia Chalvatzaki; Jan Peters

    A Survey on Deep Generative Models for Robot Learning From Multimodal Demonstrations

    In: IEEE Transactions on Robotics and Automation, Vol. 42, Pages 60-79, ArXiv, 2026.

  4. Harald Fecher; Martin Leucker; Verena Wolf

    Don't Know in Probabilistic Systems

    In: Antti Valmari (Hrsg.). Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria, Pages 71-88, ISBN 9783540331032, Springer Berlin Heidelberg, Heidelberg, 3/2006.

  5. Mark Niemeyer

    Spatio-Temporal-Semantic Sensor Data Management With Use Cases in Agricultural Robotics

    PhD-Thesis, Universität Osnabrück, 2026.

  6. Saifullah Saifullah; Stefan Agne; Andreas Dengel; Sheraz Ahmed

    The Reality of High Performing Deep Learning Models: A Case Study on Document Image Classification

    In: IEEE Access (IEEE), Vol. 12, Pages 103537-103564, IEEE, 2024.

  7. Luca Bortolussi; Thilo Krüger; Thorsten Lehr; Verena Wolf

    Rule-based modelling and simulation of drug-administration policies

    In: Nicht bekannt (Hrsg.). MSM '15: Proceedings of the Symposium on Modeling and Simulation in Medicine. Pages 53-60, ISBN 978-1-5108-0102-8, ACM, 4/2015.

  8. Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Verena Wolf

    Comparative branching-time semantics for Markov chains

    In: Information and Computation (Inform. Comput.), Vol. 200, No. 2, Pages 149-214, Elsevier, Amsterdam, 8/2005.

  9. Tuǧrul Dayar; Holger Hermanns; David Spieler; Verena Wolf

    Bounding the equilibrium distribution of Markov population models

    In: Numerical Linear Algebra with Applications, Vol. 18, No. 6, Pages 931-946, John Wiley & Sons, Ltd, England, 10/2011.

  10. Frédéric Didier; Thomas A. Henzinger; Maria Mateescu; Verena Wolf

    Approximation of event probabilities in noisy cellular processes

    In: Theoretical Computer Science (TCS), Vol. 412, No. 21, Pages 2128-2141, Elsevier, Amsterdam, 5/2011.

Year

More options