Sciweavers

523 search results - page 28 / 105
» On the Power of Quantum Proofs
Sort
View
ICCS
2004
Springer
15 years 7 months ago
Evolutionary State Assignment for Synchronous Finite State Machines
: Synchronous finite state machines are very important for digital sequential designs. Among other important aspects, they represent a powerful way for synchronizing hardware comp...
Nadia Nedjah, Luiza de Macedo Mourelle
EUROCRYPT
1990
Springer
15 years 6 months ago
Experimental Quantum Cryptography
We describe results from an apparatus and protocol designed to implement quantum key distribution, by which two users, who share no secret information initially: 1) exchange a ran...
Charles H. Bennett, François Bessette, Gill...
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 9 months ago
Square root Bound on the Least Power Non-residue using a Sylvester-Vandermonde Determinant
We give a new elementary proof of the fact that the value of the least kth power non
Michael Forbes, Neeraj Kayal, Rajat Mittal, Chanda...
STOC
2007
ACM
84views Algorithms» more  STOC 2007»
16 years 2 months ago
Lower bounds in communication complexity based on factorization norms
We introduce a new method to derive lower bounds on randomized and quantum communication complexity. Our method is based on factorization norms, a notion from Banach Space theory....
Nati Linial, Adi Shraibman
VLSID
2006
IEEE
145views VLSI» more  VLSID 2006»
15 years 8 months ago
Novel BCD Adders and Their Reversible Logic Implementation for IEEE 754r Format
IEEE 754r is the ongoing revision to the IEEE 754 floating point standard and a major enhancement to the standard is the addition of decimal format. This paper proposes two novel ...
Himanshu Thapliyal, Saurabh Kotiyal, M. B. Sriniva...