Sciweavers

1997 search results - page 24 / 400
» On the convergence of Hill's method
Sort
View
117
Voted
SLOGICA
2010
135views more  SLOGICA 2010»
14 years 7 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
81
Voted
SIAMJO
2002
107views more  SIAMJO 2002»
15 years 11 days 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
75
Voted
MOC
2002
107views more  MOC 2002»
15 years 11 days 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
113
Voted
MOC
2000
127views more  MOC 2000»
15 years 15 days 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»
14 years 7 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