Graph-Based Shape Analysis Beyond Context-Freeness

We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to guide concretization and abstraction. This novel extension of context-free graph grammars is powerful enough to model complex data structures such as balanced binary trees with parent pointers, while preserving most desirable properties of context-free graph grammars. One strength of our analysis is that no artifacts apart from grammars are required from the user; it thus offers a high degree of automation. We implemented our analysis and successfully applied it to various programs manipulating AVL trees, (doubly-linked) lists, and combinations of both

Skewed Exposure to Environmental Antigens Complements Hygiene Hypothesis in Explaining the Rise of Allergy

The Hygiene Hypothesis has been recognized as an important cornerstone to explain the sudden increase in the prevalence of asthma and allergic diseases in modernized culture. The recent epidemic of allergic diseases is in contrast with the gradual implementation of Homo sapiens sapiens to the present-day forms of civilization. This civilization forms a gradual process with cumulative effects on the human immune system, which co-developed with parasitic and commensal Helminths. The clinical manifestation of this epidemic, however, became only visible in the second half of the twentieth century. In order to explain these clinical effects in terms of the underlying IgE-mediated reactions to innocuous environmental antigens, the low biodiversity of antigens in the domestic environment plays a pivotal role. The skewing of antigen exposure as a cumulative effect of reducing biodiversity in the immediate human environment as well as in changing food habits, provides a sufficient and parsimonious explanation for the rise in allergic diseases in a highly developed and helminth-free modernized culture. Socio-economic tendencies that incline towards a further reduction of environmental biodiversity may provide serious concern for future health. This article explains that the “Hygiene Hypothesis”, the “Old Friends Hypothesis”, and the “Skewed Antigen Exposure Hypothesis” are required to more fully explain the rise of allergy in modern societies

A potential risk of overestimating apparent diffusion coefficient in parotid glands

Objectives: To investigate transient signal loss on diffusion weighted images (DWI) and overestimation of apparent diffusion coefficient (ADC) in parotid glands using single shot echoplanar DWI (EPDWI). Materials and Methods: This study enrolled 6 healthy subjects and 7 patients receiving radiotherapy. All participants received dynamic EPDWI with a total of 8 repetitions. Imaging quality of DWI was evaluated. Probability of severe overestimation of ADC (soADC), defined by an ADC ratio more than 1.2, was calculated. Error on T2WI, DWI, and ADC was computed. Statistical analysis included paired Student t testing and Mann-Whitney U test. A P value less than 0.05 was considered statistically significant. Results: Transient signal loss was visually detected on some excitations of DWI but not on T2WI or mean DWI. soADC occurred randomly among 8 excitations and 3 directions of diffusion encoding gradients. Probability of soADC was significantly higher in radiotherapy group (42.86%) than in healthy group (24.39%). The mean error percentage decreased as the number of excitations increased on all images, and, it was smallest on T2WI, followed by DWI and ADC in an increasing order. Conclusions: Transient signal loss on DWI was successfully detected by dynamic EPDWI. The signal loss on DWI and overestimation of ADC could be partially remedied by increasing the number of excitations. © 2015 Liu et al.published_or_final_versio

Increased levels of RNA oxidation enhance the reversion frequency in aging pro-apoptotic yeast mutants

Despite recent advances in understanding the complexity of RNA processes, regulation of the metabolism of oxidized cellular RNAs and the mechanisms through which oxidized ribonucleotides affect mRNA translation, and consequently cell viability, are not well characterized. We show here that the level of oxidized RNAs is markedly increased in a yeast decapping Kllsm4Δ1 mutant, which accumulates mRNAs, ages much faster that the wild type strain and undergoes regulated-cell-death. We also found that in Kllsm4Δ1 cells the mutation rate increases during chronological life span indicating that the capacity to han- dle oxidized RNAs in yeast declines with aging. Lowering intracellular ROS levels by antioxidants recovers the wild- type phenotype of mutant cells, including reduced amount of oxidized RNAs and lower mutation rate. Since mRNA oxidation was reported to occur in different neurodegen- erative diseases, decapping-deficient cells may represent a useful tool for deciphering molecular mechanisms of cell response to such conditions, providing new insights into RNA modification-based pathogenesis

A metabolite-derived protein modification integrates glycolysis with KEAP1-NRF2 signalling.

Mechanisms that integrate the metabolic state of a cell with regulatory pathways are necessary to maintain cellular homeostasis. Endogenous, intrinsically reactive metabolites can form functional, covalent modifications on proteins without the aid of enzymes1,2, and regulate cellular functions such as metabolism3-5 and transcription6. An important 'sensor' protein that captures specific metabolic information and transforms it into an appropriate response is KEAP1, which contains reactive cysteine residues that collectively act as an electrophile sensor tuned to respond to reactive species resulting from endogenous and xenobiotic molecules. Covalent modification of KEAP1 results in reduced ubiquitination and the accumulation of NRF27,8, which then initiates the transcription of cytoprotective genes at antioxidant-response element loci. Here we identify a small-molecule inhibitor of the glycolytic enzyme PGK1, and reveal a direct link between glycolysis and NRF2 signalling. Inhibition of PGK1 results in accumulation of the reactive metabolite methylglyoxal, which selectively modifies KEAP1 to form a methylimidazole crosslink between proximal cysteine and arginine residues (MICA). This posttranslational modification results in the dimerization of KEAP1, the accumulation of NRF2 and activation of the NRF2 transcriptional program. These results demonstrate the existence of direct inter-pathway communication between glycolysis and the KEAP1-NRF2 transcriptional axis, provide insight into the metabolic regulation of the cellular stress response, and suggest a therapeutic strategy for controlling the cytoprotective antioxidant response in several human diseases

