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

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.

Narratives of possession : reading for saga authorship

The aim of this thesis is to show how character analysis can be used to approach conceptions of saga authorship in medieval Iceland. The idea of possession is a metaphor that is adopted early in the thesis, and is used to describe Icelandic sagas as works in which traditional material is subtly interpreted by medieval authors. For example, we can say that if authors claim greater possession of the sagas, they interpret, and not merely record, the sagas' historical information. On the other hand, tradition holds onto its possession of the narrative whenever it is not possible for an author to develop his own creative and historical interests. The metaphor of possession also underpins the character analysis in the thesis, which is based on the idea that saga authors used characters as a vehicle by which to possess saga narratives and so develop their own historical interests. The idea of possession signals the kinds of problems of authorship study which are addressed here, in particular, the question of the authors' sense of saga writing as an act either of preservation or of creation. While, in that sense, the thesis represents an additional voice in a long-standing debate about the saga writers' relation to their source materials, I argue against a clear-cut distinction between creative and non-creative authors, and focus instead on the wide variation in authorial control over saga materials. This variation suggests that saga authorship is a multi-functional activity, or one which co-exists with tradition. Further, by emphasising characterisation as a method, I am adding to the weight of scholarship that seeks to understand the sagas in terms of their literary effects. The Introduction and chapter one lay out the theoretical scope of this thesis. My aim in these first two sections is to inform the reader of the type of critical questions that arise when authorship is approached in relation to characterisation, and to suggest an interpretive framework with which to approach these questions. In the Introduction this aim manifests as a brief discussion of the application of the term "authorship" to the medieval Icelandic corpus, a definition of the scope of this study, and an introduction to the connections, made throughout this thesis, between saga authors, the sagas' narrative style, and the style of characterisation in the sagas. Chapter one is a far more detailed discussion of our ability to make these connections. In particular, the chapter develops the definition of the analytical term "secondary authorship" that I introduce in order to delineate the type of characterisation that is of most interest in this thesis. "Secondary authorship" is a literary term that aims to sharpen our approach to saga authors' relationship to their characters by focusing on characters who make representations about the events of the saga. The term refers to any instance in which characters behave in a manner that resembles the creativity, interpretation, and understanding associated with authorship more generally. Character analysis cannot, however, be divorced from socio-historical approaches to the saga corpus. Most importantly, the sagas themselves are socio-historical representations that claim some degree of truth value. This claim that the sagas make by implication about their historicity is the starting point of a discussion of authorship in medieval Iceland. Therefore, at the beginning of chapter one I discuss some of the approaches to the social context of saga writing. This discussion serves as an introduction to both the culture of saga writing in medieval Iceland and to the nature of the sagas' historical perspective, and reflects my sense that literary interpretations of the sagas cannot be isolated from the historical discourses that frame them. The chapter also discusses possession, which, as I note above, is used alongside the concept of secondary authorship to describe the saga authors' relationship with the stories and characters of the past. At the close of chapter one, I offer a preliminary list the various functions of saga authorship, and give some examples of secondary authorship. From this point I am able to tie my argument about secondary authorship to specific examples from the sagas. Chapter two examines the effect of family obligations and domestic points of view in the depiction of characters' choices and conception of themselves. The examples that are given in that chapter - from Gisla saga Súrssonar and Íslendinga saga - are the first of a number of textual analyses that demonstrate the application of the concepts of secondary authorship and possession of saga narratives. The relationship between narratives about national and domestic matters shows how authorial creativity in the area of kinship obligation provides the basis for the saga's development of historical themes. Thus, the two major case studies given in chapter two tie authorial engagement with characters to the most influential social institution in early and medieval Iceland, the family. The remaining chapters represent similar attempts to relate authorial possession of saga characters to central socio-historical themes in the sagas, such as the settlement process in early Iceland and its influence on the development of regional political life (chapter three). Likewise, the strong authorial interest in an Icelander's journey to Norway in Heimskringla is presented as evidence of the author's use of a saga character to express an Icelandic interpretation of Norwegian history and to promote a sense that Iceland shared the ownership of regal history with Norway (chapter four). In that authorial engagement with the Icelander abroad, we witness saga characterisation being used as a basis for historical interpretation and the means by which foreign traditions and influence, not least the narratives of royal lives and of the Christianisation, are claimed as part of medieval Icelanders' self-conception. While saga authors observe the conventions of saga narration, characters are often subtly positioned as the authors' interpretive mirrors, especially clear than when they act as secondary authors. Nowhere is this more apparent than in Brennu- Njáls saga, which contains many characters who voice the author's claim to interpret the past. Even Hrútr Herjólfsson, through his remarkable perception of events and his conspicuous comments about them, acts as a secondary author by enabling the author to emphasise the importance of the disposition of characters. In Laxdœla saga and Þorgils saga ok Hafliða, authorial interest in characters' perception is matched by the thematising of learning, from the inception of knowledge as prophecy or advice to complete understanding by saga characters (chapter six). In Þorgils saga skarða, a character's inner development from an excessively ambitious and politically ruthless youth to a Christian leader killed by his kinsman allows the author to shape a political life into a lesson about leadership and the community's ability to moderate and contain the behaviour of extraordinary individuals. The portrayal draws on methods of characterisation that we can identify in Grettis saga Ásmundarson, Fóstbrœðra saga, and Orkneyinga saga. A comparison of the characterisation of figures with intense political or military ambitions suggests that saga authors were interested in the community's ability to balance their strength and ability with a degree of social moderation. The discussion of these sagas shows that character study can be used to analyse how the saga authors added their own voice to the voices passed down to medieval Icelanders in traditional narratives. Authorial engagement with characters allowed inherited traditions about early Norway and Iceland and records of thirteenth century events to be transformed into sophisticated historical works with highly creative elements. Through secondary authorship, saga authors took joint-possession of narratives and contested the power of tradition in setting the interpretive framework of a saga.