Moment-based invariants for probabilistic loops with non-polynomial assignments
From MaRDI portal
Publication:6103023
DOI10.1007/978-3-031-16336-4_1zbMath1522.68133arXiv2205.02577WikidataQ124212470 ScholiaQ124212470MaRDI QIDQ6103023
Marcel Moosbrugger, Miroslav Stankovič, Andrey Kofnov, Ezio Bartocci, Efstathia Bura
Publication date: 2 June 2023
Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2205.02577
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Global sensitivity analysis through polynomial chaos expansion of a basin-scale geochemical compaction model
- Stochastic simulation of riser-sections with uncertain measured pressure loads and/or uncertain material properties
- Stochastic finite element modelling in linear transient heat transfer
- Taylor expansion for generalized functions
- Probabilistic characterization of transport in heterogeneous media
- Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities
- Bayesian inference of earthquake parameters from buoy data using a polynomial chaos-based surrogate
- An adaptive multi-element generalized polynomial chaos method for stochastic differential equations
- Wiener chaos expansions and numerical solutions of randomly forced equations of fluid mechanics
- On the convergence of generalized polynomial chaos expansions
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
- Taylor Expansions of Distributions
- Gaussian fields and random flow
- The Wiener--Askey Polynomial Chaos for Stochastic Differential Equations
- Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities
- On Taylor Model Based Integration of ODEs
- Uncertainty propagation in CFD using polynomial chaos decomposition
- Use of the Wiener—Hermite expansion for nearly normal turbulence
This page was built for publication: Moment-based invariants for probabilistic loops with non-polynomial assignments
