Monoidal computer III: A coalgebraic view of computability and complexity

Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a much needed high level language for theory of computation, flexible enough to allow abstracting away the low level implementation details when they are irrelevant, or taking them into account when they are genuinely needed. A salient feature of the approach through monoidal categories is the formal graphical language of string diagrams, which supports visual reasoning about programs and computations. In the present paper, we provide a coalgebraic characterization of monoidal computer. It turns out that the availability of interpreters and specializers, that make a monoidal category into a monoidal computer, is equivalent with the existence of a *universal state space*, that carries a weakly final state machine for any pair of input and output types. Being able to program state machines in monoidal computers allows us to represent Turing machines, to capture their execution, count their steps, as well as, e.g., the memory cells that they use. The coalgebraic view of monoidal computer thus provides a convenient diagrammatic language for studying computability and complexity.Comment: 34 pages, 24 figures; in this version: added the Appendi

Physicochemical Characterization of Passive Films and Corrosion Layers by Differential Admittance and Photocurrent Spectroscopy

Two different electrochemical techniques, differential admittance and photocurrent spectroscopy, for the characterization of electronic and solid state properties of passive films and corrosion layers are described and critically evaluated. In order to get information on the electronic properties of passive film and corrosion layers as well as the necessary information to locate the characteristic energy levels of the passive film/electrolyte junction like: flat band potential (Ufb), conduction band edge (EC) or valence band edge (EV), a wide use of Mott-Schottky plots is usually reported in corrosion science and passivity studies. It has been shown, in several papers, that the use of simple M-S theory to get information on the electronic properties and energy levels location at the film/electrolyte interface can be seriously misleading and/or conflicting with the physical basis underlying the M-S theory. A critical appraisal of this approach to the study of very thin and thick anodic passive film grown on base-metals (Cr, Ni, Fe, SS etc..) or on valve metals (Ta, Nb, W etc..) is reported in this work, together with possible alternative approach to overcome some of the mentioned inconsistencies. At this aim the theory of amorphous semiconductor Schottky barrier, introduced several years ago in the study of passive film/electrolyte junction, is reviewed by taking into account some of the more recent results obtained by the present authors. Future developments of the theory appears necessary to get more exact quantitative information on the electronic properties of passive films, specially in the case of very thin film like those formed on base metals and their alloys. The second technique described in this chapter, devoted to the physico-chemical characterization of passive film and corrosion layers, is a more recent technique based on the analysis of the photo-electrochemical answer of passive film/electrolyte junction under illumination with photons having suitable energy. Such a technique usually referred to as Photocurrent Spectroscopy (PCS) has been developed on the basis of the large research effort carried out by several groups in the 1970’s and aimed to investigate the possible conversion of solar energy by means of electrochemical cells. In this work the fundamentals of semiconductor/electrolyte junctions under illumination will be highlighted both for crystalline and amorphous materials. The role of amorphous nature and film thickness on the photo-electrochemical answer of passive film/solution interface is reviewed as well the use of PCS for quantitative analysis of the film composition based on a semi-empirical correlation between optical band gap and difference of electronegativity of film constituents previously suggested by the present authors. In this frame the results of PCS studies on valve metal oxides and valve metal mixed oxides will be discussed in order to show the validity of the proposed method. The results of PCS studies aimed to get information on passive film composition and carried out by different authors on base metals (Fe, Cr, Ni) and their alloys, including stainless steel, will be also compared with compositional analysis carried out by well-established surface analysis techniques

A change in the optical polarization associated with a gamma-ray flare in the blazar 3C 279

