Effective problem solving using SAT solvers

In this article we demonstrate how to solve a variety of problems and puzzles using the built-in SAT solver of the computer algebra system Maple. Once the problems have been encoded into Boolean logic, solutions can be found (or shown to not exist) automatically, without the need to implement any search algorithm. In particular, we describe how to solve the $n$-queens problem, how to generate and solve Sudoku puzzles, how to solve logic puzzles like the Einstein riddle, how to solve the 15-puzzle, how to solve the maximum clique problem, and finding Graeco-Latin squares.Comment: To appear in Proceedings of the Maple Conference 201

Atomic Scale Dynamics Drive Brain-like Avalanches in Percolating Nanostructured Networks.

Self-assembled networks of nanoparticles and nanowires have recently emerged as promising systems for brain-like computation. Here, we focus on percolating networks of nanoparticles which exhibit brain-like dynamics. We use a combination of experiments and simulations to show that the brain-like network dynamics emerge from atomic-scale switching dynamics inside tunnel gaps that are distributed throughout the network. The atomic-scale dynamics emulate leaky integrate and fire (LIF) mechanisms in biological neurons, leading to the generation of critical avalanches of signals. These avalanches are quantitatively the same as those observed in cortical tissue and are signatures of the correlations that are required for computation. We show that the avalanches are associated with dynamical restructuring of the networks which self-tune to balanced states consistent with self-organized criticality. Our simulations allow visualization of the network states and detailed mechanisms of signal propagation

Long-distance quantum communication with atomic ensembles and linear optics

Quantum communication holds a promise for absolutely secure transmission of secret messages and faithful transfer of unknown quantum states. Photonic channels appear to be very attractive for physical implementation of quantum communication. However, due to losses and decoherence in the channel, the communication fidelity decreases exponentially with the channel length. We describe a scheme that allows to implement robust quantum communication over long lossy channels. The scheme involves laser manipulation of atomic ensembles, beam splitters, and single-photon detectors with moderate efficiencies, and therefore well fits the status of the current experimental technology. We show that the communication efficiency scale polynomially with the channel length thereby facilitating scalability to very long distances.Comment: 2 tex files (Main text + Supplement), 4 figure

Cost-effectiveness analysis of 3-D computerized tomography colonography versus optical colonoscopy for imaging symptomatic gastroenterology patients.

BACKGROUND: When symptomatic gastroenterology patients have an indication for colonic imaging, clinicians have a choice between optical colonoscopy (OC) and computerized tomography colonography with three-dimensional reconstruction (3-D CTC). 3-D CTC provides a minimally invasive and rapid evaluation of the entire colon, and it can be an efficient modality for diagnosing symptoms. It allows for a more targeted use of OC, which is associated with a higher risk of major adverse events and higher procedural costs. A case can be made for 3-D CTC as a primary test for colonic imaging followed if necessary by targeted therapeutic OC; however, the relative long-term costs and benefits of introducing 3-D CTC as a first-line investigation are unknown. AIM: The aim of this study was to assess the cost effectiveness of 3-D CTC versus OC for colonic imaging of symptomatic gastroenterology patients in the UK NHS. METHODS: We used a Markov model to follow a cohort of 100,000 symptomatic gastroenterology patients, aged 50 years or older, and estimate the expected lifetime outcomes, life years (LYs) and quality-adjusted life years (QALYs), and costs (£, 2010-2011) associated with 3-D CTC and OC. Sensitivity analyses were performed to assess the robustness of the base-case cost-effectiveness results to variation in input parameters and methodological assumptions. RESULTS: 3D-CTC provided a similar number of LYs (7.737 vs 7.739) and QALYs (7.013 vs 7.018) per individual compared with OC, and it was associated with substantially lower mean costs per patient (£467 vs £583), leading to a positive incremental net benefit. After accounting for the overall uncertainty, the probability of 3-D CTC being cost effective was around 60 %, at typical willingness-to-pay values of £20,000-£30,000 per QALY gained. CONCLUSION: 3-D CTC is a cost-saving and cost-effective option for colonic imaging of symptomatic gastroenterology patients compared with OC

A systematic review of the evidence for single stage and two stage revision of infected knee replacement

BACKGROUND: Periprosthetic infection about the knee is a devastating complication that may affect between 1% and 5% of knee replacement. With over 79 000 knee replacements being implanted each year in the UK, periprosthetic infection (PJI) is set to become an important burden of disease and cost to the healthcare economy. One of the important controversies in treatment of PJI is whether a single stage revision operation is superior to a two-stage procedure. This study sought to systematically evaluate the published evidence to determine which technique had lowest reinfection rates. METHODS: A systematic review of the literature was undertaken using the MEDLINE and EMBASE databases with the aim to identify existing studies that present the outcomes of each surgical technique. Reinfection rate was the primary outcome measure. Studies of specific subsets of patients such as resistant organisms were excluded. RESULTS: 63 studies were identified that met the inclusion criteria. The majority of which (58) were reports of two-stage revision. Reinfection rated varied between 0% and 41% in two-stage studies, and 0% and 11% in single stage studies. No clinical trials were identified and the majority of studies were observational studies. CONCLUSIONS: Evidence for both one-stage and two-stage revision is largely of low quality. The evidence basis for two-stage revision is significantly larger, and further work into direct comparison between the two techniques should be undertaken as a priority

