Women in conflict and indigenous conflict resolution among the Issa and Gurgura clans of Somali in Eastern Ethiopia

This article tries to show the impacts of conflict on women, the role of women in conflict and indigenous conflict resolution, and the participation of women in social institutions and ceremonies among the Issa and Gurgura clans of the Somali ethnic group. It explores the system of conflict resolution in these clans, and women’s representation in the system. The primary role of women in the formation of social capital through marriage and blood relations between different clans or ethnic groups is assessed. The paper focuses on some of the important elements of the socio-cultural settings of the study community that are in one way or another related to conflict and indigenous conflict resolution mechanisms. It also examines the positive aspects of marriage practices in the formation of social capital which strengthens friendship and unity instead of enmity.

Epidemiology and economic importance of fasciolosis of domestic ruminants in selected districts of Tigray Region, Ethiopia

An epidemiological study on fasciolosis of domestic ruminants was conducted in four Districts of Tigray Regional State to determine prevalence, identify Fasciola species, assess risk factors and evaluate economic loss. A total of 1708 domestic ruminants were sampled for coprological investigation; in addition 236  slaughtered ruminants were examined at post mortem. The overall prevalence of  fasciolosis in domestic ruminants was 21.2% (95% CI: 15.8-26.9%) and 32.6% (95% CI: 29.7–35.6%) based on coprology and post mortem examinations, respectively. The prevalence in cattle, sheep and goats was 25.3%, 35.7% and 11.4% respectively, based on coprology. The highest prevalence was recorded in Ofla District (41.9%) and the lowest in Alamata District (10.8%). The prevalence was higher in the highland (67.9%) than the midland (17.4%) and the lowland (14.4%); aged animals, and in poor than good body condition in all species. The  prevalence of F. hepatica was 73.1% and 62.7%, and F. gigantica 26.9% and 37.3% by egg and fluke examination, respectively. Statistically significant difference was observed in prevalence among districts, animal agro-ecology, age, and Fasciola species (p<0.05); while no significant association was observed between sexes in animal species (p>0.05). The odd of having fasciolosis in the highland than the lowland was more than 4 times higher (OR= 4.77), similarly the risk in sheep compared with goats was higher by more than 4 times (OR=4.33). During the five years period, out of 11,966 inspected livers, 22.62% were condemned due to fasciolosis. The annual direct and indirect economic loss incurred due to fasciolosis in the study area was estimated to be 286,536.21 Ethiopian Birr (31837.36 USD). Out of the total losses 80.9% was from cattle. The present study revealed a high infection of domestic ruminants by Fasciola species especially in the highland resulting in huge economic losses, hence, intervention to mitigate fasciolosis is required.Keywords: Coprology, Fasciola spp, Risk factors, Post-mortem, Prevalence, Tigray Regio

Efficient CTL Verification via Horn Constraints Solving

The use of temporal logics has long been recognised as a fundamental approach to the formal specification and verification of reactive systems. In this paper, we take on the problem of automatically verifying a temporal property, given by a CTL formula, for a given (possibly infinite-state) program. We propose a method based on encoding the problem as a set of Horn constraints. The method takes a program, modeled as a transition system, and a property given by a CTL formula as input. It first generates a set of forall-exists quantified Horn constraints and well-foundedness constraints by exploiting the syntactic structure of the CTL formula. Then, the generated set of constraints are solved by applying an off-the-shelf Horn constraints solving engine. The program is said to satisfy the property if and only if the generated set of constraints has a solution. We demonstrate the practical promises of the method by applying it on a set of challenging examples. Although our method is based on a generic Horn constraint solving engine, it is able to outperform state-of-art methods specialised for CTL verification.Comment: In Proceedings HCVS2016, arXiv:1607.0403

Experimental patterns of hammerstone percussion damage on bones: implications for inferences of carcass processing by humans

The common occurrence of hammerstone percussion damage (pits, striae, notches and impact flakes) on the fossil limb bones of ungulates indicates that marrow extraction has been an important component of hominid butchery for over two million years. Beyond this level of basic inference, it would be behaviorally informative if three deeper aspects of marrow harvesting were understood more clearly: (1) whether inter-element patterns of bone fragmentation vary when processing intensity is held constant; (2) whether butcher investment in marrow extraction correlates positively with the number of percussion marks generated; (3) whether taphonomic effectors can be identified based on percussion mark morphology, frequency and placement. Some experimental work has been conducted previously in service of exploring these questions, but we set out here to address them explicitly through the analysis of a large sample of white-tailed deer (Odocoileus virginianus) limb elements fractured by hammerstone percussion. Our results indicate that (1) measures of bone fragmentation, which supposedly reflect processing intensity, are highly contingent on the research question being posed. This stresses the fact that researchers must be explicit in their definition of processing intensity. (2) In addition, hypothesized covariance between number of hammerstone blows and percussion mark frequencies are not met in our sample, corroborating previous conclusions of a lack of covariance between cutting strokes and cutmark frequencies. These results highlight the contingent nature of butchery mark production, and emphasize the need to investigate carcass resource exploitation by posing questions that do not rely on mark frequencies, but instead utilize other zooarchaeological measures. (3) Finally, our results—showing high incidences of impact notches and flakes created by direct anvil contact and “anvil scratches” created by direct hammerstone contact—suggest caution in using specific categories of percussion damage to infer their taphonomic effectors

