Automated proofs of computational indistinguishability

We present a tool for automatic analysis of computational indistinguishability between two strings of information. This is designed as a generic tool for proving cryptographic security based on a formalism that provides computational soundness preservation. The tool has been implemented and tested successfully with several cryptographic schemes.

The government as proprietor, preserver and user of copyright material under the Copyright Act 1968 (CTH)

This thesis examines the role of government as proprietor, preserver and user of copyright material under the Copyright Act 1968 (Cth) and the policy considerations which Australian law should take into account in that role. There are two recurring themes arising in this examination which are significant to the recommendations and conclusions. The first is whether the needs and status of government should be different from private sector institutions, which also obtain copyright protection under the law. This theme stems from the 2005 Report on Crown Copyright by the Copyright Law Review Committee and the earlier Ergas Committee Report which are discussed in Chapters 2 and 8 of this thesis. The second is to identify the relationship between government copyright law and policy, national cultural policy and fundamental governance values. This theme goes to the essence of the thesis. For example, does the law and practice of government copyright properly reflect technological change in the way we now access and use information and does it facilitate the modern information management principles of government? Is the law and practice of government copyright consistent with the greater openness and accountability of government? The thesis concludes that government copyright law and practice in each of the three governmental roles recognised under the Copyright Act 1968 has not responded adequately to the information age and to the desire and the ability of individuals to access information quickly and effectively. The solution offered in this thesis is reform of the law and of public policy that is in step with access to information policy, the promotion of better communication and interaction with the community, and the enhanced preservation of government and private copyright materials for reasons of government accountability, effective administration and national culture and heritage.

Using cultural-historical activity theory (CHAT) to study the relationship between school leadership and organisational change

This study aimed to identify how school leaders’ practices influence department activities during school transformation. The method used to explore emerging disturbances and contradictions within and between school departments was based on Cultural Historical Activity Theory (CHAT). The findings show that in order to implement educational changes in schools successfully, leaders should promote the change they envision as being highly consistent with the current collective identity (shared object) of the departments. From this perspective, the systemic components of the school departments are given a sense of preservation and continuity, rather than loss.

Saudi Arabia’s sustainable housing limitations : the experts’ views

Purpose The purpose of this paper is to attempt to bridge the gap between sustainable housing and the use of smart technologies to improve the level of sustainability in the housing construction in Saudi Arabia, by discussing the barriers and enablers concerned with applying sustainability to housing construction in Saudi Arabia, which utilises smart technologies. Design/methodology/approach A Delphi method survey was employed, for which 25 individuals from three key stakeholder groups of the Saudi housing sector participated. They were asked about their degree of agreement (or disagreement) about the various barriers and enablers of applying sustainability to housing construction in Saudi Arabia, which utilises smart technologies. This research paper must be considered as an indicative study of selected experts that do not represent in any way the total population of Saudi Arabia. Findings Lack of public awareness has been identified as the most significant barrier in implementing sustainable housing development in Saudi Arabia, which utilises smart technologies. Raising awareness of the public to the benefits of sustainable housing and enlightening key project stakeholders in the design of sustainable housing are both essential in order to overcome the barriers discussed in this paper. In addition, it is important to adopt smart sustainable construction methods, exemplified by but not limited to, appropriate water preservation and wastewater treatment systems that are simultaneously smart and sustainable. Research limitations/implications This particular research has dealt with only barriers and enablers in the application of sustainability to housing in Saudi Arabia, which utilises smart technologies. For a more complete understanding, there is a need for further analysis of supplementary factors. Practical implications A study such as this, which identifies and prioritises barriers and enablers, could prove useful in guiding or encouraging the relevant ministry in Saudi Arabia to develop policies founded in the implementation of sustainability to the housing sector. Originality/value This research is a preliminary investigation into the implementation of sustainable housing development as it relates to Saudi Arabia.

Invading edge vs. inner (edvin) patterns of vascularization : an interplay between angiogenic and vascular survival factors defines the clinical behaviour of non-small cell lung cancer

