PROFIL/BIAS
From MaRDI portal
Software:13487
No author found.
No records found.
Related Items (only showing first 100 items - show all)
ANALYSIS OF MECHANICAL SYSTEMS USING INTERVAL COMPUTATIONS APPLIED TO FINITE ELEMENT METHODS ⋮ A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid ⋮ Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation ⋮ Verification methods: Rigorous results using floating-point arithmetic ⋮ The probabilistic customer's choice rule with a threshold attraction value: effect on the location of competitive facilities in the plane ⋮ An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness ⋮ An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum ⋮ Contractor programming ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem ⋮ Verified solution of large systems and global optimization problems ⋮ New approaches to circle packing in a square. With program codes. ⋮ Intrinsic compiler support for interval arithmetic ⋮ The GJK distance algorithm: an interval version for incremental motions ⋮ Location equilibria for a continuous competitive facility location problem under delivered pricing ⋮ A branch-and-bound algorithm for bound constrained optimization problems without derivatives ⋮ Approximating the Pareto-front of a planar bi-objective competitive facility location and design problem ⋮ A planar single-facility competitive location and design problem under the multi-deterministic choice rule ⋮ Interval modeling of dynamics for multibody systems ⋮ Interval methods for verifying structural optimality of circle packing configurations in the unit square ⋮ Towards a computer-assisted proof for chaos in a forced damped pendulum equation ⋮ Solving a huff-like competitive location and design model for profit maximization in the plane ⋮ A branch and bound algorithm for quantified quadratic programming ⋮ Unnamed Item ⋮ Constrained global optimization for wine blending ⋮ Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems ⋮ Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems ⋮ Variable-precision, interval arithmetic coprocessors ⋮ Software for high radix on-line arithmetic ⋮ Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems ⋮ Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation ⋮ Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method ⋮ Planar location and design of a new facility with inner and outer competition: an interval lexicographical-like solution procedure ⋮ Error bounds for initial value problems by optimization ⋮ Accurate solution of dense linear systems. II: Algorithms using directed rounding ⋮ Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances ⋮ Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering ⋮ A filtering method for the interval eigenvalue problem ⋮ Heuristic rejection in interval global optimization ⋮ Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems ⋮ Competitive facility location and design with reactions of competitors already in the market ⋮ Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. ⋮ Fast interval matrix multiplication ⋮ Global optimization of bounded factorable functions with discontinuities ⋮ Solving kinematics problems by efficient interval partitioning ⋮ Computer assisted proof of chaos in the Lorenz equations ⋮ An approach for solving competitive location problems with variable demand using multicore systems ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ Determination of inner and outer bounds of reachable sets through subpavings ⋮ Robust and efficient ray intersection of implicit surfaces ⋮ Solution of a transcendental eigenvalue problem via interval analysis ⋮ Characterizing and approximating eigenvalue sets of symmetric interval matrices ⋮ The 1-center problem in the plane with independent random weights ⋮ Efficient interval partitioning-local search collaboration for constraint satisfaction ⋮ Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm ⋮ Use of an interval global optimization tool for exploring feasibility of batch extractive distillation ⋮ Obtaining an outer approximation of the efficient set of nonlinear biobjective problems ⋮ Global optimization of generalized semi-infinite programs using disjunctive programming ⋮ A Comparison of some Methods for Solving Linear Interval Equations ⋮ SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems ⋮ Efficient interval partitioning for constrained global optimization ⋮ First order rejection tests for multiple-objective optimization ⋮ Sequential versus simultaneous approach in the location and design of two new facilities using planar Huff-like models ⋮ A reliable algorithm for computing the topological degree of a mapping in \(\mathbb R^{2}\) ⋮ Numerical verifications for eigenvalues of second-order elliptic operators ⋮ An accelerated central cutting plane algorithm for linear semi-infinite programming ⋮ New interval methods for constrained global optimization ⋮ A reliable area reduction technique for solving circle packing problems ⋮ Exclusion and Inclusion Regions for the Eigenvalues of a Normal Matrix ⋮ Computational experience with rigorous error bounds for the Netlib linear programming library ⋮ Parameter reconstruction for biochemical networks using interval analysis ⋮ Symbolic interval inference approach for subdivision direction selection in interval partitioning algorithms ⋮ Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities ⋮ Rigorous Error Bounds for the Optimal Value in Semidefinite Programming ⋮ Global Optimization Based on Contractor Programming: An Overview of the IBEX Library ⋮ A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation ⋮ Improved lower bounds for semi-online bin packing problems ⋮ Exact numerical methods in dynamical systems theory ⋮ Improved interval methods for solving circle packing problems in the unit square ⋮ A numerical method to verify the elliptic eigenvalue problems including a uniqueness property ⋮ Unnamed Item ⋮ ICOS: a branch and bound based solver for rigorous global optimization ⋮ A robust and efficient algorithm for planar competitive location problems ⋮ On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems ⋮ Self-validated Computations for the Probabilities of the Central Bivariate Chi-square Distribution and a BivariateFDistribution. This work partially supported by National Science Foundation grant DMS-9500831 ⋮ Unnamed Item ⋮ The use of interval arithmetic in solving a non-linear rational expectation based multiperiod output-inflation process model: the case of the IN/GB method ⋮ Computational proofs of the existence of solutions to elasto-plastic torsion problems ⋮ Comparison of four software packages applied to a scattering problem ⋮ Motivations for an arbitrary precision interval arithmetic and the MPFI library ⋮ On the computation of invariant sets for constrained nonlinear systems: an interval arithmetic approach ⋮ Fast and parallel interval arithmetic ⋮ Verifizierte Fehlerschranken und Gleichungssysteme ⋮ A rigorous ODE solver and Smale's 14th problem ⋮ Proving the existence of long periodic orbits in 1D maps using interval Newton method and backward shooting ⋮ The design of the Boost interval arithmetic library
This page was built for software: PROFIL/BIAS
