Generic Modal Cut Elimination Applied to Conditional Logics

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations of our framework to various conditional logics. For these, we obtain fully internalised calculi which are substantially simpler than those known in the literature, along with leaner proofs of cut elimination and complexity. In one case, conditional logic with modus ponens and conditional excluded middle, cut elimination and complexity were explicitly stated as open in the literature

Sources of Community Health Worker Motivation: A Qualitative Study in Morogoro Region, Tanzania.

There is a renewed interest in community health workers (CHWs) in Tanzania, but also a concern that low motivation of CHWs may decrease the benefits of investments in CHW programs. This study aimed to explore sources of CHW motivation to inform programs in Tanzania and similar contexts. We conducted semi-structured interviews with 20 CHWs in Morogoro Region, Tanzania. Interviews were digitally recorded, transcribed, and coded prior to translation and thematic analysis. The authors then conducted a literature review on CHW motivation and a framework that aligned with our findings was modified to guide the presentation of results. Sources of CHW motivation were identified at the individual, family, community, and organizational levels. At the individual level, CHWs are predisposed to volunteer work and apply knowledge gained to their own problems and those of their families and communities. Families and communities supplement other sources of motivation by providing moral, financial, and material support, including service fees, supplies, money for transportation, and help with farm work and CHW tasks. Resistance to CHW work exhibited by families and community members is limited. The organizational level (the government and its development partners) provides motivation in the form of stipends, potential employment, materials, training, and supervision, but inadequate remuneration and supplies discourage CHWs. Supervision can also be dis-incentivizing if perceived as a sign of poor performance. Tanzanian CHWs who work despite not receiving a salary have an intrinsic desire to volunteer, and their motivation often derives from support received from their families when other sources of motivation are insufficient. Policy-makers and program managers should consider the burden that a lack of remuneration imposes on the families of CHWs. In addition, CHWs' intrinsic desire to volunteer does not preclude a desire for external rewards. Rather, adequate and formal financial incentives and in-kind alternatives would allow already-motivated CHWs to increase their commitment to their work

District Health Managers' Perceptions of Supervision in Malawi and Tanzania.

Mid-level cadres are being used to address human resource shortages in many African contexts, but insufficient and ineffective human resource management is compromising their performance. Supervision plays a key role in performance and motivation, but is frequently characterised by periodic inspection and control, rather than support and feedback to improve performance. This paper explores the perceptions of district health management teams in Tanzania and Malawi on their role as supervisors and on the challenges to effective supervision at the district level. This qualitative study took place as part of a broader project, "Health Systems Strengthening for Equity: The Power and Potential of Mid-Level Providers". Semi-structured interviews were conducted with 20 district health management team personnel in Malawi and 37 council health team members in Tanzania. The interviews covered a range of human resource management issues, including supervision and performance assessment, staff job descriptions and roles, motivation and working conditions. Participants displayed varying attitudes to the nature and purpose of the supervision process. Much of the discourse in Malawi centred on inspection and control, while interviewees in Tanzania were more likely to articulate a paradigm characterised by support and improvement. In both countries, facility level performance metrics dominated. The lack of competency-based indicators or clear standards to assess individual health worker performance were considered problematic. Shortages of staff, at both district and facility level, were described as a major impediment to carrying out regular supervisory visits. Other challenges included conflicting and multiple responsibilities of district health team staff and financial constraints. Supervision is a central component of effective human resource management. Policy level attention is crucial to ensure a systematic, structured process that is based on common understandings of the role and purpose of supervision. This is particularly important in a context where the majority of staff are mid-level cadres for whom regulation and guidelines may not be as formalised or well-developed as for traditional cadres, such as registered nurses and medical doctors. Supervision needs to be adequately resourced and supported in order to improve performance and retention at the district level

West Nile Virus Outbreak in North American Owls, Ontario, 2002

Susceptibility of North American owls to WNV is associated with native breeding range

A mathematical model for the burden of diabetes and its complications

BACKGROUND: The incidence and prevalence of diabetes are increasing all over the world. Complications of diabetes constitute a burden for the individuals and the whole society. METHODS: In the present paper, ordinary differential equations and numerical approximations are used to monitor the size of populations of diabetes with and without complications. RESULTS: Different scenarios are discussed according to a set of parameters and the dynamical evolution of the population from the stage of diabetes to the stage of diabetes with complications is clearly illustrated. CONCLUSIONS: The model shows how efficient and cost-effective strategies can be obtained by acting on diabetes incidence and/or controlling the evolution to the stage of complications

