tts: A SAT-Solver for Small, Difficult Instances

The Ternary Tree Solver (tts) is a complete solver for propositional satisfiability which was designed to have good performance on the most difficult small instances. It uses a static ternary tree data structure to represent the simplified proposition under all permissible partial assignments and maintains a database of derived propositions known to be unsatisfiable. In the SAT2007 competition version 4.0 won the silver medal for the category handmade, speciality UNSAT solvers and was the top qualifier for the second stage for handmade benchmarks, solving 11 benchmarks which were not solved by any other entrant. We describe the methods used by the solver and analyse the competition Phase 1 results on small benchmarks. We propose a first version of a comprehensive suite of small difficult satisfiability benchmarks (sdsb) and compare the worst-case performance of the competition medallists on these benchmarks.

The Impact of Disrespect on Prisoners’ Aggression: Outcomes of Experimentally Inducing Violence Supportive Cognitions

Self-report research suggests that much violence is triggered by perceived insults and disrespect. This may be particularly true in the context of a prison or another environment of acute deprivation, whereby individuals have little other recourse to means of reputation enhancement. This paper presents the findings of two studies conducted with prisoner volunteers inside a Category C (minimum security) prison in England. In the first study, the authors randomly assigned a sample of 89 prisoners to one of two conditions: the experimental group were asked to discuss times they have been disrespected by authority figures inside and outside the prison; the control group were asked more neutral questions. Both groups then completed several measures of cognitive beliefs, distortions, and hostile attribution biases. None of the measures differed across the two groups except the measure of excuse and justification acceptance. Controlling for other factors, the experimental group endorsed these rationalisations at a significantly higher rate than the control group. This finding suggests that raising the salience of disrespect - reminding prisoners of times they have been made to feel unworthy of consideration - may raise the risk that prisoners will engage in violence by providing prisoners with justifications or excuses for actions they might not otherwise endorse. These findings received some additional validation in the second study, a qualitative analysis of offender accounts of violence and aggression within the prison. Implications for reducing violence within prisons are discussed.

Assisted Diagnosis of Cervical Intraepithelial Neoplasia (CIN)

This paper introduces an automated computer- assisted system for the diagnosis of cervical intraepithelial neoplasia (CIN) using ultra-large cervical histological digital slides. The system contains two parts: the segmentation of squamous epithelium and the diagnosis of CIN. For the segmentation, to reduce processing time, a multiresolution method is developed. The squamous epithelium layer is first segmented at a low (2X) resolution. The boundaries are further fine tuned at a higher (20X) resolution. The block-based segmentation method uses robust texture feature vectors in combination with support vector machines (SVMs) to perform classification. Medical rules are finally applied. In testing, segmentation using 31 digital slides achieves 94.25% accuracy. For the diagnosis of CIN, changes in nuclei structure and morphology along lines perpendicular to the main axis of the squamous epithelium are quantified and classified. Using multi-category SVM, perpendicular lines are classified into Normal, CIN I, CIN II, and CIN III. The robustness of the system in term of regional diagnosis is measured against pathologists' diagnoses and inter-observer variability between two pathologists is considered. Initial results suggest that the system has potential as a tool both to assist in pathologists' diagnoses, and in training.

Probabilistic classification of acute myocardial infarction from multiple cardiac markers

Logistic regression and Gaussian mixture model (GMM) classifiers have been trained to estimate the probability of acute myocardial infarction (AMI) in patients based upon the concentrations of a panel of cardiac markers. The panel consists of two new markers, fatty acid binding protein (FABP) and glycogen phosphorylase BB (GPBB), in addition to the traditional cardiac troponin I (cTnI), creatine kinase MB (CKMB) and myoglobin. The effect of using principal component analysis (PCA) and Fisher discriminant analysis (FDA) to preprocess the marker concentrations was also investigated. The need for classifiers to give an accurate estimate of the probability of AMI is argued and three categories of performance measure are described, namely discriminatory ability, sharpness, and reliability. Numerical performance measures for each category are given and applied. The optimum classifier, based solely upon the samples take on admission, was the logistic regression classifier using FDA preprocessing. This gave an accuracy of 0.85 (95% confidence interval: 0.78-0.91) and a normalised Brier score of 0.89. When samples at both admission and a further time, 1-6 h later, were included, the performance increased significantly, showing that logistic regression classifiers can indeed use the information from the five cardiac markers to accurately and reliably estimate the probability AMI. © Springer-Verlag London Limited 2008.

What are you looking at?: Prisoner Confrontations and the Search for Respect

This article examines the occurrence of fights, assaults, arguments and threats of violence between adult male prisoners in an English category C prison. The self-narratives of 40 men are analysed to investigate whether some prisoners engage in more confrontations than others due to a psychological need to protect their identity. The findings indicate that how an individual understands and constructs their self-narrative can influence their involvement in aggressive behaviour. Implications for interventions attempting to reduce aggression are explored.

Disaggregating conservative Protestant groups in Northern Ireland: Overlapping categories and the importance of a born-again self-identification

