Checkpoint method for choice recovery in dynamic programming.

Abstract:

:Many dynamic programming algorithms consist of a 'forward pass' computation to optimize a cost function, followed by a 'choice recovery' computation to construct a configuration that optimizes the cost function. 'Checkpointing' is a method to perform choice recovery using limited storage. During a forward pass, checkpoints in an optimal configuration are identified. Then recursion is used to fill in the portions of an optimal configuration between successive checkpoints. Choosing the number of checkpoints to use mediates a tradeoff between storage and speed.

journal_name

Bull Math Biol

authors

Bax E

doi

10.1016/j.bulm.2004.10.002

subject

Has Abstract

pub_date

2005-07-01 00:00:00

pages

719-36

issue

4

eissn

0092-8240

issn

1522-9602

pii

S0092-8240(04)00114-4

journal_volume

67

pub_type

杂志文章
  • Marine reserves with ecological uncertainty.

    abstract::To help manage the fluctuations inherent in fish populations scientists have argued for both an ecosystem approach to management and the greater use of marine reserves. Support for reserves includes empirical evidence that they can raise the spawning biomass and mean size of exploited populations, increase the abundan...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1016/j.bulm.2004.11.006

    authors: Grafton RQ,Kompas T,Lindenmayer D

    更新日期:2005-09-01 00:00:00

  • Mutation and Selection in Bacteria: Modelling and Calibration.

    abstract::Temporal evolution of a clonal bacterial population is modelled taking into account reversible mutation and selection mechanisms. For the mutation model, an efficient algorithm is proposed to verify whether experimental data can be explained by this model. The selection-mutation model has unobservable fitness paramete...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-018-0529-9

    authors: Bayliss CD,Fallaize C,Howitt R,Tretyakov MV

    更新日期:2019-03-01 00:00:00

  • Least squares estimation in stochastic biochemical networks.

    abstract::The paper presents results on the asymptotic properties of the least-squares estimates (LSEs) of the reaction constants in mass-action, stochastic, biochemical network models. LSEs are assumed to be based on the longitudinal data from partially observed trajectories of a stochastic dynamical system, modeled as a conti...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-012-9744-y

    authors: Rempala GA

    更新日期:2012-08-01 00:00:00

  • Two-dimensional Finite Element Model of Breast Cancer Cell Motion Through a Microfluidic Channel.

    abstract::A two-dimensional model for red blood cell motion is adapted to consider the dynamics of breast cancer cells in a microfluidic channel. Adjusting parameters to make the membrane stiffer, as is the case with breast cancer cells compared with red blood cells, allows the model to produce reasonable estimates of breast ca...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-018-00557-x

    authors: Barber J,Zhu L

    更新日期:2019-04-01 00:00:00

  • Investigating alcohol consumption as a risk factor for HIV transmission in heterosexual settings in sub-Saharan African communities.

    abstract::Alcohol consumption and abuse is widespread in sub-Saharan Africa where most HIV infections occur and has been associated with risky sexual behaviors. It may therefore be one of the most common, potentially modifiable HIV risk factors in this region. A deterministic system of ordinary differential equations incorporat...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-012-9747-8

    authors: Malunguza NJ,Hove-Musekwa SD,Musuka G,Mukandavire Z

    更新日期:2012-09-01 00:00:00

  • An evolution model for sequence length based on residue insertion-deletion independent of substitution: an application to the GC content in bacterial genomes.

    abstract::We introduce here a gene evolution model which is an extension of the time-continuous stochastic IDIS model (Lèbre and Michel in J. Comput. Biol. Chem. 34:259-267, 2010) to sequence length. This new IDISL (Insertion Deletion Independent of Substitution based on sequence Length) model gives an analytical expression of ...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-012-9735-z

    authors: Lèbre S,Michel CJ

    更新日期:2012-08-01 00:00:00

  • Impact of Harvesting on a Bioeconomic Predator-Prey Fishery Model Subject to Environmental Toxicant.

    abstract::The present paper studies a predator-prey fishery model which incorporates the independent harvesting strategies and nonlinear impact of an anthropogenic toxicant. Both fish populations are harvested with different harvesting efforts, and the cases for the presence and non-presence of harvesting effort are discussed. ...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-019-00627-8

    authors: Ang TK,Safuan HM,Sidhu HS,Jovanoski Z,Towers IN

    更新日期:2019-07-01 00:00:00

  • Uni-directional interaction and plant-pollinator-robber coexistence.

    abstract::A mathematical model for the plant-pollinator-robber interaction is studied to understand the factors leading to the widespread occurrence and stability of such interactions. In the interaction, a flowering plant provides resource for its pollinator and the pollinator has both positive and negative effects on the plan...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-012-9750-0

    authors: Wang Y,DeAngelis DL,Holland JN

    更新日期:2012-09-01 00:00:00

  • Speed of pattern appearance in reaction-diffusion models: implications in the pattern formation of limb bud mesenchyme cells.

    abstract::It has been postulated that fibroblast growth factor (FGF) treatment of cultured limb bud mesenchyme cells reinforces the lateral inhibitory effect, but the cells also show accelerated pattern appearance. In the present study, we analyze how a small change in a specific parameter affects the speed of pattern appearanc...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1016/j.bulm.2003.09.009

    authors: Miura T,Maini PK

    更新日期:2004-07-01 00:00:00

  • The effect of solution non-ideality on membrane transport in three-dimensional models of the renal concentrating mechanism.

    abstract::Previous models of the renal concentrating mechanism employ ideal approximations of solution thermodynamics for membrane transport calculation. In three-dimensional models of the renal medulla, predicted urine concentrations reach levels where these idealized approximations begin to break down. In this paper we derive...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/BF02460469

    authors: Wang X,Wexler AS,Marsh DJ

    更新日期:1994-05-01 00:00:00

  • A continuum mechanics approach to determining the cellular velocity field with a wool follicle.

    abstract::A model, based on the principles of continuum mechanics, is presented for the analysis of cell-velocity fields within wool follicles. The model requires specification of three follicle characteristics in the form of spatially varying fields: viscosity, cell density and cell production rate. The viscosity is introduced...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1006/bulm.1997.0025

    authors: Louie K,Hall AJ,Gandar PW

    更新日期:1998-01-01 00:00:00

  • A model of oscillatory protein dynamics in bacteria.

    abstract::Spatial oscillations of proteins in bacteria have recently attracted much attention. The cellular mechanism underlying these oscillations can be studied at molecular as well as at more macroscopic levels. We construct a minimal mathematical model with two proteins that is able to produce self-sustained regular pole-to...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-012-9752-y

    authors: Rashkov P,Schmitt BA,Søgaard-Andersen L,Lenz P,Dahlke S

    更新日期:2012-09-01 00:00:00

  • Memory in idiotypic networks due to competition between proliferation and differentiation.

    abstract::A model employing separate dose-dependent response functions for proliferation and differentiation of idiotypically interacting B cell clones is presented. For each clone the population dynamics of proliferating B cells, non-proliferating B cells and free antibodies are considered. An effective response function, whic...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/BF02460702

    authors: Sulzer B,van Hemmen JL,Neumann AU,Behn U

    更新日期:1993-11-01 00:00:00

  • An algebraic approach to signaling cascades with N layers.

    abstract::Posttranslational modification of proteins is key in transmission of signals in cells. Many signaling pathways contain several layers of modification cycles that mediate and change the signal through the pathway. Here, we study a simple signaling cascade consisting of n layers of modification cycles such that the modi...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-011-9658-0

    authors: Feliu E,Knudsen M,Andersen LN,Wiuf C

    更新日期:2012-01-01 00:00:00

  • High Cooperativity in Negative Feedback can Amplify Noisy Gene Expression.

    abstract::Burst-like synthesis of protein is a significant source of cell-to-cell variability in protein levels. Negative feedback is a common example of a regulatory mechanism by which such stochasticity can be controlled. Here we consider a specific kind of negative feedback, which makes bursts smaller in the excess of protei...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-018-0438-y

    authors: Bokes P,Lin YT,Singh A

    更新日期:2018-07-01 00:00:00

  • Bistability and Asynchrony in a Boolean Model of the L-arabinose Operon in Escherichia coli.

    abstract::The lactose operon in Escherichia coli was the first known gene regulatory network, and it is frequently used as a prototype for new modeling paradigms. Historically, many of these modeling frameworks use differential equations. More recently, Stigler and Veliz-Cuba proposed a Boolean model that captures the bistabili...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-017-0306-1

    authors: Jenkins A,Macauley M

    更新日期:2017-08-01 00:00:00

  • Meeting the Needs of A Changing Landscape: Advances and Challenges in Undergraduate Biology Education.

    abstract::Over the last 25 years, reforms in undergraduate biology education have transformed the way biology is taught at many institutions of higher education. This has been fueled in part by a burgeoning discipline-based education research community, which has advocated for evidence-based instructional practices based on fin...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-020-00739-6

    authors: Aikens ML

    更新日期:2020-05-13 00:00:00

  • Circular Tessera Codes in the Evolution of the Genetic Code.

    abstract::The origin of the modern genetic code and the mechanisms that have contributed to its present form raise many questions. The main goal of this work is to test two hypotheses concerning the development of the genetic code for their compatibility and complementarity and see if they could benefit from each other. On the ...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-020-00724-z

    authors: Fimmel E,Starman M,Strüngmann L

    更新日期:2020-04-04 00:00:00

  • Neighborhoods of trees in circular orderings.

    abstract::In phylogenetics, a common strategy used to construct an evolutionary tree for a set of species [Formula: see text] is to search in the space of all such trees for one that optimizes some given score function (such as the minimum evolution, parsimony or likelihood score). As this can be computationally intensive, it w...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-014-0049-1

    authors: Bastkowski S,Moulton V,Spillner A,Wu T

    更新日期:2015-01-01 00:00:00

  • Generality of the final size formula for an epidemic of a newly invading infectious disease.

    abstract::The well-known formula for the final size of an epidemic was published by Kermack and McKendrick in 1927. Their analysis was based on a simple susceptible-infected-recovered (SIR) model that assumes exponentially distributed infectious periods. More recent analyses have established that the standard final size formula...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-005-9047-7

    authors: Ma J,Earn DJ

    更新日期:2006-04-01 00:00:00

  • Topologically non-linked circular duplex DNA.

    abstract::The discovery of circular DNA, over 30 years ago, introduced an element of uneasiness in what had been, up to that point, the almost picture-perfect story of the elucidation of the molecular biology of heredity. If DNA indeed has the Watson-Crick right-handed helical secondary structure, then in circular DNA, thousand...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1006/bulm.2002.0288

    authors: Biegeleisen K

    更新日期:2002-05-01 00:00:00

  • Culture analysis and external interaction models of mycelial growth.

    abstract::To investigate morphogenesis and in particular circularization mechanisms in young mycelia, we observe cultures of the zygomycete Mucor spinosus and develop discrete models of two-dimensional filamental branching growth. The models are based on the hypothesis that the fungus secretes a regulatory substance that diffus...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/BF02460715

    authors: Indermitte C,Liebling M,Clémençon H

    更新日期:1994-07-01 00:00:00

  • Immune network behavior--II. From oscillations to chaos and stationary states.

    abstract::Two types of behavior have been previously reported in models of immune networks. The typical behavior of simple models, which involve B cells only, is stationary behavior involving several steady states. Finite amplitude perturbations may cause the model to switch between different equilibria. The typical behavior of...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/BF02460673

    authors: De Boer RJ,Perelson AS,Kevrekidis IG

    更新日期:1993-01-01 00:00:00

  • A periodically-forced mathematical model for the seasonal dynamics of malaria in mosquitoes.

    abstract::We describe and analyze a periodically-forced difference equation model for malaria in mosquitoes that captures the effects of seasonality and allows the mosquitoes to feed on a heterogeneous population of hosts. We numerically show the existence of a unique globally asymptotically stable periodic orbit and calculate ...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-011-9710-0

    authors: Chitnis N,Hardy D,Smith T

    更新日期:2012-05-01 00:00:00

  • Modeling the Role of Feedback in the Adaptive Response of Bacterial Quorum Sensing.

    abstract::Bacterial quorum sensing (QS) is a form of intercellular communication that relies on the production and detection of diffusive signaling molecules called autoinducers. Such a mechanism allows the bacteria to track their cell density in order to regulate group behavior, such as biofilm formation and bioluminescence. I...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-019-00570-8

    authors: Fan G,Bressloff PC

    更新日期:2019-05-01 00:00:00

  • Bayesian Calibration, Validation and Uncertainty Quantification for Predictive Modelling of Tumour Growth: A Tutorial.

    abstract::In this work, we present a pedagogical tumour growth example, in which we apply calibration and validation techniques to an uncertain, Gompertzian model of tumour spheroid growth. The key contribution of this article is the discussion and application of these methods (that are not commonly employed in the field of can...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-017-0258-5

    authors: Collis J,Connor AJ,Paczkowski M,Kannan P,Pitt-Francis J,Byrne HM,Hubbard ME

    更新日期:2017-04-01 00:00:00

  • A Metaecoepidemic Model of Grassland Ecosystem with Only Consumers' Migration.

    abstract::Metaecoepidemic models generalize metapopulation systems, combining local population dynamics with inter-patch migration coupled with an epidemic proliferation. A resource-consumer model is introduced with an ecosystem composed by two patches, in which consumers can freely move. A disease affects resources of the seco...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-020-00764-5

    authors: Moulin T,Perasso A,Venturino E

    更新日期:2020-07-07 00:00:00

  • A two-current model for the dynamics of cardiac membrane.

    abstract::In this paper we introduce and study a model for electrical activity of cardiac membrane which incorporates only an inward and an outward current. This model is useful for three reasons: (1) Its simplicity, comparable to the FitzHugh-Nagumo model, makes it useful in numerical simulations, especially in two or three sp...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1016/S0092-8240(03)00041-7

    authors: Mitchell CC,Schaeffer DG

    更新日期:2003-09-01 00:00:00

  • On the fractal geometry of DNA by the binary image analysis.

    abstract::The multifractal analysis of binary images of DNA is studied in order to define a methodological approach to the classification of DNA sequences. This method is based on the computation of some multifractality parameters on a suitable binary image of DNA, which takes into account the nucleotide distribution. The binar...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-013-9859-9

    authors: Cattani C,Pierro G

    更新日期:2013-09-01 00:00:00

  • Fitting a structured juvenile-adult model for green tree frogs to population estimates from capture-mark-recapture field data.

    abstract::We derive point and interval estimates for an urban population of green tree frogs (Hyla cinerea) from capture-mark-recapture field data obtained during the years 2006-2009. We present an infinite-dimensional least-squares approach which compares a mathematical population model to the statistical population estimates ...

    journal_title:Bulletin of mathematical biology

    pub_type: 杂志文章

    doi:10.1007/s11538-011-9682-0

    authors: Ackleh AS,Carter J,Deng K,Huang Q,Pal N,Yang X

    更新日期:2012-03-01 00:00:00