Sciweavers

6045 search results - page 260 / 1209
» Computable Linearizations of Well-partial-orderings
Sort
View
SIAMSC
2008
106views more  SIAMSC 2008»
15 years 7 months ago
Multilevel Linear Sampling Method for Inverse Scattering Problems
A novel multilevel algorithm is presented for implementing the widely used linear sampling method in inverse obstacle scattering problems. The new method is shown to possess asympt...
Jingzhi Li, Hongyu Liu, Jun Zou
CGF
2004
123views more  CGF 2004»
15 years 7 months ago
SIMD Optimization of Linear Expressions for Programmable Graphics Hardware
The increased programmability of graphics hardware allows efficient GPU implementations of a wide range of general computations on commodity PCs. An important factor in such imple...
Chandrajit L. Bajaj, Insung Ihm, Jungki Min, Jinsa...
LSSC
1999
Springer
15 years 11 months ago
A Method for Solving Special Circulant Pentadiagonal Linear Systems
A new effective modification of the method which is described in [1] for solving of real symmetric circulant pentadiagonal systems of linear equations is proposed. We consider t...
Ivan G. Ivanov, Borislav V. Minchev
169
Voted
BIRTHDAY
2010
Springer
15 years 7 months ago
Decidable Expansions of Labelled Linear Orderings
Let M = (A, <, P) where (A, <) is a linear ordering and P denotes a finite sequence of monadic predicates on A. We show that if A contains an interval of order type or -, an...
Alexis Bès, Alexander Rabinovich
DEDS
2007
84views more  DEDS 2007»
15 years 7 months ago
Just in Time Control of Constrained ( max , +)-Linear Systems
This paper deals with just in time control of (max, +)-linear systems. The output tracking problem, considered in previous studies, is generalized by considering additional constr...
Laurent Houssin, Sébastien Lahaye, Jean-Lou...