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.

Sub-communities within Computing and Mathematical Sciences

Collections in Computing and Mathematical Sciences

Recently Added

  • Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe (ACM, 2015)
    This workshop aims to gather active researchers and practitioners in the field of formal methods for interactive systems. The mam objective is twofold: on one hand look at the evolutions of the definition and use of formal ...
  • Moore, A.W.; McGregor, Anthony James; Breen, J.W. (ACM, 1996)
    This paper presents the comparison of two methods of system monitoring, passive network monitoring and kernel instrumentation. The comparison is made on the basis of passive network monitoring being used as a replacement ...
  • Malik, Robi (IEEE, 2015)
    This paper investigates possible improvements of abstraction to simplify finite-state machines during compositional nonblocking verification of large discrete event systems. Current methods to simplify finite-state machines ...
  • Bouamrane, Matt-Mouley; Luz, Saturnino; Masoodian, Masood (2008)
    The aim of the workshop is to hold a multidisciplinary event bringing together researchers and practitioners to share their experiences of using ontologies for managing user interaction and interactive systems.
  • Bell, Timothy C.; Church, Annabel; McPherson, John; Bainbridge, David (2005)
    This paper investigates attributes of the electronic display of sheet music necessary for the development of a digital music stand. We explore the two conflicting goals of minimising page turning effort and maximising the ...
  • Broughan, Kevin A. (1973)
    A metrizable topological space has a metric taking values in a closed subset of the real numbers having Čech dimension zero if and only if the space itself has Čech dimension zero. We call a development D = {Dn} for a ...
  • Bainbridge, David; Bernbom, Gerry; Wallace Davidson, Mary Wallace; Dillon, Andrew P.; Dovey, Matthew; Dunn, Jon W.; Fingerhut, Michael; Fujinaga, Ichiro; Isaacson, Eric J. (2001)
    A report on the progress of several major research and development projects in digital music libraries is presented. Digital music libraries provide enhanced access and functionality that facilitates scholarly research and ...
  • Foote, B.J.; Craig, Ian J.D. (1990)
    The problem of the linear stability of cylindrically symmetric force-free magnetic equilibria is addressed. The aim is to quantify the severity of ideal MHD disturbances on a variety of line-tied coronal equilibria. ...
  • Craig, Ian J.D.; Henton, S.M. (1995)
    The problem of steady state magnetic reconnection in incompressible, resistive plasmas is addressed. It is shown that families of exact analytic solutions can be derived by exploiting the formal symmetry between the magnetic ...
  • Coley, A.A.; Lim, Woei Chet (IOP Publishing LTD, 2016)
    We shall discuss the general relativistic generation of spikes in a massless scalar field or stiff perfect fluid model. We first investigate orthogonally transitive (OT) G 2 stiff fluid spike models both heuristically and ...
  • DeLuca, Edward E.; Craig, Ian J.D. (1992)
    We investigate the dynamical relaxation of a disturbed X-type magnetic neutral point in a periodic geometry, with an ignorable coordinate, for an incompressible fluid. We find that the properties of the current sheet cannot ...
  • Craig, Ian J.D.; Henton, S.M. (1994)
    The problem of nonlinear, steady state magnetic reconnection in incompressible plasmas is considered. A self-consistent treatment is developed which allows a formal analytic solution of the resistive induction equation, ...
  • Craig, Ian J.D.; Sneyd, Alfred D. (1990)
    Solar prominences and flares are believed to be caused by rapid release of magnetic energy stored in coronal magnetic fields. Recent studies of the linear phase of ideal MHD instabilities has shown that energy release is ...
  • Kalnins, Ernie G.; Miller, W., Jr. (1977)
    A detailed classification is made of orthogonal coordinate systems for which the wave equation ψtt - Δ3ψ = 0 admits an R -separable solution. Only those coordinate systems are given which are not conformally equivalent to ...
  • Masoodian, Masood; Luz, Saturnino; Kavenga, David (ACM, 2016)
    In general, many factors contribute to the spread of diseases among populations over large geographical areas. In practice, analysis of these factors typically requires expertise of multidisciplinary teams. In this paper, ...
  • Jung, Yoonsuh (Taylor & Francis, 2016)
    By releasing the unbiasedness condition, we often obtain more accurate estimators due to the bias-variance tradeoff. In this paper, we propose a class of shrinkage proportion estimators which show improved performance over ...
  • Craig, Ian J.D.; McClymont, A.N. (1993)
    A linear theory is developed for the dissipation of the free magnetic energy in small disturbances imposed on the potential field of an X-type neutral point. An eigenmode analysis, using cylindrical coordinates centered ...
  • Craig, Ian J.D.; Fabling, R.B. (1996)
    The problem of steady state, incompressible magnetic reconnection in three dimensions is addressed. It is shown that exact reconnection solutions can be constructed by superposing nonlinear disturbances onto three-dimensional ...
  • Craig, Ian J.D.; Watson, P.G. (1992)
    We consider the linear and nonlinear evolution of disturbed magnetic X-type neutral points. The problem is formulated within a unified analytic and computational framework which highlights the essence of the magnetic ...
  • Craig, Ian J.D.; Rickard, G.J.; Sneyd, Alfred D. (1990)
    We show that the family of magnetic force-free equilibria obtained by Low using the generating function method is really a sequence of Gold-Hoyle flux tubes. This sequence is stable under a wide range of solar conditions ...

View more