Computing and Mathematical Sciences
This community 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.
Subcommunities within Computing and Mathematical Sciences
Collections in Computing and Mathematical Sciences
Recently Added

Tracking and refinding printed material using a personal digital library
(Springer, 2016)Most web searches aim to refind previously known information or documents. Keeping track of one’s digital and printed reading material is known to be a challenging and costly task. We describe the design, implementation ... 
Using a serious game to promote communitybased awareness and prevention of neglected tropical diseases
(Elsevier, 2015)A serious game is presented which embodies an approach to disease prevention and management that is communitybased and incorporates principles of the One Health framework—a broader view of healthcare that encompasses ... 
An algorithm for compositional nonblocking verification using special events
(Elsevier Science, 20151201)This paper proposes to improve compositional nonblocking verification of discrete event systems through the use of special events. Compositional verification involves abstraction to simplify parts of a system during ... 
WekaPyScript: Classification, regression, and filter schemes for WEKA implemented in Python
(2016)WekaPyScript is a package for the machine learning software WEKA that allows learning algorithms and preprocessing methods for classification and regression to be written in Python, as opposed to WEKA’s implementation ... 
Secure voting in the cloud using homomorphic encryption and mobile agents
(IEEE, 2015)While governments are transitioning to the cloud to leverage efficiency, transparency and accessibility advantages, public opinion  the backbone of democracy  is being left behind. Statistics show that traditional paper ... 
Efficient Process Model Discovery Using Maximal Pattern Mining
(Springer International Publishing, 2015)In recent years, process mining has become one of the most important and promising areas of research in the field of business process management as it helps businesses understand, analyze, and improve their business ... 
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 ...