Automatic generation of assertions to detect potential security vulnerabilities in C programs that use union and pointer types

Type unions, pointer variables and function pointers are a long standing source of subtle security bugs in C program code. Their use can lead to hard-to-diagnose crashes or exploitable vulnerabilities that allow an attacker to attain privileged access over classified data. This paper describes an automatable framework for detecting such weaknesses in C programs statically, where possible, and for generating assertions that will detect them dynamically, in other cases. Exclusively based on analysis of the source code, it identifies required assertions using a type inference system supported by a custom made symbol table. In our preliminary findings, our type system was able to infer the correct type of unions in different scopes, without manual code annotations or rewriting. Whenever an evaluation is not possible or is difficult to resolve, appropriate runtime assertions are formed and inserted into the source code. The approach is demonstrated via a prototype C analysis tool.

Oxidative potential of logwood and pellet burning particles assessed by a novel profluorescent nitroxide probe

This study reports the potential toxicological impact of particles produced during biomass combustion by an automatic pellet boiler and a traditional logwood stove under various combustion conditions using a novel profluorescent nitroxide probe BPEAnit. This probe is weakly fluorescent, but yields strong fluorescence emission upon radical trapping or redox activity. Samples were collected by bubbling aerosol through an impinger containing BPEAnit solution, followed by fluorescence measurement. The fluorescence of BPEAnit was measured for particles produced during various combustion phases, at the beginning of burning (cold start), stable combustion after refilling with the fuel (warm start) and poor burning conditions. For particles produced by the logwood stove under cold-start conditions significantly higher amounts of reactive species per unit of particulate mass were observed compared to emissions produced during a warm start. In addition, sampling of logwood burning emissions after passing through a thermodenuder at 250oC resulted in an 80-100% reduction of the fluorescence signal of BPEAnit probe, indicating that the majority of reactive species were semivolatile. Moreover, the amount of reactive species showed a strong correlation with the amount of particulate organic material. This indicates the importance of semivolatile organics in particle-related toxicity. Particle emissions from the pellet boiler, although of similar mass concentration, were not observed to lead to an increase in fluorescence signal during any of the combustion phases.

Potential of St John's Wort for the treatment of depression : the economic perspective

The burden of rising health care expenditures has created a demand for information regarding the clinical and economic outcomes associated with complementary and alternative medicines. Meta-analyses of randomized controlled trials have found Hypericum perforatum preparations to be superior to placebo and similarly effective as standard antidepressants in the acute treatment of mild to moderate depression. A clear advantage over antidepressants has been demonstrated in terms of the reduced frequency of adverse effects and lower treatment withdrawal rates, low rates of side effects and good compliance, key variables affecting the cost-effectiveness of a given form of therapy. The most important risk associated with use is potential interactions with other drugs, but this may be mitigated by using extracts with low hyperforin content. As the indirect costs of depression are greater than five times direct treatment costs, given the rising cost of pharmaceutical antidepressants, the comparatively low cost of Hypericum perforatum extract makes it worthy of consideration in the economic evaluation of mild to moderate depression treatments.

Towards making a difference through a university-TAFE partnership : mentoring potential teacher aides

Universities promote partnerships as an investment of social capital that may benefit communities. Mentoring of university students in schools has become key to induction of education workplace practices. One such arrangement is the mentoring of students from TAFE who endeavour to become teacher aides. However, there is no theoretical model for mentoring teacher aides and, similar to mentoring preservice teachers, such practices vary in quality and quantity. What are mentors’ perceptions of mentoring potential teacher aides within school settings? This mixed-method research involves a survey with extended responses. The aim is to determine practices and strategies for mentoring potential teacher aides (PTAs). Results indicated that PTAs require induction about the school culture and infrastructure, which includes ethics, values, operational plans, awareness of facilities and a range of other inductions that would aid the PTA’s work practices. Findings also revealed that many of the mentoring practices employed for preservice teachers may be used for mentoring PTAs in school settings. Indeed, mentors require personal attributes to facilitate the mentoring process. They also indicated outlining the education system requirements as fundamental to workplace operations. In addition, as most PTAs work with students in the classroom, the mentor’s pedagogical knowledge can further assist PTAs to develop an understanding of effective pedagogical practices, particularly for small groups or one-on-one sessions. Finally, a mentor’s modelling of practices and providing constructive feedback about the PTA’s practices can assist the development of workplace operations. In conclusion, the survey employed in this study may assist organisations to develop protocols of practice for workplace mentors. PTAs require mentors who are versed in effective mentoring practices that can more readily guide them towards success.

