scispace - formally typeset
Search or ask a question

Showing papers in "Journal of Mathematical Biology in 2007"


Journal ArticleDOI
TL;DR: It is demonstrated that FR3D finds all occurrences, both local and composite and with nucleotide substitutions, of sarcin/ricin and kink-turn motifs in the 23S and 5S ribosomal RNA 3D structures of the H. marismortui 50S ribOSomal subunit and assigns the lowest discrepancy scores to bona fide examples of these motifs.
Abstract: New methods are described for finding recurrent three-dimensional (3D) motifs in RNA atomic-resolution structures. Recurrent RNA 3D motifs are sets of RNA nucleotides with similar spatial arrangements. They can be local or composite. Local motifs comprise nucleotides that occur in the same hairpin or internal loop. Composite motifs comprise nucleotides belonging to three or more different RNA strand segments or molecules. We use a base-centered approach to construct efficient, yet exhaustive search procedures using geometric, symbolic, or mixed representations of RNA structure that we implement in a suite of MATLAB programs, “Find RNA 3D” (FR3D). The first modules of FR3D preprocess structure files to classify base-pair and -stacking interactions. Each base is represented geometrically by the position of its glycosidic nitrogen in 3D space and by the rotation matrix that describes its orientation with respect to a common frame. Base-pairing and base-stacking interactions are calculated from the base geometries and are represented symbolically according to the Leontis/Westhof basepairing classification, extended to include base-stacking. These data are stored and used to organize motif searches. For geometric searches, the user supplies the 3D structure of a query motif which FR3D uses to find and score geometrically similar candidate motifs, without regard to the sequential position of their nucleotides in the RNA chain or the identity of their bases. To score and rank candidate motifs, FR3D calculates a geometric discrepancy by rigidly rotating candidates to align optimally with the query motif and then comparing the relative orientations of the corresponding bases in the query and candidate motifs. Given the growing size of the RNA structure database, it is impossible to explicitly compute the discrepancy for all conceivable candidate motifs, even for motifs with less than ten nucleotides. The screening algorithm that we describe finds all candidate motifs whose geometric discrepancy with respect to the query motif falls below a user-specified cutoff discrepancy. This technique can be applied to RMSD searches. Candidate motifs identified geometrically may be further screened symbolically to identify those that contain particular basepair types or base-stacking arrangements or that conform to sequence continuity or nucleotide identity constraints. Purely symbolic searches for motifs containing user-defined sequence, continuity and interaction constraints have also been implemented. We demonstrate that FR3D finds all occurrences, both local and composite and with nucleotide substitutions, of sarcin/ricin and kink-turn motifs in the 23S and 5S ribosomal RNA 3D structures of the H. marismortui 50S ribosomal subunit and assigns the lowest discrepancy scores to bona fide examples of these motifs. The search algorithms have been optimized for speed to allow users to search the non-redundant RNA 3D structure database on a personal computer in a matter of minutes.

266 citations


Journal ArticleDOI
TL;DR: It is demonstrated that it is possible to obtain closed-form analytic solutions for the probability mass and probability generating functions of this evolutionary counting process using an eigen decomposition of the infinitesimal generator, provided the latter is a diagonalizable matrix.
Abstract: Counting processes that keep track of labeled changes to discrete evolutionary traits play critical roles in evolutionary hypothesis testing. If we assume that trait evolution can be described by a continuous-time Markov chain, then it suffices to study the process that counts labeled transitions of the chain. For a binary trait, we demonstrate that it is possible to obtain closed-form analytic solutions for the probability mass and probability generating functions of this evolutionary counting process. In the general, multi-state case we show how to compute moments of the counting process using an eigen decomposition of the infinitesimal generator, provided the latter is a diagonalizable matrix. We conclude with two examples that demonstrate the utility of our results.

259 citations


Journal ArticleDOI
TL;DR: In this article, a diffuse interface model was developed for multi-component vesicle membranes with different lipid compositions and membranes with free boundary to simulate the deformation under the elastic bending energy and the line tension energy with prescribed volume and surface area constraints.
Abstract: Diffuse interface (phase field) models are developed for multi-component vesicle membranes with different lipid compositions and membranes with free boundary. These models are used to simulate the deformation of membranes under the elastic bending energy and the line tension energy with prescribed volume and surface area constraints. By comparing our numerical simulations with recent biological experiments, it is demonstrated that the diffuse interface models can effectively capture the rich phenomena associated with the multi-component vesicle transformation and thus offering great functionality in their simulation and modelling.

