Using formal methods to support testing

Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing

Eosinophils Are Important for Protection, Immunoregulation and Pathology during Infection with Nematode Microfilariae

Eosinophil responses typify both allergic and parasitic helminth disease. In helminthic disease, the role of eosinophils can be both protective in immune responses and destructive in pathological responses. To investigate whether eosinophils are involved in both protection and pathology during filarial nematode infection, we explored the role of eosinophils and their granule proteins, eosinophil peroxidase (EPO) and major basic protein-1 (MBP-1), during infection with Brugia malayi microfilariae. Using eosinophil-deficient mice (PHIL), we further clarify the role of eosinophils in clearance of microfilariae during primary, but not challenge infection in vivo. Deletion of EPO or MBP-1 alone was insufficient to abrogate parasite clearance suggesting that either these molecules are redundant or eosinophils act indirectly in parasite clearance via augmentation of other protective responses. Absence of eosinophils increased mast cell recruitment, but not other cell types, into the broncho-alveolar lavage fluid during challenge infection. In addition absence of eosinophils or EPO alone, augmented parasite-induced IgE responses, as measured by ELISA, demonstrating that eosinophils are involved in regulation of IgE. Whole body plethysmography indicated that nematode-induced changes in airway physiology were reduced in challenge infection in the absence of eosinophils and also during primary infection in the absence of EPO alone. However lack of eosinophils or MBP-1 actually increased goblet cell mucus production. We did not find any major differences in cytokine responses in the absence of eosinophils, EPO or MBP-1. These results reveal that eosinophils actively participate in regulation of IgE and goblet cell mucus production via granule secretion during nematode-induced pathology and highlight their importance both as effector cells, as damage-inducing cells and as supervisory cells that shape both innate and adaptive immunity

Contrasting prefrontal cortex contributions to episodic memory dysfunction in behavioural variant frontotemporal dementia and alzheimer's disease

Recent evidence has questioned the integrity of episodic memory in behavioural variant frontotemporal dementia (bvFTD), where recall performance is impaired to the same extent as in Alzheimer's disease (AD). While these deficits appear to be mediated by divergent patterns of brain atrophy, there is evidence to suggest that certain prefrontal regions are implicated across both patient groups. In this study we sought to further elucidate the dorsolateral (DLPFC) and ventromedial (VMPFC) prefrontal contributions to episodic memory impairment in bvFTD and AD. Performance on episodic memory tasks and neuropsychological measures typically tapping into either DLPFC or VMPFC functions was assessed in 22 bvFTD, 32 AD patients and 35 age- and education-matched controls. Behaviourally, patient groups did not differ on measures of episodic memory recall or DLPFC-mediated executive functions. BvFTD patients were significantly more impaired on measures of VMPFC-mediated executive functions. Composite measures of the recall, DLPFC and VMPFC task scores were covaried against the T1 MRI scans of all participants to identify regions of atrophy correlating with performance on these tasks. Imaging analysis showed that impaired recall performance is associated with divergent patterns of PFC atrophy in bvFTD and AD. Whereas in bvFTD, PFC atrophy covariates for recall encompassed both DLPFC and VMPFC regions, only the DLPFC was implicated in AD. Our results suggest that episodic memory deficits in bvFTD and AD are underpinned by divergent prefrontal mechanisms. Moreover, we argue that these differences are not adequately captured by existing neuropsychological measures

Psychological determinants of whole-body endurance performance

Background: No literature reviews have systematically identified and evaluated research on the psychological determinants of endurance performance, and sport psychology performance-enhancement guidelines for endurance sports are not founded on a systematic appraisal of endurance-specific research. Objective: A systematic literature review was conducted to identify practical psychological interventions that improve endurance performance and to identify additional psychological factors that affect endurance performance. Additional objectives were to evaluate the research practices of included studies, to suggest theoretical and applied implications, and to guide future research. Methods: Electronic databases, forward-citation searches, and manual searches of reference lists were used to locate relevant studies. Peer-reviewed studies were included when they chose an experimental or quasi-experimental research design, a psychological manipulation, endurance performance as the dependent variable, and athletes or physically-active, healthy adults as participants. Results: Consistent support was found for using imagery, self-talk, and goal setting to improve endurance performance, but it is unclear whether learning multiple psychological skills is more beneficial than learning one psychological skill. The results also demonstrated that mental fatigue undermines endurance performance, and verbal encouragement and head-to-head competition can have a beneficial effect. Interventions that influenced perception of effort consistently affected endurance performance. Conclusions: Psychological skills training could benefit an endurance athlete. Researchers are encouraged to compare different practical psychological interventions, to examine the effects of these interventions for athletes in competition, and to include a placebo control condition or an alternative control treatment. Researchers are also encouraged to explore additional psychological factors that could have a negative effect on endurance performance. Future research should include psychological mediating variables and moderating variables. Implications for theoretical explanations of endurance performance and evidence-based practice are described

