Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for lifted model checking of the full CTL, interpreted over 3-valued semantics. We propose a direct algorithm for solving a 3-valued (abstract) lifted model checking game. In case the result of model checking an abstract variability model is indefinite, we suggest a new notion of refinement, which eliminates indefinite results. This provides an iterative incremental variability-specific abstraction and refinement framework, where refinement is applied only where indefinite results exist and definite results from previous iterations are reused. The practicality of this approach is demonstrated on several variability models

Consequences of converting graded to action potentials upon neural information coding and energy efficiency

Information is encoded in neural circuits using both graded and action potentials, converting between them within single neurons and successive processing layers. This conversion is accompanied by information loss and a drop in energy efficiency. We investigate the biophysical causes of this loss of information and efficiency by comparing spiking neuron models, containing stochastic voltage-gated Na+ and K+ channels, with generator potential and graded potential models lacking voltage-gated Na+ channels. We identify three causes of information loss in the generator potential that are the by-product of action potential generation: (1) the voltage-gated Na+ channels necessary for action potential generation increase intrinsic noise and (2) introduce non-linearities, and (3) the finite duration of the action potential creates a ‘footprint’ in the generator potential that obscures incoming signals. These three processes reduce information rates by ~50% in generator potentials, to ~3 times that of spike trains. Both generator potentials and graded potentials consume almost an order of magnitude less energy per second than spike trains. Because of the lower information rates of generator potentials they are substantially less energy efficient than graded potentials. However, both are an order of magnitude more efficient than spike trains due to the higher energy costs and low information content of spikes, emphasizing that there is a two-fold cost of converting analogue to digital; information loss and cost inflation

Cell-cell adhesion proteins in melanocytic pilomatrix carcinoma

Tumors of the matrix of rigid structures include matrical tumors of the hairs, nails, and teeth. These tumors share similar phenotypical and signaling features. Although benign matrical hair tumors are among the most common of these tumors, hair matrix tumors containing pigmented melanocytes are very rare. The malignant variant called melanocytic pilomatrix carcinoma contains benign colonizing dendritic melanocytes admixed with the carcinomatous follicular matrical cells

Impact of concomitant aortic regurgitation on long-term outcome after surgical aortic valve replacement in patients with severe aortic stenosis

<p>Abstract</p> <p>Background</p> <p>Prognostic value of concomitant aprtic regurgitation (AR) in patients operated for severe aortic stenosis (AS) is not clarified. The aim of this study was to prospectively examine the impact of presence and severity of concomitant AR in patients operated for severe AS on long-term functional capacity, left ventricular (LV) function and mortality.</p> <p>Methods</p> <p>Study group consisted of 110 consecutive patients operated due to severe AS. The patients were divided into AS group (56 patients with AS without AR or with mild AR) and AS+AR group (54 patients with AS and moderate, severe or very severe AR). Follow-up included clinical examination, six minutes walk test (6MWT) and echocardiography 12 and 104 months after AVR.</p> <p>Results</p> <p>Patients in AS group had lower LV volume indices throughout the study than patients in AS+AR group. Patients in AS group did not have postoperative decrease in LV volume indices, whereas patients in AS+AR group experienced decrease in LV volume indices at 12 and 104 months. Unlike LV volume indices, LV mass index was significantly lower in both groups after 12 and 104 months as compared to preoperative values. Mean LVEF remained unchanged in both groups throughout the study. NYHA class was improved in both groups at 12 months, but at 104 months remained improved only in patients with AS. On the other hand, distance covered during 6MWT was longer at 104 months as compared to 12 months only in AS+AR group (p = 0,013), but patients in AS group walked longer at 12 months than patients in AS+AR group (p = 0,002). There were 30 deaths during study period, of which 13 (10 due to cardiovascular causes) in AS group and 17 (12 due to cardiovascular causes) in AS+AR group. Kaplan-Meier analysis showed that the survival probability was similar between the groups. Multivariate analysis identified diabetes mellitus (beta 1.78, p = 0.038) and LVEF < 45% (beta 1.92, p = 0.049) as the only independent predictor of long-term mortality.</p> <p>Conclusion</p> <p>Our data indicate that the preoperative presence and severity of concomitant AR has no influence on long-term postoperative outcome, LV function and functional capacity in patients undergoing AVR for severe AS.</p