191 citations


Journal ArticleDOI
TL;DR: It is shown that one has to be careful when using observed exponential growth rates to derive an estimate of the basic reproduction number, and the discrepancies that arise are quantified.
Abstract: We investigate the merit of deriving an estimate of the basic reproduction number $$ \mathcal{R}_0 $$ early in an outbreak of an (emerging) infection from estimates of the incidence and generation interval only. We compare such estimates of $$ \mathcal{R}_0 $$ with estimates incorporating additional model assumptions, and determine the circumstances under which the different estimates are consistent. We show that one has to be careful when using observed exponential growth rates to derive an estimate of $$ \mathcal{R}_0 $$ , and we quantify the discrepancies that arise.

130 citations


Journal ArticleDOI
TL;DR: The Cannings exchangeable model for a finite population in discrete time is extended to incorporate selection and applications to evolutionary game theory in finite populations are presented.
Abstract: The Cannings exchangeable model for a finite population in discrete time is extended to incorporate selection. The probability of fixation of a mutant type is studied under the assumption of weak selection. An exact formula for the derivative of this probability with respect to the intensity of selection is deduced, and developed in the case of a single mutant. This formula is expressed in terms of mean coalescence times under neutrality assuming that the coefficient of selection for the mutant type has a derivative with respect to the intensity of selection that takes a polynomial form with respect to the frequency of the mutant type. An approximation is obtained in the case where this derivative is a continuous function of the mutant frequency and the population size is large. This approximation is consistent with a diffusion approximation under moment conditions on the number of descendants of a single individual in one time step. Applications to evolutionary game theory in finite populations are presented.

124 citations


Journal ArticleDOI
TL;DR: In this paper, the interplay between space and evolution is modeled as a trait competition between individuals within a given spatial interaction range, and a stochastic discrete model with birth, death, competition, mutation and spatial diffusion is considered.
Abstract: The interplay between space and evolution is an important issue in population dynamics, that is in particular crucial in the emergence of polymorphism and spatial patterns. Recently, biological studies suggest that invasion and evolution are closely related. Here we model the interplay between space and evolution starting with an individual-based approach and show the important role of parameter scalings on clustering and invasion. We consider a stochastic discrete model with birth, death, competition, mutation and spatial diffusion, where all the parameters may depend both on the position and on the trait of individuals. The spatial motion is driven by a reflected diffusion in a bounded domain. The interaction is modelled as a trait competition between individuals within a given spatial interaction range. First, we give an algorithmic construction of the process. Next, we obtain large population approximations, as weak solutions of nonlinear reaction-diffusion equations with Neumann's boundary conditions. As the spatial interaction range is fixed, the nonlinearity is nonlocal. Then, we make the interaction range decrease to zero and prove the convergence to spatially localized nonlinear reaction-diffusion equations, with Neumann's boundary conditions. Finally, simulations based on the microscopic individual-based model are given, illustrating the strong effects of the spatial interaction range on the emergence of spatial and phenotypic diversity (clustering and polymorphism) and on the interplay between invasion and evolution. The simulations focus on the qualitative differences between local and nonlocal interactions.

120 citations


Journal ArticleDOI
TL;DR: Two theorems originally given by A. N. Ivanova are proved which correlate the bifurcation structure of a mass-action model to the properties of a bipartite graph with nodes representing chemical species and reactions.
Abstract: A chemical mechanism is a model of a chemical reaction network consisting of a set of elementary reactions that express how molecules react with each other. In classical mass-action kinetics, a mechanism implies a set of ordinary differential equations (ODEs) which govern the time evolution of the concentrations. In this article, ODE models of chemical kinetics that have the potential for multiple positive equilibria or oscillations are studied. We begin by considering some methods of stability analysis based on the digraph of the Jacobian matrix. We then prove two theorems originally given by A. N. Ivanova which correlate the bifurcation structure of a mass-action model to the properties of a bipartite graph with nodes representing chemical species and reactions. We provide several examples of the application of these theorems.

109 citations


