Research Articles (Mathematical Sciences)

SUNScholar Research Repository

Research Articles (Mathematical Sciences)

 

Recent Submissions

  • Ramanantoanina, Andriamihaja   Ouhinou, Aziz   Hui, Cang (Public Library of Science, 2014-08)
    Abstract Range expansion of spreading organisms has been found to follow three types: (i) linear expansion with a constant rate of spread; (ii) bi-phase expansion with a faster linear expansion following a slower linear ...
  • Bordini, Rafael H.   Fisher, Michael   Wooldridge, Michael   Visser, Willem (IEEE - -Institute of Electrical and Electronics Engineers, 2004-10)
    Agent-oriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing model-checking techniques for ...
  • Bordini, Rafael H.   Fisher, Michael   Wooldridge, Michael   Visser, Willem (Oxford University Press (OUP), 2009-12)
    Programming languages designed specifically for multi-agent systems represent a new programming paradigm that has gained popularity over recent years, with some multi-agent programming languages being used in increasingly ...
  • Pasareanu, Corina S.   Visser, Willem (Springer Verlag, 2009-10)
    Symbolic execution is a well-known program analysis technique which represents program inputs with symbolic values instead of concrete, initialized, data and executes the program by manipulating program expressions involving ...
  • Dreijer, Janto F.   Herbst, Ben M.   Du Preez, Johan A. (BioMed Central, 2013-07)
    Background: This paper considers automatic segmentation of the left cardiac ventricle in short axis magnetic resonance images. Various aspects, such as the presence of papillary muscles near the endocardium border, makes ...
  • Murrell, Ben   Weighill, Thomas   Buys, Jan   Ketteringham, Robert   Moola, Sasha   Benade, Gerdus   du Buisson, Lise   Kaliski, Daniel   Hands, Tristan   Scheffler, Konrad (PLOS, 2011-12-22)
    Models of protein evolution currently come in two flavors: generalist and specialist. Generalist models (e.g. PAM, JTT, WAG) adopt a one-size-fits-all approach, where a single model is estimated from a number of different ...
  • Delport, Wayne   Scheffler, Konrad   Botha, Gordon   Gravenor, Mike B.   Muse, Spencer V.   Pond, Sergei L. Kosakovsky (PLOS Computational Biology, 2010-08)
    Codon models of evolution have facilitated the interpretation of selective forces operating on genomes. These models, however, assume a single rate of non-synonymous substitution irrespective of the nature of amino acids ...
  • Murrell, Ben   De Oliveira, Tulio   Seebregts, Chris   Pond, Sergei L. Kosakovsky   Scheffler, Konrad (PLOS Computational Biology, 2011-05)
    The evolution of substitutions conferring drug resistance to HIV-1 is both episodic, occurring when patients are on antiretroviral therapy, and strongly directional, with site-specific resistant residues increasing in ...
  • Kosakovsky Pond, Sergei   Delport, Wayne   Muse, Spencer V.   Scheffler, Konrad (Public Library of Science -- PLOS, 2010-07)
    Markov models of codon substitution are powerful inferential tools for studying biological processes such as natural selection and preferences in amino acid substitution. The equilibrium character distributions of these ...
  • Bartlett, Bruce (Springer Link, 2011-02)
    Motivated by topological quantum field theory, we investigate the geometric aspects of unitary 2-representations of finite groups on 2-Hilbert spaces, and their 2-characters. We show how the basic ideas of geometric ...
  • Maritz, Pieter   Mouton, Sonja (Springer, 2012-09)
    In 1852, in London, Francis Guthrie posed the question of colouring a map with four colours only, the question that eventually became known as the Four Colour Problem. The problem is famous, but what else do we know of ...
  • Adaricheva, Kira   Wild, Marcel (Elsevier, 2010-01)
    The Edelman-Jamison problem is to characterize those abstract convex geometries that are representable by a set of points in the plane. We show that some natural modification of the Edelman-Jamison problem is equivalent ...
  • Wild, Marcel (Society for Industrial and Applied Mathematics (SIAM), 2006-08)
    The asymptotic number of nonequivalent binary n-codes is determined. This is also the asymptotic number of nonisomorphic binary matroids on n elements.
  • Pantland, N. A.   Van Vuuren, J. H. (AOSIS OpenJournal, 2006)
    Kuslande het ’n eenmalige geleentheid om by die Verenigde Nasies (VN) aansoek te doen om ’n uitgebreide maritieme gebied, indien hul wetenskaplik kan toon dat die voet van die kontinentale helling (VKH) buite hul soewereine ...
  • Wagner, Stephan   Wild, Marcel (Elsevier, 2012-02)
    The problem of finding edge-disjoint trees in a hypercube arises for example in the context of parallel computing [3]. Independently of applications it is of high aesthetic appeal. The hypercube of dimension n, denoted ...
  • Wild, Marcel (Edizioni CERFIM Centro di Ricerche in Fisica e MatematicaResearch Center for Mathematics and Physics - Locarno - Switzerland, 2000)
    see item for abstract
  • Breuer, Florian (Walter de Gruyter, 2010-11)
    We explore an analogue of the Andr´e-Oort conjecture for subvarieties of Drinfeld modular varieties. The conjecture states that a subvariety X of a Drinfeld modular variety contains a Zariski-dense set of complex ...
  • Wagner, Stephan   Wild, Marcel (TU Graz University of Technology, 2011)
    ENGLISH ABSTRACT: The problem of finding edge-disjoint trees in a hypercube e.g. arises in the context of parallel computing. Independent of applications it is of high aesthetic appeal.
  • Wild, Marcel (Cornell University Library, 2010)
    ENGLISH ABSTRACT: The majority of nonlinear filters used in practise are stack filters. An algorithm is presented which calculates the output distribution of an arbitrary stack filter S from the disjunctive normal form ...
  • Anguelov, R.   Butler, P. W.   Rohwer, C. H.   Wild, Marcel (Cornell University Library, 2011)
    ENGLISH ABSTRACT: Two procedures to compute the output distribution 0S of certain stack filters S (so called erosion-dilation cascades) are given. One rests on the disjunctive normal form of S and also yields the rank ...