Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory

In Riesz space theory it is good practice to avoid representation theorems which depend on the axiom of choice. Here we present a general methodology to do this using pointfree topology. To illustrate the technique we show that almost f-algebras are commutative. The proof is obtained relatively straightforward from the proof by Buskes and van Rooij by using the pointfree Stone-Yosida representation theorem by Coquand and Spitters

Using Preferred Outcome Distributions to estimate Value and Probability Weighting Functions in Decisions under Risk

In this paper we propose the use of preferred outcome distributions as a new method to elicit individuals' value and probability weighting functions in decisions under risk. Extant approaches for the elicitation of these two key ingredients of individuals' risk attitude typically rely on a long, chained sequence of lottery choices. In contrast, preferred outcome distributions can be elicited through an intuitive graphical interface, and, as we show, the information contained in two preferred outcome distributions is sufficient to identify non-parametrically both the value function and the probability weighting function in rank-dependent utility models. To illustrate our method and its advantages, we run an incentive-compatible lab study in which participants use a simple graphical interface - the Distribution Builder (Goldstein et al. 2008) - to construct their preferred outcome distributions, subject to a budget constraint. Results show that estimates of the value function are in line with previous research but that probability weighting biases are diminished, thus favoring our proposed approach based on preferred outcome distributions

Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)

The languages accepted by finite automata are precisely the languages denoted by regular expressions. In contrast, finite automata may exhibit behaviours that cannot be described by regular expressions up to bisimilarity. In this paper, we consider extensions of the theory of regular expressions with various forms of parallel composition and study the effect on expressiveness. First we prove that adding pure interleaving to the theory of regular expressions strictly increases its expressiveness up to bisimilarity. Then, we prove that replacing the operation for pure interleaving by ACP-style parallel composition gives a further increase in expressiveness. Finally, we prove that the theory of regular expressions with ACP-style parallel composition and encapsulation is expressive enough to express all finite automata up to bisimilarity. Our results extend the expressiveness results obtained by Bergstra, Bethke and Ponse for process algebras with (the binary variant of) Kleene's star operation.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

Volume terms for charged colloids: a grand-canonical treatment

We present a study of thermodynamic properties of suspensions of charged colloids on the basis of linear Poisson-Boltzmann theory. We calculate the effective Hamiltonian of the colloids by integrating out the ionic degrees of freedom grand-canonically. This procedure not only yields the well-known pairwise screened-Coulomb interaction between the colloids, but also additional volume terms which affect the phase behavior and the thermodynamic properties such as the osmotic pressure. These calculations are greatly facilitated by the grand-canonical character of our treatment of the ions, and allow for relatively fast computations compared to earlier studies in the canonical ensemble. Moreover, the present derivation of the volume terms are relatively simple, make a direct connection with Donnan equilibrium, yield an explicit expression for the effective screening constant, and allow for extensions to include, for instance, nonlinear effects.Comment: 16 pages, 6 figures, published in Phys.Rev.

ENIGMA and global neuroscience: A decade of large-scale studies of the brain in health and disease across more than 40 countries

This review summarizes the last decade of work by the ENIGMA (Enhancing NeuroImaging Genetics through Meta Analysis) Consortium, a global alliance of over 1400 scientists across 43 countries, studying the human brain in health and disease. Building on large-scale genetic studies that discovered the first robustly replicated genetic loci associated with brain metrics, ENIGMA has diversified into over 50 working groups (WGs), pooling worldwide data and expertise to answer fundamental questions in neuroscience, psychiatry, neurology, and genetics. Most ENIGMA WGs focus on specific psychiatric and neurological conditions, other WGs study normal variation due to sex and gender differences, or development and aging; still other WGs develop methodological pipelines and tools to facilitate harmonized analyses of "big data" (i.e., genetic and epigenetic data, multimodal MRI, and electroencephalography data). These international efforts have yielded the largest neuroimaging studies to date in schizophrenia, bipolar disorder, major depressive disorder, post-traumatic stress disorder, substance use disorders, obsessive-compulsive disorder, attention-deficit/hyperactivity disorder, autism spectrum disorders, epilepsy, and 22q11.2 deletion syndrome. More recent ENIGMA WGs have formed to study anxiety disorders, suicidal thoughts and behavior, sleep and insomnia, eating disorders, irritability, brain injury, antisocial personality and conduct disorder, and dissociative identity disorder. Here, we summarize the first decade of ENIGMA's activities and ongoing projects, and describe the successes and challenges encountered along the way. We highlight the advantages of collaborative large-scale coordinated data analyses for testing reproducibility and robustness of findings, offering the opportunity to identify brain systems involved in clinical syndromes across diverse samples and associated genetic, environmental, demographic, cognitive, and psychosocial factors

Optimal estimation of qubit states with continuous time measurements

