A framework for reasoning about inherent parallelism in modern object-oriented languages

With the emergence of multi-core processors into the mainstream, parallel programming is no longer the specialized domain it once was. There is a growing need for systems to allow programmers to more easily reason about data dependencies and inherent parallelism in general purpose programs. Many of these programs are written in popular imperative programming languages like Java and C]. In this thesis I present a system for reasoning about side-effects of evaluation in an abstract and composable manner that is suitable for use by both programmers and automated tools such as compilers. The goal of developing such a system is to both facilitate the automatic exploitation of the inherent parallelism present in imperative programs and to allow programmers to reason about dependencies which may be limiting the parallelism available for exploitation in their applications. Previous work on languages and type systems for parallel computing has tended to focus on providing the programmer with tools to facilitate the manual parallelization of programs; programmers must decide when and where it is safe to employ parallelism without the assistance of the compiler or other automated tools. None of the existing systems combine abstraction and composition with parallelization and correctness checking to produce a framework which helps both programmers and automated tools to reason about inherent parallelism. In this work I present a system for abstractly reasoning about side-effects and data dependencies in modern, imperative, object-oriented languages using a type and effect system based on ideas from Ownership Types. I have developed sufficient conditions for the safe, automated detection and exploitation of a number task, data and loop parallelism patterns in terms of ownership relationships. To validate my work, I have applied my ideas to the C] version 3.0 language to produce a language extension called Zal. I have implemented a compiler for the Zal language as an extension of the GPC] research compiler as a proof of concept of my system. I have used it to parallelize a number of real-world applications to demonstrate the feasibility of my proposed approach. In addition to this empirical validation, I present an argument for the correctness of the type system and language semantics I have proposed as well as sketches of proofs for the correctness of the sufficient conditions for parallelization proposed.

Test and evaluation of non conventional instrument transformers and sampled value process bus on Powerlink's transmission network

IEC 61850 Process Bus technology has the potential to improve cost, performance and reliability of substation design. Substantial costs associated with copper wiring (designing, documentation, construction, commissioning and troubleshooting) can be reduced with the application of digital Process Bus technology, especially those based upon international standards. An IEC 61850-9-2 based sampled value Process Bus is an enabling technology for the application of Non-Conventional Instrument Transformers (NCIT). Retaining the output of the NCIT in its native digital form, rather than conversion to an analogue output, allows for improved transient performance, dynamic range, safety, reliability and reduced cost. In this paper we report on a pilot installation using NCITs communicating across a switched Ethernet network using the UCAIug Implementation Guideline for IEC 61850-9-2 (9-2 Light Edition or 9-2LE). This system was commissioned in a 275 kV Line Reactor bay at Powerlink Queensland’s Braemar substation in 2009, with sampled value protection IEDs 'shadowing' the existing protection system. The results of commissioning tests and twelve months of service experience using a Fibre Optic Current Transformer (FOCT) from Smart Digital Optics (SDO) are presented, including the response of the system to fault conditions. A number of remaining issues to be resolved to enable wide-scale deployment of NCITs and IEC 61850-9-2 Process Bus technology are also discussed.

Configurable multi-perspective business process models

A configurable process model provides a consolidated view of a family of business processes. It promotes the reuse of proven practices by providing analysts with a generic modelling artifact from which to derive individual process models. Unfortunately, the scope of existing notations for configurable process modelling is restricted, thus hindering their applicability. Specifically, these notations focus on capturing tasks and control-flow dependencies, neglecting equally important ingredients of business processes such as data and resources. This research fills this gap by proposing a configurable process modelling notation incorporating features for capturing resources, data and physical objects involved in the performance of tasks. The proposal has been implemented in a toolset that assists analysts during the configuration phase and guarantees the correctness of the resulting process models. The approach has been validated by means of a case study from the film industry.

The phenomenon of business process management : practitioners’ emphasis

Since 2005, Business Process Management (BPM) has been one of the top 10 issues for CIO’s. However, while there is a general awareness what BPM is and what it relates to, one needs to ask ‘does everyone have the same understanding of the BPM phenomenon? And if not, is there a pattern to these conceptions and how do the ways of conceptualizing BPM differ?’ This paper presents the practitioner conceptions of BPM using a phenomenographic approach to detect variations in the BPM conceptions emphasised. 26 interviews were conducted with BPM practitioners with various scopes of work (namely program management, project management and execution levels) in this qualitative research. Distinct variations in how BPM is conceptualized among BPM practitioners are revealed, showing that emphasis is put depending on their scope of work either towards value generation, improvement or managing processes. This is of particular relevance to the Information Systems and BPM community in order to align the rigorous work done to date by the research community with the current understanding of BPM in the practitioner community.

