The value of a long-term bushmeat market dataset as an indicator of system dynamics

Published versio

A wide-spectrum language for verification of programs on weak memory models

Modern processors deploy a variety of weak memory models, which for efficiency reasons may (appear to) execute instructions in an order different to that specified by the program text. The consequences of instruction reordering can be complex and subtle, and can impact on ensuring correctness. Previous work on the semantics of weak memory models has focussed on the behaviour of assembler-level programs. In this paper we utilise that work to extract some general principles underlying instruction reordering, and apply those principles to a wide-spectrum language encompassing abstract data types as well as low-level assembler code. The goal is to support reasoning about implementations of data structures for modern processors with respect to an abstract specification. Specifically, we define an operational semantics, from which we derive some properties of program refinement, and encode the semantics in the rewriting engine Maude as a model-checking tool. The tool is used to validate the semantics against the behaviour of a set of litmus tests (small assembler programs) run on hardware, and also to model check implementations of data structures from the literature against their abstract specifications

Magnetism, FeS colloids, and Origins of Life

A number of features of living systems: reversible interactions and weak bonds underlying motor-dynamics; gel-sol transitions; cellular connected fractal organization; asymmetry in interactions and organization; quantum coherent phenomena; to name some, can have a natural accounting via $physical$ interactions, which we therefore seek to incorporate by expanding the horizons of `chemistry-only' approaches to the origins of life. It is suggested that the magnetic 'face' of the minerals from the inorganic world, recognized to have played a pivotal role in initiating Life, may throw light on some of these issues. A magnetic environment in the form of rocks in the Hadean Ocean could have enabled the accretion and therefore an ordered confinement of super-paramagnetic colloids within a structured phase. A moderate H-field can help magnetic nano-particles to not only overcome thermal fluctuations but also harness them. Such controlled dynamics brings in the possibility of accessing quantum effects, which together with frustrations in magnetic ordering and hysteresis (a natural mechanism for a primitive memory) could throw light on the birth of biological information which, as Abel argues, requires a combination of order and complexity. This scenario gains strength from observations of scale-free framboidal forms of the greigite mineral, with a magnetic basis of assembly. And greigite's metabolic potential plays a key role in the mound scenario of Russell and coworkers-an expansion of which is suggested for including magnetism.Comment: 42 pages, 5 figures, to be published in A.R. Memorial volume, Ed Krishnaswami Alladi, Springer 201

Disruption of muscle architecture and myocardial degeneration in mice lacking desmin.

Desmin, the muscle specific intermediate filament (IF) protein encoded by a single gene, is expressed in all muscle tissues. In mature striated muscle, desmin IFs surround the Z-discs, interlink them together and integrate the contractile apparatus with the sarcolemma and the nucleus. To investigate the function of desmin in all three muscle types in vivo, we generated desmin null mice through homologous recombination. Surprisingly, desmin null mice are viable and fertile. However, these mice demonstrated a multisystem disorder involving cardiac, skeletal, and smooth muscle. Histological and electron microscopic analysis in both heart and skeletal muscle tissues revealed severe disruption of muscle architecture and degeneration. Structural abnormalities included loss of lateral alignment of myofibrils and abnormal mitochondrial organization. The consequences of these abnormalities were most severe in the heart, which exhibited progressive degeneration and necrosis of the myocardium accompanied by extensive calcification. Abnormalities of smooth muscle included hypoplasia and degeneration. The present data demonstrate the essential role of desmin in the maintenance of myofibril, myofiber, and whole muscle tissue structural and functional integrity, and show that the absence of desmin leads to muscle degeneration

Artificial Neural Network Inference (ANNI): A Study on Gene-Gene Interaction for Biomarkers in Childhood Sarcomas

Objective: To model the potential interaction between previously identified biomarkers in children sarcomas using artificial neural network inference (ANNI). Method: To concisely demonstrate the biological interactions between correlated genes in an interaction network map, only 2 types of sarcomas in the children small round blue cell tumors (SRBCTs) dataset are discussed in this paper. A backpropagation neural network was used to model the potential interaction between genes. The prediction weights and signal directions were used to model the strengths of the interaction signals and the direction of the interaction link between genes. The ANN model was validated using Monte Carlo cross-validation to minimize the risk of over-fitting and to optimize generalization ability of the model. Results: Strong connection links on certain genes (TNNT1 and FNDC5 in rhabdomyosarcoma (RMS); FCGRT and OLFM1 in Ewing’s sarcoma (EWS)) suggested their potency as central hubs in the interconnection of genes with different functionalities. The results showed that the RMS patients in this dataset are likely to be congenital and at low risk of cardiomyopathy development. The EWS patients are likely to be complicated by EWS-FLI fusion and deficiency in various signaling pathways, including Wnt, Fas/Rho and intracellular oxygen. Conclusions: The ANN network inference approach and the examination of identified genes in the published literature within the context of the disease highlights the substantial influence of certain genes in sarcomas

Exogenous spatial precuing reliably modulates object processing but not object substitution masking

Object substitution masking (OSM) is used in behavioral and imaging studies to investigate processes associated with the formation of a conscious percept. Reportedly, OSM occurs only when visual attention is diffusely spread over a search display or focused away from the target location. Indeed, the presumed role of spatial attention is central to theoretical accounts of OSM and of visual processing more generally (Di Lollo, Enns, & Rensink, Journal of Experimental Psychology: General 129:481–507, 2000). We report a series of five experiments in which valid spatial precuing is shown to enhance the ability of participants to accurately report a target but, in most cases, without affecting OSM. In only one experiment (Experiment 5) was a significant effect of precuing observed on masking. This is in contrast to the reliable effect shown across all five experiments in which precuing improved overall performance. The results are convergent with recent findings from Argyropoulos, Gellatly, and Pilling (Journal of Experimental Psychology: Human Perception and Performance 39:646–661, 2013), which show that OSM is independent of the number of distractor items in a display. Our results demonstrate that OSM can operate independently of focal attention. Previous claims of the strong interrelationship between OSM and spatial attention are likely to have arisen from ceiling or floor artifacts that restricted measurable performance

Betting is loving and bettors are predators: a conceptual metaphor approach to online sports betting advertising

The legalisation of online gambling in multiple territories has caused a growth in the exposure of consumers to online sports betting (OSB) advertising. While some efforts have been made to understand the visible structure of betting promotional messages, little is known about the latent components of OSB advertisements. The present study sought to address this issue by examining the metaphorical conceptualisation of OSB advertising. A sample of Spanish and British television OSB advertisements from 2014 to 2016 was analysed (N = 133). Following Lakoff and Johnson’s conceptual metaphor theory, four main structural metaphors that shaped how OSB advertising can be understood were identified: betting as (1) an act of love, (2) a market, (3) a sport, and (4) a natural environment. In general, these metaphors, which were found widely across 29 different betting brands, facilitated the perception of bettors as active players, with an executive role in the sport events bet upon, and greater control over bet outcomes

A model of open-loop control of equilibrium position and stiffness of the human elbow joint

According to the equilibrium point theory, the control of posture and movement involves the setting of equilibrium joint positions (EP) and the independent modulation of stiffness. One model of EP control, the α-model, posits that stable EPs and stiffness are set open-loop, i.e. without the aid of feedback. The purpose of the present study was to explore for the elbow joint the range over which stable EPs can be set open-loop and to investigate the effect of co-contraction on intrinsic low-frequency elbow joint stiffness (

The NEWMEDS rodent touchscreen test battery for cognition relevant to schizophrenia.

RATIONALE: The NEWMEDS initiative (Novel Methods leading to New Medications in Depression and Schizophrenia, http://www.newmeds-europe.com ) is a large industrial-academic collaborative project aimed at developing new methods for drug discovery for schizophrenia. As part of this project, Work package 2 (WP02) has developed and validated a comprehensive battery of novel touchscreen tasks for rats and mice for assessing cognitive domains relevant to schizophrenia. OBJECTIVES: This article provides a review of the touchscreen battery of tasks for rats and mice for assessing cognitive domains relevant to schizophrenia and highlights validation data presented in several primary articles in this issue and elsewhere. METHODS: The battery consists of the five-choice serial reaction time task and a novel rodent continuous performance task for measuring attention, a three-stimulus visual reversal and the serial visual reversal task for measuring cognitive flexibility, novel non-matching to sample-based tasks for measuring spatial working memory and paired-associates learning for measuring long-term memory. RESULTS: The rodent (i.e. both rats and mice) touchscreen operant chamber and battery has high translational value across species due to its emphasis on construct as well as face validity. In addition, it offers cognitive profiling of models of diseases with cognitive symptoms (not limited to schizophrenia) through a battery approach, whereby multiple cognitive constructs can be measured using the same apparatus, enabling comparisons of performance across tasks. CONCLUSION: This battery of tests constitutes an extensive tool package for both model characterisation and pre-clinical drug discovery.This work was supported by the Innovative Medicine Initiative Joint Undertaking under grant agreement no. 115008 of which resources are composed of EFPIA in-kind contribution and financial contribution from the European Union’s Seventh Framework Programme (FP7/2007-2013). The authors thank Charlotte Oomen for valuable comments on the manuscript.This is the author accepted manuscript. The final version is available from Springer via http://dx.doi.org/10.1007/s00213-015-4007-

Nothing Lasts Forever: Environmental Discourses on the Collapse of Past Societies

The study of the collapse of past societies raises many questions for the theory and practice of archaeology. Interest in collapse extends as well into the natural sciences and environmental and sustainability policy. Despite a range of approaches to collapse, the predominant paradigm is environmental collapse, which I argue obscures recognition of the dynamic role of social processes that lie at the heart of human communities. These environmental discourses, together with confusion over terminology and the concepts of collapse, have created widespread aporia about collapse and resulted in the creation of mixed messages about complex historical and social processes