Model counting for complex data structures

We extend recent approaches for calculating the probability of program behaviors, to allow model counting for complex data structures with numeric fields. We use symbolic execution with lazy initialization to compute the input structures leading to the occurrence of a target event, while keeping a symbolic representation of the constraints on the numeric data. Off-the-shelf model counting tools are used to count the solutions for numerical constraints and field bounds encoding data structure invariants are used to reduce the search space. The technique is implemented in the Symbolic PathFinder tool and evaluated on several complex data structures. Results show that the technique is much faster than an enumeration-based method that uses the Korat tool and also highlight the benefits of using the field bounds to speed up the analysis

Patient-derived glioblastoma cells show significant heterogeneity in treatment responses to the inhibitor-of-apoptosis-protein antagonist birinapant.

BACKGROUND: Resistance to temozolomide (TMZ) greatly limits chemotherapeutic effectiveness in glioblastoma (GBM). Here we analysed the ability of the Inhibitor-of-apoptosis-protein (IAP) antagonist birinapant to enhance treatment responses to TMZ in both commercially available and patient-derived GBM cells. METHODS: Responses to TMZ and birinapant were analysed in a panel of commercial and patient-derived GBM cell lines using colorimetric viability assays, flow cytometry, morphological analysis and protein expression profiling of pro- and antiapoptotic proteins. Responses in vivo were analysed in an orthotopic xenograft GBM model. RESULTS: Single-agent treatment experiments categorised GBM cells into TMZ-sensitive cells, birinapant-sensitive cells, and cells that were insensitive to either treatment. Combination treatment allowed sensitisation to therapy in only a subset of resistant GBM cells. Cell death analysis identified three principal response patterns: Type A cells that readily activated caspase-8 and cell death in response to TMZ while addition of birinapant further sensitised the cells to TMZ-induced cell death; Type B cells that readily activated caspase-8 and cell death in response to birinapant but did not show further sensitisation with TMZ; and Type C cells that showed no significant cell death or moderately enhanced cell death in the combined treatment paradigm. Furthermore, in vivo, a Type C patient-derived cell line that was TMZ-insensitive in vitro and showed a strong sensitivity to TMZ and TMZ plus birinapant treatments. CONCLUSIONS: Our results demonstrate remarkable differences in responses of patient-derived GBM cells to birinapant single and combination treatments, and suggest that therapeutic responses in vivo may be greatly affected by the tumour microenvironment

Factors Associated with Work Participation and Work Functioning in Depressed Workers: A Systematic Review

Background Depression is associated with negative work outcomes such as reduced work participation (WP) (e.g., sick leave duration, work status) and work functioning (WF) (e.g., loss of productivity, work limitations). For the development of evidence-based interventions to improve these work outcomes, factors predicting WP and WF have to be identified. Methods This paper presents a systematic literature review of studies identifying factors associated with WP and WF of currently depressed workers. Results A total of 30 studies were found that addressed factors associated with WP (N = 19) or WF (N = 11). For both outcomes, studies reported most often on the relationship with disorder-related factors, whereas personal factors and work-related factors were less frequently addressed. For WP, the following relationships were supported: strong evidence was found for the association between a long duration of the depressive episode and work disability. Moderate evidence was found for the associations between more severe types of depressive disorder, presence of co-morbid mental or physical disorders, older age, a history of previous sick leave, and work disability. For WF, severe depressive symptoms were associated with work limitations, and clinical improvement was related to work productivity (moderate evidence). Due to the cross-sectional nature of about half of the studies, only few true prospective associations could be identified. Conclusion Our study identifies gaps in knowledge regarding factors predictive of WP and WF in depressed workers and can be used for the design of future research and evidence-based interventions. We recommend undertaking more longitudinal studies to identify modifiable factors predictive of WP and WF, especially work-related and personal factors

Waist circumference, abdominal obesity, and depression among overweight and obese U.S. adults: national health and nutrition examination survey 2005-2006

