RESUMEN

BACKGROUND: Computational models in systems biology are becoming more important with the advancement of experimental techniques to query the mechanistic details responsible for leading to phenotypes of interest. In particular, Boolean models are well fit to describe the complexity of signaling networks while being simple enough to scale to a very large number of components. With the advance of Boolean model inference techniques, the field is transforming from an artisanal way of building models of moderate size to a more automatized one, leading to very large models. In this context, adapting the simulation software for such increases in complexity is crucial. RESULTS: We present two new developments in the continuous time Boolean simulators: MaBoSS.MPI, a parallel implementation of MaBoSS which can exploit the computational power of very large CPU clusters, and MaBoSS.GPU, which can use GPU accelerators to perform these simulations. CONCLUSION: These implementations enable simulation and exploration of the behavior of very large models, thus becoming a valuable analysis tool for the systems biology community.

Asunto(s)

RESUMEN

The microstructure of heterogeneous catalysts often consists of multiscale aggregates of nanoparticles, some of which are highly anisotropic. Therefore, small-angle X-ray scattering, in classical or anomalous mode, is a valuable tool to characterize this kind of material. Yet, the classical exploitation of the scattered intensities through form and structure factors or by means of Boolean models of spheres is questionable. Here, it is proposed to interpret the scattered intensities through the use of multiscale Boolean models of spheroids. The numerical procedure to compute scattered intensities of such models is given and then validated on asymptotic diluted Boolean models, and its applicability is demonstrated for the characterization of alumina catalyst supports.

RESUMEN

Cyclic attractors generated from Boolean models may explain the adaptability of a cell in response to a dynamical complex tumor microenvironment. In contrast to this idea, we postulate that cyclic attractors in certain cases could be a systemic mechanism to face the perturbations coming from the environment. To justify our conjecture, we present a dynamic analysis of a highly curated transcriptional regulatory network of macrophages constrained into a cancer microenvironment. We observed that when M1-associated transcription factors (STAT1 or NF-κB) are perturbed and the microenvironment balances to a hyper-inflammation condition, cycle attractors activate genes whose signals counteract this effect implicated in tissue damage. The same behavior happens when the M2-associated transcription factors are disturbed (STAT3 or STAT6); cycle attractors will prevent a hyper-regulation scenario implicated in providing a suitable environment for tumor growth. Therefore, here we propose that cyclic macrophage phenotypes can serve as a reservoir for balancing the phenotypes when a specific phenotype-based transcription factor is perturbed in the regulatory network of macrophages. We consider that cyclic attractors should not be simply ignored, but it is necessary to carefully evaluate their biological importance. In this work, we suggest one conjecture: the cyclic attractors can serve as a reservoir to balance the inflammatory/regulatory response of the network under external perturbations.

Asunto(s)

Asunto(s)

RESUMEN

Soft nanomaterials like aerogels are subject to thermal fluctuations, so that their structure randomly fluctuates with time. Neutron elastic and inelastic scattering experiments provide unique structural and dynamic information on such systems with nanometer and nanosecond resolution. The data, however, come in the form of space- and time-correlation functions, and models are required to convert them into time-dependent structures. We present here a general time-dependent stochastic model of hierarchical structures, with scale-invariant fractals as a particular case, which enables one to jointly analyze elastic and inelastic scattering data. In order to describe thermal fluctuations, the model builds on time-dependent generalisations of the Boolean model of penetrable spheres, whereby each sphere is allowed to move either ballistically or diffusively. Analytical expressions are obtained for the correlation functions, which can be used for data fitting. The model is then used to jointly analyze previously published small-angle neutron scattering (SANS) and neutron spin-echo (NSE) data measured on silica aerogels. In addition to structural differences, the approach provides insight into the different scale-dependent mobility of the aggregates that make up the aerogels, in relation with their different connectivities.

RESUMEN

