Computing and Mathematical Sciences Papers: Recently added
Now showing items 120 of 1369

From music ontology towards ethnomusicontology
(2020)This paper presents exploratory work investigating the suitability of the Music Ontology [33]  the most widely used formal specification of the music domain  for modelling nonWestern musical traditions. Four contrasting ... 
A perturbative approach to a nonlinear advectiondiffusion equation of particle transport
(AIP Publishing, 2020)We explore analytical techniques for modeling the nonlinear cosmic ray transport in various astrophysical environments which is of significant current research interest. While nonlinearity is most often described by coupled ... 
Neural multiclass classification approach to blood glucose level forecasting with prediction uncertainty visualisation
(CEUR Workshop Proceedings, 2020)A machine learningbased method for blood glucose level prediction thirty and sixty minutes in advance based on highly multiclass classification (as opposed to the more traditional regression approach) is proposed. An ... 
In silico comparison of continuous glucose monitor failure mode strategies for an artificial pancreas
(CEUR Workshop Proceedings, 2020)An artificial pancreas is a medical Internet of Thingsbased system consisting of a continuous glucose monitor, an insulin pump, and a microcontroller. The use of artificial pancreas systems is becoming increasingly popular ... 
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 padic Lfunctions over CMextensions
(Electronic Journals Project, 2020)Let E be a CMfield, 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 Lvalues 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) modeldriven 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, ... 
Bundledriven 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 corpusbased approach, and these studies have provided ... 
Towards transforming OpenFlow rulesets to fit fixedfunction 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 nonempty set X, 𝑅𝑒𝑙𝑋, and is a variant of standard or “angelic” composition. It arises naturally in the setting of the theory of nondeterministic ... 
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 HumanComputer 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 routerlevel topology with paths collected using traceroute assume that the source address for each router in the path is either an inbound or offpath 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 finitestate machines with variable abstraction
(Springer, 2020)This paper presents an algorithm that combines modular synthesis for extended finitestate 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 ...