Optimal Bounds in Parametric LTL Games

We consider graph games of infinite duration with winning conditions in parameterized linear temporal logic, where the temporal operators are equipped with variables for time bounds. In model checking such specifications were introduced as "PLTL" by Alur et al. and (in a different version called "PROMPT-LTL") by Kupferman et al.. We present an algorithm to determine optimal variable valuations that allow a player to win a game. Furthermore, we show how to determine whether a player wins a game with respect to some, infinitely many, or all valuations. All our algorithms run in doubly-exponential time; so, adding bounded temporal operators does not increase the complexity compared to solving plain LTL games.Comment: In Proceedings GandALF 2011, arXiv:1106.081

Physiome-on-a-Chip: The Challenge of “Scaling” in Design, Operation, and Translation of Microphysiological Systems

Scaling of a microphysiological system (MPS) or physiome-on-a-chip is arguably two interrelated, modeling-based activities: on-platform scaling and in vitro-in vivo translation. This dual approach reduces the need to perfectly rescale and mimic in vivo physiology, an aspiration that is both extremely challenging and not substantively meaningful because of uncertain relevance of any specific physiological condition. Accordingly, this perspective offers a tractable approach for designing interacting MPSs and relating in vitro results to analogous context in vivo.United States. Defense Advanced Research Projects Agency. Microphysiological Systems Program (Grant W911NF-12-2-0039)National Institutes of Health (U.S.) Microphysiological Systems Program (Grant 4-UH3-TR000496-03)United States. Army Research Office (Institute for Collaborative Biotechnologies. Grant W911NF-09- 0001

Synthetic CO, H2 and H I surveys of the second galactic quadrant, and the properties of molecular gas

articleWe present CO, H2, H I and HISA (H I self-absorption) distributions from a set of simulations of grand design spirals including stellar feedback, self-gravity, heating and cooling. We replicate the emission of the second galactic quadrant by placing the observer inside the modelled galaxies and post-process the simulations using a radiative transfer code, so as to create synthetic observations. We compare the synthetic data cubes to observations of the second quadrant of the Milky Way to test the ability of the current models to reproduce the basic chemistry of the Galactic interstellar medium (ISM), as well as to test how sensitive such galaxy models are to different recipes of chemistry and/or feedback. We find that models which include feedback and self-gravity can reproduce the production of CO with respect to H2 as observed in our Galaxy, as well as the distribution of the material perpendicular to the Galactic plane. While changes in the chemistry/feedback recipes do not have a huge impact on the statistical properties of the chemistry in the simulated galaxies, we find that the inclusion of both feedback and self-gravity are crucial ingredients, as our test without feedback failed to reproduce all of the observables. Finally, even though the transition from H2 to CO seems to be robust, we find that all models seem to underproduce molecular gas, and have a lower molecular to atomic gas fraction than is observed. Nevertheless, our fiducial model with feedback and self-gravity has shown to be robust in reproducing the statistical properties of the basic molecular gas components of the ISM in our Galaxy.We thank the referee, Ralf Klessen, for his comments that helped strengthen the paper. ADC and CLD acknowledge funding from the European Research Council for the FP7 ERC starting grant project LOCALSTAR. The calculations for this paper were performed on the DiRAC Complexity machine, jointly funded by STFC and the Large Facilities Capital Fund of BIS, and the University of Exeter Supercomputer, a DiRAC Facility jointly funded by STFC, the Large Facilities Capital Fund of BIS and the University of Exeter. Fig. 1 was produced using SPLASH (Price 2007). We acknowledge the use of NASA’s SkyView facility (http://skyview.gsfc.nasa.gov) located at NASA Goddard Space Flight Center. We also thank A. Rodrigues for providing high-resolution dust column density maps for benchmarking

Evaluation of the efficacy of Alpron disinfectant for dental unit water lines

AIMS: To assess the efficacy of a disinfectant, Alpron, for controlling microbial contamination within dental unit water lines. METHODS: The microbiological quality of water emerging from the triple syringe, high speed handpiece, cup filler and surgery hand wash basin from six dental units was assessed for microbiological total viable counts at 22 degrees C and 37 degrees C before and after treatment with Alpron solutions. RESULTS: The study found that the use of Alpron disinfectant solutions could reduce microbial counts in dental unit water lines to similar levels for drinking water. This effect was maintained in all units for up to six weeks following one course of treatment. In four out of six units the low microbial counts were maintained for 13 weeks. CONCLUSIONS: Disinfectants may have a short term role to play in controlling microbial contamination of dental unit water lines to drinking water quality. However, in the longer term attention must be paid to redesigning dental units to discourage the build up of microbial biofilms

Moral enhancement: do means matter morally?

One of the reasons why moral enhancement may be controversial, is because the advantages of moral enhancement may fall upon society rather than on those who are enhanced. If directed at individuals with certain counter-moral traits it may have direct societal benefits by lowering immoral behavior and increasing public safety, but it is not directly clear if this also benefits the individual in question. In this paper, we will discuss what we consider to be moral enhancement, how different means may be used to achieve it and whether the means we employ to reach moral enhancement matter morally. Are certain means to achieve moral enhancement wrong in themselves? Are certain means to achieve moral enhancement better than others, and if so, why? More specifically, we will investigate whether the difference between direct and indirect moral enhancement matters morally. Is it the case that indirect means are morally preferable to direct means of moral enhancement and can we indeed pinpoint relevant intrinsic, moral differences between both? We argue that the distinction between direct and indirect means is indeed morally relevant, but only insofar as it tracks an underlying distinction between active and passive interventions. Although passive interventions can be ethical provided specific safeguards are put in place, these interventions exhibit a greater potential to compromise autonomy and disrupt identity

Comparison of the CDC Backpack aspirator and the Prokopack aspirator for sampling indoor- and outdoor-resting mosquitoes in southern Tanzania.

BACKGROUND\ud \ud Resting mosquitoes can easily be collected using an aspirating device. The most commonly used mechanical aspirator is the CDC Backpack aspirator. Recently, a simple, and low-cost aspirator called the Prokopack has been devised and proved to have comparable performance. The following study evaluates the Prokopack aspirator compared to the CDC backpack aspirator when sampling resting mosquitoes in rural Tanzania.\ud \ud METHODS\ud \ud Mosquitoes were sampled in- and outdoors of 48 typical rural African households using both aspirators. The aspirators were rotated between collectors and households in a randomized, Latin Square design. Outdoor collections were performed using artificial resting places (large barrel and car tyre), underneath the outdoor kitchen (kibanda) roof and from a drop-net. Data were analysed with generalized linear models.\ud \ud RESULTS\ud \ud The number of mosquitoes collected using the CDC Backpack and the Prokopack aspirator were not significantly different both in- and outdoors (indoors p = 0.735; large barrel p = 0.867; car tyre p = 0.418; kibanda p = 0.519). The Prokopack was superior for sampling of drop-nets due to its smaller size. The number mosquitoes collected per technician was more consistent when using the Prokopack aspirator. The Prokopack was more user-friendly: technicians preferred using the it over the CDC backpack aspirator as it weighs considerably less, retains its charge for longer and is easier to manoeuvre.\ud \ud CONCLUSIONS\ud \ud The Prokopack proved in the field to be more advantageous than the CDC Backpack aspirator. It can be self assembled using simple, low-cost and easily attainable materials. This device is a useful tool for researchers or vector-control surveillance programs operating in rural Africa, as it is far simpler and quicker than traditional means of sampling resting mosquitoes. Further longitudinal evaluations of the Prokopack aspirator versus the gold standard pyrethrum spray catch for indoor resting catches are recommended

Presynaptic actions of 4-Aminopyridine and γ-aminobutyric acid on rat sympathetic ganglia in vitro

Responses to bath-applications of 4-aminopyridine (4-AP) and -aminobutyric acid (GABA) were recorded intracellularly from neurones in the rat isolated superior cervical ganglion. 4-aminopyridine (0.1–1.0 mmol/l) usually induced spontaneous action potentials and excitatory postsynaptic potentials (EPSPs), which were blocked by hexamethonium. Membrane potential was unchanged; spike duration was slightly increased. Vagus nerve B-and C-fibre potentials were prolonged. In 4-AP solution (0.1–0.3 mmol/l), GABA (0.1 mmol/l), 3-aminopropanesulphonic acid or muscimol evoked bursts of spikes and EPSPs in addition to a neuronal depolarization. These bursts, which were not elicited by glycine, glutamate, taurine or (±)-baclofen, were completely antagonised by hexamethonium, tetrodotoxin or bicuculline methochloride. It is concluded that: (a) 4-AP has a potent presynaptic action on sympathetic ganglia; (b) presynaptic actions of GABA can be recorded postsynaptically in the presence of 4-AP; and (c) the presynaptic GABA-receptors revealed in this condition are similar to those on the postsynaptic membrane

Metabolic flexibility as a major predictor of spatial distribution in microbial communities

A better understand the ecology of microbes and their role in the global ecosystem could be achieved if traditional ecological theories can be applied to microbes. In ecology organisms are defined as specialists or generalists according to the breadth of their niche. Spatial distribution is often used as a proxy measure of niche breadth; generalists have broad niches and a wide spatial distribution and specialists a narrow niche and spatial distribution. Previous studies suggest that microbial distribution patterns are contrary to this idea; a microbial generalist genus (Desulfobulbus) has a limited spatial distribution while a specialist genus (Methanosaeta) has a cosmopolitan distribution. Therefore, we hypothesise that this counter-intuitive distribution within generalist and specialist microbial genera is a common microbial characteristic. Using molecular fingerprinting the distribution of four microbial genera, two generalists, Desulfobulbus and the methanogenic archaea Methanosarcina, and two specialists, Methanosaeta and the sulfate-reducing bacteria Desulfobacter were analysed in sediment samples from along a UK estuary. Detected genotypes of both generalist genera showed a distinct spatial distribution, significantly correlated with geographic distance between sites. Genotypes of both specialist genera showed no significant differential spatial distribution. These data support the hypothesis that the spatial distribution of specialist and generalist microbes does not match that seen with specialist and generalist large organisms. It may be that generalist microbes, while having a wider potential niche, are constrained, possibly by intrageneric competition, to exploit only a small part of that potential niche while specialists, with far fewer constraints to their niche, are more capable of filling their potential niche more effectively, perhaps by avoiding intrageneric competition. We suggest that these counter-intuitive distribution patterns may be a common feature of microbes in general and represent a distinct microbial principle in ecology, which is a real challenge if we are to develop a truly inclusive ecology

Synergies for Improving Oil Palm Production and Forest Conservation in Floodplain Landscapes

Lowland tropical forests are increasingly threatened with conversion to oil palm as global demand and high profit drives crop expansion throughout the world’s tropical regions. Yet, landscapes are not homogeneous and regional constraints dictate land suitability for this crop. We conducted a regional study to investigate spatial and economic components of forest conversion to oil palm within a tropical floodplain in the Lower Kinabatangan, Sabah, Malaysian Borneo. The Kinabatangan ecosystem harbours significant biodiversity with globally threatened species but has suffered forest loss and fragmentation. We mapped the oil palm and forested landscapes (using object-based-image analysis, classification and regression tree analysis and on-screen digitising of high-resolution imagery) and undertook economic modelling. Within the study region (520,269 ha), 250,617 ha is cultivated with oil palm with 77% having high Net-Present-Value (NPV) estimates ($413/ha?yr–$637/ha?yr); but 20.5% is under-producing. In fact 6.3% (15,810 ha) of oil palm is commercially redundant (with negative NPV of $-299/ha?yr-$-65/ha?yr) due to palm mortality from flood inundation. These areas would have been important riparian or flooded forest types. Moreover, 30,173 ha of unprotected forest remain and despite its value for connectivity and biodiversity 64% is allocated for future oil palm. However, we estimate that at minimum 54% of these forests are unsuitable for this crop due to inundation events. If conversion to oil palm occurs, we predict a further 16,207 ha will become commercially redundant. This means that over 32,000 ha of forest within the floodplain would have been converted for little or no financial gain yet with significant cost to the ecosystem. Our findings have globally relevant implications for similar floodplain landscapes undergoing forest transformation to agriculture such as oil palm. Understanding landscape level constraints to this crop, and transferring these into policy and practice, may provide conservation and economic opportunities within these seemingly high opportunity cost landscapes