The balance between pro- and anti-inflammatory immune system responses is crucial to face and counteract complex diseases such as cancer. Macrophages are an essential population that contributes to this balance in collusion with the local tumor microenvironment. Cancer cells evade the attack of macrophages by liberating cytokines and enhancing the transition to the M2 phenotype with pro-tumoral functions. Despite this pernicious effect on immune systems, the M1 phenotype still exists in the environment and can eliminate tumor cells by liberating cytokines that recruit and activate the cytotoxic actions of TH1 effector cells. Here, we used a Boolean modeling approach to understand how the tumor microenvironment shapes macrophage behavior to enhance pro-tumoral functions. Our network reconstruction integrates experimental data and public information that let us study the polarization from monocytes to M1, M2a, M2b, M2c, and M2d subphenotypes. To analyze the dynamics of our model, we modeled macrophage polarization in different conditions and perturbations. Notably, our study identified new hybrid cell populations, undescribed before. Based on the in vivo macrophage behavior, we explained the hybrid macrophages' role in the tumor microenvironment. The in silico model allowed us to postulate transcriptional factors that maintain the balance between macrophages with anti- and pro-tumoral functions. In our pursuit to maintain the balance of macrophage phenotypes to eliminate malignant tumor cells, we emulated a theoretical genetically modified macrophage by modifying the activation of NFκB and a loss of function in HIF1-α and discussed their phenotype implications. Overall, our theoretical approach is as a guide to design new experiments for unraveling the principles of the dual host-protective or -harmful antagonistic roles of transitional macrophages in tumor immunoediting and cancer cell fate decisions.

Asunto(s)

RESUMEN

Qualitative modeling approaches are promising and still underexploited tools for the analysis and design of synthetic circuits. They can make predictions of circuit behavior in the absence of precise, quantitative information. Moreover, they provide direct insight into the relation between the feedback structure and the dynamical properties of a network. We review qualitative modeling approaches by focusing on two specific formalisms, Boolean networks and piecewise-linear differential equations, and illustrate their application by means of three well-known synthetic circuits. We describe various methods for the analysis of state transition graphs, discrete representations of the network dynamics that are generated in both modeling frameworks. We also briefly present the problem of controlling synthetic circuits, an emerging topic that could profit from the capacity of qualitative modeling approaches to rapidly scan a space of design alternatives.

Asunto(s)

RESUMEN

At the crossroad between biology and mathematical modeling, computational systems biology can contribute to a mechanistic understanding of high-level biological phenomenon. But as knowledge accumulates, the size and complexity of mathematical models increase, calling for the development of efficient dynamical analysis methods. Here, we propose the use of two approaches for the development and analysis of complex cellular network models. A first approach, called "model verification" and inspired by unitary testing in software development, enables the formalization and automated verification of validation criteria for whole models or selected sub-parts. When combined with efficient analysis methods, this approach is suitable for continuous testing, thereby greatly facilitating model development. A second approach, called "value propagation," enables efficient analytical computation of the impact of specific environmental or genetic conditions on the dynamical behavior of some models. We apply these two approaches to the delineation and the analysis of a comprehensive model for T cell activation, taking into account CTLA4 and PD-1 checkpoint inhibitory pathways. While model verification greatly eases the delineation of logical rules complying with a set of dynamical specifications, propagation provides interesting insights into the different potential of CTLA4 and PD-1 immunotherapies. Both methods are implemented and made available in the all-inclusive CoLoMoTo Docker image, while the different steps of the model analysis are fully reported in two companion interactive jupyter notebooks, thereby ensuring the reproduction of our results.

RESUMEN

