Computing and Mathematical Sciences Papers
This collection houses research from the Faculty of Computing and Mathematical Sciences at the University of Waikato.
All items in Research Commons are provided only to permit fair dealing for the purposes of research or private study. They are protected by copyright with all rights reserved unless otherwise indicated.
Recently Added
Subscribe (RSS 1.0)-
vrfinder: Finding outbound addresses in traceroute
(ACM, 2020)Current methods to analyze the Internet's router-level topology with paths collected using traceroute assume that the source address for each router in the path is either an inbound or off-path address on each router. In ... -
Participatory design in Māori cultural contexts
(Cardiff University Press, 2020)The Hakituri project aims to develop practical and ethical wearable monitoring solutions for workers in hazardous industries. We identified specific challenges pertinent to our participatory design process for this project ... -
Urban narrative: Value based urban design
(2019)Urban Narrative focuses on the social dimension within urban design which is often overlooked in practice which examines human values and needs as a means to inform design practice. The project has been working in partnership ... -
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
(Springer, 2020)This paper presents an algorithm that combines modular synthesis for extended finite-state machines (EFSM) with abstraction of variables by symbolic manipulation, in order to compute least restrictive controllable supervisors. ... -
On the computation of counterexamples in compositional nonblocking verification
(Springer, 2020)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 ... -
Trends on Engineering Interactive Systems: an overview of works presented in workshops at EICS 2019
(ACM, 2019)Workshops are a great opportunity for identifying innovative topics of research that might require discussion and maturation. This paper summarizes the outcomes of the workshops track of the 11th Engineering Interactive ... -
A Coloured Petri Net approach to model and analyze safety-critical interactive systems
(IEEE, 2019)To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. The aim of this paper is to use Coloured Petri Nets to model and analyze safety-critical interactive systems. We ... -
Current educational technology use for digital information acquisition by young New Zealand children
(ACS, 2014)Improving children`s information acquisition using digital documents is an under-studied field. We performed a survey with both teachers and parents to highlight the current use of technology and digital information by ... -
Hybrid Hashtags: #YouKnowYoureAKiwiWhen Your Tweet Contains Māori and English
Twitter constitutes a rich resource for investigating language contact phenomena. In this paper, we report findings from the analysis of a large-scale diachronic corpus of over one million tweets, containing loanwords from ... -
Multiple level enhancement of children's picture books with augmented reality
(Springer, 2018)This paper reports a case study on using Augmented Reality (AR) in children’s books. in which we explored the use of various types of interactions at different levels. An AR enhanced 2-page spread is developed to explore ... -
Embedding Java classes with code2vec: improvements from variable obfuscation [Accepted]
(ACM, 2020)Automatic source code analysis in key areas of software engineering, such as code security, can benefit from Machine Learning (ML). However, many standard ML approaches require a numeric representation of data and cannot ... -
Domain specific transfer learning using image mixing and stochastic image selection
(2019)Can a gradual transition from the source to the target dataset improve knowledge transfer when fine-tuning a convolutional neural network to a new domain? Can we use training examples from general image datasets to improve ... -
A review of Automatic end-to-end De-Identification: Is High Accuracy the Only Metric?
(Taylor & Francis Inc, 2020)De-identification of electronic health records (EHR) is a vital step towards advancing health informatics research and maximising the use of available data. It is a two-step process where step one is the identification of ... -
Comparing high dimensional word embeddings trained on medical text to bag-of-words for predicting medical codes
(Springer, 2020)Word embeddings are a useful tool for extracting knowledge from the free-form text contained in electronic health records, but it has become commonplace to train such word embeddings on data that do not accurately reflect ... -
F-Lingo: Integrating lexical feature identification into MOOC platforms for learning professional and academic English
(IEEE, 2019)F-Lingo is a chrome extension that works on top of the FutureLearn MOOC platform to support content-based language learning of domain-specific terminology for professional and academic purposes. -
Social information behaviour in physical libraries: Implications for the design of digital libraries
(IEEE, 2014)Physical bookshops and libraries are visited by both individuals, and groups of patrons, while digital libraries are designed primarily for individual users. This paper reports on a study exploring the behaviour of groups ... -
“Computer what's your favourite colour?” children's information-seeking strategies in the classroom
(2019)This research investigates children's information seeking in primary and intermediate school classrooms as seen by their teachers. We report the results of a series of semi-structured interviews with teachers of pre-teen ... -
The evolution of bonded design: from elementary school to higher education
(Springer, 2020)This paper introduces an alternative model of the participatory design (PD) methodology, Bonded Design (BD). Bonded Design originated from research investigating the use of participatory design methods to foster collaboration ... -
Linear acoustic waves in a nonisothermal atmosphere. II. photospheric resonator model of three-minute umbral oscillations
(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
(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 ...