Alternative futures of globalisation a socio-ecological study of the world social forum process

Inspired by the initial World Social Forum in Porto Alegre Brazil, over the past decade over 200 local and regional social forums have been held, on five continents. This study has examined the nature of this broader social forum process, in particular as an aspect of the movement for 'another globalisation'. I discuss both the discourses for 'another world', as well as the development of an Alternative Globalisation Movement. As an action research study, the research took place within a variety of groups and networks. The thesis provides six accounts of groups and people striving and struggling for 'another world'. I provide a macro account of the invention and innovation of the World Social Forum. A grassroots film-makers collective provides a window into media. A local social forum opens up the radical diversity of actors. An activist exchange circle sheds light on strategic aspects of alternative globalisation. An educational initiative provides a window into transformations in pedagogy. And a situational account (of the G20 meeting in Melbourne in 2006) provides an overview of the variety of metanetworks that converge to voice demands for global justice and sustainability. In particular, this study has sought to shed light on how, within this process, groups and communities develop 'agency', a capacity to respond to the global challenges they / we face. And as part of this question, I have also explored how alternatives futures are developed and conceived, with a re-cognition of the importance of histories and geo-political (or 'eco-political') structures as contexts. I argue the World Social Forum Process is prefigurative, as an interactional process where many social alternatives are conceived, supported, developed and innovated into the world. And I argue this innovation process is meta-formative, where convergences of diverse actors comprise ‘social ecologies of alternatives’ which lead to opportunities for dynamic collaboration and partnership.

Patient-specific computational biomechanics for simulating adolescent scoliosis surgery : predicted vs clinical correction for a preliminary series of six patients

Scoliosis is a spinal deformity that requires surgical correction in progressive cases. In order to optimize surgical outcomes, patient-specific finite element models are being developed by our group. In this paper, a single rod anterior correction procedure is simulated for a group of six scoliosis patients. For each patient, personalised model geometry was derived from low-dose CT scans, and clinically measured intra-operative corrective forces were applied. However, tissue material properties were not patient-specific, being derived from existing literature. Clinically, the patient group had a mean initial Cobb angle of 47.3 degrees, which was corrected to 17.5 degrees after surgery. The mean simulated post-operative Cobb angle for the group was 18.1 degrees. Although this represents good agreement between clinical and simulated corrections, the discrepancy between clinical and simulated Cobb angle for individual patients varied between -10.3 and +8.6 degrees, with only three of the six patients matching the clinical result to within accepted Cobb measurement error of +-5 degrees. The results of this study suggest that spinal tissue material properties play an important role in governing the correction obtained during surgery, and that patient-specific modelling approaches must address the question of how to prescribe patient-specific soft tissue properties for spine surgery simulation.

Technology, design and process innovation in the built environment

Buildings and infrastructure represent principal assets of any national economy as well as prime sources of environmental degradation. Making them more sustainable represents a key challenge for the construction, planning and design industries and governments at all levels; and the rapid urbanisation of the 21st century has turned this into a global challenge. This book embodies the results of a major research programme by members of the Australia Co-operative Research Centre for Construction Innovation and its global partners, presented for an international audience of construction researchers, senior professionals and advanced students. It covers four themes, applied to regeneration as well as to new build, and within the overall theme of Innovation: Sustainable Materials and Manufactures, focusing on building material products, their manufacture and assembly – and the reduction of their ecological ‘fingerprints’, the extension of their service lives, and their re-use and recyclability. It also explores the prospects for applying the principles of the assembly line. Virtual Design, Construction and Management, viewed as increasing sustainable development through automation, enhanced collaboration (such as virtual design teams), real time BL performance assessment during design, simulation of the construction process, life-cycle management of project information (zero information loss) risk minimisation, and increased potential for innovation and value adding. Integrating Design, Construction and Facility Management over the Project Life Cycle, by converging ICT, design science engineering and sustainability science. Integration across spatial scales, enabling building–infrastructure synergies (such as water and energy efficiency). Convergences between IT and design and operational processes are also viewed as a key platform increased sustainability.

Project alliancing at National Museum of Australia : the collaborative process

