Ownerships for reasoning about parallelism : type system and semantics

Technical Report to accompany Ownership for Reasoning About Parallelism. Documents type system which captures effects and the operational semantics for the language which is presented as part of the paper.

Emailing experts and novices : effects of knowledge, copy type and testimonials on email advertising effectiveness

In this article we examine how consumer knowledge and two aspects of email ad design (copy type and testimonial type) influence attitudes and purchase intentions. Results from a field experiment reveal differences between experts and novices in their responses to email advertising. Specifically, experts report more favorable evaluations for email advertising than novices. Experts also demonstrate a preference for expert testimonials, when exposed to attribute copy. Yet when benefits-only ad copy was used, experts are most influenced by novice testimonials. In contrast, novice consumers show no copy-testimonial preference. Expert testimonials are also more effective than novice testimonials for expert and novice consumers. We discuss the results with respect to theoretical contributions and managerial implications.

A fully Bayesian approach to inference for Coxian phase-type distributions with covariate dependent mean

Phase-type distributions represent the time to absorption for a finite state Markov chain in continuous time, generalising the exponential distribution and providing a flexible and useful modelling tool. We present a new reversible jump Markov chain Monte Carlo scheme for performing a fully Bayesian analysis of the popular Coxian subclass of phase-type models; the convenient Coxian representation involves fewer parameters than a more general phase-type model. The key novelty of our approach is that we model covariate dependence in the mean whilst using the Coxian phase-type model as a very general residual distribution. Such incorporation of covariates into the model has not previously been attempted in the Bayesian literature. A further novelty is that we also propose a reversible jump scheme for investigating structural changes to the model brought about by the introduction of Erlang phases. Our approach addresses more questions of inference than previous Bayesian treatments of this model and is automatic in nature. We analyse an example dataset comprising lengths of hospital stays of a sample of patients collected from two Australian hospitals to produce a model for a patient's expected length of stay which incorporates the effects of several covariates. This leads to interesting conclusions about what contributes to length of hospital stay with implications for hospital planning. We compare our results with an alternative classical analysis of these data.

The impact of property title type on residential property returns

Residential property in New Zealand comprises both freestanding residential properties and medium to high density residential properties. Medium to high density residential property comprises the typical units, townhouses and semi-detached houses common in most residential property markets. However, in many of the larger cities of New Zealand the free standing residential property market has evolved into two separate markets being freehold residential property and cross lease residential property. Cross leases have developed as a form of infill housing to reduce the urban sprawl in major canters, while reducing the time and cost for residential property developers. A cross lease is created when an existing freestanding residential property subdivides a portion of the existing land for the erection of another house on the original title, basically dividing one larger residential section into two smaller residential blocks. This paper will analyse house prices in Christchurch over the period 1992 to 2006 to determine if the various housing markets have shown similar capital returns or if there is a specific preference for a particular residential property title.

Biochemical characterization of Aprataxin, the protein deficient in Ataxia with Oculomotor Apraxia type 1

