Preliminary Understanding of Complexities in Swimming Performance of Common Minnow (Cyprinidae) Taxa

Understanding swimming performance of native freshwater fishes has implications for ecology, conservation, and management. In particular, this type of information has practical importance for improving the understanding of fish dispersal, occurrence, migration, and invasive potential. The objective of this study was to characterize swimming performance of 2 taxa from the comparatively understudied minnow family (Cyprinidae) and test for potential drivers as a function of total length, sex, habitat, morphology, or some combination. The study assessed Spotfin Shiner (Cyprinella spiloptera; n = 66) and Bluntnose Minnow (Pimephales notatus; n = 24) populations from an ontogenic range of male and female individuals from lentic and lotic habitats in Indiana and Ohio. Akaike information criterion (AIC) model selection identified the most parsimonious linear regression model to predict swimming performance of Spotfin Shiner and Bluntnose Minnow independently. Overall, larger Spotfin Shiners were superior swimmers compared with smaller individuals. In both species, individuals having more streamlined heads and elongated caudal regions were better swimmers. Additionally, Spotfin Shiners that were collected from lotic environments were generally better swimmers than individuals from lentic environments. Models did not recover sex-specific effects in either species—or meaningful total length, or habitat effects, in Bluntnose Minnows. Overall, this study provides evidence of a complex series of swimming performance covariates when assessing or understanding performance. This has implications for aquatic population, assemblage, and community ecology as well as management and conservation efforts

If you care about social equality, you want a big state: Home, work, care and social egalitarianism

Justified scepticism about distant bureaucracies and transactional politics mutated into a wholesale retreat from the state on the left – but to create a just and egalitarian society, say Emily McTernan, Martin O'Neill, Christian Schemmel and Fabian Schuppert, we need a powerful, democratic ‘big state’

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle data non-determinism. Our technique iteratively and exhaustively finds all executions of the program. It represents program executions using partial orders and finds the next execution using an underlying unfolding semantics. We avoid the exploration of redundant program traces using cutoff events. We implemented our technique as an extension of KLEE and evaluated it on a set of large multi-threaded C programs. Our experiments found several previously undiscovered bugs and undefined behaviors in memcached and GNU sort, showing that the new method is capable of finding bugs in industrial-size benchmarks.Comment: Extended version of a paper presented at CAV'2

Global equality of resources and the problem of valuation

The principle that every individual on the planet has a claim to an equal share of Earth’s natural resources has an intuitive attraction. Yet the Principle of Natural Resource Equality is not without its problems. This article focuses on the problem of valuation. Unless and until its adherents are able to develop an adequate theoretical mechanism for determining the comparative value of two or more bundles of natural resources the principle lacks applicability and persuasive force. Three adequacy constraints on such a mechanism are presented and then applied to a theorisation of the Principle of Natural Resource Equality that I have already expounded elsewhere: Global Equality of Resources. In each case I try to argue that Global Equality of Resources could satisfy the adequacy constraint, provided that both this theory and the relevant constraint are properly understood

Evidence for the impact of the 8.2-kyBP climate event on Near Eastern early farmers.

The 8.2-thousand years B.P. event is evident in multiple proxy records across the globe, showing generally dry and cold conditions for ca. 160 years. Environmental changes around the event are mainly detected using geochemical or palynological analyses of ice cores, lacustrine, marine, and other sediments often distant from human settlements. The Late Neolithic excavated area of the archaeological site of Çatalhöyük East [Team Poznań (TP) area] was occupied for four centuries in the ninth and eighth millennia B.P., thus encompassing the 8.2-thousand years B.P. climatic event. A Bayesian analysis of 56 radiocarbon dates yielded a high-resolution chronological model comprising six building phases, with dates ranging from before 8325-8205 to 7925-7815 calibrated years (cal) B.P. Here, we correlate an onsite paleoclimate record constructed from δ2H values of lipid biomarkers preserved in pottery vessels recovered from these buildings with changes in architectural, archaeozoological, and consumption records from well-documented archaeological contexts. The overall sequence shows major changes in husbandry and consumption practices at ca. 8.2 thousand years B.P., synchronous with variations in the δ2H values of the animal fat residues. Changes in paleoclimate and archaeological records seem connected with the patterns of atmospheric precipitation during the occupation of the TP area predicted by climate modeling. Our multiproxy approach uses records derived directly from documented archaeological contexts. Through this, we provide compelling evidence for the specific impacts of the 8.2-thousand years B.P. climatic event on the economic and domestic activities of pioneer Neolithic farmers, influencing decisions relating to settlement planning and food procurement strategies

Novel insights on diagnosis, cause and treatment of diabetic neuropathy: Focus on painful diabetic neuropathy

Diabetic neuropathy is common, under or misdiagnosed, and causes substantial morbidity with increased mortality. Defining and developing sensitive diagnostic tests for diabetic neuropathy is not only key to implementing earlier interventions but also to ensure that the most appropriate endpoints are employed in clinical intervention trials. This is critical as many potentially effective therapies may never progress to the clinic, not due to a lack of therapeutic effect, but because the endpoints were not sufficiently sensitive or robust to identify benefit. Apart from improving glycaemic control, there is no licensed treatment for diabetic neuropathy, however, a number of pathogenetic pathways remain under active study. Painful diabetic neuropathy is a cause of considerable morbidity and whilst many pharmacological and nonpharmacological interventions are currently used, only two are approved by the US Food and Drug Administration. We address the important issue of the ‘placebo effect’ and also consider potential new pharmacological therapies as well as nonpharmacological interventions in the treatment of painful diabetic neuropathy

Versatile emulation of spiking neural networks on an accelerated neuromorphic substrate

We present first experimental results on the novel BrainScaleS-2 neuromorphic architecture based on an analog neuro-synaptic core and augmented by embedded microprocessors for complex plasticity and experiment control. The high acceleration factor of 1000 compared to biological dynamics enables the execution of computationally expensive tasks, by allowing the fast emulation of long-duration experiments or rapid iteration over many consecutive trials. The flexibility of our architecture is demonstrated in a suite of five distinct experiments, which emphasize different aspects of the BrainScaleS-2 system