Gene-history correlation and population structure

Correlation of gene histories in the human genome determines the patterns of genetic variation (haplotype structure) and is crucial to understanding genetic factors in common diseases. We derive closed analytical expressions for the correlation of gene histories in established demographic models for genetic evolution and show how to extend the analysis to more realistic (but more complicated) models of demographic structure. We identify two contributions to the correlation of gene histories in divergent populations: linkage disequilibrium, and differences in the demographic history of individuals in the sample. These two factors contribute to correlations at different length scales: the former at small, and the latter at large scales. We show that recent mixing events in divergent populations limit the range of correlations and compare our findings to empirical results on the correlation of gene histories in the human genome.Comment: Revised and extended version: 26 pages, 5 figures, 1 tabl

A quantum de Finetti theorem in phase space representation

The quantum versions of de Finetti's theorem derived so far express the convergence of n-partite symmetric states, i.e., states that are invariant under permutations of their n parties, towards probabilistic mixtures of independent and identically distributed (i.i.d.) states. Unfortunately, these theorems only hold in finite-dimensional Hilbert spaces, and their direct generalization to infinite-dimensional Hilbert spaces is known to fail. Here, we address this problem by considering invariance under orthogonal transformations in phase space instead of permutations in state space, which leads to a new type of quantum de Finetti's theorem that is particularly relevant to continuous-variable systems. Specifically, an n-mode bosonic state that is invariant with respect to this continuous symmetry in phase space is proven to converge towards a probabilistic mixture of i.i.d. Gaussian states (actually, n identical thermal states).Comment: 5 page

Process of designing robust, dependable, safe and secure software for medical devices: Point of care testing device as a case study

This article has been made available through the Brunel Open Access Publishing Fund.Copyright © 2013 Sivanesan Tulasidas et al. This paper presents a holistic methodology for the design of medical device software, which encompasses of a new way of eliciting requirements, system design process, security design guideline, cloud architecture design, combinatorial testing process and agile project management. The paper uses point of care diagnostics as a case study where the software and hardware must be robust, reliable to provide accurate diagnosis of diseases. As software and software intensive systems are becoming increasingly complex, the impact of failures can lead to significant property damage, or damage to the environment. Within the medical diagnostic device software domain such failures can result in misdiagnosis leading to clinical complications and in some cases death. Software faults can arise due to the interaction among the software, the hardware, third party software and the operating environment. Unanticipated environmental changes and latent coding errors lead to operation faults despite of the fact that usually a significant effort has been expended in the design, verification and validation of the software system. It is becoming increasingly more apparent that one needs to adopt different approaches, which will guarantee that a complex software system meets all safety, security, and reliability requirements, in addition to complying with standards such as IEC 62304. There are many initiatives taken to develop safety and security critical systems, at different development phases and in different contexts, ranging from infrastructure design to device design. Different approaches are implemented to design error free software for safety critical systems. By adopting the strategies and processes presented in this paper one can overcome the challenges in developing error free software for medical devices (or safety critical systems).Brunel Open Access Publishing Fund

Ten Years of Solar Change as Monitored by SBUV and SBUV/2

Observations of the Sun by the Solar Backscatter Ultraviolet (SBUV) instrument aboard Nimbus 7 and the SBUV/2 instrument aboard NOAA-9 reveal variations in the solar irradiance from 1978, to 1988. The maximum to minimum solar change estimated from the Heath and Schlesinger Mg index and wavelength scaling factors is about 4 percent from 210 to 260 nm and 8 percent for 180 to 210 nm; direct measurements of the solar change give values of 1 to 3 percent and 5 to 7 percent, respectively, for the same wavelength range. Solar irradiances were high from the start of observations, late in 1978, until 1983, declined until early 1985, remained approximately constant until mid-1987, and then began to rise. Peak-to-peak 27-day rotational modulation amplitudes were as large as 6 percent at solar maximum and 1 to 2 percent at solar minimum. During occasional intervals of the 1979 to 1983 maximum and again during 1988, the dominant rotational modulation period was 13.5 days. Measurements near 200 to 205 nm show the same rotational modulation behavior but cannot be used to track long-term changes in the Sun because of uncertainties in the characterization of long-term instrument sensitivity changes