Regular symmetry patterns

Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We propose a symbolic framework for capturing symmetry patterns in parameterised systems (i.e. an infinite family of finite-state systems): two regular word transducers to represent, respectively, parameterised systems and symmetry patterns. The framework subsumes various types of "symmetry relations" ranging from weaker notions (e.g. simulation preorders) to the strongest notion (i.e. isomorphisms). Our framework enjoys two algorithmic properties: (1) symmetry verification: given a transducer, we can automatically check whether it is a symmetry pattern of a given system, and (2) symmetry synthesis: we can automatically generate a symmetry pattern for a given system in the form of a transducer. Furthermore, our symbolic language allows additional constraints that the symmetry patterns need to satisfy to be easily incorporated in the verification/synthesis. We show how these properties can help identify symmetry patterns in examples like dining philosopher protocols, self-stabilising protocols, and prioritised resource-allocator protocol. In some cases (e.g. Gries's coffee can problem), our technique automatically synthesises a safety-preserving finite approximant, which can then be verified for safety solely using a finite-state model checker.UPMAR

Genome Wide Transcriptome Analysis of Dendritic Cells Identifies Genes with Altered Expression in Psoriasis

Activation of dendritic cells by different pathogens induces the secretion of proinflammatory mediators resulting in local inflammation. Importantly, innate immunity must be properly controlled, as its continuous activation leads to the development of chronic inflammatory diseases such as psoriasis. Lipopolysaccharide (LPS) or peptidoglycan (PGN) induced tolerance, a phenomenon of transient unresponsiveness of cells to repeated or prolonged stimulation, proved valuable model for the study of chronic inflammation. Thus, the aim of this study was the identification of the transcriptional diversity of primary human immature dendritic cells (iDCs) upon PGN induced tolerance. Using SAGESeq approach, a tag-based transcriptome sequencing method, we investigated gene expression changes of primary human iDCs upon stimulation or restimulation with Staphylococcus aureus derived PGN, a widely used TLR2 ligand. Based on the expression pattern of the altered genes, we identified non-tolerizeable and tolerizeable genes. Gene Ontology (GO) and Kyoto Encyclopedia of Genes and Genomes (Kegg) analysis showed marked enrichment of immune-, cell cycle- and apoptosis related genes. In parallel to the marked induction of proinflammatory mediators, negative feedback regulators of innate immunity, such as TNFAIP3, TNFAIP8, Tyro3 and Mer are markedly downregulated in tolerant cells. We also demonstrate, that the expression pattern of TNFAIP3 and TNFAIP8 is altered in both lesional, and non-lesional skin of psoriatic patients. Finally, we show that pretreatment of immature dendritic cells with anti-TNF-α inhibits the expression of IL-6 and CCL1 in tolerant iDCs and partially releases the suppression of TNFAIP8. Our findings suggest that after PGN stimulation/restimulation the host cell utilizes different mechanisms in order to maintain critical balance between inflammation and tolerance. Importantly, the transcriptome sequencing of stimulated/restimulated iDCs identified numerous genes with altered expression to date not associated with role in chronic inflammation, underlying the relevance of our in vitro model for further characterization of IFNprimed iDCs

No long-term impact of low-energy distal radius fracture on health-related quality of life and global quality of life: a case-control study

<p>Abstract</p> <p>Background</p> <p>Changes in patient-reported outcomes like health related quality of life (HRQOL) and global quality of life (GQOL) in patients with low-energy distal radius fracture might be related to fracture, or be within the normal range of variation in an elderly population. Hence, the present study aims to examine: Whether patients with low-energy distal radius fracture attain their pre-fracture levels in HRQOL and GQOL one year after the fracture and compare these levels with age- and sex-matched controls; and whether objective factors predict changes in HRQOL and GQOL during the same one year period.</p> <p>Methods</p> <p>We examined 160 patients and 169 age- and sex matched controls, respectively (mean ± SD) 67 ± 9 and 66 ± 9 years of age. HRQOL was assessed by the Modified Health Assessment Questionnaire (MHAQ) and the Short–Form 36 (SF-36). The Quality of Life Scale (QOLS) assessed GQOL. Paired sample t-tests and multiple linear regression analyses were applied.</p> <p>Results</p> <p>After one year no differences were found in HRQOL (assessed as arm functions, physical health and mental health) compared to pre-fracture level in the patient group. Both patients with distal radius fracture and controls reported a reduced GQOL after one year (p < 0.001). Low-energy distal radius fracture did not predict worsened HRQOL or GQOL one year after inclusion, and few predictors of changes were identified. Worsened arm function was predicted by low BMI (B = -0.20, p = 0.019) at baseline, worsened physical health was predicted by low education (B = 1.37, p = 0.017) at baseline, and living with someone predicted worsened mental health (B = 2.85, p = 0.009)</p> <p>Conclusion</p> <p>Patients with a distal radius fracture seem to manage well despite the fracture, and distal radius fracture is not an independent predictor of worsened HRQOL and GQOL.</p

Predictive factor for the response to adjuvant therapy with emphasis in breast cancer

One of the major challenges of early-stage breast cancer is to select the adjuvant therapy that ensures the most benefits and the least harm for the patient. The definition of accurate predictive factors is therefore of paramount importance. So far the choice of adjuvant therapy has been based on the number of affected lymph nodes and the hormone receptor status of the patient. This paper evaluates the use of other tumor-related markers as predictive factors for adjuvant therapy. These include HER2, p53 and Bcl-2, cathepsin B, p27, proliferating cell nuclear antigen (PCNA), cyclin D, Ki-67, and vascular endothelial growth factor (VEGF)

Current measures of metabolic heterogeneity within cervical cancer do not predict disease outcome

<p>Abstract</p> <p>Background</p> <p>A previous study evaluated the intra-tumoral heterogeneity observed in the uptake of F-18 fluorodeoxyglucose (FDG) in pre-treatment positron emission tomography (PET) scans of cancers of the uterine cervix as an indicator of disease outcome. This was done via a novel statistic which ostensibly measured the spatial variations in intra-tumoral metabolic activity. In this work, we argue that statistic is intrinsically <it>non</it>-spatial, and that the apparent delineation between unsuccessfully- and successfully-treated patient groups via that statistic is spurious.</p> <p>Methods</p> <p>We first offer a straightforward mathematical demonstration of our argument. Next, we recapitulate an assiduous re-analysis of the originally published data which was derived from FDG-PET imagery. Finally, we present the results of a principal component analysis of FDG-PET images similar to those previously analyzed.</p> <p>Results</p> <p>We find that the previously published measure of intra-tumoral heterogeneity is intrinsically non-spatial, and actually is only a surrogate for tumor volume. We also find that an optimized linear combination of more canonical heterogeneity quantifiers does not predict disease outcome.</p> <p>Conclusions</p> <p>Current measures of intra-tumoral metabolic activity are not predictive of disease outcome as has been claimed previously. The implications of this finding are: clinical categorization of patients based upon these statistics is invalid; more sophisticated, and perhaps innately-geometric, quantifications of metabolic activity are required for predicting disease outcome.</p

CD103 Deficiency Prevents Graft-versus-Host Disease but Spares Graft-versus-Tumor Effects Mediated by Alloreactive CD8 T Cells

Graft-versus-host disease (GVHD) remains the main barrier to broader application of allogeneic hematopoietic stem cell transplantation (alloSCT) as a curative therapy for host malignancy. GVHD is mediated by allogeneic T cells directed against histocompatibility antigens expressed by host tissues. Based on previous studies, we postulated that the integrin CD103 is required for CD8-mediated GVHD, but not for graft-versus-tumor effects (GVT).We herein provide evidence in support of this hypothesis. To circumvent the potentially confounding influence of donor CD4 T cells, we developed an alloSCT model in which GVHD mortality is mediated by purified CD8 T cells. In this model, host-reactive CD8 T cells receive CD4 T cell help at the time of initial activation but not in the effector phase in which mature CD8 T effectors migrate into host tissues. We show that donor CD8 T cells from wild-type BALB/c mice primed to host alloantigens induce GVHD pathology and eliminate tumors of host origin in the absence of host CD4 T cells. Importantly, CD103 deficiency dramatically attenuated GVHD mortality, but had no detectable impact on the capacity to eliminate a tumor line of host origin. We provide evidence that CD103 is required for accumulation of donor CD8 T cells in the host intestinal epithelium but not in the tumor or host lymphoid compartments. Consistent with these data, CD103 was preferentially expressed by CD8 T cells infiltrating the host intestinal epithelium but not by those infiltrating the tumor, lamina propria, or lymphoid compartments. We further demonstrate that CD103 expression is not required for classic CD8 effector activities including cytokine production and cytotoxicity.These data indicate that CD103 deficiency inhibits GVHD pathology while sparing anti-tumor effects mediated by CD8 T cells, identifying CD103 blockade as an improved strategy for GVHD prophylaxis

Total 18F-dopa PET tumour uptake reflects metabolic endocrine tumour activity in patients with a carcinoid tumour

Positron emission tomography (PET) using 6-[(18)F]fluoro-L-dihydroxyphenylalanine ((18)F-dopa) has an excellent sensitivity to detect carcinoid tumour lesions. (18)F-dopa tumour uptake and the levels of biochemical tumour markers are mediated by tumour endocrine metabolic activity. We evaluated whether total (18)F-dopa tumour uptake on PET, defined as whole-body metabolic tumour burden (WBMTB), reflects tumour load per patient, as measured with tumour markers. Seventy-seven consecutive carcinoid patients who underwent an (18)F-dopa PET scan in two previously published studies were analysed. For all tumour lesions mean standardised uptake values (SUVs) at 40% of the maximal SUV and tumour volume on (18)F-dopa PET were determined and multiplied to calculate a metabolic burden per lesion. WBMTB was the sum of the metabolic burden of all individual lesions per patient. The 24-h urinary serotonin, urine and plasma 5-hydroxindoleacetic acid (5-HIAA), catecholamines (nor)epinephrine, dopamine and their metabolites, measured in urine and plasma, and serum chromogranin A served as tumour markers. All but 1 were evaluable for WBMTB; 74 patients had metastatic disease. (18)F-dopa PET detected 979 lesions. SUV(max) on (18)F-dopa PET varied up to 29-fold between individual lesions within the same patients. WBMTB correlated with urinary serotonin (r = 0.51) and urinary and plasma 5-HIAA (r = 0.78 and 0.66). WBMTB also correlated with urinary norepinephrine, epinephrine, dopamine and plasma dopamine, but not with serum chromogranin A. Tumour load per patient measured with (18)F-dopa PET correlates with tumour markers of the serotonin and catecholamine pathway in urine and plasma in carcinoid patients, reflecting metabolic tumour activity

FDG-PET-CT in the early response evaluation for primary systemic therapy of breast cancer

Primary systemic therapy (PST) is a standard treatment for patients with locally advanced breast cancer. We report one of our patients to demonstrate the optimal use of FDG-PET-CT in the routine clinical workup during PST, especially when clinicians face contradictory clinical and pathological findings, and to show the advantages of this imaging modality in the decision-making process about the initial treatment choice. By reviewing the literature we would also like to confirm that FDG-PET-CT is highly sensitive in the measurement of the early therapeutic response and the prediction of the complete pathological remission, as early as after the first cycle of chemotherapy is administered. © 2014 Versita and Springer-Verlag