Project alliancing is a new alternative to traditional project delivery systems, especially in the commercial building sector. The Collaborative Process is a theoretical model of people and systems characteristics that are required to reduce the adversarial nature of most construction projects. Although developed separately, both are responses to the same pressures. Project alliancing was just used successfully to complete the National Museum of Australia. This project was analyzed as a case study to determine the extent to which it could be classified as a “collaborative project”. Five key elements of The Collaborative Process were reviewed and numerous examples from the management of this project were cited that support the theoretical recommendations of this model. In the case of this project, significant added value was delivered to the client and many innovations resulted from the collective work of the parties to the contract. It was concluded that project alliances for commercial buildings offer many advantages over traditional project delivery systems, which are related to increasing the levels of collaboration among a project management team.

Mesenchymal stem cells

Cell based therapies as they apply to tissue engineering and regenerative medicine, require cells capable of self renewal and differentiation, and a prerequisite is to be able to prepare an effective dose of ex vivo expanded cells for autologous transplants. The in vivo identification of a source of physiologically relevant cell types suitable for cell therapies therefore figures as an integral part of tissue engineering. Stem cells serve as a reserve for biological repair, having the potential to differentiate into a number of specialised cell types within the body; they therefore represent the most useful candidates for cell based therapies. The primary goal of stem cell research is to produce cells that are both patient specific, as well as having properties suitable for the specific conditions for which they are intended to remedy. From a purely scientific perspective, stem cells allow scientists to gain a deeper understanding of developmental biology and regenerative therapies. Stem cells have acquired a number of uses for applications in regenerative medicine, immunotherapy, gene therapy, but it is in the area of tissue engineering that they generate most excitement, primarily as a result of their capacity for self-renewal and pluripotency. A unique feature of stem cells is their ability to maintain an uncommitted quiescent state in vivo and then, once triggered by conditions such as disease, injury or natural wear or tear, serve as a reservoir and natural support system to replenish lost cells. Although these cells retain the plasticity to differentiate into various tissues, being able to control this differentiation process is still one of the biggest challenges facing stem cell research. In an effort to harness the potential of these cells a number of studies have been conducted using both embryonic/foetal and adult stem cells. The use of embryonic stem cells (ESC) have been hampered by strong ethical and political concerns, this despite their perceived versatility due to their pluripotency. Ethical issues aside, other concerns raised with ESCs relates to the possibility of tumorigenesis, immune rejection and complications with immunosuppressive therapies, all of which adds layers of complications to the application ESC in research and which has led to the search for alternative sources for stem cells. The adult tissues in higher organisms harbours cells, termed adult stem cells, and these cells are reminiscent of unprogrammed stem cells. A number of sources of adult stem cells have been described. Bone marrow is by far the most accessible source of two potent populations of adult stem cells, namely haematopoietic stem cells (HSCs) and bone marrow mesenchymal stem cells (BMSCs). Autologously harvested adult stem cells can, in contrast to embryonic stem cells, readily be used in autografts, since immune rejection is not an issue; and their use in scientific research has not attracted the ethical concerns which have been the case with embryonic stem cells. The major limitation to their use, however, is the fact that adult stem cells are exceedingly rare in most tissues. This fact makes identifying and isolating these cells problematic; bone marrow being perhaps the only notable exception. Unlike the case of HSCs, there are as yet no rigorous criteria for characterizing MSCs. Changing acuity about the pluripotency of MSCs in recent studies has expanded their potential application; however, the underlying molecular pathways which impart the features distinctive to MSCs remain elusive. Furthermore, the sparse in vivo distribution of these cells imposes a clear limitation to their study in vitro. Also, when MSCs are cultured in vitro, there is a loss of the in vivo microenvironment, resulting in a progressive decline in proliferation potential and multipotentiality. This is further exacerbated with increased passage numbers in culture, characterized by the onset of senescence related changes. As a consequence, it is necessary to establish protocols for generating large numbers of MSCs but without affecting their differentiation potential. MSCs are capable of differentiating into mesenchymal tissue lineages, including bone, cartilage, fat, tendon, muscle, and marrow stroma. Recent findings indicate that adult bone marrow may also contain cells that can differentiate into the mature, nonhematopoietic cells of a number of tissues, including cells of the liver, kidney, lung, skin, gastrointestinal tract, and myocytes of heart and skeletal muscle. MSCs can readily be expanded in vitro and can be genetically modified by viral vectors and be induced to differentiate into specific cell lineages by changing the microenvironment–properties which makes these cells ideal vehicles for cellular gene therapy. MSCs can also exert profound immunosuppressive effects via modulation of both cellular and innate immune pathways, and this property allows them to overcome the issue of immune rejection. Despite the many attractive features associated with MSCs, there are still many hurdles to overcome before these cells are readily available for use in clinical applications. The main concern relates to in vivo characterization and identification of MSCs. The lack of a universal biomarker, sparse in vivo distribution, and a steady age related decline in their numbers, makes it an obvious need to decipher the reprogramming pathways and critical molecular players which govern the characteristics unique to MSCs. This book presents a comprehensive insight into the biology of adult stem cells and their utility in current regeneration therapies. The adult stem cell populations reviewed in this book include bone marrow derived MSCs, adipose derived stem cells (ASCs), umbilical cord blood stem cells, and placental stem cells. The features such as MSC circulation and trafficking, neuroprotective properties, and the nurturing roles and differentiation potential of multiple lineages have been discussed in details. In terms of therapeutic applications, the strengths of MSCs have been presented and their roles in disease treatments such as osteoarthritis, Huntington’s disease, periodontal regeneration, and pancreatic islet transplantation have been discussed. An analysis comparing osteoblast differentiation of umbilical cord blood stem cells and MSCs has been reviewed, as has a comparison of human placental stem cells and ASCs, in terms of isolation, identification and therapeutic applications of ASC in bone, cartilage regeneration, as well as myocardial regeneration. It is my sincere hope that this book will update the reader as to the research progress of MSC biology and potential use of these cells in clinical applications. It will be the best reward to all contributors of this book, if their efforts herein may in some way help the readers in any part of their study, research, and career development.