<p>Abstract</p> <p>Background</p> <p>Obesity is associated with an increased risk of mental illness; however, evidence linking body mass index (BMI)-a measure of overall obesity, to mental illness is inconsistent. The objective of this study was to examine the association of depressive symptoms with waist circumference or abdominal obesity among overweight and obese U.S. adults.</p> <p>Methods</p> <p>A cross-sectional, nationally representative sample from the 2005-2006 National Health and Nutrition Examination Survey was used. We analyzed the data from 2,439 U.S. adults (1,325 men and 1,114 nonpregnant women) aged ≥ 20 years who were either overweight or obese with BMI of ≥ 25.0 kg/m². Abdominal obesity was defined as waist circumference of > 102 cm for men and > 88 cm for women. Depressive symptoms (defined as having major depressive symptoms or moderate-to-severe depressive symptoms) were assessed by the Patient Health Questionnaire-9 diagnostic algorithm. The prevalence and the odds ratios (ORs) with 95% confidence intervals (CIs) for having major depressive symptoms and moderate-to-severe depressive symptoms were estimated using logistic regression analysis.</p> <p>Results</p> <p>After multivariate adjustment for demographics and lifestyle factors, waist circumference was significantly associated with both major depressive symptoms (OR: 1.03, 95% CI: 1.01-1.05) and moderate-to-severe depressive symptoms (OR: 1.02, 95% CI: 1.01-1.04), and adults with abdominal obesity were significantly more likely to have major depressive symptoms (OR: 2.18, 95% CI: 1.35-3.59) or have moderate-to-severe depressive symptoms (OR: 2.56, 95% CI: 1.34-4.90) than those without. These relationships persisted after further adjusting for coexistence of multiple chronic conditions and persisted in participants who were overweight (BMI: 25.0-< 30.0 kg/m²) when stratified analyses were conducted by BMI status.</p> <p>Conclusion</p> <p>Among overweight and obese U.S. adults, waist circumference or abdominal obesity was significantly associated with increased likelihoods of having major depressive symptoms or moderate-to-severe depressive symptoms. Thus, mental health status should be monitored and evaluated in adults with abdominal obesity, particularly in those who are overweight.</p

GLUT1 gene is a potential hypoxic marker in colorectal cancer patients

<p>Abstract</p> <p>Background</p> <p>Tumor hypoxia is an important factor related to tumor resistance to radiotherapy and chemotherapy. This study investigated molecules synthesized in colorectal cancer cells during hypoxia to explore the possibility of developing molecular probes capable of detecting cell death and/or the efficiency of radiotherapy and chemotherapy.</p> <p>Methods</p> <p>At first, we incubated two human colorectal adenocarcinoma cell lines SW480 (UICC stage II) and SW620 (UICC stage III) cells in hypoxic (≤2% O₂, 93% N₂, and 5% CO₂) and normoxic conditions (20% O₂, 75% N₂, and 5% CO₂) for 24 h and 48 h. The relative expression ratio of GLUT1 mRNA in hypoxic conditions was analyzed by RT-PCR. Ten cancerous tissues collected from human colorectal cancer patients were examined. HIF-1α and HIF-2α levels were measured to indicate the degree of hypoxia, and gene expression under hypoxic conditions was determined. As a comparison, HIF-1α, HIF-2α, and GLUT1 levels were measured in the peripheral blood of 100 CRC patients.</p> <p>Results</p> <p>Hypoxia-induced lactate was found to be elevated 3.24- to 3.36-fold in SW480 cells, and 3.06- to 3.17-fold in SW620 cells. The increased relative expression ratio of GLUT1 mRNA, under hypoxic conditions was higher in SW620 cells (1.39- to 1.72-fold elevation) than in SW480 cells (1.24- to 1.66-fold elevation). HIF-1α and HIF-2α levels were elevated and GLUT1 genes were significantly overexpressed in CRC tissue specimens. The elevated ratio of GLUT1 was higher in stage III and IV CRC tissue specimens than in the stage I and II (2.97–4.73 versus 1.44–2.11). GLUT1 mRNA was also increased in the peripheral blood of stage II and III CRC patients as compared to stage I patients, suggesting that GLUT1 may serve as a hypoxic indicator in CRC patients.</p> <p>Conclusion</p> <p>In conclusion, this study demonstrated that GLUT1 has the potential to be employed as a molecular marker to indicate the degree of hypoxia experienced by tumors circulating in the blood of cancer patients.</p

