Optimal adjustment of the human circadian clock in the real world

Which suggestions for behavioral modifications, based on mathematical models, are most likely to be followed in the real world? We address this question in the context of human circadian rhythms. Jet lag is a consequence of the misalignment of the body’s internal circadian (~24-hour) clock during an adjustment to a new schedule. Light is the clock’s primary synchronizer. Previous research has used mathematical models to compute light schedules that shift the circadian clock to a new time zone as quickly as possible. How users adjust their behavior when provided with these optimal schedules remains an open question. Here, we report data collected by wearables from more than 100 travelers as they cross time zones using a smartphone app, Entrain. We find that people rarely follow the optimal schedules generated through mathematical modeling entirely, but travelers who better followed the optimal schedules reported more positive moods after their trips. Using the data collected, we improve the optimal schedule predictions to accommodate real-world constraints. We also develop a scheduling algorithm that allows for the computation of approximately optimal schedules "on-the-fly" in response to disruptions. User burnout may not be critically important as long as the first parts of a schedule are followed. These results represent a crucial improvement in making the theoretical results of past work viable for practical use and show how theoretical predictions based on known human physiology can be efficiently used in real-world settings.     

Structural sensitivity of biological models revisited

Enhancing the predictive power of models in biology is a challenging issue. Among the major difficulties impeding model development and implementation are the sensitivity of outcomes to variations in model parameters, the problem of choosing of particular expressions for the parametrization of functional relations, and difficulties in validating models using laboratory data and/or field observations. In this paper, we revisit the phenomenon which is referred to as structural sensitivity of a model. Structural sensitivity arises as a result of the interplay between sensitivity of model outcomes to variations in parameters and sensitivity to the choice of model functions, and this can be somewhat of a bottleneck in improving the models predictive power. We provide a rigorous definition of structural sensitivity and we show how we can quantify the degree of sensitivity of a model based on the Hausdorff distance concept. We propose a simple semi-analytical test of structural sensitivity in an ODE modeling framework. Furthermore, we emphasize the importance of directly linking the variability of field/experimental data and model predictions, and we demonstrate a way of assessing the robustness of modeling predictions with respect to data sampling variability. As an insightful illustrative example, we test our sensitivity analysis methods on a chemostat predator-prey model, where we use laboratory data on the feeding of protozoa to parameterize the predator functional response.     

The importance of assessing parameter sensitivity when using biophysical models: a case study using plethodontid salamanders

Landscapes are continually changing due to numerous assaults, including habitat alteration, anthropogenic disturbances, and climate change. Understanding how species will respond to these changes is of critical importance for conservation and management. Mechanistic models, such as biophysical models (BPMs), are an increasingly popular tool to predict how local population dynamics or species’ distributions may be altered in response to environmental and climate changes. By mechanistically modeling relationships between environmental conditions, physiology and behavior, it is possible to make accurate predictions about how species may respond. However, BPMs are often difficult to implement due to lack of appropriate, species-specific data that is biologically realistic or relevant. In this study, we present a BPM for the salamander Plethodon jordani and assess how adding more biological realism has potential to alter model predictions about annual energy budgets. Additionally, we conducted local and global sensitivity analyses to evaluate the importance of accurately specifying model parameter values and functional relationships. We found that the addition of biological realism resulted in greater model complexity as well as substantially different estimates of energy balance. Correct parameterization of biophysical models is also critical, as small changes in parameter values can result in disproportionately large changes in downstream model estimates. Our model highlights the overall importance of using ecologically relevant and specific data for input parameters, as well as careful assessment of parameter sensitivity. We encourage researchers to be aware of the data they are using to parameterize BPMs, and urge the collection of system-specific data that is relevant in spatial and temporal scale. We also recommend greater and more transparent use of sensitivity analyses to provide a better understanding of the model, as well as greater confidence in model predictions.     

Uncertainty in assessing the impacts of global change with coupled dynamic species distribution and population models

