Software watermarking resilient to debugging attacks

In 2006, Gaurav Gupta and Josef Pieprzyk presented an attack on the branch-based software watermarking scheme proposed by Ginger Myles and Hongxia Jin in 2005. The software watermarking model is based on replacing jump instructions or unconditional branch statements (UBS) by calls to a fingerprint branch function (FBF) that computes the correct target address of the UBS as a function of the generated fingerprint and integrity check. If the program is tampered with, the fingerprint and/or integrity checks change and the target address is not computed correctly. Gupta and Pieprzyk's attack uses debugger capabilities such as register and address lookup and breakpoints to minimize the requirement to manually inspect the software. Using these resources, the FBF and calls to the same is identified, correct displacement values are generated and calls to FBF are replaced by the original UBS transferring control of the attack to the correct target instruction. In this paper, we propose a watermarking model that provides security against such debugging attacks. Two primary measures taken are shifting the stack pointer modification operation from the FBF to the individual UBSs, and coding the stack pointer modification in the same language as that of the rest of the code rather than assembly language to avoid conspicuous contents. The manual component complexity increases from O(1) in the previous scheme to O(n) in our proposed scheme.

Drawing and writing on the screen

This chapter focuses on the physicality of the iPad as an object, and how that physicality affects the interactions children have with the device generally, and the apps specifically. Thinking about the physicality of the iPad is important because the materials, size, weight and appearance make the iPad quite unlike most other toys and equipment in the kindergarten space. Most strikingly, this physicality does not ‘represent’ the virtual vast dimensions of the iPad brought about through the diverse functions and contents of the apps contained in it. While the iPad is small enough and functional enough to be easily handled and operated even by young children, it is capable of performing highly complex, highly technological tasks that take it beyond its diminutive dimensions. This virtual-actual contrast is interesting to consider in relation to the other resources more commonly found in a kindergarten space. While objects such as toys, bricks, building materials often do prompt the child to imagine and invent beyond the physical boundaries of the toy, they not have the same types of virtual-actual contrasts of a digital device such as the iPad. How then, might children be drawn to the iPad because of its physical, technological and virtual difference? Particularly, how might this virtual-actual difference impact on the physical skills associated with writing and drawing: skills usually learnt through the use of a pencil and paper? While the research project did not set out to compare how digital and paper-based resources affect writing and drawing skills there was great interest to see how young children negotiated drawing and writing on the shiny glass surface of the iPad.

A loop cancellation based active damping solution for constant power instability in vehicular power systems

In recent years, electric propulsion systems have increasingly been used in land, sea and air vehicles. The vehicular power systems are usually loaded with tightly regulated power electronic converters which tend to draw constant power. Since the constant power loads (CPLs) impose negative incremental resistance characteristics on the feeder system, they pose a potential threat to the stability of vehicular power systems. This effect becomes more significant in the presence of distribution lines between source and load in large vehicular power systems such as electric ships and more electric aircrafts. System transients such as sudden drop of converter side loads or increase of constant power requirement can cause complete system instability. Most of the existing research work focuses on the modeling and stabilization of DC vehicular power systems with CPLs. Only a few solutions are proposed to stabilize AC vehicular power systems with non-negligible distribution lines and CPLs. Therefore, this paper proposes a novel loop cancellation technique to eliminate constant power instability in AC vehicular power systems with a theoretically unbounded system stability region. Analysis is carried out on system stability with the proposed method and simulation results are presented to validate its effectiveness.

Optimizing I/O cost and managing memory for composition vector method based on correlation matrix calculation in bioinformatics

The generation of a correlation matrix for set of genomic sequences is a common requirement in many bioinformatics problems such as phylogenetic analysis. Each sequence may be millions of bases long and there may be thousands of such sequences which we wish to compare, so not all sequences may fit into main memory at the same time. Each sequence needs to be compared with every other sequence, so we will generally need to page some sequences in and out more than once. In order to minimize execution time we need to minimize this I/O. This paper develops an approach for faster and scalable computing of large-size correlation matrices through the maximal exploitation of available memory and reducing the number of I/O operations. The approach is scalable in the sense that the same algorithms can be executed on different computing platforms with different amounts of memory and can be applied to different bioinformatics problems with different correlation matrix sizes. The significant performance improvement of the approach over previous work is demonstrated through benchmark examples.

Structure and assembly of immature HIV

