Mind change complexity of learning logic programs

The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds for learnability of these classes both from positive facts and from positive and negative facts. Building on Angluin’s notion of finite thickness and Wright’s work on finite elasticity, Shinohara defined the property of bounded finite thickness to give a sufficient condition for learnability of indexed families of computable languages from positive data. This paper shows that an effective version of Shinohara’s notion of bounded finite thickness gives sufficient conditions for learnability with ordinal mind change bound, both in the context of learnability from positive data and for learnability from complete (both positive and negative) data. Let Omega be a notation for the first limit ordinal. Then, it is shown that if a language defining framework yields a uniformly decidable family of languages and has effective bounded finite thickness, then for each natural number m >0, the class of languages defined by formal systems of length <= m: • is identifiable in the limit from positive data with a mind change bound of Omega (power)m; • is identifiable in the limit from both positive and negative data with an ordinal mind change bound of Omega × m. The above sufficient conditions are employed to give an ordinal mind change bound for learnability of minimal models of various classes of length-bounded Prolog programs, including Shapiro’s linear programs, Arimura and Shinohara’s depth-bounded linearly covering programs, and Krishna Rao’s depth-bounded linearly moded programs. It is also noted that the bound for learning from positive data is tight for the example classes considered.

The influence of fibrin based hydrogels on the chondrogenic differentiation of human bone marrow stromal cells

Mesenchymal Stem Cells (MSC) are frequently incorporated into osteochondral implants and cell seeding is often facilitated with hydrogels which exert a profound influence on the chondrogenic differentiation of MSC. An attempt was made to elucidate this effect by comparing the chondrogenic differentiation of Bone Marrow Stromal Cells (BMSC) in fibrin and fibrin alginate composites. A biphasic osteochondral model which simulated the native in vivo environment was employed in the study. In the first stage of the experiment, BMSC was encapsulated in fibrin, Fibrin Alginate 0.3% (FA0.3) and 0.6% (FA0.6). Chondrogenic differentiation within these cell-hydrogel pellets was compared against that of standard cell pellets under inductive conditions and the matrices which supported chondrogenesis were used in the cartilage phase of biphasic constructs. Neo-cartilage growth was monitored in these cocultures. It was observed that hydrogel encapsulation influenced mesenchymal condensation which preceded chondrogenic differentiation. Early cell agglomeration was observed in fibrin as compared to fibrin alginate composites. These fibrin encapsulated cells differentiated into chondrocytes which secreted aggrecan and collagen II. When the alginate content rose from 0.3 to 0.6%, chondrogenic differentiation declined with a reduction in the expression of collagen II and aggrecan. Fibrin and FA0.3 were tested in the cartilage phase of the biphasic osteochondral constructs and the former supported superior cartilage growth with higher cellularity, total Glycosaminoglycan (GAG) and collagen II levels. The FA0.3 cartilage phase was found to be fragmented and partially calcified. The use of fibrin for cartilage repair was advocated as it facilitated BMSC chondrogenesis and cartilaginous growth in an osteochondral environment.

Poly(D,L-lactide)/hydroxyapatite composite tissue engineering scaffolds prepared by stereolithography

Hydroxyapatite (HAP) is a major component of bone and has osteoconductive and -inductive properties. It has been successfully applied as a substrate in bone tissue engineering, either with or without a biodegradable polymer such as polycaprolactone or polylactide. Recently, we have developed a stereolithography resin based on poly(D,L-lactide) (PDLLA) and a non-reactive diluent, that allows for the preparation of tissue engineering scaffolds with designed architectures. In this work, designed porous composite structures of PDLLA and HAP are prepared by stereolithography.

The shaping of midlife women's views of health and health behaviors

The menopausal transition is a marker of aging for women and a time when health professionals urge women to prevent disease. In this research we adopted a constructivist, inductive approach in exploring how and why midlife women think about health in general, about being healthy, and about factors that influence engaging in healthy behaviors. The sample constituted 23 women who had participated in a women’s wellness program intervention trial and subsequent interviews. The women described lives of healthy eating and exercise, yet, their perceptions of health and healthy behavior at midlife contradicted that history. Midlife was associated with risk and guilt at not doing enough to be healthy. Health professionals provided a very limited frame within which to judge what is healthy. Mostly this was left up to individual women. Those who were successful framed health as “being able to do what you want to do when you want to do it.” In this article we present study findings of how meanings attached to health and being healthy were constructed through social expectations, family relationships, and life experiences.