Rather than treating conservative Protestantism as a homogenous phenomenon, recent literature has underlined the importance of disaggregating this group to illuminate important attitudinal and behavioral differences between conservative Protestants. However, the methods used to empirically operationalize conservative Protestantism have not always been able to capture variations within the groupings. Based on analysis of the 2004 Northern Ireland Life and Times Survey, we argue that religious self-identification is a more useful way of analyzing conservative Protestant subgroups than denomination or religious belief. We show that many of these identifications are overlapping, rather than stand-alone, religious group identifications. Moreover, the identification category of born-again has seldom been included in surveys. We find having a born-again identification to be a better predictor than the more frequently asked fundamentalist and evangelical categories of the religious and social beliefs that are seen as indicative of conservative Protestantism.

Birthweight and the risk of childhood-onset type 1 diabetes: a meta-analysis of observational studies using individual patient data

Aims/hypothesis: We investigated whether children who are heavier at birth have an increased risk of type 1 diabetes. Methods: Relevant studies published before February 2009 were identified from literature searches using MEDLINE, Web of Science and EMBASE. Authors of all studies containing relevant data were contacted and asked to provide individual patient data or conduct pre-specified analyses. Risk estimates of type 1 diabetes by category of birthweight were calculated for each study, before and after adjustment for potential confounders. Meta-analysis techniques were then used to derive combined ORs and investigate heterogeneity between studies. Results: Data were available for 29 predominantly European studies (five cohort, 24 case-control studies), including 12,807 cases of type 1 diabetes. Overall, studies consistently demonstrated that children with birthweight from 3.5 to 4 kg had an increased risk of diabetes of 6% (OR 1.06 [95% CI 1.01-1.11]; p=0.02) and children with birthweight over 4 kg had an increased risk of 10% (OR 1.10 [95% CI 1.04-1.19]; p=0.003), compared with children weighing 3.0 to 3.5 kg at birth. This corresponded to a linear increase in diabetes risk of 3% per 500 g increase in birthweight (OR 1.03 [95% CI 1.00-1.06]; p=0.03). Adjustments for potential confounders such as gestational age, maternal age, birth order, Caesarean section, breastfeeding and maternal diabetes had little effect on these findings. Conclusions/interpretation: Children who are heavier at birth have a significant and consistent, but relatively small increase in risk of type 1 diabetes. © 2010 Springer-Verlag.


--------------------------------------------------------------------------------

Reaxys Database Information|

--------------------------------------------------------------------------------

Molecular biology: the key to personalised treatment in radiation oncology?

We know considerably more about what makes cells and tissues resistant or sensitive to radiation than we did 20 years ago. Novel techniques in molecular biology have made a major contribution to our understanding at the level of signalling pathways. Before the “New Biology” era, radioresponsiveness was defined in terms of physiological parameters designated as the five Rs. These are: repair, repopulation, reassortment, reoxygenation and radiosensitivity. Of these, only the role of hypoxia proved to be a robust predictive and prognostic marker, but radiotherapy regimens were nonetheless modified in terms of dose per fraction, fraction size and overall time, in ways that persist in clinical practice today. The first molecular techniques were applied to radiobiology about two decades ago and soon revealed the existence of genes/proteins that respond to and influence the cellular outcome of irradiation. The subsequent development of screening techniques using microarray technology has since revealed that a very large number of genes fall into this category. We can now obtain an adequately robust molecular signature, predicting for a radioresponsive phenotype using gene expression and proteomic approaches. In parallel with these developments, functional magnetic resonance imaging (fMRI) and positron emission tomography (PET) can now detect specific biological molecules such as haemoglobin and glucose, so revealing a 3D map of tumour blood flow and metabolism. The key to personalised radiotherapy will be to extend this capability to the proteins of the molecular signature that determine radiosensitivity.

Critical reading of science-based news reports: Establishing a knowledge skills and attitudes framework

A recognised aim of science education is to promote critical engagement with science in the media. Evidence would suggest that this is challenging for both teachers and pupils and that at science education does not yet adequately prepare young people for this task. Furthermore, in the absence of clear guidance as to what this means and how this may be achieved it is difficult for teachers to develop approaches and resources that address the matter and that systematically promote such critical engagement within their teaching programmes. Twenty-six individuals with recognised expertise or interest in science in the media, drawn from a range of disciplines and areas of practice, constituted a specialist panel in this study. The question this research sought to answer was ‘what are the elements of knowledge, skill and attitude which underpin critical reading of science based news reports’? During in-depth individual interviews the panel were asked to explore what they considered to be essential elements of knowledge, skills and attitude which people need to enable them to respond critically to news reports with a science component. Analysis of the data revealed fourteen fundamental elements which together contribute to an individual’s capacity to engage critically with science-based news. These are classified in five categories ‘knowledge of science’, ‘knowledge of writing and language’, ‘knowledge about news, newspapers and journalism’, ‘skills’ and ‘attitudes’. Illustrative profiles of each category along with indicators of critical engagement are presented. The implications for curriculum planning and pedagogy are considered.

The Fraternity of Metaphors: Jean-Luc Godard's Film Socialisme

