Elemental characterization of PM10, PM2.5 and PM1 in the town of Genoa (Italy)

The particulate matter (PM) concentration and composition, the PM10, PM2.5, PM1 fractions, were studied in the urban area of Genoa, a coastal town in the northwest of Italy. Two instruments, the continuous monitor TEOM and the sequential sampler PARTISOL, were operated almost continuously on the same site from July 2001 to September 2004. Samples collected by PARTISOL were weighted to obtain PM concentration and then analysed by PIXE (particle induced X-ray emission) and by ED-XRF (energy dispersion X-ray fluorescence), obtaining concentrations for elements from Na to Pb. Some of the filters used in the TEOM microbalance were analysed by ED-XRF to calculate Pb concentration values averaged over 7\u201330 d periods

On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control

International audienceWe construct a partially-ordered hierarchy of delimited control operators similar to those of the CPS hierarchy of Danvy and Filinski. However, instead of relying on nested CPS translations, these operators are directly interpreted in linear logic extended with subexponentials (i.e., multiple pairs of ! and ?). We construct an independent proof theory for a fragment of this logic based on the principle of focusing. It is then shown that the new constraints placed on the permutation of cuts correspond to multiple levels of delimited control

Developement of real time diagnostics and feedback algorithms for JET in view of the next step

Real time control of many plasma parameters will be an essential aspect in the development of reliable high performance operation of Next Step Tokamaks. The main prerequisites for any feedback scheme are the precise real-time determination of the quantities to be controlled, requiring top quality and highly reliable diagnostics, and the availability of robust control algorithms. A new set of real time diagnostics was recently implemented on JET to prove the feasibility of determining, with high accuracy and time resolution, the most important plasma quantities. With regard to feedback algorithms, new model–based controllers were developed to allow a more robust control of several plasma parameters. Both diagnostics and algorithms were successfully used in several experiments, ranging from H-mode plasmas to configuration with ITBs. Since elaboration of computationally heavy measurements is often required, significant attention was devoted to non-algorithmic methods like Digital or Cellular Neural/Nonlinear Networks. The real time hardware and software adopted architectures are also described with particular attention to their relevance to ITER.Comment: 12th International Congress on Plasma Physics, 25-29 October 2004, Nice (France

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

Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order

Traditionally, reasoning about programs under varying evaluation regimes (call-by-value, call-by-name etc.) was done at the meta-level, treating them as term rewriting systems. Levy’s call-by-push-value (CBPV) calculus provides a more powerful approach for reasoning, by treating CBPV terms as a common intermediate language which captures both call-by-value and call-by-name, and by allowing equational reasoning about changes to evaluation order between or within programs. We extend CBPV to additionally deal with call-by-need, which is non-trivial because of shared reductions. This allows the equational reasoning to also support call-by-need. As an example, we then prove that call-by-need and call-by-name are equivalent if nontermination is the only side-effect in the source language. We then show how to incorporate an effect system. This enables us to exploit static knowledge of the potential effects of a given expression to augment equational reasoning; thus a program fragment might be invariant under change of evaluation regime only because of knowledge of its effects

The graph rewriting calculus: confluence and expressiveness

Introduced at the end of the nineties, the Rewriting Calculus (rho-calculus, for short) is a simple calculus that uniformly integrates term-rewriting and lambda-calculus. The Rhog has been recently introduced as an extension of the rho-calculus, handling structures with cycles and sharing. The calculus over terms is naturally generalized by using unification constraints in addition to the standard rho-calculus matching constraints. This leads to a term-graph representation in an equational style where terms consist of unordered lists of equations. In this paper we show that the (linear) Rhog is confluent. The proof of this result is quite elaborated, due to the non-termination of the system and to the fact that we work on equivalence classes of terms. We also show that the Rhog can be seen as a generalization of first-order term-graph rewriting, in the sense that for any term-graph rewrite step a corresponding sequence of rewritings can be found in the Rhog

A calculus of expandable stores: Continuation-and-environment-passing style translations

LICS 2020 will be held onlineInternational audienceThe call-by-need evaluation strategy for the λ-calculus is an evaluation strategy that lazily evaluates arguments only if needed, and if so, shares computations across all places where it is needed. To implement this evaluation strategy, abstract machines require some form of global environment. While abstract machines usually lead to a better understanding of the flow of control during the execution, facilitating in particular the definition of continuation-passing style translations , the case of machines with global environments turns out to be much more subtle. The main purpose of this paper is to understand how to type a continuation-and-environment-passing style translation , that is to say how to soundly translate in continuation-passing style a calculus with global environment. To this end, we introduce Fϒ , a generic calculus to define the target of such translations. In particular, Fϒ features a data type for typed stores and a mechanism of explicit coercions witnessing store extensions along environment-passing style translations. On the logical side, this broadly amounts to a Kripke forcing-like translation mixed with a negative translation (for the continuation-passing part). Since Fϒ allows for the definition of such translations for different source calculi (call-by-need, call-by-name, call-by-value) with different type systems (simple types, system F), we claim that it precisely captures the computational content of continuation-and-environment-passing style translations

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

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