A Non-Commutative Extension of MELL

We extend multiplicative exponential linear logic (MELL) by a non-commutative, self-dual logical operator. The extended system, called NEL, is defined in the formalism of the calculus of structures, which is a generalisation of the sequent calculus and provides a more refined analysis of proofs. We should then be able to extend the range of applications of MELL, by modelling a broad notion of sequentiality and providing new properties of proofs. We show some proof theoretical results: decomposition and cut elimination. The new operator represents a significant challenge: to get our results we use here for the first time some novel techniques, which constitute a uniform and modular approach to cut elimination, contrary to what is possible in the sequent calculus

Untyping Typed Algebras and Colouring Cyclic Linear Logic

We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be derived from the underlying untyped equations. As a consequence, the corresponding untyped decision procedures can be extended for free to the typed settings. Some of these theorems are obtained via a detour through fragments of cyclic linear logic, and give rise to a substantial optimisation of standard proof search algorithms.Comment: 21

Lady Gaga as (dis)simulacrum of monstrosity

Lady Gaga’s celebrity DNA revolves around the notion of monstrosity, an extensively researched concept in postmodern cultural studies. The analysis that is offered in this paper is largely informed by Deleuze and Guattari’s notion of monstrosity, as well as by their approach to the study of sign-systems that was deployed in A Thousand Plateaus. By drawing on biographical and archival visual data, with a focus on the relatively underexplored live show, an elucidation is afforded of what is really monstrous about Lady Gaga. The main argument put forward is that monstrosity as sign seeks to appropriate the horizon of unlimited semiosis as radical alterity and openness to signifying possibilities. In this context it is held that Gaga effectively delimits her unique semioscape; however, any claims to monstrosity are undercut by the inherent limits of a representationalist approach in sufficiently engulfing this concept. Gaga is monstrous for her community insofar as she demands of her fans to project their semiosic horizon onto her as a simulacrum of infinite semiosis. However, this simulacrum may only be evinced in a feigned manner as a (dis)simulacrum. The analysis of imagery from seminal live shows during 2011–2012 shows that Gaga’s presumed monstrosity is more akin to hyperdifferentiation as simultaneous employment of heterogeneous and potentially dissonant inter pares cultural representations. The article concludes with a problematisation of audience effects in the light of Gaga’s adoption of a schematic and post-representationalist strategy in the event of her strategy’s emulation by competitive artists

Implementing street triage: a qualitative study of collaboration between police and mental health services.

BACKGROUND: Street Triage is a collaborative service between mental health workers and police which aims to improve the emergency response to individuals experiencing crisis, but peer reviewed evidence of the effectiveness of these services is limited. We examined the design and potential impact of two services, along with factors that hindered and facilitated the implementation of the services. METHODS: We conducted 14 semi-structured interviews with mental health and police stakeholders with experience of a Street Triage service in two locations of the UK. Framework analysis identified themes related to key aspects of the Street Triage service, perceived benefits of Street Triage, and ways in which the service could be developed in the future. RESULTS: Stakeholders endorsed the Street Triage services which utilised different operating models. These models had several components including a joint response vehicle or a mental health worker in a police control room. Operating models were developed with consideration of the local geographical and population density. The ability to make referrals to the existing mental health service was perceived as key to the success of the service yet there was evidence to suggest Street Triage had the potential to increase pressure on already stretched mental health and police services. Identifying staff with skills and experience for Street Triage work was important, and their joint response resulted in shared decision making which was less risk averse for the police and regarded as in the interest of patient care by mental health professionals. Collaboration during Street Triage improved the understanding of roles and responsibilities in the 'other' agency and led to the development of local information sharing agreements. Views about the future direction of the service focused on expansion of Street Triage to address other shared priorities such as frequent users of police and mental health services, and a reduction in the police involvement in crisis response. CONCLUSION: The Street Triage service received strong support from stakeholders involved in it. Referral to existing health services is a key function of Street Triage, and its impact on referral behaviour requires rigorous evaluation. Street Triage may result in improvement to collaborative working but competing demands for resources within mental health and police services presented challenges for implementation

Direct photon elliptic flow in Pb-Pb collisions at root s(NN)=2.76 TeV

The elliptic flow of inclusive and direct photons was measured at mid-rapidity in two centrality classes 0-20% and 20-40% in Pb-Pb collisions at root s(NN) = 2.76 TeV by ALICE. Photons were detected with the highly segmented electromagnetic calorimeter PHOS and via conversions in the detector material with the e(broken vertical bar)e pairs reconstructed in the central tracking system. The results of the two methods were combined and the direct-photon elliptic flow was extracted in the transverse momentum range 0.9 < p(T) < 6.2 GeV/c. A comparison to RHIC data shows a similar magnitude of the measured direct-photon elliptic flow. Hydrodynamic and transport model calculations are systematically lower than the data, but are found to be compatible. (C) 2018 The Author. Published by Elsevier B.V.Peer reviewe

