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:

  • Mohajerani, Sahar; Malik, Robi; Fabian, Martin (Springer, 2016)
    This paper presents a framework for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results are improved to consider general conflict-equivalence ...
  • Jung, Yoonsuh (World Academy of Science, Engineering and technology, 2016)
    As DNA microarray data contain relatively small sample size compared to the number of genes, high dimensional models are often employed. In high dimensional models, the selection of tuning parameter (or, penalty parameter) ...
  • Jung, Yoonsuh; Lee, Seung Pil; Hu, Jianhua (2016)
    Outlying observations are often disregarded at the sacrifice of degrees of freedom or downsized via robust loss functions (e.g., Huber's loss) to reduce the undesirable impact on data analysis. In this article, we treat ...
  • Velásquez, Juan D.; Covacevich, Yerko; Molina, Francisco; Marrese-Taylor, Edison; Rodríguez, Cristián; Bravo-Marquez, Felipe (Elsevier, 2016)
    Plagiarism refers to the act of presenting external words, thoughts, or ideas as one’s own, without providing references to the sources from which they were taken. The exponential growth of different digital document sources ...
  • Masoodian, Masood; Mohd Yusof, Azmi Bin; Rogers, Bill (Oxford Journals, 2016)
    Creating complex 3D models is a challenging process. One of the main reasons for this is that 3D models are usually created using software developed for conventional 2D displays which lack true depth perspective, and ...
  • Mayo, M; Daoud, M (Elsevier, 2016)
    Correct placement of turbines in a wind farm is a critical issue in wind farm design optimisation. While traditional "trial and error"-based approaches suffice for small layouts, automated approaches are required for larger ...
  • Read, Jesse; Reutemann, Peter; Pfahringer, Bernhard; Holmes, Geoff (2016)
    Multi-label classification has rapidly attracted interest in the machine learning literature, and there are now a large number and considerable variety of methods for this type of learning. We present MEKA: an open-source ...
  • Robins, Judith H.; Miller, Steven D.; Russell, James C.; Harper, Grant A.; Fewster, Rachel M. (New Zealand Ecological Society, 2016)
    The ship rat invasion of Big South Cape Island/Taukihepa in the 1960s was an ecological catastrophe that marked a turning point for the management of rodents on offshore islands of New Zealand. Despite the importance of ...
  • Laughlin, Daniel C.; Joshi, Chaitanya (Elsevier, 2015)
    Every species on Earth fills a unique environmental niche that is driven, in part, by the process of environmental filtering, where the adaptive value of the functional traits of individuals determine their fitness within ...
  • Laing, Simon; Masoodian, Masood (Wiley-Blackwell, 2015)
    Existing computer technologies poorly support the ideation phase common to graphic design practice. Finding and indexing visual material to assist the process of ideation often fall on the designer, leading to user experiences ...
  • Britz, Thomas; Cavenagh, Nicholas J.; Sørensen, Henrik Kragh (Electronic Journal of Combinatorics, 2015)
    We prove that each maximal partial Latin cube must have more than 29.289% of its cells filled and show by construction that this is a nearly tight bound. We also prove upper and lower bounds on the number of cells containing ...
  • 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 ...
  • Cavenagh, Nicholas J. (Electronic Journal of Combinatorics, 2015)
    Let G be an even bipartite graph with partite sets X and Y such that |Y | is even and the minimum degree of a vertex in Y is at least 95|X|/96. Suppose furthermore that the number of edges in G is divisible by 4. Then G ...
  • Litvinenko, Yuri E.; Wheatland, M.S. (The American Astronomical Society, 2015)
    Disintegration of sunspots (and starspots) by fluxtube erosion, originally proposed by Simon and Leighton, is considered. A moving boundary problem is formulated for a nonlinear diffusion equation that describes the sunspot ...
  • Delbourgo, Daniel; Peters, Lloyd (Cambridge University Press, 2015)
    For the (d+1)-dimensional Lie group G=Z×pZp⊕d we determine through the use of p-power congruences a necessary and sufficient set of conditions whereby a collection of abelian L-functions arises from an element in K₁Zp[G]. ...
  • 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 ...
  • 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 ...
  • Delamore, Baden; Ko, Ryan K.L. (Institute of Electrical and Electronics Engineers Inc., 2015)
    The reliance on Web applications has increased rapidly over the years. At the same time, the quantity and impact of application security vulnerabilities have grown as well. Amongst these vulnerabilities, SQL Injection has ...
  • Wu, Shaoqun; Witten, Ian H. (2015)
    Differentiating between words like look, see and watch, injury and wound, or broad and wide presents great challenges to language learners because it is the collocates of these words that reveal their different shades of ...