INTOPT_90 - MaRDI portal

Cited in

(only showing first 100 items - show all)

scientific article; zbMATH DE number 5143318 (Why is no real title available?)
On the algebraic solution of fuzzy linear systems based on interval theory
A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems
Improving the efficiency of exclusion algorithms
Using pillow functions to efficiently compute crude range tests
An interval entropy penalty method for nonlinear global optimization
When is the product of intervals also an interval?
\textsc{AbsTaylor}: upper bounding with inner regions in nonlinear continuous global optimization problems
scientific article; zbMATH DE number 1595639 (Why is no real title available?)
Exclusion regions for optimization problems
Interval Algorithms for Finding the Minimal Root in a Set of Multiextremal One-Dimensional Nondifferentiable Functions
An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems
Validated constraints solving --- practicalities, pitfalls, and new developments
On interval fuzzy negations
Interval Methods for Global Optimization Using the Boxing Method
A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials
Balanced random interval arithmetic in market model estimation
Interval arithmetic error estimation for the solution of Fredholm integral equation
Reachability analysis and deterministic global optimization of DAE models
INTLAB implementation of an interval global optimization algorithm
A new exclusion test for finding the global minimum
Interval linear systems as a necessary step in fuzzy linear systems
The 1-center problem in the plane with independent random weights
An improved interval global optimization algorithm using higher-order inclusion function forms
Optimal centers in branch-and-prune algorithms for univariate global optimization
Higher order verified inclusions of multidimensional systems by Taylor models.
Application of modal intervals to the generation of error-bounded envelopes
A realistic (non-associative) logic and a possible explanations of \(7\pm 2\) law
A nonsmooth global optimization technique using slopes: The one-dimensional case
A multidimensional interval Newton method
Numerical solution for bounding feasible point sets
Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach
A class of problems that can be solved using interval algorithms
The hull of preconditioned interval linear equations
A general method for enclosing solutions of interval linear equations
Advances in metaheuristics for hard optimization
Verifying topological indices for higher-order rank deficiencies
Branch-and-Bound interval global optimization on shared memory multiprocessors
FDI Approach
Template generation for continuous transfer functions using interval analysis
An efficient algorithm for globally minimizing sum of quadratic ratios problem with nonconvex quadratic constraints
The extrapolated interval global optimization algorithm
The automatic computation of second-order slope tuples for some nonsmooth functions
A second-order pruning step for verified global optimization
A new multi-section based technique for constrained optimization problems with interval-valued objective function
Extended nondominated sorting genetic algorithm (ENSGA-II) for multi-objective optimization problem in interval environment
Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization
Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization
Applying constructive geometric constraint solvers to geometric problems with interval parameters.
Parallel Triangulated Partitioning for Black Box Optimization
Automatic loop shaping in QFT using hybrid optimization and constraint propagation techniques
Computing validated solutions of implicit differential equations
Simulation of discrete linear time-invariant fuzzy dynamic systems
Some variants of the controlled random search algorithm for global optimization
Rational functions with prescribed global and local minimizers
Slope enclosures for functions given by two or more branches
Numerical Software with Result Verification
Competitive facility location and design with reactions of competitors already in the market
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
scientific article; zbMATH DE number 1767706 (Why is no real title available?)
scientific article; zbMATH DE number 1440907 (Why is no real title available?)
Numerical verification methods for spherical t-designs
On verified numerical computations in convex programming
Stability analysis and synthesis of multivariable fuzzy systems using interval arithmetic
Designing, understanding, and analyzing unconventional computation: the important role of logic and constructive mathematics
On constrained optimization by interval arithmetic and interval order relations
scientific article; zbMATH DE number 2129892 (Why is no real title available?)
Solution of linear differential equations with fuzzy boundary values
Cheap and tight bounds on the solution set of perturbed systems of nonlinear equations
Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
Second-order bounds for linear recurrences with negative coefficients
Verified determination of singularities in chemical processes
scientific article; zbMATH DE number 1262453 (Why is no real title available?)
scientific article; zbMATH DE number 1304579 (Why is no real title available?)
Motivations for an arbitrary precision interval arithmetic and the MPFI library
Constrained global optimization of multivariate polynomials using Bernstein branch and prune algorithm
Interval additive generators of interval t-norms and interval t-conorms
An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions
Reliable modeling and optimization for chemical engineering applications: Interval analysis approach
An efficient algorithm for range computation of polynomials using the Bernstein form
Fast quantum algorithms for handling probabilistic and interval uncertainty
A certified branch \& bound approach for reliability-based optimization problems
Integral approximation of rays and verification of feasibility
Interval input and output
Optimal enclosure of quadratic interval functions
Slope intervals, generalized gradients, semigradients, slant derivatives, and csets
Interval unions
Certified error bounds for uncertain elliptic equations
Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization
On the complexity of isolating real roots and computing with certainty the topological degree
The use of interval arithmetic in solving a non-linear rational expectation based multiperiod output-inflation process model: the case of the IN/GB method
Finding the Minimal Root of an Equation
Some observations on exclusion regions in branch and bound algorithms
Two acceleration mechanisms in verified global optimization
Using interval unions to solve linear systems of equations with uncertainties
New interval analysis support functions using gradient information in a global minimization algorithm
Comparison between Baumann and admissible simplex forms in interval analysis
Complex interval arithmetic using polar form

This page was built for software: INTOPT_90