Research Commons

Browsing Computing and Mathematical Sciences Papers by Issue Date

Research Commons

Browsing Computing and Mathematical Sciences Papers by Issue Date

Sort by: Order: Results:

  • Mayo, Michael; Sun, Quan (IEEE, 2014)
    Differential Evolution can be used to construct effective and compact artificial training datasets for machine learning algorithms. In this paper, a series of comparative experiments are performed in which two simple ...
  • Bellamy, Jake; Hinze, Annika (University of Waikato, Department of Computer Science, 2013)
    This report goes over and details the progress of the 2013 COMP477 project “Augmenting Memory: The Digital Parrot on Mobile Devices” undertaken by Jake Bellamy and supervised by Annika Hinze at the University of Waikato. The ...
  • Fowke, Michael; Hinze, Annika; Heese, Ralf (University of Waikato, Department of Computer Science, 2013)
    This report covers the implementation of software that aims to identify document versions and se-mantically related documents. This is important due to the increasing amount of digital information. Key criteria were that ...
  • Fowke, Michael; Hinze, Annika; Heese, Ralf (University of Waikato, Department of Computer Science, 2013)
    Document classification and provenance has become an important area of computer science as the amount of digital information is growing significantly. Organisations are storing documents on computers rather than in paper ...
  • Fowke, Michael; Hinze, Annika; Heese, Ralf (University of Waikato, Department of Computer Science, 2013)
    This research looks at the most appropriate similarity measure to use for a document classification problem. The goal is to find a method that is accurate in finding both semantically and version related documents. A ...
  • Zaicu, Alexandru Calin; Hinze, Annika (University of Waikato, Department of Computer Science, 2013)
    In this project we use an electronic rabbit called Karotz, created by French company Violet. The rabbits have the ability to connect autonomously to a WI-FI network. IN this project we use Karotz to record an audio log ...
  • Pilbrow, Colin (University of Waikato, Department of Computer Science, 2013)
    This report proposes to improve compositional nonblocking verification through the use of two special event types: always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts ...
  • Utting, Mark; Weng, Min-Hsien; Cleary, John G. (University of Waikato, Department of Computer Science, 2013)
    This paper introduces the JStar parallel programming language, which is a Java-based declarative language aimed at discouraging sequential programming, en-couraging massively parallel programming, and giving the compiler ...
  • Cleary, John G.; Utting, Mark; Clayton, Roger (University of Waikato, Department of Computer Science, 2013)
    It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and ...
  • Apperley, Mark; Rogers, Bill (University of Waikato, Department of Computer Science, 2013)
    This paper presents a modified computer mouse, the Orienting Mouse, which delivers orientation as an additional dimension of input; when the mouse is moved on a flat surface it reports, in addition to the conventional x, ...
  • Reinhart, Florian; Schlieper, Kevin; Kugler, Michael; André, Elisabeth; Masoodian, Masood; Rogers, Bill (University of Waikato, Department of Computer Science, 2013)
    There is considerable global effort being made towards identifying ways of reducing energy consumption to cope with growing demands. Although there is potential for energy saving in many sectors, our focus is on reducing ...
  • Apperley, Mark; Alahmari, M. M. (University of Waikato, Department of Computer Science, 2013)
    The growing importance of batteries in the delivery of primary energy, for example in electric vehicles and isolated off-grid electricity systems, has added weight to the demand for simple and reliable measures of a battery’s ...
  • Mohajerani, Sahar; Malik, Robi; Fabian, Martin (University of Waikato, Department of Computer Science, 2013)
    This working paper describes a framework for compositional supervisor synthesis, which is applicable to all discrete event systems modelled as a set of deterministic automata. Compositional synthesis exploits the modular ...
  • Sun, Quan; Pfahringer, Bernhard (Springer-Verlag, 2013)
    In this paper, we present a novel meta-feature generation method in the context of meta-learning, which is based on rules that compare the performance of individual base learners in a one-against-one manner. In addition ...
  • Cunningham, Sally Jo; Alqurashi, Hayat; Hinze, Annika; Vanderschantz, Nicholas; Timpany, Claire; Heese, Ralf (University of Waikato, Department of Computer Science, 2013)
    Library users should be conveniently interact with collections and be able to easily choose books of interest as they explore and browse a physical book collection. While there exists a growing body of naturalistic studies ...
  • Mohajerani, Sahar; Malik, Robi; Fabian, Martin (University of Waikato, Department of Computer Science, 2013)
    This working paper describes a framework for compositional nonblocking verification of reactive systems modelled as extended finite-state machines. The nonblocking property can capture the absence of livelocks and deadlocks ...
  • Medelyan, Olena; Manion, Steve; Broekstra, Jeen; Divoli, Anna; Huang, Anna-Lan; Witten, Ian H. (Springer-Verlag Berlin Heidelberg, 2013)
    We describe a new method for constructing custom taxonomies from document collections. It involves identifying relevant concepts and entities in text; linking them to knowledge sources like Wikipedia, DBpedia, Freebase, ...
  • Forman, Miriam A.; Wicks, Robert T.; Horbury, Timothy S.; Oughton, Sean (American Institute of Physics, 2013)
    Power spectra of the components of the magnetic field parallel (Pzz) and perpendicular (Pzz+Pyy) to the local mean magnetic field direction were determined by wavelet methods from Ulysses’ MAG instrument data during eighteen ...
  • Snodin, A. P.; Ruffolo, D.; Oughton, Sean; Servidio, Sergio; Matthaeus, William H. (2013)
    The random walk of magnetic field lines is examined numerically and analytically in the context of reduced magnetohydrodynamic (RMHD) turbulence, which provides a useful description of plasmas dominated by a strong mean ...
  • Kalnins, Ernie G.; Miller, W., Jr.; Post, Sarach (2013)
    We show explicitly that all 2nd order superintegrable systems in 2 dimensions are limiting cases of a single system: the generic 3-parameter potential on the 2-sphere, S9 in our listing. We extend the Wigner-Inönü method ...