Estimation Of concrete resistance To chloride-ion penetration based On water accessible porosity and unit weight Of concrete

To ensure better concrete quality and long-term durability, there has been an increasing focus in recent years on the development of test methods for quality control of concrete. This paper presents a study to evaluate the effect of water accessible porosity and oven-dry unit weight on the resistance of concrete to chloride-ion penetration. Based on the experimental results and regression analyses, empirical relationships of the charge passed (ASTM C 1202) and chloride migration coefficient (NT Build 492) versus the water accessible porosity and oven dry unit weight of the concrete are established. Using basic physical properties of water accessible porosity and oven dry unit weight which can be easily determined, total charge passed and migration coefficient of the concrete can be estimated for quality control and for estimating durability of concrete.

Fast formulas for computing cryptographic pairings

The most powerful known primitive in public-key cryptography is undoubtedly elliptic curve pairings. Upon their introduction just over ten years ago the computation of pairings was far too slow for them to be considered a practical option. This resulted in a vast amount of research from many mathematicians and computer scientists around the globe aiming to improve this computation speed. From the use of modern results in algebraic and arithmetic geometry to the application of foundational number theory that dates back to the days of Gauss and Euler, cryptographic pairings have since experienced a great deal of improvement. As a result, what was an extremely expensive computation that took several minutes is now a high-speed operation that takes less than a millisecond. This thesis presents a range of optimisations to the state-of-the-art in cryptographic pairing computation. Both through extending prior techniques, and introducing several novel ideas of our own, our work has contributed to recordbreaking pairing implementations.

Modelling sea water intrusion in coastal aquifers using heterogeneous computing

The objective of this PhD research program is to investigate numerical methods for simulating variably-saturated flow and sea water intrusion in coastal aquifers in a high-performance computing environment. The work is divided into three overlapping tasks: to develop an accurate and stable finite volume discretisation and numerical solution strategy for the variably-saturated flow and salt transport equations; to implement the chosen approach in a high performance computing environment that may have multiple GPUs or CPU cores; and to verify and test the implementation. The geological description of aquifers is often complex, with porous materials possessing highly variable properties, that are best described using unstructured meshes. The finite volume method is a popular method for the solution of the conservation laws that describe sea water intrusion, and is well-suited to unstructured meshes. In this work we apply a control volume-finite element (CV-FE) method to an extension of a recently proposed formulation (Kees and Miller, 2002) for variably saturated groundwater flow. The CV-FE method evaluates fluxes at points where material properties and gradients in pressure and concentration are consistently defined, making it both suitable for heterogeneous media and mass conservative. Using the method of lines, the CV-FE discretisation gives a set of differential algebraic equations (DAEs) amenable to solution using higher-order implicit solvers. Heterogeneous computer systems that use a combination of computational hardware such as CPUs and GPUs, are attractive for scientific computing due to the potential advantages offered by GPUs for accelerating data-parallel operations. We present a C++ library that implements data-parallel methods on both CPU and GPUs. The finite volume discretisation is expressed in terms of these data-parallel operations, which gives an efficient implementation of the nonlinear residual function. This makes the implicit solution of the DAE system possible on the GPU, because the inexact Newton-Krylov method used by the implicit time stepping scheme can approximate the action of a matrix on a vector using residual evaluations. We also propose preconditioning strategies that are amenable to GPU implementation, so that all computationally-intensive aspects of the implicit time stepping scheme are implemented on the GPU. Results are presented that demonstrate the efficiency and accuracy of the proposed numeric methods and formulation. The formulation offers excellent conservation of mass, and higher-order temporal integration increases both numeric efficiency and accuracy of the solutions. Flux limiting produces accurate, oscillation-free solutions on coarse meshes, where much finer meshes are required to obtain solutions with equivalent accuracy using upstream weighting. The computational efficiency of the software is investigated using CPUs and GPUs on a high-performance workstation. The GPU version offers considerable speedup over the CPU version, with one GPU giving speedup factor of 3 over the eight-core CPU implementation.

