Sciweavers

9 search results - page 1 / 2
» Rational approximation to the Fermi-Dirac function with appl...
Sort
View
NA
2011
296views Computer Vision» more  NA 2011»
12 years 10 months ago
Rational approximation to the Fermi-Dirac function with applications in density functional theory
We are interested in computing the Fermi-Dirac matrix function in which the matrix argument is the Hamiltonian matrix arising from Density Function Theory (DFT) applications. More...
Roger B. Sidje, Yousef Saad
DATE
2002
IEEE
131views Hardware» more  DATE 2002»
13 years 8 months ago
Passive Constrained Rational Approximation Algorithm Using Nevanlinna-Pick Interpolation
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. For high-spee...
Carlos P. Coelho, Luis Miguel Silveira, Joel R. Ph...
JAR
2010
160views more  JAR 2010»
13 years 2 months ago
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
Behzad Akbarpour, Lawrence C. Paulson
CORR
2008
Springer
139views Education» more  CORR 2008»
13 years 3 months ago
Distance Distributions in Finite Uniformly Random Networks: Theory and Applications
In wireless networks, the knowledge of nodal distances is essential for performance analysis and protocol design. When determining distance distributions in random networks, the u...
Sunil Srinivasa, Martin Haenggi
ICIP
2004
IEEE
14 years 5 months ago
Rate-distortion bounds for motion compensated rate scalable video coders
In this paper, we derive and evaluate theoretical ratedistortion performance bounds for scalable video compression algorithms which use a single motion-compensated prediction (MCP...
Gregory W. Cook, Josep Prades-Nebot, Edward J. Del...