BACKGROUND Faced with increased public spending for care, knowledge of the determinants of the choices between informal and formal care is of particular importance for estimating the need for care in the future. METHODS Using a representative sample of Spanish dependent elderly from the Disabilities, Independence and Dependency Situations Survey (DIDSS) 2008, we compare the factors associated...

The Effects of Cooperation: A Structural Model of Siblings’ Caregiving Interactions This paper analyzes the decision making process of adult children to provide informal care to their parents. First, we develop a structural model to explain the amount of time that only children (without siblings) spend on providing care, taking into account opportunity costs in terms of time and money. The mode...

In this paper the development of automatically veriied proofs for functional programs is examined. This examination is made on the basis of a small functional program written in the functional language clean. For this program a proof is constructed in the proof system coq. This proof is automatically veriied by coq. The functional program presented contains two function-constructors for the cla...

INTRODUCTION Relationships between people with health problems and their partners, families and friends are usually described as 'informal care'. Using a qualitative examination of older people's descriptions of their relationships with partners or other significant friends or relatives at times of change in health and mobility (walking), we questioned whether 'informal care' is an appropriate ...

This paper describes the rst half of the formal veri cation of a Prolog compiler with the KIV (\Karlsruhe Interactive Veri er") system. Our work is based on [BR95], where an operational Prolog semantics is de ned using the formalism of Gurevich Abstract State Machines, and then re ned in several steps to the Warren Abstract Machine (WAM). We de ne a general translation of sequential Abstract St...

Proofs, both formal and informal, are documents that are intended to circulate within societies of humans and machines distributed across time and space in order to provide trust. Such trust might lead one mathematician to accept a certain statement as true or it might help convince a consumer that a certain software system is secure. Using this general characterization of proofs, we examine a ...

An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence of an object meeting the specified conditions. The proof is restricted to be sufficiently constructive, in the sense that, in establishing the existence of the desired output, the proof is forced ...

Around 14% of the UK labour force has informal care responsibilities and almost everyone in society will be an informal carer in their lifetime. A well-known fact in the small economic literature on informal care is the apparent negative relation between care responsibilities and labour market participation. Yet, caring and labour market participation may be endogenous. Using an instrumental va...

BACKGROUND The purpose of this study was to update the previous estimate of the worldwide cost of dementia in 2005 to 2009. METHODS The cost model is based on prevalence estimates, country and region-specific data on Gross Domestic Product per person and average wage, with results from previously published cost-of-illness studies in different countries. Prevalence figures are updated to 2009 ...