1717 search results - page 131 / 344 » A Computable Spectral Theorem |
151
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
—The problem of finding efficient workload distribution techniques is becoming increasingly important today for heterogeneous distributed systems where the availability of comp...
130
click to vote
ECCC
2008
15 years 4 months ago
2008
While closed timelike curves (CTCs) are not known to exist, studying their consequences has led to nontrivial insights in general relativity, quantum information, and other areas....
157
click to vote
ENTCS
2006
15 years 4 months ago
2006
It is reasonable to assume that quantum computations take place under the control of the classical world. For modelling this standard situation, we introduce a Classically-control...
138
Voted
JCS
2010
15 years 3 months ago
2010
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
136
Voted
RECOMB
2007
Springer
16 years 4 months ago
2007
Springer
Reticulate networks are a type of phylogenetic network that are used to represent reticulate evolution involving hybridization, horizontal gene transfer or recombination. The simpl...