Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

15 results for “Formal methods”

Set a search alert
Research ArticleOpen accessIn the abstractThe Impact of Health Technology Assessment on Decision-Making Processes in Public Versus Not-for-Profit Private HospitalsHafizah Besar Saaid, Donald Stewart, Ian England, Nilesh ParmarProblem statement: The goal of this study is to extend research on Evidence-Based Practice (EBP) implementation by examining the decision-making processes for acquiring new health technologies in selected hospitals in Southeast Queensland, Australia. Both a decision-making model and a mini-Health Technology Assessment (HTA) model guide the approach and analysis in this study. We anticipated that both public and private sector … …Current Research in Medicine, Vol. 2, Issue 2 · 4 Oct 2011 · 9,071 accessesView PDFCite
Research ArticleOpen accessIn the abstractEffects of an Educational Scenario Exercise on Participants' Competencies of Systemic ThinkingSimon BurandtProblem statement: Education for sustainable development (ESD) aims to shape key competencies of individuals and therefore needs methods to enable learners to acquire these competencies. Systemic thinking can be regarded as a meta-competency in ESD, because it contains many important aspects found in most key competencies of ESD. Scenario analysis is described as a learning environment that fosters the acquisition … …Journal of Social Sciences, Vol. 7, Issue 1 · 18 Dec 2010 · 8,738 accessesView PDFCite
Research ArticleOpen accessIn the abstractThe Determinants of Agricultural Production and Profitability in Akoko Land, Ondo-State, NigeriaFasoranti Olayiwola OlujenyoThe study considered the determinants of agricultural production and profitability with special reference to maize production in Akoko North East and South West Local Government Areas of Ondo-State. Data collection was through well structured questionnaire administered on 100 respondents selected through random sampling technique. The methods of analysis used were descriptive statistics, gross margin analysis and production function analysis using … …Journal of Social Sciences, Vol. 4, Issue 1 · 31 Mar 2008 · 8,806 accessesView PDFCite
Research ArticleOpen accessIn the abstractUse of the Chi-square Test to Determine Significance of Cumulative Antibiogram DataRocco J. Perla, James CarifioAn important function of a hospital’s Infectious Disease and Pharmacy programs is to review and compare the most recent antibiogram with that of the previous year to determine if significant changes in antibiotic susceptibility results are noted and to communicate this information and its consequences to the medical staff. However, there are currently no formal analytical (decision-making) models in use … …American Journal of Infectious Diseases, Vol. 1, Issue 4 · 31 Dec 2005 · 7,279 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Note on the Role of Abstraction and Generality in Software DevelopmentPavol Návrat, Roman FilkornAlthough the evolving field of software engineering introduces many methods and modelling techniques, we conjecture that the concepts of abstraction and generality are among the fundamentals of each such methodology. This study proposed a formal representation of these two concepts, along with a two-dimensional space for the representation of their application. Based on the examples, we further elaborate and discuss … …Journal of Computer Science, Vol. 1, Issue 1 · 31 Mar 2005 · 6,972 accessesView PDFCite