GB virus-C – a virus without a disease: We cannot give it chronic fatigue syndrome

BACKGROUND: Chronic fatigue syndrome (CFS) is an illness in search of an infectious etiology. GB virus-C (GBV-C) virus is a flavivirus with cell tropism and host defense induction qualities compatible with a role in producing the syndrome. The GBV-C genome is detectable in 4% of the population and 12% of the population is seropositive. The present study evaluated the association between infection with GBV and CFS. METHODS: We used a commercial EIA to detect antibodies against the GBV-C E2 protein and a quantitative real-time RT-PCR assay to detect active GBV-C infection. Sera were from a case control study of CFS in Atlanta, Georgia. The Fisher's exact two-tailed test was used for statistical analysis. RESULTS: Two of 12 CFS patients and one of 21 controls were seropositive for prior GBV-C infection and one control had viral RNA detected, indicating active infection. The results are not statistically different. CONCLUSION: We found no evidence that active or past infection with GBV is associated with CFS

Longitudinal impact of a youth tobacco education program

BACKGROUND: Information on the effectiveness of elementary school level, tobacco-use prevention programs is generally limited. This study assessed the impact of a structured, one-time intervention that was designed to modify attitudes and knowledge about tobacco. Participants were fifth-grade students from schools in western New York State. METHODS: Twenty-eight schools, which were in relatively close geographic proximity, were randomized into three groups; Group 1 was used to assess whether attitudes/knowledge were changed in the hypothesized direction by the intervention, and if those changes were retained four months later. Groups 2 and 3, were used as comparison groups to assess possible test-retest bias and historical effects. Groups 1 and 3 were pooled to assess whether attitudes/knowledge were changed by the intervention as measured by an immediate post-test. The non-parametric analytical techniques of Wilcoxon-Matched Pairs/Sign Ranks and the Mann-Whitney-Wilcoxon Rank Sums Tests were used to compare proportions of correct responses at each of the schools. RESULTS: Pooled analyses showed that short-term retention on most items was achieved. It was also found that retention on two knowledge items 'recognition that smokers have yellow teeth and fingers' and 'smoking one pack of cigarettes a day costs several hundred dollars per year' was maintained for four months. CONCLUSIONS: The findings suggest that inexpensive, one-time interventions for tobacco-use prevention can be of value. Changes in attitudes and knowledge conducive to the goal of tobacco-use prevention can be achieved for short-term retention and some relevant knowledge items can be retained for several months

Monoubiquitination of syntaxin 3 leads to retrieval from the basolateral plasma membrane and facilitates cargo recruitment to exosomes

Syntaxin 3 (Stx3), a SNARE protein located and functioning at the apical plasma membrane of epithelial cells, is required for epithelial polarity. A fraction of Stx3 is localized to late endosomes/lysosomes, although how it traffics there and its function in these organelles is unknown. Here we report that Stx3 undergoes monoubiquitination in a conserved polybasic domain. Stx3 present at the basolateral—but not the apical—plasma membrane is rapidly endocytosed, targeted to endosomes, internalized into intraluminal vesicles (ILVs), and excreted in exosomes. A nonubiquitinatable mutant of Stx3 (Stx3-5R) fails to enter this pathway and leads to the inability of the apical exosomal cargo protein GPRC5B to enter the ILV/exosomal pathway. This suggests that ubiquitination of Stx3 leads to removal from the basolateral membrane to achieve apical polarity, that Stx3 plays a role in the recruitment of cargo to exosomes, and that the Stx3-5R mutant acts as a dominant-negative inhibitor. Human cytomegalovirus (HCMV) acquires its membrane in an intracellular compartment and we show that Stx3-5R strongly reduces the number of excreted infectious viral particles. Altogether these results suggest that Stx3 functions in the transport of specific proteins to apical exosomes and that HCMV exploits this pathway for virion excretion