Concern over rapid global changes and the potential for interactions among multiple threats are prompting scientists to combine multiple modelling approaches to understand impacts on biodiversity. A relatively recent development is the combination of species distribution models, land‐use change predictions, and dynamic population models to predict the relative and combined impacts of climate change, land‐use change, and altered disturbance regimes on species' extinction risk. Each modelling component introduces its own source of uncertainty through different parameters and assumptions, which, when combined, can result in compounded uncertainty that can have major implications for management. Although some uncertainty analyses have been conducted separately on various model components – such as climate predictions, species distribution models, land‐use change predictions, and population models – a unified sensitivity analysis comparing various sources of uncertainty in combined modelling approaches is needed to identify the most influential and problematic assumptions. We estimated the sensitivities of long‐run population predictions to different ecological assumptions and parameter settings for a rare and endangered annual plant species (Acanthomintha ilicifolia, or San Diego thornmint). Uncertainty about habitat suitability predictions, due to the choice of species distribution model, contributed most to variation in predictions about long‐run populations.     

Defining and detecting structural sensitivity in biological models: developing a new framework

When we construct mathematical models to represent biological systems, there is always uncertainty with regards to the model specification—whether with respect to the parameters or to the formulation of model functions. Sometimes choosing two different functions with close shapes in a model can result in substantially different model predictions: a phenomenon known in the literature as structural sensitivity, which is a significant obstacle to improving the predictive power of biological models. In this paper, we revisit the general definition of structural sensitivity, compare several more specific definitions and discuss their usefulness for the construction and analysis of biological models. Then we propose a general approach to reveal structural sensitivity with regards to certain system properties, which considers infinite-dimensional neighbourhoods of the model functions: a far more powerful technique than the conventional approach of varying parameters for a fixed functional form. In particular, we suggest a rigorous method to unearth sensitivity with respect to the local stability of systems’ equilibrium points. We present a method for specifying the neighbourhood of a general unknown function with \(n\) inflection points in terms of a finite number of local function properties, and provide a rigorous proof of its completeness. Using this powerful result, we implement our method to explore sensitivity in several well-known multicomponent ecological models and demonstrate the existence of structural sensitivity in these models. Finally, we argue that structural sensitivity is an important intrinsic property of biological models, and a direct consequence of the complexity of the underlying real systems.     

Structural sensitivity and resilience in a predator–prey model with density-dependent mortality

Numerous formulations with the same mathematical properties can be relevant to model a biological process. Different formulations can predict different model dynamics like equilibrium vs. oscillations even if they are quantitatively close (structural sensitivity). The question we address in this paper is: does the choice of a formulation affect predictions on the number of stable states? We focus on a predator–prey model with predator competition that exhibits multiple stable states. A bifurcation analysis is realized with respect to prey carrying capacity and species body mass ratio within range of values found in food web models. Bifurcation diagrams built for two type-II functional responses are different in two ways. First, the kind of stable state (equilibrium vs. oscillations) is different for 26.0–49.4% of the parameter values, depending on the parameter space investigated. Using generalized modelling, we highlight the role of functional response slope in this difference. Secondly, the number of stable states is higher with Ivlev's functional response for 0.1–14.3% of the parameter values. These two changes interact to create different model predictions if a parameter value or a state variable is altered. In these two examples of disturbance, Holling's disc equation predicts a higher system resilience. Indeed, Ivlev's functional response predicts that disturbance may trap the system into an alternative stable state that can be escaped from only by a larger alteration (hysteresis phenomena). Two questions arise from this work: (i) how much complex ecological models can be affected by this sensitivity to model formulation? and (ii) how to deal with these uncertainties in model predictions?     

Quantifying cell transitions in C. elegans with data-fitted landscape models