Executive coaching : perspectives of effectiveness from executives and coaches

Over the past two decades there has been a remarkable expansion in the use of executive coaching as an executive development technique. The increasing prominence of executive coaching has been attributed to the emergence of new organisational cultures and the subtler competencies needed by executives in these faster moving organisations. The widespread popularity of executive coaching has been based largely on anecdotal feedback regarding its effectiveness. The small body of empirical research has been growing but conclusive outcomes are rare. The prominent question for those with the business imperative to implement executive coaching has been what are the ingredients of the process that engender an effective outcome? This investigation has focused on the factors of executive coaching that contribute to effectiveness. A qualitative methodology facilitated an in-depth study of the experiences of the participants of executive coaching with the perceptions of both executives and coaches being sought. Semi-structured interviews and a focus group provided rich, thick descriptions and together with a process of inductive analysis produced findings that confidently identify the key factors that contribute to coaching effectiveness. Six major themes were identified, each comprising a collection of meanings. These themes have been labelled Executive Engagement, Preliminary Assessment and Feedback, Coaching Process, Coach.s Contribution, Trusting Relationship and Support from the Organisation. One theme, Coaching Process, comprises three significant sub-themes, namely, Encouragement and Emotional Support, Challenge and Reflection and Enhancing Executive Performance. The findings of this study add value to the field by identifying factors contributing to coaching effectiveness, and providing for the coaching practitioner a basis for enhancing their practice of executive coaching to better meet the needs of executives and their organisations.

In vitro and in vivo evaluation of adenovirus combined silk fibroin scaffolds for BMP-7 gene delivery

Introduction and aims: For a scaffold material to be considered effective and efficient for tissue engineering it must be biocompatible as well as bioinductive. Silk fiber is a natural biocompatible material suitable for scaffold fabrication; however, silk is tissue-conductive and lacks tissue-inductive properties. One proposed method to make the scaffold tissue-inductive is to introduce plasmids or viruses encoding a specific growth factor into the scaffold. In this study, we constructed adenoviruses encoding bone morphogenetic protein-7 (BMP-7) and incorporated these into silk scaffolds. The osteo-inductive and new bone formation properties of these constructs were assessed in vivo in a critical-sized skull defect animal model. Materials and methods: Silk fibroin scaffolds containing adenovirus particles coding BMP-7 were prepared. The release of the adenovirus particles from the scaffolds was quantified by tissue-culture infective dose (TCID50) and the bioactivity of the released viruses was evaluated on human bone marrow mesenchymal stromal cells (BMSCs). To demonstrate the in vivo bone forming ability of the virus-carrying silk fibroin scaffold, the scaffold constructs were implanted into calvarial defects in SCID mice. Results: In vitro studies demonstrated that the virus-carrying silk fibroin scaffold released virus particles over a 3 week period while preserving their bioactivity. In vivo test of the scaffold constructs in critical-sized skull defect areas revealed that silk scaffolds were capable of delivering the adenovirus encoding BMP-7, resulting significantly enhanced new bone formation. Conclusions: Silk scaffolds carrying BMP-7 encoding adenoviruses can effectively transfect cells and enhance both in vitro and in vivo osteogenesis. The findings of this study indicate silk fibroin is a promising biomaterial for gene delivery to repair critical-sized bone defects.

Hylaluronan-based heparin-incorporated hydrogels for generation of axially vascularized bioartificial bone tissues : in vitro and in vivo evaluation in a PLDLLA-TCP-PCL-composite system

Smart matrices are required in bone tissueengineered grafts that provide an optimal environment for cells and retain osteo-inductive factors for sustained biological activity. We hypothesized that a slow-degrading heparin-incorporated hyaluronan (HA) hydrogel can preserve BMP-2; while an arterio–venous (A–V) loop can support axial vascularization to provide nutrition for a bioartificial bone graft. HA was evaluated for osteoblast growth and BMP-2 release. Porous PLDLLA–TCP–PCL scaffolds were produced by rapid prototyping technology and applied in vivo along with HA-hydrogel, loaded with either primary osteoblasts or BMP-2. A microsurgically created A–V loop was placed around the scaffold, encased in an isolation chamber in Lewis rats. HA-hydrogel supported growth of osteoblasts over 8 weeks and allowed sustained release of BMP-2 over 35 days. The A–V loop provided an angiogenic stimulus with the formation of vascularized tissue in the scaffolds. Bone-specific genes were detected by real time RT-PCR after 8 weeks. However, no significant amount of bone was observed histologically. The heterotopic isolation chamber in combination with absent biomechanical stimulation might explain the insufficient bone formation despite adequate expression of bone-related genes. Optimization of the interplay of osteogenic cells and osteo-inductive factors might eventually generate sufficient amounts of axially vascularized bone grafts for reconstructive surgery.

