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...

a module $m$ is called $emph{h}$-cofinitely supplemented if for every cofinite submodule $e$ (i.e. $m/e$ is finitely generated) of $m$ there exists a direct summand $d$ of $m$ such that $m = e + x$ holds if and only if $m = d + x$, for every submodule $x$ of $m$. in this paper we study factors, direct summands and direct sums of $emph{h}$-cofinitely supplemented modules. let $m$ be an $emph{h}$...

In this paper we defined the concept of module amenability of Banach algebras and module connes amenability of module dual Banach algebras.Also we assert the concept of module Arens regularity that is different with [1] and investigate the relation between module amenability of Banach algebras and connes module amenability of module second dual Banach algebras.In the following we studythe...

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 φ...