Research Commons

Browsing Computing and Mathematical Sciences by Issue Date

Research Commons

Browsing Computing and Mathematical Sciences by Issue 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 ...
  • 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 ...
  • Akram, Raja Naeem; Ko, Ryan K.L. (Institute of Electrical and Electronics Engineers Inc., 2015)
    One of the most crucial components of modern Information Technology (IT) systems is data. It can be argued that the majority of IT systems are built to collect, store, modify, communicate and use data, enabling different ...
  • Akram, Raja Naeem; Ko, Ryan K.L. (IEEE Computer Society, 2015)
    Along with the invention of computers and interconnected networks, physical societal notions like security, trust, and privacy entered the digital environment. The concept of digital environments begins with the trust ...
  • 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 ...
  • 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- ...
  • Emslie, A. Gordon; Holman, Gordon D.; Litvinenko, Yuri E. (Institute of Physics Publishing, 2014)
    Electrons accelerated in solar flares are injected into the surrounding plasma, where they are subjected to the influence of collisional (Coulomb) energy losses. Their evolution is modeled by a partial differential equation ...
  • 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 ...
  • Matthaeus, William H.; Oughton, Sean; Osman, Kareem T.; Servidio, Sergio; Wan, Minping; Gary, S.P.; Shay, M.A.; Valentini, F.; Roytershteyn, V.; Karimabadi, H.; Chapman, S.C. (American Astronomical Society, 2014)
    The application of linear kinetic treatments to plasma waves, damping, and instability requires favorable inequalities between the associated linear timescales and timescales for nonlinear (e.g., turbulence) evolution. In ...
  • Jung, Yoonsuh; Huang, Jianhua; Hu, Jianhua (Taylor & Francis, 2014)
    In genome-wide association studies, the primary task is to detect biomarkers in the form of Single Nucleotide Polymorphisms (SNPs) that have nontrivial associations with a disease phenotype and some other important ...
  • 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 ...
  • 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 ...
  • Cunningham, Sally Jo; Nichols, David M. (2014)
    As researchers retire or pass away, the online record of their work and their research careers begins to fragment and fade away. We begin with case studies of four New Zealand Humanities researchers, nearing or at the ends ...
  • Cunningham, Sally Jo; Nichols, David M.; Bainbridge, David; Ali, Hasan (ISMIR, 2014)
    This paper builds an understanding of how music is currently experienced by a social group travelling together in a car - how songs are chosen for playing, how music both reflects and influences the group’s mood and social ...
  • Litvinenko, Yuri E.; Effenberger, Frederic (The American Astronomical Society, 2014)
    Motivated by recent applications of superdiffusive transport models to shock-accelerated particle distributions in the heliosphere, we analytically solve a one-dimensional fractional diffusion-advection equation for the ...
  • Downie, J. Stephen; Hu, Xiao; Lee, Jin Ha; Choi, Kahyun; Cunningham, Sally Jo; Hao, Yun (ISMIR, 2014)
    The Music Information Retrieval Evaluation eXchange (MIREX) has been run annually since 2005, with the October 2014 plenary marking its tenth iteration. By 2013, MIREX has evaluated approximately 2000 individual music ...
  • Fichtner, Horst; Scherer, Klaus; Effenberger, Frederic; Zönnchen, Jochen; Schwadron, Nathan; McComas, David J. (2014)
    Context. A new hypothesis is offered to explain the so-called ribbon feature appearing in the all-sky flux maps of energetic neutral atoms presently observed with the IBEX spacecraft, namely that the ribbon is a consequence ...
  • 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 ...