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

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

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

Direct cross section measurement for the 18O(p,γ)19F reaction at astrophysical energies at LUNA

18 O ( p, γ ) 19 F plays an important role in the AGB star scenarios. The low energy cross section could be influenced by a hypothetical low energy resonance at 95 keV and by the tails of the higher energy broad states. The 95 keV resonance lies in the energy window corresponding to the relevant stellar temperature range of 40-50 MK.Measurements of the direct cross section were performed at the Laboratory for Underground Nuclear Astrophysics (LUNA), including the unobserved low energy resonance, the higher energy resonances and the non-resonant component, taking advantage of the extremely low environmental background. Here we report on the experimental setup and the status of the analysis

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

Remote sensing applications to resource problems in South Dakota

There are no author-identified significant results in this report

Evaluation of a procedure to assess the adverse effects of illicit drugs.

The assessment procedure of new synthetic illicit drugs that are not documented in the UN treaty on psychotropic drugs was evaluated using a modified Electre model. Drugs were evaluated by an expert panel via the open Delphi approach, where the written score was discussed on 16 items, covering medical, health, legal, and criminalistic issues of the drugs. After this face-to-face discussion the drugs were scored again. Taking the assessment of ketamine as an example, it appeared that each expert used its own scale to score, and that policymakers do not score deviant from experts trained in the medical-biological field. Of the five drugs evaluated by the panel, p-methoxy-metamphetamine (PMMA), gamma-hydroxybutyric acid (GHB), and 4-methylthio-amphetamine (MTA) were assessed as more adverse than ketamine and psilocine and psilocybine-containing mushrooms. Whereas some experts slightly adjusted during the assessment procedure their opinion on ketamine and PMMA, the opinion on mushrooms was not affected by the discussion held between the two scoring rounds. All experts rank the five drugs in a similar way on the adverse effect scale i.e., concordance scale of the Electre model, indicating unanimity in the expert panel with respect to the risk classification of these abused drugs