Sciweavers

3614 search results - page 118 / 723
» Numerical Computing with MATLAB
Sort
View
202
Voted
GIAE
2004
Springer
159views Mathematics» more  GIAE 2004»
15 years 10 months ago
A Survey of Moving Frames
This paper surveys the new, algorithmic theory of moving frames developed by the author and M. Fels. Applications in geometry, computer vision, classical invariant theory, the cal...
Peter J. Olver
98
Voted
USS
2008
15 years 7 months ago
Security Benchmarking using Partial Verification
Implementation-level vulnerabilities are a persistent threat to the security of computing systems. We propose using the results of partially-successful verification attempts to pl...
Thomas E. Hart, Marsha Chechik, David Lie
113
Voted
ITA
2008
147views Communications» more  ITA 2008»
15 years 5 months ago
A morphic approach to combinatorial games: the Tribonacci case
We propose a variation of Wythoff's game on three piles of tokens, in the sense that the losing positions can be derived from the Tribonacci word instead of the Fibonacci word...
Éric Duchêne, Michel Rigo
AES
2007
Springer
109views Cryptology» more  AES 2007»
15 years 4 months ago
Compatible coarsening in the multigraph algorithm
We present some heuristics incorporating the philosophy of compatible relaxation into an existing algebraic multigrid method, the so-called multigraph solver of Bank and Smith [1]...
Randolph E. Bank
175
Voted
MOC
2010
14 years 11 months ago
Discontinuous Galerkin approximations of the Stokes and Navier-Stokes equations
Numerical schemes to compute approximate solutions of the evolutionary Stokes and Navier-Stokes equations are studied. The schemes are discontinuous in time and conforming in space...
Konstantinos Chrysafinos, Noel Walkington