RESUMEN
We give a scheme for interpreting shaded tangles as quantum circuits, with the property that if two shaded tangles are ambient isotopic, their corresponding computational effects are identical. We analyse 11 known quantum procedures in this way-including entanglement manipulation, error correction and teleportation-and in each case present a fully topological formal verification, yielding generalized procedures in some cases. We also use our methods to identify two new procedures, for topological state transfer and quantum error correction. Our formalism yields in some cases significant new insight into how the procedures work, including a description of quantum entanglement arising from topological entanglement of strands, and a description of quantum error correction where errors are 'trapped by bubbles' and removed from the shaded tangle.
RESUMEN
Web services have the potential to radically enhance the ability of researchers to make use of distributed computing resources, but jargon and a plethora of standards make their use almost impossible for the scientist without prior experience of the necessary technologies. A powerful and simple WSRF-based middleware scheme is presented, designed to let scientists remotely deploy single or multiple instances of a pre-existing code across multiple resources, and giving steering, visualization and workflow functionality with only simple modifications to program code. It is hoped that the development and implementation of such a toolkit will be relevant not only to the problem of deploying workstation-class codes in real time, but also the move towards more tractable alternatives to the Globus toolkit for deployment of processes in a high-performance computing environment.