Global analysis of dynamical decision-making models through local computation around the hidden saddle

Bistable dynamical switches are frequently encountered in mathematical modeling of biological systems because binary decisions are at the core of many cellular processes. Bistable switches present two stable steady-states, each of them corresponding to a distinct decision. In response to a transient signal, the system can flip back and forth between these two stable steady-states, switching between both decisions. Understanding which parameters and states affect this switch between stable states may shed light on the mechanisms underlying the decision-making process. Yet, answering such a question involves analyzing the global dynamical (i.e., transient) behavior of a nonlinear, possibly high dimensional model. In this paper, we show how a local analysis at a particular equilibrium point of bistable systems is highly relevant to understand the global properties of the switching system. The local analysis is performed at the saddle point, an often disregarded equilibrium point of bistable models but which is shown to be a key ruler of the decision-making process. Results are illustrated on three previously published models of biological switches: two models of apoptosis, the programmed cell death and one model of long-term potentiation, a phenomenon underlying synaptic plasticity. © 2012 Trotta et al.

The user-value of rural electrification: An analysis and adoption of existing models and theories

User-value is a determining factor for product acceptance in product design. Research on rural electrification to date, however, does not draw sufficient attention to the importance of user-value with regard to the overall success of a project. This is evident from the analysis of project reports and applicable indicators from agencies active in the sector. Learning from the design, psychology and sociology literatures, it is important that rural electrification projects incorporate the value perception of the end-user and extend their success beyond the commonly used criteria of financial value, the appropriateness of the technology, capacity building and technology uptake. Creating value for the end-user is particularly important for project acceptance and the sustainability of a scheme once it has been handed over to the local community. In this research paper, existing theories and models of value-theory are transposed and applied to community operated rural electrification schemes and a user-value framework is developed. Furthermore, the importance of value to the end-user is clarified. Current literature on product design reveals that user-value has different properties, many of which are applicable to rural electrification. Five value pillars and their sub-categories important for the users of rural electrification projects are identified, namely: functional; social significance; epistemic; emotional; and cultural values. These pillars provide the main structure for the conceptual framework developed in this research paper. It is proposed that by targeting the values of the end-user, the key factors of user-value applicable to rural electrification projects will be identified and the sustainability of the project will be better ensured. © 2014 The Authors.

Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot

Planner is a formalism for proving theorems and manipulating models in a robot. The formalism is built out of a number of problem-solving primitives together with a hierarchical multiprocess backtrack control structure. Statements can be asserted and perhaps later withdrawn as the state of the world changes. Under BACKTRACK control structure, the hierarchy of activations of functions previously executed is maintained so that it is possible to revert to any previous state. Thus programs can easily manipulate elaborate hypothetical tentative states. In addition PLANNER uses multiprocessing so that there can be multiple loci of changes in state. Goals can be established and dismissed when they are satisfied. The deductive system of PLANNER is subordinate to the hierarchical control structure in order to maintain the desired degree of control. The use of a general-purpose matching language as the basis of the deductive system increases the flexibility of the system. Instead of explicitly naming procedures in calls, procedures can be invoked implicitly by patterns of what the procedure is supposed to accomplish. The language is being applied to solve problems faced by a robot, to write special purpose routines from goal oriented language, to express and prove properties of procedures, to abstract procedures from protocols of their actions, and as a semantic base for English.

Qualitative Circuit Models in Failure Analysis Reasoning

Lee M.H., Qualitative Circuit Models in Failure Analysis Reasoning, AI Journal. vol 111, pp239-276.1999.

Molecular analysis of inflammatory mechanisms associated with Escherichia coli and inflammatory bowel diseases