The major structural components of HIV are synthesized as a 55-kDa polyprotein, Gag. Particle formation is driven by the self-assembly of Gag into a curved hexameric lattice, the structure of which is poorly understood. We used cryoelectron tomography and contrast-transfer-function corrected subtomogram averaging to study the structure of the assembled immature Gag lattice to approximate to 17-angstrom resolution. Gag is arranged in the immature virus as a single, continuous, but incomplete hexameric lattice whose curvature is mediated without a requirement for pentameric defects. The resolution of the structure allows positioning of individual protein domains. High-resolution crystal structures were fitted into the reconstruction to locate protein-protein interfaces involved in Gag assembly, and to identify the structural transformations associated with virus maturation. The results of this study suggest a concept for the formation of nonsymmetrical enveloped viruses of variable sizes.

A regional interpretation of rules and good practice for greenhouse accounting : Northern Australian savanna systems

Land-use change, particularly clearing of forests for agriculture, has contributed significantly to the observed rise in atmospheric carbon dioxide concentration. Concern about the impacts on climate has led to efforts to monitor and curtail the rapid increase in concentrations of carbon dioxide and other greenhouse gases in the atmosphere. Internationally, much of the current focus is on the Kyoto Protocol to the United Nations Framework Convention on Climate Change (UNFCCC). Although electing to not ratify the Protocol, Australia, as a party to the UNFCCC, reports on national greenhouse gas emissions, trends in emissions and abatement measures. In this paper we review the complex accounting rules for human activities affecting greenhouse gas fluxes in the terrestrial biosphere and explore implications and potential opportunities for managing carbon in the savanna ecosystems of northern Australia. Savannas in Australia are managed for grazing as well as for cultural and environmental values against a background of extreme climate variability and disturbance, notably fire. Methane from livestock and non-CO2 emissions from burning are important components of the total greenhouse gas emissions associated with management of savannas. International developments in carbon accounting for the terrestrial biosphere bring a requirement for better attribution of change in carbon stocks and more detailed and spatially explicit data on such characteristics of savanna ecosystems as fire regimes, production and type of fuel for burning, drivers of woody encroachment, rates of woody regrowth, stocking rates and grazing impacts. The benefits of improved biophysical information and of understanding the impacts on ecosystem function of natural factors and management options will extend beyond greenhouse accounting to better land management for multiple objectives.

Centrobin regulates the assembly of functional mitotic spindles

The proper function of the spindle is crucial to the high fidelity of chromosome segregation and is indispensable for tumor suppression in humans. Centrobin is a recently identified centrosomal protein that has a role in stabilizing the microtubule structure. Here we functionally characterize the defects in centrosome integrity and spindle assembly in Centrobin-depleted cells. Centrobin-depleted cells show a range of spindle abnormalities including unfocused poles that are not associated with centrosomes, S-shaped spindles and mini spindles. These cells undergo mitotic arrest and subsequently often die by apoptosis, as determined by live cell imaging. Co-depletion of Mad2 relieves the mitotic arrest, indicating that cells arrest due to a failure to silence the spindle checkpoint in metaphase. Consistent with this, Centrobin-depleted metaphase cells stained positive for BubR1 and BubR1 S676. Staining with a panel of centrosome markers showed a loss of centrosome anchoring to the mitotic spindle. Furthermore, these cells show less cold-stable microtubules and a shorter distance between kinetochore pairs. These results show a requirement of Centrobin in maintaining centrosome integrity, which in turn promotes anchoring of mitotic spindle to the centrosomes. Furthermore, this anchoring is required for the stability of microtubule–kinetochore attachments and biogenesis of tension-ridden and properly functioning mitotic spindle.

Internal calibration of gel dosimeters : a feasibility study

In this work we test the feasibility of a new calibration method for gel dosimetry. We examine, through Monte Carlo modelling, whether the inclusion of an organic plastic scintillator system at key points within the gel phantom would perturb the dose map. Such a system would remove the requirement for a separate calibration gel, removing many sources of uncertainty.

The Australian general public's perceptions of having a personally controlled electronic health record (PCEHR)

