Computing and Mathematical Sciences: Recently added
Now showing items 120 of 1584

Design and the fourth industrial revolution. Dangers and opportunities for a mutating discipline
(Taylor & Francis (Routledge), 2017)The nature of design has always been related to sociotechnological forces. In the twentieth century, the first and second orders of design were central in the establishment of graphic and industrial design. In the early ... 
Maumahara Papahou: A mobile augmented reality memory treasure box based on Māori mnemonic aids
(2019)He aha te mea nui o te ao? He tangata, he tangata, he tangata. What is the most important thing in the world? It is people, it is people, it is people. Traumatic brain injury (TBI) is a worldwide “silent epidemic” causing ... 
Insider threat modeling: An adversarial risk analysis approach
(2019)Insider threats entail major security issues in geopolitics, cyber security and business organizations. Most earlier work in the field has focused on standard game theoretic approaches. We provide here two alternative, ... 
Exploration of association rule mining for coding consistency and completeness assessment in inpatient administrative health data.
(2018)OBJECTIVE: Data quality assessment is a challenging facet for research using coded administrative health data. Current assessment approaches are time and resource intensive. We explored whether association rule mining (ARM) ... 
The University of Waikato usability laboratory
(2001)The University of Waikato Usability Laboratory is an environment where researchers are able to study and assess the usability of products while being used by their intended users. It allows for flexible configuration, and ... 
FreeForm: Informal form design on a large interactive display surface
(2001)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 ... 
Evaluting a sketch environment for novice programmers
(ACM Press, 2003)This paper describes the evaluation of an electronic sketch interface design tool for novice programmers. A comparative study was undertaken with small groups using two different shared space environments; a conventional ... 
A survey of neural networkbased cancer prediction models from microarray data
(Elsevier, 2019)Neural networks are powerful tools used widely for building cancer prediction models from microarray data. We review the most recently proposed models to highlight the roles of neural networks in predicting cancer from ... 
AffectiveTweets: a Weka package for analyzing affect in tweets
(Microtome Publishing, 2019)AffectiveTweets is a set of programs for analyzing emotion and sentiment of social media messages such as tweets. It is implemented as a package for the Weka machine learning workbench and provides methods for calculating ... 
WekaDeeplearning4j: A deep learning package for weka based on Deeplearning4j
(Elsevier BV, 2019)Deep learning is a branch of machine learning that generates multilayered representations of data, commonly using artificial neural networks, and has improved the stateoftheart in various machine learning tasks (e.g., ... 
Ensembles of nested dichotomies with multiple subset evaluation
(Springer, 2019)A system of nested dichotomies (NDs) is a method of decomposing a multiclass problem into a collection of binary problems. Such a system recursively applies binary splits to divide the set of classes into two subsets, and ... 
Prior Robustness for Bayesian Implementation of the Fault Tree Analysis
(IEEE, 2018)We propose a prior robustness approach for the Bayesian implementation of the fault tree analysis (FTA). FTA is often used to evaluate risk in large, safety critical systems but has limitations due to its static structure. ... 
The effect of surface tension on freesurface flow induced by a point sink
(Cambridge University Press, 2016)The steady, axisymmetric flow induced by a point sink (or source) submerged in an inviscid fluid of infinite depth is computed and the resulting deformation of the free surface is obtained. The effect of surface tension ... 
Algebraic properties of IfThenElse and commutative threevalued tests
(2019)This paper establishes a finite axiomatization of possibly nonhalting computer programs and tests, with the ifthenelse operation. The model is a twosorted algebra, with one sort being the programs and the other being ... 
Counterexample Computation in Compositional Nonblocking Verification
(Elsevier, 2018)This paper describes algorithms to compute a counterexample when compositional nonblocking verification determines that a discrete event system is blocking. Counterexamples are an important feature of model checking that ... 
Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking
(Elsevier Ltd., 2018)This paper demonstrates the use of model checking to solve the problem of optimal task scheduling in a flexible manufacturing system. The system is modelled as a discrete event system, for which the least restrictive safe ... 
Computing LInvariants for the Symmetric Square of an Elliptic Curve
(Taylor & Francis, 2019)Let E be an elliptic curve over Q, and p≠2 a prime of good ordinary reduction. The padic Lfunction for Sym²E always vanishes at s = 1, even though the complex Lfunction does not have a zero there. The Linvariant itself ... 
Health information research privacy standards should include Māori perspectives on privacy
(New Zealand Medical Association, 2019)Secondary research using health records and other personal health data (henceforth referred to as health information research) is a valuable tool for tackling New Zealand’s health and social challenges. It requires however ... 
Boosting decision stumps for dynamic feature selection on data streams
(2019)Feature selection targets the identification of which features of a dataset are relevant to the learning task. It is also widely known and used to improve computation times, reduce computation requirements, and to decrease ... 
K₁congruences for threedimensional Lie groups
(Springer, 2019)We completely describe K₁ (Zₚ [[G∞]]) and its localisations by using an infinite family of padic congruences, where G∞ is any solvable padic Lie group of dimension 3. This builds on earlier work of Kato when ...