Tuberculosis drogo-resistente en Colombia, 2013-2018: estudio de casos y controles

Introduction. Multidrug-resistant/rifampicin-resistant tuberculosis (MDR/RR-TB) is difficult to control, has high morbidity and mortality, and demands priority public health intervention. In Colombia, MDR/RR-TB has been becoming more widespread annually. Before the COVID-19 pandemic, over an 8-year period, the number of cases of multidrug-resistant tuberculosis in Colombia was close to a thousand cases. Timely identification of the different risk factors for MDR/RR-TB will contribute fundamentally to the systematic management. Objective. To determine which risk factors were associated with the presentation of MDR in Colombia between 2013 and 2018. Materials and methods. A retrospective case–control study was carried out, for which the data from the routine surveillance of MDR/ events in the country were used. Results. The cases of multidrug-resistant tuberculosis were mainly in young people, Afro-descendants and males. Of the clinical conditions, comorbidities such as malnutrition, diabetes, and HIV, presence of at least one factor, such as drug dependence, taking immunosuppressive medications, be of the race black, afro, and living in an area of high disease burden were risk factors. Conclusion. In addition to the diagnosis and timely provision of MDR-TB treatment, it is necessary that public health programs at the local level pay special attention to patients with the identified risk factors.Introducción. La tuberculosis multidrogorresistente/resistente a rifampicina (TB-MDR/RR) es difícil de controlar, tiene una alta morbilidad y mortalidad y exige una intervención prioritaria en salud pública. En Colombia, la TB-MDR/RR se ha ido extendiendo cada año. Antes de la pandemia de COVID-19, en un periodo de 8 años, el número de casos de TB-MDR/RR en Colombia se acercaba a los mil. La identificación oportuna de los diferentes factores de riesgo de TB-MDR/RR contribuirá de manera fundamental al manejo sistemático de la enfermedad. Objetivo. Determinar qué factores de riesgo se asociaron a la presentación de TB-MDR/RR en Colombia entre 2013 y 2018. Materiales y métodos. Se realizó un estudio retrospectivo de casos y controles, para el cual se utilizaron los datos de la vigilancia rutinaria de eventos de TB MDR/RR en el país. Resultados. Los casos de TB MDR se presentaron principalmente en jóvenes, afrodescendientes y varones. De las condiciones clínicas, fueron factores de riesgo las comorbilidades como la desnutrición, la diabetes y  el VIH y la presencia de al menos un factor como: la farmacodependencia, consumo de medicamentos inmunosupresores, ser de raza negra o afro y vivir en una zona del país de alta carga de TB. Conclusiones. Además del diagnóstico y la provisión oportuna del tratamiento de la TB MDR, es necesario que los programas de salud pública  a nivel local presten especial atención a los pacientes con los factores de riesgo identificados

Determinants of Producers’ Participation Decision and Level of Participation on Milk Value Addition at Farm Level: In Case of Esssera Woreda Dawuro Zone, Southern Ethiopia

Producersers play great role along dairy value chain in study area. Dairy sector has crucial role in improving the livelihoods of farmers through family income, employment generation, achieving food security, poverty alleviation as well as to improve nutritional status of the family in Essera Woreda. Even if there is potential of dairy production, processing, marketing and consumption, there is insufficient information about socio economic factors that hinder farmers’ participation decision and level of participation on milk value addition at farm gate. But determinants of farmers’ participation decision and level of participation decision on milk value addition were not identified and analyzed to take intervention area to improve the dairy sector. This study aimed at identifying determinants of the farmers’ participation decision and extent of participation on milk value addition. The primary data for this study were collected from 133 producers and analyzed using application of appropriate statistical tools. The result of probit (Heckman first stage) model indicated that farmers’ participation decision on milk value addition is significantly affected by gender, quantity of milk yield produced per day, family size, access to extension service, types of dairy cows’ breed and access to credit.  While farmers’ participation decision on volume of milk value addition is significantly affected by gender, family size, education level of household, distance nearest to market, farmers cooperative, types of breed owned by household, access to extension service, access to credit, quantity of milk produced per day and consumers’ quality preference on value added dairy products. Therefore, policy aiming at improving producers’ and traders’ access to improved inputs such as improved breed of dairy cows, credit, extension service. Keywords: - Heckman, Probit, value addition, level of participation, Lambd

Differential Adoption of Technologies and its Implications for Policy choice between Equity and Growth

