Modeling and Verification of Privacy Enhancing Protocols

Privacy enhancing protocols (PEPs) are a family of protocols that allow secure exchange and management of sensitive user information. They are important in preserving users’ privacy in today’s open environment. Proof of the correctness of PEPs is necessary before they can be deployed. However, the traditional provable security approach, though well established for verifying cryptographic primitives, is not applicable to PEPs. We apply the formal method of Coloured Petri Nets (CPNs) to construct an executable specification of a representative PEP, namely the Private Information Escrow Bound to Multiple Conditions Protocol (PIEMCP). Formal semantics of the CPN specification allow us to reason about various security properties of PIEMCP using state space analysis techniques. This investigation provides us with preliminary insights for modeling and verification of PEPs in general, demonstrating the benefit of applying the CPN-based formal approach to proving the correctness of PEPs.

Enhancing digital road map with lane details extracted from large-scale stereo aerial imagery using object-oriented image analysis

Precise, up-to-date and increasingly detailed road maps are crucial for various advanced road applications, such as lane-level vehicle navigation, and advanced driver assistant systems. With the very high resolution (VHR) imagery from digital airborne sources, it will greatly facilitate the data acquisition, data collection and updates if the road details can be automatically extracted from the aerial images. In this paper, we proposed an effective approach to detect road lane information from aerial images with employment of the object-oriented image analysis method. Our proposed algorithm starts with constructing the DSM and true orthophotos from the stereo images. The road lane details are detected using an object-oriented rule based image classification approach. Due to the affection of other objects with similar spectral and geometrical attributes, the extracted road lanes are filtered with the road surface obtained by a progressive two-class decision classifier. The generated road network is evaluated using the datasets provided by Queensland department of Main Roads. The evaluation shows completeness values that range between 76% and 98% and correctness values that range between 82% and 97%.

Enhancing the standard operating range of a placido disk videokeratoscope for corneal surface estimation

Abstract—Corneal topography estimation that is based on the Placido disk principle relies on good quality of precorneal tear film and sufficiently wide eyelid (palpebral) aperture to avoid reflections from eyelashes. However, in practice, these conditions are not always fulfilled resulting in missing regions, smaller corneal coverage, and subsequently poorer estimates of corneal topography. Our aim was to enhance the standard operating range of a Placido disk videokeratoscope to obtain reliable corneal topography estimates in patients with poor tear film quality, such as encountered in those diagnosed with dry eye, and with narrower palpebral apertures as in the case of Asian subjects. This was achieved by incorporating in the instrument’s own topography estimation algorithm an image processing technique that comprises a polar-domain adaptive filter and amorphological closing operator. The experimental results from measurements of test surfaces and real corneas showed that the incorporation of the proposed technique results in better estimates of corneal topography, and, in many cases, to a significant increase in the estimated coverage area making such an enhanced videokeratoscope a better tool for clinicians.

The graduate attributes we've overlooked : enhancing graduate employability through career management skills

Recent shifts in education and labour market policy have resulted in universities being placed under increasing pressure to produce employable graduates. However, contention exists regarding exactly what constitutes employability and which graduate attributes are required to foster employability in tertiary students. This paper argues that in the context of a rapidly changing information- and knowledge-intensive economy, employability involves far more than possession of the generic skills listed by graduate employers as attractive. Rather, for optimal economic and social outcomes, graduates must be able to proactively navigate the world of work and self-manage the career building process. A model of desirable graduate attributes that acknowledges the importance of self-management and career building skills to lifelong career management and enhanced employability is presented. Some important considerations for the implementation of effective university career management programs are then outlined.

Enhancing the Stability of an Autonomous Microgrid using DSTATCOM

