Toward the next generation of research into small area effects on health : a synthesis of multilevel investigations published since July 1998.

To map out area effects on health research, this study had the following aims: (1) to inventory multilevel investigations of area effects on self rated health, cardiovascular diseases and risk factors, and mortality among adults; (2) to describe and critically discuss methodological approaches employed and results observed; and (3) to formulate selected recommendations for advancing the study of area effects on health. Overall, 86 studies were inventoried. Although several innovative methodological approaches and analytical designs were found, small areas are most often operationalised using administrative and statistical spatial units. Most studies used indicators of area socioeconomic status derived from censuses, and few provided information on the validity and reliability of measures of exposures. A consistent finding was that a significant portion of the variation in health is associated with area context independently of individual characteristics. Area effects on health, although significant in most studies, often depend on the health outcome studied, the measure of area exposure used, and the spatial scale at which associations are examined

The confusion about dietary fatty acids recommendations for CHD prevention

A recent meta-analysis of prospective cohort studies has not found an association between dietary saturated fat intake and CHD incidence. This funnelled the discussion about the importance of the recommendation to lower the intake of saturated fat for the prevention of CHD. At the same time a document of the European Food Safety Authority has suggested that specific quantitative recommendations are not needed for individual fatty acids but that more general statements can suffice. In this review, we discuss methodological aspects of the absence of association between SFA intake and CHD incidence in prospective cohort studies. We also summarise the results of the controlled dietary experiments on blood lipids and on CHD incidence in which saturated fat was replaced by either cis-unsaturated fat or carbohydrates. Finally, we propose a nutritionally adequate diet with an optimal fatty acid composition for the prevention of CHD in the context of dietary patterns. Such diets are characterised by a low intake of saturated fat, and as low as possible intake of trans-fat and fulfil the requirements for the intake of n-6 and n-3 fatty acids. No recommendation is needed for the intake of cis-MUF

The early expansion and evolutionary dynamics of POU class genes.

The POU genes represent a diverse class of animal-specific transcription factors that play important roles in neurogenesis, pluripotency, and cell-type specification. Although previous attempts have been made to reconstruct the evolution of the POU class, these studies have been limited by a small number of representative taxa, and a lack of sequences from basally branching organisms. In this study, we performed comparative analyses on available genomes and sequences recovered through "gene fishing" to better resolve the topology of the POU gene tree. We then used ancestral state reconstruction to map the most likely changes in amino acid evolution for the conserved domains. Our work suggests that four of the six POU families evolved before the last common ancestor of living animals-doubling previous estimates-and were followed by extensive clade-specific gene loss. Amino acid changes are distributed unequally across the gene tree, consistent with a neofunctionalization model of protein evolution. We consider our results in the context of early animal evolution, and the role of POU5 genes in maintaining stem cell pluripotency

Healthiness from Duality

Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers which arise as the (backward) interpretation of a certain class of programs. There are several results known for healthiness conditions: for deterministic programs, nondeterministic ones, probabilistic ones, etc. Building upon our previous works on so-called state-and-effect triangles, we contribute a unified categorical framework for investigating healthiness conditions. We find the framework to be centered around a dual adjunction induced by a dualizing object, together with our notion of relative Eilenberg-Moore algebra playing fundamental roles too. The latter notion seems interesting in its own right in the context of monads, Lawvere theories and enriched categories.Comment: 13 pages, Extended version with appendices of a paper accepted to LICS 201

Passive propellant system

The system utilizes a spherical tank structure A separated into two equal volume compartments by a flat bulkhead B. Each compartment has four similar gallery channel legs located in the principal vehicle axes, ensuring that bulk propellant will contact at least one gallery leg during vehicle maneuvers. The forward compartment gallery channel legs collect propellant and feed it into the aft compartment through communication screens which protrude into the aft compartment. The propellant is then collected by the screened gallery channels in the aft compartment and supplied to the propellant outlet. The invention resides in the independent gallery assembly and screen structure by means of which propellant flow from forward to aft compartments is maintained. Liquid surface tension of the liquid on the screens is used to control liquid flow. The system provides gas-free propellants in low or zero-g environments regardless of axial accelerations and propellant orientation in bulk regions of the vessel

Experimental Demonstration of a Quantum Circuit using Linear Optics Gates

One of the main advantages of an optical approach to quantum computing is the fact that optical fibers can be used to connect the logic and memory devices to form useful circuits, in analogy with the wires of a conventional computer. Here we describe an experimental demonstration of a simple quantum circuit of that kind in which two probabilistic exclusive-OR (XOR) logic gates were combined to calculate the parity of three input qubits.Comment: v2 is final PRA versio

Coinduction up to in a fibrational setting

Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof techniques for checking properties of different kinds of systems. We prove the soundness of such techniques in a fibrational setting, building on the seminal work of Hermida and Jacobs. This allows us to systematically obtain up-to techniques not only for bisimilarity but for a large class of coinductive predicates modelled as coalgebras. By tuning the parameters of our framework, we obtain novel techniques for unary predicates and nominal automata, a variant of the GSOS rule format for similarity, and a new categorical treatment of weak bisimilarity

Surface states in nearly modulated systems

A Landau model is used to study the phase behavior of the surface layer for magnetic and cholesteric liquid crystal systems that are at or near a Lifshitz point marking the boundary between modulated and homogeneous bulk phases. The model incorporates surface and bulk fields and includes a term in the free energy proportional to the square of the second derivative of the order parameter in addition to the usual term involving the square of the first derivative. In the limit of vanishing bulk field, three distinct types of surface ordering are possible: a wetting layer, a non-wet layer having a small deviation from bulk order, and a different non-wet layer with a large deviation from bulk order which decays non-monotonically as distance from the wall increases. In particular the large deviation non-wet layer is a feature of systems at the Lifshitz point and also those having only homogeneous bulk phases.Comment: 6 pages, 7 figures, submitted to Phys. Rev.