Journal ArticleDOI
TL;DR: The model is used to explore the evolution of size- and age-dependent flowering using an evolutionarily stable strategy (ESS) approach and finds close agreement between the observed flowering behavior and the predicted ESS from the stochastic model, whereas the ESS predicted from a deterministic version of the model is very different from observed floweringbehavior.
Abstract: Stochastic matrix projection models are widely used to model age- or stage-structured populations with vital rates that fluctuate randomly over time. Practical applications of these models rest on qualitative proper- ties such as the existence of a long term population growth rate, asymptotic log-normality of total population size, and weak ergodicity of population struc- ture. We show here that these properties are shared by a general stochastic integral projection model, by using results in (Eveson in D. Phil. Thesis, Uni- versity of Sussex, 1991, Eveson in Proc. Lond. Math. Soc. 70, 411-440, 1993) to extend the approach in (Lange and Holmes in J. Appl. Prob. 18, 325-344, 1981). Integral projection models allow individuals to be cross-classified by multiple attributes, either discrete or continuous, and allow the classification to change during the life cycle. These features are present in plant populations with size and age as important predictors of individual fate, populations with a persistent bank of dormant seeds or eggs, and animal species with complex life cycles. We also present a case-study based on a 6-year field study of the Illyrian thistle, Onopordum illyricum, to demonstrate how easily a stochastic integral model can be parameterized from field data and then applied using familiar matrix software and methods. Thistle demography is affected by multiple traits

96 citations


Journal ArticleDOI
TL;DR: In this article, the authors derived rigorous results describing the asymptotic dynamics of a discrete time model of spiking neurons introduced in Soula et al. using symbolic dynamic techniques and showed how the dynamics of membrane potential has a one to one correspondence with sequences of spikes patterns.
Abstract: We derive rigorous results describing the asymptotic dynamics of a discrete time model of spiking neurons introduced in Soula et al. (Neural Comput. 18, 1, 2006). Using symbolic dynamic techniques we show how the dynamics of membrane potential has a one to one correspondence with sequences of spikes patterns (“raster plots”). Moreover, though the dynamics is generically periodic, it has a weak form of initial conditions sensitivity due to the presence of a sharp threshold in the model definition. As a consequence, the model exhibits a dynamical regime indistinguishable from chaos in numerical experiments.

96 citations


Journal ArticleDOI
TL;DR: A series of variations on standard methods that implement refined biophysical models, such as a restriction of RNA folding to canonical structures, and an extension of structural alignments to an explicit scoring of stacking propensities are discussed.
Abstract: Dynamic programming algorithms solve many standard problems of RNA bioinformatics in polynomial time. In this contribution we discuss a series of variations on these standard methods that implement refined biophysical models, such as a restriction of RNA folding to canonical structures, and an extension of structural alignments to an explicit scoring of stacking propensities. Furthermore, we demonstrate that a local structural alignment can be employed for ncRNA gene finding. In this context we discuss scanning variants for folding and alignment algorithms.

89 citations


Journal ArticleDOI
TL;DR: This work presents an example of a cooperative system of truncated linear recursions in which the interaction between species causes one of the species to have an anomalous spreading speed.
Abstract: This work presents an example of a cooperative system of truncated linear recursions in which the interaction between species causes one of the species to have an anomalous spreading speed. By this we mean that this species spreads at a speed which is strictly greater than its spreading speed in isolation from the other species and the speeds at which all the other species actually spread. An ecological implication of this example is discussed in Sect. 5. Our example shows that the formula for the fastest spreading speed given in Lemma 2.3 of our paper (Weinberger et al. in J Math Biol 45:183–218, 2002) is incorrect. However, we find an extra hypothesis under which the formula for the faster spreading speed given in (Weinberger et al. in J Math Biol 45:183–218, 2002) is valid. We also show that the hypotheses of all but one of the theorems of (Weinberger et al. in J Math Biol 45:183–218, 2002) whose proofs rely on Lemma 2.3 imply this extra hypothesis, so that all but one of the theorems of (Weinberger et al. in J Math Biol 45:183–218, 2002) and all the examples given there are valid as they stand.

