The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes

We study the never-worse relation (NWR) for Markov decision processes with an infinite-horizon reachability objective. A state q is never worse than a state p if the maximal probability of reaching the target set of states from p is at most the same value from q, regard- less of the probabilities labelling the transitions. Extremal-probability states, end components, and essential states are all special cases of the equivalence relation induced by the NWR. Using the NWR, states in the same equivalence class can be collapsed. Then, actions leading to sub- optimal states can be removed. We show the natural decision problem associated to computing the NWR is coNP-complete. Finally, we ex- tend a previously known incomplete polynomial-time iterative algorithm to under-approximate the NWR

An in vivo analysis of safe laparoscopic grasping thresholds for colorectal surgery

Background Analysis of safe laparoscopic grasping thresholds for the colon has not been performed. This study aimed to analyse tissue damage thresholds when the colon is grasped laparoscopically, correlating histological changes to mechanical compressive forces. Methods An instrumented laparoscopic grasper was used to measure the forces applied to porcine colon, with data captured and plotted as a force–time (f–t) curve. Haematoxylin and eosin histochemistry of tissue subjected to 10, 20, 40, 50 and 70 N for 5, 30 and 60 s was performed, and the area of colonic circular and longitudinal muscle was compared in grasped and un-grasped regions. The area under the f–t curve was calculated as a measure of the accumulated force applied, known as the force–time product (FTP). Results FTP ranged from 55.7 to 3793 N.s. Significant differences were observed between the muscle area of the grasped and un-grasped regions in both longitudinal and circular muscle at 50 N and above for all grasping times. For the longitudinal muscle, significant differences were observed between grasped and un-grasped areas at 20 N force for 30 s (mean difference = 59 mm2, 95% CI 41–77 mm2, P = 0.04), 20 N force for 60 s (mean difference = 31 mm2, 95% CI 21.5–40.5 mm2, P = 0.006) and 40 N force for 30 s (mean difference 37 mm2, 95% CI 27–47 mm2, P = 0.006). Changes in histology correlated with mechanical forces applied to the longitudinal muscle at a FTP over 300 N s. Conclusions This study characterizes the grasping forces that result in histological changes to the colon and correlates these with a mechanical measurement of the applied force. The findings will contribute to the development of smart laparoscopic graspers with active constraints to prevent excessive grasping and tissue injury

New zebrafish models of neurodegeneration

In modern biomedicine, the increasing need to develop experimental models to further our understanding of disease conditions and delineate innovative treatments has found in the zebrafish (Danio rerio) an experimental model, and indeed a valuable asset, to close the gap between in vitro and in vivo assays. Translation of ideas at a faster pace is vital in the field of neurodegeneration, with the attempt to slow or prevent the dramatic impact on the society's welfare being an essential priority. Our research group has pioneered the use of zebrafish to contribute to the quest for faster and improved understanding and treatment of neurodegeneration in concert with, and inspired by, many others who have primed the study of the zebrafish to understand and search for a cure for disorders of the nervous system. Aware of the many advantages this vertebrate model holds, here, we present an update on the recent zebrafish models available to study neurodegeneration with the goal of stimulating further interest and increasing the number of diseases and applications for which they can be exploited. We shall do so by citing and commenting on recent breakthroughs made possible via zebrafish, highlighting their benefits for the testing of therapeutics and dissecting of disease mechanisms

Evidence for global cooling in the Late Cretaceous

PublishedArticleThe Late Cretaceous ‘greenhouse’ world witnessed a transition from one of the warmest climates of the past 140 million years to cooler conditions, yet still without significant continental ice. Low-latitude sea surface temperature (SST) records are a vital piece of evidence required to unravel the cause of Late Cretaceous cooling, but high-quality data remain illusive. Here, using an organic geochemical palaeothermometer (TEX86), we present a record of SSTs for the Campanian–Maastrichtian interval (~83–66 Ma) from hemipelagic sediments deposited on the western North Atlantic shelf. Our record reveals that the North Atlantic at 35 °N was relatively warm in the earliest Campanian, with maximum SSTs of ~35 °C, but experienced significant cooling (~7 °C) after this to <~28 °C during the Maastrichtian. The overall stratigraphic trend is remarkably similar to records of high-latitude SSTs and bottom-water temperatures, suggesting that the cooling pattern was global rather than regional and, therefore, driven predominantly by declining atmospheric pCO2 levels.We gratefully acknowledge funding from the German Science Foundation (DFG Research Stipend Li 2177/1-1 to C.L.), a Royal Society (UK) URF (S.A.R.), a NERC (UK) grant (J.A.L.), a NERC (UK) studentship (K.L.), The Curry Fund of UCL (C.L.), the Cushman Foundation for Foraminiferal Research (J.M. Resig Fellowship to F.F.) and the Spanish Ministerio de Ciencia e Innovación project CGL2011-22912, co-financed by the European Regional Development Fund (I.P.-R., J.A.A., J.A.L.). We thank T. Dunkley-Jones and J. Young for assistance in collecting the samples and S. Schouten for providing TEX86L data from Demerara Rise. This paper is dedicated to Ernie Russell, who sadly died after submission of the manuscript

