The very low angle detector for high-energy inelastic neutron scattering on the VESUVIO spectrometer

The Very Low Angle Detector (VLAD) bank has been installed on the VESUVIO spectrometer at the ISIS spallation neutron source. The new device allows for high-energy inelastic neutron scattering measurements, at energies above 1 eV, maintaining the wave vector transfer lower than 10 A^- 1. This opens a still unexplored region of the kinematical (q,w) space, enabling new and challenging experimental investigations in condensed matter. This paper describes the main instrumental features of the VLAD device, including instrument design, detector response, and calibration procedure

Diamond detector for high rate monitors of fast neutrons beams

A fast neutron detection system suitable for high rate measurements is presented. The detector is based on a commercial high purity single crystal diamond (SDD) coupled to a fast digital data acquisition system. The detector was tested at the ISIS pulsed spallation neutron source. The SDD event signal was digitized at 1 GHz to reconstruct the deposited energy (pulse amplitude) and neutron arrival time; the event time of flight (ToF) was obtained relative to the recorded proton beam signal t0. Fast acquisition is needed since the peak count rate is very high (~800 kHz) due to the pulsed structure of the neutron beam. Measurements at ISIS indicate that three characteristics regions exist in the biparametric spectrum: i) background gamma events of low pulse amplitudes; ii) low pulse amplitude neutron events in the energy range Edep = 1.5-7 MeV ascribed to neutron elastic scattering on 12C; iii) large pulse amplitude neutron events with En < 7 MeV ascribed to 12C(n,α)9Be and 12C(n,n')3α

Texture and structure studies on marbles from Villa Adriana via neutron diffraction technique

The primary objective of this work is the characterisation of ancient roman marble fragments through neutron diffraction, a non-destructive experimental method. The neutron diffractometer ROTAX, operating at the pulsed neutron source ISIS, in the UK has been used to determine composition down to a 0.5 wt% level and to obtain information on preferred orientations of grains in the marble tiles

Study of archaeological samples via neutron techniques

The discovery of ancient artefacts and artworks usually raises a variety of questions such as the correct determination of their historical and cultural timeframe, the place and method of production, the choice of treatments and conditions for restoration and preservation. In the field of archaeometry, new perspectives are opened up by the use of neutron techniques. Results on a selection of archaeological samples, Etruscan bronzes coming from the Museo Nazionale di Villa Giulia and Roman marbles from Villa Adriana (Tivoli, Rome), are presented. ANCIENT CHARM project aims to develop a quantitative 3D imaging technique. This work presents some of results on a series of experimental investigation performed on test samples called “Black Boxes”. Elements’ and compounds’ identification on the internal features of the boxes are obtained by the combined use of different neutron analysis methods. The presented studies successfully showed the high potential of neutron techniques in the study of ancient archaeological artefacts

Childbearing intentions in a low fertility context: the case of Romania

This paper applies the Theory of Planned Behaviour (TPB) to find out the predictors of fertility intentions in Romania, a low-fertility country. We analyse how attitudes, subjective norms and perceived behavioural control relate to the intention to have a child among childless individuals and one-child parents. Principal axis factor analysis confirms which items proposed by the Generation and Gender Survey (GGS 2005) act as valid and reliable measures of the suggested theoretical socio-psychological factors. Four parity-specific logistic regression models are applied to evaluate the relationship between the socio-psychological factors and childbearing intentions. Social pressure emerges as the most important aspect in fertility decision-making among childless individuals and one-child parents, and positive attitudes towards childbearing are a strong component in planning for a child. This paper also underlines the importance of the region-specific factors when studying childbearing intentions: planning for the second child significantly differs among the development regions, representing the cultural and socio-economic divisions of the Romanian territory

Time-stability of a Single-crystal Diamond Detector for fast neutron beam diagnostic under alpha and neutron irradiation

Single-crystal Diamond Detectors (SDDs), due to their good charge carrier transport properties, low leakage and therefore good energy resolution, are good candidates for fast neutron measurement on pulsed spallation sources and fusion plasma experiments. Moreover, diamonds are known to be resistant to neutron irradiation. Nevertheless, measurements show transient effects during irradiation with ionizing particles, as the alpha particle calibration sources. The decrease of the detector counting rate of a counting chain and the pulse height are interpreted as due to a charge trapping inside the detector, which modifies the drift electric field. These instabilities are strongly dependent on the specific type of the interaction. Measurements have been carried out with both alpha particles in the laboratory and neutrons at the ISIS neutron spallation source. We show that these polarization effects are not permanent: the detector performances can be restored by simply inverting the detector bias high voltage. Prime Novelty Statement The measurements described in the paper were performed in order to study the polarization effect in Single-crystal Diamond Detector. This effect was observed under alpha particle and neutron irradiation. With the Transient Current Technique an interpretation of the effect is given

Multi-player games with LDL goals over finite traces

Linear Dynamic Logic on finite traces (LDLF) is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems. In this paper, we investigate techniques for both the characterisation and verification of equilibria in multi-player games with goals/objectives expressed using logics based on LDLF. This study builds upon a generalisation of Boolean games, a logic-based game model of multi-agent systems where players have goals succinctly represented in a logical way. Because LDLF goals are considered, in the settings we study—Reactive Modules games and iterated Boolean games with goals over finite traces—players' goals can be defined to be regular properties while achieved in a finite, but arbitrarily large, trace. In particular, using alternating automata, the paper investigates automata-theoretic approaches to the characterisation and verification of (pure strategy Nash) equilibria, shows that the set of Nash equilibria in multi-player games with LDLF objectives is regular, and provides complexity results for the associated automata constructions

Equilibrium design for concurrent games

In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we study the design of incentives so that a desirable equilibrium is obtained, for instance, an equilibrium satisfying a given temporal logic property—a problem that we call equilibrium design. We base our study on a framework wheresystem specifications are represented as temporal logic formulae, games as quantitative concurrent game structures, and players’ goals as mean-payoff objectives. In particular, we consider system specifications given by LTL and GR(1) formulae, and show that implementing a mechanism to ensure that a given temporal logic property is satisfied on some/every Nash equilibrium of the game, whenever such a mechanism exists, can be done in PSPACE for LTL properties and in NP/ΣP2 for GR(1) specifications. We also study the complexity of various related decision and optimisation problems, such as optimality and uniqueness of solutions, and show that the complexities of all such problems lie within the polynomial hierarchy. As an application, equilibrium design can be used as an alternative solution to the rational synthesis and verification problems for concurrent games with mean-payoff objectives whenever no solution exists, or as a technique to repair, whenever possible, concurrent games with undesirable rational outcomes (Nash equilibria) in an optimal way

Synthesis with rational environments

Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. The environment often consists of agents that have objectives of their own. Thus, it makes sense to soften the universal quantification on the behavior of the environment and take the objectives of its underlying agents into an account. Fisman et al. introduced rational synthesis: the problem of synthesis in the context of rational agents. The input to the problem consists of temporal logic formulas specifying the objectives of the system and the agents that constitute the environment, and a solution concept (e.g., Nash equilibrium). The output is a profile of strategies, for the system and the agents, such that the objective of the system is satisfied in the computation that is the outcome of the strategies, and the profile is stable according to the solution concept; that is, the agents that constitute the environment have no incentive to deviate from the strategies suggested to them. In this paper we continue to study rational synthesis. First, we suggest an alternative definition to rational synthesis, in which the agents are rational but not cooperative. We call such problem strong rational synthesis. In the strong rational synthesis setting, one cannot assume that the agents that constitute the environment take into account the strategies suggested to them. Accordingly, the output is a strategy for the system only, and the objective of the system has to be satisfied in all the compositions that are the outcome of a stable profile in which the system follows this strategy. We show that strong rational synthesis is 2ExpTime-complete, thus it is not more complex than traditional synthesis or rational synthesis. Second, we study a richer specification formalism, where the objectives of the system and the agents are not Boolean but quantitative. In this setting, the objective of the system and the agents is to maximize their outcome. The quantitative setting significantly extends the scope of rational synthesis, making the game-theoretic approach much more relevant. Finally, we enrich the setting to one that allows coalitions of agents that constitute the system or the environment