The advance of cyber-physical systems in everyday life requires powerful modeling capabilities. Existing formalisms often have severe limitations and require complicated notations. In this paper we introduce CREST, a domain-specific language for modeling entity behavior and resource transfers in CPS. CREST aims to support CPS architects through clarity, comprehensiveness and analyzability.

I give an introduction to algorithmic uses of the principle of inclusion–exclusion. The presentation is intended to be be concrete and accessible, at the expense of generality and comprehensiveness. R T 1 The principle of inclusion–exclusion. There are as many odd-sized as even-sized subsets sandwiched between two different sets: For R ⊆ T ,

The Web is revolutionizing the way researchers access scientific literature, however scientific literature on the Web is largely disorganized. Autonomous citation indexing can help organize the literature by automating the construction of citation indices. Autonomous citation indexing aims to improve the dissemination and retrieval of scientific literature, and provides improvements in cost, av...

I give an introduction to algorithmic uses of the principle of inclusion–exclusion. The presentation is intended to be be concrete and accessible, at the expense of generality and comprehensiveness. R T 1 The principle of inclusion–exclusion. There are as many odd-sized as even-sized subsets sandwiched between two different sets: For R ⊆ T ,

UNLABELLED Comprehensiveness relates both to scope of services offered and to a whole-person clinical approach. Comprehensive services are defined as "the provision, either directly or indirectly, of a full range of services to meet most patients' healthcare needs"; whole-person care is "the extent to which a provider elicits and considers the physical, emotional and social aspects of a patient...

User stories allow customers to easily communicate desired specifications as part of Agile Software Development methods. When elicited from groups instead of individuals, the number of stories generated and the comprehensiveness of the stories is likely to increase. We present a 2 X 2 study design involving group vs. individual user story brainstorming with one or two sentence vs. unlimited use...

The universality of Schwartz’s Theory Basic Human Values relies on the comprehensiveness his value types, i.e., they are exhaustive all human values, no matter where found. Schwartz built Rokeach's (1973) theory however, by 1994 had developed a values that superseded 36 with ten types. Drawing Rokeach, we tested Schwartz's statistically assessing extent to which model ten-value types and their ...

BACKGROUND The aim of our study was to describe variability in process quality in family medicine among 31 European countries plus Australia, New Zealand, and Canada. The quality of family medicine was measured in terms of continuity, coordination, community orientation, and comprehensiveness of care. METHODS The QUALICOPC study (Quality and Costs of Primary Care in Europe) was carried out am...

In essence, cultural and creative design features humanity culture. The process of how to transform culture into creativity is an essential subject education, which, in turn, calls for a new teaching system. regard combining traditional Chinese thinking with modern experience, the question apply concepts, methods, education systematically explored this research. Firstly, philosophy “Tao, Vessel...