BACKGROUND The employment of physician assistants (PAs) is a strategy to improve access to care. Since the new millennium, a handful of countries have turned to PAs as a means to bridge the growing gap between the supply and demand of medical services. However, little is known about this new workforce entity from the patient's perspective. The objective of this study was to assess the willingne...

Binary logical relations do not compose. So we generalise the notion of logical relation to one of lax logical relation, so that binary lax logical relations do compose. We give both a direct generalisation and a corresponding category theoretic formulation. We generalise the Basic Lemma for logical relations to a Basic Lemma for lax logical relations. Finally, we give an axiomatic category the...

Postulational approaches attempt to understand the dynamics of belief revision by appealing to no more than the set of beliefs held by an agent and the logical relations between them. It is argued there that such an approach cannot work. A proper account of belief revision must also appeal to the arguments supporting beliefs, and recognize that those arguments can be defeasible. If we begin wit...

This theoretical article discusses the emerging concept of awareness of age-related change (AARC). We propose that a focus on AARC extends the research traditions on subjective age experiences and age identity and that examination of this concept can serve a stimulating role in social gerontology. After defining and contrasting AARC against similar concepts, several reasons for the relevance of...

interpretation: computing on properties readInt(x) if x>0 : x:= pred(x) x:= succ(x) writeInt(x) Q: Is output pos? A: abstractly interpret domain Int by Sign = {neg , zero, pos , any }: readSign(x) if isPos(x): x:= pred(x) x:= succ(x) writeSign(x) where succ(pos) = pos succ(zero) = pos succ(neg) = any succ(any) = any and pred(neg) = neg pred(zero) = neg pred(pos) = any pred(any) = any Calculate ...

The discovery or disclosure of an extramarital affair can have a devastating impact on partners, both individually and on the relationships. Research suggests that affairs occur relatively frequently in relationships and are a common presenting problem in couple therapy. However, despite their prevalence, there is little empirical treatment research in this area, and most therapists describe th...

Federalism is a political mechanism for promoting unityin-diversity in a heterogeneous society. The federal system through the IGR uses the IGM mechanism to provide understanding, cordiality balance and collaboration between and among units of government, and between government and the citizenry. In Nigeria’s federal relation, the IGR seems not to have facilitated the right harmonious interacti...

We present an empirical study of mathematical proofs by diagonalization, the aim is their mechanization based on proof planning techniques. We show that these proofs can be constructed according to a strategy that (i) nds an indexing relation, (ii) constructs a diagonal element, and (iii) makes the implicit contradiction of the diagonal element explicit. Moreover we suggest how diagonal element...

We consider a simple model of higher order, functional computations over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined form a lattice when ordered by the extensional collapse situation relation, introduced in order to compare models with respect to the amount of “intensional...