Effects of cattle and poultry manures on organic matter content and adsorption complex of a sandy soil under cassava cultivation (Manihot esculenta, Crantz)

This study examined the A and B horizons of deep, developed and moderately unsaturated sandy ferrallitic soils amended with cattle and poultry manures under cassava (Manihot esculenta Crantz) cultivation. Therefore, a plot experiment was carried out by using a randomized complete blocks design in 4 replications and fields treatments which included unfertilized (control) and one dose (10 t/ha) of both manures. The study of the different fractions of animal manures showed that the poultry had the greatest content of C (organic carbon), N (nitrogen), P (phosphorus), K (potassium), Ca (calcium) and C:N ratio (p < 0.01). However, the value of Mg (magnesium) in the studied manures was not significantly different (p < 0.01). The manure treatment significantly increased the soil organic matter contents from 0.46 to 2.8 and 1.1% respectively with poultry and cattle manures (p < 0.01). Organic fertilizer significantly increased the cation exchange capacity from 1.7 to 12.75 and 3.8 me:100 g and the bases saturation content from 47 to 80 and to 76% respectively with the poultry and cattle manures (p < 0.01). The organic fertilizer showed significant effect on earthworms populations Hyperiodrilus africanus (Oligochaeta, Eudrilidae) in the soil, with 128 and 85% respectively about the poultry and cattle manures compared to the control (p < 0.01).Key words: Cattle manure, poultry manure, cassava, organic matter, cation exchange capacity, basessaturation content

Hospital variation in missed nursing care

Quality of nursing care across hospitals is variable, and this variation can result in poor patient outcomes. One aspect of quality nursing care is the amount of necessary care that is omitted. This article reports on the extent and type of nursing care missed and the reasons for missed care. The MISSCARE Survey was administered to nursing staff (n = 4086) who provide direct patient care in 10 acute care hospitals. Missed nursing care patterns as well as reasons for missing care (labor resources, material resources, and communication) were common across all hospitals. Job title (ie, registered nurse vs nursing assistant), shift worked, absenteeism, perceived staffing adequacy, and patient work loads were significantly associated with missed care. The data from this study can inform quality improvement efforts to reduce missed nursing care and promote favorable patient outcomes.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/94115/1/Hospital variation in missed nursing care.pd

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise execution models that successfully realise their abstractions without forfeiting performance or introducing unintended behaviours. This is exemplified by SCOOP---a concurrent object-oriented message-passing language---which has seen multiple semantics proposed and implemented over its evolution. We propose a "semantics workbench" with fully and semi-automatic tools for SCOOP, that can be used to analyse and compare programs with respect to different execution models. We demonstrate its use in checking the consistency of semantics by applying it to a set of representative programs, and highlighting a deadlock-related discrepancy between the principal execution models of the language. Our workbench is based on a modular and parameterisable graph transformation semantics implemented in the GROOVE tool. We discuss how graph transformations are leveraged to atomically model intricate language abstractions, and how the visual yet algebraic nature of the model can be used to ascertain soundness.Comment: Accepted for publication in the proceedings of FASE 2016 (to appear

Health & Demographic Surveillance System Profile: The Taabo Health and Demographic Surveillance System, Côte d'Ivoire

The Taabo Health and Demographic Surveillance System (HDSS) is located in south-central Côte d'Ivoire, approximately 150 km north-west of Abidjan. The Taabo HDSS started surveillance activities in early 2009 and the man-made Lake Taabo is a key eco-epidemiological feature. Since inception, there has been a strong interest in research and integrated control of water-associated diseases such as schistosomiasis and malaria. The Taabo HDSS has generated setting-specific evidence on the impact of targeted interventions against malaria, schistosomiasis and other neglected tropical diseases. The Taabo HDSS consists of a small town, 13 villages and over 100 hamlets. At the end of 2013, a total population of 42 480 inhabitants drawn from 6707 households was under surveillance. Verbal autopsies have been conducted to determine causes of death. Repeated cross-sectional epidemiological surveys on approximately 5-7% of the population and specific, layered-on haematological, parasitological and questionnaire surveys have been conducted. The Taabo HDSS provides a database for surveys, facilitates interdisciplinary research, as well as surveillance, and provides a platform for the evaluation of health interventions. Requests to collaborate and to access data are welcome and should be addressed to the secretariat of the Centre Suisse de Recherches Scientifiques en Côte d'Ivoire: [[email protected]

Dynamics of Socioeconomic Risk Factors for Neglected Tropical Diseases and Malaria in an Armed Conflict

Armed conflict and war and infectious diseases are globally among the leading causes of human suffering and premature death. Moreover, they are closely interlinked, as an adverse public health situation may spur violent conflict, and violent conflict may favor the spread of infectious diseases. The consequences of this vicious cycle are increasingly borne by civilians, often as a hidden and hence neglected burden. We analyzed household data that were collected before and after an armed conflict in a rural part of western Côte d'Ivoire, and investigated the dynamics of socioeconomic risk factors for neglected tropical diseases (NTDs) and malaria. We identified a worsening of the sanitation infrastructure, decreasing use of protective measures against mosquito bites, and increasing difficulties to reach public health care infrastructure. In contrast, household crowding, the availability of soap, and the accessibility of comparatively simple means of health care provision (e.g., traditional healers and community health workers) seemed to be more stable. Knowledge about such dynamics may help to increase crisis-proofness of critical infrastructure and public health systems, and hence mitigate human suffering due to armed conflict and war

Three Keys to Success for Principals (and Their Teachers)

This is the author's accepted manuscript, post peer-review. The publisher's official version is available at: http://dx.doi.org/10.1080/00228958.2008.10516527.What is successful leadership and how can leadership concepts be applied to schools? Hundreds of books and articles and a plethora of executive seminars describe what leadership is and propose strategies for what effective leaders do. Most of these writings and presentations, however, focus on business, with much less information available about how to lead schools. In addition, there is a diversity of opinions about what makes leaders effective. This article suggests that it is possible to extract, reframe, and apply the best of what is known about leadership to help principals be more successful. Moreover, if principals are successful, teachers also are positioned to be successful, with the ultimate impact being successful student learning

Tool Support for Correctness-by-Construction

Correctness-by-Construction (CbC) is an approach to incrementally create formally correct programs guided by pre- and postcondition specifications. A program is created using refinement rules that guarantee the resulting implementation is correct with respect to the specification. Although CbC is supposed to lead to code with a low defect rate, it is not prevalent, especially because appropriate tool support is missing. To promote CbC, we provide tool support for CbC-based program development. We present CorC, a graphical and textual IDE to create programs in a simple while-language following the CbC approach. Starting with a specification, our open source tool supports CbC developers in refining a program by a sequence of refinement steps and in verifying the correctness of these refinement steps using the theorem prover KeY. We evaluated the tool with a set of standard examples on CbC where we reveal errors in the provided specification. The evaluation shows that our tool reduces the verification time in comparison to post-hoc verification