A perspective on specifying and verifying concurrent modules

The specification of a concurrent program module, and the verification of implementations and clients with respect to such a specification, are difficult problems. A specification should be general enough that any reasonable implementation satisfies it, yet precise enough that it can be used by any reasonable client. We survey a range of techniques for specifying concurrent modules, using the example of a counter module to illustrate the benefits and limitations of each. In particular, we highlight four key concepts underpinning these techniques: auxiliary state, interference abstraction, resource ownership and atomicity. We demonstrate how these concepts can be combined to achieve two powerful approaches for specifying concurrent modules and verifying implementations and clients, which remove the limitations highlighted by the counter example

Push-out tests and bond strength of rectangular CFST columns

Push-out tests have been conducted on 18 rectangular concrete-filled steel tubular (CFST) columns with the aim of studying the bond behaviour between the steel tube and the concrete infill. The obtained load-slip response and the distribution of the interface bond stress along the member length and around the cross-section for various load levels, as derived from measured axial strain gradients in the steel tube, are reported. Concrete compressive strength, interface length, cross-sectional dimensions and different interface conditions were varied to assess their effect on the ultimate bond stress. The test results indicate that lubricating the steel-concrete interface always had a significant adverse effect on the interface bond strength. Among the other variables considered, concrete compressive strength and cross-section size were found to have a pronounced effect on the bond strength of non-lubricated specimens for the range of cross-section geometries considered, which is not reflected in the European structural design code for composite structures, EN 1994-1-1 (2004). Finally, based on nonlinear regression of the test data generated in the present study, supplemented by additional data obtained from the literature, an empirical equation has been proposed for predicting the average ultimate bond strength for SHS and RHS filled with normal strength concrete

Are chimpanzees really so poor at understanding imperative pointing? Some new data and an alternative view of canine and ape social cognition

There is considerable interest in comparative research on different species’ abilities to respond to human communicative cues such as gaze and pointing. It has been reported that some canines perform significantly better than monkeys and apes on tasks requiring the comprehension of either declarative or imperative pointing and these differences have been attributed to domestication in dogs. Here we tested a sample of chimpanzees on a task requiring comprehension of an imperative request and show that, though there are considerable individual differences, the performance by the apes rival those reported in pet dogs. We suggest that small differences in methodology can have a pronounced influence on performance on these types of tasks. We further suggest that basic differences in subject sampling, subject recruitment and rearing experiences have resulted in a skewed representation of canine abilities compared to those of monkeys and apes

Characterisation of coral explants: a model organism for cnidarian–dinoflagellate studies

© 2014, Springer-Verlag Berlin Heidelberg. Coral cell cultures made from reef-building scleractinian corals have the potential to aid in the pursuit of understanding of the cnidarian–dinoflagellate symbiosis. Various methods have previously been described for the production of cell cultures in vitro with a range of success and longevity. In this study, viable tissue spheroids containing host tissue and symbionts (coral explants) were grown from the tissues of Fungia granulosa. The cultured explants remained viable for over 2 months and showed morphological similarities in tissue structure and internal microenvironment to reef-building scleractinian corals. The photophysiology of the explants (1 week old) closely matched that of the parent coral F. granulosa. This study provides the first empirical basis for supporting the use of coral explants as laboratory models for studying coral symbioses. In particular, it highlights how these small, self-sustaining, skeleton-free models can be useful for a number of molecular, genetic and physiological analyses necessary for investigating host–symbiont interactions at the microscale

The plight of the sense-making ape

This is a selective review of the published literature on object-choice tasks, where participants use directional cues to find hidden objects. This literature comprises the efforts of researchers to make sense of the sense-making capacities of our nearest living relatives. This chapter is written to highlight some nonsensical conclusions that frequently emerge from this research. The data suggest that when apes are given approximately the same sense-making opportunities as we provide our children, then they will easily make sense of our social signals. The ubiquity of nonsensical contemporary scientific claims to the effect that humans are essentially--or inherently--more capable than other great apes in the understanding of simple directional cues is, itself, a testament to the power of preconceived ideas on human perception

A p-Spin Interaction Ashkin-Teller Spin-Glass Model

