Weakening Cardinality Constraints Creates Harder Satisfiability Benchmarks

For some time, the satisfiability formulae that have been the most difficult to solve for their size have been crafted to be unsatisfiable by the use of cardinality constraints. Recent solvers have introduced explicit checking of such constraints, rendering previously difficult formulae trivial to solve. A family of unsatisfiable formulae is described that is derived from the sgen4 family but cannot be solved using cardinality constraints detection and reasoning alone. These formulae were found to be the most difficult during the SAT2014 competition by a significant margin and include the shortest unsolved benchmark in the competition, sgen6-1200-5-1.cnf.

Does Inappropriate Quality Control Demotivate Workers

The construction industry requires quality control and regulation of its contingent,unpredictable environment. However, taking too much control from workers candisempower and demotivate. In the 1970s Deci and Ryan developed selfdeterminationtheory which states that in order to be intrinsically motivated, threecomponents are necessary - competence, autonomy and relatedness. This study aimsto examine the way in which the three ‘nutriments’ for intrinsic motivation may beundermined by heavy-handed quality control. A critical literature review analysesconstruction, psychological and management research regarding the control andmotivation of workers, using self-determination theory as a framework. Initialfindings show that quality management systems do not always work as designed.Workers perceive that unnecessary, wasteful and tedious counter checking of theirwork implies that they are not fully trusted by management to work without oversight.Control of workers and pressure for continual improvement may lead to resistanceand deception. Controlling mechanisms can break the link between performance andsatisfaction, reducing motivation and paradoxically reducing the likelihood of thequality they intend to promote. This study will lead to a greater understanding ofcontrol and motivation, facilitating further research into improvements in theapplication of quality control to maintain employee motivation.

Placing political economy: organising opposition to free trade before the abolition of the Corn Laws

The unfurling of global capitalism – and its attendant effects – has long been fertile intellectual terrain for geographers. But whilst studies of the processes and mechanisms of globalisation undoubtedly assume a talismanic importance in the discipline, geographers, with few exceptions, have left examinations of early economic liberalism to historians. One such critically important episode in the evolution of the liberal economic project was the repeal of the so-called 'Corn Laws' in 1846. Whilst the precise impact of the Manchester-based Anti-Corn Law League (ACLL) continues to be a matter of conjecture, Eric Sheppard has asserted that their particular take on political economy managed to assume a 'truth-like status' and worldwide universality. But the ACLL's campaign represents only one, albeit decisive, stage in the long intellectual and practical struggle between 'protectionists' and the disciples of free trade. Studies of the non-'Manchester' components have tended to focus squarely upon national politics. This paper examines a pivotal attempt in 1838 by Lord Melbourne's Government to experiment with the effective elimination of import duties on fresh fruit. Unlike most agricultural commodities, table fruit was produced in a tightly defined area, thus allowing the Government's experiment to play out, in theory, without national political fallout. Whilst the Government's clandestine actions left little time for a concerted opposition to develop, Kentish fruit growers soon organised. A formidable lobby was forged that drew wide local support yet also evolved beyond the original 'epistemic community'. Whilst the coalition failed in their efforts to reintroduce protective duties, their actions allow us to see how protectionist ideologies and policies were vivified through practices at many different spatial scales and to better understand the complex spatiality of protectionist takes on political economy. Their campaign also changed – at least in the short term – the course of British mercantile policy.

Management of varicella contacts in pregnancy: VZIG or Vaccination?

Background Varicella infection during pregnancy poses a serious risk for both foetus and mother. It has been suggested that it would be more cost-effective to screen antenatally with post-partum vaccination, which occurs in the US, than the current policy of checking immune status post varicella exposure, with VZIG administration where necessary. Additionally, it is doubtful whether the current policy provides best patient care, when a vaccine is available. Objectives The study aims to retrospectively compare the cost of the current policy with a cost estimate for antenatal screening with post-partum vaccination in NI. Study design A cost estimate of antenatal screening of primigravidas, with post-partum vaccination, was calculated for two models: (1) verbal screening, with serological testing of those with no history of varicella infection and (2) serological screening of all primigravidas. Results The cost of VZIG issued to pregnant women in 2006 was £100,800; 43% of births were to primigravidas therefore the estimated cost of VZIG issued to multigravidas was £58,100. The cost of verbal screening with post-partum vaccination is estimated at £23,750 p.a., saving £34,350 over current policy. The estimated cost of screening all primigravidas with post-partum vaccination is £43,000, saving £15,100. Conclusions This retrospective study suggests that in NI either of the proposed antenatal screening strategies would be less costly than current practice. This finding supports the suggestion that varicella immunity testing should be included in the Antenatal Infectious Diseases Screening Programme, either as part of the universal vaccination programme or solely as an antenatal programme.