Increasing interest has emerged in new mathematical approaches that simplify the study of complex differentiation processes by formalizing Waddington’s landscape metaphor. However, a rational method to build these landscape models remains an open problem. Here we study vulval development in C. elegans by developing a framework based on Catastrophe Theory (CT) and approximate Bayesian computation (ABC) to build data-fitted landscape models. We first identify the candidate qualitative landscapes, and then use CT to build the simplest model consistent with the data, which we quantitatively fit using ABC. The resulting model suggests that the underlying mechanism is a quantifiable two-step decision controlled by EGF and Notch-Delta signals, where a non-vulval/vulval decision is followed by a bistable transition to the two vulval states. This new model fits a broad set of data and makes several novel predictions.     

Cell proliferation drives neural crest cell invasion of the intestine

A general mathematical model of cell invasion is developed and validated with an experimental system. The model incorporates two basic cell functions: non-directed (diffusive) motility and proliferation to a carrying capacity limit. The model is used here to investigate cell proliferation and motility differences along the axis of an invasion wave. Mathematical simulations yield surprising and counterintuitive predictions. In this general scenario, cells at the invasive front are proliferative and migrate into previously unoccupied tissues while those behind the front are essentially nonproliferative and do not directly migrate into unoccupied tissues. These differences are not innate to the cells, but are a function of proximity to uninvaded tissue. Therefore, proliferation at the invading front is the critical mechanism driving apparently directed invasion. An appropriate system to experimentally validate these predictions is the directional invasion and colonization of the gut by vagal neural crest cells that establish the enteric nervous system. An assay using gut organ culture with chick-quail grafting is used for this purpose. The experimental results are entirely concordant with the mathematical predictions. We conclude that proliferation at the wavefront is a key mechanism driving the invasive process. This has important implications not just for the neural crest, but for other invasion systems such as epidermal wound healing, carcinoma invasion and other developmental cell migrations.     

Idealized, Inaccurate but Successful: A Pragmatic Approach to Evaluating Models in Theoretical Ecology

Ecologists attempt to understand the diversity of life with mathematical models. Often, mathematical models contain simplifying idealizations designed to cope with the blooming, buzzing confusion of the natural world. This strategy frequently issues in models whose predictions are inaccurate. Critics of theoretical ecology argue that only predictively accurate models are successful and contribute to the applied work of conservation biologists. Hence, they think that much of the mathematical work of ecologists is poor science. Against this view, I argue that model building is successful even when models are predictively inaccurate for at least three reasons: models allow scientists to explore the possible behaviors of ecological systems; models give scientists simplified means by which they can investigate more complex systems by determining how the more complex system deviates from the simpler model; and models give scientists conceptual frameworks through which they can conduct experiments and fieldwork. Critics often mistake the purposes of model building, and once we recognize this, we can see their complaints are unjustified. Even though models in ecology are not always accurate in their assumptions and predictions, they still contribute to successful science.     

Investigation of Design Space for Freeze-Drying: Use of Modeling for Primary Drying Segment of a Freeze-Drying Cycle

In this work, we explore the idea of using mathematical models to build design space for the primary drying portion of freeze-drying process. We start by defining design space for freeze-drying, followed by defining critical quality attributes and critical process parameters. Then using mathematical model, we build an insilico design space. Input parameters to the model (heat transfer coefficient and mass transfer resistance) were obtained from separate experimental runs. Two lyophilization runs are conducted to verify the model predictions. This confirmation of the model predictions with experimental results added to the confidence in the insilico design space. This simple step-by-step approach allowed us to minimize the number of experimental runs (preliminary runs to calculate heat transfer coefficient and mass transfer resistance plus two additional experimental runs to verify model predictions) required to define the design space. The established design space can then be used to understand the influence of critical process parameters on the critical quality attributes for all future cycles.     

Spatial Uncertainty and Ecological Models

