Confluence versus Ample Sets in Probabilistic Branching Time

To improve the efficiency of model checking in general, and probabilistic model checking in particular, several reduction techniques have been introduced. Two of these, confluence reduction and partial-order reduction by means of ample sets, are based on similar principles, and both preserve branching-time properties for probabilistic models. Confluence reduction has been introduced for probabilistic automata, whereas ample set reduction has been introduced for Markov decision processes. This paper explores the relationship between confluence and ample sets. To this end, we redefine confluence reduction to handle MDPs. We show that all non-trivial ample sets consist of confluent transitions, but that the converse is not true. We also show that the two notions coincide if the definition of confluence is restricted, and point out the relevant parts where the two theories differ. The results we present also hold for non-probabilistic models, as our theorems can just as well be applied in a context where all transitions are non-probabilistic. To show a practical application of our results, we adapt a state space generation technique based on representative states, already known in combination with confluence reduction, so that it can also be applied with partial-order reduction

Resectability and Ablatability Criteria for the Treatment of Liver Only Colorectal Metastases:Multidisciplinary Consensus Document from the COLLISION Trial Group

The guidelines for metastatic colorectal cancer crudely state that the best local treatment should be selected from a 'toolbox' of techniques according to patient- and treatment-related factors. We created an interdisciplinary, consensus-based algorithm with specific resectability and ablatability criteria for the treatment of colorectal liver metastases (CRLM). To pursue consensus, members of the multidisciplinary COLLISION and COLDFIRE trial expert panel employed the RAND appropriateness method (RAM). Statements regarding patient, disease, tumor and treatment characteristics were categorized as appropriate, equipoise or inappropriate. Patients with ECOG≤2, ASA≤3 and Charlson comorbidity index ≤8 should be considered fit for curative-intent local therapy. When easily resectable and/or ablatable (stage IVa), (neo)adjuvant systemic therapy is not indicated. When requiring major hepatectomy (stage IVb), neo-adjuvant systemic therapy is appropriate for early metachronous disease and to reduce procedural risk. To downstage patients (stage IVc), downsizing induction systemic therapy and/or future remnant augmentation is advised. Disease can only be deemed permanently unsuitable for local therapy if downstaging failed (stage IVd). Liver resection remains the gold standard. Thermal ablation is reserved for unresectable CRLM, deep-seated resectable CRLM and can be considered when patients are in poor health. Irreversible electroporation and stereotactic body radiotherapy can be considered for unresectable perihilar and perivascular CRLM 0-5cm. This consensus document provides per-patient and per-tumor resectability and ablatability criteria for the treatment of CRLM. These criteria are intended to aid tumor board discussions, improve consistency when designing prospective trials and advance intersociety communications. Areas where consensus is lacking warrant future comparative studies.</p

The impact on staff of working with personality disordered offenders: A systematic review

© 2015 Freestone et al. Background: Personality disordered offenders (PDOs) are generally considered difficult to manage and to have a negative impact on staff working with them. Aims: This study aimed to provide an overview of studies examining the impact on staff of working with PDOs, identify impact areas associated with working with PDOs, identify gaps in existing research,and direct future research efforts. Methods: The authors conducted a systematic review of the English-language literature from 1964-2014 across 20 databases in the medical and social sciences. Results: 27 papers were included in the review. Studies identified negative impacts upon staff including: negative attitudes, burnout, stress, negative counter-transferential experiences; two studies found positive impacts of job excitement and satisfaction, and the evidence related to perceived risk of violence from PDOs was equivocal. Studies demonstrated considerable heterogeneity and meta-analysis was not possible. The overall level of identified evidence was low: 23 studies (85%) were descriptive only, and only one adequately powered cohort study was found. Conclusions: The review identified a significant amount of descriptive literature, but only one cohort study and no trials or previous systematic reviews of literatures. Clinicians and managers working with PDOs should be aware of the potential impacts identified, but there is an urgent need for further research focusing on the robust evaluation of interventions to minimise harm to staff working with offenders who suffer from personality disorder Copyright