A p-spin interaction Ashkin-Teller spin glass, with three independent Gaussian probability distributions for the exchange interactions, is studied by means of the replica method. A simple phase diagram is obtained within the replica-symmetric approximation, presenting an instability of the paramagnetic solution at low temperatures. The replica-symmetry-breaking procedure is implemented and a rich phase diagram is obtained; besides the paramagnetic phase, three distinct spin-glass phases appear. Three first-order critical frontiers are found and they all meet at a triple point; among such lines, two of them present discontinuities in the order parameters, but no latent heat, whereas the other one exhibits both discontinuities in the order parameters and a finite latent heat.Comment: 17 pages, 2 figures, submitted to Physica

Who Watches the Watchmen? An Appraisal of Benchmarks for Multiple Sequence Alignment

Multiple sequence alignment (MSA) is a fundamental and ubiquitous technique in bioinformatics used to infer related residues among biological sequences. Thus alignment accuracy is crucial to a vast range of analyses, often in ways difficult to assess in those analyses. To compare the performance of different aligners and help detect systematic errors in alignments, a number of benchmarking strategies have been pursued. Here we present an overview of the main strategies--based on simulation, consistency, protein structure, and phylogeny--and discuss their different advantages and associated risks. We outline a set of desirable characteristics for effective benchmarking, and evaluate each strategy in light of them. We conclude that there is currently no universally applicable means of benchmarking MSA, and that developers and users of alignment tools should base their choice of benchmark depending on the context of application--with a keen awareness of the assumptions underlying each benchmarking strategy.Comment: Revie

Land use intensification in the humid tropics increased both alpha and beta diversity of soil bacteria

Anthropogenic pressures on tropical forests are rapidly intensifying, but our understanding of their implications for biological diversity is still very limited, especially with regard to soil biota, and in particular soil bacterial communities. Here we evaluated bacterial community composition and diversity across a gradient of land use intensity in the eastern Amazon from undisturbed primary forest, through primary forests varyingly disturbed by fire, regenerating secondary forest, pasture, and mechanized agriculture. Soil bacteria were assessed by paired-end Illumina sequencing of 16S rRNA gene fragments (V4 region). The resulting sequences were clustered into operational taxonomic units (OTU) at a 97% similarity threshold. Land use intensification increased the observed bacterial diversity (both OTU richness and community heterogeneity across space) and this effect was strongly associated with changes in soil pH. Moreover, land use intensification and subsequent changes in soil fertility, especially pH, altered the bacterial community composition, with pastures and areas of mechanized agriculture displaying the most contrasting communities in relation to undisturbed primary forest. Together, these results indicate that tropical forest conversion impacts soil bacteria not through loss of diversity, as previously thought, but mainly by imposing marked shifts on bacterial community composition, with unknown yet potentially important implications for ecological functions and services performed by these communities

Interleukin-33 regulates tissue remodelling and inhibits angiogenesis in the eye

Age-related macular degeneration (AMD) is the leading cause of central vision loss worldwide. Loss of retinal pigment epithelium (RPE) is a major pathological hallmark in AMD with or without pathological neovascularization. Although activation of the immune system is implicated in disease progression, pathological pathways remain diverse and unclear. Here, we report an unexpected protective role of a pro-inflammatory cytokine, interleukin-33 (IL-33) in ocular angiogenesis. IL-33 and its receptor (ST2) are expressed constitutively in human and murine retina and choroid. When RPE was activated, IL-33 expression was markedly elevated in vitro. We found that IL-33 regulated tissue remodelling by attenuating wound-healing responses, including reduction in migration of choroidal fibroblasts and retinal microvascular endothelial cells, and inhibition of collagen gel contraction. In vivo, local administration of recombinant IL-33 inhibited murine choroidal neovascularization (CNV) formation, a surrogate of human neovascular AMD, and this effect was ST2-dependent. Collectively, these data demonstrate IL-33 as a potential immunotherapy and distinguishes pathways for subverting AMD pathology

Physical activity attitudes, intentions and behaviour among 18-25 year olds: a mixed method study

Peer reviewedPublisher PD