Applied ecological models that are used to understand and manage natural systems often rely on spatial data as input. Spatial uncertainty in these data can propagate into model predictions. Uncertainty analysis, sensitivity analysis, error analysis, error budget analysis, spatial decision analysis, and hypothesis testing using neutral models are all techniques designed to explore the relationship between variation in model inputs and variation in model predictions. Although similar methods can be used to answer them, these approaches address different questions. These approaches differ in (a) whether the focus is forward or backward (forward to evaluate the magnitude of variation in model predictions propagated or backward to rank input parameters by their influence); (b) whether the question involves model robustness to large variations in spatial pattern or to small deviations from a reference map; and (c) whether processes that generate input uncertainty (for example, cartographic error) are of interest. In this commentary, we propose a taxonomy of approaches, all of which clarify the relationship between spatial uncertainty and the predictions of ecological models. We describe existing techniques and indicate a few areas where research is needed.     

Practical limits for reverse engineering of dynamical systems: a statistical analysis of sensitivity and parameter inferability in systems biology models

The size and complexity of cellular systems make building predictive models an extremely difficult task. In principle dynamical time-course data can be used to elucidate the structure of the underlying molecular mechanisms, but a central and recurring problem is that many and very different models can be fitted to experimental data, especially when the latter are limited and subject to noise. Even given a model, estimating its parameters remains challenging in real-world systems. Here we present a comprehensive analysis of 180 systems biology models, which allows us to classify the parameters with respect to their contribution to the overall dynamical behaviour of the different systems. Our results reveal candidate elements of control in biochemical pathways that differentially contribute to dynamics. We introduce sensitivity profiles that concisely characterize parameter sensitivity and demonstrate how this can be connected to variability in data. Systematically linking data and model sloppiness allows us to extract features of dynamical systems that determine how well parameters can be estimated from time-course measurements, and associates the extent of data required for parameter inference with the model structure, and also with the global dynamical state of the system. The comprehensive analysis of so many systems biology models reaffirms the inability to estimate precisely most model or kinetic parameters as a generic feature of dynamical systems, and provides safe guidelines for performing better inferences and model predictions in the context of reverse engineering of mathematical models for biological systems.     

Climate and plant trait strategies determine tree carbon allocation to leaves and mediate future forest productivity

Forest leaf area has enormous leverage on the carbon cycle because it mediates both forest productivity and resilience to climate extremes. Despite widespread evidence that trees are capable of adjusting to changes in environment across both space and time through modifying carbon allocation to leaves, many vegetation models use fixed carbon allocation schemes independent of environment, which introduces large uncertainties into predictions of future forest responses to atmospheric CO₂ fertilization and anthropogenic climate change. Here, we develop an optimization‐based model, whereby tree carbon allocation to leaves is an emergent property of environment and plant hydraulic traits. Using a combination of meta‐analysis, observational datasets, and model predictions, we find strong evidence that optimal hydraulic–carbon coupling explains observed patterns in leaf allocation across large environmental and CO₂ concentration gradients. Furthermore, testing the sensitivity of leaf allocation strategy to a diversity in hydraulic and economic spectrum physiological traits, we show that plant hydraulic traits in particular have an enormous impact on the global change response of forest leaf area. Our results provide a rigorous theoretical underpinning for improving carbon cycle predictions through advancing model predictions of leaf area, and underscore that tree‐level carbon allocation to leaves should be derived from first principles using mechanistic plant hydraulic processes in the next generation of vegetation models.     

Assessing the Role of Parameter and Input Uncertainty in Ecohydrologic Modeling: Implications for a Semi-arid and Urbanizing Coastal California Catchment