Unpacking user relations in an emerging ubiquitous computing environment : introducing the bystander

The move towards technological ubiquity is allowing a more idiosyncratic and dynamic working environment to emerge that may result in the restructuring of information communication technologies, and changes in their use through different user groups' actions. Taking a ‘practice’ lens to human agency, we explore the evolving roles of, and relationships between these user groups and their appropriation of emergent technologies by drawing upon Lamb and Kling's social actor framework. To illustrate our argument, we draw upon a study of a UK Fire Brigade that has introduced a variety of technologies in an attempt to move towards embracing mobile and ubiquitous computing. Our analysis of the enactment of such technologies reveals that Bystanders, a group yet to be taken as the central unit of analysis in information systems research, or considered in practice, are emerging as important actors. The research implications of our work relate to the need to further consider Bystanders in deployments other than those that are mobile and ubiquitous. For practice, we suggest that Bystanders require consideration in the systems development life cycle, particularly in terms of design and education in processes of use.

Outsourcing data storage without outsourcing trust in cloud computing

The main theme of this thesis is to allow the users of cloud services to outsource their data without the need to trust the cloud provider. The method is based on combining existing proof-of-storage schemes with distance-bounding protocols. Specifically, cloud customers will be able to verify the confidentiality, integrity, availability, fairness (or mutual non-repudiation), data freshness, geographic assurance and replication of their stored data directly, without having to rely on the word of the cloud provider.

Quantitative genetic parameter estimates for body and carcass traits in a cultured stock of giant freshwater prawn (Macrobrachium rosenbergii) selected for harvest weight in Vietnam

We estimated the heritability and correlations between body and carcass weight traits in a cultured stock of giant freshwater prawn (GFP) (Macrobrachium rosenbergii) selected for harvest body weight in Vietnam. The data set consisted of 18,387 body and 1,730 carcass records, as well as full pedigree information collected over four generations. Variance and covariance components were estimated by restricted maximum likelihood fitting a multi-trait animal model. Across generations, estimates of heritability for body and carcass weight traits were moderate and ranged from 0.14 to 0.19 and 0.17 to 0.21, respectively. Body trait heritabilities estimated for females were significantly higher than for males whereas carcass weight trait heritabilities estimated for females and males were not significantly different (P>. 0.05). Maternal effects for body traits accounted for 4 to 5% of the total variance and were greater in females than in males. Genetic correlations among body traits were generally high in the mixed sexes. Genetic correlations between body and carcass weight traits were also high. Although some issues remain regarding the best statistical model to be fitted to GFP data, our results suggest that selection for high harvest body weight based on breeding values estimated by fitting an animal model to the data can significantly improve mean body and carcass weight in GFP.

Genetic response to combined family selection for improved mean harvest weight in giant freshwater prawn (Macrobrachium rosenbergii) in Vietnam

We estimated genetic changes in body and carcass weight traits in a giant freshwater prawn (GFP) (Macrobrachium rosenbergii) population selected for increased body weight at harvest in Vietnam. The data set consisted of 18,387 individual body and 1730 carcass weight records, as well as full pedigree information collected over four generations. Average selection response (per generation) in body weight at harvest (transformed to square root) estimated as the difference between the Selection line and the Control group was 7.4% calculated from least squares mean (LSMs), 7.0% from estimated breeding values (EBVs) and 4.4% calculated from EBVs between two consecutive generations. Favorable correlated selection responses (estimated from LSMs) were found for other body traits including: total length, cephalothorax length, abdominal length, cephalothorax width, and abdominal width (12.1%, 14.5%, 10.4%, 15.5% and 13.3% over three selection generations, respectively). Data in the second generation of selection showed positive correlated responses for carcass weight traits including: abdominal weight, exoskeleton-off weight, and telson-off weight of 8.8%, 8.6% and 8.8%, respectively. We conclude that body weight at harvest responded well to the application of combined (between and within) family selection and correlated responses in carcass weight traits were favorable.

A systematic review of baseline psychosocial characterisation in dietary randomised controlled trials for weight loss

