3228 search results - page 603 / 646 » Computationally Sound Proofs |
104
click to vote
CSB
2005
IEEE
15 years 5 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
FOCS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper studies the computational complexity of the following type of quadratic programs: given an arbitrary matrix whose diagonal elements are zero, find x ∈ {−1, +1}n th...
104
click to vote
WIOPT
2005
IEEE
15 years 5 months ago
2005
IEEE
End-to-end encryption schemes that support operations over ciphertext are of utmost importance for commercial private party Wireless Sensor Network implementations to become meani...
108
click to vote
SPAA
2005
ACM
15 years 5 months ago
2005
ACM
Switching cells in parallel is a common approach to build switches with very high external line rate and a large number of ports. A prime example is the parallel packet switch (in...
100
click to vote
CRYPTO
2005
Springer
15 years 5 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...