3,268 research outputs found

    Graph-Based Shape Analysis Beyond Context-Freeness

    Full text link
    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

    Intracameral dexamethasone reduces inflammation on the first postoperative day after cataract surgery in eyes with and without glaucoma

    Get PDF
    Purpose: To evaluate whether dexamethasone injected intracamerally at the conclusion of surgery can safely and effectively reduce postoperative inflammation and improve surgical outcomes in eyes with and without glaucoma. Methods: Retrospective chart review of 176 consecutive eyes from 146 patients receiving uncomplicated phacoemulsification (PE) (n = 118 total, 82 with glaucoma), glaucoma drainage device (GDD) (n = 35), combined PE/GDD (n = 11) and combined PE/endoscopic cyclophotocoagulation (n = 12). Ninety-one eyes from 76 patients were injected with 0.4 mg dexamethasone intracamerally at the conclusion of surgery. All eyes received standard postoperative prednisolone and ketorolac eyedrops. Outcomes were measured for four to eight weeks by subjective complaints, visual acuity (VA), slit-lamp biomicroscopy, intraocular pressure (IOP) and postoperative complications. Results: Dexamethasone significantly reduced the odds of having an increased anterior chamber (AC) cell score after PE (p = 0.0013). Mean AC cell score ± SD in nonglaucomatous eyes was 1.3 ± 0.8 in control and 0.8 ± 0.7 with dexamethasone; scores in glaucomatous eyes were 1.3 ± 0.7 in control and 0.9 ± 0.8 with dexamethasone. Treated nonglaucomatous eyes had significantly fewer subjective complaints after PE (22.2% vs 64.7% in control; p = 0.0083). Dexamethasone had no significant effects on VA, corneal changes, IOP one day and one month after surgery, or long-term complications. Conclusions: Intracameral dexamethasone given at the end of cataract surgery significantly reduces postoperative AC cells in eyes with and without glaucoma, and improves subjective reports of recovery in nonglaucomatous eyes. There were no statistically significant risks of IOP elevation or other complications in glaucomatous eyes. © 2009 Chang et al, publisher and licensee Dove Medical Press Ltd

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

    Get PDF
    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

    Entanglement Entropy of 3-d Conformal Gauge Theories with Many Flavors

    Get PDF
    Three-dimensional conformal field theories (CFTs) of deconfined gauge fields coupled to gapless flavors of fermionic and bosonic matter describe quantum critical points of condensed matter systems in two spatial dimensions. An important characteristic of these CFTs is the finite part of the entanglement entropy across a circle. The negative of this quantity is equal to the finite part of the free energy of the Euclidean CFT on the three-sphere, and it has been proposed to satisfy the so called F-theorem, which states that it decreases under RG flow and is stationary at RG fixed points. We calculate the three-sphere free energy of non-supersymmetric gauge theory with a large number N_F of bosonic and/or fermionic flavors to the first subleading order in 1/N_F. We also calculate the exact free energies of the analogous chiral and non-chiral {\cal N} = 2 supersymmetric theories using localization, and find agreement with the 1/N_F expansion. We analyze some RG flows of supersymmetric theories, providing further evidence for the F-theorem.Comment: 31 pages, 2 figures; v2 refs added, minor change

    A potential risk of overestimating apparent diffusion coefficient in parotid glands

    Get PDF
    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

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

    Get PDF
    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

    Sensitive and low-potential electrochemical detection of hydroquinone using a nanodiamond modified glassy carbon electrode

    Get PDF
    © 2017 The Authors. The present work describes the sensitive and low-potential detection of hydroquinone (HQ) using a glassy carbon electrode (GCE) modified with nanodiamond (ND). The presence of ND was confirmed by high-resolution scanning electron microscopy, FTIR and Raman spectroscopy. The cyclic voltammetry results reveal that ND modified GCE has high electrocatalytic activity towards oxidation of HQ than unmodified GCE. In addition, the ND modified GCE shows a significantly lower oxidation potential towards CC than unmodified GCE, which is due to the presence of -OH functional groups in ND. The CV studies confirm that the redox electrochemical behavior of CC is a diffusion controlled electrochemical process on ND modified electrode. The ND modified electrode was able to detect the HQ across a linear response range from 1.0 to 78.0 μM. The limit of detection of the sensor was 0.19 μM. The sensor shows an appropriate selectivity in the presence of 20-fold concentrations of benzenediols and neurotransmitters. The practicality of the sensor is appropriate and shows excellent recovery of HQ in lab water samples

    Validation of a prognostic scoring system for locally recurrent nasopharyngeal carcinoma treated by stereotactic radiosurgery

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Selection of patients with local failure of nasopharyngeal carcinoma (NPC) for appropriate type of salvage treatment can be difficult due to the lack of data on comparative efficacy of different salvage treatments. The purpose of the present study was to validate a previously published prognostic scoring system for local failures of NPC treated by radiosurgery based on reported results in the literature.</p> <p>Methods</p> <p>A literature search yielded 3 published reports on the use of radiosurgery as salvage treatment of NPC that contained sufficient clinical information for validation of the scoring system. Prognostic scores of 18 patients from these reports were calculated and actuarial survival rates were estimated and compared to the original cohort used to design the prognostic scoring system. The area under the receiver operating characteristic curve was also determined and compared between the current and original patient groups.</p> <p>Results</p> <p>The calculated prognostic scores ranged from 0.32 to 1.21, with 15 patients assigned to the poor prognostic group and 3 to the intermediate prognostic group. The actuarial 3-year survival rates in the intermediate and poor prognostic groups were 67% and 0%, respectively. These results were comparable to the observed 3-year survival rates of 74% and 23% in the intermediate and poor prognostic group in the original reports. The area under the receiver operating characteristic curve for the current patient group was 0.846 which was similar to 0.841 in the original group.</p> <p>Conclusion</p> <p>The previously published prognostic scoring system demonstrated good prediction of treatment outcome after radiosurgery in a small group of NPC patients with poor prognosis. Prospective study to validate the scoring system is currently being carried out in our institution.</p

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

    Get PDF
    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

    Representation and Execution of Building Codes for Automated Code Checking

    Full text link
    corecore