Search

Your search keyword '"Wolf, Verena"' showing total 92 results

Search Constraints

Start Over You searched for: Author "Wolf, Verena" Remove constraint Author: "Wolf, Verena" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
92 results on '"Wolf, Verena"'

Search Results

1. Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages

3. Variance Reduction in Stochastic Reaction Networks Using Control Variates

4. MoGym: Using Formal Models for Training and Verifying Decision-making Agents

6. Learning Vaccine Allocation from Simulations

7. Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models

8. DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning

9. Analysis of Markov Jump Processes under Terminal Constraints

11. Designing Digital Community Service Platforms for Crowd-Based Services in Urban Areas

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

13. Bounding Mean First Passage Times in Population Continuous-Time Markov Chains

14. Tracking the Race Between Deep Reinforcement Learning and Imitation Learning

17. Bounding First Passage Times in Chemical Reaction Networks : Poster Abstract

18. Control Variates for Stochastic Simulation of Chemical Reaction Networks

19. A Hybrid HMM Approach for the Dynamics of DNA Methylation

20. Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks

22. Lumping the Approximate Master Equation for Multistate Processes on Complex Networks

23. Student Performance Prediction and Optimal Course Selection: An MDP Approach

28. A Stochastic Model for the Formation of Spatial Methylation Patterns

29. Correction to: DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning

30. Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium

31. Hybrid Stochastic Simulation of Rule-Based Polymerization Models

32. Optimal Observation Time Points in Stochastic Chemical Kinetics

33. Model-Based Whole-Genome Analysis of DNA Methylation Fidelity

34. Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems

35. Approximate Transient Analysis of Queuing Networks by Quasi Product Forms

36. Efficient Steady State Analysis of Multimodal Markov Chains

37. Quasi Product Form Approximation for Markov Models of Reaction Networks

38. Parameter Identification for Markov Models of Biochemical Reactions

39. Formalisms for Specifying Markovian Population Models

40. Approximation of Event Probabilities in Noisy Cellular Processes

41. Sliding Window Abstraction for Infinite Markov Chains

43. Abstraction for Stochastic Systems by Erlang’s Method of Stages

44. Three-Valued Abstraction for Continuous-Time Markov Chains

45. A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion

46. Stochastic Reasoning About Channel-Based Component Connectors

47. Don’t Know in Probabilistic Systems

48. 9 Testing Theory for Probabilistic Systems

50. Rate Equations for Graphs

Catalog

Books, media, physical & digital resources