Neurodegenerative disorders are heterogenous in nature and include a range of ataxias with oculomotor apraxia, which are characterised by a wide variety of neurological and ophthalmological features. This family includes recessive and dominant disorders. A subfamily of autosomal recessive cerebellar ataxias are characterised by defects in the cellular response to DNA damage. These include the well characterised disorders Ataxia-Telangiectasia (A-T) and Ataxia-Telangiectasia Like Disorder (A-TLD) as well as the recently identified diseases Spinocerebellar ataxia with axonal neuropathy Type 1 (SCAN1), Ataxia with Oculomotor Apraxia Type 2 (AOA2), as well as the subject of this thesis, Ataxia with Oculomotor Apraxia Type 1 (AOA1). AOA1 is caused by mutations in the APTX gene, which is located at chromosomal locus 9p13. This gene codes for the 342 amino acid protein Aprataxin. Mutations in APTX cause destabilization of Aprataxin, thus AOA1 is a result of Aprataxin deficiency. Aprataxin has three functional domains, an N-terminal Forkhead Associated (FHA) phosphoprotein interaction domain, a central Histidine Triad (HIT) nucleotide hydrolase domain and a C-terminal C2H2 zinc finger. Aprataxins FHA domain has homology to FHA domain of the DNA repair protein 5’ polynucleotide kinase 3’ phosphatase (PNKP). PNKP interacts with a range of DNA repair proteins via its FHA domain and plays a critical role in processing damaged DNA termini. The presence of this domain with a nucleotide hydrolase domain and a DNA binding motif implicated that Aprataxin may be involved in DNA repair and that AOA1 may be caused by a DNA repair deficit. This was substantiated by the interaction of Aprataxin with proteins involved in the repair of both single and double strand DNA breaks (XRay Cross-Complementing 1, XRCC4 and Poly-ADP Ribose Polymerase-1) and the hypersensitivity of AOA1 patient cell lines to single and double strand break inducing agents. At the commencement of this study little was known about the in vitro and in vivo properties of Aprataxin. Initially this study focused on generation of recombinant Aprataxin proteins to facilitate examination of the in vitro properties of Aprataxin. Using recombinant Aprataxin proteins I found that Aprataxin binds to double stranded DNA. Consistent with a role for Aprataxin as a DNA repair enzyme, this binding is not sequence specific. I also report that the HIT domain of Aprataxin hydrolyses adenosine derivatives and interestingly found that this activity is competitively inhibited by DNA. This provided initial evidence that DNA binds to the HIT domain of Aprataxin. The interaction of DNA with the nucleotide hydrolase domain of Aprataxin provided initial evidence that Aprataxin may be a DNA-processing factor. Following these studies, Aprataxin was found to hydrolyse 5’adenylated DNA, which can be generated by unscheduled ligation at DNA breaks with non-standard termini. I found that cell extracts from AOA1 patients do not have DNA-adenylate hydrolase activity indicating that Aprataxin is the only DNA-adenylate hydrolase in mammalian cells. I further characterised this activity by examining the contribution of the zinc finger and FHA domains to DNA-adenylate hydrolysis by the HIT domain. I found that deletion of the zinc finger ablated the activity of the HIT domain against adenylated DNA, indicating that the zinc finger may be required for the formation of a stable enzyme-substrate complex. Deletion of the FHA domain stimulated DNA-adenylate hydrolysis, which indicated that the activity of the HIT domain may be regulated by the FHA domain. Given that the FHA domain is involved in protein-protein interactions I propose that the activity of Aprataxins HIT domain may be regulated by proteins which interact with its FHA domain. We examined this possibility by measuring the DNA-adenylate hydrolase activity of extracts from cells deficient for the Aprataxin-interacting DNA repair proteins XRCC1 and PARP-1. XRCC1 deficiency did not affect Aprataxin activity but I found that Aprataxin is destabilized in the absence of PARP-1, resulting in a deficiency of DNA-adenylate hydrolase activity in PARP-1 knockout cells. This implies a critical role for PARP-1 in the stabilization of Aprataxin. Conversely I found that PARP-1 is destabilized in the absence of Aprataxin. PARP-1 is a central player in a number of DNA repair mechanisms and this implies that not only do AOA1 cells lack Aprataxin, they may also have defects in PARP-1 dependant cellular functions. Based on this I identified a defect in a PARP-1 dependant DNA repair mechanism in AOA1 cells. Additionally, I identified elevated levels of oxidized DNA in AOA1 cells, which is indicative of a defect in Base Excision Repair (BER). I attribute this to the reduced level of the BER protein Apurinic Endonuclease 1 (APE1) I identified in Aprataxin deficient cells. This study has identified and characterised multiple DNA repair defects in AOA1 cells, indicating that Aprataxin deficiency has far-reaching cellular consequences. Consistent with the literature, I show that Aprataxin is a nuclear protein with nucleoplasmic and nucleolar distribution. Previous studies have shown that Aprataxin interacts with the nucleolar rRNA processing factor nucleolin and that AOA1 cells appear to have a mild defect in rRNA synthesis. Given the nucleolar localization of Aprataxin I examined the protein-protein interactions of Aprataxin and found that Aprataxin interacts with a number of rRNA transcription and processing factors. Based on this and the nucleolar localization of Aprataxin I proposed that Aprataxin may have an alternative role in the nucleolus. I therefore examined the transcriptional activity of Aprataxin deficient cells using nucleotide analogue incorporation. I found that AOA1 cells do not display a defect in basal levels of RNA synthesis, however they display defective transcriptional responses to DNA damage. In summary, this thesis demonstrates that Aprataxin is a DNA repair enzyme responsible for the repair of adenylated DNA termini and that it is required for stabilization of at least two other DNA repair proteins. Thus not only do AOA1 cells have no Aprataxin protein or activity, they have additional deficiencies in PolyADP Ribose Polymerase-1 and Apurinic Endonuclease 1 dependant DNA repair mechanisms. I additionally demonstrate DNA-damage inducible transcriptional defects in AOA1 cells, indicating that Aprataxin deficiency confers a broad range of cellular defects and highlighting the complexity of the cellular response to DNA damage and the multiple defects which result from Aprataxin deficiency. My detailed characterization of the cellular consequences of Aprataxin deficiency provides an important contribution to our understanding of interlinking DNA repair processes.

