Pages that link to "Item:Q1353367"

The following pages link to Rigorous global search: continuous problems (Q1353367):

Displaying 50 items.

• A new robust algorithm to trace curves (Q2641464) (← links)
• Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
• Improving the efficiency of exclusion algorithms (Q2726409) (← links)
• Computable bounds for Taylor coefficients of analytic functions (Q2746171) (← links)
• Reachability Analysis and Deterministic Global Optimization of DAE Models (Q2795640) (← links)
• Algorithmic differentiation techniques for global optimization in the COCONUT environment (Q2885482) (← links)
• Verified Solution Method for Population Epidemiology Models with Uncertainty (Q2930567) (← links)
• A Hybrid Subdivision Strategy for Result-Verifying Nonlinear Solvers (Q2954926) (← links)
• Rigorous global search using taylor models (Q2959013) (← links)
• Interval computations, rigour and non-rigour in deterministic continuous global optimization (Q3093044) (← links)
• Extended Nondominated Sorting Genetic Algorithm (ENSGA-II) for Multi-Objective Optimization Problem in Interval Environment (Q3122299) (← links)
• Rigorous Global Optimization for Collision Risk Assessment on Perturbed Orbits (Q3133914) (← links)
• Automatic loop shaping in QFT using hybrid optimization and constraint propagation techniques (Q3418076) (← links)
• Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization (Q3423591) (← links)
• Comparison of Simulated Annealing, Interval Partitioning and Hybrid Algorithms in Constrained Global Optimization (Q3509411) (← links)
• Interval Additive Generators of Interval T-Norms (Q3511453) (← links)
• Global Optimization in Practice:State of the Art and Perspectives (Q3565460) (← links)
• The dodecahedral conjecture (Q3584349) (← links)
• Interval arithmetic error estimation for the solution of Fredholm integral equation (Q3615557) (← links)
• A Deterministic Algorithm for Global Optimization (Q4558807) (← links)
• Interval Input and Output (Q4577103) (← links)
• Interval Methods for Global Optimization Using the Boxing Method (Q4577116) (← links)
• A Branch-and-Prune Method for Global Optimization (Q4577117) (← links)
• Verified Determination of Singularities in Chemical Processes (Q4577126) (← links)
• A goal programming approach for solving the random interval linear programming problem (Q4633322) (← links)
• Existence verification for singular and nonsmooth zeros of real nonlinear systems (Q4794641) (← links)
• Mathematically Rigorous Global Optimization and Fuzzy Optimization (Q5153504) (← links)
• Composite Optimization by Nonconvex Majorization-Minimization (Q5230420) (← links)
• FDI Approach (Q5237323) (← links)
• Model Development and Optimization for Space Engineering: Concepts, Tools, Applications, and Perspectives (Q5270058) (← links)
• Robustness and Randomness (Q5302770) (← links)
• A verified method for solving piecewise smooth initial value problems (Q5409747) (← links)
• Deterministic global optimization using interval constraint propagation techniques (Q5693008) (← links)
• Improved Automatic Computation of Hessian Matrix Spectral Bounds (Q5739795) (← links)
• Verification for existence of solutions of linear complementarity problems (Q5929743) (← links)
• Quasiconvex relaxations based on interval arithmetic (Q5929744) (← links)
• Lipschitz continuity and the termination of interval methods for global optimization (Q5948880) (← links)
• An extension of the \(\alpha\mathrm{BB}\)-type underestimation to linear parametric Hessian matrices (Q5964239) (← links)
• A new methodology for solving fuzzy systems of equations: thick fuzzy sets based approach (Q6058080) (← links)
• (Q6091763) (← links)
• Stationary modes for vector nonlinear Schrödinger-type equations: a numerical procedure for complete search and its mathematical background (Q6096539) (← links)
• A survey of interval algorithms for solving multicriteria analysis problems (Q6135498) (← links)
• Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming (Q6141530) (← links)
• A rigorous deterministic global optimization approach for the derivation of secondary information in digital maps (Q6173797) (← links)
• Interval constraint programming for globally solving catalog-based categorical optimization (Q6541384) (← links)
• A Huff-like location model with quality adjustment and/or closing of existing facilities (Q6555174) (← links)
• Limit cycle computation for describing function approximable nonlinear systems with box-constrained parametric uncertainties (Q6577218) (← links)
• Bicentered interval Newton operator for Robot's workspace approximation (Q6588760) (← links)
• Continuation Newton methods with deflation techniques for global optimization problems (Q6653270) (← links)
• Sparse tensors and subdivision methods for finding the zero set of polynomial equations (Q6660334) (← links)