Our research investigates frameworks supporting the formalization of programming calculi and their application to deduction-based program synthesis. Here we report on a case study: within a conservative extension of higher-order logic implemented in the Isabelle system, we derived rules for program development which can simulate those of the deductive tableau proposed by Manna and Waldinger. We...

Introduction: In the design of educational programs, much attentionhas been paid to teaching methods, needs assessment, an importantpart of the development of educational programs, generally isneglected. Another important aspect in educational program design isassessing effectiveness. The aims of this study were to design a formalneeds assessment program to define the core contents of a faculty...

BACKGROUND Although mothers are the fundamental unit of interventions in Health Extension Program in Ethiopia, their experiences and satisfactions with the service remain unstudied. Therefore, this study was aimed to assess mothers' experiences and satisfaction with health extension service. METHODS A community based cross sectional study was conducted in Jimma Zone, Oromiya, Ethiopia. Three ...

BACKGROUND Ethiopia has implemented a nationwide primary health program at grassroots level (known as the Health Extension Program) since 2003 to increase public access to basic health services. This study was conducted to assess whether households that fully implemented the Health Extension Program have improved current contraceptive use. METHODS A cross-sectional community-based survey was ...

BACKGROUND Ethiopia has implemented a nationwide primary health program (the Health Extension Program) at the grassroots level since 2003. The aim of the program is to increase public access to basic health services, mainly by producing model households. These are households which attend at least 75% of the training given by health extension workers and implement at least 75% of the Health Exte...

the purpose followed in this study was to analyze barriers of agriculture biotechnology development in iran. the research method was a descriptive and correlational one. the statistical population consisted of agricultural biotechnology specialists in the tehran province of whom n=108 were taken through census method to take part in the study. finally 85 questionnaires (research instrument) wer...

the main purpose of this study was analyzingthe promoting factors of the developmentin participatory irrigation managementin the irrigation network of miandarband villages located in kermanshah county. the research population consisted of all beneficiaries of this area (n=417). by using the cochran's formula, 126 people were chosen through a random stratified sampling method with appropria...