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

  • A data mining approach to evaluate suitability of dissolved oxygen sensor observations for lake metabolism analysis

    Muraoka, Kohji; Hanson, Paul; Frank, Eibe; Jiang, Meilan; Chiu, Kenneth; Hamilton, David P, (Wiley, 2018)
    Despite rapid growth in continuous monitoring of dissolved oxygen for lake metabolism studies, the current best practice still relies on visual assessment and manual data filtering of sensor observations by experienced ...
  • The effect of group size and communication modes in CSCW environments

    Masoodian, Masood; Apperley, Mark (IEEE Computer Society, 2006)
    An earlier study by M. Masoodian et al. (1995) has examined the impact of different human-to-human communication modes on computer supported work involving groups of two people. Based on the findings of this study an ...
  • Interactive solar panel simulation tool - from GHI to PV output

    Suppers, Joris; Apperley, Mark (University of Bamberg Press, 2017)
    The production and integration of solar panels is steadily growing in New Zealand and worldwide. The most common way to install solar panels in New Zealand is flat on top of the most north-facing roof. This method is used ...
  • Development and application of large interactive display surfaces

    Apperley, Mark; Dahlberg, Barry; Jeffries, Amos; Paine, Lance; Phillips, Malcolm; Rogers, Bill (2001)
    Recent hardware developments have made possible the construction of relatively inexpensive large interactive display surfaces (LIDS). We have built prototype systems with office whiteboard sized displays using off-the-shelf ...
  • Simulating the impact of household energy consumption on the electricity grid

    Ozoh, Patrick; Apperley, Mark (University of Bamberg Press, 2015)
    This paper presents a bottom-up modelling approach for stochastic production of electricity consumption profiles in households. It represents a preliminary work on individual appliance use modelling in households, as part ...
  • Freeform: A Tool for Sketching Form Designs

    Plimmer, Beryl; Apperley, Mark (British HCI Group, 2003)
    This demonstration shows the tool we have developed for hand-sketching user interfaces. Our motivation for developing this tool is to provide an environment where novice programmers can move freely along the design continuum ...
  • The explicit conflict check algorithm implemented in the Waters library

    Malik, Robi (Department of Computer Science, The University of Waikato, 2018)
    This working 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 ...
  • Lower bounds on the sizes of defining sets in full n-Latin squares and full designs

    Cavenagh, Nicholas J. (Springer Japan KK, 2018)
    The full n-Latin square is the n×n array with symbols 1, 2, . . . , n in each cell. In this paper we show, as part of a more general result,that any defining set for the full n-Latin square has size n³(1 − o(1)). The full ...
  • Constructing (0,1)-matrices with large minimal defining sets

    Cavenagh, Nicholas J.; Ramadurai, Reshma (Elsevier, 2018)
    If D is a partially filled-in (0, 1)-matrix with a unique completion to a (0, 1)-matrix M (with prescribed row and column sums), we say that D is a defining set for M. Let A₂ₘ,ₘbe the set of (0, 1)-matrices of dimensions ...
  • On the distances between Latin squares and the smallest defining set size

    Cavenagh, Nicholas J.; Ramadurai, Reshma (Elsevier, 2016)
    We show that for each Latin square L of order n ≥ 2 , there exists a Latin square L’ ≠ L of order n such that L and L’ differ in at most 8√n̅ cells. Equivalently, each Latin square of order n contains a Latin trade of ...
  • Balanced diagonals in frequency squares

    Cavenagh, Nicholas J.; Mammoliti, Adam (Elsevier, 2018)
    We say that a diagonal in an array is λ-balanced if each entry occurs λ times. Let L be a frequency square of type F (n; λ); that is, an n ✕ n array in which each entry from {1, 2, …, m=n / λ } occurs λ times per row and ...
  • Online estimation of discrete, continuous, and conditional joint densities using classifier chains

    Geilke, Michael; Karwath, Andreas; Frank, Eibe; Kramer, Stefan (Springer, 2018)
    We address the problem of estimating discrete, continuous, and conditional joint densities online, i.e., the algorithm is only provided the current example and its current estimate for its update. The family of proposed ...
  • On the effectiveness of ambient sensing for detecting NFC Relay Attacks

    Gurulian, Iakovos; Shepherd, Carlton; Frank, Eibe; Markantonakis, Konstantinos; Akram, Raja Naeem; Mayes, Keith (IEEE, 2017)
    Smartphones with Near-Field Communication (NFC) may emulate contactless smart cards, which has resulted in the deployment of various access control, transportation and payment services, such as Google Pay and Apple Pay. ...
  • INTERACTING with sketched interface designs: an evaluation study

    Plimmer, Beryl; Apperley, Mark (ACM Press, 2004)
    Digital hand-drawn sketches provide a new and unique way of interacting with a prototype user interface design while it is still rendered as a sketch. The successful use of prototypes and scenarios for exploring design ...
  • Microbial biogeography of 925 geothermal springs in New Zealand

    Power, Jean F.; Carere, Carlo R.; Lee, Charls K.; Wakerley, Georgia L.J.; Evans, David W.; Button, Mathew; White, Duncan; Climo, Melissa D.; Hinze, Annika; Morgan, Xochitl C.; McDonald, Ian R.; Cary, S. Craig; Stott, Matthew B. (Nature Publishing Group, 2018)
    Geothermal springs are model ecosystems to investigate microbial biogeography as they represent discrete, relatively homogenous habitats, are distributed across multiple geographical scales, span broad geochemical gradients, ...
  • Difference in details: transfer learning case study of "cryptic" plants and moths

    Vetrova, Varvara; Coup, Sheldon; Frank, Eibe; Cree, Michael J. (2018)
    Can we classify species of very similar looking organisms quickly and accurately using only out of the box feature transfer? What if we only have small number of images? This experimental paper is part of on-going project ...
  • Latin squares with no transversals

    Cavenagh, Nicholas J.; Wanless, Ian M. (2017)
    Ak-plex in a latin square of ordernis a selection of kn entries that includes k representatives from each row and column and k occurrences of each symbol. A 1-plex is also known as a transversal. It is well known that ...
  • Towards one global privacy law

    Ko, Ryan K.L.; Rodrigues, Mark; Ladur, Aleksey; Scoon, Craig (Asia Global Institute (AGI), 2018)
    A unified, global data privacy framework is becoming essential for the unhindered development of business across borders. For researchers at the Data Privacy Foundation in New Zealand, this can only be achieved in Asia via ...
  • MetropolJS: Visualizing and debugging large-scale JavaScript program structure with treemaps

    Scarsbrook, Joshua D.; Ko, Ryan K.L.; Rogers, Bill; Bainbridge, David (ACM, 2018)
    As a result of the large scale and diverse composition of modern compiled JavaScript applications, comprehending overall program structure for debugging is challenging. In this paper we present our solution: MetropolJS. ...
  • A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

    Mohajerani, Sahar; Malik, Robi; Fabian, Martin (IEEE, 2014)
    This paper describes a framework for compositional supervisor synthesis, which is applicable to all discrete event systems modeled as a set of deterministic automata. Compositional synthesis exploits the modular structure ...

View more