Effects of an attention demanding task on dynamic stability during treadmill walking

<p>Abstract</p> <p>Background</p> <p>People exhibit increased difficulty balancing when they perform secondary attention-distracting tasks while walking. However, a previous study by Grabiner and Troy (<it>J. Neuroengineering Rehabil</it>., 2005) found that young healthy subjects performing a concurrent Stroop task while walking on a motorized treadmill exhibited <it>decreased </it>step width variability. However, measures of variability do not directly quantify how a system responds to perturbations. This study re-analyzed data from Grabiner and Troy 2005 to determine if performing the concurrent Stroop task directly affected the dynamic stability of walking in these same subjects.</p> <p>Methods</p> <p>Thirteen healthy volunteers walked on a motorized treadmill at their self-selected constant speed for 10 minutes both while performing the Stroop test and during undisturbed walking. This Stroop test consisted of projecting images of the name of one color, printed in text of a different color, onto a wall and asking subjects to verbally identify the color of the text. Three-dimensional motions of a marker attached to the base of the neck (C5/T1) were recorded. Marker velocities were calculated over 3 equal intervals of 200 sec each in each direction. Mean variability was calculated for each time series as the average standard deviation across all strides. Both "local" and "orbital" dynamic stability were quantified for each time series using previously established methods. These measures directly quantify how quickly small perturbations grow or decay, either continuously in real time (local) or discretely from one cycle to the next (orbital). Differences between Stroop and Control trials were evaluated using a 2-factor repeated measures ANOVA.</p> <p>Results</p> <p>Mean variability of trunk movements was significantly reduced during the Stroop tests compared to normal walking. Conversely, local and orbital stability results were mixed: some measures showed slight increases, while others showed slight decreases. In many cases, different subjects responded differently to the Stroop test. While some of our comparisons reached statistical significance, many did not. In general, measures of variability and dynamic stability reflected different properties of walking dynamics, consistent with previous findings.</p> <p>Conclusion</p> <p>These findings demonstrate that the decreased movement variability associated with the Stroop task did <it>not </it>translate to greater dynamic stability.</p

Group A Streptococcus Secreted Esterase Hydrolyzes Platelet-Activating Factor to Impede Neutrophil Recruitment and Facilitate Innate Immune Evasion

The innate immune system is the first line of host defense against invading organisms. Thus, pathogens have developed virulence mechanisms to evade the innate immune system. Here, we report a novel means for inhibition of neutrophil recruitment by Group A Streptococcus (GAS). Deletion of the secreted esterase gene (designated sse) in M1T1 GAS strains with (MGAS5005) and without (MGAS2221) a null covS mutation enhances neutrophil ingress to infection sites in the skin of mice. In trans expression of SsE in MGAS2221 reduces neutrophil recruitment and enhances skin invasion. The sse deletion mutant of MGAS5005 (ΔsseMGAS5005) is more efficiently cleared from skin than the parent strain. SsE hydrolyzes the sn-2 ester bond of platelet-activating factor (PAF), converting biologically active PAF into inactive lyso-PAF. KM and kcat of SsE for hydrolysis of 2-thio-PAF were similar to those of the human plasma PAF acetylhydrolase. Treatment of PAF with SsE abolishes the capacity of PAF to induce activation and chemotaxis of human neutrophils. More importantly, PAF receptor-deficient mice significantly reduce neutrophil infiltration to the site of ΔsseMGAS5005 infection. These findings identify the first secreted PAF acetylhydrolase of bacterial pathogens and support a novel GAS evasion mechanism that reduces phagocyte recruitment to sites of infection by inactivating PAF, providing a new paradigm for bacterial evasion of neutrophil responses

Trade as a Wage Disciplining Device

We estimate how trade openness affects the relationship between wages, labour productivity and foreign wages using sector-level time series for several EU member states. In some countries wages became less responsive to foreign wages as trade costs declined. We show this counter-intuitive result is as expected when wages are set by a monopoly union with a preference for wages relative to employment. Trade liberalisation then leads to more wage discipline by forcing unions to set wages more in line with labour productivity. Foreign wages simultaneously become less relevant. Our results call to rethink how trade liberalisation is affecting unionized labour markets, and offer a possible explanation for the mixed evidence found by some tests for international factor price convergence

