Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage

The applicability of model checking is hindered by the state space explosion problem in combination with limited amounts of main memory. To extend its reach, the large available capacities of secondary storage such as hard disks can be exploited. Due to the specific performance characteristics of secondary storage technologies, specialised algorithms are required. In this paper, we present a technique to use secondary storage for probabilistic model checking of Markov decision processes. It combines state space exploration based on partitioning with a block-iterative variant of value iteration over the same partitions for the analysis of probabilistic reachability and expected-reward properties. A sparse matrix-like representation is used to store partitions on secondary storage in a compact format. All file accesses are sequential, and compression can be used without affecting runtime. The technique has been implemented within the Modest Toolset. We evaluate its performance on several benchmark models of up to 3.5 billion states. In the analysis of time-bounded properties on real-time models, our method neutralises the state space explosion induced by the time bound in its entirety.Comment: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-24953-7_1

Guidelines for the use and interpretation of assays for monitoring autophagy (4th edition)1.

In 2008, we published the first set of guidelines for standardizing research in autophagy. Since then, this topic has received increasing attention, and many scientists have entered the field. Our knowledge base and relevant new technologies have also been expanding. Thus, it is important to formulate on a regular basis updated guidelines for monitoring autophagy in different organisms. Despite numerous reviews, there continues to be confusion regarding acceptable methods to evaluate autophagy, especially in multicellular eukaryotes. Here, we present a set of guidelines for investigators to select and interpret methods to examine autophagy and related processes, and for reviewers to provide realistic and reasonable critiques of reports that are focused on these processes. These guidelines are not meant to be a dogmatic set of rules, because the appropriateness of any assay largely depends on the question being asked and the system being used. Moreover, no individual assay is perfect for every situation, calling for the use of multiple techniques to properly monitor autophagy in each experimental setting. Finally, several core components of the autophagy machinery have been implicated in distinct autophagic processes (canonical and noncanonical autophagy), implying that genetic approaches to block autophagy should rely on targeting two or more autophagy-related genes that ideally participate in distinct steps of the pathway. Along similar lines, because multiple proteins involved in autophagy also regulate other cellular pathways including apoptosis, not all of them can be used as a specific marker for bona fide autophagic responses. Here, we critically discuss current methods of assessing autophagy and the information they can, or cannot, provide. Our ultimate goal is to encourage intellectual and technical innovation in the field

Practical guidelines for rigor and reproducibility in preclinical and clinical studies on cardioprotection

The potential for ischemic preconditioning to reduce infarct size was first recognized more than 30 years ago. Despite extension of the concept to ischemic postconditioning and remote ischemic conditioning and literally thousands of experimental studies in various species and models which identified a multitude of signaling steps, so far there is only a single and very recent study, which has unequivocally translated cardioprotection to improved clinical outcome as the primary endpoint in patients. Many potential reasons for this disappointing lack of clinical translation of cardioprotection have been proposed, including lack of rigor and reproducibility in preclinical studies, and poor design and conduct of clinical trials. There is, however, universal agreement that robust preclinical data are a mandatory prerequisite to initiate a meaningful clinical trial. In this context, it is disconcerting that the CAESAR consortium (Consortium for preclinicAl assESsment of cARdioprotective therapies) in a highly standardized multi-center approach of preclinical studies identified only ischemic preconditioning, but not nitrite or sildenafil, when given as adjunct to reperfusion, to reduce infarct size. However, ischemic preconditioning—due to its very nature—can only be used in elective interventions, and not in acute myocardial infarction. Therefore, better strategies to identify robust and reproducible strategies of cardioprotection, which can subsequently be tested in clinical trials must be developed. We refer to the recent guidelines for experimental models of myocardial ischemia and infarction, and aim to provide now practical guidelines to ensure rigor and reproducibility in preclinical and clinical studies on cardioprotection. In line with the above guideline, we define rigor as standardized state-of-the-art design, conduct and reporting of a study, which is then a prerequisite for reproducibility, i.e. replication of results by another laboratory when performing exactly the same experiment

Radiomics of liver MRI predict metastases in mice

