Abstract. As information systems are increasingly being called upon to play vital roles in organizations, conceptual modelling techniques need to be extended to relate information ...
We study competing-prover one-round interactive proof systems. We show that one-round proof systems in which the rst prover is trying to convince a veri er to accept and the secon...
Marcos A. Kiwi, Carsten Lund, Alexander Russell, D...
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Abstract. Regularization o ers a powerful framework for signal reconstruction by enforcing weak constraints through the use of stabilizers. Stabilizers are functionals measuring th...