Journal ArticleDOI
TL;DR: In this paper, the qualitative properties of population cycles in a predator-prey system where genetic variability allows contemporary rapid evolution of the prey were studied, and the effects of rapid prey evolution were robust and general, and furthermore, they occurred in a specific but biologically relevant region of parameter space.
Abstract: We study the qualitative properties of population cycles in a predator–prey system where genetic variability allows contemporary rapid evolution of the prey. Previous numerical studies have found that prey evolution in response to changing predation risk can have major quantitative and qualitative effects on predator–prey cycles, including: (1) large increases in cycle period, (2) changes in phase relations (so that predator and prey are cycling exactly out of phase, rather than the classical quarter-period phase lag), and (3) “cryptic” cycles in which total prey density remains nearly constant while predator density and prey traits cycle. Here we focus on a chemostat model motivated by our experimental system (Fussmann et al. in Science 290:1358–1360, 2000; Yoshida et al. in Proc roy Soc Lond B 424:303–306, 2003) with algae (prey) and rotifers (predators), in which the prey exhibit rapid evolution in their level of defense against predation. We show that the effects of rapid prey evolution are robust and general, and furthermore that they occur in a specific but biologically relevant region of parameter space: when traits that greatly reduce predation risk are relatively cheap (in terms of reductions in other fitness components), when there is coexistence between the two prey types and the predator, and when the interaction between predators and undefended prey alone would produce cycles. Because defense has been shown to be inexpensive, even cost-free, in a number of systems (Andersson et al. in Curr Opin Microbiol 2:489–493, 1999: Gagneux et al. in Science 312:1944–1946, 2006; Yoshida et al. in Proc Roy Soc Lond B 271:1947–1953, 2004), our discoveries may well be reproduced in other model systems, and in nature. Finally, some of our key results are extended to a general model in which functional forms for the predation rate and prey birth rate are not specified.

Journal ArticleDOI
TL;DR: Several models of increasing complexity for which the derivation of population-level equations is possible are presented, and it is shown that amoeboid cells that do not adapt to constant signals can still aggregate in steady gradients, but not in response to periodic waves.
Abstract: The classical macroscopic chemotaxis equations have previously been derived from an individual-based description of the tactic response of cells that use a "run-and-tumble" strategy in response to environmental cues [17,18]. Here we derive macroscopic equations for the more complex type of behavioral response characteristic of crawling cells, which detect a signal, extract directional information from a scalar concentration field, and change their motile behavior accordingly. We present several models of increasing complexity for which the derivation of population-level equations is possible, and we show how experimentally measured statistics can be obtained from the transport equation formalism. We also show that amoeboid cells that do not adapt to constant signals can still aggregate in steady gradients, but not in response to periodic waves. This is in contrast to the case of cells that use a "run-and-tumble" strategy, where adaptation is essential.

Journal ArticleDOI
TL;DR: The quasispecies model of sequence evolution with mutation coupled to reproduction but independent across sites, and a fitness function that is invariant under permutation of sites is used, and the fitness of letter compositions is worked out explicitly.
Abstract: We consider the evolution of populations under the joint action of mutation and differential reproduction, or selection. The population is modelled as a finite-type Markov branching process in continuous time, and the associated genealogical tree is viewed both in the forward and the backward direction of time. The stationary type distribution of the reversed process, the so-called ancestral distribution, turns out as a key for the study of mutation-selection balance. This balance can be expressed in the form of a variational principle that quantifies the respective roles of reproduction and mutation for any possible type distribution. It shows that the mean growth rate of the population results from a competition for a maximal long-term growth rate, as given by the difference between the current mean reproduction rate, and an asymptotic decay rate related to the mutation process; this tradeoff is won by the ancestral distribution. We then focus on the case when the type is determined by a sequence of letters (like nucleotides or matches/mismatches relative to a reference sequence), and we ask how much of the above competition can still be seen by observing only the letter composition (as given by the frequencies of the various letters within the sequence). If mutation and reproduction rates can be approximated in a smooth way, the fitness of letter compositions resulting from the interplay of reproduction and mutation is determined in the limit as the number of sequence sites tends to infinity. Our main application is the quasispecies model of sequence evolution with mutation coupled to reproduction but independent across sites, and a fitness function that is invariant under permutation of sites. In this model, the fitness of letter compositions is worked out explicitly. In certain cases, their competition leads to a phase transition.