Assessing the potential impact of web services on business processes

Though web services offer unique opportunities for the design of new business processes, the assessment of the potential impact of Web services on existing business information systems is often reduced to technical aspects. This paper proposes a four-phase methodology which facilitates the evaluation of the potential use of Web services on business information systems both from a technical and from a strategic viewpoint. It is based on business process models, which are used to frame the adoption and deployment of Web services and to assess their impact on existing business processes. The application of this methodology is described using a procurement scenario.

The role of bricolage and resource constraints in high potential sustainability ventures

Sustainability decisions and their impacts may be among the greatest challenges facing the world in the 21st century (Davos 2000). Apart from adaptation on the part of established organizations these challenges are arguably going to require solutions developed by new actors However, young ventures have only recently begun generating research interest within sustainability literature (Shepherd et al. 2009). In particular, little is known about resource behaviours of these ventures and how they adapt to substantial resource constraints. One promising theory that has been identified as a way that some entrepreneurs manage constraints is bricolage: a construct defined as “making do by applying combinations of the resources at hand to new problems and opportunities” (Baker and Nelson 2005: 333). Bricolage may be critical as the means of continued venture success as these ventures are frequently developed in severe resource constraint, owing to higher levels of technical sophistication (Rothaermel and Deeds 2006). Further, they are often developed by entrepreneurs committed to personal and social goals of resourcefulness, including values that focus on conservation rather than consumption of resources (Shepherd et al. 2009). In this paper, using seven novel cases of high potential sustainability firms from CAUSEE we consider how constraints impact resource behaviours and further illustrate and extend bricolage domains previously developed by Baker and Nelson (2005) with recommendations for theory and practice provided.

Ovine bone and marrow derived progenitor cells : isolation, characterization, and osteogenic potential

Recently, research has focused on bone marrow derived multipotent mesenchymal precursor cells (MPC) for their potential clinical use in bone engineering. Prior to clinical application, MPC-based treatment concepts need to be evaluated in preclinical, immunocompetent, large animal models. Sheep in particular are considered a valid model for orthopaedic and trauma related research. However, ovine MPC and their osteogenic potential remain poorly characterized. In the present study, ex vivo expanded MPC isolated from ovine bone marrow proliferated at a higher rate than osteoblasts (OB) derived from tibial compact bone as assessed using standard 2D culture. MPC expressed the respective phenotypic profile typical for different mesenchymal cell populations (CD14-/CD31-/CD45- /CD29+/CD44+/CD166+) and showed a multilineage differentiation potential. When compared to OB, MPC had a higher mineralization potential under standard osteogenic culture conditions and expressed typical markers such as osteocalcin, osteonectin and type I collagen at the mRNA and protein level. After 4 weeks in 3D culture, MPC constructs demonstrated higher cell density and mineralization, whilst cell viability on the scaffolds was assessed >90%. Cells displayed a spindle-like morphology and formed an interconnected network. Implanted subcutaneously into NOD/SCID mice on type I collagen coated polycaprolactone-tricalciumphosphate (mPCL-TCP) scaffolds, MPC presented a higher developmental potential than osteoblasts. In summary, this study provides a detailed in vitro characterisation of ovine MPC from a bone engineering perspective and suggests that MPC provide promising means for future bone disease related treatment applications.

Expansion and chondrogenic potential of human articular chondrocytes on macroporous microcarriers

