Talks

15601 - 15612 of 16004 Results

What is a quantum computation?

July 21, 2005

PIRSA:05070110
Nonlocal no-signalling correlations that are locally quantum.

Howard Barnum University of New Mexico

July 20, 2005

PIRSA:05070109
Are Quantum States Exponentially Long Vectors?

Scott Aaronson The University of Texas at Austin

July 20, 2005

PIRSA:05070108
Residuated Mappings

July 20, 2005

PIRSA:05070107
Rickart comparability groups and quantum logic

David Foulis

July 20, 2005

PIRSA:05070106
Discrete phase space based on finite fields

William Wootters Williams College - Department of Physics

July 20, 2005

PIRSA:05070105
Symmetry and quantum logic

Alexander Wilce Susquehanna University

July 20, 2005

PIRSA:05070104
The logic of quantum actions: reasoning about change in quantum systems

Sonja Smets Vrije Universiteit Brussel (VUB)

July 19, 2005

PIRSA:05070103
Nondeterministic testing of sequential quantum logic propositions on a quantum computer

Matthew Leifer Chapman University

July 19, 2005

PIRSA:05070102
Information is physical, but physics is logical

Samson Abramsky University of Oxford

July 19, 2005

PIRSA:05070101
Preparation contextuality in its myriad forms

Robert Spekkens Perimeter Institute for Theoretical Physics

July 19, 2005

PIRSA:05070100
Introduction to logics as type theories for quantum processes

Samson Abramsky University of Oxford

July 19, 2005

PIRSA:05070099

Title	Date	Collection	Type	Info
What is a quantum computation?	2005‑07‑21	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Nonlocal no-signalling correlations that are locally quantum.	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Are Quantum States Exponentially Long Vectors?	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Residuated Mappings	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Rickart comparability groups and quantum logic	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Discrete phase space based on finite fields	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Symmetry and quantum logic	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
The logic of quantum actions: reasoning about change in quantum systems	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Nondeterministic testing of sequential quantum logic propositions on a quantum computer	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Information is physical, but physics is logical	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Preparation contextuality in its myriad forms	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Introduction to logics as type theories for quantum processes	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details

Talks

Format results