4895 search results - page 33 / 979 » Functional Quantum Programming |
TCS
2002
13 years 8 months ago
2002
We discuss several complexity measures for Boolean functions: certi cate complexity, sensitivity, block sensitivity, and the degree of a representing or approximating polynomial. ...
MCS
2008
Springer
13 years 8 months ago
2008
Springer
A deeper understanding of quantum effects in nano-electronic devices helps to improve the functionality and to develop new device types. The performance of carbon nanotube (CNT) f...
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
ML
2000
ACM
13 years 8 months ago
2000
ACM
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
FOCS
2003
IEEE
14 years 2 months ago
2003
IEEE
We consider coGapSV P√ n, a gap version of the shortest vector in a lattice problem. This problem is known to be in AM ∩coNP but is not known to be in NP or in MA. We prove th...