Alzheimer's disease (AD) is an age-specific neurodegenerative disease that compromises cognitive functioning and impacts the quality of life of an individual. Pathologically, AD is characterised by abnormal accumulation of beta-amyloid (Aß) and hyperphosphorylated tau protein. Despite research advances over the last few decades, there is currently still no cure for AD. Although, medications are available to control some behavioural symptoms and slow the disease's progression, most prescribed medications are based on cholinesterase inhibitors. Over the last decade, there has been increased attention towards novel drugs, targeting alternative neurotransmitter pathways, particularly those targeting serotonergic (5-HT) system. In this review, we focused on 5-HT receptor (5-HTR) mediated signalling and drugs that target these receptors. These pathways regulate key proteins and kinases such as GSK-3 that are associated with abnormal levels of Aß and tau in AD. We then review computational studies related to 5-HT signalling pathways with the potential for providing deeper understanding of AD pathologies. In particular, we suggest that multiscale and multilevel modelling approaches could potentially provide new insights into AD mechanisms, and towards discovering novel 5-HTR based therapeutic targets.

Asunto(s)

RESUMEN

Living beings share several common features at the molecular level, but there are very few large-scale "operating principles" which hold for all (or almost all) organisms. However, biology is subject to a deluge of data, and as such, general concepts such as this would be extremely valuable. One interesting candidate is the "criticality" principle, which claims that biological evolution favors those dynamical regimes that are intermediaries between ordered and disordered states (i.e., "at the edge of chaos"). The reasons why this should be the case and experimental evidence are briefly discussed, observing that gene regulatory networks are indeed often found on, or close to, the critical boundaries. Therefore, assuming that criticality provides an edge, it is important to ascertain whether systems that are critical can further evolve while remaining critical. In order to explore the possibility of achieving such "always-critical" evolution, we resort to simulated evolution, by suitably modifying a genetic algorithm in such a way that the newly-generated individuals are constrained to be critical. It is then shown that these modified genetic algorithms can actually develop critical gene regulatory networks with two interesting (and quite different) features of biological significance, involving, in one case, the average gene activation values and, in the other case, the response to perturbations. These two cases suggest that it is often possible to evolve networks with interesting properties without losing the advantages of criticality. The evolved networks also show some interesting features which are discussed.

RESUMEN

Biological systems are difficult to understand complex systems. Scientists continue to create models to simulate biological systems but these models are complex too; for this reason, new reduction methods to simplify complex biological models into simpler ones are increasingly needed. In this paper, we present a way of reducing complex quantitative (continuous) models into logical models based on time windows of system activity and logical (Boolean) models. Time windows were used to define slow and fast activity areas. We use the proposed approach to reduce a continuous ODE model into a logical model describing the G1/S checkpoint with and without DNA damage as a case study. We show that the temporal unfolding of this signalling system can be broken down into three time windows where only two display high level of activity and the other shows little or no activity. The two active windows represent a cell committing to cell cycle and making the G1/S transition, respectively, the two most important high level functions of cell cycle in the G1 phase. Therefore, we developed two models to represent these time windows to reduce time complexity and used Boolean approach to reduce interaction complexity in the ODE model in the respective time windows. The developed reduced models correctly produced the commitment to cell cycle and G1/S transfer through the expected behavior of signalling molecules involved in these processes. As most biological models have a large number of fast reactions and a relatively smaller number of slow reactions, we believe that the proposed approach could be suitable for representing many, if not all biological signalling networks. The approach presented in this study greatly helps in simplifying complex continuous models (ODE models) into simpler models. Moreover, it will also assist scientists build models concentrating on understanding and representing system behavior rather than setting values for a large number of kinetic parameters.

Asunto(s)

RESUMEN

Over the last twenty years advances in systems biology have changed our views on microbial communities and promise to revolutionize treatment of human diseases. In almost all scientific breakthroughs since time of Newton, mathematical modeling has played a prominent role. Regulatory networks emerged as preferred descriptors of how abundances of molecular species depend on each other. However, the central question on how cellular phenotypes emerge from dynamics of these network remains elusive. The principal reason is that differential equation models in the field of biology (while so successful in areas of physics and physical chemistry), do not arise from first principles, and these models suffer from lack of proper parameterization. In response to these challenges, discrete time models based on Boolean networks have been developed. In this review, we discuss an emerging modeling paradigm that combines ideas from differential equations and Boolean models, and has been developed independently within dynamical systems and computer science communities. The result is an approach that can associate a range of potential dynamical behaviors to a network, arrange the descriptors of the dynamics in a searchable database, and allows for multi-parameter exploration of the dynamics akin to bifurcation theory. Since this approach is computationally accessible for moderately sized networks, it allows, perhaps for the first time, to rationally compare different network topologies based on their dynamics.