Regenerative medicine techniques are currently being investigated to replace damaged cartilage. Critical to the success of these techniques is the ability to expand the initial population of cells while minimising de-differentiation to allow for hyaline cartilage to form. Three-dimensional culture systems have been shown to enhance the differentiation of chondrocytes in comparison to two-dimensional culture systems. Additionally, bioreactor expansion on microcarriers can provide mechanical stimulation and reduce the amount of cellular manipulation during expansion. The aim of this study was to characterise the expansion of human chondrocytes on microcarriers and to determine their potential to form cartilaginous tissue in vitro. High-grade human articular cartilage was obtained from leg amputations with ethics approval. Chondrocytes were isolated by collagenase digestion and expanded in either monolayers (104 cells/cm2) or on CultiSpher-G microcarriers (104 cells/mg) for three weeks. Following expansion, monolayer cells were passaged and cells on microcarriers were either left intact or the cells were released with trypsin/EDTA. Pellets from these three groups were formed and cultured for three weeks to establish the chondrogenic differentiation potential of monolayer-expanded and microcarrier-expanded chondrocytes. Cell viability, proliferation, glycosaminoglycan (GAG) accumulation, and collagen synthesis were assessed. Histology and immunohistochemistry were also performed. Human chondrocytes remained viable and expanded on microcarriers 10.2±2.6 fold in three weeks. GAG content significantly increased with time, with the majority of GAG found in the medium. Collagen production per nanogram DNA increased marginally during expansion. Histology revealed that chondrocytes were randomly distributed on microcarrier surfaces yet most pores remained cell free. Critically, human chondrocytes expanded on microcarriers maintained their ability to redifferentiate in pellet culture, as demonstrated by Safranin-O and collagen II staining. These data confirm the feasibility of microcarriers for passage-free cultivation of human articular chondrocytes. However, cell expansion needs to be improved, perhaps through growth factor supplementation, for clinical utility. Recent data indicate that cell-laden microcarriers can be used to seed fresh microcarriers, thereby increasing the expansion factor while minimising enzymatic passage.

Enhancing Water Sensitive Urban Design (WSUD) practices to mitigate urban stormwater pollution and reuse potential

Water Sensitive Urban Design (WSUD) practices such as wetlands, bioretention systems and swales are widely implemented in Australia’s urban areas for the mitigation of stormwater pollution and to enhance its reuse potential. In-depth research undertaken has confirmed that these systems do not always perform according to design expectations due to a diversity of reasons. To deliver anticipated benefits, it is critical that they are designed in conformity with catchment and rainfall characteristics and pollutant processes. This in turn entails an in-depth understanding of key pollutant processes. This paper presents the outcomes of extensive research investigations on pollutant characterisation and stormwater pollutant processes on urban catchment surfaces. Outcomes from the research studies revealed the complexities in physical and chemical characteristics of pollutants originating from urban catchments which are strongly influenced by rainfall and catchment characteristics. Based on the research outcomes, recommendations are provided to enhance stormwater treatment performance and to enhance its reuse potential.

Decoupled trajectory planning for a submerged rigid body subject to dissipative and potential forces

This paper studies the practical but challenging problem of motion planning for a deeply submerged rigid body. Here, we formulate the dynamic equations of motion of a submerged rigid body under the architecture of differential geometric mechanics and include external dissipative and potential forces. The mechanical system is represented as a forced affine-connection control system on the configuration space SE(3). Solutions to the motion planning problem are computed by concatenating and reparameterizing the integral curves of decoupling vector fields. We provide an extension to this inverse kinematic method to compensate for external potential forces caused by buoyancy and gravity. We present a mission scenario and implement the theoretically computed control strategy onto a test-bed autonomous underwater vehicle. This scenario emphasizes the use of this motion planning technique in the under-actuated situation; the vehicle loses direct control on one or more degrees of freedom. We include experimental results to illustrate our technique and validate our method.

Novel synthetic bio-mimic polymers for potential cell delivery therapy

Cell-based therapy is one of the major potential therapeutic strategies for cardiovascular, neuronal and degenerative diseases in recent years. Synthetic biodegradable polymers have been utilized increasingly in pharmaceutical, medical and biomedical engineering. Control of the interaction of living cells and biomaterials surfaces is one of the major goals in the design and development of new polymeric biomaterials in tissue engineering. The aims of this study is to develop a novel bio-mimic polymeric materials which will facilitate the delivery cells, control cell bioactivities and enhance the focal integration of graft cells with host tissues.

