Computing and Mathematical Sciences Papers
This collection houses research from the Faculty of Computing and Mathematical Sciences at the University of Waikato.
All items in Research Commons are provided only to permit fair dealing for the purposes of research or private study. They are protected by copyright with all rights reserved unless otherwise indicated.
Recently Added

On the chromatic index of Latin squares
(2015)A proper coloring of a Latin square of order n is an assignment of colors to its elements triples such that each row, column and symbol is assigned n distinct colors. Equivalently, a proper coloring of a Latin square is a ... 
Comparison of the telegraph and hyperdiffusion approximations in cosmicray transport
(American Institute of Physics (AIP), 2016)The telegraph equation and its generalizations have been repeatedly considered in the models of diffusive cosmicray transport. Yet the telegraph model has wellknown limitations, and analytical arguments suggest that a ... 
Timeload: Visualization of energy consumption loads over time
(ACM, 2016)It has been suggested that providing feedback allows people to better understand their energy consumption behaviour and take the necessary actions to reduce energy consumption. Here, we present the timeload visualization, ... 
Lowcost semantic enhancement to digital library metadata and indexing: simple yet effective strategies
(ACM, 2016)Most existing digital libraries use traditional lexicallybased retrieval techniques. For established systems, completely replacing, or even making significant changes to the document retrieval mechanism (document analysis, ... 
Semantic Bookworm: mining literary resources revisited
(ACM, 2016)In this paper, we describe Semantic Bookworma tool that supports scholarly text analysis. In contrast to the textbased Bookworm tool, the Semantic Bookworm identifies semantic concepts. 
Highlevel graphical abstraction in digital design
(1996)We base our approach to the design of complex logic ICs on four premises: Design of a chip's abstract architecture—its major components, their tasks, and their intercommunication—should precede definition of its functionality. ... 
The use of auditory feedback in call centre CHHI
(ACM, 2002)The investigations carried out to evaluate issues of the computerhumanhuman interaction (CHHI) found in call centre scenarios were presented. These investigations suggested some benefits in the use of auditory icons and ... 
How to express your feelings (with a little help from Google)
(2008)This paper describes an attempt to capitalize on the vast amount of humangenerated text readily available on the Web to help language learners express their own feelings. We avoid errors, idiosyncrasies, and other dross ... 
Bôcher contractions of conformally superintegrable Laplace equations
(2016)The explicit solvability of quantum superintegrable systems is due to symmetry, but the symmetry is often “hidden”. The symmetry generators of 2nd order superintegrable systems in 2 dimensions close under commutation to ... 
Effect of statin and aspirin use on toxicity and pathological complete response rate of neoadjuvant chemoradiation for rectal cancer
(20160307)Aim To retrospectively evaluate the potential impact of statin and aspirin use on acute toxicity and pathological complete response (pCR) rate in rectal cancer patients receiving neoadjuvant longcourse radiation therapy ... 
Efficient Model Selection in Linear and NonLinear Quantile Regression by CrossValidation
(20160419)Check loss function is used to define quantile regression. In the prospect of cross validation, it is also employed as a validation function when underlying truth is unknown. However, our empirical study indicates that the ... 
Workshop on formal methods in human computer interaction
(ACM, 20150623)This workshop aims to gather active researchers and practitioners in the field of formal methods for interactive systems. The mam objective is twofold: on one hand look at the evolutions of the definition and use of formal ... 
A comparison of system monitoring methods, passive network monitoring and kernel instrumentation
(ACM, 1996)This paper presents the comparison of two methods of system monitoring, passive network monitoring and kernel instrumentation. The comparison is made on the basis of passive network monitoring being used as a replacement ... 
Advanced selfloop removal in compositional nonblocking verification of discrete event systems
(IEEE, 2015)This paper investigates possible improvements of abstraction to simplify finitestate machines during compositional nonblocking verification of large discrete event systems. Current methods to simplify finitestate machines ... 
First international workshop on using ontologies in interactive systems, ONTORACT'08
(2008)The aim of the workshop is to hold a multidisciplinary event bringing together researchers and practitioners to share their experiences of using ontologies for managing user interaction and interactive systems. 
Page turning and image size in a digital music stand
(2005)This paper investigates attributes of the electronic display of sheet music necessary for the development of a digital music stand. We explore the two conflicting goals of minimising page turning effort and maximising the ... 
Metrization of spaces having Čech dimension zero
(1973)A metrizable topological space has a metric taking values in a closed subset of the real numbers having Čech dimension zero if and only if the space itself has Čech dimension zero. We call a development D = {Dn} for a ... 
Digital music libraries  Research and development
(2001)A report on the progress of several major research and development projects in digital music libraries is presented. Digital music libraries provide enhanced access and functionality that facilitates scholarly research and ... 
The linear stability of linetied coronal magnetic fields
(1990)The problem of the linear stability of cylindrically symmetric forcefree magnetic equilibria is addressed. The aim is to quantify the severity of ideal MHD disturbances on a variety of linetied coronal equilibria. ... 
Exact solutions for steady state incompressible magnetic reconnection
(1995)The problem of steady state magnetic reconnection in incompressible, resistive plasmas is addressed. It is shown that families of exact analytic solutions can be derived by exploiting the formal symmetry between the magnetic ...