Untanglings: A novel approach to analyzing concurrent systems

Substantial research efforts have been expended to deal with the complexity of concurrent systems that is inherent to their analysis, e.g., works that tackle the well-known state space explosion problem. Approaches differ in the classes of properties that they are able to suitably check and this is largely a result of the way they balance the trade-off between analysis time and space employed to describe a concurrent system. One interesting class of properties is concerned with behavioral characteristics. These properties are conveniently expressed in terms of computations, or runs, in concurrent systems. This article introduces the theory of untanglings that exploits a particular representation of a collection of runs in a concurrent system. It is shown that a representative untangling of a bounded concurrent system can be constructed that captures all and only the behavior of the system. Representative untanglings strike a unique balance between time and space, yet provide a single model for the convenient extraction of various behavioral properties. Performance measurements in terms of construction time and size of representative untanglings with respect to the original specifications of concurrent systems, conducted on a collection of models from practice, confirm the scalability of the approach. Finally, this article demonstrates practical benefits of using representative untanglings when checking various behavioral properties of concurrent systems.

Research report : computer surfaces and cross-infection

The computer is fast becoming part of the furniture in many hospital settings. Increasing reliance on the computer for documentation and dissemination of information in patient-care areas has increased the need to consider this equipment as a potential environmental reservoir for microorganisms. This paper reports on a small experimental study which investigated the potential role of computers in cross-infection. The results indicate that computer surfaces are similar to other environmental surfaces and carry the same risks for cross-infection.

The nurse researcher : an added dimension to qualitative research methodology

Nurse researchers are increasingly adopting qualitative methodologies for research practice and theory development. These approaches to research are, in many cases, more appropriate for the field of nursing inquiry than the previously dominant techno-rational methods. However, there remains the issue of adapting methodologies developed in other academic disciplines to the nursing research context. This paper draws upon my own experience with interpretive research to raise questions about the issue of nursing research within a social science research framework. The paper argues that by integrating the characteristics of nursing practice with the characteristics of research practice, the researcher can develop a 'nursing lens', an approach to qualitative research that brings an added dimension to social science methodologies in the nursing research context. Attention is drawn to the unique nature of the nurse-patient relationship, and the ways in which this aspect of nursing practice can enhance nursing research. Examples are given from interview transcripts to support this position.

Developing a model for collaborative research

Collaboration between nurses in clinical and educational settings has been advocated as a means of ensuring nursing research is both practice oriented and scientifically valid. This paper describes a model, jointly developed by colleagues from the Nursing Departments of Alfred Hospital and La Trobe University, to foster collaborative research and steer research projects generated by clinical nurses from conceptualisation to publication.

Intravascular device-related research : future priority areas for cancer nursing

The majority of cancer nurses have to manage intravascular devices (IVDs) on a daily basis, thus placing nurses in the strongest position to generate and use best available evidence to inform this area of practice and to ensure that patients are receiving the best care available. Our literature clearly reflects that cancer nurses are concerned about complications associated with IVDs (eg, extravasation,1 IVD-related bloodstream infection [IVD-BSI],2,3 and thrombosis4). Although enormous attention is given to this area, a number of nursing practices are not sufficiently based on empirical evidence.5,6 Nurses need to set goals and priorities for future research and investments. Priority areas for future research are suggested here for your consideration.

Student or scholar? Transforming identities through a research writing group

This article explores the role a writing group played in influencing the scholarly identities of a group of doctoral students by fostering their writing expertise. While the interest in writing groups usually centres on their potential to support doctoral students to publish, few studies have been conducted and written by the students themselves. Using a situated learning perspective on identity, we explore the connection that emerged between our perceptions of ourselves as developing expertise as scholarly writers and the function of the writing group as a dynamic space for transforming our identities. Findings show that our writing group served as a flexible and interactive Community of Practice (CoP) that shaped critical and durable shifts in identity amongst members.

Cloud computing for healthcare research information sharing

With the widespread application of healthcare Information and Communication Technology (ICT), constructing a stable and sustainable data sharing circumstance has attracted rapidly growing attention in both academic research area and healthcare industry. Cloud computing is one of long dreamed visions of Healthcare Cloud (HC), which matches the need of healthcare information sharing directly to various health providers over the Internet, regardless of their location and the amount of data. In this paper, we discuss important research tool related to health information sharing and integration in HC and investigate the arising challenges and issues. We describe many potential solutions to provide more opportunities to implement EHR cloud. As well, we introduce the development of a HC related collaborative healthcare research example, thus illustrating the prospective of applying Cloud Computing in the health information science research.

ACE research vignette 022 : family business succession : when death takes a hand

This series of research vignettes is aimed at sharing current and interesting research findings from our team of international Entrepreneurship researchers. In this vignette, Dr. Mervyn Morris considers the impact on family business operations due to the sudden and unexpected death of a key family member.

