Sciweavers

4895 search results - page 23 / 979
» Functional Quantum Programming
Sort
View
ICALP
2010
Springer
13 years 7 months ago
Finding Is as Easy as Detecting for Quantum Walks
Hari Krovi, Frédéric Magniez, Maris ...
CPHYSICS
2006
46views more  CPHYSICS 2006»
13 years 8 months ago
A second-order finite volume scheme for three dimensional truncated pyramidal quantum dot
Three dimensional truncated pyramidal quantum dots are simulated numerically to compute the energy states and the wave functions. The simulation of the heterostructures is realize...
Weichung Wang, Tsung-Min Hwang, Jia-Chuan Jang
DAC
2009
ACM
14 years 9 months ago
BDD-based synthesis of reversible logic for large functions
Reversible logic is the basis for several emerging technologies such as quantum computing, optical computing, or DNA computing and has further applications in domains like low-pow...
Robert Wille, Rolf Drechsler
ICFP
2012
ACM
11 years 11 months ago
Functional programming with structured graphs
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
Bruno C. d. S. Oliveira, William R. Cook
STOC
2007
ACM
98views Algorithms» more  STOC 2007»
14 years 9 months ago
Negative weights make adversaries stronger
The quantum adversary method is one of the most successful techniques for proving lower bounds on quantum query complexity. It gives optimal lower bounds for many problems, has ap...
Peter Høyer, Troy Lee, Robert Spalek