A dynamic logic for every season

This paper introduces a method to build dynamic logics with a graded semantics. The construction is parametrized by a structure to support both the spaces of truth and of the domain of computations. Possible instantiations of the method range from classical assertional) dynamic logic to less common graded logics suitable to deal with programs whose transitional semantics exhibits fuzzy or weighted behaviour.This leads to the systematic derivation of program logics tailored to specific program classes

Synthesis and structural analysis of the N-terminal domain of the thyroid hormone-binding protein transthyretin

Transthyretin (TTR) is a 55 kDa protein responsible for the transport of thyroid hormones and retinol in human serum. Misfolded forms of the protein are implicated in the amyloid diseases familial amyloidotic polyneuropathy and senile systemic amyloidosis. Its folding properties and stabilization by ligands are of current interest due to their importance in understanding and combating these diseases. To assist in such studies we developed a method for the solid phase synthesis of the monomeric unit of a TTR analogue and its folding to form a functional 55 kDa tetramer. The monomeric unit of the protein was chemically synthesized in three parts, comprising amino acid residues 151, 5499 and 102127, and ligated using chemoselective thioether ligation chemistry. The synthetic protein was folded and assembled to a tetrameric structure in the presence of the TTRs native ligand, thyroxine, as shown by gel filtration chromatography, native gel electrophoresis, TTR antibody recognition and thyroid hormone binding. In the current study the solution structure of the first of these fragment peptides, TTR(151) is examined to determine its intrinsic propensity to form beta-sheet structure, potentially involved in amyloid fibril formation by TTR. Despite the presence of extensive beta-structure in the native form of the protein, the Nterminal fragment adopts an essentially random coil conformation in solution

A software pipeline for processing and identification of fungal ITS sequences

<p>Abstract</p> <p>Background</p> <p>Fungi from environmental samples are typically identified to species level through DNA sequencing of the nuclear ribosomal internal transcribed spacer (<it>ITS</it>) region for use in BLAST-based similarity searches in the International Nucleotide Sequence Databases. These searches are time-consuming and regularly require a significant amount of manual intervention and complementary analyses. We here present software – in the form of an identification pipeline for large sets of fungal <it>ITS </it>sequences – developed to automate the BLAST process and several additional analysis steps. The performance of the pipeline was evaluated on a dataset of 350 <it>ITS </it>sequences from fungi growing as epiphytes on building material.</p> <p>Results</p> <p>The pipeline was written in Perl and uses a local installation of NCBI-BLAST for the similarity searches of the query sequences. The variable subregion <it>ITS2 </it>of the <it>ITS </it>region is extracted from the sequences and used for additional searches of higher sensitivity. Multiple alignments of each query sequence and its closest matches are computed, and query sequences sharing at least 50% of their best matches are clustered to facilitate the evaluation of hypothetically conspecific groups. The pipeline proved to speed up the processing, as well as enhance the resolution, of the evaluation dataset considerably, and the fungi were found to belong chiefly to the <it>Ascomycota</it>, with <it>Penicillium </it>and <it>Aspergillus </it>as the two most common genera. The <it>ITS2 </it>was found to indicate a different taxonomic affiliation than did the complete <it>ITS </it>region for 10% of the query sequences, though this figure is likely to vary with the taxonomic scope of the query sequences.</p> <p>Conclusion</p> <p>The present software readily assigns large sets of fungal query sequences to their respective best matches in the international sequence databases and places them in a larger biological context. The output is highly structured to be easy to process, although it still needs to be inspected and possibly corrected for the impact of the incomplete and sometimes erroneously annotated fungal entries in these databases. The open source pipeline is available for UNIX-type platforms, and updated releases of the target database are made available biweekly. The pipeline is easily modified to operate on other molecular regions and organism groups.</p

Non-abelian T-duality, Ramond Fields and Coset Geometries

We extend previous work on non-abelian T-duality in the presence of Ramond fluxes to cases in which the duality group acts with isotropy such as in backgrounds containing coset spaces. In the process we generate new supergravity solutions related to D-brane configurations and to standard supergravity compactifications.Comment: 35 pages, Late

Taxonomic Reliability of DNA Sequences in Public Sequence Databases: A Fungal Perspective

BACKGROUND: DNA sequences are increasingly seen as one of the primary information sources for species identification in many organism groups. Such approaches, popularly known as barcoding, are underpinned by the assumption that the reference databases used for comparison are sufficiently complete and feature correctly and informatively annotated entries. METHODOLOGY/PRINCIPAL FINDINGS: The present study uses a large set of fungal DNA sequences from the inclusive International Nucleotide Sequence Database to show that the taxon sampling of fungi is far from complete, that about 20% of the entries may be incorrectly identified to species level, and that the majority of entries lack descriptive and up-to-date annotations. CONCLUSIONS: The problems with taxonomic reliability and insufficient annotations in public DNA repositories form a tangible obstacle to sequence-based species identification, and it is manifest that the greatest challenges to biological barcoding will be of taxonomical, rather than technical, nature

Prevalence and dynamics of ribosomal DNA micro-heterogeneity are linked to population history in two contrasting yeast species