Higher moment fluctuations of identified particle distributions from ALICE

Cumulants of conserved charges fluctuations are regarded as a potential tool to study the criticality in the QCD phase diagram and to determine the freeze-out parameters in a model-independent way. At LHC energies, the measurements of the ratio of the net-baryon (net-proton) cumulants can be used to test the lattice QCD predictions. In this work, we present the first measurements of cumulants of the net-proton number distributions up to $4^{th}$ order in Pb--Pb collisions at $\sqrt{s_{\mathrm{NN}}}$ = 2.76 and 5.02 TeV as a function of collision centrality. We compare our cumulant ratios results with the STAR experiment net-proton results measured in the first phase of the Beam Energy Scan program at RHIC. The results can be used to obtain the chemical freeze-out parameters at LHC.Comment: 4 pages, 3 figures, Proceedings of XXVIIth International Conference on Ultrarelativistic Nucleus-Nucleus Collisions (Quark Matter 2018

Spin alignment measurements using vector mesons with ALICE detector at the LHC

We present new measurements related to spin alignment of K*(0) vector mesons at mid-rapidity for Pb-Pb collisions at root s(NN) = 2.76 and 5.02 TeV. The spin alignment measurements are carried out with respect to production plane and 2nd order event plane. At low p(T) the spin density matrix element rho(00) for K*(0) is found to have values slightly below 1/3, while it is consistent with 1/3, i.e. no spin alignment, at high p(T). Similar values of rho(00) are observed with respect to both production plane and event plane. Within statistical and systematic uncertainties, rho(00) values are also found to be independent of root s(NN). rho(00) also shows centrality dependence with maximum deviation from 1/3 for mid-central collisions with respect to both the kinematic planes. The measurements for K*(0) in pp collisions at root s = 13 TeV and for K-s(0) (a spin 0 hadron) in 20-40\% central Pb-Pb collisions at root s(NN) = 2.76 TeV are consistent with no spin alignment

Muon physics at forward rapidity with the ALICE detector upgrade

ALICE is the experiment specifically designed to study the Quark-Gluon Plasma (QGP) in heavy-ion collisions at the CERN LHC. The ALICE detector will be upgraded during the Long Shutdown 2, planned for 2019-2020, in order to cope with the maximum interaction rate of 50 kHz of Pb-Pb collisions foreseen for Runs 3 and 4. The ambitious programme of high-precision measurements, expected for muon physics after 2020, requires an upgrade of the front-end and readout electronics of the existing Muon Spectrometer. This concerns the Cathode Pad Chambers (CPC) used for tracking and the Resistive Plate Chambers (RPC) used for triggering and for muon identification. The Muon Forward Tracker (MFT), an internal tracker added in front of the front absorber of the existing Muon Spectrometer, is also part of the ALICE detector upgrade programme. It is based on an assembly of circular planes made of Monolithic Active Pixel Sensors (MAPS), covering the pseudorapidity range 2.5 < eta < 3.6. The MFT will improve present measurements and enable new ones. A selection of results from physics performance studies will be presented, together with an overview of the technical aspects of the upgrade project

Measuring (KSK +/-)-K-0 interactions using pp collisions at root s=7 TeV

We present the first measurements of femtoscopic correlations between the K-S(0) and K-+/- particles in pp collisions at root s = 7 TeV measured by the ALICE experiment. The observed femtoscopic correlations are consistent with final-state interactions proceeding solely via the a(0)(980) resonance. The extracted kaon source radius and correlation strength parameters for (KSK-)-K-0 are found to be equal within the experimental uncertainties to those for (KSK+)-K-0. Results of the present study are compared with those from identical-kaon femtoscopic studies also performed with pp collisions at root s = 7 TeV by ALICE and with a (KSK +/-)-K-0 measurement in Pb-Pb collisions at root s(NN) = 2.76 TeV. Combined with the Pb-Pb results, our pp analysis is found to be compatible with the interpretation of the a (980) having a tetraquark structure instead of that of a diquark. (C) 2018 Published by Elsevier B.V.Peer reviewe

Light (anti-)nuclei production and elliptic flow at the LHC with ALICE

Results on the production of stable light nuclei, including deuterons, He-3, He-4 and the corresponding anti-nuclei, in Pb-Pb collisions at root s(NN) = 2.76 TeV and root s(NN) = 5.02 TeV are presented and compared with theoretical predictions and with the results in small systems to provide insight into the production mechanisms of (anti-)nuclei at colliders. The experimental results are presented giving a critical view of their comparison to the expectations from coalescence and hydrodynamic models that aim at describing both the p(T)-spectra and the elliptic flow