Justness: A Completeness Criterion for Capturing Liveness Properties (Extended Abstract)

This paper poses that transition systems constitute a good model of distributed systems only in combination with a criterion telling which paths model complete runs of the represented systems. Among such criteria, progress is too weak to capture relevant liveness properties, and fairness is often too strong; for typical applications we advocate the intermediate criterion of justness. Previously, we proposed a definition of justness in terms of an asymmetric concurrency relation between transitions. Here we define such a concurrency relation for the transition systems associated to the process algebra CCS as well as its extensions with broadcast communication and signals, thereby making these process algebras suitable for capturing liveness properties requiring justness.Comment: An extended abstract of this paper appears in Proc. FoSSaCS'1

The burden of neglected tropical diseases in Ethiopia, and opportunities for integrated control and elimination

Background: Neglected tropical diseases (NTDs) are a group of chronic parasitic diseases and related conditions that are the most common diseases among the 2·7 billion people globally living on less than US$2 per day. In response to the growing challenge of NTDs, Ethiopia is preparing to launch a NTD Master Plan. The purpose of this review is to underscore the burden of NTDs in Ethiopia, highlight the state of current interventions, and suggest ways forward. Results: This review indicates that NTDs are significant public health problems in Ethiopia. From the analysis reported here, Ethiopia stands out for having the largest number of NTD cases following Nigeria and the Democratic Republic of Congo. Ethiopia is estimated to have the highest burden of trachoma, podoconiosis and cutaneous leishmaniasis in sub-Saharan Africa (SSA), the second highest burden in terms of ascariasis, leprosy and visceral leishmaniasis, and the third highest burden of hookworm. Infections such as schistosomiasis, trichuriasis, lymphatic filariasis and rabies are also common. A third of Ethiopians are infected with ascariasis, one quarter is infected with trichuriasis and one in eight Ethiopians lives with hookworm or is infected with trachoma. However, despite these high burdens of infection, the control of most NTDs in Ethiopia is in its infancy. In terms of NTD control achievements, Ethiopia reached the leprosy elimination target of 1 case/10,000 population in 1999. No cases of human African trypanosomiasis have been reported since 1984. Guinea worm eradication is in its final phase. The Onchocerciasis Control Program has been making steady progress since 2001. A national blindness survey was conducted in 2006 and the trachoma program has kicked off in some regions. Lymphatic Filariasis, podoconiosis and rabies mapping are underway. Conclusion: Ethiopia bears a significant burden of NTDs compared to other SSA countries. To achieve success in integrated control of NTDs, integrated mapping, rapid scale up of interventions and operational research into co implementation of intervention packages will be crucial

Collecting the Data

AbstractThis chapter discusses aspects related to data collection. It focuses, firstly, on sampling issues and, secondly, on the survey mode. Sampling issues include sample size and the type of sampling that enable precise estimates to be obtained. Regarding the survey mode, discrete choice experiments can be implemented by mail, telephone, face-to-face or web surveys. Each of these survey modes has its advantages and shortcomings. They are described and compared in the course of this chapter, addressing an important decision in the planning process of a discrete choice experiment

The outcome of trachomatous trichiasis surgery in Ethiopia: risk factors for recurrence.