Background The purpose of this study was to investigate whether any texture features show a correlation with intrahepatic tumor growth before the metastasis is visible to the human eye. Methods Eight male C57BL6 mice (age 8-10 weeks) were injected intraportally with syngeneic MC-38 colon cancer cells and two mice were injected with phosphate-buffered saline (sham controls). Small animal magnetic resonance imaging (MRI) at 4.7 T was performed at baseline and days 4, 8, 12, 16, and 20 after injection applying a T2-weighted spin-echo sequence. Texture analysis was performed on the images yielding 32 texture features derived from histogram, gray-level co-occurrence matrix, gray-level run-length matrix, and gray-level size-zone matrix. The features were examined with a linear regression model/Pearson correlation test and hierarchical cluster analysis. From each cluster, the feature with the lowest variance was selected. Results Tumors were visible on MRI after 20 days. Eighteen features from histogram and the gray-level-matrices exhibited statistically significant correlations before day 20 in the experiment group, but not in the control animals. Cluster analysis revealed three distinct clusters of independent features. The features with the lowest variance were Energy, Short Run Emphasis, and Gray Level Non-Uniformity. Conclusions Texture features may quantitatively detect liver metastases before they become visually detectable by the radiologist

Functional reconstitution of HBV-specific CD8 T cells by in vitro polyphenol treatment in chronic hepatitis B

Background & Aims: In chronic HBV infection, mitochondrial functions and proteostasis are dysregulated in exhausted HBV-specific CD8 T cells. To better characterise the potential involvement of deregulated protein degradation mechanisms in T cell exhaustion, we analysed lysosome-mediated autophagy in HBV-specific CD8 T cells. Bioactive compounds able to simultaneously target both mitochondrial functions and proteostasis were tested to identify optimal combination strategies to reconstitute efficient antiviral CD8 T cell responses in patients with chronic HBV infection. Methods: Lysosome-mediated degradation pathways were analysed by flow cytometry in virus-specific CD8 T cells from patients with chronic HBV infection. Mitochondrial function, intracellular proteostasis, and cytokine production were evaluated in HBV-peptide-stimulated T cell cultures, in the presence or absence of the polyphenols resveratrol (RSV) and oleuropein (OLE) and their metabolites, either alone or in combination with other bioactive compounds. Results: HBV-specific CD8 T cells from patients with CHB showed impaired autophagic flux. RSV and OLE elicited a significant improvement in mitochondrial, proteostasis and antiviral functions in CD8 T cells. Cytokine production was also enhanced by synthetic metabolites, which correspond to those generated by RSV and OLE metabolism in vivo, suggesting that these polyphenols may also display an effect after transformation in vivo. Moreover, polyphenolic compounds improved the T cell revitalising effect of mitochondria-targeted antioxidants and of programmed cell death protein 1/programmed cell death ligand 1 blockade. Conclusions: Simultaneously targeting multiple altered intracellular pathways with the combination of mitochondria-targeted antioxidants and natural polyphenols may represent a promising immune reconstitution strategy for the treatment of chronic HBV infection. Lay summary: In chronic hepatitis B, antiviral T lymphocytes are deeply impaired, with many altered intracellular functions. In vitro exposure to polyphenols, such as resveratrol and oleuropein, can correct some of the deregulated intracellular pathways and improve antiviral T cell function. This effect can be further strengthened by the association of polyphenols with antioxidant compounds in a significant proportion of patients. Thus, the combination of antioxidants and natural polyphenols represents a promising strategy for chronic hepatitis B therapy

Violência contra as mulheres na perspectiva dos agentes comunitários de saúde

O presente estudo visou conhecer e compreender a violência contra as mulheres na perspectiva dos Agentes Comunitários de Saúde inseridos nas Estratégias de Saúde da Família de um município da região noroeste do Rio Grande do Sul. Trata-se de uma pesquisa exploratória, descritiva com abordagem qualitativa, realizada com 35 Agentes Comunitários de Saúde. Para a coleta dos dados, utilizou-se entrevista semiestruturada, e os mesmos foram analisados pela modalidade temática. As conceituações da violência contra as mulheres centram-se na violência enquanto construção social e de desigualdades de gênero; e violência enquanto construção multifatorial. Em relação às práticas de cuidado e enfrentamento, observaram-se algumas ferramentas: a construção de estratégias de cuidado junto com a equipe; vínculo, escuta e diálogo com a mulher vítima de violência. Acredita-se que este estudo contribua para dar visibilidade a essa problemática como uma necessidade de saúde e assistência e para a construção de estratégias de enfrentamento