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)-
Biembeddings of cycle systems using integer Heffter arrays
(Wiley, 2020)In this paper, we use constructions of Heffter arrays to verify the existence of face 2‐colorable embeddings of cycle decompositions of the complete graph. Specifically, for n ≡ 1 (mod 4) and k ≡3(mod 4), n k ≫ ⩾ 7 and ... -
Heegner cycles and congruences between anticyclotomic p-adic L-functions over CM-extensions
(Electronic Journals Project, 2020)Let E be a CM-field, and suppose that f, g are two primitive Hilbert cusp forms over E⁺ of weight 2 satisfying a congruence modulo λʳ. Under appropriate hypotheses, we show that the complex L-values of f and g twisted by ... -
Safety first: combining task models of medical devices with numeracy skills and technical competence
(ALM, 2019)We propose that by more closely aligning interdisciplinary work in (a) numeracy education for medication dosage calculations and (b) model-driven design for medical devices that are used for delivery of medication we may ... -
Override and update
(Elsevier BV, 2021)Override and update are natural constructions for combining partial functions, which arise in various program specification contexts. We use an unexpected connection with combinatorial geometry to provide a complete finite ... -
Towards automated configuration of stream clustering algorithms
(Springer, 2019)Clustering is an important technique in data analysis which can reveal hidden patterns and unknown relationships in the data. A common problem in clustering is the proper choice of parameter settings. To tackle this, ... -
Bundle-driven move analysis: Sentence initial lexical bundles in PhD abstracts
(Elsevier, 2020)Rhetorical moves are discoursal units that perform communicative functions in a given genre. They have been manually identified in many previous studies taking a corpus-based approach, and these studies have provided ... -
Towards transforming OpenFlow rulesets to fit fixed-function pipelines
(ACM, 2020)OpenFlow feature support differs between devices due to devicespecific hardware constraints. OpenFlow places the burden of addressing these differences on the controller, which increases development cost and restricts ... -
Mutually orthogonal binary frequency squares
(The Electronic Journal of Combinatorics, 2020)A frequency square is a matrix in which each row and column is a permutation of the same multiset of symbols. We consider only binary frequency squares of order n with n/2 zeros and n/2 ones in each row and column. Two ... -
How to generalise demonic composition
(Springer Verlag, 2020)Demonic composition is defined on the set of binary relations over the non-empty set X, 𝑅𝑒𝑙𝑋, and is a variant of standard or “angelic” composition. It arises naturally in the setting of the theory of non-deterministic ... -
Narrative navigation: visualizing story order and locations in augmented reality
(2020)Narrative Navigation connects mobile storytelling with geolocations and Augmented Reality (AR). Narrative Navigation is designed to help users better understand a story. In this paper, we introduce our mobile app prototype ... -
A glimpse into the past, present, and future of engineering interactive computing systems
(ACM, 2020)The area of Engineering Interactive Computing Systems (EICS) is often defined as the intersection between Software Engineering (SE) and Human-Computer Interaction (HCI). In this paper, we provide an overview of what EICS ... -
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 ...