Journal ArticleDOI
TL;DR: An analytic calculation of the chemotactic drift velocity takes account of (a), (b) and (c), for weak chemotaxis reveals a synergy between temporal comparisons and persistence that enhances the drift velocity, while rotational Brownian motion reduces the Drift velocity.
Abstract: Escherichia coli is a motile bacterium that moves up a chemoattractant gradient by performing a biased random walk composed of alternating runs and tumbles. Previous models of run and tumble chemotaxis neglect one or more features of the motion, namely (a) a cell cannot directly detect a chemoattractant gradient but rather makes temporal comparisons of chemoattractant concentration, (b) rather than being entirely random, tumbles exhibit persistence of direction, meaning that the new direction after a tumble is more likely to be in the forward hemisphere, and (c) rotational Brownian motion makes it impossible for an E. coli cell to swim in a straight line during a run. This paper presents an analytic calculation of the chemotactic drift velocity taking account of (a), (b) and (c), for weak chemotaxis. The analytic results are verified by Monte Carlo simulation. The results reveal a synergy between temporal comparisons and persistence that enhances the drift velocity, while rotational Brownian motion reduces the drift velocity.

Journal ArticleDOI
TL;DR: The study demonstrates the use of sex-structured HIV/AIDS models in assessing the effectiveness of female and male condom use as a preventative strategy in a heterosexually active population.
Abstract: We present a sex-structured model for heterosexual transmission of HIV/AIDS in a community. The model is formulated using integro-differential equations, which are shown to be equivalent to delay differential equations with a time delay due to incubation period. The sex-structured HIV/AIDS model divides the population into a two sex-structure consisting of females and males. The threshold and equilibria for the model are determined and stabilities are examined. We extend the model to focus on the effects of condom use as a single-strategy approach in HIV prevention in the absence of any treatment. Initially we model the use of male condoms and further extend the model to incorporate the use of both female and male condoms. The model includes two primary factors in condom use to control HIV that are condom efficacy and compliance. The exposure risk of infection after each intervention is obtained. Basic reproductive numbers for these models are computed and compared to assess the effectiveness of male and female condom use in a community. The models are numerically analysed to assess the effectiveness of condom use on the transmission dynamics of HIV/AIDS using demographic and epidemiological parameters for Zimbabwe. The study demonstrates the use of sex-structured HIV/AIDS models in assessing the effectiveness of female and male condom use as a preventative strategy in a heterosexually active population.

Journal ArticleDOI
TL;DR: A simple model for regulation of wing growth via the Dpp gradient is explored, using a system of reaction-diffusion equations to model the dynamics of Dpp and its receptor Tkv and showing that uniform domain growth across the disc produces an exponentially growing wing disc.
Abstract: Many developmental systems are organised via the action of graded distributions of morphogens. In the Drosophila wing disc, for example, recent experimental evidence has shown that graded expression of the morphogen Dpp controls cell proliferation and hence disc growth. Our goal is to explore a simple model for regulation of wing growth via the Dpp gradient: we use a system of reaction-diffusion equations to model the dynamics of Dpp and its receptor Tkv, with advection arising as a result of the flow generated by cell proliferation. We analyse the model both numerically and analytically, showing that uniform domain growth across the disc produces an exponentially growing wing disc.

Journal ArticleDOI
TL;DR: A probabilistic model for RNA secondary structures with pseudoknots is suggested and a Markov-chain Monte-Carlo Method for sampling RNA structures according to their posterior distribution for a given sequence is presented.
Abstract: The most probable secondary structure of an RNA molecule, given the nucleotide sequence, can be computed efficiently if a stochastic context-free grammar (SCFG) is used as the prior distribution of the secondary structure. The structures of some RNA molecules contain so-called pseudoknots. Allowing all possible configurations of pseudoknots is not compatible with context-free grammar models and makes the search for an optimal secondary structure NP-complete. We suggest a probabilistic model for RNA secondary structures with pseudoknots and present a Markov-chain Monte-Carlo Method for sampling RNA structures according to their posterior distribution for a given sequence. We favor Bayesian sampling over optimization methods in this context, because it makes the uncertainty of RNA structure predictions assessable. We demonstrate the benefit of our method in examples with tmRNA and also with simulated data. McQFold, an implementation of our method, is freely available from http://www.cs.uni-frankfurt.de/~metzler/McQFold.

