Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event distributions are not given explicitly and can be subject of parameter synthesis. An algorithm solving the $\varepsilon$-optimal parameter synthesis problem for parametric ACTMCs with long-run average optimization objectives is presented. Our approach is based on reduction of the problem to finding long-run average optimal strategies in semi-Markov decision processes (semi-MDPs) and sufficient discretization of parameter (i.e., action) space. Since the set of actions in the discretized semi-MDP can be very large, a straightforward approach based on explicit action-space construction fails to solve even simple instances of the problem. The presented algorithm uses an enhanced policy iteration on symbolic representations of the action space. The soundness of the algorithm is established for parametric ACTMCs with alarm-event distributions satisfying four mild assumptions that are shown to hold for uniform, Dirac and Weibull distributions in particular, but are satisfied for many other distributions as well. An experimental implementation shows that the symbolic technique substantially improves the efficiency of the synthesis algorithm and allows to solve instances of realistic size.Comment: This article is a full version of a paper accepted to the Conference on Quantitative Evaluation of SysTems (QEST) 201

TissUExM enables quantitative ultrastructural analysis in whole vertebrate embryos by expansion microscopy

Super-resolution microscopy reveals the molecular organization of biological structures down to the nanoscale. While it allows the study of protein complexes in single cells, small organisms, or thin tissue sections, there is currently no versatile approach for ultrastructural analysis compatible with whole vertebrate embryos. Here, we present tissue ultrastructure expansion microscopy (TissUExM), a method to expand millimeter-scale and mechanically heterogeneous whole embryonic tissues, including Drosophila wing discs, whole zebrafish, and mouse embryos. TissUExM is designed for the observation of endogenous proteins. It permits quantitative characterization of protein complexes in various organelles at super-resolution in a range of ∼3 mm-sized tissues using conventional microscopes. We demonstrate its strength by investigating tissue-specific ciliary architecture heterogeneity and ultrastructural defects observed upon ciliary protein overexpression. Overall, TissUExM is ideal for performing ultrastructural studies and molecular mapping in situ in whole embryos

Moving from evidence-based medicine to evidence-based health.

While evidence-based medicine (EBM) has advanced medical practice, the health care system has been inconsistent in translating EBM into improvements in health. Disparities in health and health care play out through patients' limited ability to incorporate the advances of EBM into their daily lives. Assisting patients to self-manage their chronic conditions and paying attention to unhealthy community factors could be added to EBM to create a broader paradigm of evidence-based health. A perspective of evidence-based health may encourage physicians to consider their role in upstream efforts to combat socially patterned chronic disease

Locomotor adaptation to a powered ankle-foot orthosis depends on control method

<p>Abstract</p> <p>Background</p> <p>We studied human locomotor adaptation to powered ankle-foot orthoses with the intent of identifying differences between two different orthosis control methods. The first orthosis control method used a footswitch to provide bang-bang control (a kinematic control) and the second orthosis control method used a proportional myoelectric signal from the soleus (a physiological control). Both controllers activated an artificial pneumatic muscle providing plantar flexion torque.</p> <p>Methods</p> <p>Subjects walked on a treadmill for two thirty-minute sessions spaced three days apart under either footswitch control (n = 6) or myoelectric control (n = 6). We recorded lower limb electromyography (EMG), joint kinematics, and orthosis kinetics. We compared stance phase EMG amplitudes, correlation of joint angle patterns, and mechanical work performed by the powered orthosis between the two controllers over time.</p> <p>Results</p> <p>During steady state at the end of the second session, subjects using proportional myoelectric control had much lower soleus and gastrocnemius activation than the subjects using footswitch control. The substantial decrease in triceps surae recruitment allowed the proportional myoelectric control subjects to walk with ankle kinematics close to normal and reduce negative work performed by the orthosis. The footswitch control subjects walked with substantially perturbed ankle kinematics and performed more negative work with the orthosis.</p> <p>Conclusion</p> <p>These results provide evidence that the choice of orthosis control method can greatly alter how humans adapt to powered orthosis assistance during walking. Specifically, proportional myoelectric control results in larger reductions in muscle activation and gait kinematics more similar to normal compared to footswitch control.</p

Systematic review and narrative synthesis of pharmacist provided medicines optimisation services in care homes for older people to inform the development of a generic training or accreditation process

Objectives: To develop a training programme to enable pharmacists with prescribing rights to assume responsibility for the provision of pharmaceutical care within care homes, a systematic review and narrative synthesis was undertaken to identify reported approaches to training pharmacists and use this literature to identify potential knowledge requirements. Methods: A PROSPERO‐registered systematic review was performed using key search terms for care homes, pharmacist, education, training and pharmaceutical care. Papers reporting primary research focussed on care of the older person within the care home setting were included. No restrictions were placed on methodology. Two researchers independently reviewed titles, abstracts and papers. Agreement on inclusion was reached through consensus. Data on titles, training and activities undertaken were extracted and knowledge requirements identified. Findings were synthesised and reported narratively. Key findings: Fifty‐nine papers were included, most of which were uncontrolled service evaluations. Four papers reported an accreditation process for the pharmacist. Thirteen papers reported providing tools or specific training on a single topic to pharmacists. The main clinical and therapeutic areas of activity (requiring codified knowledge) were dementia, pain, antipsychotic and cardiovascular medication. Provision of pharmaceutical care, effective multidisciplinary working and care home staff training represented the main areas of practical knowledge. Conclusions: Information regarding training and accreditation processes for care home pharmacists is limited. This study provides insight into potential codified and practical knowledge requirements for pharmacists assuming responsibility for the provision of pharmaceutical care within care homes. Further work involving stakeholders is required to identify the cultural knowledge requirements and to develop a training and accreditation process