BACKGROUND/OBJECTIVE: To investigate the extent of baseline psychosocial characterisation of subjects in published dietary randomised controlled trials (RCTs) for weight loss. SUBJECTS/METHODS: Systematic review of adequately sized (nX10) RCTs comprising X1 diet-alone arm for weight loss were included for this systematic review. More specifically, trials included overweight (body mass index 425 kg/m2) adults, were of duration X8 weeks and had body weight as the primary outcome. Exclusion criteria included specific psychological intervention (for example, Cognitive Behaviour Therapy (CBT)), use of web-based tools, use of supplements, liquid diets, replacement meals and very-low calorie diets. Physical activity intervention was restricted to general exercise only (not supervised or prescribed, for example, VO2 maximum level). RESULTS: Of 176 weight-loss RCTs published during 2008–2010, 15 met selection criteria and were assessed for reported psychological characterisation of subjects. All studies reported standard characterisation of clinical and biochemical characteristics of subjects. Eleven studies reported no psychological attributes of subjects (three of these did exclude those taking psychoactive medication). Three studies collected data on particular aspects of psychology related to specific research objectives (figure scale rating, satiety and quality-of-life). Only one study provided a comprehensive background on psychological attributes of subjects. CONCLUSION: Better characterisation in behaviour-change interventions will reduce potential confounding and enhance generalisability of such studies.

Composite SaaS resource management in cloud computing using evolutionary computation

Cloud computing is an emerging computing paradigm in which IT resources are provided over the Internet as a service to users. One such service offered through the Cloud is Software as a Service or SaaS. SaaS can be delivered in a composite form, consisting of a set of application and data components that work together to deliver higher-level functional software. SaaS is receiving substantial attention today from both software providers and users. It is also predicted to has positive future markets by analyst firms. This raises new challenges for SaaS providers managing SaaS, especially in large-scale data centres like Cloud. One of the challenges is providing management of Cloud resources for SaaS which guarantees maintaining SaaS performance while optimising resources use. Extensive research on the resource optimisation of Cloud service has not yet addressed the challenges of managing resources for composite SaaS. This research addresses this gap by focusing on three new problems of composite SaaS: placement, clustering and scalability. The overall aim is to develop efficient and scalable mechanisms that facilitate the delivery of high performance composite SaaS for users while optimising the resources used. All three problems are characterised as highly constrained, large-scaled and complex combinatorial optimisation problems. Therefore, evolutionary algorithms are adopted as the main technique in solving these problems. The first research problem refers to how a composite SaaS is placed onto Cloud servers to optimise its performance while satisfying the SaaS resource and response time constraints. Existing research on this problem often ignores the dependencies between components and considers placement of a homogenous type of component only. A precise problem formulation of composite SaaS placement problem is presented. A classical genetic algorithm and two versions of cooperative co-evolutionary algorithms are designed to now manage the placement of heterogeneous types of SaaS components together with their dependencies, requirements and constraints. Experimental results demonstrate the efficiency and scalability of these new algorithms. In the second problem, SaaS components are assumed to be already running on Cloud virtual machines (VMs). However, due to the environment of a Cloud, the current placement may need to be modified. Existing techniques focused mostly at the infrastructure level instead of the application level. This research addressed the problem at the application level by clustering suitable components to VMs to optimise the resource used and to maintain the SaaS performance. Two versions of grouping genetic algorithms (GGAs) are designed to cater for the structural group of a composite SaaS. The first GGA used a repair-based method while the second used a penalty-based method to handle the problem constraints. The experimental results confirmed that the GGAs always produced a better reconfiguration placement plan compared with a common heuristic for clustering problems. The third research problem deals with the replication or deletion of SaaS instances in coping with the SaaS workload. To determine a scaling plan that can minimise the resource used and maintain the SaaS performance is a critical task. Additionally, the problem consists of constraints and interdependency between components, making solutions even more difficult to find. A hybrid genetic algorithm (HGA) was developed to solve this problem by exploring the problem search space through its genetic operators and fitness function to determine the SaaS scaling plan. The HGA also uses the problem's domain knowledge to ensure that the solutions meet the problem's constraints and achieve its objectives. The experimental results demonstrated that the HGA constantly outperform a heuristic algorithm by achieving a low-cost scaling and placement plan. This research has identified three significant new problems for composite SaaS in Cloud. Various types of evolutionary algorithms have also been developed in addressing the problems where these contribute to the evolutionary computation field. The algorithms provide solutions for efficient resource management of composite SaaS in Cloud that resulted to a low total cost of ownership for users while guaranteeing the SaaS performance.

