In Ref. [1], Costa presented a communications framework that provided useful insights into the study of data hiding. We present an alternate and equivalent framework with a more direct data hiding perspective. The difference between the two frameworks is in how channel dependent nature is reflected in optimal encoding and decoding operations. The connection between the suggested encoding/decodi...

In this paper we present an extension of dynamic mesh compression techniques based on PCA. Such representation allows very compact representation of moving 3d surfaces, however it requires some side information to be transmitted along with the main data. The biggest part of the side information is the PCA basis, and since the data can be encoded very efficiently, the size of the basis cannot be...

Neurobiological models of posttraumatic stress disorder (PTSD) suggest that altered activity in the medial temporal lobes (MTL) during encoding of traumatic memories contribute to the development and maintenance of the disorder. However, there is little direct evidence in the PTSD literature to support these models. The goal of the present study was to examine MTL activity during trauma encodin...

The availability of a priori knowledge, also called background knowledge, is fundamental for the functioning of semantics based systems. In this paper we introduce a faceted knowledge organization framework called DERA (for Domain, Entity, Relation, Attribute) and describe its implementation inside a system, called UK (for Universal Knowledge) which is extensible and scalable and which allows f...

Previous studies have established that gene transfer into myocardial cells in vivo is detectable after direct injection of plasmid DNA. Recently, adenovirus vectors have been shown to provide an efficient method for gene transfer into a wide range of tissues. Therefore, this study sought to assess the efficiency and stability of adenovirus-mediated gene transfer into myocardium and to compare t...

We present a tool that implements Owicki-Gries and relyguarantee methods for the compositional verification of multi-threaded programs. Our tool computes the requisite auxiliary assertions automatically using an abstraction and refinement procedure. Our procedure is based on a Horn clause encoding of refinement queries and facilitates the discovery of thread-modular proofs when such proofs exis...

Previous studies have established that gene transfer into myocardial cells in vivo is detectable after direct injection of plasmid DNA. Recently, adenovirus vectors have been shown to provide an efficient method for gene transfer into a wide range of tissues. Therefore, this study sought to assess the efficiency and stability of adenovirus-mediated gene transfer into myocardium and to compare t...

background:isolates of staphylococcus aureus express a myriad of adhesive surface proteins that play important role in colonization of the bacteria on nasal and skin surfaces, beginning the process of pathogenesis. the aim of this study was to screen several of the microbial surface components recognizing adhesive matrix molecules (mscramms) genes among the isolate of s. aureus from hospitalize...