With every (strict or normal) unital endomorphism of the algebra of all adjointable operators on a Hilbert module there is associated a correspondence (that is, a Hilbert bimodule) such that the endomorphism can be recovered as amplification of the identity representation with that correspondence. In these notes we show the converse of this statement in the case of strongly full W–correspondenc...

We prove an analogue of Voiculescu’s theorem: Relative bicommutant of a separable unital subalgebra A of an ultraproduct of simple unital C*-algebras is equal to A. Ultrapowers1 AU of separable algebras are, being subject to well-developed model-theoretic methods, reasonably well-understood (see e.g. [9, Theorem 1.2] and §2). Since the early 1970s and the influential work of McDuff and Connes c...

DNA methyltransferase-1 (DNMT1) has a higher specific activity on hemimethylated DNA than on unmethylated DNA, but this preference is too small to explain the faithful mitotic inheritance of genomic methylation patterns. New genetic studies in plants and mammals have identified a novel factor that increases the fidelity of maintenance methylation.

This paper presents an approach to construct a verified virtual prototyping framework of embedded software. The machine code executed on a simulated target architecture can be proven to provide the same results as the real hardware, and the proof is verified with a theorem prover. The method consists in proving each instruction of the instruction set independently, by proving that the execution...

We investigate privacy-preserving computation under a very general model for message-passing protocols over large networks. Our goal is to construct secure versions of such protocolswhile preserving the property of highly distributed, local computation. We present a general“compiler” that turns any message-passing protocol into one computing the same functionality ina way that i...

We study two types of graphical models in this paper: concentration and covariance graphical models. Graphical models use graphs to encode or capture the multivariate dependencies that are present in a given multivariate distribution. A concentration graph associated with a multivariate probability distribution of a given random vector is an undirected graph where each vertex represents each of...

It is proved that the free product state, in the reduced free product of C–algebras, is faithful if the states one started with are faithful. The reduced free product of C–algebras was introduced by Voiculescu as the appropriate construction for C–algebras in the setting of his theory of freeness [1]. (See also the book [2]). Given a set I and for each ι ∈ I a unital C–algebra Aι with a state φ...