the concept of mathematical proof has been controversial for the past few decades. different philosophers have offered different theories about the nature of mathematical proof, among which theories presented by lakatos and hersh have had significant similarities and differences with each other. it seems that a comparison and critical review of these two theories will lead to a better understan...

Success on the licensure examination, NCLEX-PN, is a fundamental outcome criterion for practical nursing programs as well as a state requirement for professional practice. Nurse educators and administrators have an interest in identifying factors that predict success on the licensure examination. This study examined demographic, pre-admission, and programmatic variables to determine their predi...

this volume is the first complete roadmap to integrative nursing, providing a step-by-step guide to assess and clinically treat conditions through a variety of combined methodologies including wellness, lifestyle enhancement, and nutrition. this text puts forth both the skills and theoretical frameworks for multidisciplinary leaders to consider and implement integrative healthcare strategies wi...

A non-malleable code is a variant of an encoding scheme which is resilient to tampering attacks. The main idea behind non-malleable coding is that the adversary should not be able to obtain any valuable information about the message. Non-malleable codes are used in tamper-resilient cryptography and protecting memories against tampering attacks. Many different types of non-malleability have alre...

Program certification aims to provide explicit evidence that a program meets a specified level of safety. This evidence must be independently reproducible and verifiable. We have developed a system, based on theorem proving, that generates proofs that auto-generated aerospace code adheres to a number of safety policies. For certification purposes, these proofs need to be verified by a proof che...

Stray magnetic field is one of the main issues in design of transformers, since it causes non-ideal behavior of transformers. One of the techniques is usually adopted to mitigate the unwanted stray magnetic field is the use of auxiliary windings creating a magnetic field opposite to the incident one giving rise to the reduction of the total magnetic fields. This paper presents a new mathematica...

Proof planning, rst introduced by Bundy, is an approach to humanoriented theorem proving. In this contribution we rst relate this approach to other approaches to mechanised reasoning. Then we describe in detail an approach to proof planning in which the proof plan operators are represented declaratively. This allows for their mechanical adaptation. Thereby it is possible to model certain aspect...