3482 search results - page 3 / 697 » In Praise of Numerical Computation |
128
Voted
NDJFL
2010
14 years 10 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
133
Voted
PADL
2012
Springer
13 years 11 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
131
Voted
CG
2011
Springer
14 years 10 months ago
2011
Springer
In previous work we introduced a construction to produce multiresolutions from given subdivisions. A portion of that construction required solving bilinear equations using a symbo...
133
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
120
Voted
IMCSIT
2010
14 years 10 months ago
2010
Paper presents results obtained when porting FEM 2D linear elastostatic local stiffness matrix calculations to Tesla architecture with OpenCL framework. Comparison with native NVID...