Sciweavers

3614 search results - page 42 / 723
» Numerical Computing with MATLAB
Sort
View
122
Voted
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 1 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
SIAMSC
2011
153views more  SIAMSC 2011»
14 years 9 months ago
Stable Computations with Gaussian Radial Basis Functions
Abstract. Radial basis function (RBF) approximation is an extremely powerful tool for representing smooth functions in non-trivial geometries, since the method is meshfree and can ...
Bengt Fornberg, Elisabeth Larsson, Natasha Flyer
CF
2004
ACM
15 years 8 months ago
Effect of auto-tuning with user's knowledge for numerical software
Ì × Ô Ô Ö Ú ÐÙ Ø × Ø « Ø Ó Ò ÙØÓ¹ØÙÒ Ò Ð ØÝ Û Ø Ø Ù× Ö³× ÒÓÛÐ ÓÖ ÒÙÑ Ö Ð ×Ó ØÛ Ö º Ï ÔÖÓ¹ ÔÓ× Ò Û ×Ó ØÛ Ö Ö Ø ...
Takahiro Katagiri, Kenji Kise, Hiroki Honda, Toshi...
117
Voted
NDJFL
2010
14 years 9 months ago
Numerical Abstraction via the Frege Quantifier
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...
Gian Aldo Antonelli
106
Voted
FPL
2007
Springer
138views Hardware» more  FPL 2007»
15 years 8 months ago
Bringing High-Performance Reconfigurable Computing to Exact Computations
Numerical non-robustness is a recurring phenomenon in scientific computing. It is primarily caused by numerical errors arising because of fixed-precision arithmetic in integer and...
Esam El-Araby, Ivan Gonzalez, Tarek A. El-Ghazawi