In this paper we present logical characterizations of two preorders, within the framework of Hennessy-Milner Logics. The two preorders (loosely termed bisimulation-based efficiency preorders) are on processes represented as labelled transition systems. The characterizations are particularly interesting as they explore preorders lying between strong and weak bisimilarity, guided by a principle o...

A new distance function dist (A,B) for fuzzy sets A and B is introduced. It is based on the descriptive complexity, i.e., the number of bits (on average) that are needed to describe an element in the symmetric difference of the two sets. The distance gives the amount of additional information needed to describe any one of the two sets given the other. We prove its mathematical properties and pe...

Syntactic constraints in Koskenniemi's Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turns out that although the constraints in Voutilainen's (1994) FSIG description of English make use of several extensions to regular expressions, the description as a whole reduces to a finite combination of union, compleme...

OBJECTIVE To study how doctors care for their patients, both medically and as fellow humans, through observing their conduct in patient-doctor encounters. DESIGN Qualitative study in which 101 videotaped consultations were observed and analysed using a Grounded Theory approach, generating explanatory categories through a hermeneutical analysis of the taped consultations. SETTING A 500-bed g...

0

The purpose of this descriptive study was to examine place-manner-voicing features and neuromuscular substrates of articulation and swallowing in a group of nursing home residents having concurrent dysarthria and dysphagia. Similar muscle groups function in speech articulation and swallowing, accounting for the high coincidence of dysarthria and dysphagia in neurological impairment. Subjects we...

The purpose of this descriptive study was to examine place-manner-voicing features and neuromuscular substrates of articulation and swallowing in a group of nursing home residents having concurrent dysarthria and dysphagia. Similar muscle groups function in speech articulation and swallowing, accounting for the high coincidence of dysarthria and dysphagia in neurological impairment. Subjects we...

This paper describes the transition of a male-pessimal matching set to optimal when it is a man-oriented approach by deleting a pair from matching set considering the score based approach. A descriptive explanation of the proposed algorithm both in a sequential and parallel manner is given. The comparison based theoretical analysis shows that the best case of the algorithm is lower bound of n3.