Remote-scope Promotion: Clarified, Rectified, and Verified

Modern accelerator programming frameworks, such as OpenCL, organise threads into work-groups. Remote-scope promotion (RSP) is a language extension recently proposed by AMD researchers that is designed to enable applications, for the first time, both to optimise for the common case of intra-work-group communication (using memory scopes to provide consistency only within a work-group) and to allow occasional inter-work-group communication (as required, for instance, to support the popular load-balancing idiom of work stealing). We present the first formal, axiomatic memory model of OpenCL extended with RSP. We have extended the Herd memory model simulator with support for OpenCL kernels that exploit RSP, and used it to discover bugs in several litmus tests and a work-stealing queue, that have been used previously in the study of RSP. We have also formalised the proposed GPU implementation of RSP. The formalisation process allowed us to identify bugs in the description of RSP that could result in well-synchronised programs experiencing memory inconsistencies. We present and prove sound a new implementation of RSP that incorporates bug fixes and requires less non-standard hardware than the original implementation. This work, a collaboration between academia and industry, clearly demonstrates how, when designing hardware support for a new concurrent language feature, the early application of formal tools and techniques can help to prevent errors, such as those we have found, from making it into silicon

Modelling the evolution of correlation functions in gravitational clustering

Padmanabhan (1996) has suggested a model to relate the nonlinear two - point correlation function to the linear two - point correlation function. In this paper, we extend this model in two directions: (1) By averaging over the initial Gaussian distribution of density contrasts, we estimate the spectral dependence of the scaling between nonlinear and linear correlation functions. (2) By using a physically motivated ansatz, we generalise the model to N-point correlation functions and relate the nonlinear, volume averaged, N-point correlation function \bar\xi_N(x,a) with linearly extrapolated volume averaged 2-point correlation function \bar \xi_2(l,a) evaluated at a different scale. Using this ansatz we calculate the S_N parameters in intermediate and highly non linear regimes. We compare the point of transition between different regimes obtained from our model with numerical simulations and show that the spectral dependece of the scaling relations seen in the simulations can be easily understood. Comparison of the calculated S_N parameters with the simulations show reasonable agreement. We discuss several implications of the results

Potentiometric Studies of the Complexes of Pr(III) with Ethylenediaminetetraacetic Acid as Primary Ligand & Pyrogallol, Pyrocatechol, Protocatechuic Acid & Protocatechualdehyde as Secondary Ligands

421-42

CMB Constraints on Primordial non-Gaussianity from the Bispectrum (f_{NL}) and Trispectrum (g_{NL} and \tau_{NL}) and a New Consistency Test of Single-Field Inflation

We outline the expected constraints on non-Gaussianity from the cosmic microwave background (CMB) with current and future experiments, focusing on both the third (f_{NL}) and fourth-order (g_{NL} and \tau_{NL}) amplitudes of the local configuration or non-Gaussianity. The experimental focus is the skewness (two-to-one) and kurtosis (two-to-two and three-to-one) power spectra from weighted maps. In adition to a measurement of \tau_{NL} and g_{NL} with WMAP 5-year data, our study provides the first forecasts for future constraints on g_{NL}. We describe how these statistics can be corrected for the mask and cut-sky through a window function, bypassing the need to compute linear terms that were introduced for the previous-generation non-Gaussianity statistics, such as the skewness estimator. We discus the ratio A_{NL} = \tau_{NL}/(6f_{NL}/5)^2 as an additional test of single-field inflationary models and discuss the physical significance of each statistic. Using these estimators with WMAP 5-Year V+W-band data out to l_{max}=600 we constrain the cubic order non-Gaussianity parameters \tau_{NL}, and g_{NL} and find -7.4 < g_{NL}/10^5 < 8.2 and -0.6 < \tau_{NL}/10^4 < 3.3 improving the previous COBE-based limit on \tau_{NL} < 10^8 nearly four orders of magnitude with WMAP.Comment: 15 pages. 14 figure

Lensing-induced morphology changes in CMB temperature maps in modified gravity theories

Lensing of the Cosmic Microwave Background (CMB) changes the morphology of pattern of temperature fluctuations, so topological descriptors such as Minkowski Functionals can probe the gravity model responsible for the lensing. We show how the recently introduced two-to-two and three-to-one kurt-spectra (and their associated correlation functions), which depend on the power spectrum of the lensing potential, can be used to probe modified gravity theories such as f(R) theories of gravity and quintessence models. We also investigate models based on effective field theory, which include the constant-Ω model, and low-energy Hořava theories. Estimates of the cumulative signal-to-noise for detection of lensing-induced morphology changes, reaches Script O(103) for the future planned CMB polarization mission COrE+. Assuming foreground removal is possible to ℓmax=3000, we show that many modified gravity theories can be rejected with a high level of significance, making this technique comparable in power to galaxy weak lensing or redshift surveys. These topological estimators are also useful in distinguishing lensing from other scattering secondaries at the level of the four-point function or trispectrum. Examples include the kinetic Sunyaev-Zel'dovich (kSZ) effect which shares, with lensing, a lack of spectral distortion. We also discuss the complication of foreground contamination from unsubtracted point sources

Seed-Mediated, Shape-Controlled Synthesis Methods for Platinum-Based Electrocatalysts for the Oxygen Reduction Reaction—A Mini Review

Overcoming the slow oxygen reduction reaction (ORR) kinetics at the cathode of the hydrogen fuel cells requires the use of electrocatalysts containing expensive and scare platinum to achieve reasonable performance, hampering widespread use of the technology due to high material costs and sustainability issues. One option available to tackle this issue is to use new designs to create nanomaterials which achieve excellent electrocatalytic performances and long-lasting stabilities whilst using less platinum than is currently required. Reliably producing nanomaterials with predictable activities and stabilities using simple, safe, and scalable methods is an important research topic to the advancement of fuel cell technologies. The oxygen reduction reaction occurs at the surface of electrocatalytic materials, and since nanomaterial structures exhibit different catalytic activities, their shapes have a strong relationship to the final performance. Seed-mediated synthesis can be used to control the shape of materials with the aim of obtaining products with the most desirable surface properties for the ORR. This review summarized the current advancement of the synthesis of platinum-based ORR and provided the insights for the future development of this field