Sciweavers

342 search results - page 10 / 69
» Quantum Algorithms
Sort
View
ENTCS
2006
117views more  ENTCS 2006»
13 years 8 months ago
Reasoning About Imperative Quantum Programs
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
Rohit Chadha, Paulo Mateus, Amílcar Sernada...
WSCG
2004
118views more  WSCG 2004»
13 years 10 months ago
New Method for Geometric Constraint Solving Based on the Genetic Quantum Algorithm
This paper proposes a novel genetic quantum algorithm (GQA) to solve geometric constraint problems. Instead of binary, numeric or symbolic representation, we introduce qubit chrom...
Chunhong Cao, Wenhui Li
STOC
2005
ACM
97views Algorithms» more  STOC 2005»
14 years 9 months ago
Fast quantum byzantine agreement
Michael Ben-Or, Avinatan Hassidim
STOC
2007
ACM
97views Algorithms» more  STOC 2007»
14 years 9 months ago
Search via quantum walk
Frédéric Magniez, Ashwin Nayak, Jere...