Exploring the role of the governing body (board) in information technology governance : a study of Australian universities

In this thesis, I advance the understanding of information technology (IT) governance research and corporate governance research by considering the question “How do boards govern IT?” The importance of IT to business has increased over the last decade, but there has been little academic research which has focused on boards and their role in the governance of IT (Van Grembergen, De Haes and Guldentops, 2004). Most of the research on information technology governance (ITG) has focused on advancing the understanding and measurement of the components of the ITG model (Buckby, Best & Stewart, 2008; Wilkin & Chenhall, 2010), a model recommended by the IT Governance Institute (2003) as ‘best practice’ for boards to use in governing IT. IT governance is considered to be the responsibility of the board and is said to form an important subset of an organisation’s corporate governance processes (Borth & Bradley, 2008). Boards need to govern IT as a result of the large capital investment in IT resources and high dependency on IT by organisations. Van Grembergen, De Haes and Guldentops (2004) and De Haes & Van Grembergen (2009) indicate that corporate governance matters are not able to be effectively discharged unless IT is being governed properly, and call for further specific research on the role of the board in ITG. Researchers also indicate that the link between corporate governance and IT governance has been neglected (Borth & Bradley, 2008; Musson & Jordan, 2005; Bhattacharjya & Chang, 2008). This thesis will address this gap in the ITG literature by providing the bridge between the ITG and corporate governance literatures. My thesis uses a critical realist epistemology and a mixed method approach to gather insights into my research question. In the first phase of my research I develop a survey instrument to assess whether boards consider the components of the ITG model in governing IT. The results of this first study indicated that directors do not conceptualise their role in governing IT using the elements of the ITG model. Thus, I moved to focus on whether prominent corporate governance theories might elucidate how boards govern IT. In the second phase of the research, I used a qualitative inductive case based study to assess whether agency, stewardship and resource dependence theories explain how boards govern IT in Australian universities. As the first in-depth study of university IT governance processes, my research contributes to the ITG research field by revealing that Australian university board governance of IT is characterized by a combination of agency theory and stewardship theory behaviours and processes. The study also identified strong links between a university’s IT structure and evidence of agency and stewardship theories. This link provides insight into the structures element of the emerging enterprise governance of IT framework (Van Grembergen, De Haes & Guldentops, 2004; De Haes & Van Grembergen, 2009; Van Grembergen & De Haes, 2009b; Ko & Fink, 2010). My research makes an important contribution to governance research by identifying a key link between corporate and ITG literatures and providing insight into board IT governance processes. The research conducted in my thesis should encourage future researchers to continue to explore the links between corporate and IT governance research.

On the data consumption benefits of accepting increased uncertainty

In the context of learning paradigms of identification in the limit, we address the question: why is uncertainty sometimes desirable? We use mind change bounds on the output hypotheses as a measure of uncertainty and interpret ‘desirable’ as reduction in data memorization, also defined in terms of mind change bounds. The resulting model is closely related to iterative learning with bounded mind change complexity, but the dual use of mind change bounds — for hypotheses and for data — is a key distinctive feature of our approach. We show that situations exist where the more mind changes the learner is willing to accept, the less the amount of data it needs to remember in order to converge to the correct hypothesis. We also investigate relationships between our model and learning from good examples, set-driven, monotonic and strong-monotonic learners, as well as class-comprising versus class-preserving learnability.

An exploration of shared services types in higher education

The emerging global Higher Education (HE) market challenges all universities to reconsider their mission, in order to function effectively and efficiently, and to be responsive to changing marketplace demands. Universities are considering cooperating or sharing in a wide range of areas, in order to achieve sought after cost savings and improvements in performance.Studies suggest that a wide range of services could potentially be shared across Higher Education Institutions (HEIs),offering several potential benefits. While there are many individual documented examples of how shared services have been applied in the Higher Education sector, there has been little synthesis, conceptualization or discussion (in general or in the HE sector) around the different types of possible shared services options and how they are structured. A deeper understanding of potential types of sharing arrangements will be of value to those universities considering shared services, implementing shared services, and managing shared services. Through analysis of 36 documented case studies of shared services in HE, this study sought to synthesize a typology of sharing arrangements. An inductive approach was used to identify the core differentiating dimensions. The findings present eight types of sharing arrangements that occur in the HE sector, with descriptions and examples from the case studies observed.

