852 search results - page 43 / 171 » entcs 2010 |
75
Voted
ENTCS
2007
15 years 14 days ago
2007
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...
81
Voted
ENTCS
2007
15 years 14 days ago
2007
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...
83
Voted
ENTCS
2007
15 years 14 days ago
2007
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.
67
Voted
ENTCS
2007
15 years 14 days ago
2007
ENTCS
2000
15 years 9 days ago
2000
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...