Quantum Circuits: From a Network to a One-Way Model (2009)
Larisse D. Voufo, Gerardo Ortiz, Amr Sabry
We present elements of quantum circuits translations from the standard network (or circuit) model to the one-way one. We present a general translation scheme, give an account of currently existing...
Larisse D. Voufo, Gerardo Ortiz, Amr Sabry
Abstract—We present elements of quantum circuits translations from the (standard) network or circuit model to the one-way one. We present a translation scheme, give an account of currently existing...
• Provide technical assistance to students, staff, and faculty in computer usage. • Troubleshoot basic file systems and network issues. eClub BU
We present an application of miniKanren with respect to the needs of Proof and Complexity Theories. We implement an Interactive Proof System for deciding the truth of quanti ed boolean formulae,...
The Proof of IP = P SP ACE (2007)
For a long time, the question of how a veri er can be convinced with high probability that a given theorem is provable without showing the whole proof, and of how rapidly this can be done, remained...
Quantum Complexities and Interactive Proof Systems (2006)
In complexity studies, Interactive Proof Systems are a very helpful means to establish relationships between major complexity classes. The rise of new complexity classes, which follow the properties...