Focusing in Asynchronous Games

Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as games on which proofs induce strategies. We are specifically interested here in relating two such semantics of linear logic, of very different flavor, which both take in account concurrent features of the proofs: asynchronous games and concurrent games. Interestingly, we show that associating a concurrent strategy to an asynchronous strategy can be seen as a semantical counterpart of the focusing property of linear logic

Monitoraggio biologico ed esposizione a silice: applicazione di nuovi indicatori di dose e di effetto

In 16 addetti alla produzione di marmi ricomposti è stato misurato Si-CAE, è stata eseguita una spirometria e sono stati dosati 8oxoGua, 8oxoGuo, 8oxodGuo, SP-A, SP-D, CC16 e HO-1. Si sono osservati valori spirometrici (FVC e FEV1) più bassi nei lavoratori rispetto ai controlli. Nei lavoratori abbiamo osservato livelli più elevati dei seguenti marcatori: Si-CAE, 8oxoGuo ed espressione di HO-1. Lo studio evidenzia che l’esposizione a silice può aumentare i livelli di Si-CAE, che può essere usato per stimare la dose al bersaglio. Infine si evidenziavano aspecifiche alterazioni spirometriche ed un aumento di biomarcatori d’effetto

Experimental study of fusion neutron and proton yields produced by petawatt-laser-irradiated D2-3He or CD4-3He clustering gases

We report on experiments in which the Texas Petawatt laser irradiated a mixture of deuterium or deuterated methane clusters and helium-3 gas, generating three types of nuclear fusion reactions: D(d, 3He)n, D(d, t)p and 3He(d, p)4He. We measured the yields of fusion neutrons and protons from these reactions and found them to agree with yields based on a simple cylindrical plasma model using known cross sections and measured plasma parameters. Within our measurement errors, the fusion products were isotropically distributed. Plasma temperatures, important for the cross sections, were determined by two independent methods: (1) deuterium ion time-of-flight, and (2) utilizing the ratio of neutron yield to proton yield from D(d, 3He)n and 3He(d, p)4He reactions, respectively. This experiment produced the highest ion temperature ever achieved with laser-irradiated deuterium clusters.Comment: 16 pages, 6 figure

Temperature measurements of fusion plasmas produced by petawatt laser-irradiated D2-3He or CD4-3He clustering gases

Two different methods have been employed to determine the plasma temperature in a laser-cluster fusion experiment on the Texas Petawatt laser. In the first, the temperature was derived from time-of-flight data of deuterium ions ejected from exploding D2 or CD4 clusters. In the second, the temperature was measured from the ratio of the rates of two different nuclear fusion reactions occurring in the plasma at the same time: D(d, 3He)n and 3He(d, p)4He. The temperatures determined by these two methods agree well, which indicates that: i) The ion energy distribution is not significantly distorted when ions travel in the disassembling plasma; ii) The kinetic energy of deuterium ions, especially the hottest part responsible for nuclear fusion, is well described by a near-Maxwellian distribution.Comment: 13 pages, 4 figure