Nuclear techniques and the particulate matter pollution in big harbours

The impact of big harbours on the air quality is an important issue both from the environmental and the economical point of view. The harbour of Genoa is the largest in Italy and one of the major ports of the Mediterranean. We have determined the fraction of Particulate Matter (PM) concentration in town due to the heavy oil combustion of the diesel engines of the vessels in the harbour. This turned out to be 12% in PM10 and 25% in PM2.5 and PM1, with about 85% of the PM from this source concentrated in particles with aerodynamic diameter, Dae < 1 μm. We could also point out a link between concentration peaks of the tracers of heavy oil combustion (V and Ni) and the ferryboats traffic. The key tool in this work was the coupling between particular sampling devices and some Ion Beam Analysis (IBA) techniques, in particular Particle Induced X-ray Emission (PIXE), which belong to the broader category of nuclear techniques in applied physics

Realizability Interpretation and Normalization of Typed Call-by-Need λ\lambda-calculus With Control

We define a variant of realizability where realizers are pairs of a term and a substitution. This variant allows us to prove the normalization of a simply-typed call-by-need \lambda$-$calculus with control due to Ariola et al. Indeed, in such call-by-need calculus, substitutions have to be delayed until knowing if an argument is really needed. In a second step, we extend the proof to a call-by-need \lambda$$-calculus equipped with a type system equivalent to classical second-order predicate logic, representing one step towards proving the normalization of the call-by-need classical second-order arithmetic introduced by the second author to provide a proof-as-program interpretation of the axiom of dependent choice

Antipsychotics and Torsadogenic Risk: Signals Emerging from the US FDA Adverse Event Reporting System Database