Caveolin-1 protects B6129 mice against Helicobacter pylori gastritis.

Caveolin-1 (Cav1) is a scaffold protein and pathogen receptor in the mucosa of the gastrointestinal tract. Chronic infection of gastric epithelial cells by Helicobacter pylori (H. pylori) is a major risk factor for human gastric cancer (GC) where Cav1 is frequently down-regulated. However, the function of Cav1 in H. pylori infection and pathogenesis of GC remained unknown. We show here that Cav1-deficient mice, infected for 11 months with the CagA-delivery deficient H. pylori strain SS1, developed more severe gastritis and tissue damage, including loss of parietal cells and foveolar hyperplasia, and displayed lower colonisation of the gastric mucosa than wild-type B6129 littermates. Cav1-null mice showed enhanced infiltration of macrophages and B-cells and secretion of chemokines (RANTES) but had reduced levels of CD25+ regulatory T-cells. Cav1-deficient human GC cells (AGS), infected with the CagA-delivery proficient H. pylori strain G27, were more sensitive to CagA-related cytoskeletal stress morphologies ("humming bird") compared to AGS cells stably transfected with Cav1 (AGS/Cav1). Infection of AGS/Cav1 cells triggered the recruitment of p120 RhoGTPase-activating protein/deleted in liver cancer-1 (p120RhoGAP/DLC1) to Cav1 and counteracted CagA-induced cytoskeletal rearrangements. In human GC cell lines (MKN45, N87) and mouse stomach tissue, H. pylori down-regulated endogenous expression of Cav1 independently of CagA. Mechanistically, H. pylori activated sterol-responsive element-binding protein-1 (SREBP1) to repress transcription of the human Cav1 gene from sterol-responsive elements (SREs) in the proximal Cav1 promoter. These data suggested a protective role of Cav1 against H. pylori-induced inflammation and tissue damage. We propose that H. pylori exploits down-regulation of Cav1 to subvert the host's immune response and to promote signalling of its virulence factors in host cells

Sialic Acid Glycobiology Unveils Trypanosoma cruzi Trypomastigote Membrane Physiology.

Trypanosoma cruzi, the flagellate protozoan agent of Chagas disease or American trypanosomiasis, is unable to synthesize sialic acids de novo. Mucins and trans-sialidase (TS) are substrate and enzyme, respectively, of the glycobiological system that scavenges sialic acid from the host in a crucial interplay for T. cruzi life cycle. The acquisition of the sialyl residue allows the parasite to avoid lysis by serum factors and to interact with the host cell. A major drawback to studying the sialylation kinetics and turnover of the trypomastigote glycoconjugates is the difficulty to identify and follow the recently acquired sialyl residues. To tackle this issue, we followed an unnatural sugar approach as bioorthogonal chemical reporters, where the use of azidosialyl residues allowed identifying the acquired sugar. Advanced microscopy techniques, together with biochemical methods, were used to study the trypomastigote membrane from its glycobiological perspective. Main sialyl acceptors were identified as mucins by biochemical procedures and protein markers. Together with determining their shedding and turnover rates, we also report that several membrane proteins, including TS and its substrates, both glycosylphosphatidylinositol-anchored proteins, are separately distributed on parasite surface and contained in different and highly stable membrane microdomains. Notably, labeling for α(1,3)Galactosyl residues only partially colocalize with sialylated mucins, indicating that two species of glycosylated mucins do exist, which are segregated at the parasite surface. Moreover, sialylated mucins were included in lipid-raft-domains, whereas TS molecules are not. The location of the surface-anchored TS resulted too far off as to be capable to sialylate mucins, a role played by the shed TS instead. Phosphatidylinositol-phospholipase-C activity is actually not present in trypomastigotes. Therefore, shedding of TS occurs via microvesicles instead of as a fully soluble form