We consider stability concepts for random matchings where agents have preferences over objects and objects have priorities for the agents. When matchings are deterministic, the standard stability concept also captures the fairness property of no (justified) envy. When matchings can be random, there are a number of natural stability / fairness concepts that coincide with stability / no envy when...

Tarski showed that mathematics can be built up in the equational theory EqRA of relation algebras (RA's), hence EqRA is undecidable. He raised the problem "how much associativity of relation composition is needed for this result." Maddux defined the classes NA 3 WA "J SA D RA by gradually weakening the associativity of relation composition, and he proved that the equational theory of SA is stil...

We might visualize a semiotic system that depended, in the absence of the power of speech,, upon the ~pperception by the hu.m,an participants o-f contextually defined logical relations among themselves in space. Let us say: the relative position of each participant to another -in a gathering, and to items in· a fixed environment. The 'elements' of the semiotic would be stated by their existenti...

This paper presents the progicnet programme. It proposes a general framework for probabilistic logic that can guide inference based on both logical and probabilistic input, and it introduces a common calculus for making inferences in the framework. After an introduction to the programme as such, it is illustrated by means of a toy example from psychometrics. It is shown that the framework and c...

Illicit transnational flows of goods, money, information, and people – the clandestine side of globalization – have become a growing source of tension and conflict in world politics. Nevertheless, the illicit dimensions of the global economy are largely overlooked in the international political economy (IPE) literature.1 This is evident by surveying the major textbooks, readers, and journals in...

Patients diagnosed with bladder cancer may require a urinary diversion to maximize their health care outcomes. These patients, faced with sudden changes in their health status, develop complex unmet needs that can be addressed by a planned program of education. Peplau's theory of interpersonal relations offers a framework for patient teaching that emphasizes the importance of the nurse-patient ...

We construct a model for FPC, a purely functional, sequential, call-by-value language. The model is built from partial continuous functions, in the style of Plotkin, further constrained to be uniform with respect to a class of logical relations. We prove that the model is fully abstract.

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...