Skip to main content Skip to main navigation

Publications

Displaying results 691 to 700 of 14901.

  1. Timo P. Gros; Arnd Hartmanns; Ivo Hoese; Joshua Meyer; Nicola Müller; Verena Wolf

    PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface

    In: Pavithra Prabhakar; Andrea Vandin (Hrsg.). Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark, Pages 134-156, Lecture Notes in Computer Science (LNCS), Vol. 16143, ISBN 978-3-032-05791-4, Springer Nature, Switzerland, 10/2025.

  2. Gerrit Großmann; Michael Backenköhler; Verena Wolf

    Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study

    In: Marco Gribaudo; David N. Jansen; Anne Remke (Hrsg.). Quantitative Evaluation of Systems. International Conference on Quantitative Evaluation of Systems (QEST-2020), 17th International Conference, QEST 2020, October 31 - September 1, Vienna, Austria, Pages 211-229, Vol. 12289, ISBN 9783030598549, Springer International Publishing, Switzerland, 9/2020.

  3. Thilo Krüger; Verena Wolf

    Hybrid Stochastic Simulation of Rule-Based Polymerization Models

    In: Eugenio Cinquemani; Alexandre Donzé (Hrsg.). Hybrid Systems Biology - 5th International Workshop, Proceedings. International Conference on Hybrid Systems Biology (HSB-2016), October 20-21, Grenoble, France, Pages 39-53, Lecture Notes in Computer Science (LNCS), Vol. 9957, ISBN 9783319471518, Springer International Publishing, 9/2016.

  4. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Data Petri Nets meet Probabilistic Programming (Extended version)

    6/2024.

  5. Martin Kuhn; Joscha Grüger; Tobias Geyer; Ralph Bergmann

    Leveraging Taxonomy Similarity for Next Activity Prediction in Patient Treatment

    3/2025.

  6. Patrick Bings; Niklas Kueper; Elsa Andrea Kirchner

    Stay Quiet: Investigating the Effect of Overt Speech on EEG Classification Performance

    In: 2025 IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE). IEEE International Conference on Metrology for Extended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE-2025), October 22-24, Ancona, Italy, Pages 7-12, IEEE, 11/2025.

  7. Thomas A. Henzinger; Linar Mikeev; Maria Mateescu; Verena Wolf

    Hybrid numerical solution of the chemical master equation

    In: Proceedings of the 8th International Conference on Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2010), Proceedings of the 8th International Conference on Computational Methods in Systems Biology, September 29 - October 1, Trento, Italy, Pages 55-65, ISBN 9781450300681, ACM, USA, 9/2010.

  8. Alexander Lück; Pascal Giehr; Karl Nordström; Jörn Walter; Verena Wolf

    Hidden Markov Modelling Reveals Neighborhood Dependence of Dnmt3a and 3b Activity

    In: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Vol. 16, No. 5, Pages 1598-1609, IEEE, 4/2019.

  9. Michael Backenköhler; Luca Bortolussi; Verena Wolf

    Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium

    In: Ezio Bartocci; Pietro Lio; Nicola Paoletti (Hrsg.). Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2016), 14th International Conference, CMSB 2016, September 21-23, Cambridge, United Kingdom, Pages 15-29, ISBN 9783319451770, Springer International Publishing, 9/2016.

  10. Dennis Mronga; Andreas Bresser; Fabian Maas genannt Bermpohl; Adrian Danzglock; Simon Stelter; Alina Hawkin; Hoang Giang Nguyen; Michael Beetz; Frank Kirchner

    MARLIN: A cloud integrated robotic solution to support intralogistics in retail

    In: Robotics and Autonomous Systems (RAS), ScienceDirect, 2/2024.

Year

More options