We describe the use of the Haskell testing package QuickCheck to aid in the debugging of the operational and denotational semantics of a hardware compilation language called Handel-C.

[This corrects the article on p. 144 in vol. 6, PMID: 25798132.].

A Yersinia pestis-derived fusion protein (F1-V) has shown great promise as a protective antigen against aerosol challenge with Y. pestis in murine studies. In the current study, we examined different prime-boost regimens with F1-V and demonstrate that (i) boosting by a route other than the route used for the priming dose (heterologous boosting) protects mice as well as homologous boosting again...

In 2009, an outbreak of Vibrio parahaemolyticus occurred in Piura, Cajamarca, Lambayeque, and Lima, Peru. Whole-genome sequencing of clinical and environmental samples from the outbreak revealed a new V. parahaemolyticus clone. All the isolates identified belonged to a single clonal complex described exclusively in Asia before its emergence in Peru.

Trueperella pyogenes is a common commensal bacterium and an opportunistic pathogen associated with chronic purulent disease, particularly in ruminants. We report here the genome sequence of a T. pyogenes isolate from a severe case of bovine metritis. This is the first full record of a T. pyogenes genome.

Almost 20 years has passed since trichomonosis was first recognized as a potential cause of diarrhea in domestic cats. Despite progress in confirming disease causation, developing means for diagnosis, and identifying approaches to treatment of the infection, we still know very little about how this parasite causes diarrhea. With increasing recognition of resistance of trichomonosis to treatment...

Bifidobacterium longum subsp. infantis CECT 7210 is a probiotic strain able to inhibit rotavirus in vitro and protect against viral infection in both cell cultures and mice. Here, we report its complete genome sequence, as deciphered by PacBio single-molecule real-time (SMRT) technology. An analysis of the sequence may provide insights into its functional activity.

An in vitro culture system of bovine vaginal epithelial cells (BVECs) was developed to study the cytopathogenic effects of Tritrichomonas foetus and the role of lipophosphoglycan (LPG)-like cell surface glycoconjugates in adhesion of parasites to host cells. Exposure of BVEC monolayers to T. foetus resulted in extensive damage of monolayers. Host cell disruption was measured quantitatively by a...

The aim of this research was the isolation of Legionella spp. from domestic water supply networks in the Prefecture of Arta. A total of 100 water samples, from 25 houses, were collected. Half of the samples concerned the cold water and half the hot water supply. Purpose was to detect colonization of the water networks with Legionella spp. >500 cfu/L by using the method of filtration (ISO 11731)...

The authors apply two contemporary notions of culture to advance the conceptual basis of cultural competence in psychotherapy: Kleinman's (1995) definition of culture as what is at stake in local, social worlds, and Mattingly and Lawlor's (2001) concept of shared narratives between practitioners and patients. The authors examine these cultural constructs within a clinical case of an immigrant f...