Agricultural Investments and Hunger in Africa Modelling Potential Contributions to SDG 2 - Zero Hunger

We use IFPRI’s IMPACT framework of linked biophysical and structural economic models to examine developments in global agricultural production systems, climate change, and food security. Building on related work on how increased investment in agricultural research, resource management, and infrastructure can address the challenges of meeting future food demand, we explore the costs and implications of these investments for reducing hunger in Africa by 2030. This analysis is coupled with a new investment estimation model, based on the perpetual inventory methodology (PIM), which allows for a better assessment of the costs of achieving projected agricultural improvements. We find that climate change will continue to slow projected reductions in hunger in the coming decades—increasing the number of people at risk of hunger in 2030 by 16 million in Africa compared to a scenario without climate change. Investments to increase agricultural productivity can offset the adverse impacts of climate change and help reduce the share of people at risk of hunger in 2030 to five percent or less in Northern, Western, and Southern Africa, but the share is projected to remain at ten percent or more in Eastern and Central Africa. Investments in Africa to achieve these results are estimated to cost about 15 billion USD per year between 2015 and 2030, as part of a larger package of investments costing around 52 billion USD in developing countries

Diagnostic strategy and timing of intervention in infected necrotizing pancreatitis: an international expert survey and case vignette study

AbstractBackgroundThe optimal diagnostic strategy and timing of intervention in infected necrotizing pancreatitis is subject to debate. We performed a survey on these topics amongst a group of international expert pancreatologists.MethodsAn online survey including case vignettes was sent to 118 international pancreatologists. We evaluated the use and timing of fine needle aspiration (FNA), antibiotics, catheter drainage and (minimally invasive) necrosectomy.ResultsThe response rate was 74% (N = 87). None of the respondents use FNA routinely, 85% selectively and 15% never. Most respondents (87%) use a step-up approach in patients with infected necrosis. Walled-off necrosis (WON) is considered a prerequisite for endoscopic drainage and percutaneous drainage by 66% and 12%, respectively. After diagnosing infected necrosis, 55% routinely postpone invasive interventions, whereas 45% proceed immediately to intervention. Lack of consensus about timing of intervention was apparent on day 14 with proven infected necrosis (58% intervention vs. 42% non-invasive) as well as on day 20 with only clinically suspected infected necrosis (59% intervention vs. 41% non-invasive).DiscussionThe step-up approach is the preferred treatment strategy in infected necrotizing pancreatitis amongst expert pancreatologists. There is no uniformity regarding the use of FNA and timing of intervention in the first 2–3 weeks of infected necrotizing pancreatitis

Confluence Reduction versus Partial-Order Reduction in Probabilistic and Non-Probabilistic Branching Time

Confluence reduction and partial-order reduction by means of ample sets are two different techniques for state space reduction in both traditional and probabilistic model checking. This paper provides an extensive comparison between these two methods, answering the long-standing question of how they relate. We prove that, while both preserve branching-time properties, confluence reduction is strictly more powerful than partial-order reduction: every reduction that can be obtained with partial-order reduction can also be obtained with confluence reduction, but the converse is not true. A core problem in the comparison is that confluence reduction was defined in an action-based setting, whereas partial-order reduction was defined in a state-based setting. We therefore redefine confluence reduction in the state-based setting of Markov decision processes, and provide a non-trivial proof of its correctness. Additionally, we pinpoint precisely in what way confluence reduction is more general, and provide a restricted variant that exactly coincides with partial-order reduction. Clearly, the results we present also hold for non-probabilistic models, as they can just as well be applied in a context where all transitions are non-probabilistic. To show the practical applicability of our results, we adapt a state space generation technique based on representative states, already known in combination with confluence reduction, so that it can also be applied with partial-order reduction