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

Fortnightly changes in water transport direction across the mouth of a narrow estuary

This research investigates the dynamics of the axial tidal flow and residual circulation at the lower Guadiana Estuary, south Portugal, a narrow mesotidal estuary with low freshwater inputs. Current data were collected near the deepest part of the channel for 21 months and across the channel during two (spring and neap) tidal cycles. Results indicate that at the deep channel, depth-averaged currents are stronger and longer during the ebb at spring and during the flood at neap, resulting in opposite water transport directions at a fortnightly time scale. The net water transport across the entire channel is up-estuary at spring and down-estuary at neap, i.e., opposite to the one at the deep channel. At spring tide, when the estuary is considered to be well mixed, the observed pattern of circulation (outflow in the deep channel, inflow over the shoals) results from the combination of the Stokes transport and compensating return flow, which varies laterally with the bathymetry. At neap tide (in particular for those of lowest amplitude each month), inflows at the deep channel are consistently associated with the development of gravitational circulation. Comparisons with previous studies suggest that the baroclinic pressure gradient (rather than internal tidal asymmetries) is the main driver of the residual water transport. Our observations also indicate that the flushing out of the water accumulated up-estuary (at spring) may also produce strong unidirectional barotropic outflow across the entire channel around neap tide.info:eu-repo/semantics/publishedVersio

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

Increasing the Depth of Current Understanding: Sensitivity Testing of Deep-Sea Larval Dispersal Models for Ecologists

Larval dispersal is an important ecological process of great interest to conservation and the establishment of marine protected areas. Increasing numbers of studies are turning to biophysical models to simulate dispersal patterns, including in the deep-sea, but for many ecologists unassisted by a physical oceanographer, a model can present as a black box. Sensitivity testing offers a means to test the models' abilities and limitations and is a starting point for all modelling efforts. The aim of this study is to illustrate a sensitivity testing process for the unassisted ecologist, through a deep-sea case study example, and demonstrate how sensitivity testing can be used to determine optimal model settings, assess model adequacy, and inform ecological interpretation of model outputs. Five input parameters are tested (timestep of particle simulator (TS), horizontal (HS) and vertical separation (VS) of release points, release frequency (RF), and temporal range (TR) of simulations) using a commonly employed pairing of models. The procedures used are relevant to all marine larval dispersal models. It is shown how the results of these tests can inform the future set up and interpretation of ecological studies in this area. For example, an optimal arrangement of release locations spanning a release area could be deduced; the increased depth range spanned in deep-sea studies may necessitate the stratification of dispersal simulations with different numbers of release locations at different depths; no fewer than 52 releases per year should be used unless biologically informed; three years of simulations chosen based on climatic extremes may provide results with 90% similarity to five years of simulation; and this model setup is not appropriate for simulating rare dispersal events. A step-by-step process, summarising advice on the sensitivity testing procedure, is provided to inform all future unassisted ecologists looking to run a larval dispersal simulation

Lac repressor mediated DNA looping: Monte Carlo simulation of constrained DNA molecules complemented with current experimental results

Tethered particle motion (TPM) experiments can be used to detect time-resolved loop formation in a single DNA molecule by measuring changes in the length of a DNA tether. Interpretation of such experiments is greatly aided by computer simulations of DNA looping which allow one to analyze the structure of the looped DNA and estimate DNA-protein binding constants specific for the loop formation process. We here present a new Monte Carlo scheme for accurate simulation of DNA configurations subject to geometric constraints and apply this method to Lac repressor mediated DNA looping, comparing the simulation results with new experimental data obtained by the TPM technique. Our simulations, taking into account the details of attachment of DNA ends and fluctuations of the looped subsegment of the DNA, reveal the origin of the double-peaked distribution of RMS values observed by TPM experiments by showing that the average RMS value for anti-parallel loop types is smaller than that of parallel loop types. The simulations also reveal that the looping probabilities for the anti-parallel loop types are significantly higher than those of the parallel loop types, even for loops of length 600 and 900 base pairs, and that the correct proportion between the heights of the peaks in the distribution can only be attained when loops with flexible Lac repressor conformation are taken into account. Comparison of the in silico and in vitro results yields estimates for the dissociation constants characterizing the binding affinity between O1 and Oid DNA operators and the dimeric arms of the Lac repressor. © 2014 Biton et al