Despite the considerable number and taxonomic breadth of past and current genome sequencing projects, many of which necessarily encompass the ribosomal DNA, detailed information on the prevalence and evolutionary significance of sequence variation in this ubiquitous genomic region are severely lacking. Here, we attempt to address this issue in two closely related yet contrasting yeast species, the baker's yeast Saccharomyces cerevisiae and the wild yeast Saccharomyces paradoxus. By drawing on existing datasets from the Saccharomyces Genome Resequencing Project, we identify a rich seam of ribosomal DNA sequence variation, characterising 1,068 and 970 polymorphisms in 34 S. cerevisiae and 26 S. paradoxus strains respectively. We discover the two species sets exhibit distinct mutational profiles. Furthermore, we show for the first time that unresolved rDNA sequence variation resulting from imperfect concerted evolution of the ribosomal DNA region follows a U-shaped allele frequency distribution in each species, similar to loci that evolve under non-concerted mechanisms but arising through rather different evolutionary processes. Finally, we link differences between the shapes of these allele frequency distributions to the two species' contrasting population histories

Tasting Soil Fungal Diversity with Earth Tongues: Phylogenetic Test of SATé Alignments for Environmental ITS Data

An abundance of novel fungal lineages have been indicated by DNA sequencing of the nuclear ribosomal ITS region from environmental samples such as soil and wood. Although phylogenetic analysis of these novel lineages is a key component of unveiling the structure and diversity of complex communities, such analyses are rare for environmental ITS data due to the difficulties of aligning this locus across significantly divergent taxa. One potential approach to this issue is simultaneous alignment and tree estimation. We targeted divergent ITS sequences of the earth tongue fungi (Geoglossomycetes), a basal class in the Ascomycota, to assess the performance of SATé, recent software that combines progressive alignment and tree building. We found that SATé performed well in generating high-quality alignments and in accurately estimating the phylogeny of earth tongue fungi. Drawing from a data set of 300 sequences of earth tongues and progressively more distant fungal lineages, 30 insufficiently identified ITS sequences from the public sequence databases were assigned to the Geoglossomycetes. The association between earth tongues and plants has been hypothesized for a long time, but hard evidence is yet to be collected. The ITS phylogeny showed that four ectomycorrhizal isolates shared a clade with Geoglossum but not with Trichoglossum earth tongues, pointing to the significant potential inherent to ecological data mining of environmental samples. Environmental sampling holds the key to many focal questions in mycology, and simultaneous alignment and tree estimation, as performed by SATé, can be a highly efficient companion in that pursuit

Moduli Stabilization and Cosmology of Type IIB on SU(2)-Structure Orientifolds

We consider type IIB flux compactifications on six-dimensional SU(2)-structure manifolds with O5- and O7-planes. These six-dimensional spaces allow not only for F_3 and H_3 fluxes but also for F_1 and F_5 fluxes. We derive the four-dimensional N=1 scalar potential for such compactifications and present one explicit example of a fully stabilized AdS vacuum with large volume and small string coupling. We then discuss cosmological aspects of these compactifications and derive several no-go theorems that forbid dS vacua and slow-roll inflation under certain conditions. We also study concrete examples of cosets and twisted tori and find that our no-go theorems forbid dS vacua and slow-roll inflation in all but one of them. For the latter we find a dS critical point with \epsilon numerically zero. However, the point has two tachyons and eta-parameter \eta \approx -3.1.Comment: 35 pages + appendices, LaTeX2e; v2: numerical dS extremum added, typos corrected, references adde

Changes in Community Mobility in Older Men and Women. A 13-Year Prospective Study

Community mobility, defined as “moving [ones] self in the community and using public or private transportation”, has a unique ability to promote older peoples’ wellbeing by enabling independence and access to activity arenas for interaction with others. Early predictors of decreased community mobility among older men and women are useful in developing health promoting strategies. However, long-term prediction is rare, especially when it comes to including both public and private transportation. The present study describes factors associated with community mobility and decreased community mobility over time among older men and women. In total, 119 men and 147 women responded to a questionnaire in 1994 and 2007. Respondents were between 82 and 96 years old at follow-up. After 13 years, 40% of men and 43% of women had decreased community mobility, but 47% of men and 45% of women still experienced some independent community mobility. Cross-sectional independent community mobility among men was associated with higher ratings of subjective health, reporting no depression and more involvement in sport activities. Among women, cross-sectional independent community mobility was associated with better subjective health and doing more instrumental activities of daily living outside the home. Lower subjective health predicted decreased community mobility for both men and women, whereas self-reported health conditions did not. Consequently, general policies and individual interventions aiming to improve community mobility should consider older persons’ subjective health

Study circles improve the precision in nutritional care in special accommodations

Background: Disease-related malnutrition is a major health problem in the elderly population, but it has until recently received very little attention, especially are management issues under-explored. By identifying residents at the risk of undernutrition, appropriate nutritional care can be provided. Objectives: Do study circles and policy documents improve the precision in nutritional care and decrease the prevalence of low or high BMI? Design: Pre and post intervention study. Setting: Special accommodations (nursing homes) within six municipalities were involved. Participants: In 2005, 1726 (90.4%) out of 1910 residents agreed to participate and in 2007, 1526 (81.8%) out of 1866 residents participated. Intervention: Study circles in one municipality, having a policy document in one municipality and no intervention in four municipalities. Measurements: Risk of undernutrition was defined as involving any of: involuntary weight loss, low BMI, and/or eating difficulties. Overweight was defined as high BMI. Results: In 2005 and 2007, 64% of 1726 and 66% of 1526 residents respectively were at the risk of undernutrition. In 2007 significantly more patients in the study circle municipality were accurately provided protein and energy enriched food compared to in the no intervention municipalities. There was a decrease in the prevalence of low BMI in the study circle municipality and the prevalence of overweight increased in the policy document municipality between 2005 and 2007