Neo-angiogenesis during neoplastic growth involves endothelial mitogenic and migration stimuli produced by cancer or tumour stromal cells. Although this active angiogenesis takes place in the tumour periphery, the process of vessel growth and survival in inner areas and its clinical role remain largely unexplored. The present study compared the microvessel score (MS) as well as the single endothelial cell score (ECS) in the invading edge and in inner areas of non-small cell lung carcinomas (NSCLCs). Three different patterns of vascular growth were distinguished: the edvin (edge vs. inner) type 1, where a low MS was observed in both peripheral and inner tumour areas; the edvin type 2, where a high MS was noted in the invading front but a low MS in inner areas; and the edvin type 3, where both peripheral and inner tumour areas had a high MS. The ECS was high in the invading edge in edvin type 2 and 3 cases and was sharply decreased in both types in inner areas, suggesting that endothelial cell migration is unlikely to contribute to the angiogenic process in areas away from the tumour front. Expression of the vascular endothelial growth factor (VEGF) and of thymidine phosphorylase (TP) was associated with a high MS in the invading edge. VEGF was associated with a high MS in inner areas (edvin 3), while TP expression was associated with edvin type 2, showing that VEGF (and not TP) contributes to the preservation of the inner vasculature. Both edvin type 2 and 3 cases showed an increased incidence of node metastasis, but edvin type 3 cases had a poorer prognosis, even in the N1-stage group. The present study suggests that tumour factors regulating angiogenesis and vascular survival are not identical. A possible method is reported to quantify these two parameters by comparing the MS in the invading edge and inner areas (edvin types). This observation may contribute to the evaluation of the effectiveness of different therapeutic approaches, namely vascular targeting vs. anti-angiogenesis. Copyright (C) 2000 John Wiley and Sons, Ltd.

Evaluation of canine bone marrow-derived mesenchymal stem cells after long-term cryopreservation

Autologous bone marrow-derived mesenchymal stem cell (BMSCs)-based therapies show great potential in regenerative medicine. However, long-term storage and preservation of BMSCs for clinical use is still a great clinical challenge. The present study aimed to analyze the effect of long-term cryopreservation on the regenerative ability of BMSCs. After cryopreservation of BMSCs from beagle dogs for three years, cell viability, and quantitative analysis of alkaline phosphatase (ALP) activity, surface adherence, and mineralized nodule formation were analyzed. BMSCs in cell-scaffold complex were then implanted into nude mice. There was no significant difference in cell viability and ALP activity between osteogenic differentiation and non-osteogenic differentiation of BMSCs, and BMSCs in cell-scaffold complex retained osteogenic differentiation ability in vivo. These results indicate that long-term cryopreserved BMSCs maintain their have capacity to contribute to regeneration.

Cinema studies : Women's Experimental Cinema edited by Robin Blaetz

Women’s Experimental Cinema provides lively introductions to the work of fifteen avant-garde women filmmakers, some of whom worked as early as the 1950s and many of whom are still working today. In each essay in this collection, a leading film scholar considers a single filmmaker, supplying biographical information, analyzing various influences on her work, examining the development of her corpus, and interpreting a significant number of individual films. The essays rescue the work of critically neglected but influential women filmmakers for teaching, further study, and, hopefully, restoration and preservation. Just as importantly, they enrich the understanding of feminism in cinema and expand the terrain of film history, particularly the history of the American avant-garde.

Damage evaluation based on a wave energy flow map using multiple PZT sensors

A new wave energy flow (WEF) map concept was proposed in this work. Based on it, an improved technique incorporating the laser scanning method and Betti’s reciprocal theorem was developed to evaluate the shape and size of damage as well as to realize visualization of wave propagation. In this technique, a simple signal processing algorithm was proposed to construct the WEF map when waves propagate through an inspection region, and multiple lead zirconate titanate (PZT) sensors were employed to improve inspection reliability. Various damages in aluminum and carbon fiber reinforced plastic laminated plates were experimentally and numerically evaluated to validate this technique. The results show that it can effectively evaluate the shape and size of damage from wave field variations around the damage in the WEF map.

Climate change and children’s health : a call for research on what works to protect children

Climate change is affecting and will increasingly influence human health and wellbeing. Children are particularly vulnerable to the impact of climate change. An extensive literature review regarding the impact of climate change on children’s health was conducted in April 2012 by searching electronic databases PubMed, Scopus, ProQuest, ScienceDirect, and Web of Science, as well as relevant websites, such as IPCC and WHO. Climate change affects children’s health through increased air pollution, more weather-related disasters, more frequent and intense heat waves, decreased water quality and quantity, food shortage and greater exposure to toxicants. As a result, children experience greater risk of mental disorders, malnutrition, infectious diseases, allergic diseases and respiratory diseases. Mitigation measures like reducing carbon pollution emissions, and adaptation measures such as early warning systems and post-disaster counseling are strongly needed. Future health research directions should focus on: (1) identifying whether climate change impacts on children will be modified by gender, age and socioeconomic status; (2) refining outcome measures of children’s vulnerability to climate change; (3) projecting children’s disease burden under climate change scenarios; (4) exploring children’s disease burden related to climate change in low-income countries, and ; (5) identifying the most cost-effective mitigation and adaptation actions from a children’s health perspective.

