Research Commons

Browsing Computing and Mathematical Sciences by Submit Date

Research Commons

Browsing Computing and Mathematical Sciences by Submit Date

Sort by: Order: Results:

  • 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 ...
  • Akram, Raja N.; Markantonakis, K (2013)
    The evolution of smart card technology provides an interesting case study of the relationship and interactions between security and business requirements. This paper maps out the milestones for smart card technology, ...
  • Osborn, Wendy; Hinze, Annika (Australian Computer Society Inc, 2012)
    We present a framework for efficient, uniform, location-based access to digital library collections that are external to a context-aware mobile information system. Using a tourist Information system, we utilize a spatial ...
  • Durrant, Robert J.; Kabán, Ata (Springer Verlag, 2014)
    We prove theoretical guarantees for an averaging-ensemble of randomly projected Fisher linear discriminant classifiers, focusing on the casewhen there are fewer training observations than data dimensions. The specific form ...
  • Durrant, Robert J.; Kaban, Ata (JMLR, 2013)
    We examine the performance of an ensemble of randomly-projected Fisher Linear Discriminant classifiers, focusing on the case when there are fewer training observations than data dimensions. Our ensemble is learned from a ...
  • Fateman, Richard J.; Broughan, Kevin A.; Willcock, Diane K.; Rettig, Duane (1995)
    Lisp, one of the oldest higher-level programming languages, has rarely been used for fast numerical (floatingpoint) computation. We explore the benefits of Common Lisp, an emerging new language standard with some excellent ...
  • Žliobaitė, Indrė; Bifet, Albert; Read, Jesse; Pfahringer, Bernhard; Holmes, Geoffrey (Springer, 2014)
    Predictive modeling on data streams plays an important role in modern data analysis, where data arrives continuously and needs to be mined in real time. In the stream setting the data distribution is often evolving over ...
  • Bowen, Judith Alyson; Cunningham, Sally Jo; Hinze, Annika; Jung, Doris; Reeves, Steve (Department of Computer Science, The University of Waikato, 2014)
    This position paper outlines our approach to improve the usage choice of suitable devices in different health care environments (contexts). Safety-critical medical devices are presumed to have undergone a thorough ...