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

Separable coordinates for threedimensional complex riemannian spaces
(Lehigh University, 1979)In this paper we study the problem of separation of variables for the equations: Helmholtz equation & HamiltonJacobi equation. 
Variance anisotropy in kinetic plasmas
(IOP Publishing Ltd, 20160610)Solar wind fluctuations admit welldocumented anisotropies of the variance matrix, or polarization, related to the mean magnetic field direction. Typically, one finds a ratio of perpendicular variance to parallel variance ... 
Towards a new evolutionary subsampling technique for heuristic optimisation of load disaggregators
(Springer, 2016)In this paper we present some preliminary work towards the development of a new evolutionary subsampling technique for solving the nonintrusive load monitoring (NILM) problem. The NILM problem concerns using predictive ... 
Quadratic algebra contractions and secondorder superintegrable systems
(2014)Quadratic algebras are generalizations of Lie algebras; they include the symmetry algebras of secondorder superintegrable systems in two dimensions as special cases. The superintegrable systems are exactly solvable physical ... 
Deferral classification of evolving temporal dependent data streams
(ACM, 2016)Data streams generated in realtime can be strongly temporally dependent. In this case, standard techniques where we suppose that class labels are not correlated may produce suboptimal performance because the assumption ... 
A semiformal framework for describing interaction design spaces
(ACM, 2016)Interactive system design is typically more successful if it is an iterative process involving collaboration between multidisciplinary teams with different viewpoints. While some subteams may focus on the creative aspects ... 
It's harder in my language, but I still choose it
(2014)In New Zealand, the language that dominates most technologies is English. For a variety of reasons, interfaces have been made available in the Maori language for a range of modem technological tools. We have conducted ... 
How effective is CauchyEDA in high dimensions?
(IEEE, 2016)We consider the problem of high dimensional blackbox optimisation via Estimation of Distribution Algorithms (EDA) and the use of heavytailed search distributions in this setting. Some authors have suggested that employing ... 
The boundedness principle characterizes second category subsets
(1977)Converses are proved for the Osgood (the Principle of Uniform Boundedness), Dini, and other well known. theorems. The notion of a continuous step function on a topological space is defined and a class of spaces identified ... 
Programming a fast explicit conflict checker
(IEEE, 2016)This paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable states of ... 
The intersection of a continuum of open dense sets
(1977)It is proved that every metrizable topological space without isolated points is the union of a continuum or fewer nowhere dense subsets. © 1977, Australian Mathematical Society. All rights reserved. 
Personal video collection management behavior
(ACM, 2016)Video content typically consumes more storage space and bandwidth than other document types although users structure their content with the same organisational tools they use for smaller and simpler items. We analyze the ... 
Topologies induced by metrics with disconnected range
(1982)In a metric space (X, d) a ball B(x, ε) is separated if d(B(x, ε), X\B(x, ε)] > 0. If the separated balls form a subbase for the dtopology then Ind X = 0. The metric is gaplike at x if dx(X) is not dense in any neighbourhood ... 
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 ...