Deductive synthesis of recursive plans in linear logic

Linear logic has previously been shown to be suitable for describing and deductively solving planning problems involving conjunction and disjunction. We introduce a recursively defined datatype and a corresponding induction rule, thereby allowing recursive plans to be synthesised. In order to make explicit the relationship between proofs and plans, we enhance the linear logic deduction rules to handle plans as a form of proof term

Chemotherapy-induced nausea and vomiting in daily clinical practice: a community hospital-based study

Background Chemotherapy-induced nausea and vomiting (CINV) are major adverse effects of cancer chemotherapy. This study investigated: (1) the impact of CINV on patients' health-related quality of life (HRQL) in daily clinical practice; (2) the association between patient characteristics and type of antiemetics and CINV; and (3) the role of CINV in physicians' decisions to modify antiemetic treatment. Patients and methods This prospective, multicenter study was conducted in nine general hospitals in the Netherlands. During three consecutive chemotherapy cycles, patients used a diary to record episodes of nausea, vomiting and antiemetic use. For each cycle, these ratings were made 1 day prior to and 7 days after having received chemotherapy. The influence of CINV on patients' HRQL was evaluated with the Functional Living Index-Emesis (FLIE) questionnaire at day 6 of each treatment cycle. (Changes in) antiemetic use were recorded by the treating nurse. Patient inclusion took place between May 2005 and May 2007. Results Two hundred seventy-seven patients were enrolled in the study. Acute and delayed nausea during the first treatment cycle was reported by 39% and 68% of the patients, respectively. The comparable figures for acute and delayed vomiting were 12% and 23%. During the first and subsequent treatment cycle, approximately one-third of the patients indicated that CINV had a substantial impact on their daily lives. Female patients and younger patients reported significantly more CINV than male and older patients. At all treatment cycles, patients receiving treatment with moderately emetogenic chemotherapy, containing anthracycline, reported more acute nausea than patients receiving highly emetogenic chemotherapy. Acute vomiting was associated significantly with change in (i.e., additional) antiemetic treatment. Delayed CINV did not influence antiemetic treatment. Conclusion CINV continues to be a problem that adversely affects the daily lives of patients. CINV is worse in women and in younger patients. In daily clinical practice, acute CINV, but not delayed CINV, results in changes in antiemetic treatment. In view of the effects of not only acute, but also delayed CINV on daily life, more attention should be paid to adjustment of antiemetic treatment to cover CINV complaints, later during the chemotherapy cycle

Optical Injection-Locked Directly-Modulated Lasers for Dispersion Pre-compensated Direct-Detection Transmission

The growing traffic demand in inter-data center and metro communications requires high-speed and low-cost transceivers that can flexibly adapt to different transmission distances of up to a few hundred km. Ultimately low-cost transceivers will use the simplest optical hardware: namely a directly-modulated transmitter and direct detection receiver. Using optical injection-locked directly-modulated lasers (OIL-DML), we propose a transmitter that can control the full field of the optical signal and achieve error-free transmission over up to 300 km of dispersion uncompensated SMF-28. We demonstrate such a transmission system and discuss its potential for short and medium reach communication systems

National business regulations and city entrepreneurship in Europe: a multilevel nested analysis

This article provides and tests a theoretical framework with a multilevel (country–city) nested model to analyze the relationship between national business regulations (NBRs) and city level entrepreneurship. While public interest theory predicts a positive relationship between NBR and city level entrepreneurship, public choice theory predicts the opposite, a negative relationship. Based on multilevel analysis for a matched country–city panel of 228 cities across 20 European countries for the years 2004 to 2009, the empirical evidence from panel data estimation explains how changes in NBRs influence changes in city level entrepreneurial activity over time

What can research into graduate employability tell us about agency and structure?

Traditionally theorists who have written about agency and structure have eschewed empirical research. This article uses the findings of an empirical study into graduate employability to inform the sociological debate on how they relate to each other. The study examined how Dutch and British final-year students approach the labour market right before they graduate. The study revealed that the labour market and education structures are mirrored in how students understand and act within the labour market. It also showed that the interplay between agency and structure is mediated by an intersubjective framework shared by other students. The article argues that previous theoretical views on employability have failed to understand this and suggests how to improve our understanding of agency and structure

