Physiological signals have shown to be reliable indicators of stress in laboratory studies, yet large-scale ambulatory validation is lacking. We present a large-scale cross-sectional study for ambulatory stress detection, consisting of 1002 subjects, containing subjects’ demographics, baseline psychological information, and five consecutive days of free-living physiological and contextual measurements, collected through wearable devices and smartphones. This dataset represents a healthy population, showing associations between wearable physiological signals and self-reported daily-life stress. Using a data-driven approach, we identified digital phenotypes characterized by self-reported poor health indicators and high depression, anxiety and stress scores that are associated with blunted physiological responses to stress. These results emphasize the need for large-scale collections of multi-sensor data, to build personalized stress models for precision medicine.

No abstract

We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between the usual state-transformer semantics and the weakest precondition semantics. Rather than trying to reduce quantum computation to probabilistic programming we develop a notion that is directly taken from concepts used in quantum computation. The proof that weakest preconditions exist for completely positive maps follows immediately from the Kraus representation theorem. As an example we give the semantics of Selinger's language in terms of our weakest preconditions. We also cover some specific situations and exhibit an interesting link with stabilizers.

It is well understood that the use of quantum entanglement significantly enhances the computational power of systems. Much of the attention has focused on Bell states and their multipartite generalizations. However, in the multipartite case it is known that there are several inequivalent classes of states, such as those represented by the W-state and the GHZ-state. Our main contribution is a demonstration of the special computational power of these states in the context of paradigmatic problems from classical distributed computing. Concretely, we show that the W-state is the only pure state that can be used to exactly solve the problem of leader election in anonymous quantum networks. Similarly we show that the GHZ-state is the only one that can be used to solve the problem of distributed consensus when no classical post-processing is considered. These results generalize to a family of W- and GHZ-like states. At the heart of the proofs of these impossibility results lie symmetry arguments.

Background Both serotonergic signalling disruption and systemic inflammation have been associated with the pathogenesis of Alzheimer’s disease (AD). The common denominator linking the two is the catabolism of the essential amino acid, tryptophan. Metabolism via tryptophan hydroxylase results in serotonin synthesis, whilst metabolism via indoleamine 2,3-dioxygenase (IDO) results in kynurenine and its downstream derivatives. IDO is reported to be activated in times of host systemic inflammation and therefore is thought to influence both pathways. To investigate metabolic alterations in AD, a large-scale metabolic phenotyping study was conducted on both urine and serum samples collected from a multi-centre clinical cohort, consisting of individuals clinically diagnosed with AD, mild cognitive impairment (MCI) and age-matched controls. Methods Metabolic phenotyping was applied to both urine (n = 560) and serum (n = 354) from the European-wide AddNeuroMed/Dementia Case Register (DCR) biobank repositories. Metabolite data were subsequently interrogated for inter-group differences; influence of gender and age; comparisons between two subgroups of MCI - versus those who remained cognitively stable at follow-up visits (sMCI); and those who underwent further cognitive decline (cMCI); and the impact of selective serotonin reuptake inhibitor (SSRI) medication on metabolite concentrations. Results Results revealed significantly lower metabolite concentrations of tryptophan pathway metabolites in the AD group: serotonin (urine, serum), 5-hydroxyindoleacetic acid (urine), kynurenine (serum), kynurenic acid (urine), tryptophan (urine, serum), xanthurenic acid (urine, serum), and kynurenine/tryptophan ratio (urine). For each listed metabolite, a decreasing trend in concentrations was observed in-line with clinical diagnosis: control > MCI > AD. There were no significant differences in the two MCI subgroups whilst SSRI medication status influenced observations in serum, but not urine. Conclusions Urine and serum serotonin concentrations were found to be significantly lower in AD compared with controls, suggesting the bioavailability of the neurotransmitter may be altered in the disease. A significant increase in the kynurenine/tryptophan ratio suggests that this may be a result of a shift to the kynurenine metabolic route due to increased IDO activity, potentially as a result of systemic inflammation. Modulation of the pathways could help improve serotonin bioavailability and signalling in AD patients.

No abstract

No abstract

We develop a formal model for distributed measurement-based quantum computations, adopting an agent-based view, such that computations are described locally where possible. Because the network quantum state is in general entangled, we need to model it as a global structure, reminiscent of global memory in classical agent systems. Local quantum computations are described as measurement patterns. Since measurement-based quantum computation is inherently distributed, this allows us to extend naturally several concepts of the measurement calculus [DKP04], a formal model for such computations. Our goal is to define an assembly language, i.e. we assume that computations are well-defined and we do not concern ourselves with verification techniques. The operational semantics for systems of agents is given by a probabilistic transition system, and we define operational equivalence in a way that it corresponds to the notion of bisimilarity. With this in place, we prove that teleportation is bisimilar to a direct quantum channel, and this also within the context of larger networks.