Constructing probabilistic ATMS using extended incidence calculus

This paper discusses the relations between extended incidence calculus and assumption-based truth maintenance systems (ATMSs). We first prove that managing labels for statements (nodes) in an ATMS is equivalent to producing incidence sets of these statements in extended incidence calculus. We then demonstrate that the justification set for a node is functionally equivalent to the implication relation set for the same node in extended incidence calculus. As a consequence, extended incidence calculus can provide justifications for an ATMS, because implication relation sets are discovered by the system automatically. We also show that extended incidence calculus provides a theoretical basis for constructing a probabilistic ATMS by associating proper probability distributions on assumptions. In this way, we can not only produce labels for all nodes in the system, but also calculate the probability of any of such nodes in it. The nogood environments can also be obtained automatically. Therefore, extended incidence calculus and the ATMS are equivalent in carrying out inferences at both the symbolic level and the numerical level. This extends a result due to Laskey and Lehner.

El concepto de “posesión común originaria” en la doctrina kantiana de la propiedad

Los primeros parágrafos de la sección “El derecho privado” (§§ 1-17) de la Doctrina del derecho de Kant incluyen el conjunto de los elementos sistemáticos que conciernen a la justificación de los derechos relativos a la propiedad. El propósito central de este trabajo es analizar la función sistemática del concepto de “posesión común originaria” en la doctrina kantiana de la propiedad, con especial interés en el sentido novedoso que adquiere ese concepto —que pertenecía a la tradición del derecho natural— en su reformulación como un “concepto práctico de la razón, que contiene a priori, el principio según el cual tan solo los hombres pueden hacer uso del lugar sobre la tierra siguiendo leyes jurídicas” (RL, 262).

An analysis of geometric uncertainty calculations for prostate radiotherapy in clinical practice.

Margins are used in radiotherapy to assist in the calculation of planning target volumes. These margins can be determined by analysing the geometric uncertainties inherent to the radiotherapy planning and delivery process. An important part of this process is the study of electronic portal images collected throughout the course of treatment. Set-up uncertainties were determined for prostate radiotherapy treatments at our previous site and the new purpose-built centre, with margins determined using a number of different methods. In addition, the potential effect of reducing the action level from 5 mm to 3 mm for changing a patient set-up, based on off-line bony anatomy-based portal image analysis, was studied. Margins generated using different methodologies were comparable. It was found that set-up errors were reduced following relocation to the new centre. Although a significant increase in the number of corrections to a patient's set-up was predicted if the action level was reduced from 5 mm to 3 mm, minimal reduction in patient set-up uncertainties would be seen as a consequence. Prescriptive geometric uncertainty analysis not only supports calculation and justification of the margins used clinically to generate planning target volumes, but may also best be used to monitor trends in clinical practice or audit changes introduced by new equipment, technology or practice. Simulations on existing data showed that a 3 mm rather than a 5 mm action level during off-line, bony anatomy-based portal imaging would have had a minimal benefit for the patients studied in this work.

The push and pull between religion and ethnicity: The case of loyalists in Northern Ireland

This paper uses a case study of a largely religiously non-practising group, working class loyalists in Northern Ireland, to explore the relationship between religion and ethnicity in divided societies. It finds that loyalists often turn to religion habitually in times of insecurity to provide justification for conflict. But religion does not just prop up deeper ethnic identities. Religion has meaning and content itself that is sometimes tension with oppositional ethnic identities and, in some cases, can transform them totally. This produces a complex set of relationships in which religion and ethnicity push and pull against one another in the lives of individuals, neither dominating fully over the other.

Zur kognitiven Konstruktion von (Un-)Gerechtigkeit militärischer Gewalt: Die moralische Beurteilung des Kosovo-Kriegs

With reference to the Kosovo war, we examined how the (un-)justness of military intervention is cognitively constructed. Four types of reinterpretation were hypothesized to relate to positive evaluation of the intervention: minimisation of negative consequences of NATO's intervention, denial of responsibility of the Western countries for the war, blame of Yugoslavia, and justification of the intervention through positive motives. As determinants of evaluation of the war, belief in a just world, militarism-pacifism, authoritarianism, and diffuse political support were taken into account. Hypotheses were tested with 165 university students using structural equation modelling. Consistent with our assumptions, the four types of reinterpretation related strongly to positive evaluation of the intervention, showing their relevance with regard to military intervention. Further, the assessed political attitudes influenced evaluation of the war while, contrary to predictions, belief in a just world did not. The causal status of the reinterpretations and the interplay of belief in a just world and political attitudes are discussed.

Mandated prevention in child welfare: Considerations from a framework shaping ethical inquiry

Summary: This article outlines a framework for approaching ethical dilemmas arising from the development, evaluation and implementation of child welfare policies. As such, it is relevant to policy-makers, social researchers and social workers. The central tenets of the framework are developed by drawing on ideas from moral philosophy and critical social theory. These ideas are presented as axioms, theorems and corollaries, a format which has been employed in the social sciences to offer a rational justification for a set of claims. • Findings: This process of reasoning leads to four principle axioms that are seen to shape the ethical scrutiny of social policy: 1) problematizing knowledge; 2) utilizing structured forms of inquiry to enhance understanding; 3) engendering enabling communication with those affected by the ethical concern; and 4) enhancing self-awareness. • Applications: The four axioms are then applied, by way of example, to the current and contentious, 'third way' policy of mandated prevention in child welfare, where the aim is to obviate deleterious outcomes in later life. It is argued that the framework can be applied beyond this specific concern to other pressing, ethical challenges in child welfare.

Intertidal molluscan and algal species richness around the UK coast

Geographically referenced databases of species records are becoming increasingly available. Doubts over the heterogeneous quality of the underlying data may restrict analyses of such collated databases. We partitioned the spatial variation in species richness of littoral algae and molluscs from the UK National Biodiversity Network database into a smoothed mesoscale component and a local component. Trend surface analysis (TSA) was used to define the mesoscale patterns of species richness, leaving a local residual component that lacked spatial autocorrelation. The analysis was based on 10 km grid squares with 115035 records of littoral algae (729 species) and 66879 records of littoral molluscs (569 species). The TSA identified variation in algal and molluscan species richness with a characteristic length scale of approximately 120 km. Locations of the most species-rich grid squares were consistent with the southern and western bias of species richness in the UK marine flora and fauna. The TSA also identified areas which showed significant changes in the spatial pattern of species richness: breakpoints, which correspond to major headlands along the south coast of England. Patterns of algal and molluscan species richness were broadly congruent. Residual variability was strongly influenced by proxies of collection effort, but local environmental variables including length of the coastline and variability in wave exposure were also important. Relative to the underlying trend, local species richness hotspots occurred on all coasts. While there is some justification for scepticism in analyses of heterogeneous datasets, our results indicate that the analysis of collated datasets can be informative.

Religion, Human Rights, Equality and the Public Sphere

This article distinguishes three different conceptions of the relationship between religion and the public sphere. The reconciliation of these different aspects of freedom of religion can be seen to give rise to considerable difficulties in practice, and the legal and political systems of several Western European countries are struggling to cope. Four recurring issues that arise in this context are identified and considered: what is a 'religion' and what are 'religious' beliefs and practices for the purposes of the protection of 'freedom of religion', together with the closely related issue of who decides these questions; what justification there is for a provision guaranteeing freedom of religion at all; which manifestations of religious association are so unacceptable as to take the association outside the protection of freedom of religion altogether; and what weight should be given to freedom of religion when this freedom stands opposed to other values. It is argued that the scope and meaning of human rights in this context is anything but settled and that this gives an opportunity to those who support a role for religion in public life to intervene.

A virtual inspection framework for precision manufacturing of aerofoil components

The finite element method plays an extremely important role in forging process design as it provides a valid means to quantify forging errors and thereby govern die shape modification to improve the dimensional accuracy of the component. However, this dependency on process simulation could raise significant problems and present a major drawback if the finite element simulation results were inaccurate. This paper presents a novel approach to assess the dimensional accuracy and shape quality of aeroengine blades formed from finite element hot-forging simulation. The proposed virtual inspection system uses conventional algorithms adopted by modern coordinate measurement processes as well as the latest free-form surface evaluation techniques to provide a robust framework for virtual forging error assessment. Established techniques for the physical registration of real components have been adapted to localise virtual models in relation to a nominal Design Coordinate System. Blades are then automatically analysed using a series of intelligent routines to generate measurement data and compute dimensional errors. The results of a comparison study indicate that the virtual inspection results and actual coordinate measurement data are highly comparable, validating the approach as an effective and accurate means to quantify forging error in a virtual environment. Consequently, this provides adequate justification for the implementation of the virtual inspection system in the virtual process design, modelling and validation of forged aeroengine blades in industry.

A normative approach to the criminalisation of cartel activity

Although cartel behaviour is almost universally (and rightly) condemned, it is not clear why cartel participants deserve the full wrath of the criminal law and its associated punishment. To fill this void, I develop a normative (or principled) justification for the criminalisation of conduct characteristic of ‘hard core’ cartels. The paper opens with a brief consideration of the rhetoric commonly used to denounce cartel activity, eg that it ‘steals from’ or ‘robs’ consumers. To put the discussion in context, a brief definition of ‘hard core’ cartel behaviour is provided and the harms associated with this activity are identified. These are: welfare losses in the form of appropriation (from consumer to producer) of consumer surplus, the creation of deadweight loss to the economy, the creation of productive inefficiency (hindering innovation of both products and processes), and the creation of so-called X-inefficiency. As not all activities which cause harm ought to be criminalised, a theory as to why certain harms in a liberal society can be criminalised is developed. It is based on JS Mill's harm to others principle (as refined by Feinberg) and on a choice of social institutions using Rawls's ‘veil of ignorance.’ The theory is centred on the value of individual choice in securing one's own well-being, with the market as an indispensable instrument for this. But as applied to the harm associated with cartel conduct, this theory shows that none of the earlier mentioned problems associated with this activity provide sufficient justification for criminalisation. However, as the harm from hard core cartel activity strikes at an important institution which permits an individual's ability to secure their own well-being in a liberal society, criminalisation of hard core cartel behaviour can have its normative justification on this basis.

Regularized Online Mixture of Gaussians for Background Subtraction

Mixture of Gaussians (MoG) modelling [13] is a popular approach to background subtraction in video sequences. Although the algorithm shows good empirical performance, it lacks theoretical justification. In this paper, we give a justification for it from an online stochastic expectation maximization (EM) viewpoint and extend it to a general framework of regularized online classification EM for MoG with guaranteed convergence. By choosing a special regularization function, l1 norm, we derived a new set of updating equations for l1 regularized online MoG. It is shown empirically that l1 regularized online MoG converge faster than the original online MoG .

Corporate Governance as a School of Social Reform

In this paper, I present a vision of the corporation as a moral person. I point to “the separation of ownership and control” as a moment when the corporation broke away from the moral lives of ownermanagers. I then draw out the manner in which we can speak of the company as a moral person. Finally, through a discussion of social reporting in two British banks, I point to a shift in how this moral personhood is articulated, with the rise of corporate governance—or doing business well—as its own foundation of corporate responsibility. I propose a view of corporate responsibility as a “transmission mechanism” for the company’s role in moral life, situated in the broader social conception of “moral economy.” This viewpoint sets out landscapes of legitimation and justification through which the ties that underpin economic life are founded

Diagnosing diabetes mellitus - Do we need new criteria?

The current classification and diagnostic criteria for diabetes mellitus were introduced by the United States National Data Group in 1979 and endorsed by the World Health Organization in 1980, with modifications in 1985 and 1994. The criteria, chosen to reflect the risk of complications, were the synthesis of considerable thought and expertise and represented a consensus which, it was hoped, would prove helpful to all those involved with diabetes practising clinician, research scientist and epidemiologist alike. The inconvenience, variability and nonphysiological nature of the oral glucose tolerance test (OGTT) are well-recognised. In spite of these limitations the 2-h post-load plasma glucose has remained the standard against which all other tests have been evaluated. This article reviews the original justification for the OGTT, and in the light of more recent epidemiological research seeks to place the current diagnostic criteria for diabetes into a pathophysiological, diagnostic and prognostic perspective.

Landmark Cases in Property Law

This book explores the development of basic principles of property law in leading cases. Each paper considers a case on land, personal property or intangibles, discussing what that case contributes to the dominant themes of property jurisprudence - how are property rights acquired? What is the content of property rights? What are the limits or boundaries of property? How are property rights extinguished? Individually and collectively, the papers identify a number of important themes for the doctrinal development of property institutions and their broader justification. These themes include: the obscure and incremental development of seemingly foundational principles, the role of instrumentalism in property reasoning, the influence of the law of tort on the scope of property doctrines, and the impact of Roman legal reasoning on the common law of property. One or more of these themes (and others) is revealed through careful case analysis in each paper and they are collected and critically explored in the editors' introduction. This makes for a coherent and provocative collection.

Suspected giant cell arteritis:A study of referrals for temporal artery biopsy

Background: The purpose of this study is to describe the nature of cases undergoing temporal artery biopsy (TAB) for suspected giant cell arteritis (GCA). Methods: A retrospective review of case notes was undertaken for all patients on whom ophthalmologists had performed TAB in 2 teaching hospitals between 1995 and 2001. Presenting symptoms, referring specialty, TAB result, treatment, and discharge diagnosis were recorded. Results: Ophthalmologists performed TAB on 110 patients for suspected GCA. A variety of specialties referred patients to ophthalmology for TAB; presenting symptoms varied with referral source. Of the 110 TABs, 21 (19%) were reported as positive for GCA, 84 (76%) were negative, and 5 (4.5%) were reported as inadequate. The symptoms most commonly associated with a positive TAB were visual disturbance (15/21) and headache (15/21).The odds ratios for having a positive TAB result rather than a negative result were 1.0 for the presence of headache, 4.1 for visual disturbance, and 6.7 for jaw claudication. Interpretation: Physicians were faced with a different population of GCA suspects than ophthalmologists. While physicians should be alert to the significance of visual symptoms or jaw claudication, ophthalmologists should be ready to facilitate prompt TABs when appropriate. TAB should be performed promptly and an adequate length of artery taken for biopsy. An argument can be made that TAB is not needed in cases of suspected GCA. However, a positive result provides firm justification for the use of steroids. We feel that TAB has a useful role and we make reference to methods to maximize its usefulness.