Explore >> Select a destination
|
You are here 
|
blog.computationalcomplexity.org | ||
| | | | |
algassert.com
|
|
| | | | | Craig Gidney's computer science blog | |
| | | | |
users.cms.caltech.edu
|
|
| | | | | Interactive proofs with quantum devices. | |
| | | | |
simons.berkeley.edu
|
|
| | | | | This workshop will focus on quantum interactive proofs and entangled quantum games. It will include recent advances in our understanding of the complexity class QMIP of multiple entangled provers, as well as QPIP, quantum polynomial time bounded provers. The workshop will also address quantum PCP from an interactive proof perspective. Enquiries may be sent to the organizers workshop_qhc1 [at] lists.simons.berkeley.edu (at this address.) | |
| | | | |
www.matthewjbrown.net
|
|
| | | Good news! Several papers that have been forthcoming are now officially out: "Values in Science beyond Undetermination and Inductive Risk," just came out a few days ago, in the most recent issue of Philosophy of Science. "The Democratic Control of the Scientific Control of Politics" just arrived i | ||