Translating ‘gaytown’: the collision of global and local in bringing Australian queer play Bison to Belfast.

Sydney playwright Lachlan Philpott’s Bison (2000/2009) is immersed in a sweaty, summery Antipodean scene of bronzed and toned bodies. It is located in the flora and fauna of gum trees and biting ants. Yet, despite this, it could be argued that at its heart it is not a specifically Australian site, but an all-too translatable scene that seems to be played out in gay clubs, bars, chatrooms and saunas around the Western world: men repeating patterns, looking for sex or love; checking out bodies, craving perfection; avoiding, and occasionally seeking, disease. At least, that was my assumption when I decided to direct the play in Belfast, Northern Ireland, in 2009. Philpott came to Belfast to workshop the play with the actors and, as a group, we restructured the play and tried to find a way to ‘de-Australianise’ it without necessarily placing it in a new geographical place - Northern Ireland - through linguistic clues in the text. As Philpott put it: ‘Let’s not make this play about Belfast or Sydney or London or anywhere because it is not a fair reflection of these scenes. Maybe we should just identify the generic elements of this world and then make Bison a play that reflects gaytown – because the rituals are all the same in Western society’. The experience of doing the play in Belfast made clear, however, that ideas of a global gay identity/experience –though highly marketed – fail to account for the vastly different situations of embodied gay experience. And the Northern Irish gay experience, while it has imported the usual ‘generic’ tropes of gayness, sits within a specific cultural context in which the farsighted legislation on equality for gays (imposed by either London or the EU) vastly outstrips wider societal thinking. For many in Northern Ireland, erstwhile MP Iris Robinson’s comments about homosexuality being an ‘abomination’ were a reason to support her, rather than to reject her. For me, the comments were the catalyst to doing Bison in Belfast.

Development of a high-throughput enzyme-linked immunosorbent assay for the routine detection of the carcinogen acrylamide in food, via rapid derivatisation pre-analysis

The spontaneous formation of the neurotoxic carcinogen acrylamide in a wide range of cooked foods has recently been discovered. These foods include bread and other bakery products, crisps, chips, breakfast cereals, and coffee. To date, the diminutive size of acrylamide (71.08Da) has prevented the development of screening immunoassays for this chemical. In this study, a polyclonal antibody capable of binding the carcinogen was produced by the synthesis of an immunogen comprising acrylamide derivatised with 3-mercaptobenzoic acid (3-MBA), and its conjugation to the carrier protein bovine thyroglobulin. Antiserum from the immunised rabbit was harvested and fully characterised. it displayed no binding affinity for acrylamide or 3-MBA but had a high affinity for 3-MBA-derivitised acrylamide. The antisera produced was utilised in the development of an ELISA based detection system for acrylamide. Spiked water samples were assayed for acrylamide content using a previously published extraction method validated for coffee, crispbread, potato, milk chocolate and potato crisp matrices. Extracted acrylamide was then subjected to a rapid 1-h derivatisation with 3-MBA, pre-analysis. The ELISA was shown to have a high specificity for acrylamide, with a limit of detection in water samples of 65.7 mu g kg(-1), i.e. potentially suitable for acrylamide detection in a wide range of food commodities. Future development of this assay will increase sensitivity further. This is the first report of an immunoassay capable of detecting the carcinogen, as its small size has necessitated current analytical detection via expensive, slower, physico-chemical techniques such as Gas or Liquid Chromatography coupled to Mass Spectrometry. (c) 2007 Elsevier B.V. All rights reserved.

Computational techniques for a simple theory of conditional preferences

A simple logic of conditional preferences is defined, with a language that allows the compact representation of certain kinds of conditional preference statements, a semantics and a proof theory. CP-nets and TCP-nets can be mapped into this logic, and the semantics and proof theory generalise those of CP-nets and TCP-nets. The system can also express preferences of a lexicographic kind. The paper derives various sufficient conditions for a set of conditional preferences to be consistent, along with algorithmic techniques for checking such conditions and hence confirming consistency. These techniques can also be used for totally ordering outcomes in a way that is consistent with the set of preferences, and they are further developed to give an approach to the problem of constrained optimisation for conditional preferences.

Mass spectrometric analysis of muscle samples to detect potential antibiotic growth promoter misuse in broiler chickens