Electrospinning and crosslinking of low-molecular-weight poly(trimethylene carbonate-co-L-lactide) as an elastomeric scaffold for vascular engineering

The growth of suitable tissue to replace natural blood vessels requires a degradable scaffold material that is processable into porous structures with appropriate mechanical and cell growth properties. This study investigates the fabrication of degradable, crosslinkable prepolymers of l-lactide-co-trimethylene carbonate into porous scaffolds by electrospinning. After crosslinking by γ-radiation, dimensionally stable scaffolds were obtained with up to 56% trimethylene carbonate incorporation. The fibrous mats showed Young’s moduli closely matching human arteries (0.4–0.8 MPa). Repeated cyclic extension yielded negligible change in mechanical properties, demonstrating the potential for use under dynamic physiological conditions. The scaffolds remained elastic and resilient at 30% strain after 84 days of degradation in phosphate buffer, while the modulus and ultimate stress and strain progressively decreased. The electrospun mats are mechanically superior to solid films of the same materials. In vitro, human mesenchymal stem cells adhered to and readily proliferated on the three-dimensional fiber network, demonstrating that these polymers may find use in growing artificial blood vessels in vivo.

Dynamic simulation of a light-weight, low-drag, hybrid-electric sports coupe

The University of Queensland UltraCommuter concept is an ultra- light, low-drag, hybrid-electric sports coupe designed to minimize energy consumption and environmental impact while enhancing the performance, styling, features and convenience that motorists enjoy. This paper presents a detailed simulation study of the vehicle's performance and fuel economy using ADVISOR, including a detailed description of the component models and parameters assumed. Results from the study include predictions of a 0-100 kph acceleration time of ≺9s, and top speed of 170 kph, an electrical energy consumption of ≺67 Wh/km in ZEV mode and a petrol-equivalent fuel consumption of ≺2.5 L/100 km in charge-sustaining HEV mode. Overall, the results of the ADVISOR modelling confirm the UltraCommuter's potential to achieve high performance with high efficiency, and the authors look forward to a confirmation of these estimates following completion of the vehicle.

Cloud computing : how does it differ from IT outsourcing and what are the implications for practice and research?

The purpose of this paper is to provide an evolutionary perspective of cloud computing (CC) by integrating two previously disparate literatures: CC and information technology outsourcing (ITO). We review the literature and develop a framework that highlights the demand for the CC service, benefits, risks, as well as risk mitigation strategies that are likely to influence the success of the service. CC success in organisations and as a technology overall is a function of (i) the outsourcing decision and supplier selection, (ii) contractual and relational governance, and (iii) industry standards and legal framework. Whereas CC clients have little control over standards and/or the legal framework, they are able to influence other factors to maximize the benefits while limiting the risks. This paper provides guidelines for (potential) cloud computing users with respect to the outsourcing decision, vendor selection, service-level-agreements, and other issues that need to be addressed when opting for CC services. We contribute to the literature by providing an evolutionary and holistic view of CC that draws on the extensive literature and theory of ITO. We conclude the paper with a number of research paths that future researchers can follow to advance the knowledge in this field.

Depression scores predict adherence in a dietary weight loss intervention trial

