Sciweavers

598 search results - page 11 / 120
» Typing the Numeric Tower
Sort
View
MOC
2002
148views more  MOC 2002»
13 years 7 months ago
Convergence of an iterative algorithm for solving Hamilton-Jacobi type equations
Abstract. Solutions of the optimal control and H-control problems for nonlinear affine systems can be found by solving Hamilton-Jacobi equations. However, these first order nonline...
Jerry Markman, I. Norman Katz
HASKELL
2006
ACM
14 years 1 months ago
Statically typed linear algebra in Haskell
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
Frederik Eaton
ESOP
1994
Springer
13 years 11 months ago
Dimension Types
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
Andrew Kennedy
CSC
2006
13 years 8 months ago
Biorthogonal Sampling Functions Associated With Meyer Type Wavelets
In this article, we study a class of biorthogonal sampling functions in the context of bandlimited wavelets, Meyer type wavelets. Originally raised in the construction of bandlimi...
Xiaoping Shen
SCALESPACE
2009
Springer
14 years 2 months ago
On Level-Set Type Methods for Recovering Piecewise Constant Solutions of Ill-Posed Problems
We propose a regularization method for solving ill-posed problems, under the assumption that the solutions are piecewise constant functions with unknown level sets and unknown leve...
Adriano DeCezaro, Antonio Leitão, Xue-Cheng...