Residential sales by auction : a property type or geographic consideration

The sale of residential property by auction is a preferred sale method by real estate agents, but not always preferred by some vendors and most residential property buyers. In many residential property markets, the performance and measure of residential property market activity is based on the number of properties offered for sale by auction, auction clearance rates and the number of properties sold prior to auction. However, in many specific residential property markets, sale by auction may not be the preferred or supported method of sale. This paper will review the type of residential property sale within the Sydney residential property market and track the auction sales and clearance rates for Sydney over the past 5 months and compare these results in relation to clearance rates, passed in sales, and properties sold prior to auction This will provide a breakdown of real estate agency sale practice over a large metropolitan region to determine the impact of geographic location and socio-economic factors on the auction of residential property. In addition the paper will analyse the weekly auction sales in the Sydney residential property market to determine what areas of Sydney have the greatest number of house auctions and the performance of the auctions in relation location and socio economic factors.

Type extension and efficient AST manipulation

Oberon-2 is an object-oriented language with a class structure based on type extension. The runtime structure of Oberon-2 is described and the low-level mechanism for dynamic type checking explained. It is shown that the superior type-safety of the language, when used for programming styles based on heterogeneous, pointer-linked data structures, has an entirely negligible cost in runtime performance.

Is liraglutide or exenatide better in type 2 diabetes?

Background: Subjects with type 2 diabetes have high circulating levels of glucose. Glucagon-like peptide-1 (GLP-1) is an intestinal hormone that has a major role in glucose homeostasis. Exenatide and liraglutide are both agonists at the GLP-1 receptor, and are effective at reducing circulating glucose levels (measured as HbA1c levels), but they have not been compared. Objectives/methods: This evaluation is of a clinical trial comparing liraglutide once a day with exenatide twice a day in subjects with type 2 diabetes. Results: In the Liraglutide Effect and Action in Diabetes (LEAD)-6 trial, subcutaneous liraglutide 1.8 mg once a day was compared with exenatide 10 μg twice a day. The primary efficacy outcome was change in HbA1c levels, and this was significantly greater with liraglutide (1.12%) than with exenatide (0.79%). Liraglutide and exenatide had similar small abilities to reduce body weight, blood pressure and LDL-cholesterol. Conclusions: Liraglutide was more effective than exenatide for overall glycaemic control in subjects with type 2 diabetes. However, this is only true for the preparations and doses tested, that is liraglutide 1.8 mg once weekly and exenatide 10 μg b.i.d., and may not apply when the comparison is undertaken with the new longer-lasting preparation of exenatide once weekly.

Resistance training for obese, type 2 diabetic adults: A review of the evidence

In both developed and developing countries, increased prevalence of obesity has been strongly associated with increased incidence of type 2 diabetes mellitus (T2DM) in the adult population. Previous research has emphasized the importance of physical activity in the prevention and management of obesity and T2DM, and generic exercise guidelines originally developed for the wider population have been adapted for these specific populations. However, the guidelines traditionally focus on aerobic training without due consideration to other exercise modalities. Recent reviews on resistance training in the T2DM population have not compared this modality with others including aerobic training, or considered the implications of resistance training for individuals suffering from both obesity and T2DM. In short, the optimal mix of exercise modalities in the prescription of exercise has not been identified for it benefits to the metabolic, body composition and muscular health markers common in obesity and T2DM. Similarly, the underlying physical, social and psychological barriers to adopting and maintaining exercise, with the potential to undermine the efficacy of exercise interventions, have not been addressed in earlier reviews. Because it is well established that aerobic exercise has profound effects on obesity and T2DM risk, the purpose of this review was to address the importance of resistance training to obese adults with T2DM.

