This collection houses research from the Faculty of Computing and Mathematical Sciences at the University of Waikato.

  • Separable coordinates for three-dimensional complex riemannian spaces

    Kalnins, Ernie G.; Miller, W., Jr. (Lehigh University, 1979)
    In this paper we study the problem of separation of variables for the equations: Helmholtz equation & Hamilton-Jacobi equation.
  • Variance anisotropy in kinetic plasmas

    Parashar, Tulasi N.; Oughton, Sean; Matthaeus, William H.; Wan, Minpin (IOP Publishing Ltd, 2016-06-10)
    Solar wind fluctuations admit well-documented 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

    Mayo, Michael; Omranian, Sara (Springer, 2016)
    In this paper we present some preliminary work towards the development of a new evolutionary subsampling technique for solving the non-intrusive load monitoring (NILM) problem. The NILM problem concerns using predictive ...
  • Quadratic algebra contractions and second-order superintegrable systems

    Kalnins, Ernie G.; Miller, W., Jr. (2014)
    Quadratic algebras are generalizations of Lie algebras; they include the symmetry algebras of second-order superintegrable systems in two dimensions as special cases. The superintegrable systems are exactly solvable physical ...
  • Deferral classification of evolving temporal dependent data streams

    Mayo, Michael; Bifet, Albert (ACM, 2016)
    Data streams generated in real-time can be strongly temporally dependent. In this case, standard techniques where we suppose that class labels are not correlated may produce sub-optimal performance because the assumption ...
  • A semi-formal framework for describing interaction design spaces

    Bowen, Judy; Dittmar, Anke (ACM, 2016)
    Interactive system design is typically more successful if it is an iterative process involving collaboration between multi-disciplinary teams with different viewpoints. While some sub-teams may focus on the creative aspects ...
  • It's harder in my language, but I still choose it

    Keegan, Te Taka Adrian Gregory; Mato, Paora (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 Cauchy-EDA in high dimensions?

    Sanyang, Momodou L.; Durrant, Robert J.; Kabán, Ata (IEEE, 2016)
    We consider the problem of high dimensional blackbox optimisation via Estimation of Distribution Algorithms (EDA) and the use of heavy-tailed search distributions in this setting. Some authors have suggested that employing ...
  • The boundedness principle characterizes second category subsets

    Broughan, Kevin A. (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

    Malik, Robi (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

    Broughan, Kevin A. (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

    Cunningham, Sally Jo; Nichols, David M.; Bowen, Judy (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

    Broughan, Kevin A. (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 sub-base for the d-topology then Ind X = 0. The metric is gap-like at x if dx(X) is not dense in any neighbourhood ...
  • On the chromatic index of Latin squares

    Cavenagh, Nicholas J.; Kuhl, Jaromy (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 cosmic-ray transport

    Litvinenko, Yuri E.; Noble, Patrick L. (American Institute of Physics (AIP), 2016)
    The telegraph equation and its generalizations have been repeatedly considered in the models of diffusive cosmic-ray transport. Yet the telegraph model has well-known limitations, and analytical arguments suggest that a ...
  • Time-load: Visualization of energy consumption loads over time

    Masoodian, Masood; Luz, Saturnino (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 time-load visualization, ...
  • Low-cost semantic enhancement to digital library metadata and indexing: simple yet effective strategies

    Hinze, Annika; Bainbridge, David; Cunningham, Sally Jo; Downie, J. Stephen (ACM, 2016)
    Most existing digital libraries use traditional lexically-based 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

    Hinze, Annika; Coleman, Michael; Cunningham, Sally Jo; Bainbridge, David (ACM, 2016)
    In this paper, we describe Semantic Bookworm-a tool that supports scholarly text analysis. In contrast to the text-based Bookworm tool, the Semantic Bookworm identifies semantic concepts.
  • High-level graphical abstraction in digital design

    Pearson, Murray W.; Lyons, Paul J.; Apperley, Mark D. (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

    Steel, Anette; Jones, Matt; Apperley, Mark (ACM, 2002)
    The investigations carried out to evaluate issues of the computer-human-human interaction (CHHI) found in call centre scenarios were presented. These investigations suggested some benefits in the use of auditory icons and ...

View more