Mass spectrometric methods were developed and validated for the analysis in chicken muscle of a range of antibiotic growth promoters: spiramycin, tylosin, virginiamycin and bacitracin, and separately for two marker metabolites of carbadox (quinoxaline-2-carboxylic acid and 1,4-bisdesoxycarbadox), and a marker metabolite of olaquindox (3-methyl-quinoxaline-2-carboxylic acid). The use of these compounds as antibiotic growth promoters has been banned by the European Commission. This study aimed to develop methods to detect their residues in muscle samples as a means of checking for the use of these drugs during the rearing of broiler chickens. When fed growth-promoting doses for 6 days, spiramycin (31.4 mu g kg(-1)), tylosin (1.0 mu g kg(-1)), QCA (6.5 mu g kg(-1)), DCBX (71.2 mu g kg(-1)) and MQCA (0.2 mu g kg(-1)) could be detected in the muscle 0 days after the withdrawal of fortified feed. Only spiramycin could consistently be detected beyond a withdrawal period of 1 day. All analytes showed stability commercial cooking process, therefore raw or cooked muscle could be used for monitoring purposes.

Determination of geographical origin of distillers dried grains and solubles using isotope ratio mass spectrometry

In recent years distillers dried grains and solubles (DDGS), co-products of the bio-ethanol and beverages industries, have become globally traded commodity for the animal feed sector. As such it is becoming increasingly important to be able to trace the geographical origin of commodities in case of a contamination incident or authenticity issue arise. In this study, 137 DDGS samples from a range of different geographical origins (China, USA, Canada and European Union) were collected and analyzed. Isotope ratio mass spectrometry (IRMS) was used to analyze the DDGS for ²H/¹H, ¹³C/¹²C, ¹⁵N/¹⁴N, ¹⁸O/¹⁶O and ³⁴S/³²S isotope ratios which can vary depending on geographical origin and processing. Univariate and multivariate statistical techniques were employed to investigate the feasibility of using the IRMS data to determine botanical and geographical origin of the DDGS. The results indicated that this commodity could be differentiated according to their place of origin by the analysis of stable isotopes of hydrogen, carbon, nitrogen and oxygen but not with sulfur. By adding data to the models produced in this study, potentially an isotope databank could be set up for traceability procedures for DDGS, similar to the one established already for wine which will help in feed and food security issues arising worldwide.

The impact of peer review on the radiotherapy treatment planning process in the treatment of lung cancer

Background:
Advanced radiotherapy techniques permit accurate delivery of radiotherapy to lung tumours. Improved accuracy increases the possibility of radiotherapy field geographic miss of the tumour. One source of error is the accuracy of target volume (TV) delineation by the clinical oncologist. Colleague peer review of all curative intent lung cancer plans has been mandatory in our institution since May 2013. At least 2 clinical oncologists review plans checking treatment paradigm, TV delineated, dose to tumour and dose to critical organs. We report the impact of peer review on the radiotherapy planning process for lung cancer.

Methods:
The radiotherapy treatment plans of all patients receiving radical radiotherapy were presented at weekly peer review meetings after their TVs volumes were provisionally signed off by the treating consultant or post-fellowship registrar. All cases and any resultant change to the treatment plan were recorded in our prospective peer review database. We present the summary of changes agreed following the peer review process for a 6 month period.

Results:
Fifteen peer review sessions, including 46 patients (36 NSCLC, 10 SCLC) were analysed. An average of 3 cases were discussed per meeting (range 1 5). 24% of treatment courses were changed. In 4% there was a complete change in paradigm
of treatment (1 patient proceeded to induction chemotherapy, 1 patient had high dose palliative radiotherapy). In 16% there was a change in TV delineated and in 9% a change in dose (2 dose reductions and 2 alterations to post-operative dose fractionations).

Conclusions:
Consultant led peer review resulted in a change in a component of the treatment plan for 28% of patients that would not otherwise have taken place. Given this impact, consultant led peer review should be considered as an essential component in the radiotherapy planning process for all patients treated with curative radiotherapy.

Model checking support for conflict resolution in multiple non-functional concern management

When implementing autonomic management of multiple non-functional concerns a trade-off must be found between the ability to develop independently management of the individual concerns (following the separation of concerns principle) and the detection and resolution of conflicts that may arise when combining the independently developed management code. Here we discuss strategies to establish this trade-off and introduce a model checking based methodology aimed at simplifying the discovery and handling of conflicts arising from deployment-within the same parallel application-of independently developed management policies. Preliminary results are shown demonstrating the feasibility of the approach.

Investigation of the process energy demand in polymer extrusion: a brief review and an experimental study

