Computing and Mathematical Sciences Papers: Recently added

Now showing items 1-20 of 1369

  • From music ontology towards ethno-music-ontology

    Proutskova, Polina; Volk, Anja; Fazekas, György; Heydarian, Peyman (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 non-Western musical traditions. Four contrasting ...
  • A perturbative approach to a nonlinear advection-diffusion equation of particle transport

    Walter, Dominik; Fichtner, Horst; Litvinenko, Yuri E. (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 multi-class classification approach to blood glucose level forecasting with prediction uncertainty visualisation

    Mayo, Michael; Koutny, Tomas (CEUR Workshop Proceedings, 2020)
    A machine learning-based 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

    Lu, Yunjie; Koay, Abigail; Mayo, Michael (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 micro-controller. The use of artificial pancreas systems is becoming increasingly popular ...
  • Biembeddings of cycle systems using integer Heffter arrays

    Cavenagh, Nicholas J.; Donovan, Diane M.; Yazıcı, Emine S. (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

    Delbourgo, Daniel; Lei, Antonio (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

    Bowen, Judy; Coben, Diana (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

    Jackson, Marcel; Stokes, Tim E. (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

    Carnein, Matthias; Trautmann, Heike; Bifet, Albert; Pfahringer, Bernhard (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

    Li, Liang; Franken, Margaret; Wu, Shaoqun (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

    Sanger, Richard; Luckie, Matthew John; Nelson, Richard (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

    Britz, Thomas; Cavenagh, Nicholas J.; Mammoliti, Adam; Wanless, Ian M. (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

    Stokes, Tim E. (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

    Zhang, Qimo; Hinze, Annika; Vanderschantz, Nicholas (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

    Bowen, Judy; Vanderdonckt, Jean; Winckler, Marco (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

    Marder, Alexander; Luckie, Matthew John; Huffaker, Bradley; claffy, kc (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

    Bowen, Judy; Hinze, Annika (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

    Mackness, Kate; Dyer, Mark; Dyer, Rachel; Hinze, Annika; Garcia Ferrari, Tomás; Wu, Shaoqun; Wilkins, Rebekah; Weng, Min-Hsien (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

    Malik, Robi; Teixeira, Marcelo (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

    Malik, Robi; Ware, Simon (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 ...