OASIS - Vincent Danos

The Oxford Advanced Seminar on Informatic Structures

$\*$ Introduction to OASIS

$\*$ Michaelmas 2004

$\*$ Hilary 2005

$\*$ Logic from Quantales

$\*$ Ian Mackie

$\*$ Vincent Danos

$\*$ Paul Blain Levy

$\*$ John V. Tucker

$\*$ OASIS meets QUOXIC

$\*$ Philippa Gardner

$\*$ Terry Rudolph

$\*$ Trinity 2005

$\*$ Michaelmas 2005

$\*$ Hilary 2006

$\*$ Trinity 2006

$\*$ Michaelmas 2006

$\*$ Hilary 2007

$\*$ Trinity 2007

$\*$ Michaelmas 2007

$\*$ Hilary 2008

$\*$ Trinity 2008

Vincent Danos

Paris 7 - PPS [web page]

TITLE: The measurement calculus (joint work with E. Kashefi and P. Panangaden)

ABSTRACT: We give a self-contained and structured account of recent measurement based models of quantum computing: Raussendorf and Briegel's one-way model based on 1-qubit measurements, and Nielsen's teleportation model based on 2-qubit measurements. We define in both cases a standardisation procedure, based on the measurement calculus, that lowers depth complexity and drives any pattern in a form where entanglement is done first, then measurements, then local corrections.

oucl

seminars-mt04

	Introduction to OASIS
Courses \| Research \| People \| About us \| News
Site last produced on Tue Jun 3 10:11:42 BST 2008 . Page generated by AWF. Copyright (C) 2004 OUCL.