Genomic signatures of population decline in the malaria mosquito Anopheles gambiae

Population genomic features such as nucleotide diversity and linkage disequilibrium are expected to be strongly shaped by changes in population size, and might therefore be useful for monitoring the success of a control campaign. In the Kilifi district of Kenya, there has been a marked decline in the abundance of the malaria vector Anopheles gambiae subsequent to the rollout of insecticide-treated bed nets. To investigate whether this decline left a detectable population genomic signature, simulations were performed to compare the effect of population crashes on nucleotide diversity, Tajima's D, and linkage disequilibrium (as measured by the population recombination parameter ρ). Linkage disequilibrium and ρ were estimated for An. gambiae from Kilifi, and compared them to values for Anopheles arabiensis and Anopheles merus at the same location, and for An. gambiae in a location 200 km from Kilifi. In the first simulations ρ changed more rapidly after a population crash than the other statistics, and therefore is a more sensitive indicator of recent population decline. In the empirical data, linkage disequilibrium extends 100-1000 times further, and ρ is 100-1000 times smaller, for the Kilifi population of An. gambiae than for any of the other populations. There were also significant runs of homozygosity in many of the individual An. gambiae mosquitoes from Kilifi. These results support the hypothesis that the recent decline in An. gambiae was driven by the rollout of bed nets. Measuring population genomic parameters in a small sample of individuals before, during and after vector or pest control may be a valuable method of tracking the effectiveness of interventions

Parameter-Independent Strategies for pMDPs via POMDPs

Markov Decision Processes (MDPs) are a popular class of models suitable for solving control decision problems in probabilistic reactive systems. We consider parametric MDPs (pMDPs) that include parameters in some of the transition probabilities to account for stochastic uncertainties of the environment such as noise or input disturbances. We study pMDPs with reachability objectives where the parameter values are unknown and impossible to measure directly during execution, but there is a probability distribution known over the parameter values. We study for the first time computing parameter-independent strategies that are expectation optimal, i.e., optimize the expected reachability probability under the probability distribution over the parameters. We present an encoding of our problem to partially observable MDPs (POMDPs), i.e., a reduction of our problem to computing optimal strategies in POMDPs. We evaluate our method experimentally on several benchmarks: a motivating (repeated) learner model; a series of benchmarks of varying configurations of a robot moving on a grid; and a consensus protocol.Comment: Extended version of a QEST 2018 pape

Identification of novel subgroup a variants with enhanced receptor binding and replicative capacity in primary isolates of anaemogenic strains of feline leukaemia virus

