Talks

14173 - 14184 of 14576 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	Speaker(s)	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.	Howard Barnum	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Are Quantum States Exponentially Long Vectors?	Scott Aaronson	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	David Foulis	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Discrete phase space based on finite fields	William Wootters	2005‑07‑20	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Symmetry and quantum logic	Alexander Wilce	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	Sonja Smets	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	Matthew Leifer	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Information is physical, but physics is logical	Samson Abramsky	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Preparation contextuality in its myriad forms	Robert Spekkens	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details
Introduction to logics as type theories for quantum processes	Samson Abramsky	2005‑07‑19	Quantum Information, Computation and Logic: Exploring New Connections - 2005	Conference	View details

Talks

Format results