Key priorities for Australian infection control : summary of findings from the launch of the Centre for Research Excellence in Reducing Healthcare Associated Infections

The launch of the Centre of Research Excellence in Reducing Healthcare Associated Infection (CRE-RHAI) took place in Sydney on Friday 12 October 2012. The mission of the CRE-RHAI is to generate new knowledge about strategies to reduce healthcare associated infections and to provide data on the cost-effectiveness of infection control programs. As well as launching the CRE-RHAI, an important part of this event was a stakeholder Consultation Workshop, which brought together several experts in the Australian infection control community. The aims of this workshop were to establish the research and clinical priorities in Australian infection control, assess the importance of various multi-resistant organisms, and to gather information about decision making in infection control. We present here a summary and discussion of the responses we received.

Changing the culture of teaching and learning in ICT and engineering : facilitating research professors to be teaching and learning leaders

This is the project report of a leadership project undertaken jointly by the Queensland University of Technology, University of Technology Sydney, and Monash University. Specific project objectives were to: -To build leadership capacity in teaching and learning, and to improve teaching quality in ICT and Engineering disciplines at three leading Australian universities, and -To facilitate the transference of research leadership to T&L leadership, and disseminate this transference model developed through the project within the Engineering and ICT domains to other disciplines and universities.

Third international workshop on empirical research in business process management (ER-BPM 2012)

Empirical research in business process management(BPM) is coming of age. In 2009, when the inaugural ER-BPM workshop was held, the field of BPM research was characterized by a strong emphasis on solution development, but also by an increasing demand for insights or evaluations of BPM technology based on dedicated empirical research strategies. The ER-BPM workshop series was created to provide an international forum for researchers to discuss and present such research.

Craving : a research update [Editorial to a special issue]

Craving has long been associated with addictive disorders. It has received much attention over the last two decades, partly through the advent of pharmacotherapies that attempt to address it (Jonson, 2008; Yahyavi-Firouz-Abadi & See, 2009). More recently, craving for substances has attained increased prominence, with the inclusion of “Craving or a strong desire or urge” in the draft of DSM-5 (APA, 2012). Studies generally support craving as occurring on a single diagnostic dimension alongside existing dependence criteria (Hasin, et al., 2012; Keyes, et al., 2011). Some (e.g. Keyes, et al., 2011) demonstrate that the addition of craving to DSM-IV alcohol abuse and alcohol dependence criteria contributes novel variance in predicting severity, and improves discrimination above that offered by existing DSM-IV criteria. Within the current volume, the paper by Agrawal et al. confirms that craving strongly loads on a single dimension that also incorporates DSM-IV alcohol dependence criteria. Craving was a relatively severe symptom: It was least often endorsed, and did not exceed 50% endorsement until 6 of the remaining 7 criteria were present...

On the commonly accepted assumptions regarding observed motor vehicle crash counts at transport system locations

Readily accepted knowledge regarding crash causation is consistently omitted from efforts to model and subsequently understand motor vehicle crash occurrence and their contributing factors. For instance, distracted and impaired driving accounts for a significant proportion of crash occurrence, yet is rarely modeled explicitly. In addition, spatially allocated influences such as local law enforcement efforts, proximity to bars and schools, and roadside chronic distractions (advertising, pedestrians, etc.) play a role in contributing to crash occurrence and yet are routinely absent from crash models. By and large, these well-established omitted effects are simply assumed to contribute to model error, with predominant focus on modeling the engineering and operational effects of transportation facilities (e.g. AADT, number of lanes, speed limits, width of lanes, etc.) The typical analytical approach—with a variety of statistical enhancements—has been to model crashes that occur at system locations as negative binomial (NB) distributed events that arise from a singular, underlying crash generating process. These models and their statistical kin dominate the literature; however, it is argued in this paper that these models fail to capture the underlying complexity of motor vehicle crash causes, and thus thwart deeper insights regarding crash causation and prevention. This paper first describes hypothetical scenarios that collectively illustrate why current models mislead highway safety researchers and engineers. It is argued that current model shortcomings are significant, and will lead to poor decision-making. Exploiting our current state of knowledge of crash causation, crash counts are postulated to arise from three processes: observed network features, unobserved spatial effects, and ‘apparent’ random influences that reflect largely behavioral influences of drivers. It is argued; furthermore, that these three processes in theory can be modeled separately to gain deeper insight into crash causes, and that the model represents a more realistic depiction of reality than the state of practice NB regression. An admittedly imperfect empirical model that mixes three independent crash occurrence processes is shown to outperform the classical NB model. The questioning of current modeling assumptions and implications of the latent mixture model to current practice are the most important contributions of this paper, with an initial but rather vulnerable attempt to model the latent mixtures as a secondary contribution.