115
Voted
TCC
2016
Springer
9 years 11 months ago
2016
Springer
117
click to vote
TCC
2016
Springer
9 years 11 months ago
2016
Springer
Rational proofs, introduced by Azar and Micali (STOC 2012) are a variant of interactive proofs in which the prover is neither honest nor malicious, but rather rational. The advanta...
105
Voted
TCC
2016
Springer
9 years 11 months ago
2016
Springer
108
click to vote
TCC
2016
Springer
9 years 11 months ago
2016
Springer
A Probabilistically Checkable Proof (PCP) allows a randomized verifier, with oracle access to a purported proof, to probabilistically verify an input statement of the form “x ...
117
Voted
TCC
2016
Springer
9 years 11 months ago
2016
Springer
We show that homomorphic evaluation of any non-trivial functionality of sufficiently many inputs with respect to any CPA secure homomorphic encryption scheme cannot be implemented ...
TCAS
2016
9 years 11 months ago
2016
—In this paper, radix-2r arithmetic is applied to the multiple constant multiplication (MCM) problem. Given a number M of nonnegative constants with a bit-length N, we determine ...
TCAS
2016
9 years 11 months ago
2016
— The paper proposes a technique to accurately and efficiently locate periodic steady-state solutions of electric power systems. This technique is based on an enhanced version o...
TCAS
2016
9 years 11 months ago
2016
Abstract—We report a five-component autonomous chaotic oscillator of jerky type, hitherto the simplest of its kind, using only one operational amplifier. The key component of t...
TCAS
2016
9 years 11 months ago
2016
—For transceivers operating in television white space (TVWS), frequency agility and strict spectral mask fulfilments are vital. In the UK, TVWS covers a 320 MHz wide frequency b...
173
click to vote
TCAD
2016
9 years 11 months ago
2016
—Efficiently optimizing large-scale, complex analog systems requires to know the performance tradeoffs for various analog circuit blocks. In this paper, we propose a radically n...