Chondrites from the Atacama Desert

Accepted versio

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

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

Evaluation of alternative mosquito sampling methods for malaria vectors in Lowland South - East Zambia.

Sampling malaria vectors and measuring their biting density is of paramount importance for entomological surveys of malaria transmission. Human landing catch (HLC) has been traditionally regarded as a gold standard method for surveying human exposure to mosquito bites. However, due to the risk of human participant exposure to mosquito-borne parasites and viruses, a variety of alternative, exposure-free trapping methods were compared in lowland, south-east Zambia. Centres for Disease Control and Prevention miniature light trap (CDC-LT), Ifakara Tent Trap model C (ITT-C), resting boxes (RB) and window exit traps (WET) were all compared with HLC using a 3 × 3 Latin Squares design replicated in 4 blocks of 3 houses with long lasting insecticidal nets, half of which were also sprayed with a residual deltamethrin formulation, which was repeated for 10 rounds of 3 nights of rotation each during both the dry and wet seasons. The mean catches of HLC indoor, HLC outdoor, CDC-LT, ITT-C, WET, RB indoor and RB outdoor, were 1.687, 1.004, 3.267, 0.088, 0.004, 0.000 and 0.008 for Anopheles quadriannulatus Theobald respectively, and 7.287, 6.784, 10.958, 5.875, 0.296, 0.158 and 0.458, for An. funestus Giles, respectively. Indoor CDC-LT was more efficient in sampling An. quadriannulatus and An. funestus than HLC indoor (Relative rate [95% Confidence Interval] = 1.873 [1.653, 2.122] and 1.532 [1.441, 1.628], respectively, P < 0.001 for both). ITT-C was the only other alternative which had comparable sensitivity (RR = 0.821 [0.765, 0.881], P < 0.001), relative to HLC indoor other than CDC-LT for sampling An. funestus. While the two most sensitive exposure-free techniques primarily capture host-seeking mosquitoes, both have substantial disadvantages for routine community-based surveillance applications: the CDC-LT requires regular recharging of batteries while the bulkiness of ITT-C makes it difficult to move between sampling locations. RB placed indoors or outdoors and WET had consistently poor sensitivity so it may be useful to evaluate additional alternative methods, such as pyrethrum spray catches and back packer aspirators, for catching resting mosquitoes

Literature-based discovery of diabetes- and ROS-related targets

