Sciweavers

8512 search results - page 124 / 1703
» Computing Theory With Relevance
Sort
View
NA
2011
296views Computer Vision» more  NA 2011»
13 years 3 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
BIRTHDAY
2008
Springer
13 years 10 months ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König
DLT
2003
13 years 9 months ago
Complexity Theory Made Easy
In recent years generalized acceptance criteria for different nondeterministic computation models have been examined. Instead of the common definition where an input word is said...
Heribert Vollmer
ECCV
2000
Springer
14 years 10 months ago
Estimating the Jacobian of the Singular Value Decomposition: Theory and Applications
The Singular Value Decomposition (SVD) of a matrix is a linear algebra tool that has been successfully applied to a wide variety of domains. The present paper is concerned with the...
Manolis I. A. Lourakis, Théodore Papadopoul...
RECOMB
2006
Springer
14 years 8 months ago
Sorting by Translocations Via Reversals Theory
Abstract. The understanding of genome rearrangements is an important endeavor in comparative genomics. A major computational problem in this field is finding a shortest sequence of...
Michal Ozery-Flato, Ron Shamir