Algorithm Diversity for Resilient Systems

Diversity can significantly increase the resilience of systems, by reducing the prevalence of shared vulnerabilities and making vulnerabilities harder to exploit. Work on software diversity for security typically creates variants of a program using low-level code transformations. This paper is the first to study algorithm diversity for resilience. We first describe how a method based on high-level invariants and systematic incrementalization can be used to create algorithm variants. Executing multiple variants in parallel and comparing their outputs provides greater resilience than executing one variant. To prevent different parallel schedules from causing variants' behaviors to diverge, we present a synchronized execution algorithm for DistAlgo, an extension of Python for high-level, precise, executable specifications of distributed algorithms. We propose static and dynamic metrics for measuring diversity. An experimental evaluation of algorithm diversity combined with implementation-level diversity for several sequential algorithms and distributed algorithms shows the benefits of algorithm diversity

Radio weak lensing shear measurement in the visibility domain - I. Methodology

The high sensitivity of the new generation of radio telescopes such as the Square Kilometre Array (SKA) will allow cosmological weak lensing measurements at radio wavelengths that are competitive with optical surveys. We present an adaptation to radio data of lensfit, a method for galaxy shape measurement originally developed and used for optical weak lensing surveys. This likelihood method uses an analytical galaxy model and makes a Bayesian marginalization of the likelihood over uninteresting parameters. It has the feature of working directly in the visibility domain, which is the natural approach to adopt with radio interferometer data, avoiding systematics introduced by the imaging process. As a proof of concept, we provide results for visibility simulations of individual galaxies with flux density S ≥ 10 μJy at the phase centre of the proposed SKA1-MID baseline configuration, adopting 12 frequency channels in the band 950–1190 MHz. Weak lensing shear measurements from a population of galaxies with realistic flux and scalelength distributions are obtained after natural gridding of the raw visibilities. Shear measurements are expected to be affected by ‘noise bias’: we estimate the bias in the method as a function of signal-to-noise ratio (SNR). We obtain additive and multiplicative bias values that are comparable to SKA1 requirements for SNR > 18 and SNR > 30, respectively. The multiplicative bias for SNR >10 is comparable to that found in ground-based optical surveys such as CFHTLenS, and we anticipate that similar shear measurement calibration strategies to those used for optical surveys may be used to good effect in the analysis of SKA radio interferometer data

Identification and analysis of genomic islands in Burkholderia cenocepacia AU 1054 with emphasis on pathogenicity islands

published_or_final_versio

Assessment of GFR by four methods in adults in Ashanti, Ghana: the need for an eGFR equation for lean African populations

