Multi-threading a state-of-the-art maximum clique algorithm

We present a threaded parallel adaptation of a state-of-the-art maximum clique algorithm for dense, computationally challenging graphs. We show that near-linear speedups are achievable in practice and that superlinear speedups are common. We include results for several previously unsolved benchmark problems

Changing assessment practice in engineering: how can understanding lecturer perspectives help?

Assessment in engineering disciplines is typically oriented to demonstrating competence in specific tasks. Even where assessments are intended to have a formative component, little priority may be given to feedback. Engineering departments are often criticized, by their students and by external quality reviewers, for paying insufficient attention to formative assessment. The e3an project set out to build a question bank of peer-reviewed questions for use within electrical and electronic engineering. As a part of this process, a number of engineers from disparate institutions were required to work together in teams, designing a range of assessments for their subject specialisms. The project team observed that lecturers were especially keen to develop formative assessment but that their understanding of what might be required varied considerably. This paper describes the various ways in which the processes of the project have engaged lecturers in actively identifying and developing their conceptions of teaching, learning and assessment in their subject. It reports on an interview study that was conducted with a selection of participants. It is concluded that lecturers' reflections on and understanding of assessment are closely related to the nature of the subject domain and that it is essential when attempting to improve assessment practice to start from the perspective of lecturers in the discipline

A model of hyphal tip growth involving microtubule-based transport

We propose a simple model for mass transport within a fungal hypha and its subsequent growth. Inspired by the role of microtubule-transported vesicles, we embody the internal dynamics of mass inside a hypha with mutually excluding particles progressing stochastically along a growing one-dimensional lattice. The connection between long range transport of materials for growth, and the resulting extension of the hyphal tip has not previously been addressed in the modelling literature. We derive and analyse mean-field equations for the model and present a phase diagram of its steady state behaviour, which we compare to simulations. We discuss our results in the context of the filamentous fungus, Neurospora crassa.Comment: 5 pages, 5 figure

A constraint programming approach to the hospitals/residents problem

An instance I of the Hospitals/Residents problem (HR) involves a set of residents (graduating medical students) and a set of hospitals, where each hospital has a given capacity. The residents have preferences for the hospitals, as do hospitals for residents. A solution of I is a <i>stable matching</i>, which is an assignment of residents to hospitals that respects the capacity conditions and preference lists in a precise way. In this paper we present constraint encodings for HR that give rise to important structural properties. We also present a computational study using both randomly-generated and real-world instances. We provide additional motivation for our models by indicating how side constraints can be added easily in order to solve hard variants of HR

Assessing the effects of the first 2 years of industry-led badger culling in England on the incidence of bovine tuberculosis in cattle in 2013–2015

Culling badgers to control the transmission of bovine tuberculosis (TB) between this wildlife reservoir and cattle has been widely debated. Industry-led culling began in Somerset and Gloucestershire between August and November 2013 to reduce local badger populations. Industry-led culling is not designed to be a randomised and controlled trial of the impact of culling on cattle incidence. Nevertheless, it is important to monitor the effects of the culling and, taking the study limitations into account, perform a cautious evaluation of the impacts. A standardised method for selecting areas matched to culling areas in factors found to affect cattle TB risk has been developed to evaluate the impact of badger culling on cattle TB incidence. The association between cattle TB incidence and badger culling in the first two years has been assessed. Descriptive analyses without controlling for confounding showed no association between culling and TB incidence for Somerset, or for either of the buffer areas for the first two years since culling began. A weak association was observed in Gloucestershire for Year 1 only. Multivariable analysis adjusting for confounding factors showed that reductions in TB incidence were associated with culling in the first two years in both the Somerset and Gloucestershire intervention areas when compared to areas with no culling (IRR: 0.79, 95%CI: 0.72-0.87, p<0.001 and IRR: 0.42, 95%CI: 0.34-0.51, p<0.001 respectively). An increase in incidence was associated with culling in the 2 km buffer surrounding the Somerset intervention area (IRR: 1.38, 95%CI: 1.09-1.75, p=0.008), but not in Gloucestershire (IRR: 0.91, 95%CI: 0.77-1.07, p=0.243). As only two intervention areas with two years’ of data are available for analysis, and the biological cause-effect relationship behind the statistical associations is difficult to determine, it would be unwise to use these findings to develop generalisable inferences about the effectiveness of the policy at present

Academic achievement : the role of praise in motivating students

The motivation of students is an important issue in higher education, particularly in the context of the increasing diversity of student populations. A social-cognitive perspective assumes motivation to be dynamic, context-sensitive and changeable, thereby rendering it to be a much more differentiated construct than previously understood. This complexity may be perplexing to tutors who are keen to develop applications to improve academic achievement. One application that is within the control of the tutor, at least to some extent, is the use of praise. Using psychological literature the article argues that in motivating students, the tutor is not well served by relying on simplistic and common sense understandings of the construct of praise and that effective applications of praise are mediated by students' goal orientations, which of themselves may be either additive or interactive composites of different objectives and different contexts

Mobility and survival of Salmonella Typhimurium and human adenovirus from spiked sewage sludge applied to soil columns

Aims: This study investigated the survival and transport of sewage sludge-borne pathogenic organisms in soils. Methods and Results: Undisturbed soil cores were treated with Salmonella enterica ssp. enterica serovar Typhimurium-lux (STM-lux) and human adenovirus (HAdV)-spiked sewage sludge. Following an artificial rainfall event, these pathogens were analysed in the leachate and soil sampled from different depths (0-5 cm, 5-10 cm and 10-20 cm) after 24 h, 1 and 2 months. Significantly more STM-lux and HAdV leached through the soil cores when sewage sludge was present. Significantly more STM-lux were found at all soil depths, at all time periods in the sewage sludge treatments, compared to the controls. The rate of decline of STM-lux in the controls was more rapid than in the sewage sludge treatments. Survival and transport of HAdV were minimal. Conclusions: The presence of sewage sludge can significantly influence the transport and survival of bacterial pathogens in soils, probably because of the presence of organic matter. Environmental contamination by virus is unlikely because of strong soil adsorption. Significance and Impact of the Study: This study suggests that groundwater contamination from vertical movement of pathogens is a potential risk and that it highlights the importance of the treatment requirements for biosolids prior to their application to land

Call Me Caitlyn: Making and making over the 'authentic' transgender body in Anglo-American popular culture

A conception of transgender identity as an ‘authentic’ gendered core ‘trapped’ within a mismatched corporeality, and made tangible through corporeal transformations, has attained unprecedented legibility in contemporary Anglo-American media. Whilst pop-cultural articulations of this discourse have received some scholarly attention, the question of why this 'wrong body' paradigm has solidified as the normative explanation for gender transition within the popular media remains underexplored. This paper argues that this discourse has attained cultural pre-eminence through its convergence with a broader media and commercial zeitgeist, in which corporeal alteration and maintenance are perceived as means of accessing one’s ‘authentic’ self. I analyse the media representations of two transgender celebrities: Caitlyn Jenner and Nadia Almada, alongside the reality TV show TRANSform Me, exploring how these women’s gender transitions have been discursively aligned with a cultural imperative for all women, cisgender or trans, to display their authentic femininity through bodily work. This demonstrates how established tropes of authenticity-via-bodily transformation, have enabled transgender to become culturally legible through the wrong body trope. Problematically, I argue, this process has worked to demarcate ideals of ‘acceptable’ transgender subjectivity: self-sufficient, normatively feminine, and eager to embrace the possibilities for happiness and social integration provided by the commercial domain

Investment prioritization based on broadscale spatial budgeting to meet downstream targets for suspended sediment loads

On the basis of a spatially distributed sediment budget across a large basin, costs of achieving certain sediment reduction targets in rivers were estimated. A range of investment prioritization scenarios were tested to identify the most cost-effective strategy to control suspended sediment loads. The scenarios were based on successively introducing more information from the sediment budget. The relationship between spatial heterogeneity of contributing sediment sources on cost effectiveness of prioritization was investigated. Cost effectiveness was shown to increase with sequential introduction of sediment budget terms. The solution which most decreased cost was achieved by including spatial information linking sediment sources to the downstream target location. This solution produced cost curves similar to those derived using a genetic algorithm formulation. Appropriate investment prioritization can offer large cost savings because the magnitude of the costs can vary by several times depending on what type of erosion source or sediment delivery mechanism is targeted. Target settings which only consider the erosion source rates can potentially result in spending more money than random management intervention for achieving downstream targets. Coherent spatial patterns of contributing sediment emerge from the budget model and its many inputs. The heterogeneity in these patterns can be summarized in a succinct form. This summary was shown to be consistent with the cost difference between local and regional prioritization for three of four test catchments. To explain the effect for the fourth catchment, the detail of the individual sediment sources needed to be taken into account