Certificateless key agreement in the standard model

We show how to construct a certificateless key agreement protocol from the certificateless key encapsulation mechanism introduced by \cite{lippold-ICISC_2009} in ICISC 2009 using the \cite{DBLP:conf/acisp/BoydCNP08} protocol from ACISP 2008. We introduce the Canetti-Krawczyk (CK) model for certificateless cryptography, give security notions for Type I and Type II adversaries in the CK model, and highlight the differences to the existing e$^2$CK model discussed by \cite{DBLP:conf/pairing/LippoldBN09}. The resulting CK model is more relaxed thus giving more power to the adversary than the original CK model.

Raised Floor System applications for refurbishing office spaces

While raised floors as a building component has been around since the 70's, its application in terms of a holistic system in the fit-out of commercial office buildings has not been fully embraced due to some inherent problems and negative perceptions of the stakeholders involved. Today, the new generation of raised floor systems(RFS) offers a suite of innovative and integrated products and solutions, and as such are not only suitable for the changing office space requirements, but also capable of meeting tbe smart and sustainable challenges, which are becoming the prerequisite in the refurbishment of existing buildings. As there has been a prediction for continued growth in refurbishment projects in major cities around the globe, RFS as an alternative methodology warrants new examination and highlight. This paper introduces research recently completed in Australia that provided a holistic approach to the application of RFS enabled by intelligent building technologies, and examined key issues of project development when refurbishing commercial office buildings. It focuses on the constructability of RFS, and how it will respond to smart feature requirements in buildings while extending service life, meeting new organisational change and workplace health needs for applications in today's office environment. It also introduces key project procurement issues and the integrated decision support when dealing with the refurbishment of office buildings. The paper recommends procurement strategies as well as the justification of adopting the RFS technology in the Australian office building sector. Given the current economic downturn, refitting as opposed to new build .projects will come onto the spotlight. This paper will provide valuable information for building owners and developers alike when contemplating the retrofit of office buildings.

Mapping the Australian networked public sphere

This article reports on a research program that has developed new methodologies for mapping the Australian blogosphere and tracking how information is disseminated across it. The authors improve on conventional web crawling methodologies in a number of significant ways: First, the authors track blogging activity as it occurs, by scraping new blog posts when such posts are announced through Really Simple Syndication (RSS) feeds. Second, the authors use custom-made tools that distinguish between the different types of content and thus allow us to analyze only the salient discursive content provided by bloggers. Finally, the authors are able to examine these better quality data using both link network mapping and textual analysis tools, to produce both cumulative longer term maps of interlinkages and themes, and specific shorter term snapshots of current activity that indicate current clusters of heavy interlinkage and highlight their key themes. In this article, the authors discuss findings from a yearlong observation of the Australian political blogosphere, suggesting that Australian political bloggers consistently address current affairs, but interpret them differently from mainstream news outlets. The article also discusses the next stage of the project, which extends this approach to an examination of other social networks used by Australians, including Twitter, YouTube, and Flickr. This adaptation of our methodology moves away from narrow models of political communication, and toward an investigation of everyday and popular communication, providing a more inclusive and detailed picture of the Australian networked public sphere.

The novice researcher : interviewing young children

Being a novice researcher undertaking research interviews with young children requires understandings of the interview process. By investigating the interaction between a novice researcher undertaking her first interview and a child participant, we attend to theoretical principles, such as the competence of young children as informants, and highlight practical matters when interviewing young children. A conversation analysis approach examines the talk preceding and following a sticker task. By highlighting the conversational features of a research interview, researchers can better understand the co-constructed nature of the interview. This paper provides insights into how to prepare for the interview and manage the interview context to recognize the active participation of child participants, and the value of artifacts to promote interaction. These insights make more transparent the interactional process of a research interview and become part of the researcher’s collection of devices to manage the conduct of research interviews.

A Bayesian approach for place recognition

This paper presents a robust place recognition algorithm for mobile robots. The framework proposed combines nonlinear dimensionality reduction, nonlinear regression under noise, and variational Bayesian learning to create consistent probabilistic representations of places from images. These generative models are learnt from a few images and used for multi-class place recognition where classification is computed from a set of feature-vectors. Recognition can be performed in near real-time and accounts for complexity such as changes in illumination, occlusions and blurring. The algorithm was tested with a mobile robot in indoor and outdoor environments with sequences of 1579 and 3820 images respectively. This framework has several potential applications such as map building, autonomous navigation, search-rescue tasks and context recognition.

Social influences on drivers in China

