51 research outputs found

    cDNA-RNA subtractive hybridization reveals increased expression of mycocerosic acid synthase in intracellular Mycobacterium bovis BCG.

    Get PDF
    Identifying genes that are differentially expressed by Mycobacterium bovis BCG after phagocytosis by macrophages will facilitate the understanding of the molecular mechanisms of host cell-intracellular pathogen interactions. To identify such genes a cDNA-total RNA subtractive hybridization strategy has been used that circumvents the problems both of limited availability of bacterial RNA from models of infection and the high rRNA backgrounds in total bacterial RNA. The subtraction products were used to screen a high-density gridded Mycobacterium tuberculosis genomic library. Sequence data were obtained from 19 differential clones, five of which contained overlapping sequences for the gene encoding mycocerosic acid synthase (mas). Mas is an enzyme involved in the synthesis of multi-methylated long-chain fatty acids that are part of phthiocerol dimycocerosate, a major component of the complex mycobacterial cell wall. Northern blotting and primer extension data confirmed up-regulation of mas in intracellular mycobacteria and also revealed a putative extended -10 promoter structure and a long untranslated upstream region 5' of the mas transcripts, containing predicted double-stranded structures. Furthermore, clones containing overlapping sequences for furB, groEL-2, rplE and fadD28 were identified and the up-regulation of these genes was confirmed by Northern blot analysis. The cDNA-RNA subtractive hybridization enrichment and high density gridded library screening, combined with selective extraction of bacterial mRNA represents a valuable approach to the identification of genes expressed during intra-macrophage residence for bacteria such as M. bovis BCG and the pathogenic mycobacterium, M. tuberculosis

    Refinement type contracts for verification of scientific investigative software

    Full text link
    Our scientific knowledge is increasingly built on software output. User code which defines data analysis pipelines and computational models is essential for research in the natural and social sciences, but little is known about how to ensure its correctness. The structure of this code and the development process used to build it limit the utility of traditional testing methodology. Formal methods for software verification have seen great success in ensuring code correctness but generally require more specialized training, development time, and funding than is available in the natural and social sciences. Here, we present a Python library which uses lightweight formal methods to provide correctness guarantees without the need for specialized knowledge or substantial time investment. Our package provides runtime verification of function entry and exit condition contracts using refinement types. It allows checking hyperproperties within contracts and offers automated test case generation to supplement online checking. We co-developed our tool with a medium-sized (\approx3000 LOC) software package which simulates decision-making in cognitive neuroscience. In addition to helping us locate trivial bugs earlier on in the development cycle, our tool was able to locate four bugs which may have been difficult to find using traditional testing methods. It was also able to find bugs in user code which did not contain contracts or refinement type annotations. This demonstrates how formal methods can be used to verify the correctness of scientific software which is difficult to test with mainstream approaches

    Clinical safety assessment of oral higenamine supplementation in healthy, young men

    No full text
    Objective: Higenamine, an herbal agent also known as norcoclaurine, is thought to stimulate β-androgenic receptors and possess lipolytic activity. It is currently making its way into the dietary supplement market. To our knowledge, no studies have been conducted to determine the safety profile of oral higenamine when used alone and in conjunction with other commonly used lipolytic agents. Methods: Forty-eight men were assigned to ingest either a placebo, higenamine, caffeine, or higenamine + caffeine + yohimbe bark extract daily for a period of 8 weeks. Before and after 4 and 8 weeks of supplementation, the following variables were measured: resting respiratory rate, heart rate, blood pressure, urinalysis, complete blood count, metabolic panel, liver enzyme activity, and lipid panel. Results: No interaction effects were noted for any variable (p \u3e 0.05), with no changes of statistical significance occurring across time for any of the four conditions (p \u3e 0.05). Conclusion: This is the first study to determine the safety profile of oral higenamine intake in human infjects. Our data indicate that 8 weeks of daily higenamine supplementation, either alone or in conjunction with caffeine and yohimbe bark extract, does not result in a statistically significant change in any of the measured outcome variables. Additional studies, inclusive of a larger sample size, are needed to extend these initial findings

    Comparison of a Restricted and Unrestricted Vegan Diet Plan with a Restricted Omnivorous Diet Plan on Health-Specific Measures

    No full text
    Background: We have previously noted beneficial health outcomes when individuals follow a dietary restriction plan in accordance with the Daniel Fast (DF). This is true whether individuals eliminate all animal products or include small amounts of meat and dairy in their plan. The present study sought to compare anthropometric and biochemical measures of health in individuals following a traditional DF (i.e., restricted vegan) or modified DF (i.e., restricted omnivorous; inclusive of ad libitum meat and skim milk consumption), with those following an unrestricted vegan diet plan. Methods: 35 subjects (six men; 29 women; 33 ± 2 years; range: 18–67 years) completed a 21-day diet plan. Subjects reported to the lab for pre- (day 1) and post-intervention testing (day 22) in a 10 h fasted state. Blood samples were collected and assayed for complete blood count, metabolic panel, lipid panel, insulin, HOMA-IR, C-reactive protein, and oxidative stress biomarkers (malondialdehyde, advanced oxidation protein products, and nitrate/nitrite). Heart rate and blood pressure were measured and body composition was determined via dual energy X-ray absorptiometry. Subjects’ self-reported compliance, mental and physical health, and satiety in relation to the dietary modification were recorded. Results: No interaction effects were noted for our outcome measures (p > 0.05). However, subjects in the traditional DF group reported an approximate 10% increase in perceived mental and physical health, with a 25% reduction in malondialdehyde and a 33% reduction in blood insulin. Systolic BP was reduced approximately 7 mmHg in subjects assigned to the traditional DF, with an approximate 5 mmHg reduction in subjects assigned to the modified DF and the unrestricted vegan plan. A small (2 mmHg) reduction in diastolic BP was noted for subjects in both DF groups; a slight increase in diastolic BP was noted for subjects assigned to the unrestricted vegan group. An approximate 20% reduction was noted in total and LDL cholesterol for subjects in the traditional DF group, with an approximate 10% decrease for subjects in the modified DF group. No decrease in total or LDL cholesterol was noted for subjects in the unrestricted vegan group. Conclusion: These data indicate that both a traditional or modified DF may improve blood pressure and blood lipids in a clinically meaningful manner if these results are sustained over the long term. A traditional DF also results in a significant reduction in blood insulin and oxidative stress. An unrestricted vegan diet may improve systolic blood pressure, but in the absence of measures to strictly monitor adherence, it does not favorably impact other markers of health measured in the present study
    corecore