A true concurrent model of smart contracts executions

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state of smart contracts is collaboratively maintained by a peer-to-peer network of mutually untrusted nodes, which collect from users a set of transactions (representing the required actions on contracts), and execute them in some order. Once this sequence of transactions is appended to the blockchain, the other nodes validate it, re-executing the transactions in the same order. The serial execution of transactions does not take advantage of the multi-core architecture of modern processors, so contributing to limit the throughput. In this paper we propose a true concurrent model of smart contract execution. Based on this, we show how static analysis of smart contracts can be exploited to parallelize the execution of transactions.Comment: Full version of the paper presented at COORDINATION 202

Hypervelocity impact facility for simulating materials exposure to impact by space debris

As a result of man's venturing into space, the local debris contributed by his presence exceeds, at some orbital altitudes, that of the natural component. Man's contribution ranges from fuel residue to large derelect satellites that weigh many kilograms. Current debris models are able to predict the growth of the problem and suggest that spacecraft must employ armor or bumper shields for some orbital altitudes now, and that, the problem will become worse as a function of time. The practical upper limit to the velocity distribution is on the order of 40 km/s and is associated with the natural environment. The maximum velocity of the man-made component is in the 14-16 km/s range. The Long Duration Exposure Facility (LDEF) has verified that the 'high probability of impact' particles are in the microgram to milligram range. These particles can have significant effects on coatings, insulators, and thin metallic layers. The surface of thick materials becomes pitted and the local debris component is enhanced by ejecta from the debris spectrum in a controlled environment. The facility capability is discussed in terms of drive geometry, energetics, velocity distribution, diagnostics, and projectile/debris loading. The facility is currently being used to study impact phenomena on Space Station Freedom's solar array structure, other solar array materials, potential structural materials for use in the station, electrical breakdown in the space environment, and as a means of clarifying or duplicating the impact phenomena on the LDEF surfaces. The results of these experiments are described in terms of the mass/velocity distribution incident on selected samples, crater dynamics, and sample geometry

Instructed and acquired contingencies in response-inhibition tasks

