Plans, Actions and Dialogues Using Linear Logic

We describe how Intuitionistic Linear Logic can be used to provide a unified logical account for agents to find and execute plans. This account supports the modelling of agent interaction, including dialogue; allows agents to be robust to unexpected events and failures; and supports significant reuse of agent specifications. The framework has been implemented and several case studies have been considered. Further applications include human–computer interfaces as well as agent interaction in the semantic web.     

Pedestrian navigation aids: information requirements and design implications

Recent years have seen an increased interest in navigational services for pedestrians. To ensure that these services are successful, it is necessary to understand the information requirements of pedestrians when navigating, and in particular, what information they need and how it is used. A requirements study was undertaken to identify these information requirements within an urban navigation context. Results show that landmarks were by far the most predominant navigation cue, that distance information and street names were infrequently used, and that information is used to enable navigation decisions, but also to enhance the pedestrians confidence and trust. The implications for the design of pedestrian navigation aids are highlighted.     

The design of civic technology: factors that influence public participation and impact

Civic technology needs to be better understood in terms of the factors that promote representative public participation and impact. This paper reports on a mixed-methods study of a civic tech platform that enabled the public to provide feedback on public transport to the service providers. The overall aim of this research was to investigate the public’s use of a leading civic tech platform, FixMyTransport. The key findings were that: an effective and easy-to-use civic technology platform enables broad participation; data and process complexity need to be removed; factual information can be captured in situ with impacts, consequences and opinions added later; emotions (if important) need to be explicitly elicited; feedback to, and a ‘conversation’ with, the users is important for engagement, as is a feeling of being part of a community. These findings can contribute to the future design of civic technology platforms.

Practitioner Summary: There is a lack of understanding of how ‘civic tech’ platforms are used and how they may be designed for maximum effectiveness. Multiple data collection methods were used to investigate a well-developed example of civic tech. Effective civic tech can enable broad democratic participation to improve public services.     

Implementing software metrics — the critical success factors

This paper reviews the current state of industry with regard to the introduction of software metrics. It discusses the benefits that organizations have derived from metrication, it looks at why organizations have sought to introduce metrics programmes, how they have gone about introducing those programmes and the problems that they have encountered during implementation. The review found that, on the whole, only the sanitized aspects of metrics experiences have actually been published. This seems to be especially the case with respect to practitioner resistance. Very few organizations admit to having encountered resistance during the introduction of a metrics programme. The paper also includes the results of a pilot study, conducted by the first author, which examines the attitudes that developers hold towards the introduction of software metrics. The key findings of this pilot study are that positive attitudes to metrics correlate highly with levels of education and to job satisfaction.     

On-demand Virtual Neonatal Intensive Care units supporting rural, remote and urban healthcare with Bush Babies Broadband

Premature and ill term babies born in regional Australia must be moved to another hospital with Neonatal Intensive Care Unit (NICU) facilities. Transferred pre-term and critically ill term babies have higher mortality rates and much higher rates of long term disability than similar babies born in hospitals with NICU facilities. This paper details the Bush Babies Broadband project that aims to significantly improve the quality of treatment for babies born in rural, remote as well as urban areas by providing the first on-demand virtual NICU architecture in Australia. Real-time data collected from medical monitors and ventilators attached to the baby, audiovisual streams and static physiological data such as X-ray images are transmitted to the consulting Neonatologist to gain a better picture of the patient's condition than is currently available. The key contribution of this significant research is the infrastructure providing a mechanism for Neonatologists to receive information directly from a regional hospital, thereby preventing, in some cases, the immediate need to move the baby. A key benefit of this framework is that it is available to link regional hospitals with the supporting NICU Neonatologist ‘on demand’ eliminating the need to establish permanent point to point connections. This paper further describes the application of that architecture to a specific pilot connecting the Bathurst regional hospital with Neonatologists within the NICU at Nepean Hospital, Penrith Australia.     

Network Analysis of Commuting Flows: A Comparative Static Approach to German Data

The analysis of complex networks has recently received considerable attention. The work by Albert and Barabási presented a research challenge to network analysis, that is, growth of the network. The present paper offers a network analysis of the spatial commuting network in Germany. First, we study the spatial evolution of the commuting network over time. Secondly, we compare two spatial interaction model (SIM) specifications, in order to replicate the actual network structure. Our findings suggest that the commuting network appeared to become more dense and clustered, while the SIMs seem to require more sophisticated specifications, in order to replicate such a connectivity structure.     

Reading in the dark: effects of age and contrast on reading speed and comprehension

OBJECTIVE: To explore the effects of contrast reduction on younger and older adults' reading behavior and to examine whether readers rely on word predictability to compensate for poor contrast. BACKGROUND: Poor contrast can degrade text and may influence reading behavior. Readers may compensate for visual degradation of text by taking advantage of word predictability. METHOD: In Experiment 1, 5 younger and 5 older adults read sentences presented with 10 levels of contrast. In Experiment 2, 40 younger and 40 older adults read high-, medium-, and low-contrast sentences that varied in target word predictability (high vs. low). RESULTS: Relative to those of younger adults, older adults' reading rates were more slowed by low contrast; comprehension was less influenced by contrast (i.e., not significantly). Older adults read high-predictability words faster and comprehended them better than low-predictability words, significantly so for high- and medium-contrast sentences. Younger adults comprehended high-predictability words significantly better than low-predictability words for high- and low-contrast sentences. CONCLUSION: Low contrast was more detrimental for older adults. High-predictability words benefited older adults by significantly reducing their reading times and benefited all readers by significantly increasing their comprehension. APPLICATION: The current findings demonstrate the benefit of adequate contrast and word predictability for optimal text design to facilitate both reading times and reading comprehension.     

Understanding challenges in the front lines of home health care: A human-systems approach

A human-systems perspective is a fruitful approach to understanding home health care because it emphasizes major individual components of the system – persons, equipment/technology, tasks, and environments – as well as the interaction between these components. The goal of this research was to apply a human-system perspective to consider the capabilities and limitations of the persons, in relation to the demands of the tasks and equipment/technology in home health care. Identification of challenges and mismatches between the person(s) capabilities and the demands of providing care provide guidance for human factors interventions. A qualitative study was conducted with 8 home health Certified Nursing Assistants and 8 home health Registered Nurses interviewed about challenges they encounter in their jobs. A systematic categorization of the challenges the care providers reported was conducted and human factors recommendations were proposed in response, to improve home health. The challenges inform a human-systems model of home health care.     

Stress-strain response of a cast 319-T6 aluminum under thermomechanical loading

The stress-strain behavior of cast 319-T6 aluminum-copper alloys with three different secondary dendrite arm spacings (SDASs) was studied at high temperatures and under thermomechanical deformation, exposing marked cyclic softening. A two state-variable unified inelastic constitutive model proposed earlier was modified to describe the stress-strain responses of these alloys by considering the variation of hardening and recovery functions of back-stress and drag stress. The SDAS was incorporated in the model as a length-scale parameter, and the material constants were determined systematically from experiments on a cast 319-T6 aluminum with small and large SDASs. The capabilities of the constitutive model were checked by the comparisons of simulations to experiments in the small-strain regime (<0.005). The results show that the model provides successful simulations for material response after thermal exposure at high temperature and cyclic transient stress-strain behavior. The causes of mechanical behaviors at the macro scale are discussed based on microstructural changes during thermal exposure.