Sciweavers

223 search results - page 34 / 45
» Suffix Arrays on Words
Sort
View
INFORMATICALT
2006
77views more  INFORMATICALT 2006»
13 years 7 months ago
Parallel Numerical Algorithms for 3D Parabolic Problem with Nonlocal Boundary Condition
Three parallel algorithms for solving the 3D problem with nonlocal boundary condition are considered. The forward and backward Euler finite-difference schemes, and LOD scheme are t...
Raimondas Ciegis
SIAMIS
2008
119views more  SIAMIS 2008»
13 years 7 months ago
Direct Elastic Imaging of a Small Inclusion
In this paper we consider the problem of locating a small three-dimensional elastic inclusion, using arrays of elastic source transmitters and receivers. This procedure yields the ...
Habib Ammari, Pierre Calmon, Ekaterina Iakovleva
PRL
2007
167views more  PRL 2007»
13 years 6 months ago
Calibration and removal of lateral chromatic aberration in images
This paper addresses the problem of compensating for lateral chromatic aberration in digital images through colour plane realignment. Two main contributions are made: the derivati...
John Mallon, Paul F. Whelan
JSC
2010
120views more  JSC 2010»
13 years 5 months ago
Theory decision by decomposition
The topic of this article is decision procedures for satisfiability modulo theories (SMT) of arbitrary quantifier-free formulæ. We propose an approach that decomposes the formu...
Maria Paola Bonacina, Mnacho Echenim
MCS
2010
Springer
13 years 5 months ago
MinT - Architecture and applications of the (t, m, s)-net and OOA database
Many different constructions for (t, m, s)-nets and (t, s)-sequences are known today. Propagation rules as well as connections to other mathematical objects make it difficult to ...
Rudolf Schürer, Wolfgang Ch. Schmid