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

A data mining approach to evaluate suitability of dissolved oxygen sensor observations for lake metabolism analysis
(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
(IEEE Computer Society, 2006)An earlier study by M. Masoodian et al. (1995) has examined the impact of different humantohuman 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
(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 northfacing roof. This method is used ... 
Development and application of large interactive display surfaces
(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 offtheshelf ... 
Simulating the impact of household energy consumption on the electricity grid
(University of Bamberg Press, 2015)This paper presents a bottomup 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
(British HCI Group, 2003)This demonstration shows the tool we have developed for handsketching 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
(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 nLatin squares and full designs
(Springer Japan KK, 2018)The full nLatin 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 nLatin square has size n³(1 − o(1)). The full ... 
Constructing (0,1)matrices with large minimal defining sets
(Elsevier, 2018)If D is a partially filledin (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
(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
(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
(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
(IEEE, 2017)Smartphones with NearField 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
(ACM Press, 2004)Digital handdrawn 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
(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
(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 ongoing project ... 
Latin squares with no transversals
(2017)Akplex 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 1plex is also known as a transversal. It is well known that ... 
Towards one global privacy law
(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 largescale JavaScript program structure with treemaps
(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
(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 ...