Sciweavers

3482 search results - page 31 / 697
» In Praise of Numerical Computation
Sort
View
SIAMSC
2008
133views more  SIAMSC 2008»
13 years 8 months ago
Numerical Variational Methods Applied to Cylinder Buckling
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
Jirí Horák, Gabriel J. Lord, Mark A....
NPC
2010
Springer
13 years 7 months ago
Exposing Tunable Parameters in Multi-threaded Numerical Code
Achieving high performance on today’s architectures requires careful orchestration of many optimization parameters. In particular, the presence of shared-caches on multicore arch...
Apan Qasem, Jichi Guo, Faizur Rahman, Qing Yi
HYBRID
2007
Springer
14 years 22 days ago
Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation
Abstract. This article proposes a new capture basin algorithm for computing the numerical solution of a class of Hamilton-Jacobi-Bellman (HJB) partial differential equations (PDEs)...
Alexandre M. Bayen, Christian G. Claudel, Patrick ...
BSL
2008
98views more  BSL 2008»
13 years 9 months ago
A Natural Axiomatization of Computability and Proof of Church's Thesis
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
Nachum Dershowitz, Yuri Gurevich
APPML
2010
107views more  APPML 2010»
13 years 9 months ago
Numerical simulation of the boundary exact control for the system of linear elasticity
The problem of computing numerically the boundary exact control for the system of linear elasticity in 2D is addressed. A numerical method which has been recently proposed in [Stu...
Roberto Font, Francisco Periago