Flexural behaviour and design of cold-formed steel beams with rectangular hollow flanges

Until recently, the hot-rolled steel members have been recognized as the most popular and widely used steel group, but in recent times, the use of cold-formed high strength steel members has rapidly increased. However, the structural behavior of light gauge high strength cold-formed steel members characterized by various buckling modes is not yet fully understood. The current cold-formed steel sections such as C- and Z-sections are commonly used because of their simple forming procedures and easy connections, but they suffer from certain buckling modes. It is therefore important that these buckling modes are either delayed or eliminated to increase the ultimate capacity of these members. This research is therefore aimed at developing a new cold-formed steel beam with two torsionally rigid rectangular hollow flanges and a slender web formed using intermittent screw fastening to enhance the flexural capacity while maintaining a minimum fabrication cost. This thesis describes a detailed investigation into the structural behavior of this new Rectangular Hollow Flange Beam (RHFB), subjected to flexural action The first phase of this research included experimental investigations using thirty full scale lateral buckling tests and twenty two section moment capacity tests using specially designed test rigs to simulate the required loading and support conditions. A detailed description of the experimental methods, RHFB failure modes including local, lateral distortional and lateral torsional buckling modes, and moment capacity results is presented. A comparison of experimental results with the predictions from the current design rules and other design methods is also given. The second phase of this research involved a methodical and comprehensive investigation aimed at widening the scope of finite element analysis to investigate the buckling and ultimate failure behaviours of RHFBs subjected to flexural actions. Accurate finite element models simulating the physical conditions of both lateral buckling and section moment capacity tests were developed. Comparison of experimental and finite element analysis results showed that the buckling and ultimate failure behaviour of RHFBs can be simulated well using appropriate finite element models. Finite element models simulating ideal simply supported boundary conditions and a uniform moment loading were also developed in order to use in a detailed parametric study. The parametric study results were used to review the current design rules and to develop new design formulae for RHFBs subjected to local, lateral distortional and lateral torsional buckling effects. Finite element analysis results indicate that the discontinuity due to screw fastening has a noticeable influence only for members in the intermediate slenderness region. Investigations into different combinations of thicknesses in the flange and web indicate that increasing the flange thickness is more effective than web thickness in enhancing the flexural capacity of RHFBs. The current steel design standards, AS 4100 (1998) and AS/NZS 4600 (1996) are found sufficient to predict the section moment capacity of RHFBs. However, the results indicate that the AS/NZS 4600 is more accurate for slender sections whereas AS 4100 is more accurate for compact sections. The finite element analysis results further indicate that the current design rules given in AS/NZS 4600 is adequate in predicting the member moment capacity of RHFBs subject to lateral torsional buckling effects. However, they were inadequate in predicting the capacities of RHFBs subject to lateral distortional buckling effects. This thesis has therefore developed a new design formula to predict the lateral distortional buckling strength of RHFBs. Overall, this thesis has demonstrated that the innovative RHFB sections can perform well as economically and structurally efficient flexural members. Structural engineers and designers should make use of the new design rules and the validated existing design rules to design the most optimum RHFB sections depending on the type of applications. Intermittent screw fastening method has also been shown to be structurally adequate that also minimises the fabrication cost. Product manufacturers and builders should be able to make use of this in their applications.

Type Test Elimination using Typeflow Analysis

Programs written in languages of the Oberon family usually contain runtime tests on the dynamic type of variables. In some cases it may be desirable to reduce the number of such tests. Typeflow analysis is a static method of determining bounds on the types that objects may possess at runtime. We show that this analysis is able to reduce the number of tests in certain plausible circumstances. Furthermore, the same analysis is able to detect certain program errors at compile time, which would normally only be detected at program execution. This paper introduces the concepts of typeflow analysis and details its use in the reduction of runtime overhead in Oberon-2.

Characterisation of mesenchymal cells from osteophytes in osteoarthritis

