A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications

We propose to synthesize a control policy for a Markov decision process (MDP) such that the resulting traces of the MDP satisfy a linear temporal logic (LTL) property. We construct a product MDP that incorporates a deterministic Rabin automaton generated from the desired LTL property. The reward function of the product MDP is defined from the acceptance condition of the Rabin automaton. This construction allows us to apply techniques from learning theory to the problem of synthesis for LTL specifications even when the transition probabilities are not known a priori. We prove that our method is guaranteed to find a controller that satisfies the LTL property with probability one if such a policy exists, and we suggest empirically with a case study in traffic control that our method produces reasonable control strategies even when the LTL property cannot be satisfied with probability one

Self-Maintained Coherent Oscillations in Dense Neutrino Gases

We present analytical solutions to the nonlinear equations describing the behavior of a gas of neutrinos with two flavors. Self-maintained coherent flavor oscillations are shown to occur when the gas density exceeds a critical value determined by the neutrino masses and the mean neutrino energy in the gas. Similar oscillations may have occurred in the early Universe.Comment: To appear in Physical Review D, July 199

Artificial micro-swimmers in simulated natural environments

Microswimmers, such as bacteria, are known to show different behaviours depending on their local environment. They identify spatial chemical gradients to find nutrient rich areas (chemotaxis) and interact with shear flows to accumulate in high shear regions. Recently, artificial microswimmers have been developed which mimic their natural counterparts in many ways. One of the exciting topics in this field is to study these artificial motors in several natural settings like the ones bacteria interact with. In this Focus article, we summarize recent observations of artificial swimmers in chemical gradients, shear flows and other interesting natural environments simulated in the lab using microfluidics and nanotechnology

Differential replication of pathogenic and nonpathogenic strains of West Nile virus within astrocytes

The severity of West Nile virus (WNV) infection in immunocompetent animals is highly strain dependent, ranging from avirulent to highly neuropathogenic. Here, we investigate the nature of this strain-specific restriction by analyzing the replication of avirulent (WNV-MAD78) and highly virulent (WNV-NY) strains in neurons, astrocytes, and microvascular endothelial cells, which comprise the neurovascular unit within the central nervous system (CNS). We demonstrate that WNV-MAD78 replicated in and traversed brain microvascular endothelial cells as efficiently as WNV-NY. Likewise, similar levels of replication were detected in neurons. Thus, WNV-MAD78's nonneuropathogenic phenotype is not due to an intrinsic inability to replicate in key target cells within the CNS. In contrast, replication of WNV-MAD78 was delayed and reduced compared to that of WNV-NY in astrocytes. The reduced susceptibility of astrocytes to WNV-MAD78 was due to a delay in viral genome replication and an interferon-independent reduction in cell-to-cell spread. Together, our data suggest that astrocytes regulate WNV spread within the CNS and therefore are an attractive target for ameliorating WNV-induced neuropathology

Competing Demands for Time and Self-Care Behaviors, Processes of Care, and Intermediate Outcomes Among People With Diabetes: Translating Research Into Action for Diabetes (TRIAD)

ObjectiveTo determine whether competing demands for time affect diabetes self-care behaviors, processes of care, and intermediate outcomes.Research design and methodsWe used survey and medical record data from 5,478 participants in Translating Research Into Action for Diabetes (TRIAD) and hierarchical regression models to examine the cross-sectional associations between competing demands for time and diabetes outcomes, including self-management, processes of care, and intermediate health outcomes.ResultsFifty-two percent of participants reported no competing demands, 7% reported caregiving responsibilities only, 36% reported employment responsibilities only, and 6% reported both caregiving and employment responsibilities. For both women and men, employment responsibilities (with or without caregiving responsibilities) were associated with lower rates of diabetes self-care behaviors, worse processes of care, and, in men, worse HbA(1c).ConclusionsAccommodations for competing demands for time may promote self-management and improve the processes and outcomes of care for employed adults with diabetes