Animation of object-z specifications using a Z animator

We discuss a methodology for animating the Object-Z specification language using a Z animation environment. Central to the process is the introduction of a framework to handle dynamic instantiation of objects and management of object references. Particular focus is placed upon building the animation environment through pre-existing tools, and a case study is presented that implements the proposed framework using a shallow encoding in the Possum Z animator. The animation of Object-Z using Z is both automated and made transparent to the user through the use of a software tool named O-zone.

Hypermethylation of the 5 ' CpG island of the gene encoding the serine protease Testisin promotes its loss in testicular tumorigenesis

The Testisin gene (PRSS21) encodes a glycosylphosphatidylinositol (GPI)-linked serine protease that exhibits testis tissue-specific expression. Loss of Testisin has been implicated in testicular tumorigenesis, but its role in testis biology and tumorigenesis is not known. Here we have investigated the role of CpG methylation in Testisin gene inactivation and tested the hypothesis that Testisin may act as a tumour suppressor for testicular tumorigenesis. Using sequence analysis of bisulphite-treated genomic DNA, we find a strong relationship between hypermethylation of a 385 bp 50 CpG rich island of the Testisin gene, and silencing of the Testisin gene in a range of human tumour cell lines and in 100% (eight/eight) of testicular germ cell tumours. We show that treatment of Testisin-negative cell lines with demethylating agents and/or a histone deacetylase inhibitor results in reactivation of Testisin gene expression, implicating hypermethylation in Testisin gene silencing. Stable expression of Testisin in the Testisin-negative Tera-2 testicular cancer line suppressed tumorigenicity as revealed by inhibition of both anchorage-dependent cell growth and tumour formation in an SCID mouse model of testicular tumorigenesis. Together, these data show that loss of Testisin is caused, at least in part, by DNA hypermethylation and histone deacetylation, and suggest a tumour suppressor role for Testisin in testicular tumorigenesis.

Attachment insecurity as a filter in the decoding and encoding of nonverbal behavior in close relationships

In this article, I have focused my comments on the possible associations between the cognitions related to different attachment styles, and the impact that those cognitions are likely to have on nonverbal encoding and decoding. I see attachment insecurity as acting as a filter, distorting both encoding and decoding processes. In terms of decoding, an insecure individual may appraise the situation as more threatening than it actually is, may see the attachment figure as more or less available than he or she actually is, and may make an inappropriate decision about the viability or desirability of seeking proximity to the attachment figure. Attachment insecurity is also likely to inhibit the distressed individual from expressing their distress in a way that is understood by the attachment figure and that increases the likelihood that the attachment figure will engage in supportive behavior.

Intelligent encoding of concepts in web development retrieval

The main aim of the proposed approach presented in this paper is to improve Web information retrieval effectiveness by overcoming the problems associated with a typical keyword matching retrieval system, through the use of concepts and an intelligent fusion of confidence values. By exploiting the conceptual hierarchy of the WordNet (G. Miller, 1995) knowledge base, we show how to effectively encode the conceptual information in a document using the semantic information implied by the words that appear within it. Rather than treating a word as a string made up of a sequence of characters, we consider a word to represent a concept.