Research Commons

Browsing Computing and Mathematical Sciences by Submit Date

Research Commons

Browsing Computing and Mathematical Sciences by Submit Date

Sort by: Order: Results:

  • 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, ...
  • Ko, Ryan K.L.; Tan, Alan Y.S.; Ng, Grace P.Y. (IEEE, 2014)
    The current pay-per-use model adopted by public cloud service providers has influenced the perception on how a cloud should provide its resources to end-users, i.e. on-demand and access to an unlimited amount of resources. ...
  • Mohajerani, Sahar; Malik, Robi; Fabian, Martin (IFAC, 2014)
    This paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation ...
  • Tan, Alan Y.S.; Ko, Ryan K.L.; Mendiratta, Veena (IEEE, 2014)
    Knowing the number of virtual machines (VMs) that a cloud physical hardware can (further) support is critical as it has implications on provisioning and hardware procurement. However, current methods for estimating the ...