Entity usage

Showing below up to 31 results in range #1 to #31.

1. Reliable Representations of Strange Attractors: Label: en
2. For Reliable and Powerful Scientific Computations: Label: en
3. Interval Computations as a Particular Case of a General Scheme Involving Classes of Probability Distributions: Label: en
4. Global Random Walk Simulations of Diffusion: Label: en
5. On the algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic: Label: en
6. Modeling of Multibody Systems with Interval Arithmetic: Label: en
7. Verified Determination of Singularities in Chemical Processes: Label: en
8. About a Finite Dimensional Reduction Method for Conservative Dynamical Systems and Its Applications: Label: en
9. Verified High-Order Integration of DAEs and Higher-Order ODEs: Label: en
10. Set Estimation, Computation of Volumes and Data Safety: Label: en
11. Stabilizing Control Design of Nonlinear Process Involving Uncertainties: Label: en
12. Traditional Parameter Estimation Versus Estimation of Guaranteed Parameter Sets: Label: en
13. Simulation of a Controlled Aircraft Elevator under Sensor Uncertainties: Label: en
14. A Branch-and-Prune Method for Global Optimization: Label: en
15. Interval Methods for Global Optimization Using the Boxing Method: Label: en
16. Nonlinear State Estimation Using Forward-Backward Propagation of Intervals in an Algorithm: Label: en
17. A New Intersection Algorithm for Parametric Surfaces Based on Linear Interval Estimations: Label: en
18. Guaranteed Set Computation with Subpavings: Label: en
19. Euler-Like Method for the Simultaneous Inclusion of Polynomial Zeros with Weierstrass’ Correction: Label: en
20. Verified Solutions of Systems of Nonlinear Polynomial Equations: Label: en
21. On the Solution of Parametrised Linear Systems: Label: en
22. Towards Diagrammatic Analysis of Systems of Interval “Linear Equations”: Label: en
23. Computation of Algebraic Solutions to Interval Systems Via Systems of Coordinates: Label: en
24. On the Hull of the Solution Sets of Interval Linear Equations: Label: en
25. Automatic Test Case Generation Using Interval Arithmetic: Label: en
26. Evaluating the Impact of Accurate Branch Prediction on Interval Software: Label: en
27. A Case for Interval Hardware on Superscalar Processors: Label: en
28. Interval Input and Output: Label: en
29. Fast Computation of Some Special Integrals of Mathematical Physics: Label: en
30. Variable-Precision Exponential Evaluation: Label: en
31. SCAN 2000 Keynote Address the Future of Intervals: Label: en