It is widely accepted that strong and variable radiation detected over all accessible energy bands in a number of active galaxies arises from a relativistic, Doppler-boosted jet pointing close to our line of sight. The size of the emitting zone and the location of this region relative to the central supermassive black hole are, however, poorly known, with estimates ranging from light-hours to a light-year or more. Here we report the coincidence of a gamma-ray flare with a dramatic change of optical polarization angle. This provides evidence for co-spatiality of optical and gamma-ray emission regions and indicates a highly ordered jet magnetic field. The results also require a non-axisymmetric structure of the emission zone, implying a curved trajectory for the emitting material within the jet, with the dissipation region located at a considerable distance from the black hole, at about 10^5 gravitational radii.Comment: Published in Nature issued on 18 February 2010. Corresponding authors: Masaaki Hayashida and Greg Madejsk

Multi-messenger observations of a binary neutron star merger

On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of ~1.7 s with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg2 at a luminosity distance of 40+8-8 Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 Mo. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at ~40 Mpc) less than 11 hours after the merger by the One- Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded within 48 hours. Optical and infrared observations showed a redward evolution over ~10 days. Following early non-detections, X-ray and radio emission were discovered at the transient’s position ~9 and ~16 days, respectively, after the merger. Both the X-ray and radio emission likely arise from a physical process that is distinct from the one that generates the UV/optical/near-infrared emission. No ultra-high-energy gamma-rays and no neutrino candidates consistent with the source were found in follow-up searches. These observations support the hypothesis that GW170817 was produced by the merger of two neutron stars in NGC4993 followed by a short gamma-ray burst (GRB 170817A) and a kilonova/macronova powered by the radioactive decay of r-process nuclei synthesized in the ejecta

Reconstruction of primary vertices at the ATLAS experiment in Run 1 proton–proton collisions at the LHC

This paper presents the method and performance of primary vertex reconstruction in proton–proton collision data recorded by the ATLAS experiment during Run 1 of the LHC. The studies presented focus on data taken during 2012 at a centre-of-mass energy of √s=8 TeV. The performance has been measured as a function of the number of interactions per bunch crossing over a wide range, from one to seventy. The measurement of the position and size of the luminous region and its use as a constraint to improve the primary vertex resolution are discussed. A longitudinal vertex position resolution of about 30μm is achieved for events with high multiplicity of reconstructed tracks. The transverse position resolution is better than 20μm and is dominated by the precision on the size of the luminous region. An analytical model is proposed to describe the primary vertex reconstruction efficiency as a function of the number of interactions per bunch crossing and of the longitudinal size of the luminous region. Agreement between the data and the predictions of this model is better than 3% up to seventy interactions per bunch crossing

von Willebrand disease: proposing definitions for future research

Thrombosis and Hemostasi

Low in‑hospital mortality rate in patients with COVID‑19 receiving thromboprophylaxis: data from the multicentre observational START‑COVID Register

Abstract COVID-19 infection causes respiratory pathology with severe interstitial pneumonia and extra-pulmonary complications; in particular, it may predispose to thromboembolic disease. The current guidelines recommend the use of thromboprophylaxis in patients with COVID-19, however, the optimal heparin dosage treatment is not well-established. We conducted a multicentre, Italian, retrospective, observational study on COVID-19 patients admitted to ordinary wards, to describe clinical characteristic of patients at admission, bleeding and thrombotic events occurring during hospital stay. The strategies used for thromboprophylaxis and its role on patient outcome were, also, described. 1091 patients hospitalized were included in the START-COVID-19 Register. During hospital stay, 769 (70.7%) patients were treated with antithrombotic drugs: low molecular weight heparin (the great majority enoxaparin), fondaparinux, or unfractioned heparin. These patients were more frequently affected by comorbidities, such as hypertension, atrial fibrillation, previous thromboembolism, neurological disease,and cancer with respect to patients who did not receive thromboprophylaxis. During hospital stay, 1.2% patients had a major bleeding event. All patients were treated with antithrombotic drugs; 5.4%, had venous thromboembolism [30.5% deep vein thrombosis (DVT), 66.1% pulmonary embolism (PE), and 3.4% patients had DVT + PE]. In our cohort the mortality rate was 18.3%. Heparin use was independently associated with survival in patients aged ≥ 59 years at multivariable analysis. We confirmed the high mortality rate of COVID-19 in hospitalized patients in ordinary wards. Treatment with antithrombotic drugs is significantly associated with a reduction of mortality rates especially in patients older than 59 years

