We show that the problem of communication in a quantum computer reduces to constructing reliable quantum channels by distributing high-fidelity EPR pairs. We develop analytical m...
Nemanja Isailovic, Yatish Patel, Mark Whitney, Joh...
This article introduces the Interactive Network concept and describes the design and implementation of the first prototype. In an Interactive Network humans become an integral par...
Rudolf J. Strijkers, Laurence Muller, Mihai Criste...
Structured singular values and pseudospectra play an important role in assessing the properties of a linear system under structured perturbations. This paper discusses computation...
Michael Karow, Effrosini Kokiopoulou, Daniel Kress...
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
The goal of this paper is to introduce a new approach to the building of efficient distributed linear system solvers. The starting point of the results of this paper lies in the ...