BACKGROUND: Over 1.2 million people are blind from trachomatous trichiasis (TT). Lid rotation surgery is the mainstay of treatment, but recurrence rates can be high. We investigated the outcomes (recurrence rates and other complications) of posterior lamellar tarsal rotation (PLTR) surgery, one of the two most widely practised TT procedures in endemic settings. METHODOLOGY/PRINCIPAL FINDINGS: We conducted a two-year follow-up study of 1300 participants who had PLTR surgery, conducted by one of five TT nurse surgeons. None had previously undergone TT surgery. All participants received a detailed trachoma eye examination at baseline and 6, 12, 18 and 24 months post-operatively. The study investigated the recurrence rates, other complications and factors associated with recurrence. Recurrence occurred in 207/635 (32.6%) and 108/641 (16.9%) of participants with pre-operative major (>5 trichiatic lashes) and minor (5 lashes (major recurrence). Recurrence was greatest in the first six months after surgery: 172 cases (55%) occurring in this period. Recurrence was associated with major TT pre-operatively (OR 2.39, 95% CI 1.83-3.11), pre-operative entropic lashes compared to misdirected/metaplastic lashes (OR 1.99, 95% CI 1.23-3.20), age over 40 years (OR 1.59, 95% CI 1.14-2.20) and specific surgeons (surgeon recurrence risk range: 18%-53%). Granuloma occurred in 69 (5.7%) and notching in 156 (13.0%). CONCLUSIONS/SIGNIFICANCE: Risk of recurrence is high despite high volume, highly trained surgeons. However, the vast majority are minor recurrences, which may not have significant corneal or visual consequences. Inter-surgeon variation in recurrence is concerning; surgical technique, training and immediate post-operative lid position require further investigation

Genetic relationships and evolution in Cucurbita pepo (pumpkin, squash, gourd) as revealed by simple sequence repeat polymorphisms

Genetic relationships among 104 accessions of Cucurbita pepo were assessed from polymorphisms in 134 SSR (microsatellite) and four SCAR loci, yielding a total of 418 alleles, distributed among all 20 linkage groups. Genetic distance values were calculated, a dendrogram constructed, and principal coordinate analyses conducted. The results showed 100 of the accessions as distributed among three clusters representing each of the recognized subspecies, pepo, texana, and fraterna. The remaining four accessions, all having very small, round, striped fruits, assumed central positions between the two cultivated subspecies, pepo and texana, suggesting that they are relicts of undescribed wild ancestors of the two domesticated subspecies. In both, subsp. texana and subsp. pepo, accessions belonging to the same cultivar-group (fruit shape) associated with one another. Within subsp. pepo, accessions grown for their seeds or that are generalists, used for both seed and fruit consumption, assumed central positions. Specialized accessions, grown exclusively for consumption of their young fruits, or their mature fruit flesh, or seed oil extraction, tended to assume outlying positions, and the different specializations radiated outward from the center in different directions. Accessions of the longest-fruited cultivar-group, Cocozelle, radiated bidirectionally, indicating independent selection events for long fruits in subsp. pepo probably driven by a common desire to consume the young fruits. Among the accessions tested, there was no evidence for crossing between subspecies after domestication

Gene Expression Programs of Mouse Endothelial Cells in Kidney Development and Disease

Endothelial cells are remarkably heterogeneous in both morphology and function, and they play critical roles in the formation of multiple organ systems. In addition endothelial cell dysfunction can contribute to disease processes, including diabetic nephropathy, which is a leading cause of end stage renal disease. In this report we define the comprehensive gene expression programs of multiple types of kidney endothelial cells, and analyze the differences that distinguish them. Endothelial cells were purified from Tie2-GFP mice by cell dissociation and fluorescent activated cell sorting. Microarrays were then used to provide a global, quantitative and sensitive measure of gene expression levels. We examined renal endothelial cells from the embryo and from the adult glomerulus, cortex and medulla compartments, as well as the glomerular endothelial cells of the db/db mutant mouse, which represents a model for human diabetic nephropathy. The results identified the growth factors, receptors and transcription factors expressed by these multiple endothelial cell types. Biological processes and molecular pathways were characterized in exquisite detail. Cell type specific gene expression patterns were defined, finding novel molecular markers and providing a better understanding of compartmental distinctions. Further, analysis of enriched, evolutionarily conserved transcription factor binding sites in the promoters of co-activated genes begins to define the genetic regulatory network of renal endothelial cell formation. Finally, the gene expression differences associated with diabetic nephropathy were defined, providing a global view of both the pathogenic and protective pathways activated. These studies provide a rich resource to facilitate further investigations of endothelial cell functions in kidney development, adult compartments, and disease

Risk factors for active trachoma and ocular Chlamydia trachomatis infection in treatment-naïve trachoma-hyperendemic communities of the Bijagós Archipelago, Guinea Bissau.

BACKGROUND: Trachoma, caused by ocular infection with Chlamydia trachomatis, is hyperendemic on the Bijagós Archipelago of Guinea Bissau. An understanding of the risk factors associated with active trachoma and infection on these remote and isolated islands, which are atypical of trachoma-endemic environments described elsewhere, is crucial to the implementation of trachoma elimination strategies. METHODOLOGY/PRINCIPAL FINDINGS: A cross-sectional population-based trachoma prevalence survey was conducted on four islands. We conducted a questionnaire-based risk factor survey, examined participants for trachoma using the World Health Organization (WHO) simplified grading system and collected conjunctival swab samples for 1507 participants from 293 randomly selected households. DNA extracted from conjunctival swabs was tested using the Roche Amplicor CT/NG PCR assay. The prevalence of active (follicular and/or inflammatory) trachoma was 11% (167/1508) overall and 22% (136/618) in 1-9 year olds. The prevalence of C. trachomatis infection was 18% overall and 25% in 1-9 year olds. There were strong independent associations of active trachoma with ocular and nasal discharge, C. trachomatis infection, young age, male gender and type of household water source. C. trachomatis infection was independently associated with young age, ocular discharge, type of household water source and the presence of flies around a latrine. CONCLUSIONS/SIGNIFICANCE: In this remote island environment, household-level risk factors relating to fly populations, hygiene behaviours and water usage are likely to be important in the transmission of ocular C. trachomatis infection and the prevalence of active trachoma. This may be important in the implementation of environmental measures in trachoma control