Background & aims Depression has a complex association with cardiometabolic risk, both directly as an independent factor and indirectly through mediating effects on other risk factors such as BMI, diet, physical activity, and smoking. Since changes to many cardiometabolic risk factors involve behaviour change, the rise in depression prevalence as a major global health issue may present further challenges to long-term behaviour change to reduce such risk. This study investigated associations between depression scores and participation in a community-based weight management intervention trial. Methods A group of 64 overweight (BMI > 27), otherwise healthy adults, were recruited and randomised to follow either their usual diet, or an isocaloric diet in which saturated fat was replaced with monounsaturated fat (MUFA), to a target of 50% total fat, by adding macadamia nuts to the diet. Subjects were assessed for depressive symptoms at baseline and at ten weeks using the Beck Depression Inventory (BDI-II). Both control and intervention groups received advice on National Guidelines for Physical Activity and adhered to the same protocol for food diary completion and trial consultations. Anthropometric and clinical measurements (cholesterol, inflammatory mediators) also were taken at baseline and 10 weeks. Results During the recruitment phase, pre-existing diagnosed major depression was one of a range of reasons for initial exclusion of volunteers from the trial. Amongst enrolled participants, there was a significant correlation (R = −0.38, p < 0.05) between BDI-II scores at baseline and duration of participation in the trial. Subjects with a baseline BDI ≥10 (moderate to severe depression symptoms) were more likely to dropout of the trial before week 10 (p < 0.001). BDI-II scores in the intervention (MUFA) diet group decreased, but increased in the control group over the 10-week period. Univariate analysis of variance confirmed these observations (adjusted R2 = 0.257, p = 0.01). Body weight remained static over the 10-week period in the intervention group, corresponding to a relative increase in the control group (adjusted R2 = 0.097, p = 0.064). Conclusions Depression symptoms have the potential to affect enrolment in and adherence to dietbased risk reduction interventions, and may consequently influence the generalisability of such trials. Depression scores may therefore be useful for characterising, screening and allocating subjects to appropriate treatment pathways.

Street computing : towards an integrated open data Application Programming Interface (API) for cities

This special issue of the Journal of Urban Technology brings together five articles that are based on presentations given at the Street Computing Workshop held on 24 November 2009 in Melbourne in conjunction with the Australian Computer- Human Interaction conference (OZCHI 2009). Our own article introduces the Street Computing vision and explores the potential, challenges, and foundations of this research trajectory. In order to do so, we first look at the currently available sources of information and discuss their link to existing research efforts. Section 2 then introduces the notion of Street Computing and our research approach in more detail. Section 3 looks beyond the core concept itself and summarizes related work in this field of interest. We conclude by introducing the papers that have been contributed to this special issue.

Satiety responsiveness in toddlerhood predicts energy intake and weight status at four years of age

The aim of this study was to examine whether maternal-report of child eating behaviour at two years predicted self-regulation of energy intake and weight status at four years. Using an ‘eating in the absence of hunger’ paradigm, children’s energy intake (kJ) from a semi-standardized lunch meal and a standardized selection of snacks were measured. Participants were 37 mother-child dyads (16 boys, Median child age = 4.4 years, Inter-quartile range = 3.7-4.5 years) recruited from an existing longitudinal study (NOURISH randomised controlled trial). All participants were tested in their own home. Details of maternal characteristics, child eating behaviours (at age two years) reported by mothers on a validated questionnaire, and measured child height and weight (at age 3.5-4 years) were sourced from existing NOURISH trial data. Correlation and partial correlation analyses were used to examine longitudinal relationships. Satiety responsiveness and Slowness in eating were inversely associated with energy intake of the lunch meal (partial r = -.40, p =.023, and partial r = -.40, p = .023) and the former was also negatively associated with BMI-for-age Z score (partial r = -.42, p = .015). Food responsiveness and Enjoyment of food were not related to energy intake or BMI Z score. None of the eating behaviours were significantly associated with energy intake of the snacks (i.e., eating in the absence of hunger). The small and predominantly ‘healthy weight’ sample of children may have limited the ability to detect some hypothesized effects. Nevertheless, the study provides evidence for the predictive validity of two eating behaviours and future research with a larger and more diverse sample should be able to better evaluate the predictive validity of other children’s early eating behaviour styles.