Pages that link to "Item:Q411436"
From MaRDI portal
The following pages link to A generalization of \(p\)-boxes to affine arithmetic (Q411436):
Displaying 11 items.
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016) (← links)
- Rigorous roundoff error analysis of probabilistic floating-point computations (Q832297) (← links)
- Generating Armstrong ABoxes for \(\mathcal{ALC}\) TBoxes (Q1623135) (← links)
- Pari-mutuel probabilities as an uncertainty model (Q2005528) (← links)
- Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314) (← links)
- Unifying practical uncertainty representations. I. Generalized \(p\)-boxes (Q2379340) (← links)
- (Q3551482) (← links)
- Mathematically rigorous global optimization in floating-point arithmetic (Q4685569) (← links)
- Boxes: A Symbolic Abstract Domain of Boxes (Q4930734) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)
- Verified propagation of imprecise probabilities in non-linear ODEs (Q6570278) (← links)