Journal ArticleDOI
TL;DR: In spite of the relative quality of the data set, two low-dimensional global models that settle to chaotic attractors were obtained and can be considered as direct evidences of chaos in real ecosystems.
Abstract: Real food chains are very rarely investigated since long data sequences are required. Typically, if we consider that an ecosystem evolves with a period corresponding to the time for maturation, possessing few dozen of cycles would require to count species over few centuries. One well known example of a long data set is the number of Canadian lynx furs caught by the Hudson Bay company between 1821 and 1935 as reported by Elton and Nicholson in 1942. In spite of the relative quality of the data set (10 undersampled cycles), two low-dimensional global models that settle to chaotic attractors were obtained. They are compared with an ad hoc 3D model which was proposed as a possible model for this data set. The two global models, which were estimated with no prior knowledge about the dynamics, can be considered as direct evidences of chaos in real ecosystems.

Journal ArticleDOI
TL;DR: It is observed that in addition to local fragmentation, a more global effect of the position of the habitat patches also influenced species persistence, indicating that species persistence strongly tends to decrease with habitat fragmentation.
Abstract: This paper presents a study of a nonlinear reaction–diffusion population model in fragmented environments. The model is set on \(\mathbb{R}^N\), with periodic heterogeneous coefficients obtained using stochastic processes. Using a criterion of species persistence based on the notion of principal eigenvalue of an elliptic operator, we provided a precise numerical analysis of the interactions between habitat fragmentation and species persistence. The obtained results clearly indicated that species persistence strongly tends to decrease with habitat fragmentation. Moreover, comparing two stochastic models of landscape pattern generation, we observed that in addition to local fragmentation, a more global effect of the position of the habitat patches also influenced species persistence.

Journal ArticleDOI
TL;DR: Delay-differential equations are used to model genetic regulatory systems with the delays representing transcription and translation times and also to represent other types of chemical processes, including species-reaction bipartite graph methods, which are particularly convenient and powerful.
Abstract: Delay-differential equations are commonly used to model genetic regulatory systems with the delays representing transcription and translation times. Equations with delayed terms can also be used to represent other types of chemical processes. Here we analyze delayed mass-action systems, i.e. systems in which the rates of reaction are given by mass-action kinetics, but where the appearance of products may be delayed. Necessary conditions for delay-induced instability are presented in terms both of a directed graph (digraph) constructed from the Jacobian matrix of the corresponding ODE model and of a species-reaction bipartite graph which directly represents a chemical mechanism. Methods based on the bipartite graph are particularly convenient and powerful. The condition for a delay-induced instability in this case is the existence of a subgraph of the bipartite graph containing an odd number of cycles of which an odd number are negative.

Journal ArticleDOI
TL;DR: In this paper, the concept of Markov chain embedding is used to analyze patterns in random strings produced by a memoryless source, together with the capability of automata to recognize complicated patterns, allows a systematic analysis of problems related to the occurrence and frequency of patterns.
Abstract: RNA motifs typically consist of short, modular patterns that include base pairs formed within and between modules. Estimating the abundance of these patterns is of fundamental importance for assessing the statistical significance of matches in genomewide searches, and for predicting whether a given function has evolved many times in different species or arose from a single common ancestor. In this manuscript, we review in an integrated and self-contained manner some basic concepts of automata theory, generating functions and transfer matrix methods that are relevant to pattern analysis in biological sequences. We formalize, in a general framework, the concept of Markov chain embedding to analyze patterns in random strings produced by a memoryless source. This conceptualization, together with the capability of automata to recognize complicated patterns, allows a systematic analysis of problems related to the occurrence and frequency of patterns in random strings. The applications we present focus on the concept of synchronization of automata, as well as automata used to search for a finite number of keywords (including sets of patterns generated according to base pairing rules) in a general text.

Journal ArticleDOI
TL;DR: A reversible jump MCMC algorithm is described that permits Bayesian inferences to be made on model parameters, particularly those associated with the step function, and applied to two datasets on outbreaks of smallpox and a respiratory disease.
Abstract: Stochastic compartmental models of the SEIR type are often used to make inferences on epidemic processes from partially observed data in which only removal times are available. For many epidemics, the assumption of constant removal rates is not plausible. We develop methods for models in which these rates are a time-dependent step function. A reversible jump MCMC algorithm is described that permits Bayesian inferences to be made on model parameters, particularly those associated with the step function. The method is applied to two datasets on outbreaks of smallpox and a respiratory disease. The analyses highlight the importance of allowing for time dependence by contrasting the predictive distributions for the removal times and comparing them with the observed data.

