The sound of music : sharing song selections between collocated strangers in public urban places

This paper presents Capital Music, a mobile application enabling real-time sharing of song choices with collocated urban dwellers. Due to the real-time, location-based peer-to-peer approach of the application, a user experience study was performed utilising the Wizard of Oz method. The study provides insight into how sharing non-privacy sensitive but personal data in an anonymous way can influence the user experience of people in public urban places. We discuss the findings in relation to how Capital Music influences the process of “cocooning” in public urban places, the practice of designing anonymous interactions between collocated strangers, and how the sharing of song choices can create a sense of commonality between anonymous users in the urban space. The outcomes of this study are relevant for future location-based social networking applications that aim to create interactions between collocated strangers.

Residential property investment : assessing home ownership long term viability

Home purchase and ownership is seen by the majority of Australians as the basis for a sound investment strategy and to seciure their long term retirement goals. Although home ownership rates in Australia are in excess of 65% of the population, there have been doubts raised as to the effectiveness of purchasing a house as the main source of retirement income. The main issue with this approach is that the house has to be sold to gain access to these funds or the owners have to take out a reverse mortgage to access the capital tied up in their home, which can be more expensive than selling. This paper will carryout a detailed analysis of a number of investment options to determine the effectiveness of home purchase as a long term investment vehicle. This study has found that the long term investment in equities or managed superannuation funds can provide a greater retirement income than the purchase of a residential property for owner occupation

Computationally sound automated proofs of cryptographic schemes

Proving security of cryptographic schemes, which normally are short algorithms, has been known to be time-consuming and easy to get wrong. Using computers to analyse their security can help to solve the problem. This thesis focuses on methods of using computers to verify security of such schemes in cryptographic models. The contributions of this thesis to automated security proofs of cryptographic schemes can be divided into two groups: indirect and direct techniques. Regarding indirect ones, we propose a technique to verify the security of public-key-based key exchange protocols. Security of such protocols has been able to be proved automatically using an existing tool, but in a noncryptographic model. We show that under some conditions, security in that non-cryptographic model implies security in a common cryptographic one, the Bellare-Rogaway model [11]. The implication enables one to use that existing tool, which was designed to work with a different type of model, in order to achieve security proofs of public-key-based key exchange protocols in a cryptographic model. For direct techniques, we have two contributions. The first is a tool to verify Diffie-Hellmanbased key exchange protocols. In that work, we design a simple programming language for specifying Diffie-Hellman-based key exchange algorithms. The language has a semantics based on a cryptographic model, the Bellare-Rogaway model [11]. From the semantics, we build a Hoare-style logic which allows us to reason about the security of a key exchange algorithm, specified as a pair of initiator and responder programs. The other contribution to the direct technique line is on automated proofs for computational indistinguishability. Unlike the two other contributions, this one does not treat a fixed class of protocols. We construct a generic formalism which allows one to model the security problem of a variety of classes of cryptographic schemes as the indistinguishability between two pieces of information. We also design and implement an algorithm for solving indistinguishability problems. Compared to the two other works, this one covers significantly more types of schemes, but consequently, it can verify only weaker forms of security.

A six-year descriptive analysis of hospitalisations for ambulatory care sensitive conditions among people born in refugee-source countries

Background: Hospitalisation for ambulatory care sensitive conditions (ACSHs) has become a recognised tool to measure access to primary care. Timely and effective outpatient care is highly relevant to refugee populations given the past exposure to torture and trauma, and poor access to adequate health care in their countries of origin and during flight. Little is known about ACSHs among resettled refugee populations. With the aim of examining the hypothesis that people from refugee backgrounds have higher ACSHs than people born in the country of hospitalisation, this study analysed a six-year state-wide hospital discharge dataset to estimate ACSH rates for residents born in refugee-source countries and compared them with the Australia-born population. Methods: Hospital discharge data between 1 July 1998 and 30 June 2004 from the Victorian Admitted Episodes Dataset were used to assess ACSH rates among residents born in eight refugee-source countries, and compare them with the Australia-born average. Rate ratios and 95% confidence levels were used to illustrate these comparisons. Four categories of ambulatory care sensitive conditions were measured: total, acute, chronic and vaccine-preventable. Country of birth was used as a proxy indicator of refugee status. Results: When compared with the Australia-born population, hospitalisations for total and acute ambulatory care sensitive conditions were lower among refugee-born persons over the six-year period. Chronic and vaccine-preventable ACSHs were largely similar between the two population groups. Conclusion: Contrary to our hypothesis, preventable hospitalisation rates among people born in refugee-source countries were no higher than Australia-born population averages. More research is needed to elucidate whether low rates of preventable hospitalisation indicate better health status, appropriate health habits, timely and effective care-seeking behaviour and outpatient care, or overall low levels of health care-seeking due to other more pressing needs during the initial period of resettlement. It is important to unpack dimensions of health status and health care access in refugee populations through ad-hoc surveys as the refugee population is not a homogenous group despite sharing a common experience of forced displacement and violence-related trauma.

