Pages that link to "Item:Q1353367"
From MaRDI portal
The following pages link to Rigorous global search: continuous problems (Q1353367):
Displayed 44 items.
- Improved validated bounds for Taylor coefficients and for Taylor remainder series (Q1872963) (← links)
- Computational complexity of optimization and crude range testing: A new approach motivated by fuzzy optimization (Q1874064) (← links)
- Template generation for continuous transfer functions using interval analysis (Q1961201) (← links)
- On-line algorithms for computing mean and variance of interval data, and their use in intelligent systems (Q2372221) (← links)
- Computing slope enclosures by exploiting a unique point of inflection (Q2378918) (← links)
- An efficient algorithm for globally minimizing sum of quadratic ratios problem with nonconvex quadratic constraints (Q2383678) (← links)
- Balanced random interval arithmetic in market model estimation (Q2433495) (← links)
- The 1-center problem in the plane with independent random weights (Q2456633) (← links)
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm (Q2460123) (← links)
- Obtaining an outer approximation of the efficient set of nonlinear biobjective problems (Q2460136) (← links)
- Computing the pessimism of inclusion functions (Q2481139) (← links)
- A verified inexact implicit Runge-Kutta method for nonsmooth ODEs (Q2483052) (← links)
- Exact bounds on finite populations of interval data (Q2484079) (← links)
- New interval methods for constrained global optimization (Q2490338) (← links)
- Fast algorithm for computing the upper endpoint of sample variance for interval data: Case of sufficiently accurate measurements (Q2490454) (← links)
- Complex interval arithmetic using polar form (Q2490456) (← links)
- Fuzzy linear systems of the form \(A_{1}x+b_{1}=A_{2}x+b_{2}\) (Q2492344) (← links)
- A multidimensional interval Newton method (Q2503168) (← links)
- Computational experience with rigorous error bounds for the Netlib linear programming library (Q2503174) (← links)
- Validated constraints solving --- practicalities, pitfalls, and new developments (Q2568645) (← links)
- An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems (Q2568646) (← links)
- Optimal centers in branch-and-prune algorithms for univariate global optimization (Q2572338) (← links)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
- Second-order bounds for linear recurrences with negative coefficients (Q2573478) (← links)
- A new inclusion function for optimization: kite -- the one-dimensional case (Q2574104) (← links)
- On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach (Q2576114) (← links)
- Accelerating branch-and-bound through a modeling language construct for relaxation-specific constraints (Q2576448) (← links)
- 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)
- Berechenbare Schranken von Taylorkoeffizienten analytischer Funktionen (Q2746171) (← 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)
- Existence verification for singular and nonsmooth zeros of real nonlinear systems (Q4794641) (← links)
- Robustness and Randomness (Q5302770) (← links)
- Deterministic global optimization using interval constraint propagation techniques (Q5693008) (← 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)