Osteophytes form through the process of chondroid metamorphosis of fibrous tissue followed by endochondral ossification. Osteophytes have been found to consist of three different mesenchymal tissue regions including endochondral bone formation within cartilage residues, intra-membranous bone formation within fibrous tissue and bone formation within bone marrow spaces. All these features provide evidence of mesenchymal stem cells (MSC) involvement in osteophyte formation; nevertheless, it remains to be characterised. MSC from numerous mesenchymal tissues have been isolated but bone marrow remains the “ideal” due to the ease of ex vivo expansion and multilineage potential. However, the bone marrow stroma has a relatively low number of MSC, something that necessitates the need for long-term culture and extensive population doublings in order to obtain a sufficient number of cells for therapeutic applications. MSC in vitro have limited proliferative capacity and extensive passaging compromises differentiation potential. To overcome this barrier, tissue derived MSC are of strong interest for extensive study and characterisation, with a focus on their potential application in therapeutic tissue regeneration. To date, no MSC type cell has been isolated from osteophyte tissue, despite this tissue exhibiting all the hallmark features of a regenerative tissue. Therefore, this study aimed to isolate and characterise cells from osteophyte tissues in relation to their phenotype, differentiation potential, immuno-modulatory properties, proliferation, cellular ageing, longevity and chondrogenesis in in vitro defect model in comparison to patient matched bone marrow stromal cells (bMSC). Osteophyte derived cells were isolated from osteophyte tissue samples collected during knee replacement surgery. These cells were characterised by the expression of cell surface antigens, differentiation potential into mesenchymal lineages, growth kinetics and modulation of allo-immune responses. Multipotential stem cells were identified from all osteophyte samples namely osteophyte derived mesenchymal stem cells (oMSC). Extensively expanded cell cultures (passage 4 and 9 respectively) were used to confirm cytogenetic stability and study signs of cellular aging, telomere length and telomerase activity. Cultured cells at passage 4 were used to determine 84 pathway focused stem cell related gene expression profile. Micro mass pellets were cultured in chondrogenic differentiation media for 21 days for phenotypic and chondrogenic related gene expression. Secondly, cell pellets differentiated overnight were placed into articular cartilage defects and cultured for further 21 days in control medium and chondrogenic medium to study chondrogenesis and cell behaviour. The surface antigen expression of oMSC was consistent with that of mesenchymal stem cells, such as lacking the haematopoietic and common leukocyte markers (CD34, CD45) while expressing those related to adhesion (CD29, CD166, CD44) and stem cells (CD90, CD105, CD73). The proliferation capacity of oMSC in culture was superior to that of bMSC, and they readily differentiated into tissues of the mesenchymal lineages. oMSC also demonstrated the ability to suppress allogeneic T-cell proliferation, which was associated with the expression of tryptophan degrading enzyme indoleamine 2,3 dioxygenase (IDO). Cellular aging was more prominent in late passage bMSC than in oMSC. oMSC had longer telomere length in late passages compared with bMSC, although there was no significant difference in telomere lengths in the early passages in either cell type. Telomerase activity was detectable only in early passage oMSC and not in bMSC. In osteophyte tissues telomerase positive cells were found to be located peri vascularly and were Stro-1 positive. Eighty-four pathway-focused genes were investigated and only five genes (APC, CCND2, GJB2, NCAM and BMP2) were differentially expressed between bMSC and oMSC. Chondrogenically induced micro mass pellets of oMSC showed higher staining intensity for proteoglycans, aggrecan and collagen II. Differential expression of chondrogenic related genes showed up regulation of Aggrecan and Sox 9 in oMSC and collagen II in bMSC. The in vitro defect models of oMSC in control medium showed rounded and aggregated cells staining positively for proteoglycan and presence of some extracellular matrix. In contrast, defects with bMSC showed fragmentation and loss of cells, fibroblast-like cell morphology staining positively for proteoglycans. For defects maintained in chondrogenic medium, rounded, aggregated and proteoglycan positive cells were found in both oMSC and bMSC cultures. Extracellular matrix and cellular integration into newly formed matrix was evident only in oMSC defects. For analysis of chondrocyte hypertrophy, strong expression of type X collagen could be noticed in the pellet cultures and transplanted bMSC. In summary, this study demonstrated that osteophyte derived cells had similar properties to mesenchymal stem cells in the expression of antigen phenotype, differential potential and suppression of allo-immune response. Furthermore, when compared to bMSC, oMSC maintained a higher proliferative capacity due to a retained level of telomerase activity in vitro, which may account for the relatively longer telomeres delaying growth arrest by replicative senescence compared with bMSC. oMSC behaviour in defects supported chondrogenesis which implies that cells derived from regenerative tissue can be an alternative source of stem cells and have a potential clinical application for therapeutic stem cell based tissue regeneration.