Objective The move internationally by Governments and other health providers to encourage patients to have their own electronic personal health record (e-PHRs) is growing exponentially. In Australia the initiative for a personally controlled electronic health record (known as PCEHR) is directed towards the public at large. The first objective of this study then, is to examine how individuals in the general population perceive the promoted idea of having a PCEHR. The second objective is to extend research on applying a theoretically derived consumer technology acceptance model to guide the research. Method An online survey was conducted to capture the perceptions and beliefs about having a PCEHR identified from technology acceptance models and extant literature. The survey was completed by 750 Queensland respondents, 97% of whom did not have a PCEHR at that time. The model was examined using exploratory factor analysis, regressions and mediation tests. Results Findings support eight of the 11 hypothesised relationships in the model. Perceived value and perceived risk were the two most important variables explaining attitude, with perceived usefulness and compatibility being weak but significant. The perception of risk was reduced through partial mediation from trust and privacy concerns. Additionally, web-self efficacy and ease of use partially mediate the relationship between attitude and intentions. Conclusions The findings represent a snapshot of the early stages of implementing this Australian initiative and captures the perceptions of Queenslanders who at present do not have a PCEHR. Findings show that while individuals appreciate the value of having this record, they do not appear to regard it as particularly useful at present, nor is it particularly compatible with their current engagement with e-services. Moreover, they will need to have any concerns about the risks alleviated, particularly through an increased sense of trust and reduction of privacy concerns. It is noted that although the respondents are non-adopters, they do not feel that they lack the necessary web skills to set up and use a PCEHR. To the best of our knowledge this is one of a very limited number of studies that examines a national level implementation of an e-PHR system, where take-up of the PCEHR is optional rather than a centralised, mandated requirement.

A cascade multilevel STATCOM for wind generation systems

This paper presents a novel STATCOM configuration for voltage quality improvement in wind power generation systems. The proposed STATCOM is formed by cascading two 3-level inverters, `bulk inverter' and `conditioning inverter', through a coupling transformer. Both inverters are powered by dc-link capacitors and they are charged by a small amount of active power drawn from the grid. To minimize switching losses, the high power bulk inverter operates at low frequency while low power high frequency conditioning inverter is used to suppress harmonic content produced by the bulk inverter output. With only 24 switches this topology can synthesize a nine level inverter, if the dc-link voltage ratio is maintained at 3:1. Modulation and control techniques have been developed to meet this requirement. Reactive power of the STATCOM is controlled to mitigate voltage sags or swells caused by sudden wind changes. Simulation and experimental results are presented to verify the efficacy of the proposed modulation and control techniques used in the STATCOM.

Bridging experiments, models and simulations : an integrative approach to validation in computational cardiac electrophysiology

Computational models in physiology often integrate functional and structural information from a large range of spatio-temporal scales from the ionic to the whole organ level. Their sophistication raises both expectations and scepticism concerning how computational methods can improve our understanding of living organisms and also how they can reduce, replace and refine animal experiments. A fundamental requirement to fulfil these expectations and achieve the full potential of computational physiology is a clear understanding of what models represent and how they can be validated. The present study aims at informing strategies for validation by elucidating the complex interrelations between experiments, models and simulations in cardiac electrophysiology. We describe the processes, data and knowledge involved in the construction of whole ventricular multiscale models of cardiac electrophysiology. Our analysis reveals that models, simulations, and experiments are intertwined, in an assemblage that is a system itself, namely the model-simulation-experiment (MSE) system. Validation must therefore take into account the complex interplay between models, simulations and experiments. Key points for developing strategies for validation are: 1) understanding sources of bio-variability is crucial to the comparison between simulation and experimental results; 2) robustness of techniques and tools is a pre-requisite to conducting physiological investigations using the MSE system; 3) definition and adoption of standards facilitates interoperability of experiments, models and simulations; 4) physiological validation must be understood as an iterative process that defines the specific aspects of electrophysiology the MSE system targets, and is driven by advancements in experimental and computational methods and the combination of both.

Tangible E-Learning

Tangible User Interfaces increasingly gain attention for their supportive potential in cognitive processes. More and more often the terms e-Learning and tangible interaction are been referred to in one word as Tangible e-Learning. This paper gives a general overview on the topic in reference to development history, research and effectiveness. It explains how epistemology, together with its idea that physicality enhances learning and that the cognitive process can happen in expressive or exploratory manner, motivates the emerging of TUIs and acts as a basis for the classification of Tangible e-Learning Systems. The benefits of TUIs in comparison to classical GUIs in terms of their contribution to the learning process, engagement, enjoyment and collaboration are empirically proven, although poorly. Nevertheless, it is not known whether TUIs have stronger potential than common Physical User Interfaces that are not electronically augmented. Still, TUIs that support learning have a strong potential to be integrated into real world scenarios.