Asunto(s)

RESUMEN

We consider a dynamic framework frequently used to model gene regulatory and signal transduction networks: monotonic ODEs that are composed of Hill functions. We derive conditions under which activity or inactivity in one system variable induces and sustains activity or inactivity in another. Cycles of such influences correspond to positive feedback loops that are self-sustaining and control-robust, in the sense that these feedback loops "trap" the system in a region of state space from which it cannot exit, even if the other system variables are externally controlled. To demonstrate the utility of this result, we consider prototypical examples of bistability and hysteresis in gene regulatory networks, and analyze a T-cell signal transduction ODE model from the literature.

Asunto(s)

RESUMEN

The development of network inference methodologies that accurately predict connectivity in dysregulated pathways may enable the rational selection of patient therapies. Accurately inferring an intracellular network from data remains a very challenging problem in molecular systems biology. Living cells integrate extremely robust circuits that exhibit significant heterogeneity, but still respond to external stimuli in predictable ways. This phenomenon allows us to introduce a network inference methodology that integrates measurements of protein activation from perturbation experiments. The methodology relies on logic-based networks to provide a predictive approximation of the transfer of signals in a network. The approach presented was validated in silico with a set of test networks and applied to investigate the epidermal growth factor receptor signaling of a breast epithelial cell line, MFC10A. In our analysis, we predict the potential signaling circuitry most likely responsible for the experimental readouts of several proteins in the mitogen-activated protein kinase and phosphatidylinositol-3 kinase pathways. The approach can also be used to identify additional necessary perturbation experiments to distinguish between a set of possible candidate networks.

Asunto(s)

RESUMEN

In order to increase our understanding of biological dependencies in plant immune signaling pathways, the known interactions involved in plant immune networks are modeled. This allows computational analysis to predict the functions of growth related hormones in plant-pathogen interaction. The SQUAD (Standardized Qualitative Dynamical Systems) algorithm first determines stable system states in the network and then use them to compute continuous dynamical system states. Our reconstructed Boolean model encompassing hormone immune networks of Arabidopsis thaliana (Arabidopsis) and pathogenicity factors injected by model pathogen Pseudomonas syringae pv. tomato DC3000 (Pst DC3000) can be exploited to determine the impact of growth hormones in plant immunity. We describe a detailed working protocol how to use the modified SQUAD-package by exemplifying the contrasting effects of auxin and cytokinins in shaping plant-pathogen interaction.

Asunto(s)

RESUMEN

BACKGROUND: Tumorigenic transformation of human epithelial cells in vitro has been described experimentally as the potential result of spontaneous immortalization. This process is characterized by a series of cell-state transitions, in which normal epithelial cells acquire first a senescent state which is later surpassed to attain a mesenchymal stem-like phenotype with a potentially tumorigenic behavior. In this paper we aim to provide a system-level mechanistic explanation to the emergence of these cell types, and to the time-ordered transition patterns that are common to neoplasias of epithelial origin. To this end, we first integrate published functional and well-curated molecular data of the components and interactions that have been found to be involved in such cell states and transitions into a network of 41 molecular components. We then reduce this initial network by removing simple mediators (i.e., linear pathways), and formalize the resulting regulatory core into logical rules that govern the dynamics of each of the network components as a function of the states of its regulators. RESULTS: Computational dynamic analysis shows that our proposed Gene Regulatory Network model recovers exactly three attractors, each of them defined by a specific gene expression profile that corresponds to the epithelial, senescent, and mesenchymal stem-like cellular phenotypes, respectively. We show that although a mesenchymal stem-like state can be attained even under unperturbed physiological conditions, the likelihood of converging to this state is increased when pro-inflammatory conditions are simulated, providing a systems-level mechanistic explanation for the carcinogenic role of chronic inflammatory conditions observed in the clinic. We also found that the regulatory core yields an epigenetic landscape that restricts temporal patterns of progression between the steady states, such that recovered patterns resemble the time-ordered transitions observed during the spontaneous immortalization of epithelial cells, both in vivo and in vitro. CONCLUSION: Our study strongly suggests that the in vitro tumorigenic transformation of epithelial cells, which strongly correlates with the patterns observed during the pathological progression of epithelial carcinogenesis in vivo, emerges from underlying regulatory networks involved in epithelial trans-differentiation during development.