Signs of subclinical coronary atherosclerosis in relation to risk factor distribution in the Multi-Ethnic Study of Atherosclerosis (MESA) and the Heinz Nixdorf Recall Study (HNR)

AIMS: Modern imaging technology allows us the visualization of coronary artery calcification (CAC), a marker of subclinical coronary atherosclerosis. The prevalence, quantity, and risk factors for CAC were compared between two studies with similar imaging protocols but different source populations: the Multi-Ethnic Study of Atherosclerosis (MESA) and the Heinz Nixdorf Recall Study (HNR). METHODS AND RESULTS: The measured CAC in 2220 MESA participants were compared with those in 3,126 HNR participants with the inclusion criteria such as age 45-75 years, Caucasian race, and free of baseline cardiovascular disease. Despite similar mean levels of CAC of 244.6 among participants in MESA and of 240.3 in HNR (P = 0.91), the prevalence of CAC > 0 was lower in MESA (52.6%) compared with HNR (67.0%) with a prevalence rate ratio of CAC > 0 of 0.78 [95% confidence interval (CI): 0.72-0.85] after adjustment for known risk factors. Consequently, among participants with CAC > 0, the participants in MESA tended to have higher levels of CAC than those in HNR (ratio of CAC levels: 1.39; 95% CI: 1.19-1.63), since many HNR participants have small (near zero) CAC values. CONCLUSIONS: The CAC prevalence was lower in the United States (MESA) cohort than in the German (HNR) cohort, which may be explained by more favourable risk factor levels among the MESA participants. The predictors for increased levels of CAC were, however, similar in both cohorts with the exception that male gender, blood pressure, and body mass index were more strongly associated in the HNR cohort

Enhanced virtual microscopy for collaborative education

<p>Abstract</p> <p>Background</p> <p>Curricular reform efforts and a desire to use novel educational strategies that foster student collaboration are challenging the traditional microscope-based teaching of histology. Computer-based histology teaching tools and Virtual Microscopes (VM), computer-based digital slide viewers, have been shown to be effective and efficient educational strategies. We developed an open-source VM system based on the Google Maps engine to transform our histology education and introduce new teaching methods. This VM allows students and faculty to collaboratively create content, annotate slides with markers, and it is enhanced with social networking features to give the community of learners more control over the system.</p> <p>Results</p> <p>We currently have 1,037 slides in our VM system comprised of 39,386,941 individual JPEG files that take up 349 gigabytes of server storage space. Of those slides 682 are for general teaching and available to our students and the public; the remaining 355 slides are used for practical exams and have restricted access. The system has seen extensive use with 289,352 unique slide views to date. Students viewed an average of 56.3 slides per month during the histology course and accessed the system at all hours of the day. Of the 621 annotations added to 126 slides 26.2% were added by faculty and 73.8% by students. The use of the VM system reduced the amount of time faculty spent administering the course by 210 hours, but did not reduce the number of laboratory sessions or the number of required faculty. Laboratory sessions were reduced from three hours to two hours each due to the efficiencies in the workflow of the VM system.</p> <p>Conclusions</p> <p>Our virtual microscope system has been an effective solution to the challenges facing traditional histopathology laboratories and the novel needs of our revised curriculum. The web-based system allowed us to empower learners to have greater control over their content, as well as the ability to work together in collaborative groups. The VM system saved faculty time and there was no significant difference in student performance on an identical practical exam before and after its adoption. We have made the source code of our VM freely available and encourage use of the publically available slides on our website.</p

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Prospects for observing and localizing gravitational-wave transients with Advanced LIGO, Advanced Virgo and KAGRA

We present possible observing scenarios for the Advanced LIGO, Advanced Virgo and KAGRA gravitational-wave detectors over the next decade, with the intention of providing information to the astronomy community to facilitate planning for multi-messenger astronomy with gravitational waves. We estimate the sensitivity of the network to transient gravitational-wave signals, and study the capability of the network to determine the sky location of the source. We report our findings for gravitational-wave transients, with particular focus on gravitational-wave signals from the inspiral of binary neutron star systems, which are the most promising targets for multi-messenger astronomy. The ability to localize the sources of the detected signals depends on the geographical distribution of the detectors and their relative sensitivity, and 90% credible regions can be as large as thousands of square degrees when only two sensitive detectors are operational. Determining the sky position of a significant fraction of detected signals to areas of 5– 20 deg2 requires at least three detectors of sensitivity within a factor of ∼2 of each other and with a broad frequency bandwidth. When all detectors, including KAGRA and the third LIGO detector in India, reach design sensitivity, a significant fraction of gravitational-wave signals will be localized to a few square degrees by gravitational-wave observations alone