China is one of Asia’s many rapidly-motorising nations and recent increases in private-vehicle ownership have been coupled with an escalation in novice drivers. Several pieces of road safety legislation have been introduced in recent decades in China. While managing the legal aspects of road use is important, social influences on driver behaviour may offer alternative avenues to alter behaviour, particularly in a culture where such factors carry high importance. This paper reports qualitative research with Beijing drivers to investigate social influence factors that have, to date, received little attention in the literature. Findings indicated that family members, friends, and driving instructors appear influential on driver behaviour and that some newly licensed drivers seek additional assistance to facilitate the transition from learning to drive in a controlled environment to driving on the road in complex conditions. Strategies to avoid detection and penalties for inappropriate road use were described, many of which involved the use of a third person. These findings indicate potential barriers to implementing effective traffic enforcement and highlight the importance of understanding culturally-specific social factors relating to driver behaviour.

Coursework masters students' perspectives on career development learning

Coursework Masters’ students have been identified as a ‘forgotten’ cohort by the Queensland University of Technology (QUT) Careers and Employment (C&E) Service. Traditionally, these students have been included in undergraduate career development activities. However, coursework Masters’ students are arguably a specialised cohort due to the advanced learning implicit in many of their degrees. A brief survey was designed to better understand how to assist QUT coursework Masters students with career development activities. Students were emailed an invitation to complete a brief online survey asking for their assistance in planning appropriate career development activities for their cohort. Questions included reasons for undertaking a Masters degree and preferred topics and times for career development activities. 615 students completed the survey. This brief report will report the results of the survey and highlight suggestions for career development practitioners and services

The impact of software-as-a-service on business models of leading software vendors : experiences from three exploratory case studies

The number of software vendors offering ‘Software-as-a-Service’ has been increasing in recent years. In the Software-as-a-Service model software is operated by the software vendor and delivered to the customer as a service. Existing business models and industry structures are challenged by the changes to the deployment and pricing model compared to traditional software. However, the full implications on the way companies create, deliver and capture value are not yet sufficiently analyzed. Current research is scattered on specific aspects, only a few studies provide a more holistic view of the impact from a business model perspective. For vendors it is, however, crucial to be aware of the potentially far reaching consequences of Software-as-a-Service. Therefore, a literature review and three exploratory case studies of leading software vendors are used to evaluate possible implications of Software-as-a-Service on business models. The results show an impact on all business model building blocks and highlight in particular the often less articulated impact on key activities, customer relationship and key partnerships for leading software vendors and show related challenges, for example, with regard to the integration of development and operations processes. The observed implications demonstrate the disruptive character of the concept and identify future research requirements.

Information extraction from web services : a comparison of Tokenisation algorithms

Most web service discovery systems use keyword-based search algorithms and, although partially successful, sometimes fail to satisfy some users information needs. This has given rise to several semantics-based approaches that look to go beyond simple attribute matching and try to capture the semantics of services. However, the results reported in the literature vary and in many cases are worse than the results obtained by keyword-based systems. We believe the accuracy of the mechanisms used to extract tokens from the non-natural language sections of WSDL files directly affects the performance of these techniques, because some of them can be more sensitive to noise. In this paper three existing tokenization algorithms are evaluated and a new algorithm that outperforms all the algorithms found in the literature is introduced.

The sample complexity of pattern classification with neural networks: the size of the weights is more important than the size of the network

Sample complexity results from computational learning theory, when applied to neural network learning for pattern classification problems, suggest that for good generalization performance the number of training examples should grow at least linearly with the number of adjustable parameters in the network. Results in this paper show that if a large neural network is used for a pattern classification problem and the learning algorithm finds a network with small weights that has small squared error on the training patterns, then the generalization performance depends on the size of the weights rather than the number of weights. For example, consider a two-layer feedforward network of sigmoid units, in which the sum of the magnitudes of the weights associated with each unit is bounded by A and the input dimension is n. We show that the misclassification probability is no more than a certain error estimate (that is related to squared error on the training set) plus A3 √((log n)/m) (ignoring log A and log m factors), where m is the number of training patterns. This may explain the generalization performance of neural networks, particularly when the number of training examples is considerably smaller than the number of weights. It also supports heuristics (such as weight decay and early stopping) that attempt to keep the weights small during training. The proof techniques appear to be useful for the analysis of other pattern classifiers: when the input domain is a totally bounded metric space, we use the same approach to give upper bounds on misclassification probability for classifiers with decision boundaries that are far from the training examples.

Decision support to green technology implementation on Australian university campuses

