Sciweavers

1938 search results - page 120 / 388
» On Positive Relational Calculi
Sort
View
95
Voted
AML
2006
83views more  AML 2006»
15 years 24 days ago
The Medvedev lattice of computably closed sets
Simpson introduced the lattice P of 0 1 classes under Medvedev reducibility. Questions regarding completeness in P are related to questions about measure and randomness. We presen...
Sebastiaan Terwijn
108
Voted
COMPUTING
2006
162views more  COMPUTING 2006»
15 years 23 days ago
Numerical Cubature on Scattered Data by Radial Basis Functions
We study cubature formulas on relatively small scattered samples in the unit square, obtained by integrating radial basis function (RBF) interpolants. Numerical tests show that, d...
Alvise Sommariva, Marco Vianello
CSL
2006
Springer
15 years 23 days ago
Automata and Logics for Words and Trees over an Infinite Alphabet
In a data word or a data tree each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been considered in the realm of sem...
Luc Segoufin
DM
2006
132views more  DM 2006»
15 years 23 days ago
Recursive fault-tolerance of Fibonacci cube in hypercubes
Fibonacci cube is a subgraph of hypercube induced on vertices without two consecutive 1's. If we remove from Fibonacci cube the vertices with 1 both in the first and the last...
Petr Gregor
86
Voted
JSCIC
2008
67views more  JSCIC 2008»
15 years 21 days ago
Superposition of Multi-Valued Solutions in High Frequency Wave Dynamics
The weakly coupled WKB system captures high frequency wave dynamics in many applications. For such a system a level set method framework has been recently developed to compute mult...
Hailiang Liu, Zhongming Wang