• Compactly generating all satisfying truth assignments of a horn formula 

      Wild, Marcel (Delft University in cooperation with IOS Press, 2012-01)
      ENGLISH ABSTRACT: While it was known that all models of a Horn formula can be generated in outputpolynomial time, here we present an explicit algorithm as opposed to the rather vague oracle-scheme suggested in the proof ...
    • A comparison of elasticities of viral levels to specific immune response mechanisms in human immunodeficiency virus infection 

      Showa, Sarudzai P.; Nyabadza, Farai; Hove-Musekwa, Senelani D.; Magombedze, Gesham (BioMed Central, 2014-10)
      Background The presence of an asymptomatic phase in an HIV infection indicates that the immune system can partially control the infection. Determining the immune mechanisms that contribute significantly to the partial ...
    • Computational and theoretical analysis of human diseases associated with infectious pathogens 

      Noutchie, Suares Clovis Oukouomi; Kwuimy, Cedrick Aurelien Kitio; Tewa, Jean Jules; Nyabadza, Farai; Bildik, Necdet (Hindawi, 2015)
      Mathematical models and computer simulations are useful experimental tools for building and testing theories, assessing quantitative conjectures, answering specific questions, determining sensitivities to changes in parameter ...
    • Computing the output distribution of a stack filter from the DNF of its positive Boolean function 

      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 ...
    • Computing various types of lattices freely generated by posets 

      Wild, Marcel (Edizioni CERFIM Centro di Ricerche in Fisica e MatematicaResearch Center for Mathematics and Physics - Locarno - Switzerland, 2000)
      see item for abstract
    • Correcting the bias of empirical frequency parameter estimators in codon models 

      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 ...
    • Decomposing the hypercube Qn into n isomorphic edge-disjoint trees 

      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 ...
    • Detecting individual sites subject to episodic diversifying selection 

      Murrell, Ben; Wertheim, Joel O.; Moola, Sasha; Weighill, Thomas; Scheffler, Konrad; Pond, Sergei L. Kosakovsky (Public Library of Science, 2012-07-02)
      The imprint of natural selection on protein coding genes is often difficult to identify because selection is frequently transient or episodic, i.e. it affects only a subset of lineages. Existing computational techniques, ...
    • The development of a spatio-temporal model for water hyacinth biological control strategies 

      Van Schalkwyk, Helene; Potgieter, Linke; Hui, Cang (University of Georgia, 2016)
      A reaction-diffusion model for a temporally variable and spatially heterogeneous environment is developed to mathematically describe the spatial dynamics of water hyacinth and the interacting populations of the various ...
    • Effects of agricultural intensification on ability of natural enemies to control aphids 

      Zhao, Zi-Hua; Hui, Cang; He, Da-Han; Li, Bai-Lian (Springer Nature, 2015-01-26)
      Agricultural intensification through increasing fertilization input and cropland expansion has caused rapid loss of semi-natural habitats and the subsequent loss of natural enemies of agricultural pests. It is however extremely ...
    • Entropy generation in a couple stress fluid flow through a vertical channel filled with saturated porous media 

      Makinde, Oluwole Daniel; Eegunjobi, Adetayo Samuel (MDPI, 2013-10-25)
      The present work investigates numerically the inherent irreversibility in a steady flow of a couple stress fluid through a vertical channel packed with saturated porous substances. The First and Second Laws of Thermodynamics ...
    • Evolutionary fields can explain patterns of high-dimensional complexity in ecology 

      Wilsenach, James; Landi, Pietro; Hui, Cang (American Physical Society, 2017)
      One of the properties that make ecological systems so unique is the range of complex behavioral patterns that can be exhibited by even the simplest communities with only a few species. Much of this complexity is commonly ...
    • Francis Guthrie : a colourful life 

      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 ...
    • Frequent toggling between alternative amino acids Is driven by selection in HIV-1 

      Delport, Wayne; Scheffler, Konrad; Seoighe, Cathal (Public Library of Science, 2008)
      Host immune responses against infectious pathogens exert strong selective pressures favouring the emergence of escape mutations that prevent immune recognition. Escape mutations within or flanking functionally conserved ...
    • A general method for parameter estimation in light-response models 

      Chen, Lei; Li, Zhong-Bin; Hui, Cang; Cheng, Xiaofei; Li, Bai-Lian; Shi, Pei-Jian (Springer Nature, 2016)
      Selecting appropriate initial values is critical for parameter estimation in nonlinear photosynthetic light response models. Failed convergence often occurs due to wrongly selected initial values when using currently ...
    • A geometrical model for testing bilateral symmetry of bamboo leaf with a simplified Gielis equation 

      Lin, Shuyan; Zhang, Li; Reddy, Gadi V. P.; Hui, Cang; Gielis, Johan; Ding, Yulong; Shi, Peijian (Wiley Open Access, 2016)
      The size and shape of plant leaves change with growth, and an accurate description of leaf shape is crucial for describing plant morphogenesis and development. Bilateral symmetry, which has been widely observed but poorly ...
    • The geometry of unitary 2-representations of finite groups and their 2-characters 

      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 ...
    • Global stability analysis and control of leptospirosis 

      Okosun, Kazeem Oare; Mukamuri, M.; Makinde, Daniel Oluwole (De Gruyter Open, 2016)
      The aim of this paper is to investigate the effectiveness and cost-effectiveness of leptospirosis control measures, preventive vaccination and treatment of infective humans that may curtail the disease transmission. ...
    • Growing and destroying Catalan–Stanley trees 

      Hack, Benjamin; Prodinger, Helmut (Discrete Mathematics and Theoretical Computer Science, 2018)
      Stanley lists the class of Dyck paths where all returns to the axis are of odd length as one of the many objects enumerated by (shifted) Catalan numbers. By the standard bijection in this context, these special Dyck paths ...
    • Handling uncertainty in a court of law 

      Muller, M. A. (Stellenbosch Law Review : Juta Law, 2012)
      The ability to analyse uncertainty does not reside within most people's experience. Certain fallacies frequently appear. An important example is the so-called prosecutor's fallacy. It is a specific error of logic commonly ...