Modal Logics of Topological Relations

Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the Egenhofer-Franzosa (or RCC8) relations between regions in topological spaces such as the real plane. We investigate the expressive power and computational complexity of logics obtained in this way. It turns out that our modal logics have the same expressive power as the two-variable fragment of first-order logic, but are exponentially less succinct. The complexity ranges from (undecidable and) recursively enumerable to highly undecidable, where the recursively enumerable logics are obtained by considering substructures of structures induced by topological spaces. As our undecidability results also capture logics based on the real line, they improve upon undecidability results for interval temporal logics by Halpern and Shoham. We also analyze modal logics based on the five RCC5 relations, with similar results regarding the expressive power, but weaker results regarding the complexity

Analysis of uncertainty in health care cost-effectiveness studies: an introduction to statistical issues and methods

Cost-effectiveness analysis is now an integral part of health technology assessment and addresses the question of whether a new treatment or other health care program offers good value for money. In this paper we introduce the basic framework for decision making with cost-effectiveness data and then review recent developments in statistical methods for analysis of uncertainty when cost-effectiveness estimates are based on observed data from a clinical trial. Although much research has focused on methods for calculating confidence intervals for cost-effectiveness ratios using bootstrapping or Fieller’s method, these calculations can be problematic with a ratio-based statistic where numerator and=or denominator can be zero. We advocate plotting the joint density of cost and effect differences, together with cumulative density plots known as cost-effectiveness acceptability curves (CEACs) to summarize the overall value-for-money of interventions. We also outline the net-benefit formulation of the cost-effectiveness problem and show that it has particular advantages over the standard incremental cost-effectiveness ratio formulation

Search for lepton flavor violating decays of a heavy neutral particle in p-pbar collisions at root(s)=1.8 TeV

We report on a search for a high mass, narrow width particle that decays directly to e+mu, e+tau, or mu+tau. We use approximately 110 pb^-1 of data collected with the Collider Detector at Fermilab from 1992 to 1995. No evidence of lepton flavor violating decays is found. Limits are set on the production and decay of sneutrinos with R-parity violating interactions.Comment: Figure 2 fixed. Reference 4 fixed. Minor changes to tex

Lifting the lid: a clinical audit on commode cleaning

Many healthcare-associated infections (HCAIs) are preventable by infection control procedures designed to interrupt the transmission of organisms from a source. Commodes are in use constantly throughout healthcare facilities. Therefore commode surfaces are constantly handled, and any pathogens present have the potential to be transferred to not only other surfaces but also, more importantly, to patients, thus compromising patient safety. In order to examine the effectiveness and thoroughness of cleaning commodes an audit was undertaken to assess compliance with evidence-based practice. This audit demonstrates a cycle which includes defining best practice, implementing best practice, monitoring best practice and taking action to improve practice. The audit results confirmed an issue that the authors had long suspected. That is, that commodes allocated to individual patients are not always cleaned after every use. Using adenosine triphosphate (ATP) bioluminescence as an indicator of organic soiling also demonstrated that commodes that were considered clean were not always cleaned to a high standard. Implementing the audit recommendations improves staff knowledge through education, standardises cleaning procedures and ultimately improves patient safety

The Right Place at the Right Time: Creative Spaces in Libraries

Purpose This essay explores the recent trend in libraries: that of the establishment of spaces specifically set aside for creative work. The rise of these dedicated creative spaces is owed to a confluence of factors that happen to be finding their expression together in recent years. This essay examines the history of these spaces and explores the factors that gave rise to them and will fuel them moving forward. Design/Methodology/Approach A viewpoint piece, this essay combines historical research and historical/comparative analyses to examine the ways by which libraries have supported creative work in the past and how they may continue to do so into the 21st century. Findings The key threads brought together include a societal recognition of the value of creativity and related skills and attributes; the philosophies, values, and missions of libraries in both their longstanding forms and in recent evolutions; the rise of participatory culture as a result of inexpensive technologies; improved means to build community and share results of efforts; and library experience and historical practice in matters related to creativity. The chapter concludes with advice for those interested in the establishment of such spaces, grounding those reflections in the author’s experiences in developing a new creative space at Virginia Commonwealth University. Originality/value While a number of pieces have been written that discuss the practicalities of developing certain kinds of creative spaces, very little has been written that situates these spaces in larger social and library professional contexts; this essay begins to fill that gap

Grouping practices in the primary school: what influences change?

During the 1990s, there was considerable emphasis on promoting particular kinds of pupil grouping as a means of raising educational standards. This survey of 2000 primary schools explored the extent to which schools had changed their grouping practices in responses to this, the nature of the changes made and the reasons for those changes. Forty eight percent of responding schools reported that they had made no change. Twenty two percent reported changes because of the literacy hour, 2% because of the numeracy hour, 7% because of a combination of these and 21% for other reasons. Important influences on decisions about the types of grouping adopted were related to pupil learning and differentiation, teaching, the implementation of the national literacy strategy, practical issues and school self-evaluation

The Rise of the Crime Victim and Punitive Policies? Changes to the Legal Regulation of Intimate Partner Violence in Finland

This article examines intimate partnership violence as a question of criminal justice policy in Finland, and contributes to criminological discussions regarding oft-stated connections between the politicization of the victim, the treatment of offenders, and repressive criminal justice policies. In this discussion, legislation aiming to regulate and prevent violence against women has often been utilized as an example of such punitive policies. Although criminal policies in Nordic countries differ significantly from more punitive Anglophone policies, punitive tendencies have argued to exist in the former too. This article analyses the change in legal regulations and the criminal political status of intimate partner violence in Finland between 1990 and 2004, while examining the juxtaposition of victims and offenders alongside repressive demands