• Model checking rational agents 

      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 ...
    • Modeling HIV-1 drug resistance as episodic directional selection 

      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 ...
    • Modelling the potential role of media campaigns in ebola transmission dynamics 

      Njankou, Sylvie Diane Djiomba; Nyabadza, Farai (Hindawi Publishing Corporation, 2017)
      A six-compartment mathematical model is formulated to investigate the role of media campaigns in Ebola transmission dynamics. The model includes tweets or messages sent by individuals in different compartments. The media ...
    • Modelling the role of correctional services on gangs : insights through a mathematical model 

      Nyabadza, F.; Ogbogbo, C. P.; Mushanyu, J. (Royal Society, 2017)
      Research has shown that gang membership increases the chances of offending, antisocial behaviour and drug use. Gang membership should be acknowledged as part of crime prevention and policy designs, and when developing ...
    • Modelling the South African fruit export infrastructure : a case study 

      Ortmann, F. G.; Van Vuuren, J. H.; Van Dyk, F. E. (Operations Research Society of South Africa, 2006)
      A description is provided of work performed as part of the fruit logistics infrastructure project commissioned by the South African Deciduous Fruit Producers’ Trust and coordinated by the South African Council for ...
    • Modelling the trends of inpatient and outpatient rehabilitation for methamphetamine in the Western Cape province of South Africa 

      Mushanyu, J.; Nyabadza, F.; Stewart, A. G. R. (BioMed Central, 2015-12-18)
      Background: Dependence on methamphetamine remains one of the major health and social problem in the Western Cape province of South Africa. We consider a mathematical model that takes into account two forms of rehabilita ...
    • Niche construction on environmental gradients : the formation of fitness valley and stratified genotypic distributions 

      Han, Xiaozhuo; Hui, Cang (PLoS, 2014-06-10)
      The process of niche construction can alter the trajectory of natural selection through organism-environment feedback. As such, the mechanism and impact of niche construction can be better investigated along environmental ...
    • No evidence for extensions to the standard cosmological model 

      Heavens, Alan; Fantaye, Yabebal; Sellentin, Elena; Eggers, Hans; Hosenie, Zafiirah; Kroon, Steve; Mootoovaloo, Arrykrishna (American Physical Society, 2017)
      We compute the Bayesian evidence for models considered in the main analysis of Planck cosmic microwave background data. By utilizing carefully defined nearest-neighbor distances in parameter space, we reuse the Monte Carlo ...
    • Non-Negative Matrix Factorization for Learning Alignment-Specific Models of Protein Evolution 

      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 ...
    • On new high order quasilinearization approaches to the nonlinear model of catalytic reaction in a flat particle 

      Motsa, S. S.; Makinde, O. D.; Shateyi, S. (Hindawi Publishing Corporation, 2013)
      A novel computational approach known as pseudospectral quasilinearization (SQLM) is employed to tackle the two-point boundary value problem describing the reactivity behaviour of porous catalyst particles subject to both ...
    • On the transmission dynamics of Buruli ulcer in Ghana : insights through a mathematical model 

      Nyabadza, Farai; Bonyah, Ebenezer (BioMed Central, 2015-11-06)
      Background: Mycobacterium ulcerans is know to cause the Buruli ulcer. The association between the ulcer and environmental exposure has been documented. However, the epidemiology of the ulcer is not well understood. ...
    • On the validity of evolutionary models with site-specific parameters 

      Scheffler, Konrad; Murrell, Ben; Pond, Sergei L. Kosakovsky (PLoS, 2014-04-10)
      Evolutionary models that make use of site-specific parameters have recently been criticized on the grounds that parameter estimates obtained under such models can be unreliable and lack theoretical guarantees of convergence. ...
    • An optimal proportion of mixing broad-leaved forest for enhancing the effective productivity of moso bamboo 

      Cheng, Xiao-Fei; Shi, Pei-Jian; Hui, Cang; Wang, Fu-Sheng; Liu, Guo-Hua; Li, Bai-Lian (John Wiley & Sons Ltd., 2015-03-17)
      Moso bamboos (Phyllostachys edulis) are important forestry plants in southern China, with substantial roles to play in regional economic and ecological systems. Mixing broad-leaved forests and moso bamboos is a common ...
    • Partitioning the hypercube Qn into n isomorphic edge-disjoint trees 

      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.
    • Paths vs. stars in the local prole of trees 

      Czabarka, Eva; Szekely, Laszlo A.; Wagner, Stephan (Electronic Journal of Combinatorics, 2017)
      The aim of this paper is to provide an affirmative answer to a recent question by Bubeck and Linial on the local profile of trees.
    • Population dynamics and associated factors of cereal aphids and armyworms under global change 

      Wang, Leyun; Hui, Cang; Sandhu, Hardev S.; Li, Zhihong; Zhao, Zihua (Springer Nature, 2015-12-22)
      Studying the impacts of global change, which comprises largely climate and landscape changes, on agricultural pests is crucial for developing sustainable pest management. This research is focused on understanding the ...
    • Property-based slicing for agent verification 

      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 ...
    • Protection number in plane trees 

      Heuberger, Clemens; Prodinger, Helmut (University of Belgrade - School of Electrical Engineering, 2017-10)
      The protection number of a plane tree is the minimal distance of the root to a leaf; this definition carries over to an arbitrary node in a plane tree by considering the maximal subtree having this node as a root. We ...
    • Realization of abstract convex geometries by point configurations 

      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 ...
    • Representing derivatives of Chebyshev polynomials by Chebyshev polynomials and related questions 

      Prodinger, Helmut (De Gruyter, 2017)
      A recursion formula for derivatives of Chebyshev polynomials is replaced by an explicit formula. Similar formulae are derived for scaled Fibonacci numbers.