1717 search results - page 41 / 344 » A Computable Spectral Theorem |
136
Voted
CIE
2008
Springer
15 years 5 months ago
2008
Springer
Approximate Herbrand theorems are established for first-order fuzzy logics based on continuous t-norms, and used to provide proof-theoretic proofs of Skolemization for their Prenex...
134
click to vote
FCS
2009
15 years 1 months ago
2009
Circuits and loops in graph systems can be used to model the attractors in gene-regulatory networks. The number of such attractors grows very rapidly with network size and even fo...
150
Voted
VISSYM
2007
15 years 6 months ago
2007
An imaging mass spectrometer is an analytical instrument that can determine the spatial distribution of chemical compounds on complex surfaces. The output of the device is a multi...
119
click to vote
MOC
2000
15 years 3 months ago
2000
Abstract. This paper provides a framework for developing computationally efficient multilevel preconditioners and representations for Sobolev norms. Specifically, given a Hilbert s...
128
click to vote
SIGGRAPH
2000
ACM
15 years 8 months ago
2000
ACM
We show how spectral methods may be applied to 3D mesh data to obtain compact representations. This is achieved by projecting the mesh geometry onto an orthonormal basis derived f...