Computing and Mathematical Sciences


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

  • Interpretable deep learning for surgical tool management

    Rodrigues, Mark; Mayo, Michael; Patros, Panos (Springer, 2021)
    This paper presents a novel convolutional neural network framework for multi-level classification of surgical tools. Our classifications are obtained from multiple levels of the model, and high accuracy is obtained by ...
  • Studying and exploiting the relationship between model accuracy and explanation quality

    Jia, Yunzhe; Frank, Eibe; Pfahringer, Bernhard; Bifet, Albert; Lim, Nick Jin Sean (Springer, 2021)
    Many explanation methods have been proposed to reveal insights about the internal procedures of black-box models like deep neural networks. Although these methods are able to generate explanations for individual predictions, ...
  • AI augmented approach to identify shared ideas from large format public consultation

    Weng, Min-Hsien; Wu, Shaoqun; Dyer, Mark (MDPI AG, 2021)
    Public data, contributed by citizens, stakeholders and other potentially affected parties, are becoming increasingly used to collect the shared ideas of a wider community. Having collected large quantities of text data ...
  • Barriers to diabetes self-management in a subset of New Zealand adults with Type 2 diabetes and poor glycaemic control

    Chepulis, Lynne Merran; Morison, Brittany; Cassim, Shemana; Norman, Kimberley; Keenan, Rawiri; Paul, Ryan G.; Lawrenson, Ross (Hindawi Ltd, 2021)
    Background. Despite the fact that there is an increasingly effective armoury of medications to treat diabetes, many people continue to have substantially elevated blood glucose levels. The purpose of this study was to ...
  • Convergence of public participation, participatory design and NLP to co-develop circular economy

    Dyer, Mark; Wu, Shaoqun; Weng, Min-Hsien (Springer Science and Business Media LLC, 2021)
    The concept of a circular economy is at a crossroads. To date, it has been largely driven by top-down national or trans-national legislation such as EU Circular Economy Package or Chinese Circular Economy Promotion. Bottom-up ...
  • Deep learning in diabetic foot ulcers detection: A comprehensive evaluation

    Yap, Moi Hoon; Hachiuma, Ryo; Alavi, Azadeh; Brüngel, Raphael; Cassidy, Bill; Goyal, Manu; Zhu, Hongtao; Rückert, Johannes; Olshansky, Moshe; Huang, Xiao; Saito, Hideo; Hassanpour, Saeed; Friedrich, Christoph M.; Ascher, David B.; Song, Anping; Kajita, Hiroki; Gillespie, David; Reeves, Neil D.; Pappachan, Joseph M.; O'Shea, Claire; Frank, Eibe (Elsevier BV, 2021)
    There has been a substantial amount of research involving computer methods and technology for the detection and recognition of diabetic foot ulcers (DFUs), but there is a lack of systematic comparisons of state-of-the-art ...
  • River: Machine learning for streaming data in Python

    Montiel, Jacob; Halford, Max; Mastelini, Saulo Martiello; Bolmier, Geoffrey; Sourty, Raphael; Vaysse, Robin; Zouitine, Adil; Gomes, Heitor Murilo; Read, Jesse; Abdessalem, Talel; Bifet, Albert (2021)
    River is a machine learning library for dynamic data streams and continual learning. It provides multiple state-of-the-art learning methods, data generators/transformers, performance metrics and evaluators for different ...
  • Using task models to understand the intersection of numeracy skills and technical competence with medical device design

    Bowen, Judy; Coben, Diana (Oxford University Press, 2021)
    Task models are used in many different ways throughout the design and development of interactive systems. When the interactive systems are safety critical, task models can play an important role in ensuring system behaviours ...
  • Virtual bioprocess simulation laboratory for teaching and learning

    Berenjian, Aydin; Smith, Tony C.; Soo, Chin-En Keith (Ako Aotearoa, 2018)
    There is great potential in applying virtual technology to support teaching and learning. A 3D virtual bioprocess simulation will enable users to learn about both basics of laboratory safety and fermentation principles. ...
  • Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications

    Mohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stephane; Ozay, Necmiye (Elsevier BV, 2021)
    This paper proposes a method to synthesise controllers for systems with possibly infinite number of states that satisfy a specification given as an LTL\◦ formula. A common approach to handle this problem is to first compute ...
  • Adversarial risk analysis for first-price sealed-bid auctions.

    Ejaz, Muhammad; Joshi, Chaitanya; Joe, Stephen (Wiley, 2021)
    Adversarial risk analysis (ARA) is an upcoming methodology that is considered to haveadvantages over the traditional decision-theoretic and game-theoretic approaches. ARAsolutions for first-price sealed-bid (FPSB) auctions ...
  • Cylindrical spikes

    Moughal, Muhammad Zubair Ali; Lim, Woei Chet (IOP Publishing LTD, 2021)
    The Geroch/Stephani transformation is a solution-generating transformation, and may generate spiky solutions. The spikes in solutions generated so far are either early-time permanent spikes or transient spikes. We want to ...
  • FilmGrain

    Simmons, Rowan; Apperley, Mark; Soo, Chin-En Keith (2019)
    Films are an integral part of our cultural zeitgeist, as time goes on, they have become more than entertainment, they have become a mirror that we point at ourselves in order to explore issues and our position in the world. ...
  • Usable-by-Construction a formal framework

    Reeves, Steve (University of Waikato, 2021)
    We propose here to look at how abstract a model of a usable system can be, but still say something useful and interesting, so this paper is an exercise in abstraction and formalisation, with usability-of-design as an example ...
  • Dynamic property enforcement in programmable data planes

    Neves, Miguel; Huffaker, Bradley; Levchenko, Kirill; Barcellos, Marinho (2021)
    Network programmers can currently deploy an arbitrary set of protocols in forwarding devices through data plane programming languages such as P4. However, as any other type of software, P4 programs are subject to bugs and ...
  • Slowdown and heating of interstellar neutral helium by elastic collisions beyond the heliopause

    Swaczyna, P.; Rahmanifard, F.; Zirnstein, E. J.; McComas, David J.; Heerikhuisen, J. (IOP Publishing, 2021)
    Direct sampling of interstellar neutral (ISN) atoms close to the Sun enables studies of the very local interstellar medium (VLISM) around the heliosphere. The primary population of ISN helium atoms has, until now, been ...
  • Concrete ephemeriality

    Simmons, Rowan; Soo, Chin-En Keith (2020)
    Concrete ephemerality is a project designed to capture something that was once transitory and seeks to create something concrete from it. With ever more tracking and aggregation of our digital lives, online identities that ...
  • A note on families over a p-adic disk, circa 2012

    Delbourgo, Daniel; Smith, Lachlan (2012)
    The following notes discuss how the local conditions H¹ₑ and H¹𝓰 of Bloch-Kato vary in an analytic family, culminating in the proof of a control theorem (Theorem 1.1).
  • On ensemble techniques for data stream regression

    Gomes, Heitor Murilo; Montiel, Jacob; Mastelini, Saulo Martiello; Pfahringer, Bernhard; Bifet, Albert (IEEE, 2020)
    An ensemble of learners tends to exceed the predictive performance of individual learners. This approach has been explored for both batch and online learning. Ensembles methods applied to data stream classification were ...
  • Towards embedding data provenance in files

    Phua, Thye Way; Patros, Panos; Kumar, Vimal (IEEE, 2021)
    Data provenance (keeping track of who did what, where, when and how) boasts of various attractive use cases for distributed systems, such as intrusion detection, forensic analysis and secure information dependability. This ...

View more