DNA Methylation and Histone Modifications Regulate De Novo Shoot Regeneration in Arabidopsis by Modulating WUSCHEL Expression and Auxin Signaling

Plants have a profound capacity to regenerate organs from differentiated somatic tissues, based on which propagating plants in vitro was made possible. Beside its use in biotechnology, in vitro shoot regeneration is also an important system to study de novo organogenesis. Phytohormones and transcription factor WUSCHEL (WUS) play critical roles in this process but whether and how epigenetic modifications are involved is unknown. Here, we report that epigenetic marks of DNA methylation and histone modifications regulate de novo shoot regeneration of Arabidopsis through modulating WUS expression and auxin signaling. First, functional loss of key epigenetic genes—including METHYLTRANSFERASE1 (MET1) encoding for DNA methyltransferase, KRYPTONITE (KYP) for the histone 3 lysine 9 (H3K9) methyltransferase, JMJ14 for the histone 3 lysine 4 (H3K4) demethylase, and HAC1 for the histone acetyltransferase—resulted in altered WUS expression and developmental rates of regenerated shoots in vitro. Second, we showed that regulatory regions of WUS were developmentally regulated by both DNA methylation and histone modifications through bisulfite sequencing and chromatin immunoprecipitation. Third, DNA methylation in the regulatory regions of WUS was lost in the met1 mutant, thus leading to increased WUS expression and its localization. Fourth, we did a genome-wide transcriptional analysis and found out that some of differentially expressed genes between wild type and met1 were involved in signal transduction of the phytohormone auxin. We verified that the increased expression of AUXIN RESPONSE FACTOR3 (ARF3) in met1 indeed was due to DNA demethylation, suggesting DNA methylation regulates de novo shoot regeneration by modulating auxin signaling. We propose that DNA methylation and histone modifications regulate de novo shoot regeneration by modulating WUS expression and auxin signaling. The study demonstrates that, although molecular components involved in organogenesis are divergently evolved in plants and animals, epigenetic modifications play an evolutionarily convergent role in this process

The maize root stem cell niche: a partnership between two sister cell populations

Using transcript profile analysis, we explored the nature of the stem cell niche in roots of maize (Zea mays). Toward assessing a role for specific genes in the establishment and maintenance of the niche, we perturbed the niche and simultaneously monitored the spatial expression patterns of genes hypothesized as essential. Our results allow us to quantify and localize gene activities to specific portions of the niche: to the quiescent center (QC) or the proximal meristem (PM), or to both. The data point to molecular, biochemical and physiological processes associated with the specification and maintenance of the niche, and include reduced expression of metabolism-, redox- and certain cell cycle-associated transcripts in the QC, enrichment of auxin-associated transcripts within the entire niche, controls for the state of differentiation of QC cells, a role for cytokinins specifically in the PM portion of the niche, processes (repair machinery) for maintaining DNA integrity and a role for gene silencing in niche stabilization. To provide additional support for the hypothesized roles of the above-mentioned and other transcripts in niche specification, we overexpressed, in Arabidopsis, homologs of representative genes (eight) identified as highly enriched or reduced in the maize root QC. We conclude that the coordinated changes in expression of auxin-, redox-, cell cycle- and metabolism-associated genes suggest the linkage of gene networks at the level of transcription, thereby providing additional insights into events likely associated with root stem cell niche establishment and maintenance

Machine learning for regulatory analysis and transcription factor target prediction in yeast

