Computing and Mathematical Sciences Papers

 

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

  • Linear acoustic waves in a nonisothermal atmosphere. II. photospheric resonator model of three-minute umbral oscillations

    Chae, Jongchul; Kang, Juhyung; Litvinenko, Yuri E. (IOP Publishing LTD, 2019)
    The velocity oscillations observed in the chromosphere of sunspot umbrae resemble a resonance in that their power spectra are sharply peaked around a period of about three minutes. In order to describe the resonance that ...
  • Towards trainable synthesis for optimized circuit deployment on FPGA

    Legault, Jean-Philippe; Patros, Panagiotis; Kent, Kenneth B. (IEEE, 2018)
    Field Programmable Gate Arrays (FPGAs) utilize multiple programmable elements and non-programmable blocks. After synthesizing an input Hardware Design Language (HDL) design into a circuit, optimizations are used to discover ...
  • Patient-reported quality of life for cataract surgery: prospective validation of the ‘Impact on Life’ and Catquest-9SF questionnaires in New Zealand

    Li, Sunny S.; Misra, Stuti L.; Wallace, Henry B.; Hunt, Lynette Anne; McKelvie, James (NZMA, 2019)
    AIMS: The 'Impact on Life' (IoL) questionnaire is used to prioritise publicly funded cataract surgery in New Zealand, however, it has not been formally validated for ophthalmic use. The Catquest-9SF questionnaire is widely ...
  • Glycemic-aware metrics and oversampling techniques for predicting blood glucose levels using machine learning.

    Mayo, Michael; Chepulis, Lynne Merran; Paul, Ryan G. (2019)
    Techniques using machine learning for short term blood glucose level prediction in patients with Type 1 Diabetes are investigated. This problem is significant for the development of effective artificial pancreas technology ...
  • Managing application-level QoS for IoT stream queries in hazardous outdoor environments

    Ziekow, Holger; Hinze, Annika; Bowen, Judy (SciTePress, 2019)
    While most IoT projects focus on well-controlled environments, this paper focuses on IoT applications in the wild, i.e., rugged outdoor environments. Hazard warnings in outdoor monitoring solutions require reliable pattern ...
  • Dastgàh recognition in Iranian music: different features and optimized parameters

    Heydarian, Peyman; Bainbridge, David (ACM Press, 2019)
    In this paper we report on the results of utilizing computational analysis to determine the dastgàh, the mode of music in the Iranian classical art music, using spectrogram and chroma features. We contrast the effectiveness ...
  • A matter of security, privacy and trust: A study of the principles and values of encryption in New Zealand

    Dizon, Michael; Ko, Ryan K.L.; Rumbles, Wayne; Gonzalez, Patricia; McHugh, Philip; Meehan, Anthony (New Zealand Law Foundation and University of Waikato, 2019)
    Cybersecurity is crucial for ensuring the safety and well-being of the general public, businesses, government, and the country as a whole. New Zealand has a reasonably comprehensive and well-grounded legal regime and ...
  • Non-orthogonally transitive G₂ spike solution

    Lim, Woei Chet (IOP Publishing Ltd, 2015)
    We generalize the orthogonally transitive (OT) G₂ spike solution to the non-OT G₂ case. This is achieved by applying Geroch's transformation on a Kasner seed. The new solution contains two more parameters than the OT G₂ ...
  • State of the art on formal methods for interactive systems

    Oliveira, Raquel; Palanque, Philippe; Weyers, Benjamin; Bowen, Judy; Dix, Alan (Springer, 2017)
    This chapter provides an overview of several formal approaches for the design, specification, and verification of interactive systems. For each approach presented, we describe how they support both modelling and verification ...
  • Trends and gaps

    Dix, Alan; Weyers, Benjamin; Bowen, Judy; Palanque, Philippe (Springer, 2017)
    This chapter attempts to identify future research directions for formal methods in HCI. It does this using two main approaches. First, we will look at trends within HCI more broadly and the challenges these pose for formal ...
  • Case studies

    Weyers, Benjamin; Harrison, Michael D.; Bowen, Judy; Dix, Alan; Palanque, Philippe (Springer, 2017)
    This chapter introduces a set of case studies that are used in the rest of the book. They encompass well known problem domains in Human-Computer Interaction research and provide a practical focus for the approaches presented ...
  • Semi-supervised learning using Siamese networks

    Sahito, Attaullah; Frank, Eibe; Pfahringer, Bernhard (Springer, 2019)
    Neural networks have been successfully used as classification models yielding state-of-the-art results when trained on a large number of labeled samples. These models, however, are more difficult to train successfully for ...
  • Robotic kiwifruit harvesting using machine vision, convolutional neural networks, and robotic arms

    Williams, Henry A.M.; Jones, Mark Hedley; Nejati, Mahla; Seabright, Matthew; Bell, Jamie; Penhall, Nicky D.; Barnett, Josh; Duke, Mike; Scarfe, Alastair J.; Ahn, Ho Seok; Lim, JongYoon; MacDonald, Bruce A. (Elsevier, 2019)
    As labour requirements in horticultural become more challenging, automated solutions are becoming an effective approach to maintain productivity and quality. This paper presents the design and performance evaluation of a ...
  • Using character-grams to automatically generate pseudowords and how to evaluate them

    König, Jemma Lynette; Calude, Andreea S.; Coxhead, Averil (Oxford University Press, 2019)
    This paper provides a practical solution to the problem of generating (good) pseudowords, which are commonly used in vocabulary testing and experimental research in applied linguistics, and introduces an empirically founded ...
  • A snapshot of reading, searching, and browsing preferences of tertiary students

    Vanderschantz, Nicholas; Timpany, Claire; Feng, Chun (BCS Learning and Development LtdBCS Learning and Development Ltd, 2018)
    Unanswered questions remain regarding how to design search result pages in library catalogues that offer effective library seeking experiences for users — especially those designed for small screen mobile devices. This ...
  • Designing an internet search interface for children

    Vanderschantz, Nicholas; Hinze, Annika (BCS Learning and Development Ltd, 2018)
    Interaction design and interface design research for children is of critical importance to ensure an educated future generation ready for the technology-focussed world. Significantly, the empirical studies that guide ...
  • Solving complex retrofit problems using constraints and bridge analysis

    Lal, Nathan S.; Walmsley, Timothy Gordon; Atkins, Martin John; Walmsley, Michael R.W.; Neale, James R. (2018)
    The aim of this paper is to conduct retrofit analysis of large, complex industrial Heat Exchanger Networks using an automated Bridge Analysis. Large, complex networks have many different possible retrofit designs, or ...
  • An AR memory app based on Māori mnemonic aids

    Taia, Ivy; Hinze, Annika; Vanderschantz, Nicholas (BCS Learning and Development Ltd, 2018)
    Traumatic Brain Injury (TBI) is a world-wide “silent epidemic” causing a variety of memory issues for those affected. Although several software approaches aim to aid memory recollection, they are inadequate for many TBI ...
  • Tertiary students' preferences for library search results pages on a mobile device

    Vanderschantz, Nicholas; Timpany, Claire; Feng, Chun (Springer, 2018)
    Technology advancements and availability will result in library catalogues becoming more regularly accessed on small screen mobile devices in coming years with academics and students likely to be amongst the earliest ...
  • eReader interface design for page-turning

    Vanderschantz, Nicholas; Timpany, Claire; Huang, Jiao (BCS Learning and Development Ltd, 2018)
    There remain numerous unanswered questions regarding how to design eReaders that are effective for the range of reading purposes required by readers. This broad research area requires the attention of HCI, design, and ...

View more