The objectives of this study were to detect the presence of Vibrio cholerae in tropical estuaries (Northeastern Brazil) and to search for virulence factors in the environmental isolates. Water and sediment samples were inoculated onto a vibrio-selective medium (TCBS), and colonies with morphological resemblance to V. cholerae were isolated. The cultures were identified phenotypically using a di...

This paper introduces a novel technique to decide the satisfiability of formulae written in the language of Linear Temporal Logic with both future and past operators and atomic formulae belonging to constraint system D (CLTLB(D) for short). The technique is based on the concept of bounded satisfiability, and hinges on an encoding of CLTLB(D) formulae into QF-EUD, the theory of quantifier-free e...

This paper introduces a novel technique to decide the satisfiability of formulae written in the language of Linear Temporal Logic with Both future and past operators and atomic formulae belonging to constraint system D (CLTLB(D) for short). The technique is based on the concept of bounded satisfiability, and hinges on an encoding of CLTLB(D) formulae into QF-EUD, the theory of quantifier-free e...

Attenuated Vibrio cholerae vaccine strains specifically mutated in genes encoding cholera toxin (CT) are still capable of causing mild to moderate diarrhea. Culture supernatants of V. cholerae strains, both CT-positive and CT-negative, were examined in Ussing chambers, and a toxin was found that increases the permeability of the small intestinal mucosa by affecting the structure of the intercel...

Attracting millions of users world-wide, online gaming is perceived as a profitable e-business with great research potentials. This study proposes a behavioral consequence research model linking service quality, service value, satisfaction and behavioral intentions with a central focus on the moderating effect of Zone of Tolerance (ZOT), which serves as a standard for service evaluation by form...

The recent detection and isolation of C. ureolyticus from patients with diarrhoeal illness and inflammatory bowel diseases warrants further investigation into its role as an emerging pathogen of the human gastrointestinal tract. Regarding the pathogenic mechanisms employed by this species we provide the first whole genome analysis of two C. ureolyticus isolates including the type strain. Compar...

On September 2 and 6, 2013, Mexico's National System of Epidemiological Surveillance identified two cases of cholera in Mexico City. Rectal swab cultures from both patients were confirmed as toxigenic Vibrio cholerae serogroup O1, serotype Ogawa, biotype El Tor. Pulsed-field gel electrophoresis and virulence gene amplification (ctxA, ctxB, zot, and ace) demonstrated that the strains were identi...