Research Commons

Computing and Mathematical Sciences

Research Commons

Computing and Mathematical Sciences

 

This community houses research from the Faculty of Computing and Mathematical Sciences at the University of Waikato.

Collections in Computing and Mathematical Sciences

Recently Added

  • Mohajerani, Sahar; Malik, Robi; Fabian, Martin (Department of Computer Science, The University of Waikato, 2016)
    This working paper proposes a framework to obtain memory-efficient supervisors for large discrete event systems, which are least restrictive, controllable, and nonblocking. The approach combines compositional synthesis and ...
  • Masoodian, Masood; Mohd Yusof, Azmi Bin; Rogers, Bill (Oxford Journals, 2016)
    Creating complex 3D models is a challenging process. One of the main reasons for this is that 3D models are usually created using software developed for conventional 2D displays which lack true depth perspective, and ...
  • Chase, Jonathan; Niyato, Dusit; Chaisiri, Sivadon (2015)
    The increasing popularity of using mobile devices in a work context, has led to the need to be able to support more powerful computation. Users no longer remain in an office or at home to conduct their activities, preferring ...
  • Rimba, Paul; Zhu, Liming; Bass, Len; Kuz, Ihor; Reeves, Steve (IEEE, 2015)
    Building secure applications requires significant expertise. Secure platforms and security patterns have been proposed to alleviate this problem. However, correctly applying patterns to use platform features is still highly ...
  • Apperley, Mark; Donnelly, Caleb; Mason, Steven (2015)
    Although significant advances have been achieved in the range and performance of battery electric vehicles (BEVs) in recent years, the rate of uptake of these vehicles is relatively slow, meaning that they will not become ...
  • Litvinenko, Yuri E.; McMahon, Liam C. (Cambridge Journals, 2015)
    An exact self-similar solution is used to investigate current sheet formation at a magnetic neutral line in incompressible Hall magnetohydrodynamics. The collapse to a current sheet is modelled as a finite-time singularity ...
  • Delbourgo, Daniel; Qin, Chao (London Mathematical Society, 2015)
    We describe an algorithm for finding the coefficients of F(X) modulo powers of p, where p ≠2 is a prime number and F(X) is the power series associated to the zeta function of Kubota and Leopoldt. We next calculate the ...
  • Bowen, Judy; Reeves, Steve (IEEE, 2015)
    Building models of safety-critical interactive systems (in healthcare, transport, avionics and finance, to name but a few) as part of the design process is essential. It is also advised for non-safety critical interactive ...
  • Malik, Robi; Teixeira, Marcelo (Department of Computer Science, The University of Waikato, 2016)
    This working paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively ...
  • Yu, Alex; Witten, Ian H. (Computing and Information Technology Research and Education New Zealand (CITRENZ), 2015)
    The rise of Mobile Assisted Language Learning has brought a new dimension and dynamic into language classes. Game-like language learning apps have become a particularly effective way to promote self-learning outside classroom ...
  • Utting, Mark; Boulaire, Fanny (2015)
    Electricity distribution networks are large complex systems that are continuously evolving. Agent-based models are a useful way of exploring possible future scenarios for these networks. This paper introduces MODAM, a ...
  • Pilbrow, Colin; Reeves, Steve (ACM, 2015)
    We talk in this paper about using state machines and refinement to characterise the visualisation of a computation. We use Z specifications to give examples of systems in the usual way, and then use Z schemas to also ...
  • Fernando, Jayathu; Kularatna, Nihal; Talele, Sadhana (2014)
    Their combination of large continuous energy ratings and very large time constants allows supercapacitors to be used in surge protection circuits. This fact, supported by recent research publications and laboratory tests, ...
  • Stokes, Tim E.; McConnell, N. R. (Springer Basel, 2015)
    In any 0-normal variety (0-regular variety in which {0} is a subalgebra), every congruence class containing 0 is a subalgebra. These “normal subalgebras” of a fixed algebra constitute a lattice, isomorphic to its congruence ...
  • Beckham, Christopher J. (University of Waikato, Department of Computer Science, 2015)
    WEKA is a popular machine learning workbench written in Java that allows users to easily classify, process, and explore data. There are many ways WEKA can be used: through the WEKA Explorer, users can visualise data, train ...
  • Bowen, Judy; Hinze, Annika; Cunningham, Sally Jo; Parker, Richard (Department of Computer Science, The University of Waikato, 2015)
    The New Zealand forestry industry has the country's highest rate of workplace fatalities. The reasons are not well studied or understood and no large-scale systematic physical and physiological data has been recorded to ...
  • Masoodian, Masood; André, Elisabeth; Luz, Saturnino; Rist, Thomas (University of Waikato, Department of Computer Science, 2014)
    It is with great pleasure that we welcome you to FSEA 2014, the AVI 2014 workshop on Fostering Smart Energy Applications through Advanced Visual Interfaces. This workshop focuses on advanced interaction, interface, and ...
  • van Rijn, Jan N.; Holmes, Geoffrey; Pfahringer, Bernhard; Vanschoren, Joaquin (2015)
    Ensembles of classifiers are among the strongest classi-fiers in most data mining applications. Bagging ensembles exploit the instability of base-classifiers by training them on different bootstrap replicates. It has been ...
  • Delbourgo, Daniel (Cambridge University Press (CUP), 2014)
    Suppose E is an elliptic curve over , and p > 3 is a split multiplicative prime for E. Let q = p be an auxiliary prime, and fix an integer m coprime to pq. We prove the generalised Mazur–Tate–Teitelbaum conjecture for E ...
  • Stokes, Tim E.; Hawthorn, Ian; Manoharan, Siva (Springer Basel, 2015)
    If X is a set, the fix-set quasiorder on a group of permutations of X is the quasiorder induced by containment of the fix-sets of elements of SX. Axioms for such quasiorders on groups have previously been given. We generalise ...

View more