Research Commons

Browsing Computing and Mathematical Sciences Papers by Submit Date

Research Commons

Browsing Computing and Mathematical Sciences Papers by Submit Date

Sort by: Order: Results:

  • Jackson, Marcel; Stokes, Tim E. (Elsevier, 2015)
    We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, if-then-else ...
  • Vanderschantz, Nicholas; Hinze, Annika; Cunningham, Sally Jo (ASIST, 2014)
    When children search for information on a given topic, how do they go about searching for and retrieving information? What can their information seeking strategies tell us about the development of search interfaces for ...
  • Apperley, Mark; Alahmari, Mohammed Mushabab (2014)
    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 ...
  • Liu, Huailiang; Leduc, Ryan J.; Malik, Robi; Ricker, S.L. (IEEE, 2014)
    Existing strategies for verifying co-observability, one of the properties that must be satisfied for synthesizing solutions to decentralized supervisory control problems, require the construction of the complete system ...
  • Ware, Simon; Malik, Robi (IEEE, 2014)
    This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired ...
  • Keegan, Te Taka Adrian Gregory; Mato, Paora James; Ruru, Stacey (Ngā Pae o te Māramatanga, 2015)
    Language revitalization theory suggests that one way to improve the health of a language is to increase the number of domains where the language is used. Social network platforms provide a variety of domains where indigenous- ...
  • Chang, Carole; Hinze, Annika; Bowen, Judith Alyson; Starkey, Nicola J. (IEEE, 2014)
    Augmented memory systems help people remember events in their lives. Individuals with Traumatic Brain Injury (TBI) often have memory impairments. We conducted a user study to learn about strategies individuals with TBI use ...
  • Jung, Yoonsuh; Hu, Jianhua (Taylor and Francis, 2015)
    Cross-validation (CV) type of methods have been widely used to facilitate model estimation and variable selection. In this work, we suggest a new K-fold CV procedure to select a candidate ‘optimal’ model from each hold-out ...
  • Fitzgerald, Alannah; Wu, Shaoqun; Barge, Martin (Research-publishing.net, 2014)
    With this research and design paper, we are proposing that Open Educational Resources (OERs) and Open Access (OA) publications give increasing access to high quality online educational and research content for the development ...
  • Fitzgerald, Alannah; Wu, Shaoqun; Marín, María José (Research-publishing.net, 2015)
    In this case study we present innovative work in building open corpus-based language collections by focusing on a description of the opensource multilingual Flexible Language Acquisition (FLAX) language project, which is ...
  • Masoodian, Masood; André, Elisabeth; Kugler, Michael; Reinhart, Florian; Rogers, Bill; Schlieper, Kevin (IARIA, 2014)
    With the ever-increasing worldwide demand for energy, and the limited available energy resources, there is a growing need to reduce our energy consumption whenever possible. Therefore, over the past few decades a range of ...
  • Ozoh, Patrick; Abd-Rahman, Shapiee; Labadin, Jane; Apperley, Mark (Department of Computer Science, The University of Waikato, 2014)
    This paper investigates the potential of applying different control measures on low power and high power appliances with the goal of evolving efficiency in electricity consumption. The research involves carrying out ...
  • Suppers, Joris; Apperley, Mark (Department of Computer Science, The University of Waikato, 2014)
    Visions of the Future, like the Jetsons cartoons, show homes which are smart and able to control household appliances, to make living easier and more comfortable. Although much research has been carried out into the ...
  • Turner, John C.; Rogers, Bill (2013)
    In this paper we give rules for creating a number triangle T in a manner analogous to that for producing Pascal's arithmetic triangle; but all of its elements belong to {0, 1}, and cycling of its rows is involved in the ...
  • Lester, Joanne L.; Wessels, Andrew L.; Jung, Yoonsuh (Oncology Nursing Society, 2014)
    Purpose/Objectives: To survey nurses about their knowledge of cancer survivorship care. Design: Descriptive, cross-sectional. Setting: Midwestern comprehensive cancer center. Sample: 223 registered and advanced ...
  • Yoo, Jae Suk; Kim, Joon Bum; Ro, Sun Kyun; Jung, Yoonsuh; Jung, Sung-Ho; Choo, Suk Jung; Lee, Jae Won; Chung, Cheol Hyun (The Japanese Circulation Society, 2014)
    Background: The clinical benefit of concomitant atrial fibrillation (AF) ablation at the time of aortic valve replacement (AVR) is uncertain. Methods and Results: A total of 124 patients with AF who underwent AVR with ...
  • Wu, Shaoqun; Fitzgerald, Alannah; Witten, Ian H. (SCITEPRESS, 2014)
    Massive Open Online Courses are becoming popular educational vehicles through which universities reach out to non-traditional audiences. Many enrolees hail from other countries and cultures, and struggle to cope with the ...
  • Ware, Simon; Malik, Robi; Mohajerani, Sahar; Fabian, Martin (Springer International Publishing, 2014)
    This paper proposes an abstraction method for compositional synthesis. Synthesis is a method to automatically compute a control program or supervisor that restricts the behaviour of a given system to ensure safety and ...
  • Joshi, Chaitanya; Brown, Paul T.; Laughlin, Daniel C. (International Statistical Institute, 2013)
    The motivation for this paper comes from a recent study which indicated that the influence of environmental filtering should increase with decreasing soil fertility, based on the premise that individuals will employ a ...
  • Ko, Ryan K.L.; Will, Mark A. (IEEE, 2014)
    Cloud data provenance, or "what has happened to my data in the cloud", is a critical data security component which addresses pressing data accountability and data governance issues in cloud computing systems. In this paper, ...