This paper proposes a method enhancing stability of an autonomous microgrid with distribution static compensator (DSTATCOM) and power sharing with multiple distributed generators (DG). It is assumed that all the DGs are connected through voltage source converter (VSC) and all connected loads are passive, making the microgrid totally inertia less. The VSCs are controlled by either state feedback or current feedback mode to achieve desired voltage-current or power outputs respectively. A modified angle droop is used for DG voltage reference generation. Power sharing ratio of the proposed droop control is established through derivation and verified by simulation results. A DSTATCOM is connected in the microgrid to provide ride through capability during power imbalance in the microgrid, thereby enhancing the system stability. This is established through extensive simulation studies using PSCAD.

Enhancing in vivo vascularized bone formation by cobalt chloride-treated bone marrow stromal cells in a tissue engineered periosteum model

The periosteum plays an indispensable role in both bone formation and bone defect healing. In this study we constructed an artificial in vitro periosteum by incorporating osteogenic differentiated bone marrow stromal cells (BMSCs) and cobalt chloride (CoCl(2))-treated BMSCs. The engineered periostea were implanted both subcutaneously and into skull bone defects in SCID mice to investigate ectopic and orthotopic osteogenesis and vascularization. After two weeks in subcutaneous and four weeks in bone defect areas, the implanted constructs were assessed for ectopic and orthotopic osteogenesis and vascularization by micro-CT, histomorphometrical and immunohistochemical methods. The results showed that CoCl(2) pre-treated BMSCs induced higher degree of vascularization and enhanced osteogenesis within the implants in both ectopic and orthotopic areas. This study provided a novel approach using BMSCs sourced from the same patient for both osteogenic and pro-angiogenic purposes in constructing tissue engineered periosteum to enhance vascularized osteogenesis.

Enhancing learning in dance technique through on-line-mediated reflective practice

‘Practice makes perfect’ expresses the common misconception that repetitive practice without appropriate feed-back will deliver improvement in tasks being practised. This paper explores the implementation of a student-driven feed-back mechanism and shows how functional and aesthetic understanding can be progressively enhanced through reflective practice. More efficient practice of clearly understood tasks will enhance dance training outcomes. We were looking for ways to improve teaching efficiency, effectiveness of the students’ practice in the studio and application of safe dance practices. We devised a web-based on-line format, ‘Performing Reflective Practice’, designed to augment and refine studio practice. Only perfect practice makes perfect!

Enhancing the capacity of oncology nurses to provide supportive care for patients with advanced cancer : evaluation of an educational intervention

Aim: This study aimed to enhance the capacity of oncology nurses to provide supportive care for patients with advanced cancer who have dependent children. ---------- Method: This was a pilot study of an educational intervention comprising a study-developed self-directed learning manual, supported by a day-long communication skills training workshop. Evaluation pre- and post-training included measures of stress and burnout, self-reports of confidence and attitudes, responses to clinical vignettes and video-taped interviews with simulated patients.---------- Results: Nurses found the educational intervention highly acceptable, and reported increased confidence in their ability to provide information and support for parents, and to initiate discussion about emotional issues. There were significant improvements in general communication skills and skills specific to this training, as well as reduced use of blocking.---------- Conclusion: Brief communication skills training supplemented with tailored educational resources can enhance confidence skills and knowledge of oncology nurses regarding their supportive care of parents with advanced cancer.

Delirium in early-stage Alzheimer's disease : enhancing cognitive reserve as a possible preventive measure

Delirium is a disorder of acute onset with fluctuating symptoms and is characterized by inattention, disorganized thinking, and altered levels of consciousness. The risk for delirium is greatest in individuals with dementia, and the incidence of both is increasing worldwide because of the aging of our population. Although several clinical trials have tested interventions for delirium prevention in individuals without dementia, little is known about the mechanisms for the prevention of delirium in early-stage Alzheimer’s disease (AD). The purpose of this article is to explore ways of preventing delirium and slowing the rate of cognitive decline in early-stage AD by enhancing cognitive reserve. An agenda for future research on interventions to prevent delirium in individuals with early-stage AD is also presented.

Enhancing transition : an enhanced model of clinical placement for final year nursing students