Les Houches 2015: Physics at TeV Colliders Standard Model Working Group Report

This Report summarizes the proceedings of the 2015 Les Houches workshop on Physics at TeV Colliders. Session 1 dealt with (I) new developments relevant for high precision Standard Model calculations, (II) the new PDF4LHC parton distributions, (III) issues in the theoretical description of the production of Standard Model Higgs bosons and how to relate experimental measurements, (IV) a host of phenomenological studies essential for comparing LHC data from Run I with theoretical predictions and projections for future measurements in Run II, and (V) new developments in Monte Carlo event generators.Comment: Proceedings of the Standard Model Working Group of the 2015 Les Houches Workshop, Physics at TeV Colliders, Les Houches 1-19 June 2015. 227 page

'Everyday memory' impairments in autism spectrum disorders

‘Everyday memory’ is conceptualised as memory within the context of day-to-day life and, despite its functional relevance, has been little studied in individuals with autism spectrum disorders (ASDs). In the first study of its kind, 94 adolescents with an ASD and 55 without an ASD completed measures of everyday memory from the Rivermead Behavioural Memory Test (RBMT) and a standard word recall task (Children’s Auditory Verbal Learning Test-2: CAVLT-2). The ASD group showed significant impairments on the RBMT, including in prospective memory, alongside impaired performance on the CAVLT-2. Social and communication ability was significantly associated with prospective remembering in an everyday memory context but not with the CAVLT-2. The complex nature of everyday memory and its relevance to ASD is discussed

Direct measurement of the mass difference between top and antitop quarks

We present a direct measurement of the mass difference between top and antitop quarks (dm) in lepton+jets top-antitop final states using the "matrix element" method. The purity of the lepton+jets sample is enhanced for top-antitop events by identifying at least one of the jet as originating from a b quark. The analyzed data correspond to 3.6 fb-1 of proton-antiproton collisions at 1.96 TeV acquired by D0 in Run II of the Fermilab Tevatron Collider. The combination of the e+jets and mu+jets channels yields dm = 0.8 +/- 1.8 (stat) +/- 0.5 (syst) GeV, which is in agreement with the standard model expectation of no mass difference.Comment: submitted to Phys. Rev.

A search for charged massive long-lived particles

We report on a search for charged massive long-lived particles (CMLLPs), based on 5.2 fb$^{-1}$ of integrated luminosity collected with the D0 detector at the Fermilab Tevatron $p\bar{p}$ collider. We search for events in which one or more particles are reconstructed as muons but have speed and ionization energy loss $(dE/dx)$ inconsistent with muons produced in beam collisions. CMLLPs are predicted in several theories of physics beyond the standard model. We exclude pair-produced long-lived gaugino-like charginos below 267 GeV and higgsino-like charginos below 217 GeV at 95% C.L., as well as long-lived scalar top quarks with mass below 285 GeV.Comment: submitted to Phys. Rev. Letter

Measurements of differential cross sections of Z/gamma*+jets+X events in proton anti-proton collisions at sqrt{s}=1.96 TeV

We present cross section measurements for Z/gamma*+jets+X production, differential in the transverse momenta of the three leading jets. The data sample was collected with the D0 detector at the Fermilab Tevatron proton anti-proton collider at a center-of-mass energy of 1.96 TeV and corresponds to an integrated luminosity of 1 fb-1. Leading and next-to-leading order perturbative QCD predictions are compared with the measurements, and agreement is found within the theoretical and experimental uncertainties. We also make comparisons with the predictions of four event generators. Two parton-shower-based generators show significant shape and normalization differences with respect to the data. In contrast, two generators combining tree-level matrix elements with a parton shower give a reasonable description of the the shapes observed in data, but the predicted normalizations show significant differences with respect to the data, reflecting large scale uncertainties. For specific choices of scales, the normalizations for either generator can be made to agree with the measurements.Comment: Published in PLB. 11 pages, 3 figure