New computer methods for global optimization

Automated Software Test Data Generation

IEEE Transactions on Software Engineering

Interval analysis for computer graphics

SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques

Interval methods for multi-point collisions between time-dependent curved surfaces

SIGGRAPH '93 Proceedings of the 20th annual conference on Computer graphics and interactive techniques

Optimization—an emerging tool in computer graphics

SIGGRAPH '94 Proceedings of the 21st annual conference on Computer graphics and interactive techniques

A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization

ACM Transactions on Mathematical Software (TOMS)

Interval Arithmetic for Input-output Models with Inexact Data

Computational Economics

Automatic Differentiation and Interval Arithmetic for Estimation of Disequilibrium Models

Computational Economics - Special issue on computational economics in Geneva: volume 1: computational econometrics, statistics, and optimization

Genetic Scheduling for Parallel Processor Systems: Comparative Studies and Performance Issues

IEEE Transactions on Parallel and Distributed Systems

Acceleration Tools for Diagonal Information Global Optimization Algorithms

Computational Optimization and Applications

A constraint solving-based approach to analyze 2D geometric problems with interval parometers

Proceedings of the sixth ACM symposium on Solid modeling and applications

Reliable two-dimensional graphing methods for mathematical formulae with two free variables

Proceedings of the 28th annual conference on Computer graphics and interactive techniques

An Algorithm for Global Optimization using the Taylor–Bernstein Form as Inclusion Function

Journal of Global Optimization

Application of Relational Interval Arithmetic to Computer PerformanceAnalysis: a Survey

Constraints

Aspiration Based Simulated Annealing Algorithm

Journal of Global Optimization

A Multivariate Global Optimization Using Linear Bounding Functions

Journal of Global Optimization

A Constraint Satisfaction Approach to a Circuit Design Problem

Journal of Global Optimization

Global Interval Methods for Local Nonsmooth Optimization

Journal of Global Optimization

A Nonsmooth Global Optimization Technique Using Slopes: The One-Dimensional Case

Journal of Global Optimization

Multisection in Interval Branch-and-Bound Methods for Global Optimization – I. Theoretical Results

Journal of Global Optimization

Test Problem Generator by Neural Network for Algorithms that Try Solving Nonlinear Programming Problems Globally

Journal of Global Optimization

Using Interval Analysis for Solving Planar Single-Facility Location Problems: New Discarding Tests

Journal of Global Optimization

New Subinterval Selection Criteria for Interval Global Optimization

Journal of Global Optimization

SPT: a stochastic tunneling algorithm for global optimization

Journal of Global Optimization

Numerical Solution of Optimal Control Problems with Discrete-Valued System Parameters

Journal of Global Optimization

Search Heuristics for Box Decomposition Methods

Journal of Global Optimization

Global optimization of the generalized cross-validation criterion

Statistics and Computing

A hybrid global optimization method: the one-dimensional case

Journal of Computational and Applied Mathematics

On the complexity of exclusion algorithms for optimization

Journal of Complexity

Verifying topological indices for higher-order rank deficiencies

Journal of Complexity

Splitting techniques for interval parameters and their application to performance models

Performance Evaluation

Parallelization of the Continuous Global Optimization Problem with Inequality Constraints by Using Interval Arithmetic

HPCN Europe 2001 Proceedings of the 9th International Conference on High-Performance Computing and Networking

Using Static Analysis to Improve Automatic Test Generation

TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000

Interval-Based Performance Analysis of Computing Systems

MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems

Characterization and Analysis of Software and Computer Systems with Uncertainties and Variabilities

Performance Engineering, State of the Art and Current Trends

An Interval Analysis Based Algorithm for Computing the Stability Margin of Uncertain Systems

NMA '02 Revised Papers from the 5th International Conference on Numerical Methods and Applications

Interval arithmetic and interval analysis: an introduction

Granular computing

Interval and ellipsoidal uncertainty models

Granular computing

Existence verification for singular and nonsmooth zeros of real nonlinear systems

Mathematics of Computation

Improved validated bounds for Taylor coefficients and for Taylor remainder series

Journal of Computational and Applied Mathematics - Proceedings of the international conference on recent advances in computational mathematics

Contour generators of evolving implicit surfaces

SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications

ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions

ACM Transactions on Mathematical Software (TOMS)

Numerical solution for bounding feasible point sets

Journal of Computational and Applied Mathematics

A hybrid global optimization method: the multi-dimensional case

Journal of Computational and Applied Mathematics

Lower bound functions for polynomials

Journal of Computational and Applied Mathematics

Improving Interval Analysis Bounds by Translations

Journal of Global Optimization

Optimal Multisections in Interval Branch-and-Bound Methods of Global Optimization

Journal of Global Optimization

A New Inclusion Function for Optimization: Kite&mdashlThe One Dimensional Case

