INTOPT_90
From MaRDI portal
Software:16874
No author found.
Related Items (only showing first 100 items - show all)
Computing validated solutions of implicit differential equations ⋮ A new exclusion test. ⋮ Improved validated bounds for Taylor coefficients and for Taylor remainder series ⋮ Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization ⋮ Interval unions ⋮ Verified integration of dynamics in the solar system. ⋮ Applying constructive geometric constraint solvers to geometric problems with interval parameters. ⋮ Higher order verified inclusions of multidimensional systems by Taylor models. ⋮ A comparison of the Moore and Miranda existence tests ⋮ On-line algorithms for computing mean and variance of interval data, and their use in intelligent systems ⋮ Improving interval analysis bounds by translations ⋮ Computing slope enclosures by exploiting a unique point of inflection ⋮ An efficient algorithm for globally minimizing sum of quadratic ratios problem with nonconvex quadratic constraints ⋮ Relaxation and decomposition methods for mixed integer nonlinear programming. ⋮ On an efficient use of gradient information for accelerating interval global optimization algorithms ⋮ Generalized subinterval selection criteria for interval global optimization ⋮ Interval arithmetic, affine arithmetic, Taylor series methods: Why, what next? ⋮ A multidimensional branch-and-prune method for interval global optimization ⋮ Using pillow functions to efficiently compute crude range tests ⋮ Estimation of algebraic solution by limiting the solution set of an interval linear system ⋮ On interval branch-and-bound for additively separable functions with common variables ⋮ Deterministic global optimization in ab-initio quantum chemistry ⋮ Interval linear systems as a necessary step in fuzzy linear systems ⋮ New parameterized solution with application to bounding secondary variables in FE models of structures ⋮ Using interval unions to solve linear systems of equations with uncertainties ⋮ A new neural network model for solving random interval linear programming problems ⋮ A certified branch \& bound approach for reliability-based optimization problems ⋮ On the algebraic solution of fuzzy linear systems based on interval theory ⋮ Rigorous packing of unit squares into a circle ⋮ 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 ⋮ Efficient importance sampling in low dimensions using affine arithmetic ⋮ An overview of flexibility and generalized uncertainty in optimization ⋮ About tracing problems in dynamic geometry ⋮ Domain reduction techniques for global NLP and MINLP optimization ⋮ Formal aspects of correctness and optimality of interval computations ⋮ A deterministic approach to global box-constrained optimization ⋮ Balanced random interval arithmetic in market model estimation ⋮ Template generation for continuous transfer functions using interval analysis ⋮ The 1-center problem in the plane with independent random weights ⋮ Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm ⋮ Obtaining an outer approximation of the efficient set of nonlinear biobjective problems ⋮ Advances in metaheuristics for hard optimization ⋮ Solution method for a boundary value problem with fuzzy forcing function ⋮ Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization ⋮ On rigorous upper bounds to a global optimum ⋮ Exclusion regions for optimization problems ⋮ Computing the pessimism of inclusion functions ⋮ A verified inexact implicit Runge-Kutta method for nonsmooth ODEs ⋮ Exact bounds on finite populations of interval data ⋮ Probabilities, intervals, what next? Optimization problems related to extension of interval computations to situations with partial information about probabilities ⋮ Advances in interval methods for deterministic global optimization in chemical engineering ⋮ Some global optimization problems on Stiefel manifolds ⋮ New interval methods for constrained global optimization ⋮ Fast algorithm for computing the upper endpoint of sample variance for interval data: Case of sufficiently accurate measurements ⋮ Complex interval arithmetic using polar form ⋮ Global optimization using a dynamical systems approach ⋮ A rigorous global filtering algorithm for quadratic constraints ⋮ On the efficient Gerschgorin inclusion usage in the global optimization \(\alpha\)BB method ⋮ \textsc{AbsTaylor}: upper bounding with inner regions in nonlinear continuous global optimization problems ⋮ A simplicial branch-and-bound algorithm for solving quadratically constrained quadratic programs ⋮ A comparison of complete global optimization solvers ⋮ A multidimensional interval Newton method ⋮ Computational experience with rigorous error bounds for the Netlib linear programming library ⋮ Parametric functional representation of interval number with arithmetic operations ⋮ A standard branch-and-bound approach for nonlinear semi-infinite problems ⋮ An interval branch and bound method for global robust optimization ⋮ Numerical validation of solutions of linear complementarity problems ⋮ Numerical experiences with a new generalized subinterval selection criterion for interval global optimization ⋮ Interval methods for accelerated global search in the microsoft excel solver ⋮ A global optimization algorithm using Lagrangian underestimates and the interval Newton method ⋮ An algorithm for global optimization using the Taylor-Bernstein form as inclusion function ⋮ A hybrid global optimization method: The multi-dimensional case ⋮ Slope intervals, generalized gradients, semigradients, slant derivatives, and csets ⋮ Integral approximation of rays and verification of feasibility ⋮ Clouds, fuzzy sets, and probability intervals ⋮ Box valued functions in solving systems of equations and inequalities ⋮ Method for localizing the zeros of analytic functions based on the Krawczyk operator ⋮ Bipolar fuzzy linear system of equations ⋮ A new multisection technique in interval methods for global optimization ⋮ Validated constraints solving --- practicalities, pitfalls, and new developments ⋮ An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems ⋮ An improved interval global optimization algorithm using higher-order inclusion function forms ⋮ Optimal centers in branch-and-prune algorithms for univariate global optimization ⋮ A numerical study of some modified differential evolution algorithms ⋮ Motivations for an arbitrary precision interval arithmetic and the MPFI library ⋮ Second-order bounds for linear recurrences with negative coefficients ⋮ Nonlinear optimization exclusion tests for finding all solutions of nonlinear equations ⋮ A new inclusion function for optimization: kite -- the one-dimensional case ⋮ Passive robust fault detection using fuzzy parity equations ⋮ On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach ⋮ Accelerating branch-and-bound through a modeling language construct for relaxation-specific constraints ⋮ On bounding zeros of analytic functions ⋮ A hybrid global optimization method: The one-dimensional case ⋮ Creating and handling box valued functions used in numerical methods ⋮ Search heuristics for box decomposition methods ⋮ Some observations on exclusion regions in branch and bound algorithms ⋮ Interval oriented entropy based multi-item solid transportation problem with budget and breakability ⋮ A new technique in systems analysis under interval uncertainty and ambiguity ⋮ Symbolic preconditioning with Taylor models: Some examples
This page was built for software: INTOPT_90
