Sciweavers

852 search results - page 43 / 171
» entcs 2010
Sort
View
ENTCS
2007
72views more  ENTCS 2007»
14 years 10 months ago
Pauli Measurements are Universal
Following a suggestion of Briegel, we show that a variant of the oneway model where one only allows X and Y one qubit measurements is approximately universal with respect to unita...
Vincent Danos, Elham Kashefi
ENTCS
2007
98views more  ENTCS 2007»
14 years 10 months ago
Event Structures with Symmetry
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, no...
Glynn Winskel
ENTCS
2007
83views more  ENTCS 2007»
14 years 10 months ago
An Integrated and "Engaging" Package for Tree Animations
This paper describes a prototypical system that combines several aspects of engagement as defined in (Naps et al. 2003) for the topic of tree and tree algorithm animations.
Guido Rößling, Silke Schneider
ENTCS
2007
106views more  ENTCS 2007»
14 years 10 months ago
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
Sonia Estévez Martín, Antonio J. Fer...
ENTCS
2000
88views more  ENTCS 2000»
14 years 10 months ago
Notes on Coalgebras, Cofibrations and Concurrency
We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-determi...
Alexander Kurz, Dirk Pattinson