Journal of Global Optimization

An Improved Interval Global Optimization Algorithm Using Higher-order Inclusion Function Forms

Journal of Global Optimization

Comparative Assessment of Algorithms and Software for Global Optimization

Journal of Global Optimization

Interval Branch and Bound with Local Sampling for Constrained Global Optimization

Journal of Global Optimization

Global Optimization using a Dynamical Systems Approach

Journal of Global Optimization

A Verified Optimization Technique to Locate Chaotic Regions of Hénon Systems

Journal of Global Optimization

A reliable area reduction technique for solving circle packing problems

Computing

Symbolic Interval Inference Approach for Subdivision Direction Selection in Interval Partitioning Algorithms

Journal of Global Optimization

Comparison Between Baumann and Admissible Simplex Forms in Interval Analysis

Journal of Global Optimization

The small octagon with longest perimeter

Journal of Combinatorial Theory Series A

A new exclusion test for finding the global minimum

Journal of Computational and Applied Mathematics

A verified method for bounding clusters of zeros of analytic functions

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)

Interval methods for verifying structural optimality of circle packing configurations in the unit square

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)

Empirical convergence speed of inclusion functions for facility location problems

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)

Two acceleration mechanisms in verified global optimization

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)

A novel three-phase trajectory informed search methodology for global optimization

Journal of Global Optimization

Extremal problems for convex polygons

Journal of Global Optimization

Multi-dimensional pruning from the Baumann point in an Interval Global Optimization Algorithm

Journal of Global Optimization

An exact global optimization method for deriving weights from pairwise comparison matrices

Journal of Global Optimization

Obtaining an outer approximation of the efficient set of nonlinear biobjective problems

Journal of Global Optimization

The 1-center problem in the plane with independent random weights

Computers and Operations Research

Point rendering of non-manifold surfaces with features

Proceedings of the 5th international conference on Computer graphics and interactive techniques in Australia and Southeast Asia

Efficient generation of random vectors by using the ratio-of-uniforms method with ellipsoidal envelopes

Statistics and Computing

The Root and Bell's disk iteration methods are of the same error propagation characteristics in the simultaneous determination of the zeros of a polynomial, Part I: Correction methods

Computers & Mathematics with Applications

Branch-and-Bound interval global optimization on shared memory multiprocessors

Optimization Methods & Software - THE JOINT EUROPT-OMS CONFERENCE ON OPTIMIZATION, 4-7 JULY, 2007, PRAGUE, CZECH REPUBLIC, PART I

Efficient interval partitioning for constrained global optimization

Journal of Global Optimization

Sequential versus simultaneous approach in the location and design of two new facilities using planar Huff-like models

Computers and Operations Research

Fast construction of constant bound functions for sparse polynomials

Journal of Global Optimization

Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods

Computational Optimization and Applications

A Fast Computational Optimization Method: Univariate Dynamic Encoding Algorithm for Searches (uDEAS)

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

Error Bounds for Lanczos Approximations of Rational Functions of Matrices

Numerical Validation in Current Hardware Architectures

Global optimization of non-linear systems of equations by simulating the flight of a projectile in the conformational space

MAMECTIS'08 Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems

Constraint Reasoning for Differential Models

Proceedings of the 2005 conference on Constraint Reasoning for Differential Models

An efficient algorithm for range computation of polynomials using the Bernstein form

Journal of Global Optimization

Lipschitz and Hölder global optimization using space-filling curves

Applied Numerical Mathematics

Optimization of PID parameters based on genetic algorithm and interval algorithm

CCDC'09 Proceedings of the 21st annual international conference on Chinese Control and Decision Conference

A fast memoryless interval-based algorithm for global optimization

Journal of Global Optimization

An information global minimization algorithm using the local improvement technique

Journal of Global Optimization

The theoretical and empirical rate of convergence for geometric branch-and-bound methods

Journal of Global Optimization

Simulated annealing techniques

Algorithms and theory of computation handbook

Study of multiscale global optimization based on parameter space partition

Journal of Global Optimization

Construction of bode envelopes using REP based range finding algorithms

International Journal of Automation and Computing

The extrapolated interval global optimization algorithm

Journal of Global Optimization

A metaheuristic methodology based on the limitation of the memory of interval branch and bound algorithms

Journal of Global Optimization

Interval parallel global optimization with charm++

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing

On efficiency of tightening bounds in interval global optimization

PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing

A comparison of methods for the computation of affine lower bound functions for polynomials

COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction

Original article: Computational complexity of iterated maps on the interval

Mathematics and Computers in Simulation

Non-causal models in long term planning via set contractive optimal control methods

Mathematical and Computer Modelling: An International Journal

Theoretical rate of convergence for interval inclusion functions

Journal of Global Optimization