Nurses' spiritual well-being: Its influence on attitudes and level of practice in providing spiritual care

The purpose of this study was to examine the relationship between the spiritual well-being of nurses and its influence on their attitudes toward providing spiritual care to patients. Two research instruments and a demographic data form were used for the survey. Using a descriptive design, tbe Spiritual Well-Being Scale, the Health Professional's Spiritual Role Scale, and the demographic data form were administered to 100 registered nurses from a large South Florida teaching hospital. The findings indicated a significantly positive correlation between the overall Spiritual Well-Being Scale and the Health Professional's Spiritual Role Scale (r = 0.52; p =.005). Significant differences were found between correlation of nurses' levels of spiritual well-being and all sociodemographic factors except for the three Age Groups and for religious affiliations. Findings have implications for how nurses should be trained in meeting patients total needs. ^

Reducing the Discipline Gap Among African American Students: Learning in Classroom Communities of Practice

The author argues that learning in classroom communities of practice may reduce exclusionary school discipline practices and the discipline gap that disproportionately affect African American students. Communities of practice prioritize the social nature of learning as legitimate peripheral participation, encouraging community membership, social identity transformation, and synergistic relationships and spaces.

Communities of Practice and Learning in a Senior Living Environment

Adults participate in communities of practice (COP) in diverse environments. As the number of US citizens 55 years or older increases, so might the number residing in adult living environments. COP research would be valuable in such settings.

Cultivating a Community of Practice Among Student Teachers and Cooperating Teachers

This study examined the experience of four student teachers and their supervising teachers who participated in a Community of Practice (CoP) during their internship semester. Their experience can be separated into the four key components of a Community of Practice: (a) structure, (b) processes, (c) content, and (d) conditions.

A methodology for formally modeling and analyzing software architecture of mobile agent systems

A methodology for formally modeling and analyzing software architecture of mobile agent systems provides a solid basis to develop high quality mobile agent systems, and the methodology is helpful to study other distributed and concurrent systems as well. However, it is a challenge to provide the methodology because of the agent mobility in mobile agent systems.^ The methodology was defined from two essential parts of software architecture: a formalism to define the architectural models and an analysis method to formally verify system properties. The formalism is two-layer Predicate/Transition (PrT) nets extended with dynamic channels, and the analysis method is a hierarchical approach to verify models on different levels. The two-layer modeling formalism smoothly transforms physical models of mobile agent systems into their architectural models. Dynamic channels facilitate the synchronous communication between nets, and they naturally capture the dynamic architecture configuration and agent mobility of mobile agent systems. Component properties are verified based on transformed individual components, system properties are checked in a simplified system model, and interaction properties are analyzed on models composing from involved nets. Based on the formalism and the analysis method, this researcher formally modeled and analyzed a software architecture of mobile agent systems, and designed an architectural model of a medical information processing system based on mobile agents. The model checking tool SPIN was used to verify system properties such as reachability, concurrency and safety of the medical information processing system. ^ From successful modeling and analyzing the software architecture of mobile agent systems, the conclusion is that PrT nets extended with channels are a powerful tool to model mobile agent systems, and the hierarchical analysis method provides a rigorous foundation for the modeling tool. The hierarchical analysis method not only reduces the complexity of the analysis, but also expands the application scope of model checking techniques. The results of formally modeling and analyzing the software architecture of the medical information processing system show that model checking is an effective and an efficient way to verify software architecture. Moreover, this system shows a high level of flexibility, efficiency and low cost of mobile agent technologies. ^

Real-time scheduling of embedded applications on multi-core platforms

For the past several decades, we have experienced the tremendous growth, in both scale and scope, of real-time embedded systems, thanks largely to the advances in IC technology. However, the traditional approach to get performance boost by increasing CPU frequency has been a way of past. Researchers from both industry and academia are turning their focus to multi-core architectures for continuous improvement of computing performance. In our research, we seek to develop efficient scheduling algorithms and analysis methods in the design of real-time embedded systems on multi-core platforms. Real-time systems are the ones with the response time as critical as the logical correctness of computational results. In addition, a variety of stringent constraints such as power/energy consumption, peak temperature and reliability are also imposed to these systems. Therefore, real-time scheduling plays a critical role in design of such computing systems at the system level. We started our research by addressing timing constraints for real-time applications on multi-core platforms, and developed both partitioned and semi-partitioned scheduling algorithms to schedule fixed priority, periodic, and hard real-time tasks on multi-core platforms. Then we extended our research by taking temperature constraints into consideration. We developed a closed-form solution to capture temperature dynamics for a given periodic voltage schedule on multi-core platforms, and also developed three methods to check the feasibility of a periodic real-time schedule under peak temperature constraint. We further extended our research by incorporating the power/energy constraint with thermal awareness into our research problem. We investigated the energy estimation problem on multi-core platforms, and developed a computation efficient method to calculate the energy consumption for a given voltage schedule on a multi-core platform. In this dissertation, we present our research in details and demonstrate the effectiveness and efficiency of our approaches with extensive experimental results.

Mock-ups in design : the implications of utlizing [sic] a mock-up review process in professional practice

The purpose of this research is to examine the use of a mock-up review process in interior design projects to better understand the implications of using such a process within the standard professional practice model. The research consisted of interviewing design professionals who utilize mock-ups as part of their standard of practice. These interviews were centered around two groups - those working in shipbuilding, where mock-ups have a long history, and those working in land-based projects, where mock-up use is rare. Analysis of the interviews indicated a positive relationship between mock-up use and collaboration, innovation, and problem solving. The interviews also brought to light concerns on behalf of all the professionals surveyed about the current practice model in land-based building design and construction projects within the United States. The positive relationships shown in the thesis support further research to explore how mock-ups can be best utilized in interior design.