Getting water from the water of hydration on Mars

Both Viking landers found evidence of water in small concentration in the soils of Mars. Using the gas chromatograph mass spectrometer the soil samples on Mars were heated to 500 C to release the water. This result lead researchers to believe that the water in the soil of Mars was tightly bound in a hydration state. In the laboratory several Mars analog soils and a few bench mark soils were run through a microwave to determine the amount of water released using this method. The results suggest that sufficient water can be obtained using this method to augment the activities of a human base on Mars

On SAT representations of XOR constraints

We study the representation of systems S of linear equations over the two-element field (aka xor- or parity-constraints) via conjunctive normal forms F (boolean clause-sets). First we consider the problem of finding an "arc-consistent" representation ("AC"), meaning that unit-clause propagation will fix all forced assignments for all possible instantiations of the xor-variables. Our main negative result is that there is no polysize AC-representation in general. On the positive side we show that finding such an AC-representation is fixed-parameter tractable (fpt) in the number of equations. Then we turn to a stronger criterion of representation, namely propagation completeness ("PC") --- while AC only covers the variables of S, now all the variables in F (the variables in S plus auxiliary variables) are considered for PC. We show that the standard translation actually yields a PC representation for one equation, but fails so for two equations (in fact arbitrarily badly). We show that with a more intelligent translation we can also easily compute a translation to PC for two equations. We conjecture that computing a representation in PC is fpt in the number of equations.Comment: 39 pages; 2nd v. improved handling of acyclic systems, free-standing proof of the transformation from AC-representations to monotone circuits, improved wording and literature review; 3rd v. updated literature, strengthened treatment of monotonisation, improved discussions; 4th v. update of literature, discussions and formulations, more details and examples; conference v. to appear LATA 201

The Promise of Proton Beam Therapy for Oesophageal Cancer: A Systematic Review of Dosimetric and Clinical Outcomes

AIMS: Due to its physical advantages over photon radiotherapy, proton beam therapy (PBT) has the potential to improve outcomes from oesophageal cancer. However, for many tumour sites, high-quality evidence supporting PBT use is limited. We carried out a systematic review of published literature of PBT in oesophageal cancer to ascertain potential benefits of this technology and to gauge the current state-of-the-art. We considered if further evaluation of this technology in oesophageal cancer is desirable. MATERIALS AND METHODS: A systematic literature search of Medline, Embase, Cochrane Library and Web of Science using structured search terms was carried out. Inclusion criteria included non-metastatic cancer, full articles and English language studies only. Articles deliberating technical aspects of PBT planning or delivery were excluded to maintain a clinical focus. Studies were divided into two sections: dosimetric and clinical studies; qualitatively synthesised. RESULTS: In total, 467 records were screened, with 32 included for final qualitative synthesis. This included two prospective studies with the rest based on retrospective data. There was heterogeneity in treatment protocols, including treatment intent (neoadjuvant or definitive), dose, fractionation and chemotherapy used. Compared with photon radiotherapy, PBT seemed to reduce dose to organs at risk, especially lung and heart, although not for all reported parameters. Toxicity outcomes, including postoperative complications, were reduced compared with photon radiotherapy. Survival outcomes were reported to be at least comparable with photon radiotherapy. CONCLUSION: There is a paucity of high-quality evidence supporting PBT use in oesophageal cancer. Wide variation in intent and treatment protocols means that the role and 'gold-standard' treatment protocol are yet to be defined. Current literature suggests significant benefit in terms of toxicity reduction, especially in the postoperative period, with comparable survival outcomes. PBT in oesophageal cancer holds significant promise for improving patient outcomes but requires robust systematic evaluation in prospective studies

Unified characterisations of resolution hardness measures

Various "hardness" measures have been studied for resolution, providing theoretical insight into the proof complexity of resolution and its fragments, as well as explanations for the hardness of instances in SAT solving. In this paper we aim at a unified view of a number of hardness measures, including different measures of width, space and size of resolution proofs. Our main contribution is a unified game-theoretic characterisation of these measures. As consequences we obtain new relations between the different hardness measures. In particular, we prove a generalised version of Atserias and Dalmau's result on the relation between resolution width and space from [5]

Patient and Public Involvement Refines the Design of ProtOeus: A Proposed Phase II Trial of Proton Beam Therapy in Oesophageal Cancer

Background: Neoadjuvant chemoradiotherapy for oesophageal cancer significantly improves overall survival but is associated with severe post-operative complications. Proton beam therapy may reduce these toxicities by sparing normal tissues compared with standard radiotherapy. ProtOeus is a proposed randomised phase II study of neoadjuvant chemoradiotherapy in oesophageal cancer that compares proton beam therapy to standard radiotherapy techniques. As proton beam therapy services are often centralised in academic centres in major cities, proton beam therapy trials raise distinct challenges including patient acceptance of travelling for proton beam therapy, coordination of treatments with local centres and ensuring equity of access for patients. Methods: Focus groups were held early in the trial development process to establish patients’ views on the trial proposal. Topics discussed include perception of proton beam therapy, patient acceptability of the trial pathway and design, patient-facing materials, and common clinical scenarios. Focus groups were led by the investigators and facilitated by patient involvement teams from the institutions who are involved in this research. Responses for each topic were analysed, and fed back to the trial’s development group. Results: Three focus groups were held in separate locations in the UK (Manchester, Cardiff, Wigan). Proton beam therapy was perceived as superior to standard radiotherapy making the trial attractive. Patients felt strongly that travel costs should be reimbursed to ensure equity of access to proton beam therapy. They were very supportive of a shorter treatment schedule and felt that toxicity reduction was the most important endpoint. Discussion and Conclusions: Incorporating patient views early in the trial development process resulted in significant trial design refinements including travel/accommodation provisions, choice of primary endpoint, randomisation ratio and fractionation schedule. Focus groups are a reproducible and efficient method of incorporating the patient and public voice into research

