- Libraries, Tools, and Interactive Systems for Verified Computations 51 3.5 Summary
- CONSTRUCTION OF VALIDATED UNIQUENESS REGIONS FOR NONLINEAR PROGRAMS IN WHICH CONVEX SUBSPACES HAVE
- UNIVERSITY COMMITTEES COMMITTEE ON ACADEMIC AFFAIRS AND STANDARDS
- A Note on a Verified Automatic Integration Naoya Yamanaka
- 1 date: November 6, 1998 file: kearfo05 INTERVAL ANALYSIS: NONDIFFER
- A REVIEW OF TECHNIQUES IN THE VERIFIED SOLUTION OF
- Ecient Veri cation of the Topological Index of Real
- SIAM Conference on Optimization, Validated Computing 2002, and the
- 1 date: January 6, 1998 file: kearfo02 INTERVAL FIXED POINT THEORY
- International Journal RELIABLE COMPUTING
- The GlobSol Project: Rigorous Global Solutions
- Beyond Convex? Global Optimization Is Feasible Only
- Twin Estimates for Slopes Humberto Munoz
- An Overview of the GlobSol Package for Verified Global
- A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear
- INTLIB: A Portable FORTRAN 77 Interval Standard Function Library
- Validated Constraint Solving --Practicalities, Pitfalls, and New Developments
- Global Optimization and Singular Nonlinear Programs: New Techniques
- Discussion and Empirical Comparisons of Linear Relaxations and Alternate Techniques in
- 15, 1, 2010 Standardized notation in interval analysis
- Mathematical Programming manuscript No. (will be inserted by the editor)
- Validated Constraint Solving Practicalities, Pitfalls, and New
- Mathematical Programming manuscript No. (will be inserted by the editor)
- Automatic Differentiation Bibliography compiled by George F. Corliss
- Interval Computations: Introduction, Uses, and R. B. Kearfott
- Automatic Differentiation of Conditional Branches in an Operator Overloading Context \Lambda
- Interval Robustness in Nonsmooth Nonlinear Parameter Estimation
- On Verifying Feasibility in Equality Constrained Optimization Problems
- Experimental Results: An Interval Step Control for
- Multivariate Taylor Models in Global Optimization
- An Iterative Method for Finding Approximate Feasible Points
- Twin Estimates for Slopes Humberto Mu~noz
- THE CLUSTER PROBLEM IN MULTIVARIATE GLOBAL OPTIMIZATION
- Reliable Computing, 0, 115 (0000) c 0000 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Towards the Possibility of Objective Interval Uncertainty in Physics
- This is page 1 Printer: Opaque this
- Automatic Verification of Dynamical System Properties
- Book review for Numerical Toolbox for Verified Computing I
- Higher Order Methods for the Inclusion of Multiple Zeros of Polynomials
- Some Tests of Generalized Bisection I?. BAKER KEARFOTT
- 1 date: November 10, 1998 file: kearfo06 INTERVAL ANALYSIS: INTERMEDI-
- EXISTENCE VERIFICATION FOR SINGULAR ZEROS OF COMPLEX NONLINEAR SYSTEMS #
- Decomposition of Arithmetic Expressions to Improve the Behavior of Interval Iteration for Nonlinear Systems
- The Visual Computer manuscript No. (will be inserted by the editor)
- An Overview of the GlobSol R. Baker Kearfott
- SIAM J.SIAM J. Numer. Anal. Vol. 0, No. 0, 1993
- APPLICATIONS OF INTERVAL COMPUTATIONS: International Workshop
- Treating NonSmooth Functions as Smooth Functions in Global Optimization
- COCOS'02, A Workshop on Global Constrained Optimization and Constraint Satisfaction,
- R. Baker Kearfott (rbk@louisiana.edu) University of Louisiana at Lafayette
- Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers
- Validated Constraint Solving Practicalities, Pitfalls, and New Developments
- Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives,and Csets
- PROGRAM TEST CODELIST in file: test1.f90
- Validated Constraint Solving --Practicalities, Pitfalls, and New
- An Overview of the GlobSol Package for Verified Global
- Decomposition of Arithmetic Expressions to Improve the Behavior of Interval Iteration for Nonlinear Systems
- The University of Louisiana at Lafayette Transformation
- International Journal INTERVAL COMPUTATIONS
- An Interval Branch and Bound Algorithm for Bound Constrained Optimization Problems
- GlobSol Overview R. Baker Kearfott
- Verifying Topological Indices for Higher-Order Rank De ciencies
- Existence Verification for Singular Zeros of Nonlinear
- Reliable Computing, 0, 1--15 (0000) # 0000 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Interval Linear and Nonlinear Regression --New Paradigms,
- GLOBSOL, A Fortran 90 Package for Rigorous Global
- A REVIEW OF TECHNIQUES IN THE VERIFIED SOLUTION OF
- EXECUTIVE ASSISTANT TO THE PRESIDENT Liz B. Landry
- THE CLUSTER PROBLEM IN GLOBAL OPTIMIZATION THE UNIVARIATE CASE
- Discussion and Empirical Comparisons of Linear Relaxations and Alternate Techniques in
- , , 1--5 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Selected Validated ODE Bibliography compiled by George F. Corliss
- Mathematical Programming manuscript No. (will be inserted by the editor)
- EXISTENCE VERIFICATION FOR SINGULAR ZEROS OF REAL NONLINEAR SYSTEMS
- Rigorous Global Optimization and the GlobSol Package
- INTERVAL ARITHMETIC: A Fortran 90 Module for an Interval Data Type
- GLOBSOL, A Fortran 90 Package for Rigorous Global
- An Interval Newton Method Based on the Bernstein Form for Bounding the Zeros of
- Principles of Verified Computations
- NUMERICAL TESTS OF A METHOD FOR SIMULATING ELECTRICAL POTENTIALS
- Principles of Verified Computations
- Validated Probing with Linear Relaxations R. Baker Kearfott (rbk@louisiana.edu)
- On Stopping Criteria in Verified Nonlinear Systems or Optimization Algorithms
- A Brief Introduction to Global Optimization and a Preview of
- Validated Bounds on Basis Vectors for the Null Space of a Full Rank Rectangular Matrix
- 1 date: January 6, 1998 file: Kearfo01 INTERVAL NEWTON METHODS
- Definition of the Arithmetic Operations and Comparison Relations for an Interval Arithmetic
- Solving and Certifying the Solution of a Linear System
- PREPROCESSING FOR DETERMINING THE DIFFICULTY OF AND SELECTING A SOLUTION STRATEGY FOR NONCONVEX
- Reliable Computing, 0, 1--16 (0) fl 0 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Hybrid Interval Marching / Branch and Bound Method for Parametrized Nonlinear Systems
- EMPIRICAL EVALUATION OF INNOVATIONS IN INTERVAL BRANCH AND BOUND ALGORITHMS FOR NONLINEAR
- GlobSol Overview R. Baker Kearfott
- Interval Computations: Introduction, Uses, and R. B. Kearfott
- Verified Linear and Nonlinear Systems Computations --
- Rigorous Computation of Surface Patch Intersection Curves
- On Proving Existence of Feasible Points in Equality Constrained Optimization Problems
- Relaxations and Probing --Highly Successful Techniques
- ON PRECONDITIONERS AND SPLITTING IN THE INTERVAL GAUSS--SEIDEL METHOD
- This is page 1 Printer: Opaque this
- Interval Arithmetic An Elementary Introduction and
- 1 date: January 6, 1998 file: kearfo02 INTERVAL FIXED POINT THEORY
- Appendix B -1 UNIVERSITY AND SENATE COMMITTEES
- Randolph Hall Alumni Hall
- January 18, 2010 13:46 Optimization Methods and Software 2009-verified-vs-non-verified Optimization Methods and Software
- Automatic Differentiation of Conditional Branches in an Operator Overloading Context
- Staggered Correction Computations with Enhanced Accuracy and Extremely Wide
- EXISTENCE VERIFICATION FOR SINGULAR ZEROS OF NONLINEAR SYSTEMS
- Robust State Feedback for Interval Systems: An Interval Analysis Approach
- Mathematical Programming manuscript No. (will be inserted by the editor)
- Structure and Problem Solving in ISL R. Baker Kearfott
- Book review for Numerica: A Modeling Language for Global Optimization
- A Review of Preconditioners for the Interval Gauss--Seidel Method
- Preliminaries 3 1.1 INTERVAL ARITHMETIC
- Towards Faster, Better Validated Global Optimization
- Computational Differentiation in Global Optimization
- Sparse Matrices and Vectors in C-XSC Michael Zimmer, Walter Kramer, Werner Hofschuster
- Interval Arithmetic --An Elementary Introduction and
- Interval Extensions of NonSmooth Functions for Global Optimization and Nonlinear Systems Solvers
- On Proving Existence of Feasible Points in Equality Constrained Optimization Problems
- Experimental Results: An Interval Step Control for
- R. Baker Kearfott Department of Mathematics
- NUMERICAL TESTS OF A METHOD FOR SIMULATING ELECTRICAL POTENTIALS
- THE CLUSTER PROBLEM IN GLOBAL OPTIMIZATION THE UNIVARIATE CASE
- INTLIB: A Portable FORTRAN 77 Interval Standard Function Library
- Treating Non-Smooth Functions as Smooth Functions in Global Optimization
- Test Results for an Interval Branch and Bound Algorithm for Equality-Constrained
- A COMPARISON OF SOME METHODS FOR SOLVING LINEAR INTERVAL EQUATIONS
- INTERVAL ARITHMETIC: A Fortran 90 Module for an Interval Data Type
- EMPIRICAL EVALUATION OF INNOVATIONS IN INTERVAL BRANCH AND BOUND ALGORITHMS FOR NONLINEAR
- On Verifying Feasibility in Equality Constrained Optimization Problems
- EXISTENCE VERIFICATION FOR SINGULAR ZEROS OF COMPLEX NONLINEAR SYSTEMS
- Verifying Topological Indices for Higher-Order Rank Deficiencies
- Symbolic Preconditioning with Taylor Models: Some Examples
- SIAM Conference on Optimization, Validated Computing 2002, and the
- COCOS'02, A Workshop on Global Constrained Optimization and Constraint Satisfaction,
- R. Baker Kearfott (rbk@louisiana.edu) University of Louisiana at Lafayette
- SIAM J. OPTIM. c 2005 Society for Industrial and Applied Mathematics Vol. 16, No. 2, pp. 418433
- Beyond Convex? Global Optimization Is Feasible Only
- Hybrid Interval Marching / Branch and Bound Method for Parametrized Nonlinear Systems
- Validated Probing with Linear Relaxations R. Baker Kearfott (rbk@louisiana.edu)
- ON PRECONDITIONERS AND SPLITTING IN THE INTERVAL GAUSSSEIDEL METHOD
- A Comparison of Some Methods for Bounding Connected and Disconnected Solution Sets of
- The Visual Computer manuscript No. (will be inserted by the editor)
- Vol. 00, No. 00, Month 200x, 121 GlobSol User Guide
- DISCUSSIONS ON AN INTERVAL ARITHMETIC STANDARD AT DAGSTUHL SEMINAR 08021
- 1 date: March 26, 1998 file: kearfo04 INTERVAL ANALYSIS: UNCON-
- 1 date: November 6, 1998 file: kearfo05 INTERVAL ANALYSIS: NONDIFFER-
- ALGORITHM 681 INTBIS, a Portable Interval Newton/Bisection
- Rigorous Global Optimization and the GlobSol Package
- An Overview of the GlobSol R. Baker Kearfott
- GlobSol: History, Composition, Advice on Use, and Future
- GlobSol: History, Composition, and Advice on R. Baker Kearfott
- Introduction What Kind of Solution is
- The General Optimization
- Computational Differentiation in Global Optimization
- Verified Linear and Nonlinear Systems Computations
- Towards Faster, Better Validated Global Optimization
- Introduction Local versus Global
- Book review for Numerica: A Modeling Language for Global Optimization
- c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Review for Computational Complexity and
- PREPROCESSING FOR DETERMINING THE DIFFICULTY OF AND SELECTING A SOLUTION STRATEGY FOR NONCONVEX
- The Reliable Computing LATEX Template: Some Examples
- INNER APPROXIMATION OF THE RANGE OF VECTOR-VALUED FUNCTIONS
- Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue
- Karl L. E. Nickel (1924 2009) Jurgen Garloff
- Closing the Case t = 3 for 3-D Spherical t-Designs Using a Result-Verifying Nonlinear
- Guaranteed Parameter Set Estimation for Monotone Dynamical Systems Using Hybrid
- Archetypal Analysis of Interval Data Stefania Corsaro
- A New Strategy For Selecting Subdivision Point In The Bernstein Approach To Polynomial
- Preface to the Special SCAN-2008 Issue Martine Ceberio and Vladik Kreinovich
- On the Accuracy of the Solution of Linear Problems on the CELL Processor
- Solving Overdetermined Systems in p Quasi-Norms
- Estimating Variance under Interval and Fuzzy Uncertainty: Parallel Algorithms
- Block Floating Point Interval ALU for Digital Signal Processing
- Computational Aspects of the Implementation of Disk Inversions
- Application of Order-Preserving Functions to the Modeling of Computational Mechanics Problems
- From Interval Arithmetic to Interval Constraints M.H. van Emden
- Required Data Element Evidence and Information (a) The purpose and mission of the institution. Please click here for requested information
- EXISTENCE VERIFICATION FOR SINGULAR ZEROS OF REAL NONLINEAR SYSTEMS
- CONSTRUCTION OF VALIDATED UNIQUENESS REGIONS FOR NONLINEAR PROGRAMS IN WHICH CONVEX SUBSPACES HAVE
- 1 date: March 26, 1998 file: kearfo04 INTERVAL ANALYSIS: UNCON
- A COMPARISON OF SOME METHODS FOR SOLVING LINEAR INTERVAL EQUATIONS \Lambda
- APPLICATIONS OF INTERVAL COMPUTATIONS: International Workshop
- Math. 45501 Spring, 1992
- The GlobSol Software: An Overview and Examples
- EXISTENCE VERIFICATION FOR HIGHER DEGREE SINGULAR ZEROS OF NONLINEAR SYSTEMS
- Automatic Verification of Dynamical System Properties
- SIAM J.SIAM J. Numer. Anal. Vol. 0, No. 0, 1993
- An Overview of the GlobSol Package for Veri ed Global
- 1 date: January 6, 1998 file: Kearfo01 INTERVAL NEWTON METHODS
- Test Results for an Interval Branch and Bound Algorithm for EqualityConstrained
- Usage notes for INTLIB and Fortran 90 access to it R. Baker Kearfott
- Optimal Preconditioners for Interval GaussSeidel Methods
- The GlobSol Project: Rigorous Global Solutions
- 1 date: January 6, 1998 file: kearfo03 INTERVAL ANALYSIS: VERIFYING
- A Brief Introduction to Global Optimization and a Preview of
- Depiction of Singular Solution Sets
- Relaxations and Probing -Highly Successful Techniques
- Discussion and Empirical Comparisons of Linear Relaxations and Alternate Techniques in
- Rigorous Global Optimization and the GlobSol Package
- A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear
- EXISTENCE VERIFICATION FOR SINGULAR ZEROS OF NONLINEAR SYSTEMS*
- 1 date: November 10, 1998 file:* * kearfo06
- Validated Bounds on Basis Vectors for the Null Space of a Full Rank Rectangular Matrix
- Verifying Topological Indices for Higher-Order Rank Deficiencies
- Validated Probing with Linear Relaxations R. Baker Kearfott (rbk@louisiana.edu)
- R. Baker Kearfott (rbk@louisiana.edu) University of Louisiana at Lafayette
- Chapter 1 Automatic Differentiation of Conditional Branches in an
- EXISTENCE VERIFICATION FOR SINGULAR ZEROS OF REAL NONLINEAR SYSTEMS
- Principles of Verified Computations
- SIAM J.SIAM J. Numer. Anal. cO1993 Society for Industrial and App* *lied Mathematics
- Automatic Verification of Dynamical System Properties
- Reliable Computing, 0, 1-16 (0) cO0 Kluwer Academic Publishers, Boston. Manufactured in The Netherl*
- 1 date: November 6, 1998 file: * INTERVAL ANALYSIS: NONDIFFER-o Replace max{e1, e2} by
- 1 date: January 6, 1998 file:* * Kearfo01
- Reliable Computing, 0, 1-15 (0000) cO0000 Kluwer Academic Publishers, Boston. Manufactured in The Nether*
- Towards Faster, Better Validated Global Optimization
- Twin Estimates for Slopes by
- Decomposition of Arithmetic Expressions to Improve the Behavior of Interval Iteration for Nonlinear Systems
- CONSTRUCTION OF VALIDATED UNIQUENESS REGIONS FOR NONLINEAR PROGRAMS IN WHICH CONVEX SUBSPACES HAVE
- SIAM Conference on Optimization, Validated Computing 2002, and the
- The GlobSol Pro ject: Rigorous Global Solutions
- FORTDIFF: A Set of Subroutines for FortrantoFortran Differentiation of Programs
- GlobSol: History, Composition, and Advice on R. Baker Kearfott
- Relaxations and Probing Highly Successful Techniques
- Libraries, Tools, and Interactive Systems for Verified Computations 51 3.5 Summary
- THE CLUSTER PROBLEM IN MULTIVARIATE GLOBAL OPTIMIZATION
- Symbolic Preconditioning with Taylor Models: Some Examples +
- 1 date: January 6, 1998 file: kearfo03 INTERVAL ANALYSIS: VERIFYING
- The GlobSol Software: An Overview and Examples
- EXISTENCE VERIFICATION FOR SINGULAR ZEROS OF NONLINEAR SYSTEMS \Lambda
- 1 date: November 10, 1998 file: kearfo06 INTERVAL ANALYSIS: INTERMEDI
- FORTDIFF: A Set of Subroutines for Fortran-to-Fortran Differentiation of Programs
- A Review of Preconditioners for the Interval GaussSeidel Method
- Multivariate Taylor Models in Global Optimization
- Capabilities of Constraint Programming in Safe Global Optimization
- On Stopping Criteria in Verified Nonlinear Systems or Optimization Algorithms
- On Verifying Feasibility in Equality Constrained Optimization Problems
- THE CLUSTER PROBLEM IN GLOBAL OPTIMIZATION THE UNIVARIATE CASE
- GlobSol: History, Composition, Advice on Use, and Future
- Interval Computations: Introduction, Uses, and Resources
- Book review for Numerica: A Modeling Language for Global Optimization
- GLOBSOL, A Fortran 90 Package for Rigorous Global
- Validated Constraint Solving -Practicalities, Pitfalls, and New Developments
- An Overview of the GlobSol Package for Verified Global
- Existence Verification for Singular Zeros of Nonlinear
- Interval Linear and Nonlinear Regression -New Paradigms,
- An Iterative Method for Finding Approximate Feasible Points
- 1 date: March 26, 1998 file: * INTERVAL ANALYSIS: UNCON-INPUT: an initial box x0.
- Validated Constraint Solving -Practicalities, Pitfalls, and New
- Multivariate Taylor Models in Global Optimization
- Interval Arithmetic -An Elementary Introduction and
- On Proving Existence of Feasible Points in Equality Constrained Optimization Problems
- Efficient Verification of the Topological Index of Real
- FORTDIFF: A Set of Subroutines for Fortran-to-Fortran Differentiation of Programs
- __|_This is pa* | Printer: O*
- PRINTING ERRORS Jianwei Dian
- NUMERICAL TESTS OF A METHOD FOR SIMULATING ELECTRICAL POTENTIALS
- Treating Non-Smooth Functions as Smooth Functions in Global Optimization
- EMPIRICAL EVALUATION OF INNOVATIONS IN INTERVAL BRANCH AND BOUND ALGORITHMS FOR NONLINEAR
- A Brief Introduction to Global Optimization and a Preview of
- Interval Linear and Nonlinear Regression New Paradigms,
- Reliable Computing, 0, 116 (0) c 0 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- R. Baker Kearfott (rbk@louisiana.edu) University of Louisiana at Lafayette
- Validated Bounds on Basis Vectors for the Null Space of a Full Rank Rectangular Matrix
- Interval Robustness in Nonsmooth Nonlinear Parameter Estimation
- Existence Verification for Singular Zeros of Nonlinear
- We show that adaptive algorithms are much more pow-erful than nonadaptive ones for approximating piecewise
- Solution Sets of Complex Linear Interval Systems of Equations
- A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear
- GlobSol: History, Composition, Advice on Use, and Future
- Optimal Preconditioners for Interval Gauss--Seidel Methods
- Interval Subroutine Library Mission George F. Corliss1
- An Overview of the GlobSol Package for Verified Global
- COCOS'02, A Workshop on Global Constrained Optimization and Constraint Satisfaction,
- THE CLUSTER PROBLEM IN MULTIVARIATE GLOBAL OPTIMIZATION
- International Journal INTERVAL COMPUTATIONS
- GlobSol Overview by
- 1 A REVIEW OF TECHNIQUES IN
- Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers
- Beyond Convex? Global Optimization Is Feasible Only
- | Mathematical Programming manuscript No. * | (will be inserted by the editor) *
- A COMPARISON OF SOME METHODS FOR SOLVING LINEAR INTERVAL EQUATIONS*
- SIAMVJ.oNUMER.lANAL.. 38, No. 2, pp. 360-379cO2000 Society for Industrial and A* *pplied Mathematics
- 1 date: January 6, 1998 file:* * kearfo02
- An Overview of the GlobSol Package
- Verified Linear and Nonlinear Systems Computations -
- GlobSol: History, Composition, and Advice on Use
- INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type
- PREPROCESSING FOR DETERMINING THE DIFFICULTY OF AND SELECTING A SOLUTION STRATEGY FOR NONCONVEX
- 1 date: January 6, 1998 file:* * kearfo03
- , , 1-5 () Oc Kluwer Academic Publishers, Boston. Manufactured in The Netherl*
- On Stopping Criteria in Verified Nonlinear Systems or Optimization Algorithms
- A Review of Preconditioners for the Interval Gauss-Seidel Method
- An Overview of the GlobSol Package for Verified Global
- Book review for Numerical Toolbox for Verified Computing I
- R. Baker Kearfott (rbk@louisiana.edu) University of Louisiana at Lafayette
- The GlobSol Software: An Overview and Examples
- Experimental Results: An Interval Step Control for
- APPLICATIONS OF INTERVAL COMPUTATIONS: International Workshop
- International Journal RELIABLE COMPUTING
- Hybrid Interval Marching / Branch and Bound Method for Parametrized Nonlinear Systems
- Symbolic Preconditioning with Taylor Models: Some Examplesy
- An Interval Branch and Bound Algorithm for Bound Constrained Optimization Problems
- Test Results for an Interval Branch and Bound Algorithm for Equality-Constrained
- Interval Robustness in Nonsmooth Nonlinear Parameter Estimation
- APPLICATIONS OF INTERVAL COMPUTATIONS: International Workshop
- | Mathematical Programming manuscript No. * | (will be inserted by the editor) *
- INTLIB: A Portable FORTRAN 77 Interval Standard Function Library
- An Iterative Method for Finding Approximate Feasible Points
- SIAM J. OPTIM. c 2011 Society for Industrial and Applied Mathematics Vol. 21, No. 1, pp. 415416
- Verified Solution and Propagation of Uncertainty in Physiological Models
- Tolerable Solution Set for Interval Linear Systems with Constraints on Coefficients
- A Method for Determining the Regularity Radius of Interval Matrices
- Interval Methods for Solving Underdetermined Nonlinear Equations Systems
- A Hybrid Algorithm for Global Optimization Miguel Argaez, Leticia Velazquez, Carlos Quintero
- Quality Matters Refreshers If you have already attended Quality Matters training, this one-hour
- Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems
- Using Preference Constraints to Solve Multi-Criteria Decision Making Problems
- Efficient Parallel Solvers for Large Dense Systems of Linear Interval Equations
- Verified Simulation of ODEs and DAEs in ValEncIA-IVP
- July 10, 2011 12:50 Optimization Methods and Software 2011-optimization-by-discretization Optimization Methods and Software
- Noname manuscript No. (will be inserted by the editor)
- Solving Decidability Problems with Interval German Tischler
- On Nonnegative Interval Linear Systems and Their Solution
- Robust and Optimal Control of Uncertain Dynamical Systems with State-Dependent
- filib++ , Expression Templates and the Coming Interval Standard
- Applications of Fuzzy Measures and Intervals in Tanja Magoc
- Verified Factorization Methods for SMP/G/1 Queueing Systems and their Interplay in an
- Dynamics with a Range of Choice Lev Kapitanski and Sanja Zivanovic
- Global Optimization and Singular Nonlinear Programs: New Techniques
- The Extrapolated Taylor Model P. S. V. Nataraj and Shanta Sondur
- An Eigenvalue Symmetric Matrix Contractor Milan Hladik
- Erratum to Rigorous Global Search, Chapter 1 Jianwei Dian
- Accurate dot product, 8, 101{102, ACRITH, 102{103
- A Comparative Study of Different Order Relations of Intervals
- Required Data Element Evidence and Information (a) The purpose and mission of the institution.
