Sciweavers

828 search results - page 32 / 166
» types 2000
Sort
View
GRAMMARS
2000
100views more  GRAMMARS 2000»
13 years 7 months ago
Tabulation of Automata for Tree-Adjoining Languages
Abstract. We propose a modular design of tabular parsing algorithms for treeadjoining languages. The modularity is made possible by a separation of the parsing strategy from the me...
Miguel A. Alonso, Mark-Jan Nederhof, Eric Villemon...
MOC
2000
76views more  MOC 2000»
13 years 7 months ago
The convergence of the cascadic conjugate-gradient method applied to elliptic problems in domains with re-entrant corners
Abstract. We study the convergence properties of the cascadic conjugategradient method (CCG-method), which can be considered as a multilevel method without coarse-grid correction. ...
Vladimir Shaidurov, Lutz Tobiska
MOC
1998
81views more  MOC 1998»
13 years 7 months ago
Discrete gauge invariant approximations of a time dependent Ginzburg-Landau model of superconductivity
Abstract. We present here a mathematical analysis of a nonstandard difference method for the numerical solution of the time dependent GinzburgLandau models of superconductivity. Th...
Qiang Du
MOC
1998
73views more  MOC 1998»
13 years 7 months ago
Efficient Runge-Kutta integrators for index-2 differential algebraic equations
Abstract. In seeking suitable Runge-Kutta methods for differential algebraic equations, we consider singly-implicit methods to which are appended diagonally-implicit stages. Metho...
J. C. Butcher, R. P. K. Chan
MOC
1998
140views more  MOC 1998»
13 years 7 months ago
On a high order numerical method for functions with singularities
By splitting a given singular function into a relatively smooth part and a specially structured singular part, it is shown how the traditional Fourier method can be modified to gi...
Knut S. Eckhoff