This is the author accepted manuscript. The final version is available from Ubiquity Press via the DOI in this record.Inhibitory control can be triggered directly via the retrieval of previously acquired stimulusstop associations from memory. However, a recent study suggests that this item-specific stop learning may be mediated via expectancies of the contingencies in play (Best, Lawrence, Logan, McLaren, & Verbruggen, 2016). This could indicate that stimulus-stop learning also induces strategic, proactive changes in performance. We further tested this hypothesis in the present study. In addition to measuring expectancies following task completion, we introduced a between-subjects expectancy manipulation in which one group of participants were informed about the stimulus-stop contingencies and another group did not receive any information about the stimulus-stop contingencies. Moreover, we combined this instruction manipulation with a distractor manipulation that was previously used to examine strategic proactive adjustments. We found that the stop-associated items slowed responding in both conditions. Furthermore, participants in both conditions generated expectancies following task completion that were consistent with the stimulus-stop contingencies. The distractor manipulation was ineffective. However, we found differences in the relationship between the expectancy ratings and task performance: in the instructed condition, the expectancies reliably correlated with the response slowing for the stop-associated items, whereas in the uninstructed condition we found no reliable correlation. These differences between the correlations were reliable, and our conclusions were further supported by Bayesian analyses. We conclude that stimulus-stop associations that are acquired either via task instructions or via task practice have similar effects on behavior but could differ in how they elicit response slowing.Economic and Social Research Council (ESRC

Global Music Perspectives: Music Outside the Western Canon in Local Schools

As a class, we are designing a research project for investigating how music teachers from counties in South-Central Pennsylvania use music from outside the Western canon (i.e. world music ). We are performing a qualitative study by interviewing k-12 music teachers from school districts in South-Central Pennsylvania. Teachers may choose to participate in a focus group interview with other teachers or in one-on-one interviews. The focus group interview will not exceed two hours and the one-on-one interviews will not exceed an hour. The interviews will be guided using a questionnaire (see attached), but the conversation may deviate from these questions at the discretion of the interviewer(s). We will transcribe these interviews to extract common thematic materials and relevant information. We will also compile a literature review of relevant peer-reviewed articles and use the data from said articles to expand upon our gathered information

Energy transfer in nonlinear network models of proteins

We investigate how nonlinearity and topological disorder affect the energy relaxation of local kicks in coarse-grained network models of proteins. We find that nonlinearity promotes long-range, coherent transfer of substantial energy to specific, functional sites, while depressing transfer to generic locations. Remarkably, transfer can be mediated by the self-localization of discrete breathers at distant locations from the kick, acting as efficient energy-accumulating centers.Comment: 4 pages, 3 figure

Pion parton distribution functions from lattice QCD

We report on recent results for the pion matrix element of the twist-2 operator corresponding to the average momentum of non-singlet quark densities. For the first time finite volume effects of this matrix element are investigated and come out to be surprisingly large. We use standard Wilson and non-perturbatively improved clover actions in order to control better the extrapolation to the continuum limit. Moreover, we compute, fully non-perturbatively, the renormalization group invariant matrix element, which allows a comparison with experimental results in a broad range of energy scales. Finally, we discuss the remaining uncertainties, the extrapolation to the chiral limit and the quenched approximation.Comment: Lattice2003(matrix), 3 pages, 4 figure

Pair creation in transport equations using the equal-time Wigner function

Based on the equal-time Wigner function for the Klein-Gordon field, we discuss analytically the mechanism of pair creation in a classical electromagnetic field including back-reaction. It is shown that the equations of motion for the Wigner function can be reduced to a variable-frequency oscillator. The pair-creation rate results then from a calculation analogous to barrier penetration in nonrelativistic quantum mechanics. The Wigner function allows one to utilize this treatment for the formulation of an effective transport theory for the back-reaction problem with a pair-creation source term including Bose enhancement.Comment: 19 pages, LaTeX, UFTP 316/199

Measurement of 25Mg(p; gamma)26Al resonance strengths via gamma spectrometry

The COMPTEL instrument performed the first mapping of the 1.809 MeV photons in the Galaxy, triggering considerable interest in determing the sources of interstellar 26Al. The predicted 26Al is too low compared to the observation, for a better understanding more accurate rates for the 25Mg(p; gamma)26Al reaction are required. The 25Mg(p;gamma)26Al reaction has been investigated at the resonances at Er= 745; 418; 374; 304 keV at Ruhr-Universitat-Bochum using a Tandem accelerator and a 4piNaI detector. In addition the resonance at Er = 189 keV has been measured deep underground laboratory at Laboratori Nazionali del Gran Sasso, exploiting the strong suppression of cosmic background. This low resonance has been studied with the 400 kV LUNA accelerator and a HPGe detector. The preliminary results of the resonance strengths will be reported.Comment: Accepted for publication in Journal of Physics

Operational Characteristics and Plasma Measurements in a Low-Energy FARAD Thruster

Pulsed inductive plasma accelerators are spacecraft propulsion devices in which energy is stored in a capacitor and then discharged through an inductive coil. The device is electrodeless, inducing a plasma current sheet in propellant located near the face of the coil. The propellant is accelerated and expelled at a high exhaust velocity (order of 10 km/s) through the interaction of the plasma current with an induced magnetic field. The Faraday Accelerator with RF-Assisted Discharge (FARAD) thruster is a type of pulsed inductive plasma accelerator in which the plasma is preionized by a mechanism separate from that used to form the current sheet and accelerate the gas. Employing a separate preionization mechanism in this manner allows for the formation of an inductive current sheet at much lower discharge energies and voltages than those found in previous pulsed inductive accelerators like the Pulsed Inductive Thruster (PIT). In this paper, we present measurements aimed at quantifying the thruster's overall operational characteristics and providing additional insight into the nature of operation. Measurements of the terminal current and voltage characteristics during the pulse help quantify the output of the pulsed power train driving the acceleration coil. A fast ionization gauge is used to measure the evolution of the neutral gas distribution in the accelerator prior to a pulse. The preionization process is diagnosed by monitoring light emission from the gas using a photodiode, and a time-resolved global view of the evolving, accelerating current sheet is obtained using a fast-framing camera. Local plasma and field measurements are obtained using an array of intrusive probes. The local induced magnetic field and azimuthal current density are measured using B-dot probes and mini-Rogowski coils, respectively. Direct probing of the number density and electron temperature is performed using a triple probe