Quantum computing named one of the hottest 10 fields in science
The Financial Times has named quantum computing one of the 10 hottest fields in science in a recent article .
Paper: Verification of Quantum Programs
I'm of the opinion that formal verification of programs has a limited set of applications, in large part due to the…
QIS-XML: An Extensible Markup Language for Quantum Information Science
By Pascal Heus out of George Mason University: QIS-XML: An Extensible Markup Language for Quantum Information Science .
Cooling through computation
Erasing data generates heat. For example, an And gate can erase data because if you get a false (0) you don't know …
D-Wave sells quantum computer to Lockheed Martin
For those who have not seen it yet, D-Wave has sold its first quantum computer to Lockheed Martin for 10 million. Here …