Abstract Background Reactive oxygen species (ROS) are known mediators of cellular damage in multiple diseases including diabetic complications. Despite its importance, no comprehensive database is currently available for the genes associated with ROS. Methods We present ROS- and diabetes-related targets (genes/proteins) collected from the biomedical literature through a text mining technology. A web-based literature mining tool, SciMiner, was applied to 1,154 biomedical papers indexed with diabetes and ROS by PubMed to identify relevant targets. Over-represented targets in the ROS-diabetes literature were obtained through comparisons against randomly selected literature. The expression levels of nine genes, selected from the top ranked ROS-diabetes set, were measured in the dorsal root ganglia (DRG) of diabetic and non-diabetic DBA/2J mice in order to evaluate the biological relevance of literature-derived targets in the pathogenesis of diabetic neuropathy. Results SciMiner identified 1,026 ROS- and diabetes-related targets from the 1,154 biomedical papers (http://jdrf.neurology.med.umich.edu/ROSDiabetes/). Fifty-three targets were significantly over-represented in the ROS-diabetes literature compared to randomly selected literature. These over-represented targets included well-known members of the oxidative stress response including catalase, the NADPH oxidase family, and the superoxide dismutase family of proteins. Eight of the nine selected genes exhibited significant differential expression between diabetic and non-diabetic mice. For six genes, the direction of expression change in diabetes paralleled enhanced oxidative stress in the DRG. Conclusions Literature mining compiled ROS-diabetes related targets from the biomedical literature and led us to evaluate the biological relevance of selected targets in the pathogenesis of diabetic neuropathy.http://deepblue.lib.umich.edu/bitstream/2027.42/78315/1/1755-8794-3-49.xmlhttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/2/1755-8794-3-49-S7.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/3/1755-8794-3-49-S10.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/4/1755-8794-3-49-S8.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/5/1755-8794-3-49-S3.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/6/1755-8794-3-49-S1.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/7/1755-8794-3-49-S4.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/8/1755-8794-3-49-S2.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/9/1755-8794-3-49-S12.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/10/1755-8794-3-49-S11.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/11/1755-8794-3-49-S9.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/12/1755-8794-3-49-S5.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/13/1755-8794-3-49-S6.XLShttp://deepblue.lib.umich.edu/bitstream/2027.42/78315/14/1755-8794-3-49.pdfPeer Reviewe

Modulation of emotional appraisal by false physiological feedback during fMRI

BACKGROUND James and Lange proposed that emotions are the perception of physiological reactions. Two-level theories of emotion extend this model to suggest that cognitive interpretations of physiological changes shape self-reported emotions. Correspondingly false physiological feedback of evoked or tonic bodily responses can alter emotional attributions. Moreover, anxiety states are proposed to arise from detection of mismatch between actual and anticipated states of physiological arousal. However, the neural underpinnings of these phenomena previously have not been examined. METHODOLOGY/PRINCIPAL FINDINGS We undertook a functional brain imaging (fMRI) experiment to investigate how both primary and second-order levels of physiological (viscerosensory) representation impact on the processing of external emotional cues. 12 participants were scanned while judging face stimuli during both exercise and non-exercise conditions in the context of true and false auditory feedback of tonic heart rate. We observed that the perceived emotional intensity/salience of neutral faces was enhanced by false feedback of increased heart rate. Regional changes in neural activity corresponding to this behavioural interaction were observed within included right anterior insula, bilateral mid insula, and amygdala. In addition, right anterior insula activity was enhanced during by asynchronous relative to synchronous cardiac feedback even with no change in perceived or actual heart rate suggesting this region serves as a comparator to detect physiological mismatches. Finally, BOLD activity within right anterior insula and amygdala predicted the corresponding changes in perceived intensity ratings at both a group and an individual level. CONCLUSIONS/SIGNIFICANCE Our findings identify the neural substrates supporting behavioural effects of false physiological feedback, and highlight mechanisms that underlie subjective anxiety states, including the importance of the right anterior insula in guiding second-order "cognitive" representations of bodily arousal state

Modulation of emotional appraisal by false physiological feedback during fMRI

BACKGROUND James and Lange proposed that emotions are the perception of physiological reactions. Two-level theories of emotion extend this model to suggest that cognitive interpretations of physiological changes shape self-reported emotions. Correspondingly false physiological feedback of evoked or tonic bodily responses can alter emotional attributions. Moreover, anxiety states are proposed to arise from detection of mismatch between actual and anticipated states of physiological arousal. However, the neural underpinnings of these phenomena previously have not been examined. METHODOLOGY/PRINCIPAL FINDINGS We undertook a functional brain imaging (fMRI) experiment to investigate how both primary and second-order levels of physiological (viscerosensory) representation impact on the processing of external emotional cues. 12 participants were scanned while judging face stimuli during both exercise and non-exercise conditions in the context of true and false auditory feedback of tonic heart rate. We observed that the perceived emotional intensity/salience of neutral faces was enhanced by false feedback of increased heart rate. Regional changes in neural activity corresponding to this behavioural interaction were observed within included right anterior insula, bilateral mid insula, and amygdala. In addition, right anterior insula activity was enhanced during by asynchronous relative to synchronous cardiac feedback even with no change in perceived or actual heart rate suggesting this region serves as a comparator to detect physiological mismatches. Finally, BOLD activity within right anterior insula and amygdala predicted the corresponding changes in perceived intensity ratings at both a group and an individual level. CONCLUSIONS/SIGNIFICANCE Our findings identify the neural substrates supporting behavioural effects of false physiological feedback, and highlight mechanisms that underlie subjective anxiety states, including the importance of the right anterior insula in guiding second-order "cognitive" representations of bodily arousal state

The Cosmology of Composite Inelastic Dark Matter

Composite dark matter is a natural setting for implementing inelastic dark matter - the O(100 keV) mass splitting arises from spin-spin interactions of constituent fermions. In models where the constituents are charged under an axial U(1) gauge symmetry that also couples to the Standard Model quarks, dark matter scatters inelastically off Standard Model nuclei and can explain the DAMA/LIBRA annual modulation signal. This article describes the early Universe cosmology of a minimal implementation of a composite inelastic dark matter model where the dark matter is a meson composed of a light and a heavy quark. The synthesis of the constituent quarks into dark mesons and baryons results in several qualitatively different configurations of the resulting dark matter hadrons depending on the relative mass scales in the system.Comment: 31 pages, 4 figures; references added, typos correcte

A participatory physical and psychosocial intervention for balancing the demands and resources among industrial workers (PIPPI): study protocol of a cluster-randomized controlled trial

Background: Need for recovery and work ability are strongly associated with high employee turnover, well-being and sickness absence. However, scientific knowledge on effective interventions to improve work ability and decrease need for recovery is scarce. Thus, the present study aims to describe the background, design and protocol of a cluster randomized controlled trial evaluating the effectiveness of an intervention to reduce need for recovery and improve work ability among industrial workers. Methods/Design: A two-year cluster randomized controlled design will be utilized, in which controls will also receive the intervention in year two. More than 400 workers from three companies in Denmark will be aimed to be cluster randomized into intervention and control groups with at least 200 workers (at least 9 work teams) in each group. An organizational resources audit and subsequent action planning workshop will be carried out to map the existing resources and act upon initiatives not functioning as intended. Workshops will be conducted to train leaders and health and safety representatives in supporting and facilitating the intervention activities. Group and individual level participatory visual mapping sessions will be carried out allowing team members to discuss current physical and psychosocial work demands and resources, and develop action plans to minimize strain and if possible, optimize the resources. At all levels, the intervention will be integrated into the existing organization of work schedules. An extensive process and effect evaluation on need for recovery and work ability will be carried out via questionnaires, observations, interviews and organizational data assessed at several time points throughout the intervention period. Discussion: This study primarily aims to develop, implement and evaluate an intervention based on the abovementioned features which may improve the work environment, available resources and health of industrial workers, and hence their need for recovery and work ability