Mathematical proofs c o n s t i t u t e a mix ture of formulas w i t h a subset of na tu ra l language. They can be represented as a sequence of l i n e s express­ i b l e in the symbolism of p red ica te ca l cu lus . The t r a n s i t i o n from step to step may depend on a ser ies o f l o g i c a l manipulat ions and/or on i n t r i ­ cate mathematical knowledge associated w i t h the domain...

BACKGROUND Advances in treatment and critical care have largely improved the survival following burns; therefore, the importance of quality of life in burn patients is an issue beyond question. The aim of this study was to determine the effects of Orem self-care program on Quality of Life of burn patients. METHODS A randomized clinical trial study was conducted on 110 eligible burn patients w...

BACKGROUND Assisting mothers to breastfeed is not easy when babies experience difficulties. In a neonatal intensive care unit (NICU), nurses often help mothers by using hands-on-breast without their permission. Little is known about how mothers feel about this unusual body touching. To gain more knowledge from mothers who lived through this experience, this hands-on practice was studied in a NI...

Ž . Balkan endemic nephropathy BEN is a fatal kidney disease that is known to occur only in clusters of villages in alluvial valleys of tributaries of the Danube River in Bulgaria, Romania, Yugoslavia, Bosnia, and Croatia. The confinement of this disease to a specific geographic area has led to speculation that an environmental factor may be involved in the etiology of BEN. Numerous environment...

FALLS AND HOSPITALIZED CANCER PATIENTSby REBECCA ALLAN-GIBBS, MSN, RN, CNS-BC, AOCNSMay 2014Advisor: Dr. Patricia Jarosz, PhD, RNMajor: NursingDegree: Doctor of PhilosophyProblem: Many hospital fall prevention studies have shown that having a diagnosis of cancerplaces patients at higher risk for falls/falls with injury when compared to other hospitalizedgroup...

This thesis proposes a general framework for equational logic programming, called catf:gory­ based equational logic by placing the general principles underlying the design of the pro­ gramming language Eqlog and formulated by Goguen and Meseguer into an abstract form. This framework generalises equational deduction to an arbitrary category satisfy­ ing certain natural conditions; completeness i...

Default logic [Reiter 80] is now commonly used in artificial intelligence systems and turns out to be one of the major research fields in knowledge representation. One of the first motivations of default logic wan to give a more accurate semantic represem tation to natural language statements of the form: Birds fl~: Mos t birds fly. or~ arguably: Typicall2o; birds lty~ The idea was to define a ...