Journal ArticleDOI
TL;DR: For the first time, a continuous, spatially homogeneous model that describes the competitive interaction between bacteriocin-producing, resistant and sensitive bacteria is established and the dynamics generated by that model is analyzed.
Abstract: In this work, important aspects of bacteriocin producing bacteria and their interplay are elucidated. Various attempts to model the resistant, producer and sensitive Escherichia coli strains in the so-called rock–scissors–paper (RSP) game had been made in the literature. The question arose whether there is a continuous model with a cyclic structure and admitting an oscillatory dynamics as observed in various experiments. The May–Leonard system admits a Hopf bifurcation, which is, however, degenerate and hence inadequate. The traditional differential equation model of the RSP-game cannot be applied either to the bacteriocin system because it involves positive interaction terms. In this paper, a plausible competitive Lotka–Volterra system model of the RSP game is presented and the dynamics generated by that model is analyzed. For the first time, a continuous, spatially homogeneous model that describes the competitive interaction between bacteriocin-producing, resistant and sensitive bacteria is established. The interaction terms have negative coefficients. In some experiments, for example, in mice cultures, migration seemed to be essential for the reinfection in the RSP cycle. Often statistical and spatial effects such as migration and mutation are regarded to be essential for periodicity. Our model gives rise to oscillatory dynamics in the RSP game without such effects. Here, a normal form description of the limit cycle and conditions for its stability are derived. The toxicity of the bacteriocin is used as a bifurcation parameter. Exact parameter ranges are obtained for which a stable (robust) limit cycle and a stable heteroclinic cycle exist in the three-species game. These parameters are in good accordance with the observed relations for the E. coli strains. The roles of growth rate and growth yield of the three strains are discussed. Numerical calculations show that the sensitive, which might be regarded as the weakest, can have the longest sojourn times.

Journal ArticleDOI
TL;DR: The long-time dynamical properties of two individual-based models of biological coevolution, which self-optimize through mutation and selection to approximately maximize a community potential function, are compared.
Abstract: We compare and contrast the long-time dynamical properties of two individual-based models of biological coevolution. Selection occurs via multispecies, stochastic population dynamics with reproduction probabilities that depend nonlinearly on the population densities of all species resident in the community. New species are introduced through mutation. Both models are amenable to exact linear stability analysis, and we compare the analytic results with large-scale kinetic Monte Carlo simulations, obtaining the population size as a function of an average interspecies interaction strength. Over time, the models self-optimize through mutation and selection to approximately maximize a community potential function, subject only to constraints internal to the particular model. If the interspecies interactions are randomly distributed on an interval including positive values, the system evolves toward self-sustaining, mutualistic communities. In contrast, for the predator-prey case the matrix of interactions is antisymmetric, and a nonzero population size must be sustained by an external resource. Time series of the diversity and population size for both models show approximate 1/f noise and power-law distributions for the lifetimes of communities and species. For the mutualistic model, these two lifetime distributions have the same exponent, while their exponents are different for the predator-prey model. The difference is probably due to greater resilience toward mass extinctions in the food-web like communities produced by the predator-prey model.

Journal ArticleDOI
Yann Ponty1
TL;DR: A surprising technique is adapted, the boustrophedon modified version of the popular software UnaFold, to speed up the sampling of RNA secondary structures from the Boltzmann low-energy ensemble and greatly improves their worst-case complexity.
Abstract: We adapt here a surprising technique, the boustrophedon method, to speed up the sampling of RNA secondary structures from the Boltzmann low-energy ensemble. This technique is simple and its implementation straight-forward, as it only requires a permutation in the order of some operations already performed in the stochastic traceback stage of these algorithms. It nevertheless greatly improves their worst-case complexity from \({\mathcal{O}}({n^2})\) to \({\mathcal{O}}({n\log(n)})\) , for n the size of the original sequence. Moreover the average-case complexity of the generation is shown to be improved from \({\mathcal{O}}({n\sqrt{n}})\) to \({\mathcal{O}}({n\log(n)})\) in an Boltzmann-weighted homopolymer model based on the Nussinov–Jacobson free-energy model. These results are extended to the more realistic Turner free-energy model through experiments performed on both structured (Drosophilia melanogaster mRNA 5S) and hybrid (Staphylococcus aureus RNAIII) RNA sequences, using a boustrophedon modified version of the popular software UnaFold. This improvement allows for the sampling of greater and more significant sets of structures in a given time.