Inflammatory bowel diseases (IBD), encompasses a range of chronic, immune-mediated inflammatory disorders that are usually classified under two major relapsing conditions, Crohn’s Disease (CD) and ulcerative colitis (UC). Extensive studies in the last decades have suggested that the etiology of IBD involves environmental and genetic factors that lead to dysfunction of epithelial barrier with consequent deregulation of the mucosal immune system and inadequate responses to gut microbiota.Over the last decade, the microbial species that has attracted the most attention, with respect to CD etiology, is Eschericia coli. In CD tissue, E. coli antigens have also been identified in macrophages within the lamina propria, granulomas, and in the germinal centres of mesenteric lymph nodes of patients. They have been shown to adhere to and invade intestinal epithelial cells whilst also being able to extensively replicate within macrophages. Through the work of genome-wide association studies (GWAS), there is growing evidence to suggest that the microbial imbalance between commensal and pathogenic bacteria in the gut is aided by a defect in the innate immune system. Autophagy represents a recently investigated pathway that is believed to contribute to the pathogenesis of CD, with studies identified a variant of the autophagy gene, ATG16L1, as a susceptibility gene. The aim of my thesis was to study the cellular and molecular mechanism promoted by E.coli strains in epithelial cells and to assess their contribution to IBD pathology. To achieve this we focused on developing both an in vitro and in vivo model of AIEC infection. This allowed us to further our knowledge on possible mechanisms utilised by AIEC that promoted their survival, as well as developing a better understanding of host reactions. We demonstrate a new survival mechanism promoted by E.coli HM605, whereby it induces the expression of the anti-apoptotic proteins Bcl-XL and BCL2, all of which is exacerbated in an autophagy deficient system. We have also demonstrated the presence of AIEC-induced inflammasome responses in epithelial cells which are exacerbated in an autophagy deficient system and expression of NOD-like receptors (NLRs) which might mediate inflammasome responses in vivo. Finally, we used the Citrobacter rodentium model of infectious colitis to identify Pellino3 as an important mediator in the NOD2 pathway and regulator of intestinal inflammation. In summary, we have developed robust and versatile models of AIEC infection as well as provide new insights into AIEC mediated survival pathways. The collected data provides a new perception into why AIEC bacteria are able to prosper in conditions associated with Crohn’s disease patients with a defect in autophagy.

Evaluation of tumor response, disease control, progression-free survival, and time to progression as potential surrogate end points in metastatic breast cancer.

PURPOSE: Overall survival (OS) can be observed only after prolonged follow-up, and any potential effect of first-line therapies on OS may be confounded by the effects of subsequent therapy. We investigated whether tumor response, disease control, progression-free survival (PFS), or time to progression (TTP) could be considered a valid surrogate for OS to assess the benefits of first-line therapies for patients with metastatic breast cancer. PATIENTS AND METHODS: Individual patient data were collected on 3,953 patients in 11 randomized trials that compared an anthracycline (alone or in combination) with a taxane (alone or in combination with an anthracycline). Surrogacy was assessed through the correlation between the end points as well as through the correlation between the treatment effects on the end points. RESULTS: Tumor response (survival odds ratio [OR], 6.2; 95% CI, 5.3 to 7.0) and disease control (survival OR, 5.5; 95% CI, 4.8 to 6.3) were strongly associated with OS. PFS (rank correlation coefficient, 0.688; 95% CI, 0.686 to 0.690) and TTP (rank correlation coefficient, 0.682; 95% CI, 0.680 to 0.684) were moderately associated with OS. Response log ORs were strongly correlated with PFS log hazard ratios (linear coefficient [rho], 0.96; 95% CI, 0.73 to 1.19). Response and disease control log ORs and PFS and TTP log hazard ratios were poorly correlated with log hazard ratios for OS, but the confidence limits of rho were too wide to be informative. CONCLUSION: No end point could be demonstrated as a good surrogate for OS in these trials. Tumor response may be an acceptable surrogate for PFS.

Adaptive Mixture Modelling Metropolis Methods for Bayesian Analysis of Non-linear State-Space Models.

