Research Commons

Browsing Computing and Mathematical Sciences Papers by Title

Research Commons

Browsing Computing and Mathematical Sciences Papers by Title

Sort by: Order: Results:

  • Apperley, Mark; Baker, Jay; Fletcher, Dale; Rogers, Bill (1999)
    Copy and paste, or cut and paste, using a clipboard or paste buffer has long been the principle facility provided to users for transferring data between and within GUI applications. We argue that this mechanism can be ...
  • Malik, Robi; Streader, David; Reeves, Steve (Springer, Berlin, 2004)
    This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the context of discrete event systems, where two ...
  • Kalnins, Ernie G.; Kress, Jonathan M. (IOP Publishing, 2010)
    We describe a method for determining a complete set of integrals for a classical Hamiltonian that separates in orthogonal subgroup coordinates. As examples, we use it to determine complete sets of integrals, polynomial in ...
  • Buchwald, Fabian; Girschick, Tobias; Kramer, Stefan; Frank, Eibe (Association for the Advancement of Artificial Intelligence, 2010)
    Many methods for quantitative structure-activity relationships (QSARs) deliver point estimates only, without quantifying the uncertainty inherent in the prediction. One way to quantify the uncertainy of a QSAR prediction ...
  • Peeters, Ross; Smith, Tony C. (1997)
    The best general-purpose compression schemes make their gains by estimating a probability distribution over all possible next symbols given the context established by some number of previous symbols. Such context models ...
  • Craig, Ian J.D. (1993)
    The magnetic reconnection that occurs during the nonlinear development of the coalescence instability is considered. The structure of the reconnection region at the time of maximum current as a function of the resistivity ...
  • Watson, P.G.; Craig, Ian J.D. (2003)
    Numerical simulations of highly nonlinear magnetic reconnection provide evidence of ultrathin current microsheets. These small-scale sheets are formed by strong exhaust jets from a primary large-scale current layer. The ...
  • Bifet, Albert; Holmes, Geoffrey; Pfahringer, Bernhard; Frank, Eibe (Springer Berlin, 2010)
    Mining of data streams must balance three evaluation dimensions: accuracy, time and memory. Excellent accuracy on data streams has been obtained with Naive Bayes Hoeffding Trees—Hoeffding Trees with naive Bayes models at ...
  • Reeves, Steve; Streader, David (IEEE Computer Society, 2007)
    Development by formal stepwise refinement offers a guarantee that an implementation satisfies a specification. But refinement is frequently defined in such a restrictive way as to disallow some useful development steps. ...
  • Hall, Mark A. (1999)
    Algorithms for feature selection fall into two broad categories: wrappers use the learning algorithm itself to evaluate the usefulness of features, while filters evaluate features according to heuristics based on general ...
  • Holmes, Geoffrey; Nevill-Manning, Craig G. (University of Waikato, Department of Computer Science, 1995)
    It has been our experience that in order to obtain useful results using supervised learning of real-world datasets it is necessary to perform feature subset selection and to perform many experiments using computed aggregates ...
  • Hall, Mark A.; Smith, Lloyd A. (Springer, 1997)
    Recent work has shown that feature subset selection can have a position affect on the performance of machine learning algorithms. Some algorithms can be slowed or their performance adversely affected by too much data some ...
  • Bainbridge, David; Witten, Ian H. (ACM, 2008)
    The Fedora content management system embodies a powerful and flexible digital object model. This paper describes a new open-source software front-end that enables end-user librarians to transfer documents and metadata in ...
  • Cunningham, Sally Jo; Bainbridge, David; McKay, Dana (2007)
    This paper explores how we, as individuals, purposefully or serendipitously encounter 'new music' (that is, music that we haven’t heard before) and relates these behaviours to music information retrieval activities such ...
  • Cunningham, Sally Jo; Nichols, David M. (2008)
    At present very little is known about how people locate and view videos. This study draws a rich picture of everyday video seeking strategies and video information needs, based on an ethnographic study of New Zealand ...
  • Mohajerani, Sahar; Malik, Robi; Fabian, Martin (University of Waikato, Department of Computer Science, 2012)
    This working paper investigates under which conditions transitions can be removed from an automaton while preserving important synthesis properties. The work is part of a framework for compositional synthesis of least ...
  • Litvinenko, Yuri E.; Craig, Ian J.D. (2000)
    The power output of flux pile-up magnetic reconnection is known to be determined by the total hydromagnetic pressure outside the current sheet. The maximum energy-release rate is reached for optimized solutions that balance ...
  • Broughan, Kevin A.; Zhou, Qizhi (2010)
    A number is called upper (lower) flat if its shift by +1 ( −1) is a power of 2 times a squarefree number. If the squarefree number is 1 or a single odd prime then the original number is called upper (lower) thin. Upper ...
  • Reeves, Steve; Streader, David (2007)
    To help make refinement more usable in practice we introduce a general, flexible model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those ...
  • Litvinenko, Yuri E.; Schlickeiser, R. (2011)
    The Fokker–Planck equation for cosmic-ray particles in a spatially varying guide magnetic field in a turbulent plasma is analyzed. An expression is derived for the mean rate of change of particle momentum, caused by the ...

Search Research Commons


Advanced Search

Browse

Theses

About Research Commons

My Account

Usage Statistics