Copertina

Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kofnov, Andrey, Moosbrugger, Marcel, Stankovič, Miroslav, Bartocci, Ezio, Bura, Efstathia
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Applications Symbolic Computation 62G05 (Primary) 62P30 (Secondary) G.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments
di: Kofnov, Andrey, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

Explaining the unexplainable: leveraging extremal dependence to characterize the 2021 Pacific Northwest heatwave
di: Zhang, Likun, et al.
Pubblicazione: (2023)

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

A model and method for analyzing the precision of binary measurement methods based on beta-binomial distributions, and related statistical tests
di: Takeshita, Jun-ichi, et al.
Pubblicazione: (2020)

A Two-Stage Bayesian Framework for Multi-Fidelity Online Updating of Spatial Fragility Fields
di: Braik, Abdullah M., et al.
Pubblicazione: (2026)

friends.test: rank-based method for feature selection in interaction matrices
di: Suvorikova, Alexandra, et al.
Pubblicazione: (2025)

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

Evaluating the role of correlation among markers in prediction models
di: Sabroso-Lasa, Sergio, et al.
Pubblicazione: (2026)

Nonparametric geostatistical risk mapping
di: Fernández-casal, Rubén, et al.
Pubblicazione: (2024)

Nonparametric conditional risk mapping under heteroscedasticity
di: Fernández-Casal, Rubén, et al.
Pubblicazione: (2024)

Estimating hazard rates from $δ$-records in discrete distributions
di: Alcalde, Martín, et al.
Pubblicazione: (2025)

Testing parametric models for the angular measure for bivariate extremes
di: Lhaut, Stéphane, et al.
Pubblicazione: (2024)

On the super-efficiency and robustness of the least squares of depth-trimmed regression estimator
di: Zuo, Yijun, et al.
Pubblicazione: (2025)

Quick and Simple Kernel Differential Equation Regression Estimators for Data with Sparse Design
di: Ge, Chunlei, et al.
Pubblicazione: (2024)

Initial data analysis of the national German transplantation registry with a focus on kidney transplantation
di: Klein, Lukas, et al.
Pubblicazione: (2026)

Trajectory-based real-time pedestrian crash prediction at intersections: A novel non-linear link function for block maxima led Bayesian GEV framework addressing heterogeneous traffic condition
di: Anowar, Parvez, et al.
Pubblicazione: (2025)

Why decision curves go above or below treat-all and treat-none: a PPV- and calibration-based guide for clinical prediction models
di: Hoessly, Linard
Pubblicazione: (2026)

Power Analysis for Experiments with Clustered Data, Ratio Metrics, and Regression for Covariate Adjustment
di: Hesterberg, Tim, et al.
Pubblicazione: (2024)

Correcting for partial verification bias in diagnostic accuracy studies: A tutorial using R
di: Arifin, Wan Nor, et al.
Pubblicazione: (2025)

Regularised Canonical Correlation Analysis: graphical lasso, biplots and beyond
di: Wells, Lennie, et al.
Pubblicazione: (2024)

Seasonal and Periodic Patterns in US COVID-19 Mortality using the Variable Bandpass Periodic Block Bootstrap
di: Valachovic, Edward, et al.
Pubblicazione: (2024)

Periodicity in New York State COVID-19 Hospitalizations Leveraged from the Variable Bandpass Periodic Block Bootstrap
di: Ahmad, Asmaa, et al.
Pubblicazione: (2024)

Nonparametric Inference on Dose-Response Curves Without the Positivity Condition
di: Zhang, Yikun, et al.
Pubblicazione: (2024)

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

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

Conditional Outcome Equivalence: A Quantile Alternative to CATE
di: Givens, Josh, et al.
Pubblicazione: (2024)

Dissecting Microbial Community Structure and Heterogeneity via Multivariate Covariate-Adjusted Clustering
di: Liu, Zhongmao, et al.
Pubblicazione: (2025)

Trend Filtered Mixture of Experts for Automated Gating of High-Frequency Flow Cytometry Data
di: Hyun, Sangwon, et al.
Pubblicazione: (2025)

Bayesian Model Calibration and Sensitivity Analysis for Oscillating Biological Experiments
di: Hwang, Youngdeok, et al.
Pubblicazione: (2021)

On the optimal prediction of extreme events in heavy-tailed time series with applications to solar flare forecasting
di: Verma, Victor, et al.
Pubblicazione: (2024)

Regression and Dimension Reduction for Multivariate Mixed-Type Data via Semiparametric Gaussian Copula
di: Dey, Debangan, et al.
Pubblicazione: (2022)

The Noisy Work of Uncertainty Visualisation Research: A Review
di: Mason, Harriet, et al.
Pubblicazione: (2024)

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

Calibration Bands for Mean Estimates within the Exponential Dispersion Family
di: Delong, Łukasz, et al.
Pubblicazione: (2025)