Discrete-time rewards model-checked

This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with reward constraints. This allows to formulate complex measures – involving expected as well as accumulated rewards – in a precise and succinct way. Algorithms to efficiently analyze such formulae are introduced. The approach is illustrated by model-checking a probabilistic cost model of the IPv4 zeroconf protocol for distributed address assignment in ad-hoc networks

Reduction of health-related risks among female commercial sex workers: learning from their life and working experiences.

We performed this study to determine both positive and negative impacts on the health of sex workers working on the street. We conducted this study using key informant and focus group interviews in bars and streets in Mozambique. The interviewed sex workers were aware about the risks and protection against sexually transmitted infections (STIs), and they consistently used condoms. Most suffered from harmful behavior, including violence and assault by both customers and other commercial sex workers. We found that sex workers\u27 own skills and knowledge acquired through experience potentially could be developed into life skills that could save and protect their lives

The behaviour of political parties and MPs in the parliaments of the Weimar Republic

Copyright @ 2012 The Authors. This is the author's accepted manuscript. The final published article is available from the link below.Analysing the roll-call votes of the MPs of the Weimar Republic we find: (1) that party competition in the Weimar parliaments can be structured along two dimensions: an economic left–right and a pro-/anti-democratic. Remarkably, this is stable throughout the entire lifespan of the Republic and not just in the later years and despite the varying content of votes across the lifespan of the Republic, and (2) that nearly all parties were troubled by intra-party divisions, though, in particular, the national socialists and communists became homogeneous in the final years of the Republic.Zukunftskolleg, University of Konstan

Knowledge, perceived stigma, and care-seeking experiences for sexually transmitted infections: a qualitative study from the perspective of public clinic attendees in Rio de Janeiro, Brazil

BACKGROUND: An estimated 12 million sexually transmitted infections (STIs) are documented in Brazil per year. Given the scope of this public health challenge and the importance of prompt treatment and follow-up counseling to reduce future STI/HIV-related risk behavior, we sought to qualitatively explore STI clinic experiences among individuals diagnosed with STIs via public clinics in Rio de Janeiro, Brazil. The study focused on eliciting the perspective of clinic users with regard to those factors influencing their STI care-seeking decisions and the health education and counseling which they received during their clinic visit. METHODS: Thirty semi-structured interviews were conducted with heterosexual men and women and men who have sex with men presenting with STIs at two public clinics. Content analysis was conducted by coding transcripts of audio-taped interviews for key domains of interest and comparing and synthesizing code output across participants and sub-groups. Thematic narratives were then developed per each of the study sub-groups. RESULTS: Salient themes that emerged from participant narratives included the importance of low STI-related knowledge and high perceived stigma, both STI-related and other types of social stigma, on STI care-seeking delays. However, there are indications in the data that the level of STI-related knowledge and the amount and types of stigma experienced vary across the study sub-groups suggesting the need for further research on the significance and program relevance of these potential differences. Interview findings also suggest that such barriers to care seeking are not adequately addressed through ongoing health education and counseling efforts at public STI clinics and in turn critical opportunities for STI/HIV prevention are currently being missed. CONCLUSION: Information, communication and education regarding early recognition and prompt care-seeking for STIs should be developed, with consideration given to the possibility of tailoring messages tailored to specific sub-groups. To promote prompt treatment-seeking, interventions must also address both STI-specific and other forms of social stigma which may limit access to care. Efforts to further assess and respond to barriers related to the delivery of quality health education and counseling within the context of public STI clinics are also needed

A hand hygiene intervention to decrease infections among children attending day care centers: Design of a cluster randomized controlled trial

Background: Day care center attendance has been recognized as a risk factor for acquiring gastrointestinal and respiratory infections, which can be prevented with adequate hand hygiene (HH). Based on previous studies on environmental and sociocognitive determinants of caregivers' compliance with HH guidelines in day care centers (DCCs), an intervention has been developed aiming to improve caregivers' and children's HH compliance and decrease infections among children attending DCCs. The aim of this paper is to describe the design of a cluster randomized controlled trial to evaluate the effectiveness of this intervention.Methods/design: The intervention will be evaluated in a two-arm cluster randomized controlled trial among 71 DCCs in the Netherlands. In total, 36 DCCs will receive the intervention consisting of four components: 1) HH products (dispensers and refills for paper towels, soap, alcohol-based hand sanitizer, and hand cream); 2) training to educate about the Dutch national HH guidelines; 3) two team training sessions aimed at goal setting and formulating specific HH improvement activities; and 4) reminders and cues to action (posters/stickers). Intervention DCCs will be compared to 35 control DCCs continuing usual practice. The primary outcome measure will be observed HH compliance of caregivers and children, measured at baseline and one, three, and six months after start of the intervention. The secondary outcome measure will be the incidence of gastrointestinal and respiratory infections in 600 children attending DCCs, monitored over six months by parents using a calendar to mark th

Predictors of linkage to care following community-based HIV counseling and testing in rural Kenya

Despite innovations in HIV counseling and testing (HCT), important gaps remain in understanding linkage to care. We followed a cohort diagnosed with HIV through a community-based HCT campaign that trained persons living with HIV/AIDS (PLHA) as navigators. Individual, interpersonal, and institutional predictors of linkage were assessed using survival analysis of self-reported time to enrollment. Of 483 persons consenting to follow-up, 305 (63.2%) enrolled in HIV care within 3 months. Proportions linking to care were similar across sexes, barring a sub-sample of men aged 18–25 years who were highly unlikely to enroll. Men were more likely to enroll if they had disclosed to their spouse, and women if they had disclosed to family. Women who anticipated violence or relationship breakup were less likely to link to care. Enrolment rates were significantly higher among participants receiving a PLHA visit, suggesting that a navigator approach may improve linkage from community-based HCT campaigns.Vestergaard Frandse

A hand hygiene intervention to reduce infections in child daycare: A randomized controlled trial

Copyrigh