Skip to main content Skip to main navigation

Publications

Displaying results 1831 to 1840 of 14726.

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

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

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

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

  5. Hauke Busch; Werner Sandmann; Verena Wolf

    A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion

    In: Corrado Priami (Hrsg.). Computational Methods in Systems Biology - International Conference, Proceedings. International Conference on Computational Methods in Systems Biology (CMSB-2006), October 18-19, Trento, Italy, Pages 298-311, Lecture Notes in Computer Science (LNCS), Vol. 4210, ISBN 9783540461678, Springer, Berlin, Heidelberg, 10/2006.

  6. Ahmed Hendawy; Henrik Metternich; Théo Vincent; Mahdi Kallel; Jan Peters; Carlo D'Eramo

    Use the Online Network If You Can: Towards Fast and Stable Reinforcement Learning

    In: International Conference on Learning Representations. International Conference on Learning Representations (ICLR-2026), located at ICLR-2026, ICLR, 2026.

  7. Théo Vincent; Yogesh Tripathi; Tim Lukas Faust; Abdullah Akgül; Yaniv Oren; Melih Kandemir; Jan Peters; Carlo D'Eramo

    Bridging the performance-gap between target-free and target-based reinforcement learning

    In: International Conference on Learning Representations. International Conference on Learning Representations (ICLR-2026), located at ICLR-2026, ICLR, 2026.

  8. Marc Schubhan; Anne Deutschen; Felix Kosmalla; Florian Daiber; Maximilian Altmeyer

    Investigating Gamification Modalities in Running: A Comparison of Auditory and Visual Feedback on User Performance and Experience

    In: Proceedings of the First Annual Conference on Human-Computer Interaction and Sports. Annual Conference on Human-Computer Interaction and Sports (SportsHCI-2025), New York, NY, USA, SportsHCI '25, ISBN 9798400714283, Association for Computing Machinery, 2025.

  9. Saravanakumar Duraisamy; Maurice Rekrut; Luis A. Leiva

    Functional Connectivity and Hilbert-Based Features for Covert Speech Variability Analysis and Classification

    In: Proceedings of Interspeech 2025. Conference in the Annual Series of Interspeech Events (INTERSPEECH-2025), August 17-21, Rotterdam, Netherlands, Pages 2915-2919, ISCA (International Speech Communication Association), 2025.

  10. Szymon Sieciński; Marcin Grzegorzek

    Evaluation of the linear and nonlinear classifiers for distinguishing between healthy subjects and patients with valvular heart diseases based on electrocardiograms, seismocardiograms, and gyrocardiograms

    In: Computer Methods and Programs in Biomedicine (CMPB), Vol. 271, Pages 108925-108925, Elsevier, 11/2025.

Year

More options