D-Wave develops computing systems that leverage the physics of quantum mechanics in order to address problems
that are hard for traditional methods to solve in a cost-effective amount of time. Examples of such problems
include software verification and validation, financial risk analysis, affinity mapping and sentiment analysis,
object recognition in images, medical imaging classification, compressed sensing and bioinformatics.
BOINC on Android devices - 1 views
Lockheed Martin buys first D-Wave quantum computing system - 1 views
-
According to the company's wikipedia page, the computer costs $ 10 million. Can we then declare Quantum Computing has officially arrived?! quotes from elsewhere in the site: "first commercial quantum computing system on the market"; "our current superconducting 128-qubit processor chip is housed inside a cryogenics system within a 10 square meter shielded room" Link to the company's scientific publications. Interestingly, this company seems to have been running a BOINC project, AQUA@home, to "predict the performance of superconducting adiabatic quantum computers on a variety of hard problems arising in fields ranging from materials science to machine learning. AQUA@home uses Internet-connected computers to help design and analyze quantum computing algorithms, using Quantum Monte Carlo techniques". List of papers coming out of it.
Jarifa - Trac - 0 views
Massively collaborative mathematics : Article : Nature - 28 views
-
peer-to-peer theorem-proving
- ...14 more comments...
-
it seems that i should visit you guys at estec... :-)
-
urgently!! btw: we will have the ACT christmas dinner on the 9th in the evening ... are you coming?
LHC@Home - 3 views
1 - 7 of 7
Showing 20▼ items per page