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

Sub-communities within Computing and Mathematical Sciences

Collections in Computing and Mathematical Sciences

  • Using a serious game to promote community-based awareness and prevention of neglected tropical diseases

    Luz, Saturnino; Masoodian, Masood; Cesario, Raquel Rangel; Cesario, Manuel (Elsevier, 2015)
    A serious game is presented which embodies an approach to disease prevention and management that is community-based and incorporates principles of the One Health framework—a broader view of healthcare that encompasses ...
  • An algorithm for compositional nonblocking verification using special events

    Pilbrow, Colin; Malik, Robi (Elsevier Science, 2015-12-01)
    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

    Beckham, Christopher J.; Hall, Mark A.; Frank, Eibe (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

    Will, Mark A.; Nicholson, Brandon; Tiehuis, Marc; Ko, Ryan K.L. (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

    Liesaputra, Veronica; Yongchareon, Sira; Chaisiri, Sivadon (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 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 ...

View more