Recent spending cuts in the area of adult social care raise policy concerns about the proportion of older people whose need for social care is not being met. Such concerns are emphasised in the context of population ageing and other demographic changes. For example, the increasing proportion of the population aged 75 and over places greater pressure on formal and informal systems of care and su...

We produced a prototype informal videoconferencing and awareness appliance and deployed it under two distinct scenarios to investigate the usability and behavioral effects of the convergence of videoconferencing, context awareness, and ambient displays. Findings indicate designers of such systems should pay close attention to privacy concerns, audio technologies, videoconferencing software conf...

The World Health Organization informal planning meeting, in July 2000, clearly indicated that detailed comparisons of refractive error prevalence across study reports are generally not possible because of different measurement methods and definitions. Further, because most studies are carried out using samples of unknown representativeness, interpretation of the findings in a population-based c...

Pregnant teenagers and young mothers experience embodied exclusion due to the range of attempts aimed at controlling their sexual behaviour. Embodied exclusion in this context is the result of having the sexual health needs and experiences of pregnant teenagers and young mothers excluded from formal and informal sexual health education.

Despite the egocentric-sounding title, this is not about myself but rather about the concept of self and how it may relate to that of meta, in the context of various considerations, including formal and informal notions of self-reference, reference in general, theories of consciousness, and the active logic approach to commonsense reasoning.

As an exploratory case study for the use of formal methods in cryptography, this paper considers the commitment primitive. Its reconstruction from an abstract informal characterisation explains most aspects of the usual commitment specifications, and demonstrates succinctly the inadequacy of the traditional formal methods “toolbox” in the context of modern cryptography. Additions to this toolbo...

Specifications for security protocols range from informal narrations of message flows to formal assertions of protocol properties. This paper (intended to accompany a lecture at ETAPS ’99) discusses those specifications and suggests some gaps and some opportunities for further work. Some of them pertain to the traditional core of the field; others appear when we examine the context in which pro...

based on existing literature social capital is defined as a set of norms and rules and informal networks that provide association, trust and collective action to obtain the public good. the empowerment projects of world bank that has been implemented in many third world countries in the late 1980s followed by a non-reductionist non- physical approach integration of cultural and socio- economic ...

A LOTOS interpretation of the Timethread notation is given in this document. Timethreads are an informal technique that focuses on end-to-end behaviours of a system while LOTOS is a formal technique with well developed theories of transformation, validation and testing. Timethreads constructors and their interpretation are discussed in the context of their possible use as a thinking tool in a d...

BACKGROUND A large proportion of the annual 3.3 million neonatal deaths could be averted if there was a high uptake of basic evidence-based practices. In order to overcome this 'know-do' gap, there is an urgent need for in-depth understanding of knowledge translation (KT). A major factor to consider in the successful translation of knowledge into practice is the influence of organizational cont...