883 research outputs found

    Backward Bisimulation in Markov Chain Model Checking

    Full text link

    An assessment of the construct validity of the descriptive system for the ICECAP capability measure for older people

    Full text link
    Background: The index of capability (ICECAP) was developed using in-depth interviews with 40 older people and comprises five attributes: attachment, security, enjoyment, role and control. This paper explores the construct validity of these five capability attributes. Methods: An interview survey was conducted with individuals aged 65 and over located across the UK. Data were analysed in six categories (socio-demographic variables and general well-being, contact with others, health, nature of the locality and environment, social support and participation) using chi-squared tests (for categorical variables) or one-way analysis of variance (for continuous variables). Results: About 315 individuals were interviewed (response rate 66%). Relationships were generally as anticipated with, for example: strong relationships between age and capability and well-being and capability, but no relationships between capability and either sex or social class; strong relationships between physical measures of health and role, enjoyment and control, and between mental health measures and attachment and enjoyment. Conclusions: This study provides some early evidence for the construct validity of the ICECAP measure. Where anticipated relationships were not observed this might in part be explained in that the ICECAP index asks about capability, but the factors with which associations were examined were largely and inevitably measures of function. © 2008 Springer Science+Business Media B.V

    Valuing the ICECAP capability index for older people

    Full text link
    This paper reports the first application of the capabilities approach to the development and valuation of an instrument for use in the economic evaluation of health and social care interventions. The ICECAP index of capability for older people focuses on quality of life rather than health or other influences on quality of life, and is intended to be used in decision making across health and social care in the UK. The measure draws on previous qualitative work in which five conceptual attributes were developed: attachment, security, role, enjoyment and control. This paper details the innovative use within health economics of further iterative qualitative work in the UK among 19 informants to refine lay terminology for each of the attributes and levels of attributes used in the eventual index. For the first time within quality of life measurement for economic evaluation, a best-worst scaling exercise has been used to estimate general population values (albeit for the population of those aged 65+ years) for the levels of attributes, with values anchored at one for full capability and zero for no capability. Death was assumed to be a state in which there is no capability. The values obtained indicate that attachment is the attribute with greatest impact but all attributes contribute to the total estimation of capability. Values that were estimated are feasible for use in practical applications of the index to measure the impact of health and social care interventions. © 2008 Elsevier Ltd. All rights reserved

    Extending Hybrid CSP with Probability and Stochasticity

    Full text link
    Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been extensively investigated, but unfortunately it still remains challenging as no promising general solutions are available yet. In this paper, we give our effort by proposing a general compositional approach for modelling and verification of SHSs. First, we extend Hybrid CSP (HCSP), a very expressive and process algebra-like formal modeling language for hybrid systems, by introducing probability and stochasticity to model SHSs, which is called stochastic HCSP (SHCSP). To this end, ordinary differential equations (ODEs) are generalized by stochastic differential equations (SDEs) and non-deterministic choice is replaced by probabilistic choice. Then, we extend Hybrid Hoare Logic (HHL) to specify and reason about SHCSP processes. We demonstrate our approach by an example from real-world.Comment: The conference version of this paper is accepted by SETTA 201

    Edging your bets: advantage play, gambling, crime and victimisation

    Get PDF
    Consumerism, industrial development and regulatory liberalisation have underpinned the ascendance of gambling to a mainstream consumption practice. In particular, the online gambling environment has been marketed as a site of ‘safe risks’ where citizens can engage in a multitude of different forms of aleatory consumption. This paper offers a virtual ethnography of an online ‘advantage play’ subculture. It demonstrates how advantage players have reinterpreted the online gambling landscape as an environment saturated with crime and victimisation. In this virtual world, advantage play is no longer simply an instrumental act concerned with profit accumulation to finance consumer desires. Rather, it acts as an opportunity for individuals to engage in a unique form of edgework, whereby the threat to one’s well-being is tested through an ability to avoid crime and victimisation. This paper demonstrates how mediated environments may act as sites for edgeworking and how the potential for victimisation can be something that is actively engaged with

    List of requirements on formalisms and selection of appropriate tools

    Get PDF
    This deliverable reports on the activities for the set-up of the modelling environments for the evaluation activities of WP5. To this objective, it reports on the identified modelling peculiarities of the electric power infrastructure and the information infrastructures and of their interdependencies, recalls the tools that have been considered and concentrates on the tools that are, and will be, used in the project: DrawNET, DEEM and EPSys which have been developed before and during the project by the partners, and M\uf6bius and PRISM, developed respectively at the University of Illinois at Urbana Champaign and at the University of Birmingham (and recently at the University of Oxford)

    Gambling in Great Britain:a response to Rogers

    Get PDF
    A recent issue of Practice: Social Work in Action featured a paper by Rogers that examined whether the issue of problem gambling was a suitable case for social work. Rogers’ overview was (in various places) out of date, highly selective, contradictory, presented unsupported claims and somewhat misleading. Rogers’ paper is to be commended for putting the issue of problem gambling on the social work agenda. However, social workers need up-to-date information and contextually situated information if they are to make informed decisions in helping problem gamblers
    corecore