4895 search results - page 99 / 979 » Functional Quantum Programming |
97
Voted
TOPLAS
1998
15 years 1 months ago
1998
70
Voted
MP
2010
15 years 18 days ago
2010
80
Voted
TOCL
2010
15 years 17 days ago
2010
122
click to vote
ISMVL
2009
IEEE
15 years 8 months ago
2009
IEEE
Determining the equivalence of reversible circuits designed to meet a common specification is considered. The circuits’ primary inputs and outputs must be in pure logic states ...
114
Voted
CDES
2006
15 years 3 months ago
2006
: Over the last three decades there has been significant progress in the first principles methods for calculating the properties of materials at the quantum level. They have largel...