Quantum Physics and Logic (QPL) 2014, Kyoto
38 videos • 718 views • by OxfordQuantumVideo
http://www-mmm.is.s.u-tokyo.ac.jp/qpl...
1
Dimitri Kartsaklis, A Study of Entanglement in a Categorical Framework of Natural Language
OxfordQuantumVideo
Download
2
Bas Westerbaan, A Kochen Specker system has at least 21 vertices
OxfordQuantumVideo
Download
3
Antonin Delpeuch, Complexity of Grammar Induction for Quantum Types
OxfordQuantumVideo
Download
4
Jason Morton, Belief propagation in monoidal categories
OxfordQuantumVideo
Download
5
Masanao Ozawa, Quantum set theory extending standard probabilistic interpretation of quantum theory
OxfordQuantumVideo
Download
6
Kenta Cho, Semantics for a Quantum Programming Language by Operator Algebras
OxfordQuantumVideo
Download
7
Kazuya Yasuda, Observational Equivalence Using Schedulers for Quantum Processes
OxfordQuantumVideo
Download
8
Akihito Soeda, Circuit model implementation of controllization functional on unitary with and withou
OxfordQuantumVideo
Download
9
Kunji Nakayama, Quantization Induced Sheaves and Topos Quantum Theory
OxfordQuantumVideo
Download
10
Kohei Kishida, Stochastic Relational Presheaves and Dynamic Logic for Contextuality
OxfordQuantumVideo
Download
11
Jacques Pienaar, Graph Separation in Quantum Networks
OxfordQuantumVideo
Download
12
Raymond Lal, On modifications of Reichenbach's principle of common cause in light of Bell's theorem
OxfordQuantumVideo
Download
13
Xiaoning Bian, Dichromatic and Trichromatic Calculus for Qutrit Systems
OxfordQuantumVideo
Download
14
Wojciech Cegla, Orthomodular lattice in the globally hyperbolic space time generated by the chronolo
OxfordQuantumVideo
Download
15
Shane Mansfield, Reflections on the PBR Theorem, Reality Criteria & Preparation Independence
OxfordQuantumVideo
Download
16
Patrick Coles, Equivalence of wave particle duality to entropic uncertainty
OxfordQuantumVideo
Download
17
Fabian Furrer, Entropic formulation of Heisenberg's measurement disturbance relation
OxfordQuantumVideo
Download
18
William Zeng, Abstract structure of unitary oracles for quantum algorithms
OxfordQuantumVideo
Download
19
Masahito Hasegawa, Denotational semantics and quantum topology
OxfordQuantumVideo
Download
20
Mio Murao "Parallelized adiabatic gate teleportation"
OxfordQuantumVideo
Download
21
Krzysztof Bar "2 Categorical Analysis of Complementary Families, Quantum Key Distribution and the Me
OxfordQuantumVideo
Download
22
Jisho Miyazaki "Translating measurement based quantum computations with gflow into quantum circuits"
OxfordQuantumVideo
Download
23
Vladimir Zamdzhiev, The ZX calculus is incomplete for quantum mechanics
OxfordQuantumVideo
Download
24
Robin Adams, QPEL, Quantum Program and Effect Language
OxfordQuantumVideo
Download
25
Philip Atzemoglou, The dagger lambda calculus
OxfordQuantumVideo
Download
26
Nadish de Silva, Contextuality and Noncommutative Geometry
OxfordQuantumVideo
Download
27
Seiseki Akibue, Globalness of separable maps in terms of time and space resources
OxfordQuantumVideo
Download
28
Miriam Backens, The ZX calculus is approximately complete for single qubits
OxfordQuantumVideo
Download
29
Linde Wester, Mixed quantum states in higher categories
OxfordQuantumVideo
Download
30
Toru Takisaka, On Gacs' quantum algorithmic entropy
OxfordQuantumVideo
Download
31
Giulio Chiribella, Pure, reversible and sharp, a tale of systems in interaction with ...
OxfordQuantumVideo
Download
32
Raymond Lal, "Theory independent limits on correlations from generalised Bayesian networks"
OxfordQuantumVideo
Download
33
Bob Coecke, "Normalisation equals non signalling"
OxfordQuantumVideo
Download
34
David Quick, "Tensors, ! graphs, and non commutative quantum structures"
OxfordQuantumVideo
Download
35
Shane Mansfield, "Completeness of Hardy Non locality, consequences and applications"
OxfordQuantumVideo
Download
36
Adel Sohbi, Decoherence Effects on the Non locality of Symmetric States
OxfordQuantumVideo
Download
37
Rui Soares Barbosa,"On monogamy of non locality and macroscopic averages, examples and preliminary."
OxfordQuantumVideo
Download
38
Sam Staton, "An equational characterization of quantum computation"
OxfordQuantumVideo
Download