Analysis of Mycobacterium tuberculosis-Specific CD8 T-Cells in Patients with Active Tuberculosis and in Individuals with Latent Infection

CD8 T-cells contribute to control of Mycobacterium tuberculosis infection, but little is known about the quality of the CD8 T-cell response in subjects with latent infection and in patients with active tuberculosis disease. CD8 T-cells recognizing epitopes from 6 different proteins of Mycobacterium tuberculosis were detected by tetramer staining. Intracellular cytokines staining for specific production of IFN-γ and IL-2 was performed, complemented by phenotyping of memory markers on antigen-specific CD8 T-cells. The ex-vivo frequencies of tetramer-specific CD8 T-cells in tuberculous patients before therapy were lower than in subjects with latent infection, but increased at four months after therapy to comparable percentages detected in subjects with latent infection. The majority of CD8 T-cells from subjects with latent infection expressed a terminally-differentiated phenotype (CD45RA+CCR7−). In contrast, tuberculous patients had only 35% of antigen-specific CD8 T-cells expressing this phenotype, while containing higher proportions of cells with an effector memory- and a central memory-like phenotype, and which did not change significantly after therapy. CD8 T-cells from subjects with latent infection showed a codominance of IL-2+/IFN-γ+ and IL-2−/IFN-γ+ T-cell populations; interestingly, only the IL-2+/IFN-γ+ population was reduced or absent in tuberculous patients, highly suggestive of a restricted functional profile of Mycobacterium tuberculosis-specific CD8 T-cells during active disease. These results suggest distinct Mycobacterium tuberculosis specific CD8 T-cell phenotypic and functional signatures between subjects which control infection (subjects with latent infection) and those who do not (patients with active disease)

A New Method for the Characterization of Strain-Specific Conformational Stability of Protease-Sensitive and Protease-Resistant PrPSc

Although proteinacious in nature, prions exist as strains with specific self-perpetuating biological properties. Prion strains are thought to be associated with different conformers of PrPSc, a disease-associated isoform of the host-encoded cellular protein (PrPC). Molecular strain typing approaches have been developed which rely on the characterization of protease-resistant PrPSc. However, PrPSc is composed not only of protease-resistant but also of protease-sensitive isoforms. The aim of this work was to develop a protocol for the molecular characterization of both, protease-resistant and protease-sensitive PrPSc aggregates. We first set up experimental conditions which allowed the most advantageous separation of PrPC and PrPSc by means of differential centrifugation. The conformational solubility and stability assay (CSSA) was then developed by measuring PrPSc solubility as a function of increased exposure to GdnHCl. Brain homogenates from voles infected with human and sheep prion isolates were analysed by CSSA and showed strain-specific conformational stabilities, with mean [GdnHCl]1/2 values ranging from 1.6 M for MM2 sCJD to 2.1 for scrapie and to 2.8 M for MM1/MV1 sCJD and E200K gCJD. Interestingly, the rank order of [GdnHCl]1/2 values observed in the human and sheep isolates used as inocula closely matched those found following transmission in voles, being MM1 sCJD the most resistant (3.3 M), followed by sheep scrapie (2.2 M) and by MM2 sCJD (1.6 M). In order to test the ability of CSSA to characterise protease-sensitive PrPSc, we analysed sheep isolates of Nor98 and compared them to classical scrapie isolates. In Nor98, insoluble PrPSc aggregates were mainly protease-sensitive and showed a conformational stability much lower than in classical scrapie. Our results show that CSSA is able to reveal strain-specified PrPSc conformational stabilities of protease-resistant and protease-sensitive PrPSc and that it is a valuable tool for strain typing in natural hosts, such as humans and sheep