Ecohydrologic models are a key tool in understanding plant–water interactions and their vulnerability to environmental change. Although implications of uncertainty in these models are often assessed within a strictly hydrologic context (for example, runoff modeling), the implications of uncertainty for estimation of vegetation water use are less frequently considered. We assess the influence of commonly used model parameters and inputs on predictions of catchment-scale evapotranspiration (ET) and runoff. By clarifying the implications of uncertainty, we identify strategies for insuring that the quality of data used to drive models is considered in interpretation of model predictions. Our assessment also provides insight into unique features of semi-arid, urbanizing watersheds that shape ET patterns. We consider four sources of uncertainty: soil parameters, irrigation inputs, and spatial extrapolation of both point precipitation and air temperature for an urbanizing, semi-arid coastal catchment in Santa Barbara, CA. Our results highlight a seasonal transition from soil parameters to irrigation inputs as key controls on ET. Both ET and runoff show substantial sensitivity to uncertainty in soil parameters, even after parameters have been calibrated against observed streamflow. Sensitivity to uncertainty in precipitation manifested primarily in winter runoff predictions, whereas sensitivity to irrigation manifested exclusively in modeled summer ET. Neither ET nor runoff was highly sensitive to uncertainty in spatial interpolation of temperature. Results argue that efforts to improve ecohydrologic modeling of vegetation water use and associated water-limited ecological processes in these semi-arid regions should focus on improving estimates of anthropogenic outdoor water use and explicit accounting of soil parameter uncertainty.     

Making predictive ecology more relevant to policy makers and practitioners

One of the aims of ecology is to aid policy makers and practitioners through the development of testable predictions of relevance to society. Here, we argue that this capacity can be improved in three ways. Firstly, by thinking more clearly about the priority issues using a range of methods including horizon scanning, identifying policy gaps, identifying priority questions and using evidence-based conservation to identify knowledge gaps. Secondly, by linking ecological models with models of other systems, such as economic and social models. Thirdly, by considering alternative approaches to generate and model data that use, for example, discrete or categorical states to model ecological systems. We particularly highlight that models are essential for making predictions. However, a key to the limitation in their use is the degree to which ecologists are able to communicate results to policy makers in a clear, useful and timely fashion.     

Mathematical modeling of ethanol production in solid-state fermentation based on solid medium’ dry weight variation

In this work, mathematical modeling of ethanol production in solid-state fermentation (SSF) has been done based on the variation in the dry weight of solid medium. This method was previously used for mathematical modeling of enzyme production; however, the model should be modified to predict the production of a volatile compound like ethanol. The experimental results of bioethanol production from the mixture of carob pods and wheat bran by Zymomonas mobilis in SSF were used for the model validation. Exponential and logistic kinetic models were used for modeling the growth of microorganism. In both cases, the model predictions matched well with the experimental results during the exponential growth phase, indicating the good ability of solid medium weight variation method for modeling a volatile product formation in solid-state fermentation. In addition, using logistic model, better predictions were obtained.     

Fracture prediction for the proximal femur using finite element models: Part I--Linear analysis.

Over 90 percent of the more than 250,000 hip fractures that occur annually in the United States are the result of falls from standing height. Despite this, the stresses associated with femoral fracture from a fall have not been investigated previously. Our objectives were to use three-dimensional finite element models of the proximal femur (with geometries and material properties based directly on quantitative computed tomography) to compare predicted stress distributions for one-legged stance and for a fall to the lateral greater trochanter. We also wished to test the correspondence between model predictions and in vitro strain gage data and failure loads for cadaveric femora subjected to these loading conditions. An additional goal was to use the model predictions to compare the sensitivity of several imaging sites in the proximal femur which are used for the in vivo prediction of hip fracture risk. In this first of two parts, linear finite element models of two unpaired human cadaveric femora were generated. In Part II, the models were extended to include nonlinear material properties for the cortical and trabecular bone. While there was poor correspondence between strain gage data and model predictions, there was excellent agreement between the in vitro failure data and the linear model, especially using a von Mises effective strain failure criterion. Both the onset of structural yielding (within 22 and 4 percent) and the load at fracture (within 8 and 5 percent) were predicted accurately for the two femora tested. For the simulation of one-legged stance, the peak stresses occurred in the primary compressive trabeculae of the subcapital region.(ABSTRACT TRUNCATED AT 250 WORDS)