Hospital utilisation among people born in refugee-source countries : an analysis of hospital admissions, Victoria, 1998–2004

Objective: To investigate whether hospital utilisation and health outcomes in Victoria differ between people born in refugee-source countries and those born in Australia. Design and setting: Analysis of a statewide hospital discharge dataset for the 6 financial years from 1 July 1998 to 30 June 2004. Hospital admissions of people born in eight countries for which the majority of entrants to Australia arrived as refugees were included in the analysis. Main outcome measures: Age-standardised rates and rate ratios for: total hospital admissions; emergency admissions; surgical admissions; total days in hospital; discharge at own risk; hospital deaths; admissions due to infectious and parasitic diseases; and admissions due to mental and behavioural disorders. Results: In 2003–04, compared with the Australia-born Victorian population, people born in refugee-source countries had lower rates of surgical admission (rate ratio [RR], 0.85; 95% CI, 0.81–0.88), total days in hospital (RR, 0.74; 95% CI, 0.73–0.75), and admission due to mental and behavioural disorders (RR, 0.70; 95% CI, 0.65–0.76). Over the 6-year period, rates of total days in hospital and rates of admission due to mental and behavioural disorders for people born in refugee-source countries increased towards Australian-born averages, while rates of total admissions, emergency admissions, and admissions due to infectious and parasitic diseases increased above the Australian-born averages. Conclusions: Use of hospital services among people born in refugee-source countries is not higher than that of the Australian-born population and shows a trend towards Australian-born averages. Our findings indicate that the Refugee and Humanitarian Program does not currently place a burden on the Australian hospital system.

Sound media musicianship

By the end of the 20th century the shift from professional recording studio to personal computer based recording systems was well established (Chadabe 1997) and musicians could increasingly see the benefits of value adding to the musical process by producing their own musical endeavours. At the Queensland University of Technology (QUT) where we were teaching, the need for a musicianship program that took account of these trends was becoming clear. The Sound Media Musicianship unit described in this chapter was developed to fill this need and ran from 1999 through 2010.

A survey of tagging techniques for music, speech and environmental sound

Sound tagging has been studied for years. Among all sound types, music, speech, and environmental sound are three hottest research areas. This survey aims to provide an overview about the state-of-the-art development in these areas.We discuss about the meaning of tagging in different sound areas at the beginning of the journey. Some examples of sound tagging applications are introduced in order to illustrate the significance of this research. Typical tagging techniques include manual, automatic, and semi-automatic approaches.After reviewing work in music, speech and environmental sound tagging, we compare them and state the research progress to date. Research gaps are identified for each research area and the common features and discriminations between three areas are discovered as well. Published datasets, tools used by researchers, and evaluation measures frequently applied in the analysis are listed. In the end, we summarise the worldwide distribution of countries dedicated to sound tagging research for years.

Atmospheric deposition as a source of heavy metals in urban stormwater

Atmospheric deposition is one of the most important pathways of urban stormwater pollution. Atmospheric deposition which can be in the form of either wet or dry deposition have distinct characteristics in terms of associated particulate sizes, pollutant types and influential parameters. This paper discusses the outcomes of a comprehensive research study undertaken to identify important traffic characteristics and climate factors such as antecedent dry period and rainfall characteristics which influences the characteristics of wet and dry deposition of solids and heavy metals. The outcomes confirmed that Zinc (Zn) is correlated with traffic volume whereas Lead (Pb), Cadmium (Cd), Nickel (Ni), and Copper (Cu) are correlated with traffic congestion. Consequently, reducing traffic congestion will be more effective than reducing traffic volume for improving air quality particularly in relation to Pb, Cd, Ni, and Cu. Zn was found to have the highest atmospheric deposition rate compared to other heavy metals. Zn in dry deposition is associated with relatively larger particle size fractions (>10 µm), whereas Pb, Cd, Ni and Cu are associated with relatively smaller particle size fractions (<10 µm). The analysis further revealed that bulk (wet plus dry) deposition which is correlated with rainfall depth and contains a relatively higher percentage of smaller particles compared to dry deposition which is correlated with the antecedent dry period. As particles subjected to wet deposition are smaller, they disperse over a larger area from the source of origin compared to particles subjected to dry deposition as buoyancy forces become dominant for smaller particles compared to the influence of gravity. Furthermore, exhaust emission particles were found to be primarily associated with bulk deposition compared to dry deposition particles which mainly originate from vehicle component wear.

OpenRatSLAM : an open source brain-based SLAM system

RatSLAM is a navigation system based on the neural processes underlying navigation in the rodent brain, capable of operating with low resolution monocular image data. Seminal experiments using RatSLAM include mapping an entire suburb with a web camera and a long term robot delivery trial. This paper describes OpenRatSLAM, an open-source version of RatSLAM with bindings to the Robot Operating System framework to leverage advantages such as robot and sensor abstraction, networking, data playback, and visualization. OpenRatSLAM comprises connected ROS nodes to represent RatSLAM’s pose cells, experience map, and local view cells, as well as a fourth node that provides visual odometry estimates. The nodes are described with reference to the RatSLAM model and salient details of the ROS implementation such as topics, messages, parameters, class diagrams, sequence diagrams, and parameter tuning strategies. The performance of the system is demonstrated on three publicly available open-source datasets.