Standardisation and patent ambush : potential liability under Australian competition law

This article examines the problem of patent ambush in standard setting, where patent owners are sometimes able to capture industry standards in order to secure monopoly power and windfall profits. Because standardisation generally introduces high switching costs, patent ambush can impose significant costs on downstream manufacturers and consumers and drastically reduce the efficiency gains of standardisation.This article considers how Australian competition law is likely to apply to patent ambush both in the development of a standard (through misrepresenting the existence of an essential patent) and after a standard is implemented (through refusing to license an essential patented technology either at all or on reasonable and non-discriminatory (RAND) terms). This article suggests that non-disclosure of patent interests is unlikely to restrained by Part IV of the Trade Practices Act (TPA), and refusals to license are only likely to be restrained if the refusal involves leveraging or exclusive dealing. By contrast, Standard Setting Organisations (SSOs) which seek to limit this behaviour through private ordering may face considerable scrutiny under the new cartel provisions of the TPA. This article concludes that SSOs may be best advised to implement administrative measures to prevent patent hold-up, such as reviewing which patents are essential for the implementation of a standard, asking patent holders to make their licence conditions public to promote transparency, and establishing forums where patent licensees can complain about licence terms that they consider to be unreasonable or discriminatory. Additionally, the ACCC may play a role in authorising SSO policies that could otherwise breach the new cartel provisions, but which have the practical effect of promoting competition in the standards setting environment.

Understanding speeding in school zones in Malaysia and Australia using an extended Theory of Planned Behaviour : the potential role of mindfulness

Speeding in school zones is a problem in both Malaysia and Australia. While there are differences between the countries in terms of school zone treatments and more generally, these differences do not explain why people choose to speed in school zones. Because speeding is usually an intentional behaviour, the Theory of Planned Behaviour (TPB) has been used to understand speeding and develop interventions, however it has limitations which can be addressed by extending the model to incorporate other constructs. One promising construct is mindfulness, which can improve the explanatory value of the TPB by taking into account unintentional speeding attributable to a lack of focus on important elements of the driving environment. We explain what mindfulness is (and is not), how it can assist in providing a better understanding of speeding in school zones, and how it can contribute to the development of interventions. We then outline a program of research which has been commenced, investigating the contribution of mindfulness to an understanding of speed choice in school zones in two different settings (Australia and Malaysia) using the TPB.

The leader in you : developing your leadership potential

Leadership research demonstrates that there are serious shortcomings in the quality and competence of leaders in our organizations. The recent global financial crisis has also reminded us that, if our society and economies are to move forward sustainability, we must have the right kind of leaders and the right kind of leadership throughout our organizations. "The Leader in You: Developing Your Leadership Potential" has been framed to be useful to all individuals who are currently in leadership roles, from chief executives to frontline managers, and for those who wish to step up to a leadership role. Organizations can also utilize this book to assist their leaders to increase their leadership potential or to complement leadership development programs. If you want to search for and develop leadership qualities in yourself, then this book is for you. If you want to set a higher standard in your organization and you think leadership is a serious matter in the lives of other people, then this book is for you. In the process of self-reflection, "The Leader in You: Developing Your Leadership Potential" will enable you to develop an individual leadership profile and an individual skills profile, culminating in the development of a plan for leadership improvement. This book aims to couple these outcomes with exposure to some practical skills that leaders need to lead in every day environments. The first four chapters allow the reader to develop an understanding of the concepts that underpin leadership performance, and to undertake exercises to develop a comprehensive understanding of their values, behaviors and personality. That is, to understand who they are and why they behave the way they do. An individual leadership profile is developed at the end of these chapters. Then, the remaining chapters look at issues that leaders will face in contemporary society, and at the skills required to address them in everyday environments. An individual skills profile is developed at the end of these chapters culminating in the development of a plan for leadership improvement.