Using the Precede-Proceed Model of Health Program Planning in breast cancer nursing research

Aim: In this paper we discuss the use of the Precede-Proceed model when investigating health promotion options for breast cancer survivors. Background: Adherence to recommended health behaviors can optimize well-being after cancer treatment. Guided by the Precede-Proceed approach, we studied the behaviors of breast cancer survivors in our health service area. Data sources: The interview data from the cohort of breast cancer survivors are used in this paper to illustrate the use of Precede-Proceed in this nursing research context. Interview data were collected from June to December 2009. We also searched Medline, CINAHL, PsychInfo and PsychExtra up to 2010 for relevant literature in English to interrogate the data from other theoretical perspectives. Discussion: The Precede-Proceed model is theoretically-complex. The deductive analytic process guided by the model usefully explained some of the health behaviors of cancer survivors, although it could not explicate many other findings. A complementary inductive approach to the analysis and subsequent interpretation by way of Uncertainty in Illness Theory and other psychosocial perspectives provided a comprehensive account of the qualitative data that resulted in contextually-relevant recommendations for nursing practice. Implications for nursing: Nursing researchers using Precede-Proceed should maintain theoretical flexibility when interpreting qualitative data. Perspectives not embedded in the model might need to be considered to ensure that the data are analyzed in a contextually-relevant way. Conclusion: Precede-Proceed provides a robust framework for nursing researchers investigating health promotion in cancer survivors; however additional theoretical lenses to those embedded in the model can enhance data interpretation.

Understanding the phenomenon of IS success in China through the lens of the IS-Impact model

This study is conducted within the IS-Impact Research Track at Queensland University of Technology (QUT). The goal of the IS-Impact Track is, “to develop the most widely employed model for benchmarking information systems in organizations for the joint benefit of both research and practice” (Gable et al, 2006). IS-Impact is defined as “a measure at a point in time, of the stream of net benefits from the IS, to date and anticipated, as perceived by all key-user-groups” (Gable Sedera and Chan, 2008). Track efforts have yielded the bicameral IS-Impact measurement model; the “impact” half includes Organizational-Impact and Individual-Impact dimensions; the “quality” half includes System-Quality and Information-Quality dimensions. The IS-Impact model, by design, is intended to be robust, simple and generalizable, to yield results that are comparable across time, stakeholders, different systems and system contexts. The model and measurement approach employ perceptual measures and an instrument that is relevant to key stakeholder groups, thereby enabling the combination or comparison of stakeholder perspectives. Such a validated and widely accepted IS-Impact measurement model has both academic and practical value. It facilitates systematic operationalization of a main dependent variable in research (IS-Impact), which can also serve as an important independent variable. For IS management practice it provides a means to benchmark and track the performance of information systems in use. The objective of this study is to develop a Mandarin version IS-Impact model, encompassing a list of China-specific IS-Impact measures, aiding in a better understanding of the IS-Impact phenomenon in a Chinese organizational context. The IS-Impact model provides a much needed theoretical guidance for this investigation of ES and ES impacts in a Chinese context. The appropriateness and soundness of employing the IS-Impact model as a theoretical foundation are evident: the model originated from a sound theory of IS Success (1992), developed through rigorous validation, and also derived in the context of Enterprise Systems. Based on the IS-Impact model, this study investigates a number of research questions (RQs). Firstly, the research investigated what essential impacts have been derived from ES by Chinese users and organizations [RQ1]. Secondly, we investigate which salient quality features of ES are perceived by Chinese users [RQ2]. Thirdly, we seek to answer whether the quality and impacts measures are sufficient to assess ES-success in general [RQ3]. Lastly, the study attempts to address whether the IS-Impact measurement model is appropriate for Chinese organizations in terms of evaluating their ES [RQ4]. An open-ended, qualitative identification survey was employed in the study. A large body of short text data was gathered from 144 Chinese users and 633 valid IS-Impact statements were generated from the data set. A generally inductive approach was applied in the qualitative data analysis. Rigorous qualitative data coding resulted in 50 first-order categories with 6 second-order categories that were grounded from the context of Chinese organization. The six second-order categories are: 1) System Quality; 2) Information Quality; 3) Individual Impacts;4) Organizational Impacts; 5) User Quality and 6) IS Support Quality. The final research finding of the study is the contextualized Mandarin version IS-Impact measurement model that includes 38 measures organized into 4 dimensions: System Quality, information Quality, Individual Impacts and Organizational Impacts. The study also proposed two conceptual models to harmonize the IS-Impact model and the two emergent constructs – User Quality and IS Support Quality by drawing on previous IS effectiveness literatures and the Work System theory proposed by Alter (1999) respectively. The study is significant as it is the first effort that empirically and comprehensively investigates IS-Impact in China. Specifically, the research contributions can be classified into theoretical contributions and practical contributions. From the theoretical perspective, through qualitative evidence, the study test and consolidate IS-Impact measurement model in terms of the quality of robustness, completeness and generalizability. The unconventional research design exhibits creativity of the study. The theoretical model does not work as a top-down a priori seeking for evidence demonstrating its credibility; rather, the study allows a competitive model to emerge from the bottom-up and open-coding analysis. Besides, the study is an example extending and localizing pre-existing theory developed in Western context when the theory is introduced to a different context. On the other hand, from the practical perspective, It is first time to introduce prominent research findings in field of IS Success to Chinese academia and practitioner. This study provides a guideline for Chinese organizations to assess their Enterprise System, and leveraging IT investment in the future. As a research effort in ITPS track, this study contributes the research team with an alternative operationalization of the dependent variable. The future research can take on the contextualized Mandarin version IS-Impact framework as a theoretical a priori model, further quantitative and empirical testing its validity.