Evolving a design driven ‘hybrid’ research approach to inform and advance sustainable outcomes in the built environment sector

A significant reduction in global greenhouse gas (GHG) emissions is a priority, and the preservation of existing building stock presents a significant opportunity to reduce the carbon footprint of our built environment. Within this ‘wicked’ problem context, and moving beyond the ad hoc and incremental performance improvements that have been made to date, collaborative and multidisciplinary efforts are required to find rapid and transformational solutions. Design has emerged as a strategic and redirective practice, and lessons can therefore be learned about transformation and potentially applied in the built environment. The purpose of this paper is to discuss a pragmatic and novel research approach for undertaking such applied design driven research. This paper begins with a discussion of key contributions from design science (rational) and action research (reflective) philosophies in creating an emerging methodological ‘hybrid design approach’. This research approach is then discussed in relation to its application to specific research exploring the processes, methods and lessons from design in heritage building retrofit projects. Drawing on both industry and academic knowledge to ensure relevance and rigour, it is anticipated that the hybrid design approach will be useful for others tackling such complex wicked problems that require context-specific solutions.

Navigating the social dimension of sustainability decision making of mega-projects

Until recently, sustainable development was perceived as essentially an environmental issue, relating to the integration of environmental concerns into economic decision-making. As a result, environmental considerations have been the primary focus of sustainability decision making during the economic development process for major projects, and the assessment and preservation of social and cultural systems has been arguably too limited. The practice of social impact and sustainability assessment is an established and accepted part of project planning, however, these practices are not aimed at delivering sustainability outcomes for social systems, rather they are designed to minimise ‘unsustainability’ and contribute to project approval. Currently, there exists no widely recognised standard approach for assessing social sustainability and accounting for positive externalities of existing social systems in project decision making. As a result, very different approaches are applied around the world, and even by the same organisations from one project to another. This situation is an impediment not only to generating a shared understanding of the social implications as related to major projects, but more importantly, to identifying common approaches to help improve social sustainability outcomes of proposed activities. This paper discusses the social dimension of sustainability decision making of mega-projects, and argues that to improve accountability and transparency of project outcomes it is important to understand the characteristics that make some communities more vulnerable than others to mega-project development. This paper highlights issues with current operational level approaches to social sustainability assessment at the project level, and asserts that the starting point for project planning and sustainability decision making of mega-projects needs to include the preservation, maintenance, and enhancement of existing social and cultural systems. It draws attention to the need for a scoping mechanism to systematically assess community vulnerability (or sensitivity) to major infrastructure development during the feasibility and planning stages of a project.

Effect of culture conditions and calcium phosphate coating on ectopic bone formation

This study investigated the effect of a calcium phosphate (CaP) coating onto a polycaprolactone melt electrospun scaffold and in vitro culture conditions on ectopic bone formation in a subcutaneous rat model. The CaP coating resulted in an increased alkaline phosphatase activity (ALP) in ovine osteoblasts regardless of the culture conditions and this was also translated into higher levels of mineralisation. A subcutaneous implantation was performed and increasing ectopic bone formation was observed over time for the CaPcoated samples previously cultured in osteogenic media whereas the corresponding non-coated samples displayed a lag phase before bone formation occurred from 4 to 8 weeks post-implantation. Histology and immunohistochemistry revealed bone fill through the scaffolds 8 weeks post-implantation for coated and non-coated specimens and that ALP, osteocalcin and collagen 1 were present at the ossification front and in the bone tissues. Vascularisation in the vicinity of the bone tissues was also observed indicating that the newly formed bone was not deprived of oxygen and nutrients.We found that in vitro osteogenic induction was essential for achieving bone formation and CaP coating accelerated the osteogenic process. We conclude that high cell density and preservation of the collagenous and mineralised extracellular matrix secreted in vitro are factors of importance for ectopic bone formation.

Moisture and tensile strength properties of starch-sugar cane nanofibre films