Journal ArticleDOI
TL;DR: This paper model aggregative parasitoid behaviour in a multi-species host-parasitoid community using a system of reaction-diffusion-chemotaxis equations and observes quasi-chaotic dynamic heterogeneous spatio-temporal patterns, quasi-stationary heterogeneous patterns and a destabilisation of the steady-states of the system.
Abstract: When searching for hosts, parasitoids are observed to aggregate in response to chemical signalling cues emitted by plants during host feeding. In this paper we model aggregative parasitoid behaviour in a multi-species host-parasitoid community using a system of reaction-diffusion-chemotaxis equations. The stability properties of the steady-states of the model system are studied using linear stability analysis which highlights the possibility of interesting dynamical behaviour when the chemotactic response is above a certain threshold. We observe quasi-chaotic dynamic heterogeneous spatio-temporal patterns, quasi-stationary heterogeneous patterns and a destabilisation of the steady-states of the system. The generation of heterogeneous spatio-temporal patterns and destabilisation of the steady state are due to parasitoid chemotactic response to hosts. The dynamical behaviour of our system has both mathematical and ecological implications and the concepts of chemotaxis-driven instability and coexistence and ecological change are discussed.

Journal ArticleDOI
TL;DR: An improved mean-field approximation which incorporates the spatially clustered habitat distribution is developed for modeling a single species on these landscapes, along with an improved Monte Carlo algorithm for generating spatially clustering habitat distributions.
Abstract: Interactions between two species competing for space were studied using stochastic spatially explicit lattice-based simulations as well as pair approximations. The two species differed only in their dispersal strategies, which were characterized by the proportion of reproductive effort allocated to long-distance (far) dispersal versus short-distance (near) dispersal to adjacent sites. All population dynamics took place on landscapes with spatially clustered distributions of suitable habitat, described by two parameters specifying the amount and the local spatial autocorrelation of suitable habitat. Whereas previous results indicated that coexistence between pure near and far dispersers was very rare, taking place over only a very small region of the landscape parameter space, when mixed strategies are allowed, multiple strategies can coexist over a much wider variety of landscapes. On such spatially structured landscapes, the populations can partition the habitat according to local conditions, with one species using pure near dispersal to exploit large contiguous patches of suitable habitat, and another species using mixed dispersal to colonize isolated smaller patches (via far dispersal) and then rapidly exploit those patches (via near dispersal). An improved mean-field approximation which incorporates the spatially clustered habitat distribution is developed for modeling a single species on these landscapes, along with an improved Monte Carlo algorithm for generating spatially clustered habitat distributions.

Journal ArticleDOI
TL;DR: This work studies local stability of equilibria of selection-mutation equations when mutations are either very small in size or occur with very low probability.
Abstract: We study local stability of equilibria of selection-mutation equations when mutations are either very small in size or occur with very low probability. The main mathematical tools are the linearized stability principle and the fact that, when the environment (the nonlinearity) is finite dimensional, the linearized operator at the steady state turns out to be a degenerate perturbation of a known operator with spectral bound equal to 0. An example is considered where the results on stability are applied.

Journal ArticleDOI
TL;DR: It is shown that eradication of vector-borne diseases is possible by culling the vector at either the immature or the mature phase, even though the size of the vector is oscillating and above a certain level.
Abstract: We derive appropriate mathematical models to assess the effectiveness of culling as a tool to eradicate vector-borne diseases. The model, focused on the culling strategies determined by the stages during the development of the vector, becomes either a system of autonomous delay differential equations with impulses (in the case where the adult vector is subject to culling) or a system of nonautonomous delay differential equations where the time-varying coefficients are determined by the culling times and rates (in the case where only the immature vector is subject to culling). Sufficient conditions are derived to ensure eradication of the disease, and simulations are provided to compare the effectiveness of larvicides and insecticide sprays for the control of West Nile virus. We show that eradication of vector-borne diseases is possible by culling the vector at either the immature or the mature phase, even though the size of the vector is oscillating and above a certain level.