Towards an automatic uncertainty compiler

DOI10.1016/J.IJAR.2023.108951MaRDI QIDQ6178702zbMATH OpenOpenAlexWikidataFDO

Authors Nicholas Gray, Marco de Angelis, Scott A. Ferson

Publication date 4 September 2023

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.ijar.2023.108951

zbMATH Keywords

automatic uncertainty analysisprobability bounds analysisuncertainty compiler

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Theory and practice of uncertain programming
• scientific article; zbMATH DE number 6202395
• On Programming under Uncertainty
• An automata-based view on configurability and uncertainty
• Comparative uncertainty: theory and automation
• On the Uncertainty in the Correctness of Computer Programs
• Combination calculi for uncertainty reasoning: Representing uncertainty using distributions

Cites work

• A Comparison of Three Methods for Selecting Values of Input Variables in the Analysis of Output from a Computer Code
• A universal approach to imprecise probabilities in possibility theory
• A zonotopic framework for functional abstractions
• Affine arithmetic: concepts and applications
• An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
• An introduction to copulas.
• Copula modeling: An introduction for practitioners
• Decision making under interval uncertainty (and beyond)
• Dependence modeling with copulas
• Efficient Expression Templates for Operator Overloading-Based Automatic Differentiation
• From inexact optimization to learning via gradient concentration
• Fuzzy numbers
• Inexact model: a framework for optimization and variational inequalities
• Interval versions of statistical techniques with applications to environmental analysis, bioinformatics, and privacy in statistical databases
• Introduction to Interval Analysis
• Inverse Interval Matrix
• Inverse interval matrix: a survey
• New two-sided confidence intervals for binomial inference derived using Walley's imprecise posterior likelihood as a test statistic
• Numerical approach for quantification of epistemic uncertainty
• Probability bounds analysis for nonlinear population ecology models
• Satellite conjunction analysis and the false confidence theorem
• Scientific computing with automatic result verification
• Should data ever be thrown away? Pooling interval-censored data sets with different precision
• The Cambridge dictionary of statistics
• Validated solutions of initial value problems for ordinary differential equations
• Validated solutions of initial value problems for parametric ODEs

This page was built for publication: Towards an automatic uncertainty compiler

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6178702)