Background. Equations for estimating glomerular filtration rate (GFR) have not been validated in Sub-Saharan African populations, and data on GFR are few. Methods. GFR by creatinine clearance (Ccr) using 24-hour urine collections and estimated GFR (eGFR) using the four-variable Modification of Diet in Renal Disease (MDRD-4)[creatinine calibrated to isotope dilution mass spectrometry (IDMS) standard], Chronic Kidney Disease Epidemiology Collaboration (CKD-EPI) and Cockcroft–Gault equations were obtained in Ghanaians aged 40–75. The population comprised 1013 inhabitants in 12 villages; 944 provided a serum creatinine and two 24-hour urines. The mean weight was 54.4 kg; mean body mass index was 21.1 kg/m2. Results. Mean GFR by Ccr was 84.1 ml/min/1.73m2; 86.8% of participants had a GFR of 60 ml/min/1.73m2. Mean MDRD-4 eGFR was 102.3 ml/min/1.73m2 (difference vs. Ccr, 18.2: 95% CI: 16.8–19.5); when the factor for black race was omitted, the value (mean 84.6 ml/min/1.73m2) was close to Ccr. Mean CKD-EPI eGFR was 103.1 ml/min/1.73m2, and 89.4 ml/min/1.73m2 when the factor for race was omitted. The Cockcroft–Gault equation underestimated GFR compared with Ccr by 9.4 ml/min/1.73m2 (CI: 8.3–10.6); particularly in older age groups. GFR by Ccr, and eGFR by MDRD-4, CKD-EPI and Cockcroft–Gault showed falls with age: MDRD-4 5.5, Ccr 7.7, CKD-EPI 8.8 and Cockcroft–Gault 11.0 ml/min/1.73m2/10 years. The percentage of individuals identified with CKD stages 3–5 depended on the method used: MDRD-4 1.6% (7.2 % without factor for black race; CKD-EPI 1.7% (4.7% without factor for black race), Ccr 13.2% and Cockcroft–Gault 21.0%. Conclusions. Mean eGFR by both MDRD-4 and CKD-EPI was considerably higher than GFR by Ccr and Cockcroft–Gault, a difference that may be attributable to leanness. MDRD-4 appeared to underestimate the fall in GFR with age compared with the three other measurements; the fall with CKD-EPI without the adjustment for race was the closest to that of Ccr. An equation tailored specifically to the needs of the lean populations of Africa is urgently needed. For the present, the CKD-EPI equation without the adjustment for black race appears to be the most useful

Cone photoreceptor definition on adaptive optics retinal imaging

To quantitatively analyse cone photoreceptor matrices on images captured on an adaptive optics (AO) camera and assess their correlation to well-established parameters in the retinal histology literature

The demand for sports and exercise: Results from an illustrative survey

Funding from the Department of Health policy research programme was used in this study.There is a paucity of empirical evidence on the extent to which price and perceived benefits affect the level of participation in sports and exercise. Using an illustrative sample of 60 adults at Brunel University, West London, we investigate the determinants of demand for sports and exercise. The data were collected through face-to-face interviews that covered indicators of sports and exercise behaviour; money/time price and perceived benefits of participation; and socio- economic/demographic details. Count, linear and probit regression models were fitted as appropriate. Seventy eight per cent of the sample participated in sports and exercise and spent an average of £27 per month and an average of 20 min travelling per occasion of sports and exercise. The demand for sport and exercise was negatively associated with time (travel or access time) and ‘variable’ price and positively correlated with ‘fixed’ price. Demand was price inelastic, except in the case of meeting the UK government’s recommended level of participation, which is time price elastic (elasticity = −2.2). The implications of data from a larger nationally representative sample as well as the role of economic incentives in influencing uptake of sports and exercise are discussed.This article is available through the Brunel Open Access Publishing Fund

Erasing the Milky Way: new cleaning technique applied to GBT intensity mapping data

We present the first application of a new foreground removal pipeline to the current leading H I intensity mapping data set, obtained by the Green Bank Telescope (GBT). We study the 15- and 1-h-field data of the GBT observations previously presented in Mausui et al. and Switzer et al., covering about 41 deg2 at 0.6 < z < 1.0, for which cross-correlations may be measured with the galaxy distribution of the WiggleZ Dark Energy Survey. In the presented pipeline, we subtract the Galactic foreground continuum and the point-source contamination using an independent component analysis technique (FASTICA), and develop a Fourier-based optimal estimator to compute the temperature power spectrum of the intensity maps and cross-correlation with the galaxy survey data. We show that FASTICA is a reliable tool to subtract diffuse and point-source emission through the non-Gaussian nature of their probability distributions. The temperature power spectra of the intensity maps are dominated by instrumental noise on small scales which FASTICA, as a conservative subtraction technique of non-Gaussian signals, cannot mitigate. However, we determine similar GBT-WiggleZ cross-correlation measurements to those obtained by the singular value decomposition (SVD) method, and confirm that foreground subtraction with FASTICA is robust against 21 cm signal loss, as seen by the converged amplitude of these cross-correlation measurements. We conclude that SVD and FASTICA are complementary methods to investigate the foregrounds and noise systematics present in intensity mapping data sets

Foreground Subtraction in Intensity Mapping with the SKA

21cm intensity mapping experiments aim to observe the diffuse neutral hydrogen (HI) distribution on large scales which traces the Cosmic structure. The Square Kilometre Array (SKA) will have the capacity to measure the 21cm signal over a large fraction of the sky. However, the redshifted 21cm signal in the respective frequencies is faint compared to the Galactic foregrounds produced by synchrotron and free-free electron emission. In this article, we review selected foreground subtraction methods suggested to effectively separate the 21cm signal from the foregrounds with intensity mapping simulations or data. We simulate an intensity mapping experiment feasible with SKA phase 1 including extragalactic and Galactic foregrounds. We give an example of the residuals of the foreground subtraction with a independent component analysis and show that the angular power spectrum is recovered within the statistical errors on most scales. Additionally, the scale of the Baryon Acoustic Oscillations is shown to be unaffected by foreground subtraction

Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling