Probing light WIMPs with directional detection experiments

The CoGeNT and CRESST WIMP direct detection experiments have recently observed excesses of nuclear recoil events, while the DAMA/LIBRA experiment has a long standing annual modulation signal. It has been suggested that these excesses may be due to light mass, m_chi ~ 5-10 GeV, WIMPs. The Earth's motion with respect to the Galactic rest frame leads to a directional dependence in the WIMP scattering rate, providing a powerful signal of the Galactic origin of any recoil excess. We investigate whether direct detection experiments with directional sensitivity have the potential to observe this anisotropic scattering rate with the elastically scattering light WIMPs proposed to explain the observed excesses. We find that the number of recoils required to detect an anisotropic signal from light WIMPs at 5 sigma significance varies from 7 to more than 190 over the set of target nuclei and energy thresholds expected for directional detectors. Smaller numbers arise from configurations where the detector is only sensitive to recoils from the highest speed, and hence most anisotropic, WIMPs. However, the event rate above threshold is very small in these cases, leading to the need for large experimental exposures to accumulate even a small number of events. To account for this sensitivity to the tail of the WIMP velocity distribution, whose shape is not well known, we consider two exemplar halo models spanning the range of possibilities. We also note that for an accurate calculation the Earth's orbital speed must be averaged over. We find that the exposures required to detect 10 GeV WIMPs at a WIMP-proton cross-section of 10^-4 pb are of order 10^3 kg day for a 20 keV energy threshold, within reach of planned directional detectors. Lower WIMP masses require higher exposures and/or lower energy thresholds for detection.Comment: 9 pages, 6 figures, v2: version to appear in Phys. Rev. D with additional discussio

Directional Statistics for WIMP direct detection II: 2-d read-out

The direction dependence of the WIMP direct detection rate provides a powerful tool for distinguishing a WIMP signal from possible backgrounds. We study the the number of events required to discriminate a WIMP signal from an isotropic background for a detector with 2-d read-out using non-parametric circular statistics. We also examine the number of events needed to i) detect a deviation from rotational symmetry, due to flattening of the Milky Way halo and ii) detect a deviation in the mean direction due to a tidal stream. If the senses of the recoils are measured then of order 20-70 events (depending on the plane of the 2-d read out) will be sufficient to reject isotropy of the raw recoil angles at 90% confidence. If the senses can not be measured these number increase by roughly two orders of magnitude (compared with an increase of one order of magnitude for the case of full 3-d read-out). The distributions of the reduced angles, with the (time dependent) direction of solar motion subtracted, are far more anisotropic, however, and if the isotropy tests are applied to these angles then the numbers of events required are similar to the case of 3-d read-out. A deviation from rotational symmetry will only be detectable if the Milky Way halo is significantly flattened. The deviation in the mean direction due to a tidal stream is potentially detectable, however, depending on the density and direction of the stream.Comment: 11 pages, 4 figures, version to appear in Phys. Rev. D, added consideration of other detector locations and discussion of optimal plane for maximum anisotropy in signal, conclusions unchange

Achieving Very High PV Penetration

This article argues that optimally deployed intermittency solutions could affordably transform solar power generation into the firm power delivery system modern economies require, thereby enabling very high solar penetration and the displacement conventional power generation. The optimal deployment of these high‐penetration enabling solutions imply the existence of a healthy power grid, and therefore imply a central role for utilities and grid operators. This article also argues that a value‐based electricity compensation mechanism, recognizing the multifaceted, penetration‐dependent value and cost of solar energy, and capable of shaping consumption patterns to optimally match resource and demand, would be an effective vehicle to enable high solar penetration and deliver affordable firm power generation

Computational Tools and Experimental Methods for the Development of Passive Prosthetic Feet

Modern prosthetic foot designs are incredibly diverse in comparison to what was o↵ered to amputees at the turn of the millennium. Powered ankles can supply natural levels of joint torque, whilst passive feet continue to optimise for kinematic goals. However, most passive feet still do not solve the issue of unhealthy loads, and an argument can be made that optimisation methods have neglected the less active and elderly amputee. This thesis creates a framework for a novel approach to prosthetic foot optimisation by focusing on the transitionary motor tasks of gait initiation and termination.An advanced FEA model has been created in ANSYS® using boundary con-ditions derived from an ISO testing standard that replicates stance phase loading. This model can output standard results found in the literature and goes beyond by parameterising the roll-over shape within the software using custom APDL code. Extensive contact exploration and an experimental study have ensured the robustness of the model. Subject force and kinematic data can be used for specific boundary conditions, which would allow for easy adaptation to the transitionary motor tasks.This FEA model has been used in the development of prosthetic experiment tool, which can exchange helical springs to assess e↵ects of small changes in sti↵-ness on gait metrics. A rigorous design methodology was employed for all compo-nents, including parametric design studies, response surface optimisation, and ISO level calculations. The design has been manufactured into a working prototype and is ready for clinical trials to determine its efficacy.The conclusion of this framework is in the development of an experimental method to collect subject data for use in the models. A pilot study uncovered reliable protocols, which were then verified with ANOVA statistics. Proportional ratios were defined as additions to metric peak analyses already found in the liter-ature. These tools are ready for deployment in full clinical trials with amputees, so that a new prosthetic optimisation pathway can be discovered for the benefit of less active or elderly amputees

Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming

International audienceThe combination of numerous simple influences between the components of a Biological Regulatory Network (BRN) often leads to behaviors that cannot be grasped intuitively. They thus call for the development of proper mathematical methods to delineate their dynamical properties. As a consequence , formal methods and computer tools for the modeling and simulation of BRNs become essential. Our recently introduced discrete formalism called the Process Hitting (PH), a restriction of synchronous automata networks, is notably suitable to such study. In this paper, we propose a new logical approach to perform model-checking of dynamical properties of BRNs modeled in PH. Our work here focuses on state reachability properties on the one hand, and on the identification of fixed points on the other hand. The originality of our model-checking approach relies in the exhaustive enumeration of all possible simulations verifying the dynamical properties thanks to the use of Answer Set Programming

Don't know, can't know: Embracing deeper uncertainties when analysing risks

This article is available open access through the publisher’s website at the link below. Copyright @ 2011 The Royal Society.Numerous types of uncertainty arise when using formal models in the analysis of risks. Uncertainty is best seen as a relation, allowing a clear separation of the object, source and ‘owner’ of the uncertainty, and we argue that all expressions of uncertainty are constructed from judgements based on possibly inadequate assumptions, and are therefore contingent. We consider a five-level structure for assessing and communicating uncertainties, distinguishing three within-model levels—event, parameter and model uncertainty—and two extra-model levels concerning acknowledged and unknown inadequacies in the modelling process, including possible disagreements about the framing of the problem. We consider the forms of expression of uncertainty within the five levels, providing numerous examples of the way in which inadequacies in understanding are handled, and examining criticisms of the attempts taken by the Intergovernmental Panel on Climate Change to separate the likelihood of events from the confidence in the science. Expressing our confidence in the adequacy of the modelling process requires an assessment of the quality of the underlying evidence, and we draw on a scale that is widely used within evidence-based medicine. We conclude that the contingent nature of risk-modelling needs to be explicitly acknowledged in advice given to policy-makers, and that unconditional expressions of uncertainty remain an aspiration