&lt;b&gt;BACKGROUND:&lt;/b&gt; The development of anaemia in feline leukaemia virus (FeLV)-infected cats is associated with the emergence of a novel viral subgroup, FeLV-C. FeLV-C arises from the subgroup that is transmitted, FeLV-A, through alterations in the amino acid sequence of the receptor binding domain (RBD) of the envelope glycoprotein that result in a shift in the receptor usage and the cell tropism of the virus. The factors that influence the transition from subgroup A to subgroup C remain unclear, one possibility is that a selective pressure in the host drives the acquisition of mutations in the RBD, creating A/C intermediates with enhanced abilities to interact with the FeLV-C receptor, FLVCR. In order to understand further the emergence of FeLV-C in the infected cat, we examined primary isolates of FeLV-C for evidence of FeLV-A variants that bore mutations consistent with a gradual evolution from FeLV-A to FeLV-C.&lt;p&gt;&lt;/p&gt; &lt;b&gt;RESULTS:&lt;/b&gt; Within each isolate of FeLV-C, we identified variants that were ostensibly subgroup A by nucleic acid sequence comparisons, but which bore mutations in the RBD. One such mutation, N91D, was present in multiple isolates and when engineered into a molecular clone of the prototypic FeLV-A (Glasgow-1), enhanced replication was noted in feline cells. Expression of the N91D Env on murine leukaemia virus (MLV) pseudotypes enhanced viral entry mediated by the FeLV-A receptor THTR1 while soluble FeLV-A Env bearing the N91D mutation bound more efficiently to mouse or guinea pig cells bearing the FeLV-A and -C receptors. Long-term in vitro culture of variants bearing the N91D substitution in the presence of anti-FeLV gp70 antibodies did not result in the emergence of FeLV-C variants, suggesting that additional selective pressures in the infected cat may drive the subsequent evolution from subgroup A to subgroup C.&lt;p&gt;&lt;/p&gt; &lt;b&gt;CONCLUSIONS:&lt;/b&gt; Our data support a model in which variants of FeLV-A, bearing subtle differences in the RBD of Env, may be predisposed towards enhanced replication in vivo and subsequent conversion to FeLV-C. The selection pressures in vivo that drive the emergence of FeLV-C in a proportion of infected cats remain to be established

Altered Neurocircuitry in the Dopamine Transporter Knockout Mouse Brain

The plasma membrane transporters for the monoamine neurotransmitters dopamine, serotonin, and norepinephrine modulate the dynamics of these monoamine neurotransmitters. Thus, activity of these transporters has significant consequences for monoamine activity throughout the brain and for a number of neurological and psychiatric disorders. Gene knockout (KO) mice that reduce or eliminate expression of each of these monoamine transporters have provided a wealth of new information about the function of these proteins at molecular, physiological and behavioral levels. In the present work we use the unique properties of magnetic resonance imaging (MRI) to probe the effects of altered dopaminergic dynamics on meso-scale neuronal circuitry and overall brain morphology, since changes at these levels of organization might help to account for some of the extensive pharmacological and behavioral differences observed in dopamine transporter (DAT) KO mice. Despite the smaller size of these animals, voxel-wise statistical comparison of high resolution structural MR images indicated little morphological change as a consequence of DAT KO. Likewise, proton magnetic resonance spectra recorded in the striatum indicated no significant changes in detectable metabolite concentrations between DAT KO and wild-type (WT) mice. In contrast, alterations in the circuitry from the prefrontal cortex to the mesocortical limbic system, an important brain component intimately tied to function of mesolimbic/mesocortical dopamine reward pathways, were revealed by manganese-enhanced MRI (MEMRI). Analysis of co-registered MEMRI images taken over the 26 hours after introduction of Mn^(2+) into the prefrontal cortex indicated that DAT KO mice have a truncated Mn^(2+) distribution within this circuitry with little accumulation beyond the thalamus or contralateral to the injection site. By contrast, WT littermates exhibit Mn^(2+) transport into more posterior midbrain nuclei and contralateral mesolimbic structures at 26 hr post-injection. Thus, DAT KO mice appear, at this level of anatomic resolution, to have preserved cortico-striatal-thalamic connectivity but diminished robustness of reward-modulating circuitry distal to the thalamus. This is in contradistinction to the state of this circuitry in serotonin transporter KO mice where we observed more robust connectivity in more posterior brain regions using methods identical to those employed here

Search for Gravitational Waves from Primordial Black Hole Binary Coalescences in the Galactic Halo

We use data from the second science run of the LIGO gravitational-wave detectors to search for the gravitational waves from primordial black hole (PBH) binary coalescence with component masses in the range 0.2--$1.0 M_\odot$. The analysis requires a signal to be found in the data from both LIGO observatories, according to a set of coincidence criteria. No inspiral signals were found. Assuming a spherical halo with core radius 5 kpc extending to 50 kpc containing non-spinning black holes with masses in the range 0.2--$1.0 M_\odot$, we place an observational upper limit on the rate of PBH coalescence of 63 per year per Milky Way halo (MWH) with 90% confidence.Comment: 7 pages, 4 figures, to be submitted to Phys. Rev.

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente