Computing and Mathematical Sciences Papers

 

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

  • 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 ...
  • PositivelyPregnant: Using guided prompts in a stress-management app for pregnant women

    Barber, Carrie; Singh, Sukrita; Hinze, Annika; Vanderschantz, Nicholas (BCS Learning and Development Ltd., 2018)
    This paper reports on our interdisciplinary research on stress management for pregnant women. We developed a mobile app – PositivelyPregnant – for supporting the mental wellbeing of pregnant women in New Zealand. The app ...
  • Who was that? Enriched eReading through in-book visualisation

    Hinze, Annika; Timpany, Claire; Vanderschantz, Nicholas; Thomson, Stuart (BCS Learning and Development Ltd, 2018)
    The shift to electronic books has opened a realm of possibilities for assisting users in reading books, but little of this potential has been realised. Today’s eReaders offer simple search features but rarely make any ...
  • Play, pause, and skip: touch screen media player interaction on the move

    Vanderschantz, Nicholas; Yang, Zhiqin (Springer, 2019)
    Our active lifestyles see us playing, pausing, and skipping through life all the while our phones are in our hands. For many, completing the daily grind requires regular audio and visual media accompaniment and for this ...
  • A typographic case study: children's digital books in New Zealand primary schools

    Vanderschantz, Nicholas (Common Ground Publishing, 2011)
    Increasingly children’s educational reading material is presented in a screen-based environment. This includes a range of interactive learning tools, interactive whiteboards, on-line standardized testing material, digital ...
  • Who says you can't judge a book by it's cover?

    Vanderschantz, Nicholas; Timpany, Claire (Common Ground, 2013)
    They say that first impressions are everything, so what impression do our books give us by the cover they have? Can we make a generalisation or gain a basic understanding of the content of a book from this first impression? ...
  • Multi-level engagement in augmented reality children’s picture books

    Vanderschantz, Nicholas; Hinze, Annika; Al-Hashami, Aysha (Springer, 2019)
    We demonstrate our AR enhanced picture book that provides multiple levels of interaction and engagement. Holding the camera at a range of heights facilitates reader exploration of layered book features and content. These ...
  • Microsoft Translator Hub for Māori language

    Keegan, Te Taka Adrian Gregory; Cairns, Jasmin (2018)
    Recent improvements in Machine Translation (MT) software has opened new possibilities for applications of automatic language translation. But can these opportunities exist for the smaller, minority languages of the world? ...

View more