We take a fresh look at the expressivity of BIP, a recent influential formal component model developed by J. Sifakis et al. We introduce a process calculus, called CAB, that models composite components as the combination of a glue (using BIP terminology) and subcomponents, and that constitutes a conservative extension of BIP with more dynamic forms of glues. We study the Turing completeness of ...

Despite state and local laws requiring medical providers to report notifiable infectious diseases to public health authorities, reporting is believed to be incomplete. Through means of an analytical literature review, the authors synthesize current knowledge on the completeness of disease reporting and identify factors associated with reporting completeness. The review was limited to published ...

In this paper we define intuitionistic fuzzy metric and normedspaces. We first consider finite dimensional intuitionistic fuzzy normed spacesand prove several theorems about completeness, compactness and weak convergencein these spaces. In section 3 we define the intuitionistic fuzzy quotientnorm and study completeness and review some fundamental theorems. Finally,we consider some properties of...

The present paper introduces the notion of the complete fuzzy norm on a linear space. And, some relations between the fuzzy completeness and ordinary completeness on a linear space is considered, moreover a new form of fuzzy compact spaces, namely b-compact spaces and b-closed spaces are introduced. Some characterizations of their properties are obtained.

In this paper, we introduce and study notions like state-\linebreak distinguishability, input-distinguishability and output completeness of states of a crisp deterministic fuzzy automaton. We show that for each crisp deterministic fuzzy automaton there corresponds a unique (up to isomorphism), equivalent distinguished crisp deterministic fuzzy automaton. Finally, we introduce two axioms related...

introduction: users’ performance and their interaction with information retrieval systems can be observed in development of their mental models. users, especially users of health, use mental models to facilitate their interactions with these systems and incomplete or incorrect models can cause problems for them . the aim of this study was the adjustment and development of health user’s mental m...

in this paper we define intuitionistic fuzzy metric and normedspaces. we first consider finite dimensional intuitionistic fuzzy normed spacesand prove several theorems about completeness, compactness and weak convergencein these spaces. in section 3 we define the intuitionistic fuzzy quotientnorm and study completeness and review some fundamental theorems. finally,we consider some properties of...