|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
18 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Overview of QML With a Concrete Implementation in Haskell |
Grattage, Jonathan |
2011 |
270 | 1 |
p. 165-174 10 p. |
artikel |
|
| 2 | Categorical Formulation of Finite-dimensional C*-algebras |
Vicary, Jamie |
2011 |
270 | 1 |
p. 129-145 17 p. |
artikel |
|
| 3 | Classical Knowledge for Quantum Security |
D'Hondt, Ellie |
2011 |
270 | 1 |
p. 155-163 9 p. |
artikel |
|
| 4 | Computational Complexity in Non-Turing Models of Computation |
Blakey, Ed |
2011 |
270 | 1 |
p. 17-28 12 p. |
artikel |
|
| 5 | Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract) |
Selinger, Peter |
2011 |
270 | 1 |
p. 113-119 7 p. |
artikel |
|
| 6 | Game Semantics for Quantum Data |
Delbecque, Yannick |
2011 |
270 | 1 |
p. 41-57 17 p. |
artikel |
|
| 7 | How to Randomly Flip a Quantum Bit |
Martin, Keye |
2011 |
270 | 1 |
p. 81-97 17 p. |
artikel |
|
| 8 | Information Processing in Convex Operational Theories |
Barnum, Howard |
2011 |
270 | 1 |
p. 3-15 13 p. |
artikel |
|
| 9 | Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits |
Díaz-Caro, Alejandro |
2011 |
270 | 1 |
p. 59-74 16 p. |
artikel |
|
| 10 | Modelling Parallel Quantum Computing Using Transactional Memory |
Vizzotto, Juliana Kaizer |
2011 |
270 | 1 |
p. 183-190 8 p. |
artikel |
|
| 11 | On Orthomodular Posets Generated by Transition Systems |
Bernardinello, Luca |
2011 |
270 | 1 |
p. 147-154 8 p. |
artikel |
|
| 12 | On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) |
Valiron, Benoît |
2011 |
270 | 1 |
p. 121-128 8 p. |
artikel |
|
| 13 | Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition |
Perdrix, Simon |
2011 |
270 | 1 |
p. 99-111 13 p. |
artikel |
|
| 14 | Preface |
Coecke, Bob |
2011 |
270 | 1 |
p. 1-2 2 p. |
artikel |
|
| 15 | Quantum Circuits: From a Network to a One-Way Model |
Voufo, Larisse |
2011 |
270 | 1 |
p. 191-210 20 p. |
artikel |
|
| 16 | The Thermodynamic Arrow-of-time and Quantum Mechanics |
Maccone, Lorenzo |
2011 |
270 | 1 |
p. 75-79 5 p. |
artikel |
|
| 17 | Toy Quantum Categories (Extended Abstract) |
Coecke, Bob |
2011 |
270 | 1 |
p. 29-40 12 p. |
artikel |
|
| 18 | Verification of Quantum Protocols with a Probabilistic Model-Checker |
Tavala, Amir M. |
2011 |
270 | 1 |
p. 175-182 8 p. |
artikel |
18 gevonden resultaten