Sciweavers

1056 search results - page 52 / 212
» Handbook of mathematical functions
Sort
View
CASC
2009
Springer
180views Mathematics» more  CASC 2009»
13 years 9 months ago
Effective Quantifier Elimination for Presburger Arithmetic with Infinity
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
Aless Lasaruk, Thomas Sturm
CORR
2010
Springer
75views Education» more  CORR 2010»
13 years 8 months ago
An Optimal Family of Exponentially Accurate One-Bit Sigma-Delta Quantization Schemes
Sigma-Delta modulation is a popular method for analog-to-digital conversion of bandlimited signals that employs coarse quantization coupled with oversampling. The standard mathema...
Percy Deift, C. Sinan Güntürk, Felix Kra...
CASC
2011
Springer
212views Mathematics» more  CASC 2011»
12 years 8 months ago
Semi-algebraic Description of the Equilibria of Dynamical Systems
Abstract. We study continuous dynamical systems defined by autonomous ordinary differential equations, themselves given by parametric rational functions. For such systems, we pro...
Changbo Chen, Marc Moreno Maza
IAJIT
2011
13 years 3 months ago
Build electronic arabic lexicon
: There are many known Arabic lexicons organized on different ways, each of them has a different number of Arabic words according to its organization way. This paper has used mathe...
Nidhal El-Abbadi, Ahmed Khdhair, Adel Al-Nasrawi
IEICET
2010
124views more  IEICET 2010»
13 years 3 months ago
Fast Polar and Spherical Fourier Descriptors for Feature Extraction
Polar Fourier Descriptor(PFD) and Spherical Fourier Descriptor(SFD) are rotation invariant feature descriptors for two dimensional(2D) and three dimensional(3D) image retrieval an...
Zhuo Yang, Sei-ichiro Kamata