Comparison of accelerometer data calibration methods used in thermospheric neutral density estimation

Ultra-sensitive space-borne accelerometers on board of low Earth orbit (LEO) satellites are used to measure non-gravitational forces acting on the surface of these satellites. These forces consist of the Earth radiation pressure, the solar radiation pressure and the atmospheric drag, where the first two are caused by the radiation emitted from the Earth and the Sun, respectively, and the latter is related to the thermospheric density. On-board accelerometer measurements contain systematic errors, which need to be mitigated by applying a calibration before their use in gravity recovery or thermospheric neutral density estimations. Therefore, we improve, apply and compare three calibration procedures: (1) a multi-step numerical estimation approach, which is based on the numerical differentiation of the kinematic orbits of LEO satellites; (2) a calibration of accelerometer observations within the dynamic precise orbit determination procedure and (3) a comparison of observed to modeled forces acting on the surface of LEO satellites. Here, accelerometer measurements obtained by the Gravity Recovery And Climate Experiment (GRACE) are used. Time series of bias and scale factor derived from the three calibration procedures are found to be different in timescales of a few days to months. Results are more similar (statistically significant) when considering longer timescales, from which the results of approach (1) and (2) show better agreement to those of approach (3) during medium and high solar activity. Calibrated accelerometer observations are then applied to estimate thermospheric neutral densities. Differences between accelerometer-based density estimations and those from empirical neutral density models, e.g., NRLMSISE-00, are observed to be significant during quiet periods, on average 22 % of the simulated densities (during low solar activity), and up to 28 % during high solar activity. Therefore, daily corrections are estimated for neutral densities derived from NRLMSISE-00. Our results indicate that these corrections improve model-based density simulations in order to provide density estimates at locations outside the vicinity of the GRACE satellites, in particular during the period of high solar/magnetic activity, e.g., during the St. Patrick's Day storm on 17 March 2015

Annual changes in the Biodiversity Intactness Index in tropical and subtropical forest biomes, 2001–2012

Few biodiversity indicators are available that reflect the state of broad-sense biodiversity—rather than of particular taxa—at fine spatial and temporal resolution. One such indicator, the Biodiversity Intactness Index (BII), estimates how the average abundance of the native terrestrial species in a region compares with their abundances in the absence of pronounced human impacts. We produced annual maps of modelled BII at 30-arc-second resolution (roughly 1 km at the equator) across tropical and subtropical forested biomes, by combining annual data on land use, human population density and road networks, and statistical models of how these variables affect overall abundance and compositional similarity of plants, fungi, invertebrates and vertebrates. Across tropical and subtropical biomes, BII fell by an average of 1.9 percentage points between 2001 and 2012, with 81 countries seeing an average reduction and 43 an average increase; the extent of primary forest fell by 3.9% over the same period. We did not find strong relationships between changes in BII and countries’ rates of economic growth over the same period; however, limitations in mapping BII in plantation forests may hinder our ability to identify these relationships. This is the first time temporal change in BII has been estimated across such a large region

Formalising the Continuous/Discrete Modeling Step

Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The difference between the two is quantified using generic results from ODE theory, and these estimates can be compared with the exact solutions. Such results do not fit well into a conventional model based refinement framework; however they can be accommodated into a model based retrenchment. The retrenchment is described, and the way it can interface to refinement development on both the continuous and discrete sides is outlined. The approach is compared to what can be achieved using hybrid systems techniques.Comment: In Proceedings Refine 2011, arXiv:1106.348

Tear fluid biomarkers in ocular and systemic disease: potential use for predictive, preventive and personalised medicine

