1717 search results - page 165 / 344 » A Computable Spectral Theorem |
133
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Parallel repetition is well known to reduce the error probability at an exponential rate for single- and multi-prover interactive proofs. Bellare, Impagliazzo and Naor (1...
177
click to vote
SCP
1998
15 years 4 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
121
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We know that tilesets that can tile the plane always admit a quasiperiodic tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The quasi-periodicit...
247
click to vote
Book
"This is a book about using electronic techniques to record, synthesize, process,
and analyze musical sounds, a practice which came into its modern form in the
years 1948-19...
126
click to vote
MSCS
2006
15 years 4 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...