There is an increasing need for biodegradable, environmentally friendly plastics to replace the petroleum-based non-degradable plastics which litter and pollute the environment. Starch-based plastic film composites are becoming a popular alternative because of their low cost, biodegradability, the abundance of starch, and ease with which starch-based films can be chemically modified. This paper reports on the results of using sugar cane bagasse nanofibres to improve the physicochemical properties of starch-based polymers. The addition of bagasse nanofibre (2.5, 5, 10 or 20 wt%) to (modified) potato starch (‘Soluble starch’) reduced the moisture uptake by up to 17 % at 58 % relative humidity (RH). The film’s tensile strength and Young’s Modulus increased by up to 100 % and 200 % with 10 wt% and 20 wt% nanofibre respectively at 58% RH. The tensile strain reduced by up to 70 % at 20 wt% fibre loading. These results indicate that addition of sugar cane bagasse nanofibres significantly improved the properties of starch-based plastic films

Polarized infrared absorption spectrum of matrix-isolated methylperoxyl radicals, CH3OO (X)over-tilde 2A ''

We have used a tandem pair of supersonic nozzles to produce clean samples of CH3OO radicals in cryogenic matrices. One hyperthermal nozzle decomposes azomethane (CH3NNCH3) to generate intense pulses of CH3 radicals, While the second nozzle alternately fires a burst Of O-2/Ar at the 20 K matrix. The CH3/O-2/20 K argon radical sandwich acts to produce target methylperoxyl radicals: CH3 + O-2 --> CH3OO. The absorption spectra of the radicals are monitored with a Fourier transform infrared spectrometer. We report 10 of the 12 fundamental infrared bands of the methylperoxyl radical CH3OO, (X) over tilde (2)A", in an argon matrix at 20 K. The experimental frequencies (cm(-1)) and polarizations follow: the a' modes are 3032, 2957, 1448, 1410, 1180, 1109, 90, 492, while the a" modes are 3024 and 1434. We cannot detect the asymmetric CH3 rocking mode, nu(11), nor the torsion, nu(12). The infrared spectra of (CH3OO)-O-18-O-18, (CH3OO)-C-13, and CD3OO have been measured as well in order to determine the isotopic shifts. The experimental frequencies, {nu}, for the methylperoxyl radicals are compared to harmonic frequencies, {omega}, resulting from a UB3LYP/6-311G(d,p) electronic structure calculation. Linear dichroism spectra were measured with photooriented radical samples in order to establish the experimental polarizations of most vibrational bands. The methylperoxyl radical matrix frequencies listed above are within +/-2% of the gas-phase vibrational frequencies. A final set of vibrational frequencies for the H radical, are recommended. See also http://ellison.colorado.edu/methylperoxyl.

High and low mammographic density human breast tissues maintain histological differential in murine tissue engineering chambers

Mammographic density (MD) is the area of breast tissue that appears radiologically white on mammography. Although high MD is a strong risk factor for breast cancer, independent of BRCA1/2 mutation status, the molecular basis of high MD and its associated breast cancer risk is poorly understood. MD studies will benefit from an animal model, where hormonal, gene and drug perturbations on MD can be measured in a preclinical context. High and low MD tissues were selectively sampled by stereotactic biopsy from operative specimens of high-risk women undergoing prophylactic mastectomy. The high and low MD tissues were transferred into separate vascularised biochambers in the groins of SCID mice. Chamber material was harvested after 6 weeks for histological analyses and immunohistochemistry for cytokeratins, vimentin and a human-specific mitochondrial antigen. Within-individual analysis was performed in replicate mice, eliminating confounding by age, body mass index and process-related factors, and comparisons were made to the parental human tissue. Maintenance of differential MD post-propagation was assessed radiographically. Immunohistochemical staining confirmed the preservation of human glandular and stromal components in the murine biochambers, with maintenance of radiographic MD differential. Propagated high MD regions had higher stromal (p = 0.0002) and lower adipose (p = 0.0006) composition, reflecting the findings in the original human breast tissue, although glands appeared small and non-complex in both high and low MD groups. No significant differences were observed in glandular area (p = 0.4) or count (p = 0.4) between high and low MD biochamber tissues. Human mammary glandular and stromal tissues were viably maintained in murine biochambers, with preservation of differential radiographic density and histological features. Our study provides a murine model for future studies into the biomolecular basis of MD as a risk factor for breast cancer.