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

  • 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 ...
  • CS-ARF: Compressed adaptive random forests for evolving data stream classification

    Bahri, Maroua; Gomes, Heitor Murilo; Bifet, Albert; Maniu, Silviu (IEEE, 2020)
    Ensemble-based methods are one of the most often used methods in the classification task that have been adapted to the stream setting because of their high learning performance achievement. For instance, Adaptive Random ...
  • Orthogonal grid generation software

    Delbourgo, Daniel; Walker, Stephen (C.S.I.R.O. Division of Oceanography, 1992)
    Calculates transformations between physical and index space within a numerical grid
  • Classifier chains: A review and perspectives

    Read, Jesse; Pfahringer, Bernhard; Holmes, Geoffrey; Frank, Eibe (AI Access Foundation, 2021)
    The family of methods collectively known as classifier chains has become a popular approach to multi-label learning problems. This approach involves chaining together off-the-shelf binary classifiers in a directed structure, ...
  • Inferring trust using personality aspects extracted from texts

    Granatyr, Jones; Gomes, Heitor Murilo; DIas, João Miguel; Paiva, Ana Maria; Nunes, Maria Augusta Silveira Netto; Scalabrin, Edson Emílio; Spak, Fábio (IEEE, 2019)
    Trust mechanisms are considered the logical protection of software systems, preventing malicious people from taking advantage or cheating others. Although these concepts are widely used, most applications in this field do ...

View more