Introduction to Interval Analysis

DOI10.1137/1.9780898717716zbMath1168.65002OpenAlexW1507872748MaRDI QIDQ3605131

Ramon E. Moore, Michael J. Cloud, Ralph Baker Kearfott

Publication date: 20 February 2009

Full work available at URL: https://semanticscholar.org/paper/401699bcab0b683f4ec32cb00542909520aa79bf

Symbolic computation and algebraic computation (68W30) Numerical methods for integral equations (65R20) Interval and finite arithmetic (65G30) Roundoff error (65G50) Algorithms with automatic result verification (65G20) Numerical linear algebra (65Fxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to numerical analysis (65-01) Numerical methods for ordinary differential equations (65Lxx) Nonlinear algebraic or transcendental equations (65Hxx)

Related Items

Model predictive control of dynamic systems with mixed uncertainty and its application to supply chain management, A FORMAL PROOF OF THE KEPLER CONJECTURE, The multivariate bisection algorithm, Inner and outer estimations of the generalized solution sets and an application in economic, Interval extensions of the Halley method and its modified method for finding enclosures of roots of nonlinear equations, A computer-assisted proof of dynamo growth in the stretch-fold-shear map, Floating-point arithmetic, Multi-modal and multi-route transportation problem for hazardous materials under uncertainty, Optimal robust fault detection of discrete‐time LPV systems with measurement error‐affected scheduling variables combining ZKF and pQP, The Hukuhara difference, gH-difference and gH-division are not inclusion isotonic, A new methodology for solving fuzzy systems of equations: thick fuzzy sets based approach, Validated Root Enclosures for Interval Polynomials with Multiplicities, Certified simultaneous isotopic approximation of pairs of curves via subdivision, New differentiability concepts for set-valued functions and applications to set differential equations, Interval nonlinear initial-valued problem using constraint intervals: theory and an application to the SARS-CoV-2 outbreak, On the uniqueness of convex central configurations in the planar 4-body problem, Recursive solution of initial value problems with temporal discretization, Gradient-based descent linesearch to solve interval-valued optimization problems under gH-differentiability with application to finance, Towards interval uncertainty propagation control in bivariate aggregation processes and the introduction of width-limited interval-valued overlap functions, The interval eigenvalue problem using constraint interval analysis with an application to linear differential equations, The interval-valued Choquet-Sugeno-like operator as a tool for aggregation of interval-valued functions, Robust nonlinear model predictive control based on nominal predictions with piecewise constant references and bounded disturbances, Fréchet subdifferential calculus for interval-valued functions and its applications in nonsmooth interval optimization, Mixed-Integer programming models for irregular strip packing based on vertical slices and feasibility cuts, A novel geometry optimization strategy to online active fault diagnosis of LPV systems, Should data ever be thrown away? Pooling interval-censored data sets with different precision, Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals, Interval variational inequalities and their relationship with interval optimization problems, Interval-Krawczyk Approach for Solving Nonlinear Equations Systems in B-spline Form, Need for techniques intermediate between interval and probabilistic ones, A survey of interval algorithms for solving multicriteria analysis problems, Sliding window algorithm for parametric identification of dynamical systems with rectangular and ellipsoid parameter uncertainty domains, Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming, Inequalities for interval-valued Riemann diamond-alpha integrals, Dynamics of beams with uncertain crack depth: stochastic versus interval analysis, Fatigue analysis of structures with interval axial stiffness subjected to stationary stochastic excitations, A domain-theoretic framework for robustness analysis of neural networks, Linear dynamic fuzzy granule based long-term forecasting model of interval-valued time series, On the fractional integral inclusions having exponential kernels for interval-valued convex functions, Certain fractional integral inclusions pertaining to interval-valued exponential trigonometric convex functions, On the polyhedral homotopy method for solving generalized Nash equilibrium problems of polynomials, Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test, Various approaches to multiobjective linear programming problems with interval costs and interval weights, Robot workspace approximation with modified bicentered Krawczyk method, Generalized Hermite-Hadamard inclusions for a generalized fractional integral, A rigorous deterministic global optimization approach for the derivation of secondary information in digital maps, Subdomain separability in global optimization, Projection-based guaranteed $L^2$ error bounds for finite element approximations of Laplace eigenfunctions, Towards an automatic uncertainty compiler, Interval Laplace transform and its application in production inventory, Newton's method for interval-valued multiobjective optimization problem, Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Fuzzy Matrix Contractor Based Approach for Localization of Robots, Modeling Radon Diffusion Equation by Using Fuzzy Polynomials in Galerkin’s Method, Unnamed Item, The Worst Case Finite Optimal Value in Interval Linear Programming, Computing Enclosures for the Matrix Exponential, Mathematically Rigorous Global Optimization and Fuzzy Optimization, Accurate Evaluation of Arithmetic Expressions (Invited Talk), On robust control of a class of nonlinear mechanical systems with parametric uncertainty, Effective topological degree computation based on interval arithmetic, On solvability recognition for interval linear systems of equations, A NOTE ON DEFINITIONS OF THE RANK FOR INTERVAL MATRICES, An extension of the $\alpha\mathrm{BB}$-type underestimation to linear parametric Hessian matrices, A parameter method for linear algebra and optimization with uncertainties, Fractional Hermite-Hadamard-type inequalities for interval-valued functions, An iterative model predictive control algorithm for constrained nonlinear systems, Computable analysis with applications to dynamic systems, Soft Computing Simulations of Chaotic Systems, Generalization of real interval matrices to other fields, Fuzzy-Stochastic Partial Differential Equations, Weak and Strong Compatibility in Data Fitting Problems Under Interval Uncertainty, Dealing with Uncertainties in Computing: From Probabilistic and Interval Uncertainty to Combination of Different Types of Uncertainty, EA solutions and EA solvability to general interval linear systems, Some results on the fundamental concepts of fuzzy set theory in intuitionistic fuzzy environment by using α and β cuts, Expansion of Generalized Hukuhara Differentiable Interval Valued Function, Rare event probability estimation in the presence of epistemic uncertainty on input probability distribution parameters, Some results on the upper bound of optimal values in interval convex quadratic programming, An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid, An efficient uncertainty propagation method for parameterized probability boxes, Certification for polynomial systems via square subsystems, Correlation propagation for uncertainty analysis of structures based on a non-probabilistic ellipsoidal model, Inflation of poorly conditioned zeros of systems of analytic functions, A new multi-section based technique for constrained optimization problems with interval-valued objective function, AE solutions to two-sided interval linear systems over max-plus algebra, New Jensen and Hermite-Hadamard type inequalities for $h$-convex interval-valued functions, The complexity of computation and approximation of the $t$-ratio over one-dimensional interval data, A modification of the $\alpha \mathrm{BB}$ method for box-constrained optimization and an application to inverse kinematics, A heuristic prover for real inequalities, DiffRNN: differential verification of recurrent neural networks, Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs, Multi-step root solvers of Traub's type in real interval arithmetic, Parametric AE-solution sets to the parametric linear systems with multiple right-hand sides and parametric matrix equation $A(p)X=B(p)$, A posteriori error bounds for two point boundary value problems: a Green's function approach, Robust optimal solutions in interval linear programming with forall-exists quantifiers, Maximum consistency method for data fitting under interval uncertainty, Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations, Farkas-type conditions of general interval linear systems for AE solvability, Weak and strong solvability of interval linear systems of equations and inequalities, Interval or moments: which carry more information?, Orders on intervals over partially ordered sets: extending Allen's algebra and interval graph results., An interval estimator for the unmixing of mixtures with set-based source descriptions, Robustness of full implication algorithms based on interval-valued fuzzy inference, The interval Shapley value: an axiomatization, Sensitivity-based feedforward and feedback control for uncertain systems, A verified realization of a Dempster-Shafer based fault tree analysis, Different approaches to forecast interval time series: a comparison in finance, Probability bounds analysis for nonlinear population ecology models, Robustness of reverse triple I algorithms based on interval-valued fuzzy inference, Polytope-based computation of polynomial ranges, Interval additive generators of interval t-norms and interval t-conorms, Robustness of interval-valued fuzzy inference, New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations, The second eigenfunction of the $p$-Laplacian on the disk is not radial, Algebraic structures of interval-valued fuzzy $(S,\mathcal N)$-implications, A class of fuzzy multisets with a fixed number of memberships, Estimating sample mean under interval uncertainty and constraint on sample variance, An alternative optimization technique for interval objective constrained optimization problems via multiobjective programming, Interval MV-algebras and generalizations., Dealing with uncertainties in engineering problems using only available data, Verified error bounds for solutions of Sylvester matrix equations, Interval analysis of structures with uncertain-but-bounded axial stiffness, Interval Ostrowski-type methods with guaranteed convergence, Kepler accuracy model for co-periodic satellite separation extrema, Robust support vector machine-trained fuzzy system, AE solutions and AE solvability to general interval linear systems, Determination of inner and outer bounds of reachable sets through subpavings, Bound constrained interval global optimization in the COCONUT environment, On approximation of the best case optimal value in interval linear programming, (Non)Existence of pleated folds: How paper folds between creases, A generic position based method for real root isolation of zero-dimensional polynomial systems, $L$- and $R$-localized solvabilities of max-separable interval linear equations and its applications, Root refinement for real polynomials using quadratic interval refinement, Upper bounding in inner regions for global optimization under inequality constraints, Necessary and sufficient conditions for unified optimality of interval linear program in the general form, Fixed points of a destabilized Kuramoto-Sivashinsky equation, Convergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEs, Distance measures for interval type-2 fuzzy numbers, Computer-assisted equilibrium validation for the diblock copolymer model, A blind digital image watermarking method based on the dyadic wavelet transform and interval arithmetic, On $(G, N)$-implications derived from grouping functions, Visual stability analysis for model selection in graded possibilistic clustering, Closed form of $L$-localized solution set of MAX-plus interval linear system and its application on optimization problem, On the possibilistic approach to linear regression models involving uncertain, indeterminate or interval data, Enclosure of all index-1 saddle points of general nonlinear functions, Newton method to obtain efficient solutions of the optimization problems with interval-valued objective functions, Ostrowski type inequalities and applications in numerical integration for interval-valued functions, A Newton method for capturing efficient solutions of interval optimization problems, Rigorous bounds for polynomial Julia sets, Interval arithmetic operations for uncertainty analysis with correlated interval variables, A three-stage, VSVO, Hermite-Birkhoff-Taylor, ODE solver, Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs, New order relations in set optimization, The encounter of interval and probabilistic approaches to structural reliability at the design point, Fuzzy-small degrees of freedom representation of linear and angular variations in mechanical assemblies for tolerance analysis and allocation, A fast memoryless interval-based algorithm for global optimization, Computation of spectral sets for uncertain linear fractional-order systems, Testing pseudoconvexity via interval computation, Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations, $\chi$-optimal solution of single objective nonlinear optimization problem with uncertain parameters, The influence of interval arithmetic on the shape of uncertainly defined domains modelled by closed curves, Some integral inequalities for interval-valued functions, Interval type-2 relative entropy fuzzy C-means clustering, New inner product quasilinear spaces on interval numbers, Solvability and feasibility of interval linear equations and inequalities, Computing with words with the use of inverse RDM models of membership functions, Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting, Static response bounds of Timoshenko beams with spatially varying interval uncertainties, Calculating the possible conformations arising from uncertainty in the molecular distance geometry problem using constraint interval analysis, Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers, Hermite-Hadamard- and Jensen-type inequalities for interval $(h_1,h_2)$ nonconvex function, Some integral inequalities for fuzzy-interval-valued functions, New efficiency conditions for multiobjective interval-valued programming problems, A constraint fuzzy interval analysis approach to fuzzy optimization, Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point, Some results in interval multiobjective linear programming for recognizing different solutions, Inverse optimization: towards the optimal parameter set of inverse LP with interval coefficients, Simple and reliable boundary detection for meshfree particle methods using interval analysis, On the Hermite-Hadamard inequalities for interval-valued coordinated convex functions, An effective method for division of rectangular intervals, On modified convex interval valued functions and related inclusions via the interval valued generalized fractional integrals in extended interval space, Domain theoretic second-order Euler's method for solving initial value problems, Optimization of data distributed network system under uncertainty, Inner-product quasilinear spaces with applications in signal processing, Forward and inverse techniques for fuzzy fractional systems applied to radon transport in soil chambers, Input design for integrated active fault diagnosis and output tracking control, Joint state and parameter estimation based on constrained zonotopes, Loci of 3-periodics in an Elliptic Billiard: why so many ellipses?, Hermite-Hadamard and Schur-type inequalities for strongly $h$-convex fuzzy interval valued functions, On estimating workload in interval branch-and-bound global optimization algorithms, On interval branch-and-bound for additively separable functions with common variables, Cellular non-deterministic automata and partial differential equations, Local adaption for approximation and minimization of univariate functions, Interval linear systems as a necessary step in fuzzy linear systems, Weighted Hermite-Hadamard type inclusions for products of co-ordinated convex interval-valued functions, New Hermite-Hadamard-type inequalities for $(h_1, h_2)$-convex fuzzy-interval-valued functions, Fully computable a posteriori error bounds for eigenfunctions, Some integral inequalities for generalized left and right log convex interval-valued functions based upon the pseudo-order relation, Evidence-theory-based uncertain parameter identification method for mechanical systems with imprecise information, Interval-valued quintuple implication principle of fuzzy reasoning, Random model with fuzzy distribution parameters for hybrid uncertainty propagation in engineering systems, An algebraic model for the propagation of errors in matrix calculus, How to solve a design centering problem, Stabilization of uncertain systems using quantized and lossy observations and uncertain control inputs, On the topology and isotopic meshing of plane algebraic curves, SUSPECT: MINLP special structure detector for Pyomo, Reliability analysis of structures with interval uncertainties under stationary stochastic excitations, A fuzzy-stochastic multiscale model for fiber composites, a one-dimensional study, Relations between various methods for solving linear interval and parametric equations, The complexity of subdivision for diameter-distance tests, A variable and a fixed ordering of intervals and their application in optimization with interval-valued functions, Interval-valued fuzzy reasoning full implication algorithms based on the t-representable t-norm, New characterizations of tolerance-control and localized solutions to interval system of linear equations, An efficient algorithm for finding all solutions of nonlinear equations using parallelogram LP test, A KAM theory for conformally symplectic systems: efficient algorithms and their validation, How to determine basis stability in interval linear programming, Floer homology, group orderability, and taut foliations of hyperbolic 3-manifolds, Image encryption using finite-precision error, Multiobjective interval linear programming in admissible-order vector space, Complexity of computing interval matrix powers for special classes of matrices., Evolutionary algorithms with preference polyhedron for interval multi-objective optimization problems, Checking weak optimality of the solution to linear programming with interval right-hand side, Isotopic meshing of a real algebraic space curve, Hermite-Hadamard and fractional integral inequalities for interval-valued generalized $p$-convex function, Interval matrices: realization of ranks by rational matrices, A two-phase approach for conditional floating-point verification, A rule-based granular model development for interval-valued time series, Computing the spectral decomposition of interval matrices and a study on interval matrix powers, An interval Kalman filter enhanced by lowering the covariance matrix upper bound, Milne type inequality and interval orders, Adaptive interpolation algorithm using TT-decomposition for modeling dynamical systems with interval parameters, Computing enclosures for the inverse square root and the sign function of a matrix, Complexity issues for the symmetric interval eigenvalue problem, A computer-assisted proof of existence of a periodic solution, Note on ``A new equivalent transformation for interval inequality constraints of interval linear programming, A fuzzy multi-objective linear programming with interval-typed triangular fuzzy numbers, An interval extension of homogeneous and pseudo-homogeneous t-norms and t-conorms, Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models, Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems, Incremental updating of rough approximations in interval-valued information systems under attribute generalization, An algorithm for solving two-sided interval system of max-plus linear equations, Formal solution of an interval system of linear equations with an application in static responses of structures with interval forces, Finding all solution sets of piecewise-linear interval equations using an integer programming solver, Systematic computer assisted proofs of periodic orbits of Hamiltonian systems, Duality gap in interval linear programming, Interval-valued fuzzy inference based on aggregation functions, Solving the nondeterministic static governing equations of structures subjected to various forces under fuzzy and interval uncertainty, Interval methods with fifth order of convergence for solving nonlinear scalar equations, Why use a fuzzy partition in F-transform?, Algebraic solution to interval equilibrium equations of truss structures, An analytical model for solving generalized interval eigenvalue problem, A novel interval finite element method based on the improved interval analysis, Hybrid uncertainty propagation in structural-acoustic systems based on the polynomial chaos expansion and dimension-wise analysis, The metric derivative of set-valued functions, Detecting unreliable computer simulations of recursive functions with interval extensions, Some inequalities for interval-valued functions on time scales, Solving interval linear programming problems with equality constraints using extended interval enclosure solutions, AE solutions to interval linear systems over max-plus algebra, Gauss-type integral inequalities for interval and fuzzy-interval-valued functions, Opial-type inequalities for interval-valued functions, A dual-layer dimension-wise fuzzy finite element method for structural analysis with epistemic uncertainties, Calculus of fuzzy vector-valued functions and almost periodic fuzzy vector-valued functions on time scales, Quantile and expectile smoothing based on $L_1$-norm and $L_2$-norm fuzzy transforms, Using geometric interval algebra modeling for improved three-dimensional camera calibration, Interval computing periodic orbits of maps using a piecewise approach, An interval algorithm for uncertain dynamic stability analysis, Using interval information granules to improve forecasting in fuzzy time series, Cellphone geolocation via magnetic mapping, State estimation of heterogeneous oscillators by means of proximity measurements, A new proof of interval extension of the classic Ostrowski's method and its modified method for computing the enclosure solutions of nonlinear equations, Rigorous integration of non-linear ordinary differential equations in Chebyshev basis, The monotonicity of the apsidal angle in power-law potential systems, On dating Hero of Alexandria, New method for computing the upper bound of optimal value in interval quadratic program, Rank-constrained fundamental matrix estimation by polynomial global optimization versus the eight-point algorithm, Interval oriented entropy based multi-item solid transportation problem with budget and breakability, Fractional inclusions of the Hermite-Hadamard type for $m$-polynomial convex interval-valued functions, On rank range of interval matrices, Producing an interval extension of the King method, Maximum compatibility method for data fitting under interval uncertainty, Algorithms for unconstrained global optimization of nonlinear (polynomial) programming problems: the single and multi-segment polynomial B-spline approach, Computation of the largest positive Lyapunov exponent using rounding mode and recursive least square algorithm, New characterizations for the solution set to interval linear systems of equations, Convergence-order analysis of branch-and-bound algorithms for constrained problems, Chebyshev model arithmetic for factorable functions, Solving linear optimization over arithmetic constraint formula, Is an interval the right result of arithmetic operations on intervals?, Some properties of the lower bound of optimal values in interval convex quadratic programming, Subsethood measures for interval-valued fuzzy sets based on the aggregation of interval fuzzy implications, Stochastic simulation of biochemical reactions with partial-propensity and rejection-based approaches, The cluster problem in constrained global optimization, On the algebraic solution of fuzzy linear systems based on interval theory, The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set, A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms, A novel approach based on preference-based index for interval bilevel linear programming problem, Euler-Bernoulli interval finite element with spatially varying uncertain properties, Compromising solution of geometric programming problem with bounded parameters, A parametrized sum of fuzzy numbers with applications to fuzzy initial value problems, On general conditions for nestedness of the solution set of fuzzy-interval linear systems, Domain reduction techniques for global NLP and MINLP optimization, Higher order multi-step interval iterative methods for solving nonlinear equations in $\mathbb R^n$, Stochastic arithmetic in multiprecision, Imprecise probability and chance, A proof of Jones' conjecture, Formally verified approximations of definite integrals, Networked control system design for turbofan aeroengines with aging and deterioration, Extended ellipsoidal outer-bounding set-membership estimation for nonlinear discrete-time systems with unknown-but-bounded disturbances, A general unified framework for interval pairwise comparison matrices, Computer-assisted proofs for radially symmetric solutions of PDEs, Suspended load path tracking control using a tilt-rotor UAV based on zonotopic state estimation, Exact enclosures of roots of interval quadratic equations by Sridhara's and Fagnano's or modified Fagnano's formulas, Rigorous cubical approximation and persistent homology of continuous functions, A new reliable performance evaluation model: IFB-IER-DEA, Solving over-constrained systems of non-linear interval equations -- and its robotic application, Dual interval-and-fuzzy analysis method for temperature prediction with hybrid epistemic uncertainties via polynomial chaos expansion, Unified polynomial expansion for interval and random response analysis of uncertain structure-acoustic system with arbitrary probability distribution, Approximating a solution set of nonlinear inequalities, Identifying volatile numeric expressions in numeric computing applications, Interval analysis of the HIV dynamics model solution using type-2 fuzzy sets, An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic, A new approach to interval-valued probability measures, a formal method for consolidating the languages of information deficiency: foundations, D number theory based game-theoretic framework in adversarial decision making under a fuzzy environment, Efficient algorithms for heavy-tail analysis under interval uncertainty, Interval tensors and their application in solving multi-linear systems of equations, Properties of fuzzy transform obtained from $L_p$ minimization and a connection with Zadeh's extension principle, On the predictability and robustness of Galileo disposal orbits, Matrix methods for the tensorial Bernstein form, Quasi-decidability of a fragment of the first-order theory of real numbers, Solving interval systems of equations obtained during the numerical solution of boundary value problems, Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations, Solving interval linear least squares problems by PPS-methods, Linear interval parametric approach to testing pseudoconvexity, On interval $(\mathbb{G}, \mathbb{N})$-implications and $(\mathbb{O}, \mathbb{G}, \mathbb{N})$-implications derived from interval overlap and grouping functions, Bases and dimension of interval vector space, The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication, Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves, Parametric functional representation of interval number with arithmetic operations, Centered solutions for uncertain linear equations, Solving a system of linear differential equations with interval coefficients, A quasi-Newton method with rank-two update to solve interval optimization problems, A dynamical interval Newton method, Threshold autoregressive models for interval-valued time series data, Chebyshev type inequalities for interval-valued functions, Wirtinger-type integral inequalities for interval-valued functions, New properties of the switching points for the generalized Hukuhara differentiability and some results on calculus, Clustering complex zeros of triangular systems of polynomials, Natural negation of interval-valued $t$-(co) norms and implications, Using modified maximum regret for finding a necessarily efficient solution in an interval MOLP problem, Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations, A new portfolio selection model with interval-typed random variables and the empirical analysis, Solving fully interval linear systems of equations using tolerable solution criteria, On the optimal correction of infeasible systems of linear inequalities, Adaptive interpolation algorithm on sparse meshes for numerical integration of systems of ordinary differential equations with interval uncertainties, A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems, Interval static analysis of multi-cracked beams with uncertain size and position of cracks, Improved interval methods for solving circle packing problems in the unit square, A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains, Sums and products of intervals in ordered groups and fields, Hermite-Hadamard-type inequalities for the interval-valued approximately $h$-convex functions via generalized fractional integrals, On the computability of the set of automorphisms of the unit square, Hermite-Hadamard-type inequalities for interval-valued preinvex functions via Riemann-Liouville fractional integrals, Approximation of sign-regular kernels, Fast verified computation for positive solutions to $\mathcal{M} $-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors, Interval approach to solving parametric identification problems for dynamical systems, A full convex combination method for linear regression with interval data, An interval-valued recursive estimation framework for linearly parameterized systems, Inclusion method of optimal constant with quadratic convergence for $H_0^1$-projection error estimates and its applications, Universal optimality of the $E_8$ and Leech lattices and interpolation formulas, Actions of the hyperoctahedral group to compute minimal contractors, Analysis of signals with inexact data by using interval-valued functions, Distributed coordination of physically-interconnected multi-agent systems with actuated and unactuated agents, Granular computing: fundamentals and system modeling, Satisfaction of modeling requirements for intelligent navigation systems: risk management context, Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}, Hermite-Hadamard type inequalities for interval-valued fractional integrals with respect to another function, Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue, Scaled parallel iterative method for finding real roots of nonlinear equations, Numerical treatment of engineering problems with uncertainties. The fuzzy set approach and its application to the heat exchanger problem, Efficient Portfolio for Interval Sharpe Ratio Model, A blind digital image watermarking method based on the dyadic wavelet packet transform and fast interval arithmetic techniques, On a new method for obtaining a guaranteed error estimate for Numerov’s method using ellipsoids, An Efficient Method for Uncertainty Propagation using Fuzzy Sets, Towards rigorous robust optimal control via generalized high-order moment expansion, RESPONSE STATISTICS OF LINEAR STRUCTURES WITH UNCERTAIN-BUT-BOUNDED PARAMETERS UNDER GAUSSIAN STOCHASTIC INPUT, Control-oriented models for SO fuel cells from the angle of V\&V: analysis, simplification possibilities, performance, Verified Analysis of a Biomechanics-Related System, Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation), Experiments with hybrid Bernstein global optimization algorithm for the OPF problem in power systems, On Relation Between P-Matrices and Regularity of Interval Matrices, Interval Linear Algebra and Computational Complexity, A parallel root-finding algorithm, Computer-assisted bifurcation diagram validation and applications in materials science, A New Approach Based on Interval Analysis and B-splines Properties for Solving Bivariate Nonlinear Equations Systems, Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations, Decision Making Under Interval Uncertainty (and Beyond), Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents, An efficient interval computing technique for bound-constrained uncertain optimization problems, Set Inclusions of the Hermite-Hadamard Type for $m$ Polynomial Harmonically Convex Interval Valued Functions, Numerical verification for solutions to partial differential equations, On interval $R_{\mathbb{O}}$- and $(\mathbb{G},\mathbb{O},\mathbb{N})$-implications derived from interval overlap and grouping functions, Two clustering methods based on the Ward's method and dendrograms with interval-valued dissimilarities for interval-valued data, Newton’s divided gH-difference interpolation formula with unequal spacing for interval-valued function using Hukuhara difference, On Hermite-Hadamard type inequalities for interval-valued multiplicative integrals, General interval-valued overlap functions and interval-valued overlap indices, Set-valued state estimation of nonlinear discrete-time systems with nonlinear invariants based on constrained zonotopes, Design of high-gain observers based on sampled measurements via the interval arithmetic, The $F$-objective function method for differentiable interval-valued vector optimization problems, Some fractional Hermite-Hadamard-type inequalities for interval-valued coordinated functions, Fractional Hermite-Hadamard-type inequalities for interval-valued co-ordinated convex functions, A systematic review on the advancement in the study of fuzzy variational problems, Affine Arithmetic and Applications to Real-Number Proving, Effective computational discretization scheme for nonlinear dynamical systems, Almost periodic fuzzy multidimensional dynamic systems and applications on time scales, On the fractional double integral inclusion relations having exponential kernels via interval-valued co-ordinated convex mappings, Hermite-Hadamard-Mercer type inclusions for interval-valued functions via Riemann-Liouville fractional integrals, On interval fuzzy implications derived from interval additive generators of interval t-norms, Manifestation of interval uncertainties for fractional differential equations under conformable derivative, Some new concepts related to fuzzy fractional calculus for up and down convex fuzzy-number valued functions and inequalities, Asymptotically self-similar blowup of the Hou-Luo model for the 3D Euler equations, Automatically Controlled Morphing of 2D Shapes with Textures, On Hermite-Hadamard type inequalities for harmonical h-convex interval-valued functions, Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering, Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration, Transformations of interval linear systems of equations and inequalities, Convex and concave envelopes of artificial neural network activation functions for deterministic global optimization, Participatory Learning Fuzzy Clustering for Interval-Valued Data, Reachability of weakly nonlinear systems using Carleman linearization, Two optimization problems in linear regression with interval data, Set-Membership Computation of Integrals with Uncertain Endpoints, Interval extension of the three-step Kung and Traub's method, Beyond p-Boxes and Interval-Valued Moments: Natural Next Approximations to General Imprecise Probabilities, How to Reconcile Maximum Entropy Approach with Intuition: E.g., Should Interval Uncertainty Be Represented by a Uniform Distribution, A new interval diagnosis method: Application to the spacecraft rendezvous phase of the Mars sample return mission, Robustness of interval-valued universal triple I algorithms1, Efficient finite-difference method for computing sensitivities of biochemical reactions, On solvability of some nonlinear fractional interval integral equations, Solution of a Bi-level Programming Problem with Inexact Parameters, The united stable solution set of interval continuous-time algebraic Riccati equation and veri ed numerical computation of its outer estimation, Bounding error of calculating the matrix functions, SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework, Multidimensional interval type 2 epistemic fuzzy arithmetic, SOME PROBABILISTIC INEQUALITIES FOR FUZZY RANDOM VARIABLES, A computer assisted proof of the symmetries of least energy nodal solutions on squares, INTERVAL ANALYSIS-BASED HYPERBOX GRANULAR COMPUTING CLASSIFICATION ALGORITHMS, Inconsistencies in Numerical Simulations of Dynamical Systems Using Interval Arithmetic, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, On the stability of periodic N-body motions with the symmetry of Platonic polyhedra, Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation, Decentralised coordination of a multi-agent system based on intermittent data, Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities, Unnamed Item, Real Root Isolation of Polynomial Equations Based on Hybrid Computation, Unnamed Item, Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model, How Much for an Interval? a Set? a Twin Set? a p-Box? A Kaucher Interval? Towards an Economics-Motivated Approach to Decision Making Under Uncertainty, Tight Bounds on the Radius of Nonsingularity, Enclosing Chebyshev Expansions in Linear Time, An Iterative Dimension-Wise Approach to the Structural Analysis with Interval Uncertainties, Lower level duality and the global solution of generalized semi-infinite programs, Regularity radius: Properties, approximation and a not a priori exponential algorithm, Determinants of Interval Matrices, Probabilistic Analysis of Binary Sessions, Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems, Formally Verified Approximations of Definite Integrals, Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms, Unnamed Item, Structural dynamics model updating with interval uncertainty based on response surface model and sensitivity analysis, Unnamed Item, Fluid dynamics on logarithmic lattices, Interval-Valued Goal Programming Method to Solve Patrol Manpower Planning Problem for Road Traffic Management Using Genetic Algorithm, MULTI-OBJECTIVE GEOMETRIC PROGRAMMING WITH VARYING PARAMETERS: APPLICATION IN WASTE WATER TREATMENT SYSTEM, Accuracy of Data Fusion: Interval (and Fuzzy) Case, A DIGITAL IMAGE WATERMARKING FOR AUTHENTICATION BASED ON THE DUAL-TREE COMPLEX DISCRETE WAVELET TRANSFORM AND INTERVAL ARITHMETIC

Uses Software