In the field of predictive, preventive and personalised medicine, researchers are keen to identify novel and reliable ways to predict and diagnose disease, as well as to monitor patient response to therapeutic agents. In the last decade alone, the sensitivity of profiling technologies has undergone huge improvements in detection sensitivity, thus allowing quantification of minute samples, for example body fluids that were previously difficult to assay. As a consequence, there has been a huge increase in tear fluid investigation, predominantly in the field of ocular surface disease. As tears are a more accessible and less complex body fluid (than serum or plasma) and sampling is much less invasive, research is starting to focus on how disease processes affect the proteomic, lipidomic and metabolomic composition of the tear film. By determining compositional changes to tear profiles, crucial pathways in disease progression may be identified, allowing for more predictive and personalised therapy of the individual. This article will provide an overview of the various putative tear fluid biomarkers that have been identified to date, ranging from ocular surface disease and retinopathies to cancer and multiple sclerosis. Putative tear fluid biomarkers of ocular disorders, as well as the more recent field of systemic disease biomarkers, will be shown

The impacts of landscape structure on the winter movements and habitat selection of female red deer

An area of research that has recently gained more attention is to understand how species respond to environmental change such as the landscape structure and fragmentation. Movement is crucial to select habitats but the landscape structure influences the movement patterns of animals. Characterising the movement characteristics, utilisation distribution (UD) and habitat selection of a single species in different landscapes can provide important insights into species response to changes in the landscape. We investigate these three fields in female red deer (Cervus elaphus) in southern Sweden, in order to understand how landscape structure influences their movement and feeding patterns. Movements are compared between two regions, one dominated by a fragmented agriculture-forest mosaic and the other by managed homogenous forest. Red deer in the agriculture-dominated landscape had larger UDs compared to those in the forest-dominated area, moved larger distances between feeding and resting and left cover later in the day but used a similar duration for their movements, suggesting faster travelling speeds between resting and feeding locations. The habitat selection patterns of red deer indicate a trade-off between forage and cover, selecting for habitats that provide shelter during the day and forage by night. However, the level of trade-off, mediated through movement and space use patterns, is influenced by the landscape structure. Our approach provides further understanding of the link between individual animal space use and changing landscapes and can be applied to many species able to carry tracking devices

Testing assumptions for endophenotype studies in ADHD: Reliability and validity of tasks in a general population sample

BACKGROUND: Advances in both genetic and cognitive-experimental studies on attention deficit hyperactivity disorder (ADHD) have opened new opportunities for cognitive endophenotype research. In such genetic designs the focus is on individual differences in characteristics, associated with ADHD, that can be measured reliably over time. Genetic studies that take a 'quantitative trait loci' approach hypothesise that multiple susceptibility genes contribute to a continuous dimension of ADHD symptoms. As an important initial step, we aimed to investigate the underlying assumptions that (1) key cognitive-experimental tasks indicate adequate test-retest reliability and (2) ADHD symptom scores in a general population sample are associated with performance on these tasks. METHODS: Forty-nine children were assessed on a go/no-go task and a reaction time task (the 'fast task') that included manipulations with event rate and incentives. The children were assessed twice, with a test-retest interval of two weeks. RESULTS: The majority of the task variables demonstrated moderate-to-good test-retest reliability. The correlations between teacher ratings of ADHD symptoms and key task variables were .4–.6: ADHD symptoms were associated with poor performance (especially high reaction time variability) in a slow baseline condition, whereas there was low or no association in conditions with a faster event rate or incentives. In contrast, no clear pattern of findings emerged based on parent ratings of ADHD symptoms. CONCLUSION: The data support the usefulness of the go/no-go and fast tasks for genetic studies, which require reliable and valid indices of individual differences. The overall pattern of associations between teacher ratings of ADHD symptoms and task variables is consistent with effects of event rate and incentives on performance, as predicted by the model of activation and arousal regulation. The lack of a clear pattern of findings with parent ratings of ADHD symptoms warrants further study

Mechanized semantics for the Clight subset of the C language

This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic, "struct" and "union" types, C loops and structured "switch" statements. Clight is the source language of the CompCert verified compiler. The formal semantics of Clight is a big-step operational semantics that observes both terminating and diverging executions and produces traces of input/output events. The formal semantics of Clight is mechanized using the Coq proof assistant. In addition to the semantics of Clight, this article describes its integration in the CompCert verified compiler and several ways by which the semantics was validated.Comment: Journal of Automated Reasoning (2009