Background: Drug-induced torsades de pointes (TdP) and related clinical entities represent a current regulatory and clinical burden. Objective: As part of the FP7 ARITMO (Arrhythmogenic Potential of Drugs) project, we explored the publicly available US FDA Adverse Event Reporting System (FAERS) database to detect signals of torsadogenicity for antipsychotics (APs). Methods: Four groups of events in decreasing order of drug-attributable risk were identified: (1) TdP, (2) QT-interval abnormalities, (3) ventricular fibrillation/tachycardia, and (4) sudden cardiac death. The reporting odds ratio (ROR) with 95 % confidence interval (CI) was calculated through a cumulative analysis from group 1 to 4. For groups 1+2, ROR was adjusted for age, gender, and concomitant drugs (e.g., antiarrhythmics) and stratified for AZCERT drugs, lists I and II (http://www.azcert.org, as of June 2011). A potential signal of torsadogenicity was defined if a drug met all the following criteria: (a) four or more cases in group 1+2; (b) significant ROR in group 1+2 that persists through the cumulative approach; (c) significant adjusted ROR for group 1+2 in the stratum without AZCERT drugs; (d) not included in AZCERT lists (as of June 2011). Results: Over the 7-year period, 37 APs were reported in 4,794 cases of arrhythmia: 140 (group 1), 883 (group 2), 1,651 (group 3), and 2,120 (group 4). Based on our criteria, the following potential signals of torsadogenicity were found: amisulpride (25 cases; adjusted ROR in the stratum without AZCERT drugs = 43.94, 95 % CI 22.82-84.60), cyamemazine (11; 15.48, 6.87-34.91), and olanzapine (189; 7.74, 6.45-9.30). Conclusions: This pharmacovigilance analysis on the FAERS found 3 potential signals of torsadogenicity for drugs previously unknown for this risk

The Contribution of National Spontaneous Reporting Systems to Detect Signals of Torsadogenicity: Issues Emerging from the ARITMO Project

Introduction: Spontaneous reporting systems (SRSs) are pivotal for signal detection, especially for rare events with a high drug-attributable component, such as torsade de pointes (TdP). Use of different national SRSs is rarely attempted because of inherent difficulties, but should be considered on the assumption that rare events are diluted in international databases. Objective: The aim was to describe TdP-related events associated with antipsychotics, H1-antihistamines and anti-infectives in three national SRSs (in Italy, Germany and France) and highlight potential signals of torsadogenicity through a combined literature evaluation. Methods: A common search strategy was applied to extract TdP-related events: (1) TdP, (2) QT interval abnormalities, (3) ventricular fibrillation/tachycardia, and (4) sudden cardiac death. Signals of disproportionate reporting (SDRs) were calculated for TdP + QT interval abnormalities and defined by a lower limit of the 95 % confidence interval of the reporting odds ratio (ROR) >1. Among SDRs with at least three cases without concomitant pro-arrhythmic drugs, we defined potential new signal of torsadogenicity as drugs with no published evidence from (a) the crediblemeds® website (http://www.crediblemeds.com, as of November 1st, 2014); (b) studies on the FDA Adverse Event Reporting System (FAERS); and (c) safety trials or pharmaco-epidemiological studies (as of December 16th, 2014). Results: Overall, 3505 cases were retrieved (1372, 1468, and 801 for France, Germany and Italy, respectively). Antipsychotics were mainly recorded in Germany (792 cases), whereas antibiotics peaked at 515 and 491 (France and Italy, respectively). Forty-one drugs met criteria for SDRs in at least one single source, of which 31 were detected only from one single SRS: 18, ten and three (French, German and Italian SRS, respectively). By contrast, only five SDRs were detected in all national data sources (amisulpride, aripiprazole, haloperidol, olanzapine, risperidone). Overall, five potential new signals of torsadogenicity were identified: flupentixol, ganciclovir, levocetirizine, oxatomide and tiapride. Conclusions: We found differences across and within national SRSs in the reporting of drug-induced TdP, which finally resulted in five potential new signals of torsadogenicity. These findings warrant targeted pharmacovigilance studies to formally assess the existence of actual drug–event associations

Therapeutic immunization with HIV-1 Tat reduces immune activation and loss of regulatory T-cells and improves immune function in subjects on HAART.

Although HAART suppresses HIV replication, it is often unable to restore immune homeostasis. Consequently, non-AIDS-defining diseases are increasingly seen in treated individuals. This is attributed to persistent virus expression in reservoirs and to cell activation. Of note, in CD4(+) T cells and monocyte-macrophages of virologically-suppressed individuals, there is continued expression of multi-spliced transcripts encoding HIV regulatory proteins. Among them, Tat is essential for virus gene expression and replication, either in primary infection or for virus reactivation during HAART, when Tat is expressed, released extracellularly and exerts, on both the virus and the immune system, effects that contribute to disease maintenance. Here we report results of an ad hoc exploratory interim analysis (up to 48 weeks) on 87 virologically-suppressed HAART-treated individuals enrolled in a phase II randomized open-label multicentric clinical trial of therapeutic immunization with Tat (ISS T-002). Eighty-eight virologically-suppressed HAART-treated individuals, enrolled in a parallel prospective observational study at the same sites (ISS OBS T-002), served for intergroup comparison. Immunization with Tat was safe, induced durable immune responses, and modified the pattern of CD4(+) and CD8(+) cellular activation (CD38 and HLA-DR) together with reduction of biochemical activation markers and persistent increases of regulatory T cells. This was accompanied by a progressive increment of CD4(+) T cells and B cells with reduction of CD8(+) T cells and NK cells, which were independent from the type of antiretroviral regimen. Increase in central and effector memory and reduction in terminally-differentiated effector memory CD4(+) and CD8(+) T cells were accompanied by increases of CD4(+) and CD8(+) T cell responses against Env and recall antigens. Of note, more immune-compromised individuals experienced greater therapeutic effects. In contrast, these changes were opposite, absent or partial in the OBS population. These findings support the use of Tat immunization to intensify HAART efficacy and to restore immune homeostasis. TRIAL REGISTRATION: ClinicalTrials.gov NCT00751595

Sound and Complete Typing for lambda-mu

In this paper we define intersection and union type assignment for Parigot's calculus lambda-mu. We show that this notion is complete (i.e. closed under subject-expansion), and show also that it is sound (i.e. closed under subject-reduction). This implies that this notion of intersection-union type assignment is suitable to define a semantics.Comment: In Proceedings ITRS 2010, arXiv:1101.410

Development and Validation of a Tokamak Skin Effect Transformer model

A control oriented, lumped parameter model for the tokamak transformer including the slow flux penetration in the plasma (skin effect transformer model) is presented. The model does not require detailed or explicit information about plasma profiles or geometry. Instead, this information is lumped in system variables, parameters and inputs. The model has an exact mathematical structure built from energy and flux conservation theorems, predicting the evolution and non linear interaction of the plasma current and internal inductance as functions of the primary coil currents, plasma resistance, non-inductive current drive and the loop voltage at a specific location inside the plasma (equilibrium loop voltage). Loop voltage profile in the plasma is substituted by a three-point discretization, and ordinary differential equations are used to predict the equilibrium loop voltage as function of the boundary and resistive loop voltages. This provides a model for equilibrium loop voltage evolution, which is reminiscent of the skin effect. The order and parameters of this differential equation are determined empirically using system identification techniques. Fast plasma current modulation experiments with Random Binary Signals (RBS) have been conducted in the TCV tokamak to generate the required data for the analysis. Plasma current was modulated in Ohmic conditions between 200kA and 300kA with 30ms rise time, several times faster than its time constant L/R\approx200ms. The model explains the most salient features of the plasma current transients without requiring detailed or explicit information about resistivity profiles. This proves that lumped parameter modeling approach can be used to predict the time evolution of bulk plasma properties such as plasma inductance or current with reasonable accuracy; at least in Ohmic conditions without external heating and current drive sources

Development of a concept and basis for the DEMO diagnostic and control system

An initial concept for the plasma diagnostic and control (D&C) system has been developed as part of European studies towards the development of a demonstration tokamak fusion reactor (DEMO). The main objective is to develop a feasible, integrated concept design of the DEMO D&C system that can provide reliable plasma control and high performance (electricity output) over extended periods of operation. While the fusion power is maximized when operating near to the operational limits of the tokamak, the reliability of operation typically improves when choosing parameters significantly distant from these limits. In addition to these conflicting requirements, the D&C development has to cope with strong adverse effects acting on all in vessel components on DEMO (harsh neutron environment, particle fluxes, temperatures, electromagnetic forces, etc.). Moreover, space allocation and plasma access are constrained by the needs for first wall integrity and optimization of tritium breeding. Taking into account these boundary conditions, the main DEMO plasma control issues have been formulated, and a list of diagnostic systems and channels needed for plasma control has been developed, which were selected for their robustness and the required coverage of control issues. For a validation and refinement of this concept, simulation tools are being refined and applied for equilibrium, kinetic and mode control studies

First Plasma Operation of the Enhanced JET Vertical Stabilisation System First Plasma Operation of the Enhanced JET Vertical Stabilisation System

AbstrAct A project dedicated to the enhancement of the JET Vertical Stabilization system was launched in 2006, including an upgrade of the Power Supply of the Radial Field Amplifier, of hardware and software of the VS control system. The main aim was to double the JET capability in stabilising high current plasmas when subject to perturbations, in particular large Edge Localised Modes. We present here the results of first plasma operation with the new Enhanced Radial Field Amplifier and its data acquisition and control system, focussing on the benefits of an approach based on phased commissioning, modelling and offline algorithm validation

DTT - Divertor Tokamak Test facility: A testbed for DEMO

The effective treatment of the heat and power exhaust is a critical issue in the road map to the realization of the fusion energy. In order to provide possible, reliable, well assessed and on-time answers to DEMO, the Divertor Tokamak Test facility (DTT) has been conceived and projected to be carried out and operated within the European strategy in fusion technology. This paper, based on the invited plenary talk at the 31st virtual SOFT Conference 2020, provides an overview of the DTT scientific proposal, which is deeply illustrated in the 2019 DTT Interim Design Report