Comparative Dosimetric Analysis and Normal Tissue Complication Probability Modelling of Four-Dimensional Computed Tomography Planning Scans Within the UK NeoSCOPE Trial

Aims: NeoSCOPE is a trial of two different neoadjuvant chemoradiotherapy regimens for resectable oesophageal cancer and was the first multicentre trial in the UK to incorporate four-dimensional computed tomography (4D-CT) into radiotherapy planning. Despite 4D-CT being increasingly accepted as a standard of care for lower third and junctional oesophageal tumours, there is limited evidence of its benefit over standard three-dimensional computed tomography (3D-CT). // Materials: Using NeoSCOPE 4D-CT cases, we undertook a dosimetric comparison study of 3D-CT versus 4D-CT plans comparing target volume coverage and dose to organs at risk. We used established normal tissue complication probability models to evaluate the potential toxicity reduction of using 4D-CT plans in oesophageal cancer. // Results: 4D-CT resulted in a smaller median absolute PTV volume and lower dose levels for all reported constraints with comparable target volume coverage. NTCP modelling suggests a significant relative risk reduction of cardiac and pulmonary toxicity endpoints with 4D-CT. // Conclusion: Our work shows that incorporating 4D-CT into treatment planning may significantly reduce the toxicity burden from this treatment

Generalising unit-refutation completeness and SLUR via nested input resolution

We introduce two hierarchies of clause-sets, SLUR_k and UC_k, based on the classes SLUR (Single Lookahead Unit Refutation), introduced in 1995, and UC (Unit refutation Complete), introduced in 1994. The class SLUR, introduced in [Annexstein et al, 1995], is the class of clause-sets for which unit-clause-propagation (denoted by r_1) detects unsatisfiability, or where otherwise iterative assignment, avoiding obviously false assignments by look-ahead, always yields a satisfying assignment. It is natural to consider how to form a hierarchy based on SLUR. Such investigations were started in [Cepek et al, 2012] and [Balyo et al, 2012]. We present what we consider the "limit hierarchy" SLUR_k, based on generalising r_1 by r_k, that is, using generalised unit-clause-propagation introduced in [Kullmann, 1999, 2004]. The class UC, studied in [Del Val, 1994], is the class of Unit refutation Complete clause-sets, that is, those clause-sets for which unsatisfiability is decidable by r_1 under any falsifying assignment. For unsatisfiable clause-sets F, the minimum k such that r_k determines unsatisfiability of F is exactly the "hardness" of F, as introduced in [Ku 99, 04]. For satisfiable F we use now an extension mentioned in [Ansotegui et al, 2008]: The hardness is the minimum k such that after application of any falsifying partial assignments, r_k determines unsatisfiability. The class UC_k is given by the clause-sets which have hardness <= k. We observe that UC_1 is exactly UC. UC_k has a proof-theoretic character, due to the relations between hardness and tree-resolution, while SLUR_k has an algorithmic character. The correspondence between r_k and k-times nested input resolution (or tree resolution using clause-space k+1) means that r_k has a dual nature: both algorithmic and proof theoretic. This corresponds to a basic result of this paper, namely SLUR_k = UC_k.Comment: 41 pages; second version improved formulations and added examples, and more details regarding future directions, third version further examples, improved and extended explanations, and more on SLUR, fourth version various additional remarks and editorial improvements, fifth version more explanations and references, typos corrected, improved wordin

Protocol for a multicentre randomised feasibility trial evaluating early Surgery Alone In LOw Rectal cancer (SAILOR)

Introduction There are 11,500 rectal cancers diagnosed annually in the UK. Although surgery remains the primary treatment there is evidence that preoperative radiotherapy (RT) improves local recurrence rates. High quality surgery in rectal cancer is equally important in minimising local recurrence. Advances in magnetic resonance imaging (MRI)-guided prediction of resection margin status and improvements in abdominoperineal excision of the rectum (APER) technique supports a reassessment of the contribution of preoperative RT. A more selective approach to RT may be appropriate given the associated toxicity. Methods and analysis This trial will explore the feasibility of a definitive trial evaluating the omission of RT in resectable low rectal cancer requiring APER. It will test the feasibility of randomising patients to i) standard care (neoadjuvant long course radiotherapy +/- chemotherapy and APER, or ii) APER surgery alone for cT2/T3ab N0/1 low rectal cancer with clear predicted resection margins on MRI. Radiotherapy schedule will be 45Gy over 5 weeks as current standard, with restaging and surgery after 8-12 weeks. Recruitment will be for 24 months with a minimum 12 month follow up. Objectives include testing the ability to recruit, consent and retain patients, to quantify the number of patients eligible for a definitive trial and to test feasibility of outcomes measures. These include locoregional recurrence rates, distance to circumferential resection margin, toxicity and surgical complications including perineal wound healing, quality of life and economic analysis. The quality of MRI staging, radiotherapy delivery and surgical specimen quality will be closely monitored. Ethics and dissemination The trial is approved by the regional ethics committee and Health Research Authority (HRA) or equivalent. Written informed consent will be obtained. Serious adverse events will be reported to Swansea Trials Unit (STU), the ethics committee and trial sites. Trial results will be submitted for peer review publication and to trial participants. Strengths and limitations of this study • A unique interventional study specific to low rectal cancer • Will explore the contribution of the modern abdominoperineal excision operation to cancer outcomes • Strict quality assurance processes for imaging, radiotherapy, surgery and pathology • Will establish if a future trial minimising radiotherapy use in low rectal cancer is feasible • Study is limited by short follow up perio