789 research outputs found
Extending ACL2 with SMT Solvers
We present our extension of ACL2 with Satisfiability Modulo Theories (SMT)
solvers using ACL2's trusted clause processor mechanism. We are particularly
interested in the verification of physical systems including Analog and
Mixed-Signal (AMS) designs. ACL2 offers strong induction abilities for
reasoning about sequences and SMT complements deduction methods like ACL2 with
fast nonlinear arithmetic solving procedures. While SAT solvers have been
integrated into ACL2 in previous work, SMT methods raise new issues because of
their support for a broader range of domains including real numbers and
uninterpreted functions. This paper presents Smtlink, our clause processor for
integrating SMT solvers into ACL2. We describe key design and implementation
issues and describe our experience with its use.Comment: In Proceedings ACL2 2015, arXiv:1509.0552
Nursesâ lived experience of spirituality in relation to helping patients cope with loss in situations of chronic and terminal illness
This qualitative study explores spiritual issues in relation to coping with loss in situations of chronic and terminal illness. An Heideggerian hermeneutic phenomenological approach was chosen as the most appropriate methodology for exploring nursesâ lived experience of utilising spirituality as a means of helping patients cope with loss. My prior knowledge both brought me to the subject of study and influenced my interpretation of data. To ensure transparency of method this prior knowledge is outlined in my fore-structure of understanding.
A purposive sample of 12 registered nurses, 5 from hospice, 4 from community practice and 3 from a nursing home setting participated in semi-structured interviews. A stepped process of analysis of interview texts produced overarching themes which are illustrated with excerpts that collectively produce a âthick enough descriptionâ intended to facilitate understanding of my interpretation of data by those who chose to read this study. Findings were illuminated by drawing on existing theoretical knowledge and concepts.
My research diary and notes at interview constituted a research journal that recorded how my knowledge and understanding developed through my reflection on, and reflexive response to interview data. In this way my research journal was used to illuminate the research process.
There are an increasing number of studies that consider spirituality in healthcare and how patientsâ spiritual needs can be recognised and fulfilled. However, this study provides a different perspective, in particular, examples of how nursesâ development as persons may render them not only a spiritual resource in themselves, but also, contribute to how they become proficient in spiritual care in situations of loss. There were four overriding ways in which the development of this aptitude was evident. Firstly, belief provided them with a means of coming to an understanding of why things happen and so helped them accommodate repeated exposure to patientsâ grief. Secondly, being a spiritual carer involved establishing a relationship with patients through âconnectedâ communication. Thirdly, becoming proficient in spiritual care was reflected by an increasing maturity in engaging with patientsâ real life and death issues, which was sustained by taking âtime outâ to reconnect with the self. Finally, belonging to a team whose culture reflected a spirit of reciprocal support was crucial when patient care was emotionally demanding
Biochemical changes in the uterus during early pregnancy
Imperial Users onl
The Case for Copyright: Protecting Originality and the Architectâs Rights of Ownership
The Architectural Works Copyright Protection Act of 1990 provides valuable protection for architects in a specific condition: It prevents their designs and drawings from being reused without their permission or compensation. Nonetheless, it has raised some interesting questions as to the definition of âarchitectural works,â what actually merits copyright protection and what constitutes real originality
Has the Architectural Works Copyright Protection Act Worked?: An Architectâs Perspective
Attorneys can help their designer clients by recommending that all architectural work, however modest in design aspiration, be systematically copyrighted to protect against not only unauthorized use but also the threat of ownership challenges by competitors
- âŠ