Cover Image

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kofnov, Andrey, Moosbrugger, Marcel, Stankovič, Miroslav, Bartocci, Ezio, Bura, Efstathia
Format:	Preprint
Published:	2023
Subjects:	Applications Numerical Analysis Symbolic Computation Statistics Theory 62G05, 62P30 G.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
by: Kofnov, Andrey, et al.
Published: (2022)

Moment-based Density Elicitation with Applications in Probabilistic Loops
by: Kofnov, Andrey, et al.
Published: (2023)

Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs
by: Kofnov, Andrey, et al.
Published: (2025)

Bootstrap Pettitt test for detecting change point in hydroclimatological data: a case study for Itaipu hydroelectric plant in Brazil
by: Conte, Luiza Chiarelli, et al.
Published: (2024)

Why Empirical p-Values Are Not Uniform: Reference Samples, Dependence, and PIT Backtesting
by: Lis, Jakub
Published: (2026)

Analyzing directional errors in spatial orientation using nonparametric circular regression with mixed covariates
by: Francisco-Fernández, Mario, et al.
Published: (2026)

On the importance of tail assumptions in climate extreme event attribution
by: Li, Mengran, et al.
Published: (2025)

Ostrom-Weighted Bootstrap: A Theoretically Optimal and Provably Complete Framework for Hierarchical Imputation in Multi-Agent Systems
by: Wakimoto, Hirofumi
Published: (2025)

River flow modelling using nonparametric functional data analysis
by: Quintela-del-Río, Alejandro, et al.
Published: (2024)

A Model-Agnostic Bootstrap for Macro-Level Claims Reserving Under the Conditioning Principle
by: Van Oirbeek, Robin, et al.
Published: (2026)

Comparative Judgement Modeling to Map Forced Marriage at Local Levels
by: Seymour, R. G., et al.
Published: (2022)

A likelihood ratio test for circular multimodality
by: Bolón, Diego, et al.
Published: (2024)

A semiparametric generalized exponential regression model with a principled distance-based prior
by: Dey, Arijit, et al.
Published: (2023)

Outcome-guided spike-and-slab Lasso Biclustering: A Novel Approach for Enhancing Biclustering Techniques for Gene Expression Analysis
by: Vargas-Mieles, Luis A., et al.
Published: (2024)

One citation, one vote! A new approach for analysing check-all-that-apply (CATA) data, using L1 norm methods
by: Chaya, Carolina, et al.
Published: (2025)

Universal Inference for Testing Calibration of Mean Estimates within the Exponential Dispersion Family
by: Delong, Łukasz, et al.
Published: (2025)

Predicting hazards of climate extremes: a statistical perspective
by: Pacifici, Carlotta, et al.
Published: (2025)

A Decision Analysis Framework for High-fidelity and Low-fidelity Systems with Applications in Manufacturing Processes
by: Zhang, Fan, et al.
Published: (2026)

Market-based insurance ratemaking: application to pet insurance
by: Goffard, Pierre-Olivier, et al.
Published: (2025)

Club Exco: clustering brain extreme communities from multi-channel EEG data
by: Guerrero, Matheus B., et al.
Published: (2022)

Wishart kernel density estimation for strongly mixing time series on the cone of positive definite matrices
by: Belzile, Léo R., et al.
Published: (2025)

Log Heston Model for Monthly Average VIX
by: Park, Jihyun, et al.
Published: (2024)

Estimating Changepoints in Extremal Dependence, Applied to Aviation Stock Prices During COVID-19 Pandemic
by: Hazra, Arnab, et al.
Published: (2023)

Classification of multiple segmented profiles, application to the study of the neuronal protein Tau
by: Brault, Vincent, et al.
Published: (2025)

Logarithmic resilience risk metrics that address the huge variations in blackout cost
by: Ahmad, Arslan, et al.
Published: (2025)

Modeling Human Spatial Mobility Patterns with the Lévy Flight Cluster Model
by: Wolff, Malcolm, et al.
Published: (2025)

Comparative Evaluation of VaR Models: Historical Simulation, GARCH-Based Monte Carlo, and Filtered Historical Simulation
by: Tian, Xin
Published: (2025)

TSSS: A Novel Triangulated Spherical Spline Smoothing for Surface-based Data
by: Gu, Zhiling, et al.
Published: (2024)

Parameter estimation for the generalized extreme value distribution: a method that combines bootstrapping and r largest order statistics
by: Soto, Juan L. P.
Published: (2024)

Statistical visualisation for tidy and geospatial data in R via kernel smoothing methods in the eks package
by: Duong, Tarn
Published: (2022)

A fractional Brownian -- Hawkes model for the Italian electricity spot market: estimation and forecasting
by: Giordano, Luca M., et al.
Published: (2019)

Assessing replication success via skeptical mixture priors
by: Consonni, Guido, et al.
Published: (2023)

Forecasting Elections from Partial Information Using a Bayesian Model for a Multinomial Sequence of Data
by: Deb, Soudeep, et al.
Published: (2021)

Dirichlet kernel density estimation on the simplex with missing data
by: Daayeb, Hanen, et al.
Published: (2026)

Active sampling: A machine-learning-assisted framework for finite population inference with optimal subsamples
by: Imberg, Henrik, et al.
Published: (2022)

Design-Conditional Prior Elicitation for Dirichlet Process Mixtures: A Unified Framework for Cluster Counts and Weight Control
by: Lee, JoonHo
Published: (2026)

A statistical framework for planning and analysing test-retest studies for repeatability of quantitative biomarker measurements
by: Danzer, Moritz Fabian, et al.
Published: (2023)

Boxplots and quartile plots for grouped and periodic angular data
by: Berlinski, Joshua D., et al.
Published: (2026)

Pairwise accelerated failure time regression models for infectious disease transmission in close-contact groups with external sources of infection
by: Sharker, Yushuf, et al.
Published: (2019)

Valuation Measure of the Stock Market using Stochastic Volatility and Stock Earnings
by: Sarantsev, Andrey, et al.
Published: (2025)