This paper introduces and analyses the idea of the binding structure of a social interaction scheme. Binding structures are proposed as means to model the binding power that an interaction scheme imposes on agents interacting according to the scheme, in a social context. The paper considers the case of a basic interaction scheme, namely, the basic Producer-Consumer scheme, to explain the way th...

The use of multiple partial viewpoints is recommended for specification. We believe they also can be useful for devising strategies for testing. In this paper, we use Object-Z to formally specify concurrent Java components from viewpoints based on the separation of application and synchronisation concerns inherent in Java monitors. We then use the Test-Template Framework on the Object-Z viewpoi...

Background: An adequate diet contributes to health and wellbeing in older age. This is nowadays more important than ever since in industrialised countries the elderly population is growing continually. However, information regarding the consumption behaviour of older persons in Switzerland is limited. Objective: The objective of this investigation was to explore how middle-aged and elderly Swis...

A major part in the efforts to increase energy efficiency is the establishment of a smart energy grid. This is supposed to optimize power distribution and facilitate the delivery of fluctuating renewable energy. For these reasons, governments in the EU and US are pressing ahead with legislation for the introduction of smart meters into every household. The precise consumption measurements taken...

This paper defines a new proofand category-theoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to ! and ?. The resulting linear/producer/consumer (LPC) logic puts the three classes of propositions on the same semantic footing, following Benton’s linear/non-linear formulation of intuitionistic linear logic. Seman...

the basic objective of this study is to design the model of effectiveness of electronic advertisement on consumer buying behavior. the research population is customers and consumers of large food stores in shiraz that used a store's website. the sample of this study is as big as 400 people. cluster random sampling method based on visible traits in the population with the highest estimated ...