We describe a strategy for Markov chain Monte Carlo analysis of non-linear, non-Gaussian state-space models involving batch analysis for inference on dynamic, latent state variables and fixed model parameters. The key innovation is a Metropolis-Hastings method for the time series of state variables based on sequential approximation of filtering and smoothing densities using normal mixtures. These mixtures are propagated through the non-linearities using an accurate, local mixture approximation method, and we use a regenerating procedure to deal with potential degeneracy of mixture components. This provides accurate, direct approximations to sequential filtering and retrospective smoothing distributions, and hence a useful construction of global Metropolis proposal distributions for simulation of posteriors for the set of states. This analysis is embedded within a Gibbs sampler to include uncertain fixed parameters. We give an example motivated by an application in systems biology. Supplemental materials provide an example based on a stochastic volatility model as well as MATLAB code.

Missing data in randomized clinical trials for weight loss: scope of the problem, state of the field, and performance of statistical methods.

BACKGROUND: Dropouts and missing data are nearly-ubiquitous in obesity randomized controlled trails, threatening validity and generalizability of conclusions. Herein, we meta-analytically evaluate the extent of missing data, the frequency with which various analytic methods are employed to accommodate dropouts, and the performance of multiple statistical methods. METHODOLOGY/PRINCIPAL FINDINGS: We searched PubMed and Cochrane databases (2000-2006) for articles published in English and manually searched bibliographic references. Articles of pharmaceutical randomized controlled trials with weight loss or weight gain prevention as major endpoints were included. Two authors independently reviewed each publication for inclusion. 121 articles met the inclusion criteria. Two authors independently extracted treatment, sample size, drop-out rates, study duration, and statistical method used to handle missing data from all articles and resolved disagreements by consensus. In the meta-analysis, drop-out rates were substantial with the survival (non-dropout) rates being approximated by an exponential decay curve (e(-lambdat)) where lambda was estimated to be .0088 (95% bootstrap confidence interval: .0076 to .0100) and t represents time in weeks. The estimated drop-out rate at 1 year was 37%. Most studies used last observation carried forward as the primary analytic method to handle missing data. We also obtained 12 raw obesity randomized controlled trial datasets for empirical analyses. Analyses of raw randomized controlled trial data suggested that both mixed models and multiple imputation performed well, but that multiple imputation may be more robust when missing data are extensive. CONCLUSION/SIGNIFICANCE: Our analysis offers an equation for predictions of dropout rates useful for future study planning. Our raw data analyses suggests that multiple imputation is better than other methods for handling missing data in obesity randomized controlled trials, followed closely by mixed models. We suggest these methods supplant last observation carried forward as the primary method of analysis.

Bayesian Analysis of Latent Threshold Dynamic Models

We discuss a general approach to dynamic sparsity modeling in multivariate time series analysis. Time-varying parameters are linked to latent processes that are thresholded to induce zero values adaptively, providing natural mechanisms for dynamic variable inclusion/selection. We discuss Bayesian model specification, analysis and prediction in dynamic regressions, time-varying vector autoregressions, and multivariate volatility models using latent thresholding. Application to a topical macroeconomic time series problem illustrates some of the benefits of the approach in terms of statistical and economic interpretations as well as improved predictions. Supplementary materials for this article are available online. © 2013 Copyright Taylor and Francis Group, LLC.

An analysis of human behaviour during aircraft evacuation situations using the AASK v3.0 database

The Aircraft Accident Statistics and Knowledge (AASK) database is a repository of survivor accounts from aviation accidents. Its main purpose is to store observational and anecdotal data from the actual interviews of the occupants involved in aircraft accidents. The database has wide application to aviation safety analysis, being a source of factual data regarding the evacuation process. It is also key to the development of aircraft evacuation models such as airEXODUS, where insight into how people actually behave during evacuation from survivable aircraft crashes is required. This paper describes recent developments with the database leading to the development of AASK v3.0. These include significantly increasing the number of passenger accounts in the database, the introduction of cabin crew accounts, the introduction of fatality information, improved functionality through the seat plan viewer utility and improved ease of access to the database via the internet. In addition, the paper demonstrates the use of the database by investigating a number of important issues associated with aircraft evacuation. These include issues associated with social bonding and evacuation, the relationship between the number of crew and evacuation efficiency, frequency of exit/slide failures in accidents and exploring possible relationships between seating location and chances of survival. Finally, the passenger behavioural trends described in analysis undertaken with the earlier database are confirmed with the wider data set.