Correlated fragile site expression allows the identification of candidate fragile genes involved in immunity and associated with carcinogenesis

Common fragile sites (cfs) are specific regions in the human genome that are particularly prone to genomic instability under conditions of replicative stress. Several investigations support the view that common fragile sites play a role in carcinogenesis. We discuss a genome-wide approach based on graph theory and Gene Ontology vocabulary for the functional characterization of common fragile sites and for the identification of genes that contribute to tumour cell biology. CFS were assembled in a network based on a simple measure of correlation among common fragile site patterns of expression. By applying robust measurements to capture in quantitative terms the non triviality of the network, we identified several topological features clearly indicating departure from the Erdos-Renyi random graph model. The most important outcome was the presence of an unexpected large connected component far below the percolation threshold. Most of the best characterized common fragile sites belonged to this connected component. By filtering this connected component with Gene Ontology, statistically significant shared functional features were detected. Common fragile sites were found to be enriched for genes associated to the immune response and to mechanisms involved in tumour progression such as extracellular space remodeling and angiogenesis. Our results support the hypothesis that fragile sites serve a function; we propose that fragility is linked to a coordinated regulation of fragile genes expression.Comment: 18 pages, accepted for publication in BMC Bioinformatic

Surface Structures Determined by Kinetic Processes: Adsorption and Diffusion of Oxygen on Pd(100)

Atomic oxygen forms a metastable c(2×2) phase on Pd(100) under conditions of rapid adsorption (high pressure) and slow diffusion (low sample temperature). One possible explanation is that oxygen molecules require an 8-fold ensemble of empty sites for dissociative chemisorption, and that subsequent adatom motion is limited and creates no neighboring pairs of filled sites. We describe the properties of the adlayer predicted by such a model

Kinetic roughening of ion-sputtered Pd(001) surface: Beyond the Kuramoto-Sivashinsky model

The kinetic roughening of Ar+ ion-sputtered Pd(001) surface was investigated. The facet formation on the sputtered surface was studied by tracing the extradiffraction peaks or satellites around the diffraction peaks corresponding to the sample surface. The morphological evolution of the sputtered Pd(001) surface was also investigated by an scanning tunneling microscopy (STM). It was shown that the nanoscale adatom islands form and grow with increasing sputter time.open313

An Integrated-Photonics Optical-Frequency Synthesizer

Integrated-photonics microchips now enable a range of advanced functionalities for high-coherence applications such as data transmission, highly optimized physical sensors, and harnessing quantum states, but with cost, efficiency, and portability much beyond tabletop experiments. Through high-volume semiconductor processing built around advanced materials there exists an opportunity for integrated devices to impact applications cutting across disciplines of basic science and technology. Here we show how to synthesize the absolute frequency of a lightwave signal, using integrated photonics to implement lasers, system interconnects, and nonlinear frequency comb generation. The laser frequency output of our synthesizer is programmed by a microwave clock across 4 THz near 1550 nm with 1 Hz resolution and traceability to the SI second. This is accomplished with a heterogeneously integrated III/V-Si tunable laser, which is guided by dual dissipative-Kerr-soliton frequency combs fabricated on silicon chips. Through out-of-loop measurements of the phase-coherent, microwave-to-optical link, we verify that the fractional-frequency instability of the integrated photonics synthesizer matches the $7.0*10^{-13}$ reference-clock instability for a 1 second acquisition, and constrain any synthesis error to $7.7*10^{-15}$ while stepping the synthesizer across the telecommunication C band. Any application of an optical frequency source would be enabled by the precision optical synthesis presented here. Building on the ubiquitous capability in the microwave domain, our results demonstrate a first path to synthesis with integrated photonics, leveraging low-cost, low-power, and compact features that will be critical for its widespread use.Comment: 10 pages, 6 figure

Mapping interactions with the chaperone network reveals factors that protect against tau aggregation.

A network of molecular chaperones is known to bind proteins ('clients') and balance their folding, function and turnover. However, it is often unclear which chaperones are critical for selective recognition of individual clients. It is also not clear why these key chaperones might fail in protein-aggregation diseases. Here, we utilized human microtubule-associated protein tau (MAPT or tau) as a model client to survey interactions between ~30 purified chaperones and ~20 disease-associated tau variants (~600 combinations). From this large-scale analysis, we identified human DnaJA2 as an unexpected, but potent, inhibitor of tau aggregation. DnaJA2 levels were correlated with tau pathology in human brains, supporting the idea that it is an important regulator of tau homeostasis. Of note, we found that some disease-associated tau variants were relatively immune to interactions with chaperones, suggesting a model in which avoiding physical recognition by chaperone networks may contribute to disease