2,634,507 research outputs found
Working Paper 10-06 - Network Industry Reform in Belgium: Macroeconometric versus General-Equilibrium Analyses
Forecasting models, Network industries, Liberalisation
SmartTrack: Efficient Predictive Race Detection
Widely used data race detectors, including the state-of-the-art FastTrack
algorithm, incur performance costs that are acceptable for regular in-house
testing, but miss races detectable from the analyzed execution. Predictive
analyses detect more data races in an analyzed execution than FastTrack
detects, but at significantly higher performance cost.
This paper presents SmartTrack, an algorithm that optimizes predictive race
detection analyses, including two analyses from prior work and a new analysis
introduced in this paper. SmartTrack's algorithm incorporates two main
optimizations: (1) epoch and ownership optimizations from prior work, applied
to predictive analysis for the first time; and (2) novel conflicting critical
section optimizations introduced by this paper. Our evaluation shows that
SmartTrack achieves performance competitive with FastTrack-a qualitative
improvement in the state of the art for data race detection.Comment: Extended arXiv version of PLDI 2020 paper (adds Appendices A-E) #228
SmartTrack: Efficient Predictive Race Detectio
Security, population and governmentality : UK counter-terrorism discourse (2007-2011)
Over the past decade, governments worldwide have taken initiatives both at a national and supra-national level in order to prevent terrorist attacks from militant groups. This paper analyses a corpus of policy documents which sets out the policy for UK national security. Informed by Foucault’s (2007) theory of governmentality, as well as critical discourse analysis and corpus linguistics, this paper analyses the ways in which the liberal state in late modernity realizes security as discursive practice. A corpus of 110 documents produced by the UK government relating to security in the wake of the 7/7 attacks between 2007 and 2011 was assembled. The paper analyses the discursive constitution of the Foucaultian themes of regulation, knowledge and population, though carrying out a qualitative analysis of relevant key wards, patterns of collocation, as well as features of connotation and semantic prosody
Analyses of pyrimidine and purine bases by a combination of paper chromatography and time of flight mass spectrometry
Paper chromatography and mass spectrometry for analyses of pyrimidine and purine base
Biofuels and water: an exploration
This paper analyses the different impacts that biofuel production will have on water use and availability
An Analysis of the Heston Stochastic Volatility Model: Implementation and Calibration using Matlab
This paper analyses the implementation and calibration of the Heston
Stochastic Volatility Model. We first explain how characteristic functions can
be used to estimate option prices. Then we consider the implementation of the
Heston model, showing that relatively simple solutions can lead to fast and
accurate vanilla option prices. We also perform several calibration tests,
using both local and global optimization. Our analyses show that
straightforward setups deliver good calibration results. All calculations are
carried out in Matlab and numerical examples are included in the paper to
facilitate the understanding of mathematical concepts.Comment: 34 page
A Review of Prosthetic Interface Stress Investigations
Over the last decade, numerous experimental and numerical analyses have been conducted to investigate the stress distribution between the residual limb and prosthetic socket of persons with lower limb amputation. The objectives of these analyses have been to improve our understanding of the residual limb/prosthetic socket system, to evaluate the influence of prosthetic design parameters and alignment variations on the interface stress distribution, and to evaluate prosthetic fit. The purpose of this paper is to summarize these experimental investigations and identify associated limitations. In addition, this paper presents an overview of various computer models used to investigate the residual limb interface, and discusses the differences and potential ramifications of the various modeling formulations. Finally, the potential and future applications of these experimental and numerical analyses in prosthetic design are presented
The internationalisation of the Spanish SME sector
As part of a wider research program, we analysed the theoretical framework and the recent developments of the process of internationalisation (transnationalisation) of the small- and medium-sized enterprises in Spain. The paper highlights the main trends and barriers of this internationalisation process. Methodology included document analyses, interviews, and the analyses of statistical databases
Can a strongly interacting Higgs boson rescue SU(5)?
Renormalization group analyses show that the three running gauge coupling
constants of the Standard Model do not become equal at any energy scale. These
analyses have not included any effects of the Higgs boson's self-interaction.
In this paper, I examine whether these effects can modify this conclusion.Comment: 8 pages (plus 4 postscript figures
- …