Addressing a source of trouble outside of the repair space

A body of research in conversation analysis has identified a range of structurally-provided positions in which sources of trouble in talk-in-interaction can be addressed using repair. These practices are contained within what Schegloff (1992) calls the repair space. In this paper, I examine a rare instance in which a source of trouble is not resolved within the repair space and comes to be addressed outside of it. The practice by which this occurs is a post-completion account; that is, an account that is produced after the possible completion of the sequence containing a source of trouble. Unlike fourth position repair, the final repair position available within the repair space, this account is not made in preparation for a revised response to the trouble-source turn. Its more restrictive aim, rather, is to circumvent an ongoing difference between the parties involved. I argue that because the trouble is addressed in this manner, and in this particular position, the repair space can be considered as being limited to the sequence in which a source of trouble originates.

Design of open source framework for traffic and travel simulation

For the evaluation, design, and planning of traffic facilities and measures, traffic simulation packages are the de facto tools for consultants, policy makers, and researchers. However, the available commercial simulation packages do not always offer the desired work flow and flexibility for academic research. In many cases, researchers resort to designing and building their own dedicated models, without an intrinsic incentive (or the practical means) to make the results available in the public domain. To make matters worse, a substantial part of these efforts pertains to rebuilding basic functionality and, in many respects, reinventing the wheel. This problem not only affects the research community but adversely affects the entire traffic simulation community and frustrates the development of traffic simulation in general. For this problem to be addressed, this paper describes an open source approach, OpenTraffic, which is being developed as a collaborative effort between the Queensland University of Technology, Australia; the National Institute of Informatics, Tokyo; and the Technical University of Delft, the Netherlands. The OpenTraffic simulation framework enables academies from geographic areas and disciplines within the traffic domain to work together and contribute to a specific topic of interest, ranging from travel choice behavior to car following, and from response to intelligent transportation systems to activity planning. The modular approach enables users of the software to focus on their area of interest, whereas other functional modules can be regarded as black boxes. Specific attention is paid to a standardization of data inputs and outputs for traffic simulations. Such standardization will allow the sharing of data with many existing commercial simulation packages.

Exponential asymptotics of free surface flow due to a line source

The steady problem of free surface flow due to a submerged line source is revisited for the case in which the fluid depth is finite and there is a stagnation point on the free surface directly above the source. Both the strength of the source and the fluid speed in the far field are measured by a dimensionless parameter, the Froude number. By applying techniques in exponential asymptotics, it is shown that there is a train of periodic waves on the surface of the fluid with an amplitude which is exponentially small in the limit that the Froude number vanishes. This study clarifies that periodic waves do form for flows due to a source, contrary to a suggestion by Chapman & Vanden-Broeck (2006, J. Fluid Mech., 567, 299--326). The exponentially small nature of the waves means they appear beyond all orders of the original power series expansion; this result explains why attempts at describing these flows using a finite number of terms in an algebraic power series incorrectly predict a flat free surface in the far field.

Swept source OCT with air puff chamber for corneal dynamics measurements

None of currently used tonometers produce estimated IOP values that are free of errors. Measurement incredibility arises from indirect measurement of corneal deformation and the fact that pressure calculations are based on population averaged parameters of anterior segment. Reliable IOP values are crucial for understanding and monitoring of number of eye pathologies e.g. glaucoma. We have combined high speed swept source OCT with air-puff chamber. System provides direct measurement of deformation of cornea and anterior surface of the lens. This paper describes in details the performance of air-puff ssOCT instrument. We present different approaches of data presentation and analysis. Changes in deformation amplitude appears to be good indicator of IOP changes. However, it seems that in order to provide accurate intraocular pressure values an additional information on corneal biomechanics is necessary. We believe that such information could be extracted from data provided by air-puff ssOCT.

A high frequency current source converter with adjustable magnitude to drive high power piezoelectric transducers

A general electrical model of a piezoelectric transducer for ultrasound applications consists of a capacitor in parallel with RLC legs. A high power voltage source converter can however generate significant voltage stress across the transducer that creates high leakage currents. One solution is to reduce the voltage stress across the piezoelectric transducer by using an LC filter, however a main drawback is changing the piezoelectric resonant frequency and its characteristics. Thereby it reduces the efficiency of energy conversion through the transducer. This paper proposes that a high frequency current source converter is a suitable topology to drive high power piezoelectric transducers efficiently.

Open source information retrieval : a report on the SIGIR 2012 workshop

On August 16, 2012 the SIGIR 2012 Workshop on Open Source Information Retrieval was held as part of the SIGIR 2012 conference in Portland, Oregon, USA. There were 2 invited talks, one from industry and one from academia. There were 6 full papers and 6 short papers presented as well as demonstrations of 4 open source tools. Finally there was a lively discussion on future directions for the open source Information Retrieval community. This contribution discusses the events of the workshop and outlines future directions for the community.