Extrusion is one of the fundamental production methods in the polymer processing industry and is used in the production of a large number of commodities in a diverse industrial sector. Being an energy intensive production method, process energy efficiency is one of the major concerns and the selection of the most energy efficient processing conditions is a key to reducing operating costs. Usually, extruders consume energy through the drive motor, barrel heaters, cooling fans, cooling water pumps, gear pumps, etc. Typically the drive motor is the largest energy consuming device in an extruder while barrel/die heaters are responsible for the second largest energy demand. This study is focused on investigating the total energy demand of an extrusion plant under various processing conditions while identifying ways to optimise the energy efficiency. Initially, a review was carried out on the monitoring and modelling of the energy consumption in polymer extrusion. Also, the power factor, energy demand and losses of a typical extrusion plant were discussed in detail. The mass throughput, total energy consumption and power factor of an extruder were experimentally observed over different processing conditions and the total extruder energy demand was modelled empirically and also using a commercially available extrusion simulation software. The experimental results show that extruder energy demand is heavily coupled between the machine, material and process parameters. The total power predicted by the simulation software exhibits a lagging offset compared with the experimental measurements. Empirical models are in good agreement with the experimental measurements and hence these can be used in studying process energy behaviour in detail and to identify ways to optimise the process energy efficiency.

Preferred Reporting Items for a Systematic Review and Meta-analysis of Individual Participant Data The PRISMA-IPD Statement

IMPORTANCE Systematic reviews and meta-analyses of individual participant data (IPD) aim to collect, check, and reanalyze individual-level data from all studies addressing a particular research question and are therefore considered a gold standard approach to evidence synthesis. They are likely to be used with increasing frequency as current initiatives to share clinical trial data gain momentum and may be particularly important in reviewing controversial therapeutic areas.

OBJECTIVE To develop PRISMA-IPD as a stand-alone extension to the PRISMA (Preferred Reporting Items for Systematic Reviews and Meta-Analyses) Statement, tailored to the specific requirements of reporting systematic reviews and meta-analyses of IPD. Although developed primarily for reviews of randomized trials, many items will apply in other contexts, including reviews of diagnosis and prognosis.

DESIGN Development of PRISMA-IPD followed the EQUATOR Network framework guidance and used the existing standard PRISMA Statement as a starting point to draft additional relevant material. A web-based survey informed discussion at an international workshop that included researchers, clinicians, methodologists experienced in conducting systematic reviews and meta-analyses of IPD, and journal editors. The statement was drafted and iterative refinements were made by the project, advisory, and development groups. The PRISMA-IPD Development Group reached agreement on the PRISMA-IPD checklist and flow diagram by consensus.

FINDINGS Compared with standard PRISMA, the PRISMA-IPD checklist includes 3 new items that address (1) methods of checking the integrity of the IPD (such as pattern of randomization, data consistency, baseline imbalance, and missing data), (2) reporting any important issues that emerge, and (3) exploring variation (such as whether certain types of individual benefit more from the intervention than others). A further additional item was created by reorganization of standard PRISMA items relating to interpreting results. Wording was modified in 23 items to reflect the IPD approach.

CONCLUSIONS AND RELEVANCE PRISMA-IPD provides guidelines for reporting systematic reviews and meta-analyses of IPD.

The Impact of Colleague Peer Review on the Radiotherapy Treatment Planning Process in the Radical Treatment of Lung Cancer

AIMS: Modern radiotherapy uses techniques to reliably identify tumour and reduce target volume margins. However, this can potentially lead to an increased risk of geographic miss. One source of error is the accuracy of target volume delineation (TVD). Colleague peer review (CPR) of all curative-intent lung cancer plans has been mandatory in our institution since May 2013. At least two clinical oncologists review plans, checking treatment paradigm, TVD, prescription dose tumour and critical organ tolerances. We report the impact of CPR in our institution.

MATERIALS AND METHODS: Radiotherapy treatment plans of all patients receiving radical radiotherapy were presented at weekly CPR meetings after their target volumes were reviewed and signed off by the treating consultant. All cases and any resultant change to TVD (including organs at risk) or treatment intent were recorded in our prospective CPR database. The impact of CPR over a 13 month period from May 2013 to June 2014 is reported.

RESULTS: One hundred and twenty-two patients (63% non-small cell lung carcinoma, 17% small cell lung carcinoma and 20% 'clinical diagnosis') were analysed. On average, 3.2 cases were discussed per meeting (range 1-8). CPR resulted in a change in treatment paradigm in 3% (one patient proceeded to induction chemotherapy, two patients had high-dose palliative radiotherapy). Twenty-one (17%) had a change in TVD and one (1%) patient had a change in dose prescription. In total, 6% of patients had plan adjustment after review of dose volume histogram.

CONCLUSION: The introduction of CPR in our centre has resulted in a change in a component of the treatment plan for 27% of patients receiving curative-intent lung radiotherapy. We recommend CPR as a mandatory quality assurance step in the planning process of all radical lung plans.