Since the 'completion' of Histoire(s) du cinema (1988-1998), Jean-Luc Godard's work has become increasingly mosaic-like in its forms and configurations, and markedly elegiac in its ruminations on history, cinema, art, and thought. While his associative aesthetic and citational method –including his choice of ‘actors’, and the fragmentariness of his ‘soundtracks’ – can combine to create a distinctive cinematic event, the films themselves refuse to cohere around a unifying concern, or yield to a thematic schema. Not surprisingly, Film Socialisme does not offer us the illusion of narrative or structural integrity anymore than it contributes to the quotidian rhetoric of political and moral argument. It is, however, a political film in the sense that it alters something more fundamental than opinions and points of view. It transforms a way of seeing and understanding reality and history, fiction and documentary, images, and images of images. If anything, it belongs to that dissident or ‘dissensual’ category of artwork capable of ‘emancipating the spectator’ by disturbing what Jacques Rancière terms ‘the distribution of the sensible’ in that it generates gaps, openings, and spaces, poses questions, invites associations without positing a fixed position, imposing an interpretation, or allowing itself to invest in the illusion of expressive objectivity and the stability of meaning. The myriad citations and fragments that comprise the film are never intended to culminate into anything cohesive, never mind conclusive. In one sense, they have no source and no context beyond their moment in the film itself, and what we make of that moment. This article studies the degree to which Godard allows these images and sounds to combine and collide, associate and dissolve in this film, arguing that Film Socialisme is both an important intervention in the history of contemporary cinema, and necessary point of reference in any serious discussion of the relations between that cinema and political reality.

Stigma and multiple social comparisons in people with schizophrenia

This paper investigates social comparisons in people with schizophrenia. Stigma theories often suggest that people with stigmatized conditions face a chronic threat to self-esteem and that they respond to this in a variety of ways, one of which is by using ingroup downward comparisons. We analysed the spontaneous social comparisons used by, participants in semi-structured interviews. A wide range of comparison dimensions, target others, and groupings were used, most of which did not represent a category of people with schizophrenia in more negative terms than those without the illness. Participants presented themselves positively, referring to downward and lateral comparisons more often than upward comparisons. In addition, although downward comparisons did refer to people with schizophrenia, they were more likely to refer to others who did not have schizophrenia, and to dimensions which were not related to mental illness. It is suggested that investigations of the relations between stigma and self need to take account of the multiple identities and dimensions of comparisons available to people for construing themselves and the social context. Copyright (C) 2001 John Wiley & Sons, Ltd.

Social categorizations, social comparisons and stigma: Presentations of self in people with learning difficulties

Self-categorization theory stresses the importance of the context in which the metacontrast principle is proposed to operate. This study is concerned with how 'the pool of psychologically relevant stimuli' (Turner, Hogg, Oakes, Reicher & Wetherell, 1987, p. 47) comprising the context is determined. Data from interviews with 33 people with learning difficulties were used to show how a positive sense of self might be constructed by members of a stigmatized social category through the social worlds that they describe, and therefore the social comparisons and categorizations that are made possible. Participants made downward comparisons which focused on people with learning difficulties who were less able or who displayed challenging behaviour, and with people who did not have learning difficulties but who, according to the participants, behaved badly, such as beggars, drunks and thieves. By selection of dimensions and comparison others, a positive sense of self and a particular set of social categorizations were presented. It is suggested that when using self-categorization theory to study real-world social categories, more attention needs to be paid to the involvement of the perceiver in determining which stimuli are psychologically relevant since this is a crucial determinant of category salience.

Per una genealogia della giustizia penale internazionale: ambiguita' e paradossi

This article aims to consider the role for a critical criminology outside the national dimension, highlighting its continuities with studies in the critical tradition which have suggested the need to address State criminality and criminogenic structures more in general, but also suggesting a critique of international criminal law as a governmentality project.It reconstructs the genealogy of the international criminal justice system, following on from Schmitt and other well known authors, but it focuses in specific on its paradoxes, contradictions and ambiguities rather than its purely political effect. The authors argue that critical criminologists should engage with the international dimension of crime and control and approach this venture of a international criminal justice system as the possibility of “telling the truth” about State atrocities without missing on using strategically the category of human rights and law to bring to the fore minoritarian interests which are
usually denied by power discourses and economic forces.

Tensor products of operator systems

The purpose of the present paper is to lay the foundations for a systematic study of tensor products of operator systems. After giving an axiomatic definition of tensor products in this category, we examine in detail several particular examples of tensor products, including a minimal, maximal, maximal commuting, maximal injective and some asymmetric tensor products. We characterize these tensor products in terms of their universal properties and give descriptions of their positive cones. We also characterize the corresponding tensor products of operator spaces induced by a certain canonical inclusion of an operator space into an operator system. We examine notions of nuclearity for our tensor products which, on the category of C*-algebras, reduce to the classical notion. We exhibit an operator system S which is not completely order isomorphic to a C*-algebra yet has the property that for every C*-algebra A, the minimal and maximal tensor product of S and A are equal.