Sciweavers

1997 search results - page 24 / 400
» On the convergence of Hill's method
Sort
View
SLOGICA
2010
135views more  SLOGICA 2010»
13 years 3 months ago
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the...
Brian Hill, Francesca Poggiolesi
SIAMJO
2002
107views more  SIAMJO 2002»
13 years 8 months ago
A Globally Convergent Augmented Lagrangian Pattern Search Algorithm for Optimization with General Constraints and Simple Bounds
We give a pattern search method for nonlinearly constrained optimization that is an adaption of a bound constrained augmented Lagrangian method first proposed by Conn, Gould, and T...
Robert Michael Lewis, Virginia Torczon
MOC
2002
107views more  MOC 2002»
13 years 8 months ago
Combined Hermite spectral-finite difference method for the Fokker-Planck equation
The convergence of a class of combined spectral-finite difference methods using Hermite basis, applied to the Fokker-Planck equation, is studied. It is shown that the Hermite based...
Johnson C. M. Fok, Benyu Guo, Tao Tang
MOC
2000
127views more  MOC 2000»
13 years 8 months ago
Can a finite element method perform arbitrarily badly?
In this paper we construct elliptic boundary value problems whose standard finite element approximations converge arbitrarily slowly in the energy norm, and show that adaptive proc...
Ivo Babuska, John E. Osborn
SIAMJO
2010
88views more  SIAMJO 2010»
13 years 3 months ago
A Primal-Dual Exterior Point Method for Nonlinear Optimization
In this paper, a primal dual method for general possible nonconvex nonlinear optimization problems is considered. The method is an exterior point type method which means that it p...
Hiroshi Yamashita, Takahito Tanabe