Bisimulation metrics provide a robust and accurate approach to study the behavior of nondeterministic probabilistic processes. In this paper, we propose a logical characterization of bisimulation metrics based on a simple probabilistic variant of the Hennessy-Milner logic. Our approach is based on the novel notions of mimicking formulae and distance between formulae. The former are a weak versi...

  Poetry translation involves cognition, discourse, and action by and between human s and textual a c- tors in physical and social settings. The aim of this study was to find out to what extent the non - native translator of Nizami Ganjavi’s “Leili and Majnun” could preserve the poetic imagery in its English translation. To this end, an innovative taxonomic model, which could investiga...

This study aims to determine the dominant factors forming image in context of tourism destinations. The quantitative method with survey format chosen this study, where data obtained through convenience sampling were analyzed using Principal Component Analysis (PCA). results showed that Borobudur as a destination was formed by 4 factors, namely: Core Attractions, Supporting Services, and Experie...

In the process of content-based multimedia retrieval, multimedia information is processed in order to obtain descriptive features. Descriptive representation of features, results in a huge feature count, which results in processing overhead. To reduce this descriptive feature overhead, various approaches have been used to dimensional reduction, among which PCA and LDA are the most used methods....

Perceived descriptive norms are one of the strongest predictors of college drinking. Social Identity Theory posits that much of our identity is based on groups with which we affiliate. Prior research suggests that there is an association between perceived descriptive norms and drinking among those who identify more strongly with the normative referent group. However, no studies to date have exa...

background: the age of menopause has not changed in past centuries; however the life span has gradually increased. today's women spend one third of their life time after menopause. this study investigates quality of life after the menopause and its relation to marital status. methods: a descriptive study was conducted. the sample consisted of 384 post-menopausal women in isfahan in 2006. data w...

While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of countable ordinals via a representation in the sense of computable analysis. The computability structure is characterized by the computability of four speci...