A core outcome set for aphasia treatment research: the ROMA consensus statement

Background: A core outcome set (COS; an agreed, minimum set of outcomes) was needed to address the heterogeneous measurement of outcomes in aphasia treatment research and to facilitate the production of transparent, meaningful and efficient outcome data. Objective: The Research Outcome Measurement in Aphasia (ROMA) consensus statement provides evidence-based recommendations for the measurement of outcomes for adults with post-stroke aphasia within phase I-IV aphasia treatment studies. Methods: This statement was informed by a four-year program of research which comprised investigation of stakeholder-important outcomes using consensus processes, a scoping review of aphasia outcome measurement instruments, and an international consensus meeting. This paper provides an overview of this process and presents the results and recommendations arising from the international consensus meeting. Results: Five essential outcome constructs were identified: Language, communication, patient-reported satisfaction with treatment and impact of treatment, emotional wellbeing, and quality of life. Consensus was reached for the following measurement instruments: Language: The Western Aphasia Battery Revised (WAB-R) (74% consensus); emotional well-being: General Health Questionnaire (GHQ)-12 (83% consensus); quality of life: Stroke and Aphasia Quality of Life Scale (SAQOL-39) (96% consensus). Consensus was unable to be reached for measures of communication (where multiple measures exist) or patient-reported satisfaction with treatment or impact of treatment (where no measures exist). Discussion: Harmonisation of the ROMA COS with other core outcome initiatives in stroke rehabilitation is discussed. Ongoing research and consensus processes are outlined. Conclusion: The WAB-R, GHQ, and SAQOL-39 are recommended to be routinely included within phase I-IV aphasia treatment studies. This consensus statement has been endorsed by the Collaboration of Aphasia Trialists, the British Aphasiology Society, the German Society for Aphasia Research and Therapy, and the Royal College of Speech Language Therapists

Ratio of the Isolated Photon Cross Sections at \sqrt{s} = 630 and 1800 GeV

The inclusive cross section for production of isolated photons has been measured in \pbarp collisions at $\sqrt{s} = 630$ GeV with the \D0 detector at the Fermilab Tevatron Collider. The photons span a transverse energy ($E_T$) range from 7-49 GeV and have pseudorapidity $|\eta| < 2.5$. This measurement is combined with to previous \D0 result at $\sqrt{s} = 1800$ GeV to form a ratio of the cross sections. Comparison of next-to-leading order QCD with the measured cross section at 630 GeV and ratio of cross sections show satisfactory agreement in most of the $E_T$ range.Comment: 7 pages. Published in Phys. Rev. Lett. 87, 251805, (2001

A long view of liberal peace and its crisis

The ‘crisis’ of liberal peace has generated considerable debate in International Relations. However, analysis is inhibited by a shared set of spatial, cultural and temporal assumptions that rest on and reproduce a problematic separation between self-evident ‘liberal’ and ‘non-liberal’ worlds, and locates the crisis in presentist terms of the latter’s resistance to the former’s expansion. By contrast, this article argues that efforts to advance liberal rule have always been interwoven with processes of alternative order-making, and in this way are actively integral, not external, to the generation of the subjectivities, contestations, violence and rival social orders that are then apprehended as self-evident obstacles and threats to liberal peace and as characteristic of its periphery. Making visible these intimate relations of co-constitution elided by representations of liberal peace and its crisis requires a long view and an analytical frame that encompasses both liberalism and its others in the world. The argument is developed using a Foucauldian governmentality framework and illustrated with reference to Sri Lanka

Search for Gravitational Waves from Primordial Black Hole Binary Coalescences in the Galactic Halo

We use data from the second science run of the LIGO gravitational-wave detectors to search for the gravitational waves from primordial black hole (PBH) binary coalescence with component masses in the range 0.2--$1.0 M_\odot$. The analysis requires a signal to be found in the data from both LIGO observatories, according to a set of coincidence criteria. No inspiral signals were found. Assuming a spherical halo with core radius 5 kpc extending to 50 kpc containing non-spinning black holes with masses in the range 0.2--$1.0 M_\odot$, we place an observational upper limit on the rate of PBH coalescence of 63 per year per Milky Way halo (MWH) with 90% confidence.Comment: 7 pages, 4 figures, to be submitted to Phys. Rev.