Overview of mesenchymal stem cells

Stem cells are unprogrammed cells which possess plasticity and self renewal capability. The term of stem cell was first used to describe cells committed to give rise to germline cells, and to describe proposed progenitor cells of the blood system [1]. A unique feature of stem cell is to remain quiescent in vivo in an uncommitted state. They serve as reservoir or natural support system to replenish cells lost due to disease, injury or aging. When triggered by appropriate signals these cells divide and may become specialized, committed cells; however being able to control this differentiation process still remains one of the biggest challenge in stem cell research [2]. The cell division of stem cells is a distinct aspect of their biology, since this division may be either symmetric or asymmetric. Symmetric division takes place when the stem cells divides and forms two new daughter cells. Asymmetric division is thought to take place only under certain conditions where stem cells divides and gives rise to a daughter cell which remains primitive and does not proliferate, and one committed progenitor cell, which heads down a path of differentiation. Asymmetric division of stem cells helps reparative process, and also ensures that the stem cells pool does not decrease, whereas symmetric division is responsible for stem cells undergoing self renewal and proliferation. The factors which prompt the stem cells to undergo asymmetric division are, however, not well understood, but it is clear that the delicate balance between the self renewal and differentiation is what maintains tissue homeostasis.

Design and implementation of the Exercise for Health trial – a pragmatic exercise intervention for women with breast cancer

Background Exercise for Health was a pragmatic, randomised, controlled trial comparing the effect of an eight-month exercise intervention on function, treatment-related side effects and quality of life following breast cancer, compared with usual care. The intervention commenced six weeks post-surgery, and two modes of delivering the same intervention was compared with usual care. The purpose of this paper is to describe the study design, along with outcomes related to recruitment, retention and representativeness, and intervention participation. Methods: Women newly diagnosed with breast cancer and residing in a major metropolitan city of Queensland, Australia, were eligible to participate. Consenting women were randomised to a face-to-face-delivered exercise group (FtF, n=67), telephone-delivered exercise group (Tel, n=67) or usual care group (UC, n=60) and were assessed pre-intervention (5-weeks post-surgery), mid-intervention (6 months post-surgery) and 10 weeks post-intervention (12 months post-surgery). Each intervention arm entailed 16 sessions with an Exercise Physiologist. Results: Of 318 potentially eligible women, 63% (n=200) agreed to participate, with a 12-month retention rate of 93%. Participants were similar to the Queensland breast cancer population with respect to disease characteristics, and the randomisation procedure was mostly successful at attaining group balance, with the few minor imbalances observed unlikely to influence intervention effects given balance in other related characteristics. Median participation was 14 (min, max: 0, 16) and 13 (min, max: 3, 16) intervention sessions for the FtF and Tel, respectively, with 68% of those in Tel and 82% in FtF participating in at least 75% of sessions. Discussion: Participation in both intervention arms during and following treatment for breast cancer was feasible and acceptable to women. Future work, designed to inform translation into practice, will evaluate the quality of life, clinical, psychosocial and behavioural outcomes associated with each mode of delivery.

