swMATH4705MaRDI QIDQ16874FDOQ16874
Author name not available (Why is that?)
Official website: http://interval.louisiana.edu/kearfott.html
Cited In (only showing first 100 items - show all)
- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials
- A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems
- An interval entropy penalty method for nonlinear global optimization
- When is the product of intervals also an interval?
- Balanced random interval arithmetic in market model estimation
- Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
- Numerical solution for bounding feasible point sets
- Automatic loop shaping in QFT using hybrid optimization and constraint propagation techniques
- The automatic computation of second-order slope tuples for some nonsmooth functions
- A second-order pruning step for verified global optimization
- Title not available (Why is that?)
- Rational functions with prescribed global and local minimizers
- Cheap and tight bounds on the solution set of perturbed systems of nonlinear equations
- Numerical verification methods for spherical \(t\)-designs
- On verified numerical computations in convex programming
- Second-order bounds for linear recurrences with negative coefficients
- Integral approximation of rays and verification of feasibility
- Reliable modeling and optimization for chemical engineering applications: Interval analysis approach
- Optimal enclosure of quadratic interval functions
- Two acceleration mechanisms in verified global optimization
- Comparison between Baumann and admissible simplex forms in interval analysis
- A comparison of the Moore and Miranda existence tests
- A branch-and-prune method for global optimization
- Title not available (Why is that?)
- Solving interval constraints by linearization in computer-aided design
- Interval branch and bound algorithm for finding the first-zero-crossing-point in one-dimensional functions
- A framework for existence tests based on the topological degree and homotopy
- First-order design of geodetic networks using the simulated annealing method
- Global Optimization and Constraint Satisfaction
- Randomized algorithms in interval global optimization
- Using interval analysis for solving planar single-facility location problems: New discarding tests
- Numerical experiences with a new generalized subinterval selection criterion for interval global optimization
- Title not available (Why is that?)
- A new inclusion function for optimization: kite -- the one-dimensional case
- On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems
- A deterministic algorithm for global optimization
- A hybrid global optimization method: The one-dimensional case
- A method to find all the roots of the system of nonlinear algebraic equations based on the Krawczyk operator
- Fast algorithm for computing the upper endpoint of sample variance for interval data: Case of sufficiently accurate measurements
- On bounding zeros of analytic functions
- taco
- AN ALGORITHM FOR FINDING ALL ZEROS OF VECTOR FUNCTIONS
- Title not available (Why is that?)
- Title not available (Why is that?)
- A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
- A new parallel method for verified global optimization
- Rigorous packing of unit squares into a circle
- Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems. Empirical evaluation of innovations
- Quasiconvex relaxations based on interval arithmetic
- Improved Automatic Computation of Hessian Matrix Spectral Bounds
- Title not available (Why is that?)
- \textsc{AbsTaylor}: upper bounding with inner regions in nonlinear continuous global optimization problems
- Exclusion regions for optimization problems
- Interval linear systems as a necessary step in fuzzy linear systems
- Application of modal intervals to the generation of error-bounded envelopes
- An improved interval global optimization algorithm using higher-order inclusion function forms
- On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach
- A nonsmooth global optimization technique using slopes: The one-dimensional case
- Advances in metaheuristics for hard optimization
- The hull of preconditioned interval linear equations
- Branch-and-Bound interval global optimization on shared memory multiprocessors
- A general method for enclosing solutions of interval linear equations
- Verifying topological indices for higher-order rank deficiencies
- The extrapolated interval global optimization algorithm
- Simulation of discrete linear time-invariant fuzzy dynamic systems
- Slope enclosures for functions given by two or more branches
- A new approach to obtain algebraic solution of interval linear systems
- Global optimization of nonlinear least-squares problems by branch-and-bound and optimality constraints
- Verified determination of singularities in chemical processes
- Stability analysis and synthesis of multivariable fuzzy systems using interval arithmetic
- A certified branch \& bound approach for reliability-based optimization problems
- Using interval unions to solve linear systems of equations with uncertainties
- Complex interval arithmetic using polar form
- An extension of the \(\alpha\mathrm{BB}\)-type underestimation to linear parametric Hessian matrices
- Bipolar fuzzy linear system of equations
- Composite optimization by nonconvex majorization-minimization
- The dodecahedral conjecture
- Verified integration of dynamics in the solar system.
- Box valued functions in solving systems of equations and inequalities
- A new robust algorithm to trace curves
- Creating and handling box valued functions used in numerical methods
- A global optimization algorithm using Lagrangian underestimates and the interval Newton method
- Deterministic global optimization for nonlinear model predictive control of hybrid dynamic systems
- Monte-Carlo-type techniques for processing interval uncertainty, and their potential engineering applications
- Exact bounds on finite populations of interval data
- Finding zeros by multilevel subdivision techniques
- Title not available (Why is that?)
- Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control
- Study of multiscale global optimization based on parameter space partition
- Probability bounds analysis for nonlinear population ecology models
- Rigorous Lower and Upper Bounds in Linear Programming
- Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization
- Accelerating filtering techniques for numeric CSPs
- Index information algorithm with local tuning for solving multidimensional global optimization problems with multiextremal constraints
- Verification for existence of solutions of linear complementarity problems
- On interval branch-and-bound for additively separable functions with common variables
- A goal programming approach for solving the random interval linear programming problem
- A metaheuristic methodology based on the limitation of the memory of interval branch and bound algorithms
- On an efficient use of gradient information for accelerating interval global optimization algorithms
- Interval arithmetic and interval analysis: An introduction
This page was built for software: INTOPT_90