Gene expression profiling of alveolar soft-part sarcoma (ASPS)

<p>Abstract</p> <p>Background</p> <p>Alveolar soft-part sarcoma (ASPS) is an extremely rare, highly vascular soft tissue sarcoma affecting predominantly adolescents and young adults. In an attempt to gain insight into the pathobiology of this enigmatic tumor, we performed the first genome-wide gene expression profiling study.</p> <p>Methods</p> <p>For seven patients with confirmed primary or metastatic ASPS, RNA samples were isolated immediately following surgery, reverse transcribed to cDNA and each sample hybridized to duplicate high-density human U133 plus 2.0 microarrays. Array data was then analyzed relative to arrays hybridized to universal RNA to generate an unbiased transcriptome. Subsequent gene ontology analysis was used to identify transcripts with therapeutic or diagnostic potential. A subset of the most interesting genes was then validated using quantitative RT-PCR and immunohistochemistry.</p> <p>Results</p> <p>Analysis of patient array data versus universal RNA identified elevated expression of transcripts related to angiogenesis (ANGPTL2, HIF-1 alpha, MDK, c-MET, VEGF, TIMP-2), cell proliferation (PRL, IGFBP1, NTSR2, PCSK1), metastasis (ADAM9, ECM1, POSTN) and steroid biosynthesis (CYP17A1 and STS). A number of muscle-restricted transcripts (ITGB1BP3/MIBP, MYF5, MYF6 and TRIM63) were also identified, strengthening the case for a muscle cell progenitor as the origin of disease. Transcript differentials were validated using real-time PCR and subsequent immunohistochemical analysis confirmed protein expression for several of the most interesting changes (MDK, c-MET, VEGF, POSTN, CYP17A1, ITGB1BP3/MIBP and TRIM63).</p> <p>Conclusion</p> <p>Results from this first comprehensive study of ASPS gene expression identifies several targets involved in angiogenesis, metastasis and myogenic differentiation. These efforts represent the first step towards defining the cellular origin, pathogenesis and effective treatment strategies for this atypical malignancy.</p

Mutation analysis of genes that control the G1/S cell cycle in melanoma: TP53, CDKN1A, CDKN2A, and CDKN2B

BACKGROUND: The role of genes involved in the control of progression from the G1 to the S phase of the cell cycle in melanoma tumors in not fully known. The aim of our study was to analyse mutations in TP53, CDKN1A, CDKN2A, and CDKN2B genes in melanoma tumors and melanoma cell lines METHODS: We analysed 39 primary and metastatic melanomas and 9 melanoma cell lines by single-stranded conformational polymorphism (SSCP). RESULTS: The single-stranded technique showed heterozygous defects in the TP53 gene in 8 of 39 (20.5%) melanoma tumors: three new single point mutations in intronic sequences (introns 1 and 2) and exon 10, and three new single nucleotide polymorphisms located in introns 1 and 2 (C to T transition at position 11701 in intron 1; C insertion at position 11818 in intron 2; and C insertion at position 11875 in intron 2). One melanoma tumor exhibited two heterozygous alterations in the CDKN2A exon 1 one of which was novel (stop codon, and missense mutation). No defects were found in the remaining genes. CONCLUSION: These results suggest that these genes are involved in melanoma tumorigenesis, although they may be not the major targets. Other suppressor genes that may be informative of the mechanism of tumorigenesis in skin melanomas should be studied

Comparison of RCAS1 and metallothionein expression and the presence and activity of immune cells in human ovarian and abdominal wall endometriomas

