119
Voted
TCC
2016
Springer
10 years 18 days 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 ...
125
Voted
TCC
2016
Springer
10 years 18 days 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
10 years 18 days 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
10 years 18 days 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
10 years 18 days 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
10 years 18 days 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...
191
click to vote
TCAD
2016
10 years 18 days 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...
TBE
2016
10 years 18 days ago
2016
Abstract—Despite its expected clinical benefits, current teleoperated surgical robots do not provide the surgeon with haptic feedback largely because grounded forces can destabi...
TBE
2016
10 years 18 days ago
2016
— Objective: Lumpectomy, breast conserving tumor excision, is the standard surgical treatment in early stage breast cancer. A common problem with lumpectomy is that the tumor may...
TBE
2016
10 years 18 days ago
2016
— Goal: Incorporation of elastic joint contact models into simulations of human movement could facilitate studying the interactions between muscles, ligaments, and bones. Unfortu...