Generic Modal Cut Elimination Applied to Conditional Logics

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations of our framework to various conditional logics. For these, we obtain fully internalised calculi which are substantially simpler than those known in the literature, along with leaner proofs of cut elimination and complexity. In one case, conditional logic with modus ponens and conditional excluded middle, cut elimination and complexity were explicitly stated as open in the literature

Prospect for Charge Current Neutrino Interactions Measurements at the CERN-PS

Tensions in several phenomenological models grew with experimental results on neutrino/antineutrino oscillations at Short-Baseline (SBL) and with the recent, carefully recomputed, antineutrino fluxes from nuclear reactors. At a refurbished SBL CERN-PS facility an experiment aimed to address the open issues has been proposed [1], based on the technology of imaging in ultra-pure cryogenic Liquid Argon (LAr). Motivated by this scenario a detailed study of the physics case was performed. We tackled specific physics models and we optimized the neutrino beam through a full simulation. Experimental aspects not fully covered by the LAr detection, i.e. the measurements of the lepton charge on event-by-event basis and their energy over a wide range, were also investigated. Indeed the muon leptons from Charged Current (CC) (anti-)neutrino interactions play an important role in disentangling different phenomenological scenarios provided their charge state is determined. Also, the study of muon appearance/disappearance can benefit of the large statistics of CC muon events from the primary neutrino beam. Results of our study are reported in detail in this proposal. We aim to design, construct and install two Spectrometers at "NEAR" and "FAR" sites of the SBL CERN-PS, compatible with the already proposed LAr detectors. Profiting of the large mass of the two Spectrometers their stand-alone performances have also been exploited.Comment: 70 pages, 38 figures. Proposal submitted to SPS-C, CER

A narrow band neutrino beam with high precision flux measurements

The ENUBET facility is a proposed narrow band neutrino beam where lepton production is monitored at single particle level in the instrumented decay tunnel. This facility addresses simultaneously the two most important challenges for the next generation of cross section experiments: a superior control of the flux and flavor composition at source and a high level of tunability and precision in the selection of the energy of the outcoming neutrinos. We report here the latest results in the development and test of the instrumentation for the decay tunnel. Special emphasis is given to irradiation tests of the photo-sensors performed at INFN-LNL and CERN in 2017 and to the first application of polysiloxane-based scintillators in high energy physics.Comment: Poster presented at NuPhys2017 (London, 20-22 December 2017). 5 pages, 2 figure

A compact light readout system for longitudinally segmented shashlik calorimeters

The longitudinal segmentation of shashlik calorimeters is challenged by dead zones and non-uniformities introduced by the light collection and readout system. This limitation can be overcome by direct fiber-photosensor coupling, avoiding routing and bundling of the wavelength shifter fibers and embedding ultra-compact photosensors (SiPMs) in the bulk of the calorimeter. We present the first experimental test of this readout scheme performed at the CERN PS-T9 beamline in 2015 with negative particles in the 1-5~GeV energy range. In this paper, we demonstrate that the scheme does not compromise the energy resolution and linearity compared with standard light collection and readout systems. In addition, we study the performance of the calorimeter for partially contained charged hadrons to assess the $e/\pi$ separation capability and the response of the photosensors to direct ionization.Comment: To appear in Nuclear Instruments and Methods in Physics Research,

Hepatitis C virus and non-Hodgkin's lymphomas: Meta-analysis of epidemiology data and therapy options.

Hepatitis C virus (HCV) is a global health problem affecting a large fraction of the world\u2019s population: This virus is able to determine both hepatic and extrahepatic diseases. Mixed cryoglobulinemia, a B-cell \u201cbenign\u201d lymphoproliferative disorders, represents the most closely related as well as the most investigated HCV-related extrahepatic disorder. Since this virus is able to determine extrahepatic [non-Hodgkin\u2019s lymphoma (NHL)] as well as hepatic malignancies (hepatocellular carcinoma), HCV has been included among human cancer viruses. The most common histological types of HCV-associated NHL are the marginal zone, the lymphoplasmacytic and diffuse large cell lymphomas. The role of the HCV in the pathogenesis of the B-cell lymphoproliferative disorders is confirmed also by the responsiveness of the NHL to antiviral therapy. The purpose of this review is to provide an overview of the recent literature and a meta analysis of the epidemiology data, to explain the role of HCV in the development of NHL\u2019s lymphoma. Furthermore, the possibility to treat these HCV-related NHL with the antiviral therapy or with other therapeutic options, like chemotherapy, is also discussed

Electron/pion separation with an Emulsion Cloud Chamber by using a Neural Network

We have studied the performance of a new algorithm for electron/pion separation in an Emulsion Cloud Chamber (ECC) made of lead and nuclear emulsion films. The software for separation consists of two parts: a shower reconstruction algorithm and a Neural Network that assigns to each reconstructed shower the probability to be an electron or a pion. The performance has been studied for the ECC of the OPERA experiment [1]. The $e/\pi$ separation algorithm has been optimized by using a detailed Monte Carlo simulation of the ECC and tested on real data taken at CERN (pion beams) and at DESY (electron beams). The algorithm allows to achieve a 90% electron identification efficiency with a pion misidentification smaller than 1% for energies higher than 2 GeV

A new approach for the treatment of CLL using chlorambucil/hydroxychloroquine-loaded anti-CD20 nanoparticles

Current approaches for the treatment of chronic lymphocytic leukemia (CLL) have greatly improved the prognosis for survival, but some patients remain refractive to these therapeutic regimens. Hence, in addition to reducing the long-term sideeffects of therapeutics for all leukemia patients, there is an urgent need for novel therapeutic strategies for difficult-to-treat leukemia cases. Due to the cytotoxicity of drugs, the major challenge currently is to deliver the therapeutic agents to neoplastic cells while preserving the viability of non-malignant cells. In this study, we propose a therapeutic approach in which high doses of hydroxychloroquine and chlorambucil were loaded into biodegradable polymeric nanoparticles coated with an anti-CD20 antibody.We first demonstrated the ability of the nanoparticles to target and internalize in tumor B-cells. Moreover, these nanoparticles could kill not only p53-mutated/deleted leukemia cells expressing a low amount of CD20, but also circulating primary cells isolated from chronic lymphocytic leukemia patients. The safety of these nanoparticles was also demonstrated in healthy mice, and their therapeutic effects were shown in a new model of aggressive leukemia. These results showed that anti-CD20 nanoparticles containing hydroxychloroquine and chlorambucil can be effective in controlling aggressive leukemia and provided a rationale for adopting this approach for the treatment of other B-cell disorders. [Figure not available: see fulltext.