Younger and older women's concerns about menopause after breast cancer

A number of treatments for breast cancer induce menopause. This study's aim was to explore women's perceptions and beliefs about menopausal symptoms and their management following breast cancer, and to compare younger and older women's experiences. Data were collected via semi-structured focus groups from women who had undergone treatment for breast cancer, and who were currently experiencing menopausal symptoms. Data were interpreted by way of simple inductive thematic analysis. The women experienced a range of menopausal symptoms that they were not prepared for and found difficult to manage. The central themes related to their lack of knowledge of how to manage menopausal symptoms, and the distress and helplessness that arose from this. Women who were diagnosed prior to 40 years of age reported additional menopausal issues than women who were older at diagnosis. The women in this study expressed a thirst for information related to menopause after breast cancer. The women identified that their needs with regard to menopause after breast cancer were not being met, either through their own lack of knowledge or via conflicting or absent support and management. The importance of enabling women to deal with menopausal symptoms was a central theme to emerge from the data.

Calcium ions promote osteogenic differentiation and mineralization of human dental pulp cells : implication for pulp capping materials

Calcium (Ca) is the main element of most pulp capping materials and plays an essential role in mineralization. Different pulp capping materials can release various concentrations of Ca ions leading to different clinical outcomes. The purpose of this study was to investigate the effects of various concentrations of Ca ions on the growth and osteogenic differentiation of human dental pulp cells (hDPCs). Different concentrations of Ca ions were added to growth culture medium and osteogenic inductive culture medium. A Cell Counting Kit-8 (CCK-8) was used to determine the proliferation of hDPCs in growth culture medium. Osteogenic differentiation and mineralization were measured by alkaline phosphatase (ALP) assay, Alizarin red S/von kossa staining, calcium content quantitative assay. The selected osteogenic differentiation markers were investigated by quantitative real-time polymerase chain reaction (qRT-PCR). Within the range of 1.8–16.2 mM, increased concentrations of Ca ions had no effect on cell proliferation, but led to changes in osteogenic differentiation. It was noted that enhanced mineralized matrix nodule formation was found in higher Ca ions concentrations; however, ALP activity and gene expression were reduced. qRT-PCR results showed a trend towards down-regulated mRNA expression of type I collagen (COL1A2) and Runx2 at elevated concentrations of Ca ions, whereas osteopontin (OPN) and osteocalcin (OCN) mRNA expression was significantly up-regulated. Ca ions content in the culture media can significantly influence the osteogenic properties of hDPCs, indicating the importance of optimizing Ca ions release from dental pulp capping materials in order to achieve desirable clinical outcomes.