BACKGROUND: The coexistence of endometrial and immune cells during decidualization is preserved by the ability of endometrial cells to regulate the cytotoxic immune activity and their capability to be resistant to immune-mediated apoptosis. These phenomena enable the survival of endometrial ectopic cells. RCAS1 is responsible for regulation of cytotoxic activity. Metallothionein expression seems to protect endometrial cells against apoptosis. The aim of the present study was to evaluate RCAS1 and metallothionein expression in human ovarian and scar endometriomas in relation to the presence of immune cells and their activity. METHODS: Metallothionein, RCAS1, CD25, CD69, CD56, CD16, CD68 antigen expression was assessed by immunohistochemistry in ovarian and scar endometriomas tissue samples which were obtained from 33 patients. The secretory endometrium was used as a control group (15 patients). RESULTS: The lowest metallothionein expression was revealed in ovarian endometriomas in comparison to scar endometriomas and to the control group. RCAS1 expression was at the highest level in the secretory endometrium and it was at comparable levels in ovarian and scar endometriomas. Similarly, the number of CD56-positive cells was lower in scar and ovarian endometriomas than in the secretory endometrium. The highest number of macrophages was found in ovarian endometriomas. RCAS1-positive macrophages were observed only in ovarian endometriomas. CD25 and CD69 antigen expression was higher in scar and ovarian endometriomas than in the control group. CONCLUSION: The expression of RCAS1 and metallothionein by endometrial cells may favor the persistence of these cells in ectopic localization both in scar following cesarean section and in ovarian endometriosis

Comprehensive and Integrated Genomic Characterization of Adult Soft Tissue Sarcomas

Summary Sarcomas are a broad family of mesenchymal malignancies exhibiting remarkable histologic diversity. We describe the multi-platform molecular landscape of 206 adult soft tissue sarcomas representing 6 major types. Along with novel insights into the biology of individual sarcoma types, we report three overarching findings: (1) unlike most epithelial malignancies, these sarcomas (excepting synovial sarcoma) are characterized predominantly by copy-number changes, with low mutational loads and only a few genes (TP53, ATRX, RB1) highly recurrently mutated across sarcoma types; (2) within sarcoma types, genomic and regulomic diversity of driver pathways defines molecular subtypes associated with patient outcome; and (3) the immune microenvironment, inferred from DNA methylation and mRNA profiles, associates with outcome and may inform clinical trials of immune checkpoint inhibitors. Overall, this large-scale analysis reveals previously unappreciated sarcoma-type-specific changes in copy number, methylation, RNA, and protein, providing insights into refining sarcoma therapy and relationships to other cancer types

Effects of Hepatocyte CD14 Upregulation during Cholestasis on Endotoxin Sensitivity

Cholestasis is frequently related to endotoxemia and inflammatory response. Our previous investigation revealed a significant increase in plasma endotoxin and CD14 levels during biliary atresia. We therefore propose that lipopolysacharides (LPS) may stimulate CD14 production in liver cells and promote the removal of endotoxins. The aims of this study are to test the hypothesis that CD14 is upregulated by LPS and investigate the pathophysiological role of CD14 production during cholestasis. Using Western blotting, qRT-PCR, and promoter activity assay, we demonstrated that LPS was associated with a significant increase in CD14 and MD2 protein and mRNA expression and CD14 promoter activity in C9 rat hepatocytes but not in the HSC-T6 hepatic stellate cell line in vitro. To correlate CD14 expression and endotoxin sensitivity, in vivo biliary LPS administration was performed on rats two weeks after they were subjected to bile duct ligation (BDL) or a sham operation. CD14 expression and endotoxin levels were found to significantly increase after LPS administration in BDL rats. These returned to basal levels after 24 h. In contrast, although endotoxin levels were increased in sham-operated rats given LPS, no increase in CD14 expression was observed. However, mortality within 24 h was more frequent in the BDL animals than in the sham-operated group. In conclusion, cholestasis and LPS stimulation were here found to upregulate hepatic CD14 expression, which may have led to increased endotoxin sensitivity and host proinflammatory reactions, causing organ failure and death in BDL rats