Government policies often attempt to create simultaneous impact on economic efficiency and equity. The Ethiopian government optimistically has targeted to simultaneously achieve at improvement in agricultural efficiency (growth) and equitable distribution of the benefits by all farmers in the whole part of the country. However, many scholars most often argue that growth and equity are inversely related in most development processes. Thus, the main objective of the paper was to evaluate the interhousehold and interregional technology adoption pattern (implies both growth and equity). The conceptual relationship of growth and equity, and experiences in adoption studies were first assessed. Then three ecological potentials with 150 sample size each (a total of 450) were studied using Probit Model. The study result has shown that only 35.5% of the sample adopted. The beneficiaries of the extension were relatively the resource rich farmers of which the largest proportion were concentrated in the high potentials areas. The high potential areas benefited remarkably higher net returns to land and management from the use of same technology than the other areas. Thus, alike the previous extension approaches used in the country and as supported by lists of literature, the new extension system could not be also free from such bias at least in the short-run. Conclusively, differential adoption of technology within a certain period of time can be regarded as a natural phenomenon. Hence, efforts to enable both the poor and the rich to equally adopt agricultural technology would rather imply substituting equity for growth at a very low level of the economy status that has immeasurable social cost. For countries like Ethiopia, which is at a very low level of economic status, focusing on growth through increasing the farm productivity of the potential adopters in the short-run, and designing special programs for the poor to follow their footsteps is suggestible. Otherwise, the country may remain behind while pulling both the poor and the rich together

Telehealth methods to deliver multifactorial dietary interventions in adults with chronic disease: A systematic review protocol

Background: The long-term management of chronic diseases requires adoption of complex dietary recommendations, which can be facilitated by regular coaching to support sustained behaviour change. Telehealth interventions can overcome patient-centred barriers to accessing face-to-face programs and provide feasible delivery methods, ubiquitous and accessible regardless of geographic location. The protocol for this systematic review explains the methods that will be utilised to answer the review question of whether telehealth interventions are effective at promoting change in dietary intake and improving diet quality in people with chronic disease. Methods/design: A structured search of Medline, EMBASE, CINAHL, and PsychINFO, from their inception, will be conducted. We will consider randomised controlled trials which evaluate complex dietary interventions in adults with chronic disease. Studies must provide diet education in an intervention longer than 4 weeks in duration, and at least half of the intervention contact must be delivered via telehealth. Comparisons will be made against usual care or a non-telehealth intervention. The primary outcome of interest is dietary change with secondary outcomes relating to clinical markers pre-specified in the methodology. The process for selecting studies, extracting data, and resolving conflicts will follow a set protocol. Two authors will independently appraise the studies and extract the data, using specified methods. Meta-analyses will be conducted where appropriate, with parameters for determining statistical heterogeneity pre-specified. The GRADE tool will be used for determining the quality of evidence for analysed outcomes. Discussion: To date, there has been a considerable variability in the strategies used to deliver dietary education, and the overall effectiveness of telehealth dietary interventions for facilitating dietary change has not been reviewed systematically in adults with chronic disease. A systematic synthesis of telehealth strategies will inform the development of evidence-based telehealth programs that can be tailored to deliver dietary interventions specific to chronic disease conditions. Systematic review registration: PROSPERO CRD42015026398

Effect of Training on Employees’ Performance in the Case of Public Sectors of Assosa Zone

The main focus of this study is to examine how training influences the employees’ performance. The study achieved the objective of the research through survey study with sample organization which have been selected from the five public sectors with help questionnaires for employees and interviews with human resources managers of the sample organizations. Irrespective of number of employees, over 90% of the sectors were using subjective methods to evaluate employees performance from training and only less than (10%) of them was used Kirkpatrick Model. The main conclusion drawn was the emphasis given for training by majority of the firm is still low. Therefore, Organization should allocate sufficient amount of budget to train this key resources of the organization and they should use objective models in addition to the subjective methods, and the organizations should design their training program based the need assessment result to be to increase employees’ performance from the training. Keywords: Training, Effect, Employees, Public sectors DOI: 10.7176/EJBM/12-7-07 Publication date:March 31st 2020

Towards Realizability Checking of Contracts using Theories

Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quality of complex embedded systems. Given appropriate architectural descriptions and compositional reasoning rules, these techniques can be used to prove important safety properties about the architecture prior to system construction. Such proofs build from "leaf-level" assume/guarantee component contracts through architectural layers towards top-level safety properties. The proofs are built upon the premise that each leaf-level component contract is realizable; i.e., it is possible to construct a component such that for any input allowed by the contract assumptions, there is some output value that the component can produce that satisfies the contract guarantees. Without engineering support it is all too easy to write leaf-level components that can't be realized. Realizability checking for propositional contracts has been well-studied for many years, both for component synthesis and checking correctness of temporal logic requirements. However, checking realizability for contracts involving infinite theories is still an open problem. In this paper, we describe a new approach for checking realizability of contracts involving theories and demonstrate its usefulness on several examples.Comment: 15 pages, to appear in NASA Formal Methods (NFM) 201