40 research outputs found

    cGMP-dependent signaling pathways in spinal pain processing

    Get PDF
    Oral presentation from 4th International Conference of cGMP Generators, Effectors and Therapeutic Implications ; Regensburg, Germany. 19–21 June 2009 Background: An exaggerated pain sensitivity is the dominant feature of inflammatory and neuropathic pain both in the clinical setting and in experimental animal models. It manifests as pain in response to normally innocuous stimuli (allodynia), increased response to noxious stimuli (hyperalgesia) or spontaneous pain, and can persist long after the initial injury is resolved. Research over the last decades has revealed that several signaling pathways in the spinal cord essentially contribute to the pain sensitization. To test the contribution of cGMP produced by NO-sensitive guanylyl cyclase (NO-GC) to pain sensitization, we investigated the localization of NO-GC in the spinal cord and in dorsal root ganglia, and we characterized the nociceptive behavior of mice deficient in NO-GC (GC-KO mice). Results: We show that NO-GC (β1 subunit) is distinctly expressed in neurons of the mouse spinal cord, while its distribution in dorsal root ganglia is restricted to non-neuronal cells. GC-KO mice exhibited a considerably reduced nociceptive behavior in models of inflammatory or neuropathic pain, but their responses to acute pain were not impaired. Moreover, GC-KO mice failed to develop pain sensitization induced by spinal administration of drugs releasing NO. Surprisingly, during spinal nociceptive processing cGMP produced by NO-GC may activate signaling pathways different from cGMP-dependent protein kinase I (cGKI), while cGKI can be activated by natriuretic peptide receptor-B (NPR-B) dependent cGMP production. Conclusion: Taken together, our results provide evidence that NO-GC has a dominant role in the development of exaggerated pain sensitivity during inflammatory and neuropathic pain. Furthermore, beside the NO-mediated cGMP synthesis, cGMP produced by NPR-B contributes to pain sensitization by activation of cGKI

    Absolute frequency measurement of the magnesium intercombination transition 1S03P1^1S_0 \to ^3P_1

    Full text link
    We report on a frequency measurement of the (3s2)1S0(3s3p)3P1(3s^2)^1S_0\to(3s3p)^3P_1 clock transition of 24^{24}Mg on a thermal atomic beam. The intercombination transition has been referenced to a portable primary Cs frequency standard with the help of a femtosecond fiber laser frequency comb. The achieved uncertainty is 2.5×10122.5\times10^{-12} which corresponds to an increase in accuracy of six orders of magnitude compared to previous results. The measured frequency value permits the calculation of several other optical transitions from 1S0^1S_0 to the 3PJ^3P_J-level system for 24^{24}Mg, 25^{25}Mg and 26^{26}Mg. We describe in detail the components of our optical frequency standard like the stabilized spectroscopy laser, the atomic beam apparatus used for Ramsey-Bord\'e interferometry and the frequency comb generator and discuss the uncertainty contributions to our measurement including the first and second order Doppler effect. An upper limit of 3×10133\times10^{-13} in one second for the short term instability of our optical frequency standard was determined by comparison with a GPS disciplined quartz oscillator.Comment: 8 pages, 8 figure

    Cytokine Profiles in Asthma Families Depend on Age and Phenotype

    Get PDF
    Background: Circulating cytokine patterns may be relevant for the diagnosis of asthma, for the discrimination of certain phenotypes, and prognostic factors for exacerbation of disease. Methodology/Principal Findings: In this study we investigated serum samples from 944 individuals of 218 asthma-affected families by a multiplex, microsphere based system detecting at high sensitivity eleven asthma associated mediators: eotaxin (CCL11), granulocyte macrophage stimulating factor (GM-CSF), interferon gamma (IFNγ), interleukin-4 (IL-4), IL-5, IL-8, IL-10, IL-12 (p40), IL-13, IL-17 and tumor necrosis factor alpha (TNFα). Single cytokine levels were largely similar between asthmatic and healthy individuals when analysing asthma as single disease entity. Regulatory differences between parental and pediatric asthma were reflected by six of the eleven mediators analyzed (eotaxin, IL-4, IL-5, IL-10, IL-12, TNFα). IL-12 (p40) and IL-5 were the best predictor for extrinsic asthma in children with an increased odds ratio of 2.85 and 1.96 per log pg/ml increase (IL-12 (p40): 1.2-6.8, p = 0.019, and IL-5: 1.2-2.5, p = 0.025). Frequent asthma attacks in children are associated with elevated IL-5 serum levels (p = 0.013). Cytokine patterns seem to be individually balanced in both, healthy and diseased adults and children, with various cytokines correlating among each other (IL-17 and IFNγ (rs = 0.67), IL-4 and IL-5 (rs = 0.55), IFNγ and GM-CSF (rs = 0.54)). Conclusion/Significance: Our data support mainly an age- but also an asthma phenotype-dependent systemic immune regulation. © 2010 Pukelsheim et al

    Large expert-curated database for benchmarking document similarity detection in biomedical literature search

    Get PDF
    Document recommendation systems for locating relevant literature have mostly relied on methods developed a decade ago. This is largely due to the lack of a large offline gold-standard benchmark of relevant documents that cover a variety of research fields such that newly developed literature search techniques can be compared, improved and translated into practice. To overcome this bottleneck, we have established the RElevant LIterature SearcH consortium consisting of more than 1500 scientists from 84 countries, who have collectively annotated the relevance of over 180 000 PubMed-listed articles with regard to their respective seed (input) article/s. The majority of annotations were contributed by highly experienced, original authors of the seed articles. The collected data cover 76% of all unique PubMed Medical Subject Headings descriptors. No systematic biases were observed across different experience levels, research fields or time spent on annotations. More importantly, annotations of the same document pairs contributed by different scientists were highly concordant. We further show that the three representative baseline methods used to generate recommended articles for evaluation (Okapi Best Matching 25, Term Frequency-Inverse Document Frequency and PubMed Related Articles) had similar overall performances. Additionally, we found that these methods each tend to produce distinct collections of recommended articles, suggesting that a hybrid method may be required to completely capture all relevant articles. The established database server located at https://relishdb.ict.griffith.edu.au is freely available for the downloading of annotation data and the blind testing of new methods. We expect that this benchmark will be useful for stimulating the development of new powerful techniques for title and title/abstract-based search engines for relevant articles in biomedical research.Peer reviewe

    Abstracts from the 8th International Conference on cGMP Generators, Effectors and Therapeutic Implications

    Get PDF
    This work was supported by a restricted research grant of Bayer AG

    Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control

    No full text
    Ethereum is a platform for deploying smart contracts, which due to their public nature and the financial value of the assets they manage are attractive targets for attacks. With asset management as a main task of smart contracts, access control aspects are naturally part of the application itself, but also of the functions implemented in a smart contract. Therefore, it is desirable to establish the correctness of smart contracts and their access control on application and single-function level through formal methods. However, there is no established methodology of formalising and verifying correctness properties of smart contracts. In this work, we make an attempt in this direction on the basis of a case study. We choose an existing smart contract application which aims to ascertain the integrity of binary files distributed over the Internet by means of decentralised identity management and access control. We formally specify and verify correctness at the level of single functions as well as temporal properties of the overall application. We demonstrate how to use verified low-level correctness properties for showing correctness at the higher level. In addition, we report on our experience with existing verification tools
    corecore