OpenMP [2] is an important API for shared memory programming, combining shared memory's potential for performance with a simple programming interface. Unfortunately, OpenMP lacks a critical tool for demonstrating whether programs are correct: a formal memory model. Instead, the current official definition of the OpenMP memory model (the OpenMP 2.5 specification [2]) is in terms of informal prose. As a result, it is impossible to verify OpenMP applications formally since the prose does not provide a formal consistency model that precisely describes how reads and writes on different threads interact. We expand on our previous work that focused on the formal verification of OpenMP programs through a formal memory model [?]. As in that work, our formalization, which is derived from the existing prose model [2], provides a two-step process to verify whether an observed OpenMP execution is conformant. This paper extends the model to cover the entire specification. In addition to this formalization, our contributions include a discussion of ambiguities in the current prose-based memory model description. Although our formal model may not capture the current informal memory model perfectly, in part due to these ambiguities, our model reflects our understanding of the informal model's intent. We conclude with …

We investigate jet formation in black-hole systems using 3-D General Relativistic Particle-In-Cell (GRPIC) and 3-D GRMHD simulations. GRPIC simulations, which allow charge separations in a collisionless plasma, do not need to invoke the frozen condition as in GRMHD simulations. 3-D GRPIC simulations show that jets are launched from Kerr black holes as in 3-D GRMHD simulations, but jet formation in the two cases may not be identical. Comparative study of black hole systems with GRPIC and GRMHD simulations with the inclusion of radiate transfer will further clarify the mechanisms that drive the evolution of disk-jet systems.

This is an exciting time to be involved in plutonium metallurgical research. Over the past few years, there have been significant advances in our understanding of the fundamental materials science of this unusual metal, particularly in the areas of self-irradiation induced aging of Pu, the equilibrium phase diagram, the homogenization of {delta}-phase alloys, the crystallography and morphology of the {alpha}{prime}-phase resulting from the isothermal martensitic phase transformation, and the phonon dispersion curves, among many others. In addition, tremendous progress has been made, both experimentally and theoretically, in our understanding of the condensed matter physics and chemistry of the actinides, particularly in the area of electronic structure. Although these communities have made substantial progress, many challenges still remain. This brief overview will address a number of important challenges that we face in fully comprehending the metallurgy of Pu with a specific focus on aging and phase transformations.

Maps, and more importantly Atlases, are assisting the user community in managing a large land area with complex issues, the most complex of which is the management of nuclear waste. The techniques and experiences discussed herein were gained while developing several atlases for use at the US Department of Energy's Hanford Site. The user community requires the ability to locate not only waste sites, but other features as well. Finding a specific waste site on a map and in the field is a difficult task at a site the size of Hanford. To find a specific waste site, the user begins by locating the item or object in an index, then locating the feature on the corresponding map within an atlas. Locating features requires a method for indexing them. The location index and how to place it on a map or atlas is the central theme presented in this article. The user requirements for atlases forced the design team to develop new and innovative solutions for requirements that Product Line Tool Set (PLTS) Map Production System (MPS)-Atlas was not designed to handle. The layout of the most complex atlases includes custom reference grids, multiple data frames, multiple map series, and …

A universal high energy anomaly in the single particlespectral function is reported in three different families of hightemperature superconductors by using angle-resolved photoemissionspectroscopy. As we follow the dispersing peak of the spectral functionfrom the Fermi energy to the valence band complex, we find dispersionanomalies marked by two distinctive high energy scales, E_1 approx 0.38eV and E_2 approx 0.8 eV. E_1 marks the energy above which the dispersionsplits into two branches. One is a continuation of the near parabolicdispersion, albeit with reduced spectral weight, and reaches the bottomof the band at the Gamma point at approx 0.5 eV. The other is given by apeak in the momentum space, nearly independent of energy between E_1 andE_2. Above E_2, a band-like dispersion re-emerges. We conjecture thatthese two energies mark the disintegration of the low energyquasiparticles into a spinon and holon branch in the high T_c cuprates.

During heavy ion operation in several particle accelerators world-wide, dynamic pressure rises of orders of magnitude were triggered by lost beam ions that bombarded the vacuum chamber walls. This ion-induced molecular desorption, observed at CERN, GSI, and BNL, can seriously limit the ion beam lifetime and intensity of the accelerator. From dedicated test stand experiments we have discovered that heavy-ion induced gas desorption scales with the electronic energy loss (dE{sub e}/d/dx) of the ions slowing down in matter; but it varies only little with the ion impact angle, unlike electronic sputtering.

This article discusses reverberation mapping of quasars of high luminosity or high redshift.