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

Wavelet analysis on pressure stimulated currents emitted by marble samples

International audienceThis paper presents a wavelet based method of analysis of experimentally recorded weak electric signals from marble specimens which have undergone successive abrupt step loadings. Experimental results verify the existence of "memory effects" in rocks, as far as the current emission is concerned, akin to the "Kaiser effect" in acoustic emissions, which accompany rock fracturing. Macroscopic signal processing shows similarities and differences between the currents emitted during successive loading and wavelet analysis can reveal significant differences between the currents of each loading cycle that contain valuable information for the micro and macro cracks in the specimen as well as information for the remaining strength of the material. Wavelets make possible the time localization of the energy of the electric signal emitted by stressed specimens and can serve as method to differentiate between compressed and uncompressed samples, or to determine the deformation level of specimens

The wealth effects, mood and outcome of UK takeover bids: An empirical analysis using a simultaneous equations approach

The primary objective of this thesis is to investigate whether or not UK takeover bids create wealth gains for the shareholders of the companies involved and what determines the size of these gains. However, as previous empirical research has shown one of the factors influencing the creation of wealth is the mood of a bid, in other words if the bid is hostile or friendly. Due to the fact that previous empirical evidence also suggests the existence of an interdependence among wealth, mood and outcome of bids we develop a simultaneous equations model whereby we explore the determinants of these three factors. Thus, the other two goals of this thesis are to find what determines the mood and outcome of takeover bids. A large sample of 354 completed and failed takeover bids during the 1963-1989 period was initially used to generate the wealth gains measured in the form of abnormal returns and estimated by event study methodology. Then we used multiple regression analysis to test a range of hypotheses selected from the industrial economics and finance literature with respect to the main objectives of this thesis. The results obtained show first that target shareholders capture large gains, while bidder shareholders experience small losses around the period of bids announcement. This leads to a small increase of the value of the combined firm. Second, we detect that short run factors reflecting characteristics of the bid process, such as the mood, explain better the wealth created in takeovers than long term strategic factors. However, we find some evidence of managerial and financial synergies. Third, we find that the wealth and mood variables are mutually dependent on each other thereby justifying our simultaneous equations approach. Fourth, we discover that the agency problem exists on both target and bidder but its impact is mitigated by disciplinary bids. This finding gives some support for the argument that hostile bids reflect the disciplinary device that the market uses to correct managerial failure. Fifth, our results suggest that the mood, the level of managerial ownership in the target company and the size of bid premium are crucial in determining the outcome of bids

Variance reduction and signal-to-noise ratio: Reducing uncertainty in spectral ratios

This paper uses an unusually large dataset to study scatter in site-effect estimation, focusing on how the events that increase uncertainty can be removed from the dataset. Four hundred seventy-three weak motion earthquake records from the surface and bedrock of a 178-m-deep borehole in Aegion, Gulf of Corinth, Greece, are used to evaluate spectral ratios. A simple statistical tool, variance reduction (VR), is first used to identify two groups of events that lie closest and farthest from the average, which is considered here as the initial best estimate of the site response. The scatter in the original dataset is found to be due to the group of events with smallest VR. These events can be removed from the dataset in order to compute a more reliable site response. However, VR is not normally used to choose records for site-effect studies, and it cannot be applied to the usual small datasets available. The signal-to-noise ratio (SNR) is normally used to this end, for which reason we investigate whether SNR can be used to achieve similar results as VR. Signal-to-noise ratio is estimated using different definitions. Data selection based on SNR is then compared to that using VR in order to define an SNR-based criterion that discriminates against events that, according to VR, increase scatter. We find that defining the SNR of a surface record as the mean value over a frequency range around the resonant peak (here, 0.5–1.5 Hz) and using a cutoff value of 5 may be used in this case to exclude most events for which VR is small. This process is also applied to the downhole station, where we obtain similar results for a cutoff value of 3

Demography and disorders of German Shepherd Dogs under primary veterinarycare in the UK

The German Shepherd Dog (GSD) has been widely used for a variety of working roles. However, concerns for the health and welfare of the GSD have been widely aired and there is evidence that breed numbers are now in decline in the UK. Accurate demographic and disorder data could assist with breeding and clinical prioritisation. The VetCompassTM Programme collects clinical data on dogs under primary veterinary care in the UK. This study included all VetCompassTM dogs under veterinary care during 2013. Demographic, mortality and clinical diagnosis data on GSDs were extracted and reported