High throughput technologies, including array-based chromatin immunoprecipitation, have rapidly increased our knowledge of transcriptional maps—the identity and location of regulatory binding sites within genomes. Still, the full identification of sites, even in lower eukaryotes, remains largely incomplete. In this paper we develop a supervised learning approach to site identification using support vector machines (SVMs) to combine 26 different data types. A comparison with the standard approach to site identification using position specific scoring matrices (PSSMs) for a set of 104 Saccharomyces cerevisiae regulators indicates that our SVM-based target classification is more sensitive (73 vs. 20%) when specificity and positive predictive value are the same. We have applied our SVM classifier for each transcriptional regulator to all promoters in the yeast genome to obtain thousands of new targets, which are currently being analyzed and refined to limit the risk of classifier over-fitting. For the purpose of illustration we discuss several results, including biochemical pathway predictions for Gcn4 and Rap1. For both transcription factors SVM predictions match well with the known biology of control mechanisms, and possible new roles for these factors are suggested, such as a function for Rap1 in regulating fermentative growth. We also examine the promoter melting temperature curves for the targets of YJR060W, and show that targets of this TF have potentially unique physical properties which distinguish them from other genes. The SVM output automatically provides the means to rank dataset features to identify important biological elements. We use this property to rank classifying k-mers, thereby reconstructing known binding sites for several TFs, and to rank expression experiments, determining the conditions under which Fhl1, the factor responsible for expression of ribosomal protein genes, is active. We can see that targets of Fhl1 are differentially expressed in the chosen conditions as compared to the expression of average and negative set genes. SVM-based classifiers provide a robust framework for analysis of regulatory networks. Processing of classifier outputs can provide high quality predictions and biological insight into functions of particular transcription factors. Future work on this method will focus on increasing the accuracy and quality of predictions using feature reduction and clustering strategies. Since predictions have been made on only 104 TFs in yeast, new classifiers will be built for the remaining 100 factors which have available binding data

A Gene Regulatory Network for Root Epidermis Cell Differentiation in Arabidopsis

The root epidermis of Arabidopsis provides an exceptional model for studying the molecular basis of cell fate and differentiation. To obtain a systems-level view of root epidermal cell differentiation, we used a genome-wide transcriptome approach to define and organize a large set of genes into a transcriptional regulatory network. Using cell fate mutants that produce only one of the two epidermal cell types, together with fluorescence-activated cell-sorting to preferentially analyze the root epidermis transcriptome, we identified 1,582 genes differentially expressed in the root-hair or non-hair cell types, including a set of 208 “core” root epidermal genes. The organization of the core genes into a network was accomplished by using 17 distinct root epidermis mutants and 2 hormone treatments to perturb the system and assess the effects on each gene's transcript accumulation. In addition, temporal gene expression information from a developmental time series dataset and predicted gene associations derived from a Bayesian modeling approach were used to aid the positioning of genes within the network. Further, a detailed functional analysis of likely bHLH regulatory genes within the network, including MYC1, bHLH54, bHLH66, and bHLH82, showed that three distinct subfamilies of bHLH proteins participate in root epidermis development in a stage-specific manner. The integration of genetic, genomic, and computational analyses provides a new view of the composition, architecture, and logic of the root epidermal transcriptional network, and it demonstrates the utility of a comprehensive systems approach for dissecting a complex regulatory network

Venous identity requires BMP signalling through ALK3

Venous endothelial cells are molecularly and functionally distinct from their arterial counterparts. Although veins are often considered the default endothelial state, genetic manipulations can modulate both acquisition and loss of venous fate, suggesting that venous identity is the result of active transcriptional regulation. However, little is known about this process. Here we show that BMP signalling controls venous identity via the ALK3/BMPR1A receptor and SMAD1/SMAD5. Perturbations to TGF-β and BMP signalling in mice and zebrafish result in aberrant vein formation and loss of expression of the venous-specific gene Ephb4, with no effect on arterial identity. Analysis of a venous endothelium-specific enhancer for Ephb4 shows enriched binding of SMAD1/5 and a requirement for SMAD binding motifs. Further, our results demonstrate that BMP/SMAD-mediated Ephb4 expression requires the venous-enriched BMP type I receptor ALK3/BMPR1A. Together, our analysis demonstrates a requirement for BMP signalling in the establishment of Ephb4 expression and the venous vasculature