As the societal awareness on sustainability is gaining momentum worldwide, the higher education sector is expected to take the lead in education, research and the promotion of sustainable development. Universities have the diversity of skills and knowledge to explore new concepts and issues, the academic freedom to offer unbiased observations, and the capacity to engage in experimentation for solutions. There is a global trend that universities have realized and responded to sustainability challenge. By adopting green technologies, buildings on university campuses have the potential to offer highly productive and green environments for a quality learning experience for students, while minimising environmental impacts. Despite the potential benefits and metaphorical link to sustainability, few universities have moved towards implementing Green Roof and Living Wall on campuses widely, which have had more successful applications in commercial and residential buildings. Few past research efforts have examined the fundamental barriers to the implementation of sustainable projects on campuses from organizational level. To address this deficiency, an on-going research project is undertaken by Queensland University of Technology in Australia. The research is aimed at developing a comprehensive framework to facilitate better decision making for the promotion of Green Roof and Living Wall application on campuses. It will explore and highlight organizational factors as well as investigate and emphasize project delivery issues. Also, the critical technical indicators for Green Roof and Living Wall implementation will be identified. The expected outcome of this research has the potential to enhance Green Roof and Living Wall delivery in Australian universities, as a vital step towards realizing sustainability in higher education sectors.

Shape discrimination using invariants defined from higher-order spectra

An approach to pattern recognition using invariant parameters based on higher-order spectra is presented. In particular, bispectral invariants are used to classify one-dimensional shapes. The bispectrum, which is translation invariant, is integrated along straight lines passing through the origin in bifrequency space. The phase of the integrated bispectrum is shown to be scale- and amplification-invariant. A minimal set of these invariants is selected as the feature vector for pattern classification. Pattern recognition using higher-order spectral invariants is fast, suited for parallel implementation, and works for signals corrupted by Gaussian noise. The classification technique is shown to distinguish two similar but different bolts given their one-dimensional profiles

Pattern recognition using invariants defined from higher order spectra - one-dimensional inputs

A new approach to pattern recognition using invariant parameters based on higher order spectra is presented. In particular, invariant parameters derived from the bispectrum are used to classify one-dimensional shapes. The bispectrum, which is translation invariant, is integrated along straight lines passing through the origin in bifrequency space. The phase of the integrated bispectrum is shown to be scale and amplification invariant, as well. A minimal set of these invariants is selected as the feature vector for pattern classification, and a minimum distance classifier using a statistical distance measure is used to classify test patterns. The classification technique is shown to distinguish two similar, but different bolts given their one-dimensional profiles. Pattern recognition using higher order spectral invariants is fast, suited for parallel implementation, and has high immunity to additive Gaussian noise. Simulation results show very high classification accuracy, even for low signal-to-noise ratios.

A suspicious behaviour detection using a context space model for smart surveillance systems

Video surveillance systems using Closed Circuit Television (CCTV) cameras, is one of the fastest growing areas in the field of security technologies. However, the existing video surveillance systems are still not at a stage where they can be used for crime prevention. The systems rely heavily on human observers and are therefore limited by factors such as fatigue and monitoring capabilities over long periods of time. This work attempts to address these problems by proposing an automatic suspicious behaviour detection which utilises contextual information. The utilisation of contextual information is done via three main components: a context space model, a data stream clustering algorithm, and an inference algorithm. The utilisation of contextual information is still limited in the domain of suspicious behaviour detection. Furthermore, it is nearly impossible to correctly understand human behaviour without considering the context where it is observed. This work presents experiments using video feeds taken from CAVIAR dataset and a camera mounted on one of the buildings Z-Block) at the Queensland University of Technology, Australia. From these experiments, it is shown that by exploiting contextual information, the proposed system is able to make more accurate detections, especially of those behaviours which are only suspicious in some contexts while being normal in the others. Moreover, this information gives critical feedback to the system designers to refine the system.

Application of operations research techniques to improve efficiency in the emergency department

The main aim of this thesis is to analyse and optimise a public hospital Emergency Department. The Emergency Department (ED) is a complex system with limited resources and a high demand for these resources. Adding to the complexity is the stochastic nature of almost every element and characteristic in the ED. The interaction with other functional areas also complicates the system as these areas have a huge impact on the ED and the ED is powerless to change them. Therefore it is imperative that OR be applied to the ED to improve the performance within the constraints of the system. The main characteristics of the system to optimise included tardiness, adherence to waiting time targets, access block and length of stay. A validated and verified simulation model was built to model the real life system. This enabled detailed analysis of resources and flow without disruption to the actual ED. A wide range of different policies for the ED and a variety of resources were able to be investigated. Of particular interest was the number and type of beds in the ED and also the shift times of physicians. One point worth noting was that neither of these resources work in isolation and for optimisation of the system both resources need to be investigated in tandem. The ED was likened to a flow shop scheduling problem with the patients and beds being synonymous with the jobs and machines typically found in manufacturing problems. This enabled an analytic scheduling approach. Constructive heuristics were developed to reactively schedule the system in real time and these were able to improve the performance of the system. Metaheuristics that optimised the system were also developed and analysed. An innovative hybrid Simulated Annealing and Tabu Search algorithm was developed that out-performed both simulated annealing and tabu search algorithms by combining some of their features. The new algorithm achieves a more optimal solution and does so in a shorter time.