Prediction in wireless networks by Markov chains [accepted from open call]

Discrete sequence modeling and prediction is an important goal and a challenge for pervasive computing. Mobile clients? data request forecasting and location tracking in wireless cellular networks are characteristic application areas of sequence prediction in pervasive computing. This article presents information-theoretic techniques for discrete sequence prediction. It surveys, classifies, and compares the state-of-the-art solutions, suggesting routes for further research by discussing the critical issues and challenges of prediction in wireless networks.     

Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach

Formal analysis techniques, such as probabilistic model checking, offer an effective mechanism for model-based performance and verification studies of communication systems’ behavior that can be abstractly described by a set of rules i.e., a protocol. This article presents an integrated approach for the quantitative analysis of the Certified E-mail Message Delivery (CEMD) protocol that provides security properties to electronic mail services. The proposed scheme employs a probabilistic model checking analysis and provides for the first time insights on the impact of CEMD’s error tolerance on computational and transmission cost. It exploits an efficient combination of quantitative analysis and specific computational and communication parameters, i.e., the widely used Texas Instruments TMS320C55x Family operating in an High Speed Downlink Packet Access (HSDPA) mobile environment, where multiple CEMD participants execute parallel sessions with high bit error rates (BERs). Furthermore, it offers a tool-assistant approach for the protocol designers and analysts towards the verification of their products under varying parameters. Finally, this analysis can be also utilized towards reliably addressing cost-related issues of certain communication protocols and deciding on their cost-dependent viability, taking into account limitations that are introduced by hardware specifications of mobile devices and noisy mobile environments.     

Prevalence of herpes simplex virus type 1- and 2- specific antibodies among the acute, recurrent, and provoked types of female genital herpes

Sixty-eight sera from the acute, recurrent, and provoked types of female genital herpes were compared for the seroprevalence of herpes simplex virus (HSV) types 1 and 2 by immunodot assay using HSV glycoprotein G. In the HSV-1-isolated patients, no HSV-2 antibodies were detected, whereas in the HSV-2-isolated patients, HSV-1 seroprevalence was 9% for the acute type, 89% for the provoked type (P < 0.005), and 55% for the recurrent type (P < 0.05). The natural history of female genital herpes and the possible protective role of pre-existing antibodies in preventing the acquisition or clinical manifestation of a subsequent HSV infection are discussed.     

Vector potential of houseflies (Musca domestica) for Helicobacter pylori

The mode of transmission of Helicobacter pylori is unknown. Since viable bacteria have been shown to be excreted in feces from infected individuals and houseflies habitually develop and feed on excrement, we hypothesized that flies ingest and harbor H. pylori and, in turn, contaminate the human environment. This study examined the possible vector potential of houseflies (Musca domestica) for H. pylori. Caged houseflies were exposed to freshly grown H. pylori on agar plates. After a 6-h feeding period, the plates were removed and were replaced with sterile petri dishes containing a droplet of sterile brucella broth. At regular intervals, small numbers of houseflies were removed for microbiological and histological analysis, and the petri dishes were replaced with fresh sterile plates with fresh drops of brucella broth. The flies' bodies, the flies' dissected alimentary tracts, and excreta on the petri dishes were cultured for H. pylori, whose identity was confirmed by the urease, catalase, and oxidase reactions and Gram staining. In contrast to control flies, viable H. pylori could be isolated from external surfaces for up to 12 h and from gut and excreta for as long as 30 h after the initial feeding period. After 30 h other gram-negative bacteria overgrew the cultures of samples from all locations tested, rendering the selective culture of H. pylori colonies impossible. Histological analysis revealed Helicobacter-like organisms in the gut lumen and attached to intestinal epithelial cells. We conclude that houseflies can harbor viable H. pylori on their bodies and in their intestinal tracts. They are also able to disseminate viable H. pylori in excreta, and they may therefore present a significant reservoir and be a vector in the transmission of H. pylori.