Genetic analysis reveals a hierarchy of interactions between polycystin-encoding genes and genes controlling cilia function during left-right determination

During mammalian development, left-right (L-R) asymmetry is established by a cilia-driven leftward fluid flow within a midline embryonic cavity called the node. This ‘nodal flow’ is detected by peripherally-located crown cells that each assemble a primary cilium which contain the putative Ca2+ channel PKD2. The interaction of flow and crown cell cilia promotes left side-specific expression of Nodal in the lateral plate mesoderm (LPM). Whilst the PKD2-interacting protein PKD1L1 has also been implicated in L-R patterning, the underlying mechanism by which flow is detected and the genetic relationship between Polycystin function and asymmetric gene expression remains unknown. Here, we characterize a Pkd1l1 mutant line in which Nodal is activated bilaterally, suggesting that PKD1L1 is not required for LPM Nodal pathway activation per se, but rather to restrict Nodal to the left side downstream of nodal flow. Epistasis analysis shows that Pkd1l1 acts as an upstream genetic repressor of Pkd2. This study therefore provides a genetic pathway for the early stages of L-R determination. Moreover, using a system in which cultured cells are supplied artificial flow, we demonstrate that PKD1L1 is sufficient to mediate a Ca2+ signaling response after flow stimulation. Finally, we show that an extracellular PKD domain within PKD1L1 is crucial for PKD1L1 function; as such, destabilizing the domain causes L-R defects in the mouse. Our demonstration that PKD1L1 protein can mediate a response to flow coheres with a mechanosensation model of flow sensation in which the force of fluid flow drives asymmetric gene expression in the embryo

A Requirement for Zic2 in the Regulation of Nodal Expression Underlies the Establishment of Left-Sided Identity

ZIC2 mutation is known to cause holoprosencephaly (HPE). A subset of ZIC2 HPE probands harbour cardiovascular and visceral anomalies suggestive of laterality defects. 3D-imaging of novel mouse Zic2 mutants uncovers, in addition to HPE, laterality defects in lungs, heart, vasculature and viscera. A strong bias towards right isomerism indicates a failure to establish left identity in the lateral plate mesoderm (LPM), a phenotype that cannot be explained simply by the defective ciliogenesis previously noted in Zic2 mutants. Gene expression analysis showed that the left-determining NODAL-dependent signalling cascade fails to be activated in the LPM, and that the expression of Nodal at the node, which normally triggers this event, is itself defective in these embryos. Analysis of ChiP-seq data, in vitro transcriptional assays and mutagenesis reveals a requirement for a low-affinity ZIC2 binding site for the activation of the Nodal enhancer HBE, which is normally active in node precursor cells. These data show that ZIC2 is required for correct Nodal expression at the node and suggest a model in which ZIC2 acts at different levels to establish LR asymmetry, promoting both the production of the signal that induces left side identity and the morphogenesis of the cilia that bias its distribution

Postpartum mental health after Hurricane Katrina: A cohort study

<p>Abstract</p> <p>Background</p> <p>Natural disaster is often a cause of psychopathology, and women are vulnerable to post-traumatic stress disorder (PTSD) and depression. Depression is also common after a woman gives birth. However, no research has addressed postpartum women's mental health after natural disaster.</p> <p>Methods</p> <p>Interviews were conducted in 2006–2007 with women who had been pregnant during or shortly after Hurricane Katrina. 292 New Orleans and Baton Rouge women were interviewed at delivery and 2 months postpartum. Depression was assessed using the Edinburgh Depression Scale and PTSD using the Post-Traumatic Stress Checklist. Women were asked about their experience of the hurricane with questions addressing threat, illness, loss, and damage. Chi-square tests and log-binomial/Poisson models were used to calculate associations and relative risks (RR).</p> <p>Results</p> <p>Black women and women with less education were more likely to have had a serious experience of the hurricane. 18% of the sample met the criteria for depression and 13% for PTSD at two months postpartum. Feeling that one's life was in danger was associated with depression and PTSD, as were injury to a family member and severe impact on property. Overall, two or more severe experiences of the storm was associated with an increased risk for both depression (relative risk (RR) 1.77, 95% confidence interval (CI) 1.08–2.89) and PTSD (RR 3.68, 95% CI 1.80–7.52).</p> <p>Conclusion</p> <p>Postpartum women who experience natural disaster severely are at increased risk for mental health problems, but overall rates of depression and PTSD do not seem to be higher than in studies of the general population.</p

The many facets of the matricelluar protein periostin during cardiac development, remodeling, and pathophysiology

Periostin is a member of a growing family of matricellular proteins, defined by their ability to interact with components of the extracellular milieu, and with receptors at the cell surface. Through these interactions, periostin has been shown to play a crucial role as a profibrogenic molecule during tissue morphogenesis. Tissues destined to become fibrous structures are dependent on cooperative interactions between periostin and its binding partners, whereas in its absence, these structures either totally or partially fail to become mature fibrous entities. Within the heart, fibrogenic differentiation is required for normal tissue maturation, remodeling and function, as well as in response to a pathological myocardial insult. In this review, aspects related to the function of periostin during cardiac morphogenesis, remodeling and pathology are summarized