3,417 research outputs found

    System analysis and robustness

    Get PDF
    Software is increasingly embedded in a variety of physical contexts. This imposes new requirements on tools that support the design and analysis of systems. For instance, modeling embedded and cyberphysical systems needs to blend discrete mathematics, which is suitable for modeling digital components, with continuous mathematics, used for modeling physical components. This blending of continuous and discrete creates challenges that are absent when the discrete or the continuous setting are considered in isolation. We consider robustness, that is, the ability of an analysis of a model to cope with small amounts of imprecision in the model. Formally, we identify analyses with monotonic maps between complete lattices (a mathematical framework used for abstract interpretation and static analysis) and define robustness for monotonic maps between complete lattices of closed subsets of a metric space.</p

    An Analysis of Resting-State Functional Transcranial Doppler Recordings from Middle Cerebral Arteries

    Get PDF
    Functional transcrannial Doppler (fTCD) is used for monitoring the hemodynamics characteristics of major cerebral arteries. Its resting-state characteristics are known only when considering the maximal velocity corresponding to the highest Doppler shift (so called the envelope signals). Significantly more information about the resting-state fTCD can be gained when considering the raw cerebral blood flow velocity (CBFV) recordings. In this paper, we considered simultaneously acquired envelope and raw CBFV signals. Specifically, we collected bilateral CBFV recordings from left and right middle cerebral arteries using 20 healthy subjects (10 females). The data collection lasted for 15 minutes. The subjects were asked to remain awake, stay silent, and try to remain thought-free during the data collection. Time, frequency and time-frequency features were extracted from both the raw and the envelope CBFV signals. The effects of age, sex and body-mass index were examined on the extracted features. The results showed that the raw CBFV signals had a higher frequency content, and its temporal structures were almost uncorrelated. The information-theoretic features showed that the raw recordings from left and right middle cerebral arteries had higher content of mutual information than the envelope signals. Age and body-mass index did not have statistically significant effects on the extracted features. Sex-based differences were observed in all three domains and for both, the envelope signals and the raw CBFV signals. These findings indicate that the raw CBFV signals provide valuable information about the cerebral blood flow which can be utilized in further validation of fTCD as a clinical tool. © 2013 Sejdić et al

    Proteomic analysis of the Plasmodium male gamete reveals the key role for glycolysis in flagellar motility.

    Get PDF
    BACKGROUND: Gametogenesis and fertilization play crucial roles in malaria transmission. While male gametes are thought to be amongst the simplest eukaryotic cells and are proven targets of transmission blocking immunity, little is known about their molecular organization. For example, the pathway of energy metabolism that power motility, a feature that facilitates gamete encounter and fertilization, is unknown. METHODS: Plasmodium berghei microgametes were purified and analysed by whole-cell proteomic analysis for the first time. Data are available via ProteomeXchange with identifier PXD001163. RESULTS: 615 proteins were recovered, they included all male gamete proteins described thus far. Amongst them were the 11 enzymes of the glycolytic pathway. The hexose transporter was localized to the gamete plasma membrane and it was shown that microgamete motility can be suppressed effectively by inhibitors of this transporter and of the glycolytic pathway. CONCLUSIONS: This study describes the first whole-cell proteomic analysis of the malaria male gamete. It identifies glycolysis as the likely exclusive source of energy for flagellar beat, and provides new insights in original features of Plasmodium flagellar organization

    Visualizing the Interface of Biotin and Fatty Acid Biosynthesis through SuFEx Probes

    Get PDF
    Site-specific covalent conjugation offers a powerful tool to identify and understand protein-protein interactions. In this study, we discover that sulfur fluoride exchange (SuFEx) warheads effectively crosslink the Escherichia coli acyl carrier protein (AcpP) with its partner BioF, a key pyridoxal 5′-phosphate (PLP)-dependent enzyme in the early steps of biotin biosynthesis by targeting a tyrosine residue proximal to the active site. We identify the site of crosslink by MS/MS analysis of the peptide originating from both partners. We further evaluate the BioF-AcpP interface through protein crystallography and mutational studies. Among the AcpP-interacting BioF surface residues, three critical arginine residues appear to be involved in AcpP recognition so that pimeloyl-AcpP can serve as the acyl donor for PLP-mediated catalysis. These findings validate an evolutionary gain-of-function for BioF, allowing the organism to build biotin directly from fatty acid biosynthesis through surface modifications selective for salt bridge formation with acidic AcpP residues.</p

    Compound Evolutionary History of the Rhesus Macaque Mhc Class I B Region Revealed by Microsatellite Analysis and Localization of Retroviral Sequences

    Get PDF
    In humans, the single polymorphic B locus of the major histocompatibility complex is linked to the microsatellite MIB. In rhesus macaques, however, haplotypes are characterized by the presence of unique combinations of multiple B genes, which may display different levels of polymorphism. The aim of the study was to shed light on the evolutionary history of this highly complex region. First, the robustness of the microsatellite MIB-linked to almost half of the B genes in rhesus macaques (Mamu-B)–for accurate B haplotyping was studied. Based on the physical map of an established haplotype comprising 7 MIB loci, each located next to a certain Mamu-B gene, two MIB loci, MIB1 and MIB6, were investigated in a panel of MHC homozygous monkeys. MIB1 revealed a complex genotyping pattern, whereas MIB6 analysis resulted in the detection of one or no amplicon. Both patterns are specific for a given B haplotype, show Mendelian segregation, and even allow a more precise haplotype definition than do traditional typing methods. Second, a search was performed for retroelements that may have played a role in duplication processes as observed in the macaque B region. This resulted in the description of two types of duplicons. One basic unit comprises an expressed Mamu-B gene, adjacent to an HERV16 copy closely linked to MIB. The second type of duplicon comprises a Mamu-B (pseudo)gene, linked to a truncated HERV16 structure lacking its MIB segment. Such truncation seems to coincide with the loss of B gene transcription. Subsequent to the duplication processes, recombination between MIB and Mamu-B loci appears to have occurred, resulting in a hyperplastic B region. Thus, analysis of MIB in addition to B loci allows deciphering of the compound evolutionary history of the class I B region in Old World monkeys

    Host-Associated and Free-Living Phage Communities Differ Profoundly in Phylogenetic Composition

    Get PDF
    Phylogenetic profiling has been widely used for comparing bacterial communities, but has so far been impossible to apply to viruses because of the lack of a single marker gene analogous to 16S rRNA. Here we developed a reference tree approach for matching viral sequences and applied it to the largest viral datasets available. The resulting technique, Shotgun UniFrac, was used to compare host-associated and non-host-associated phage communities (130 total metagenomes), and revealed a profound split similar to that found with bacterial communities. This new informatics approach complements analysis of bacterial communities and promises to provide new insights into viral community dynamics, such as top-down versus bottom-up control of bacterial communities by viruses in a range of systems

    Zinc intake, status and indices of cognitive function in adults and children: a systematic review and meta-analysis

    Get PDF
    In developing countries, deficiencies of micronutrients are thought to have a major impact on child development; however, a consensus on the specific relationship between dietary zinc intake and cognitive function remains elusive. The aim of this systematic review was to examine the relationship between zinc intake, status and indices of cognitive function in children and adults. A systematic literature search was conducted using EMBASE, MEDLINE and Cochrane Library databases from inception to March 2014. Included studies were those that supplied zinc as supplements or measured dietary zinc intake. A meta-analysis of the extracted data was performed where sufficient data were available. Of all of the potentially relevant papers, 18 studies met the inclusion criteria, 12 of which were randomised controlled trials (RCTs; 11 in children and 1 in adults) and 6 were observational studies (2 in children and 4 in adults). Nine of the 18 studies reported a positive association between zinc intake or status with one or more measure of cognitive function. Meta-analysis of data from the adult’s studies was not possible because of limited number of studies. A meta-analysis of data from the six RCTs conducted in children revealed that there was no significant overall effect of zinc intake on any indices of cognitive function: intelligence, standard mean difference of <0.001 (95% confidence interval (CI) –0.12, 0.13) P=0.95; executive function, standard mean difference of 0.08 (95% CI, –0.06, 022) P=0.26; and motor skills standard mean difference of 0.11 (95% CI –0.17, 0.39) P=0.43. Heterogeneity in the study designs was a major limitation, hence only a small number (n=6) of studies could be included in the meta-analyses. Meta-analysis failed to show a significant effect of zinc supplementation on cognitive functioning in children though, taken as a whole, there were some small indicators of improvement on aspects of executive function and motor development following supplementation but high-quality RCTs are necessary to investigate this further

    Structural and biochemical characterization of the exopolysaccharide deacetylase Agd3 required for Aspergillus fumigatus biofilm formation

    Get PDF
    The exopolysaccharide galactosaminogalactan (GAG) is an important virulence factor of the fungal pathogen Aspergillus fumigatus. Deletion of a gene encoding a putative deacetylase, Agd3, leads to defects in GAG deacetylation, biofilm formation, and virulence. Here, we show that Agd3 deacetylates GAG in a metal-dependent manner, and is the founding member of carbohydrate esterase family CE18. The active site is formed by four catalytic motifs that are essential for activity. The structure of Agd3 includes an elongated substrate-binding cleft formed by a carbohydrate binding module (CBM) that is the founding member of CBM family 87. Agd3 homologues are encoded in previously unidentified putative bacterial exopolysaccharide biosynthetic operons and in other fungal genomes. The exopolysaccharide galactosaminogalactan (GAG) is an important virulence factor of the fungal pathogen Aspergillus fumigatus. Here, the authors study an A. fumigatus enzyme that deacetylates GAG in a metal-dependent manner and constitutes a founding member of a new carbohydrate esterase family.Bio-organic Synthesi
    corecore