We propose an adaptive, two steps strategy, for the estimation of mixed qubit states. We show that the strategy is optimal in a local minimax sense for the trace norm distance as well as other locally quadratic figures of merit. Local minimax optimality means that given $n$ identical qubits, there exists no estimator which can perform better than the proposed estimator on a neighborhood of size $n^{-1/2}$ of an arbitrary state. In particular, it is asymptotically Bayesian optimal for a large class of prior distributions. We present a physical implementation of the optimal estimation strategy based on continuous time measurements in a field that couples with the qubits. The crucial ingredient of the result is the concept of local asymptotic normality (or LAN) for qubits. This means that, for large $n$, the statistical model described by $n$ identically prepared qubits is locally equivalent to a model with only a classical Gaussian distribution and a Gaussian state of a quantum harmonic oscillator. The term `local' refers to a shrinking neighborhood around a fixed state $\rho_{0}$. An essential result is that the neighborhood radius can be chosen arbitrarily close to $n^{-1/4}$. This allows us to use a two steps procedure by which we first localize the state within a smaller neighborhood of radius $n^{-1/2+\epsilon}$, and then use LAN to perform optimal estimation.Comment: 32 pages, 3 figures, to appear in Commun. Math. Phy

Условия формирования и проблемы функционирования крупных диверсифицированных производственно-корпоративных структур в Украине

У статті розглянуто умови формування та функціонування, а також історія розвитку великих диверсифікованих виробничо-корпоративних структур в Україні. Пропонуються підходи оцінки результативності процесу диверсифікації з використанням різних методик. Визначено, що в даний час оцінка результативності процесу диверсифікації можлива лише непрямими математичними методами.В статье рассмотрены условия формирования и функционирования, а также история развития крупных диверсифицированных производственно-корпоративных структур в Украине. Предлагаются подходы оценки результативности процесса диверсификации с использованием разных методик. Определено, что в настоящее время оценка результативности процесса диверсификации возможна лишь косвенными математическими методами.In the article address the formation and functioning of the conditions, as well as story development of large industrial and corporate structures, becoming diversification in Ukraine. Proposes approaches assessing impact of the process of diversification, using of different methods. Proved that the current performance assessment process of diversification can only be indirect mathematical methods

The association of health literacy with adherence in older 2 adults, and its role in interventions: a systematic meta-review

Background: Low health literacy is a common problem among older adults. It is often suggested to be associated with poor adherence. This suggested association implies a need for effective adherence interventions in low health literate people. However, previous reviews show mixed results on the association between low health literacy and poor adherence. A systematic meta-review of systematic reviews was conducted to study the association between health literacy and adherence in adults above the age of 50. Evidence for the effectiveness of adherence interventions among adults in this older age group with low health literacy was also explored. Methods: Eight electronic databases (MEDLINE, ERIC, EMBASE, PsycINFO, CINAHL, DARE, the Cochrane Library, and Web of Knowledge) were searched using a variety of keywords regarding health literacy and adherence. Additionally, references of identified articles were checked. Systematic reviews were included if they assessed the association between health literacy and adherence or evaluated the effectiveness of interventions to improve adherence in adults with low health literacy. The AMSTAR tool was used to assess the quality of the included reviews. The selection procedure, data-extraction, and quality assessment were performed by two independent reviewers. Seventeen reviews were selected for inclusion. Results: Reviews varied widely in quality. Both reviews of high and low quality found only weak or mixed associations between health literacy and adherence among older adults. Reviews report on seven studies that assess the effectiveness of adherence interventions among low health literate older adults. The results suggest that some adherence interventions are effective for this group. The interventions described in the reviews focused mainly on education and on lowering the health literacy demands of adherence instructions. No conclusions could be drawn about which type of intervention could be most beneficial for this population. Conclusions: Evidence on the association between health literacy and adherence in older adults is relatively weak. Adherence interventions are potentially effective for the vulnerable population of older adults with low levels of health literacy, but the evidence on this topic is limited. Further research is needed on the association between health literacy and general health behavior, and on the effectiveness of interventions

Dusty Planetary Systems

Extensive photometric stellar surveys show that many main sequence stars show emission at infrared and longer wavelengths that is in excess of the stellar photosphere; this emission is thought to arise from circumstellar dust. The presence of dust disks is confirmed by spatially resolved imaging at infrared to millimeter wavelengths (tracing the dust thermal emission), and at optical to near infrared wavelengths (tracing the dust scattered light). Because the expected lifetime of these dust particles is much shorter than the age of the stars (>10 Myr), it is inferred that this solid material not primordial, i.e. the remaining from the placental cloud of gas and dust where the star was born, but instead is replenished by dust-producing planetesimals. These planetesimals are analogous to the asteroids, comets and Kuiper Belt objects (KBOs) in our Solar system that produce the interplanetary dust that gives rise to the zodiacal light (tracing the inner component of the Solar system debris disk). The presence of these "debris disks" around stars with a wide range of masses, luminosities, and metallicities, with and without binary companions, is evidence that planetesimal formation is a robust process that can take place under a wide range of conditions. This chapter is divided in two parts. Part I discusses how the study of the Solar system debris disk and the study of debris disks around other stars can help us learn about the formation, evolution and diversity of planetary systems by shedding light on the frequency and timing of planetesimal formation, the location and physical properties of the planetesimals, the presence of long-period planets, and the dynamical and collisional evolution of the system. Part II reviews the physical processes that affect dust particles in the gas-free environment of a debris disk and their effect on the dust particle size and spatial distribution.Comment: 68 pages, 25 figures. To be published in "Solar and Planetary Systems" (P. Kalas and L. French, Eds.), Volume 3 of the series "Planets, Stars and Stellar Systems" (T.D. Oswalt, Editor-in-chief), Springer 201