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 …