Specialised support for student nurses making the transition to graduate nurse can be crucial to successful and smooth adjustment, and can create a path to positive and stable career experiences. This paper describes an enhanced model of final year nursing student placements which was trialled in 2006 at the Queensland University of Technology. The model involved collaboration with two major urban health services and resources were developed to support effective transition experiences. Ninety-two students, including 29 trial participants and 63 non-trial participants were assessed on preparedness for professional practice, before and after the trial semester. Results indicated an increase in preparedness across the entire sample, but students participating in the trial did not differ significantly in overall preparedness change from those who did not participate. Higher baseline preparedness in the trial group highlighted the possibility that proactive students who choose enrichment experiences tend to be likelier to gain benefit from such options than those who do not. Qualitative findings from focus groups conducted with 12 transition group students highlighted that one of the main beneficial aspects of the experience for students was the sense of belonging to a team that understood their learning needs and could work constructively with them.

Framework and processes for enhancing sustainability deliverables in Australian road infrastructure projects

Road and highway infrastructure provides the backbone for a nation’s economic growth. The versatile dispersion of population in Australia and its resource boom, coupled with improved living standards and growing societal expectations, calls for continuing development and improvement of road infrastructure under the current local, state and federal governments’ policies and strategic plans. As road infrastructure projects involve huge resources and mechanisms, achieving sustainability not only on economic scales but also through environmental and social responsibility becomes a crucial issue. While sustainability is a logical link to infrastructure development, literature study and consultation with the industry found that there is a lack of common understanding on what constitutes sustainability in the infrastructure context. Its priorities are often interpreted differently among multiple stakeholders. For road infrastructure projects which typically span over long periods of time, achieving tangible sustainability outcomes during the lifecycle of development remains a formidable task. Sustainable development initiatives often remain ideological as in macro-level policies and broad-based concepts. There were little elaboration and exemplar cases on how these policies and concepts can be translated into practical decision-making during project implementation. In contrast, there seemed to be over commitment on research and development of sustainability assessment methods and tools. Between the two positions, there is a perception-reality gap and mismatch, specifically on how to enhance sustainability deliverables during infrastructure project delivery. Review on past research in this industry sector also found that little has been done to promote sustainable road infrastructure development; this has wide and varied potential impacts. This research identified the common perceptions and expectations by different stakeholders towards achieving sustainability in road and highway infrastructure projects. Face to face interviews on selected representatives of these stakeholders were carried out in order to select and categorize, confirm and prioritize a list of sustainability performance targets identified through literature and past research. A Delphi study was conducted with the assistance of a panel of senior industry professionals and academic experts, which further considered the interrelationship and influence of the sustainability indicators, and identified critical sustainability indicators under ten critical sustainability criteria (e.g. Environmental, Health & Safety, Resource Utilization & Management, Social & Cultural, Economic, Public Governance & Community Engagement, Relations Management, Engineering, Institutional and Project Management). This presented critical sustainability issues that needed to be addressed at the project level. Accordingly, exemplar highway development projects were used as case studies to elicit solutions for the critical issues. Through the identification and integration of different perceptions and priority needs of the stakeholders, as well as key sustainability indicators and solutions for critical issues, a set of decision-making guidelines was developed to promote and drive consistent sustainability deliverables in road infrastructure projects.

Enhancing the experience of public transport users with urban screens and mobile applications

Public transportation is an environment with great potential for applying location-based services through mobile devices. This paper provides the underpinning rationale for research that will be looking at how the real-time passenger information system deployed by the Translink Transit Authority across all of South East Queensland in Australia can provide a core platform to improve commuters’ user experiences. This system relies on mobile computing and GPS technology to provide accurate information on transport vehicle locations. The proposal builds on this platform to inform the design and development of innovative social media, mobile computing and geospatial information applications. The core aim is to digitally augment the public transport environment to enhance the user experience of commuters for a more enjoyable journey.