Understanding the factors influencing safe and unsafe motorcycle rider intentions

The increasing popularity of motorcycles in Australia is a significant concern as motorcycle riders represent 15% of all road fatalities and an even greater proportion of serious injuries. This study assessed the psychosocial factors influencing motorcycle riders’ intentions to perform both safe and risky riding behaviours. Using an extended theory of planned behaviour (TPB), motorcycle riders (n = 229) from Queensland, Australia were surveyed to assess their riding attitudes, subjective norm (general and specific), perceived behavioural control (PBC), group norm, self-identity, sensation seeking, and aggression, as well as their intentions, in relation to three safe (e.g., handle my motorcycle skilfully) and three risky (e.g., bend road rules to get through traffic) riding behaviours. Although there was variability in the predictors of intention across the behaviours, results revealed that safer rider intentions were most consistently predicted by PBC, while riskier intentions were predicted by attitudes and sensation seeking. The TPB was able to explain a greater proportion of the variance for intentions to perform risky behaviours. Overall, this study has provided insight into the complexity of factors contributing to rider intentions and suggests that different practical strategies need to be adopted to facilitate safer and reduce risky rider decisions.

Instability prolongs the chondral phase during bone healing in sheep

In this sheep study, we investigated the influence of fixation stability on the temporal and spatial distribution of tissues in the fracture callus. As the initial mechanical conditions have been cited as being especially important for the healing outcome, it was hypothesized that differences in the path of healing would be seen as early as the initial phase of healing. ----- ----- Sixty-four sheep underwent a mid-shaft tibial osteotomy that was treated with either a rigid or a semi-rigid external fixator. Animals were sacrificed at 2, 3, 6 and 9 weeks postoperatively and the fracture calluses were analyzed using radiological, biomechanical and histological techniques. Statistical comparison between the groups was performed using the Mann–Whitney U test for unpaired non-parametric data. ----- ----- In the callus of the tibia treated with semi-rigid fixation, remnants of the fracture haematoma remained present for longer, although new periosteal bone formation during early healing was similar in both groups. The mechanical competence of the healing callus at 6 weeks was inferior compared to tibiae treated with rigid fixation. Semi-rigid fixation resulted in a larger cartilage component of the callus, which persisted longer. Remodeling processes were initiated earlier in the rigid group, while new bone formation continued throughout the entire investigated period in the semi-rigid group. ----- ----- In this study, evidence is provided that less rigid fixation increased the time required for healing. The process of intramembranous ossification appeared during the initial stages of healing to be independent of mechanical stability. However, the delay in healing was related to a prolonged chondral phase.

Subchondral bone osteoblasts can induce chondrocyte mineralization during osteoarthritis and this process is relevant to cartilage degradation

Pathological mineralization of articular cartilage is a characteristic feature of osteoarthritis (OA); however, the underlying mechanisms, and their relevance to cartilage degeneration, are not clear. The involvement of subchondral bone changes in OA have been reported previously with the characterization of abnormal subchondral bone mineral density (BMD), osteiod volume, altered bone mechanical parameters and an increase in bone turnover markers. A number of osteoarthritic animal models have demonstrated that subchondral bone changes often precede cartilage degeneration. In this study site specific localization of mineralization markers were detected in the OA cartilage. Chondrocytes and osteoblasts derived from OA cartilage and subchondral bone showed a significant increase in the mRNA expressions of mineralization markers. Interestingly, osteoblasts from OA subchondral bone could significantly decrease cartilage matrix expression; whereas, increase mineralization of chondrocytes (Figure 1). Osteogenic factors, such as CBFA1, ALP, and type X collagen (Col-X), were detected in chondrocytes under mineralization conditions (Figure 2). Furthermore, chondrocyte mineralization was followed by increased mRNA and protein levels of MMP-2, MMP-9 and MMP-13, all of which are detrimental to cartilage integrity in vivo. The data reported here suggests that the upregulation of subchondral bone-mineralization, typical of OA progression, causes cartilage mineralization, and that the mineralization of chondrocytes induce increased MMP levels with a subsequent degradation of the articular cartilage.