Analysis of the structural characteristics of an intermediate rail vehicle and their effect on vehicle crash performance

In the current paper, the authors present an analysis of the structural characteristics of an intermediate rail vehicle and their effects on crash performance of the vehicle. Theirs is a simulation based analysis involving four stages. First, the crashworthiness of the vehicle is assessed by simulating an impact of the vehicle with a rigid wall. Second, the structural characteristics of the vehicle are analysed based on the structural behaviour during this impact and then the structure is modified. Third, the modified vehicle is tested again in the same impact scenario with a rigid wall. Finally, the modified vehicle is subjected to a modelled head-on impact which mirrors the real-life impact interface between two intermediate vehicles in a train impact. The emphasis of the current study is on the structural characteristics of the intermediate vehicle and the differences compared to an impact of a leading vehicle. The study shows that, similar to a leading vehicle, bending, or jackknifing is a main form of failure in this conventionally designed intermediate vehicle. It has also been found that the location of the door openings creates a major difference in the behaviour of an intermediate vehicle. It causes instability of the vehicle in the door area and leads to high stresses at the joint of the end beam with the solebar and shear stresses at the joint of the inner pillar with the cantrail. Apart from this, the shapes of the vehicle ends and impact interfaces are also different and have an effect on the crash performance of the vehicles. The simulation results allow the identification of the structural characteristics and show the effectiveness of relevant modifications. The conclusions have general relevance for the crashworthiness of rail vehicle design

Effects on zooplankton of a warmer ocean: Recent evidence from the Northeast Pacific

The consequences for pelagic communities of warming trends in mid and high latitude ocean regions could be substantial, but their magnitude and trajectory are not yet known. Environmental changes predicted by climate models (and beginning to be confirmed by observations) include warming and freshening of the upper ocean and reduction in the extent and duration of ice cover. One way to evaluate response scenarios is by comparing how "similar" zooplankton communities have differed among years and/or locations with differing temperature. The subarctic Pacific is a strong candidate for such comparisons, because the same mix of zooplankton species dominates over a wide range of temperature climatologies, and observations have spanned substantial temperature variability at interannual-to-decadal time scales. In this paper, we review and extend copepod abundance and phenology time series from net tow and Continuous Plankton Recorder surveys in the subarctic Northeast Pacific. The two strongest responses we have observed are latitudinal shifts in centers of abundance of many species (poleward under warm conditions), and changes in the life cycle timing of Neocalanus plumchrus in both oceanic and coastal regions (earlier by several weeks in warm years and at warmer locations). These zooplankton data, plus indices of higher trophic level responses such as reproduction, growth and survival of pelagic fish and seabirds, are all moderately-to-strongly intercorrelated (vertical bar r vertical bar = 0.25-0.8) with indices of local and basin-scale temperature anomalies. A principal components analysis of the normalized anomaly time series from 1979 to 2004 shows that a single "warm-and-low-productivity" vs. "cool-and-high-productivity" component axis accounts for over half of the variance/covariance. Prior to 1990, the scores for this component were negative ("cool" and "productive") or near zero except positive in the El Nino years 1983 and 1987. The scores were strongly and increasingly positive ("warm" and "low productivity") from 1992 to 1998; negative from 1999 to 2002; and again increasingly positive from 2003-present. We suggest that, in strongly seasonal environments, anomalously high temperature may provide misleading environmental cues that contribute to timing mismatch between life history events and the more-nearly-fixed seasonality of insolation, stratification, and food supply. Crown Copyright (c) 2007 Published by Elsevier Ltd. All rights reserved.