Heat strain evaluation of overt and covert body armour in a hot and humid environment

The aim of this study was to elucidate the thermophysiological effects of wearing lightweight non-military overt and covert personal body armour (PBA) in a hot and humid environment. Eight healthy males walked on a treadmill for 120 min at 22% of their heart rate reserve in a climate chamber simulating 31 °C (60%RH) wearing either no armour (control), overt or covert PBA in addition to a security guard uniform, in a randomised controlled crossover design. No significant difference between conditions at the end of each trial was observed in core temperature, heart rate or skin temperature (P > 0.05). Covert PBA produced a significantly greater amount of body mass change (−1.81 ± 0.44%) compared to control (−1.07 ± 0.38%, P = 0.009) and overt conditions (−1.27 ± 0.44%, P = 0.025). Although a greater change in body mass was observed after the covert PBA trial; based on the physiological outcome measures recorded, the heat strain encountered while wearing lightweight, non-military overt or covert PBA was negligible compared to no PBA. Practitioner summary The wearing of bullet proof vests or body armour is a requirement of personnel engaged in a wide range of occupations including police, security, customs and even journalists in theatres of war. This randomised controlled crossover study is the first to examine the thermophysiological effects of wearing lightweight non-military overt and covert personal body armour (PBA) in a hot and humid environment. We conclude that the heat strain encountered while wearing both overt and covert lightweight, non-military PBA was negligible compared to no PBA.

Comparative analysis of FimB and FimE recombinase activity

FimB and FimE are site-specific recombinases, part of the λ integrase family, and invert a 314 bp DNA switch that controls the expression of type 1 fimbriae in Escherichia coli. FimB and FimE differ in their activity towards the fim switch, with FimB catalysing inversion in both directions in comparison to the higher-frequency but unidirectional on-to-off recombination catalysed by FimE. Previous work has demonstrated that FimB, but not FimE, recombination is completely inhibited in vitro and in vivo by a regulator, PapB, expressed from a distinct fimbrial locus. The aim of this work was to investigate differences between FimB and FimE activity by exploiting the differential inhibition demonstrated by PapB. The research focused on genetic changes to the fim switch that alter recombinase binding and its structural context. FimB and FimE still recombined a switch in which the majority of fimS DNA was replaced with a larger region of non-fim DNA. This demonstrated a minimal requirement for FimB and FimE recombination of the Fim binding sites and associated inverted repeats. With the original leucine-responsive regulatory protein (Lrp) and integration host factor (IHF)-dependent structure removed, PapB was now able to inhibit both recombinases. The relative affinities of FimB and FimE were determined for the four ‘half sites’. This analysis, along with the effect of extensive swaps and duplications of the half sites on recombination frequency, demonstrated that FimB recruitment and therefore subsequent activity was dependent on a single half site and its context, whereas FimE recombination was less stringent, being able to interact initially with two half sites with equally high affinity. While increasing FimB recombination frequencies failed to overcome PapB repression, mutations made in recombinase binding sites resulted in inhibition of FimE recombination by PapB. Overall, the data support a model in which the recombinases differ in loading order and co-operative interactions. PapB exploits this difference and FimE becomes susceptible when its normal loading is restricted or changed.

An economic case for providing free access to antiretroviral therapy for HIV-positive people in South Australia

Background As financial constraints can be a barrier to accessing HIV antiretroviral therapy (ART), we argue for the removal of copayment requirements from HIV medications in South Australia. Methods Using a simple mathematical model informed by available behavioural and biological data and reflecting the HIV epidemiology in South Australia, we calculated the expected number of new HIV transmissions caused by persons who are not currently on ART compared with transmissions for people on ART. The extra financial investment required to cover the copayments to prevent an HIV infection was compared with the treatment costs saved due to averting HIV infections. Results It was estimated that one HIV infection is prevented per year for every 31.4 persons (median, 24.0–42.7 interquartile range (IQR)) who receive treatment. By considering the incremental change in costs and outcomes of a change in program from the current status quo, it would cost the health sector $17 860 per infection averted (median, $13 651–24 287 IQR) if ART is provided as a three-dose, three-drug combination without requirements for user-pay copayments. Conclusions The costs of removing copayment fees for ART are less than the costs of treating extra HIV infections that would result under current conditions. Removing the copayment requirement for HIV medication would be cost-effective from a governmental perspective.