4 resultados para Subsequential Completeness

em Brock University, Canada


Relevância:

10.00% 10.00%

Publicador:

Resumo:

The purpose of this study was to assess the effects of changing a nursing documentation system, developed from King's Conceptual Framework, on the use of the nursing process. The null hypothesis was that there would be no significant increase in the reflection of the use of the nursing process on the nursing care plan or nurses' notes, as a result of using a nursing documentation system developed using King's Conceptual Framework (1981). The design involved the development of a questionnaire that was used to review health records pre and post implementation of a documentation system developed based on King's Conceptual Framework and Theory of Goal Attainment (1981). A Record Completeness Score was obtained from some of the questions. The null hypothesis was rejected. The results of the study have implications for nursing administration and the evaluation of nursing practice. If the use of a documentation system developed from a conceptual framework increases the reflection of the nursing process on the patient's health record, nursing will have the means to measure patient outcomes/goal attainment. All health care organizations and levels of government are focusing on methods to monitor and control the health-care dollar. In order for nursing to clearly determine the costs associated with nursing care, measurement of patient outcomes/goal attainment will need to be possible. In order to measure patient outcomes/goals attainment nurses will need to be able to collect data on their practice. It will be critical that nursing have a documentation system in place which facilitates the reflection of the nursing process within a theoretical framework.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Abstract: Root and root finding are concepts familiar to most branches of mathematics. In graph theory, H is a square root of G and G is the square of H if two vertices x,y have an edge in G if and only if x,y are of distance at most two in H. Graph square is a basic operation with a number of results about its properties in the literature. We study the characterization and recognition problems of graph powers. There are algorithmic and computational approaches to answer the decision problem of whether a given graph is a certain power of any graph. There are polynomial time algorithms to solve this problem for square of graphs with girth at least six while the NP-completeness is proven for square of graphs with girth at most four. The girth-parameterized problem of root fining has been open in the case of square of graphs with girth five. We settle the conjecture that recognition of square of graphs with girth 5 is NP-complete. This result is providing the complete dichotomy theorem for square root finding problem.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In the aftermath of World War II, a wave of Dutch Reformed immigrants arrived in Ontario, many of whom joined the Christian Reformed Church. Following familiar cultural patterns, history, and their Reformed Christian faith, these immigrants settled in Ontario with remarkable institutional completeness (Breton, 1964). They quickly established independent, parent-operated Christian schools across Ontario. The primary purpose of the schools was to educate children through a comprehensive biblically based school program, yet this religious purpose often intersected with a Dutch immigrant ethnic culture. Van Dijk (2001) states that “the schools were the most important organization in maintaining the religious and ethnic identity of Calvinists” (p. 66). In this qualitative study I explore the intersection of Reformed faith and Dutch Canadian immigrant ethnic culture in Christian schools through the experiential and professional lens of eight retired principals. Employing a theoretical framework informed by Berger’s (1967) Sacred Canopy, I suggest that the intersection of faith and culture was experienced in the schools and was embodied by the schools themselves. Findings point to this intersection being located in the participants’ experience of (a) Dutchness, (b) the struggle for Christian education, (c) the ties that bound the school community together, and (d) the cloud of witnesses that founded and continues to support and encourage the Christian school community. The study offers insight into a Dutch Reformed immigrant group’s experience carving out a niche for themselves on the educational landscape in Ontario. This study also offers suggestions on how Christian schools can broaden their canopy and become more ethnically and denominationally diverse in the future.