Asunto(s)

RESUMEN

What is the minimal set of cell-biological ingredients needed to generate a Golgi apparatus? The compositions of eukaryotic organelles arise through a process of molecular exchange via vesicle traffic. Here we statistically sample tens of thousands of homeostatic vesicle traffic networks generated by realistic molecular rules governing vesicle budding and fusion. Remarkably, the plurality of these networks contain chains of compartments that undergo creation, compositional maturation, and dissipation, coupled by molecular recycling along retrograde vesicles. This motif precisely matches the cisternal maturation model of the Golgi, which was developed to explain many observed aspects of the eukaryotic secretory pathway. In our analysis cisternal maturation is a robust consequence of vesicle traffic homeostasis, independent of the underlying details of molecular interactions or spatial stacking. This architecture may have been exapted rather than selected for its role in the secretion of large cargo.

Asunto(s)

RESUMEN

Microbial eukaryotes present a stunning diversity of endomembrane organization. From specialized secretory organelles such as the rhoptries and micronemes of apicomplexans, to peroxisome-derived metabolic compartments such as the glycosomes of kinetoplastids, different microbial taxa have explored different solutions to the compartmentalization and processing of cargo. The basic secretory and endocytic system, comprising the ER, Golgi, endosomes, and plasma membrane, as well as diverse taxon-specific specialized endomembrane organelles, are coupled by a complex network of cargo transport via vesicle traffic. It is tempting to connect form to function, ascribing biochemical roles to each compartment and vesicle of such a system. Here we argue that traffic systems of high complexity could arise through non-adaptive mechanisms via purely physical constraints, and subsequently be exapted for various taxon-specific functions. Our argument is based on a Boolean mathematical model of vesicle traffic: we specify rules of how compartments exchange vesicles; these rules then generate hypothetical cells with different types of endomembrane organization. Though one could imagine a large number of hypothetical vesicle traffic systems, very few of these are consistent with molecular interactions. Such molecular constraints are the bottleneck of a metaphorical hourglass, and the rules that make it through the bottleneck are expected to generate cells with many special properties. Sampling at random from among such rules represents an evolutionary null hypothesis: any properties of the resulting cells must be non-adaptive. We show by example that vesicle traffic systems generated in this random manner are reminiscent of the complex trafficking apparatus of real cells.

Asunto(s)

RESUMEN

A general method is proposed to model 3D microstructures representative of three-phases anode layers used in fuel cells. The models are based on SEM images of cells with varying morphologies. The materials are first characterized using three morphological measurements: (cross-)covariances, granulometry and linear erosion. They are measured on segmented SEM images, for each of the three phases. Second, a generic model for three-phases materials is proposed. The model is based on two independent underlying random sets which are otherwise arbitrary. The validity of this model is verified using the cross-covariance functions of the various phases. In a third step, several types of Boolean random sets and plurigaussian models are considered for the unknown underlying random sets. Overall, good agreement is found between the SEM images and three-phases models based on plurigaussian random sets, for all morphological measurements considered in the present work: covariances, granulometry and linear erosion. The spatial distribution and shapes of the phases produced by the plurigaussian model are visually very close to the real material. Furthermore, the proposed models require no numerical optimization and are straightforward to generate using the covariance functions measured on the SEM images.