118 research outputs found
Computational Modeling, Formal Analysis, and Tools for Systems Biology.
As the amount of biological data in the public domain grows, so does the range of modeling and analysis techniques employed in systems biology. In recent years, a number of theoretical computer science developments have enabled modeling methodology to keep pace. The growing interest in systems biology in executable models and their analysis has necessitated the borrowing of terms and methods from computer science, such as formal analysis, model checking, static analysis, and runtime verification. Here, we discuss the most important and exciting computational methods and tools currently available to systems biologists. We believe that a deeper understanding of the concepts and theory highlighted in this review will produce better software practice, improved investigation of complex biological processes, and even new ideas and better feedback into computer science
Recommended from our members
Personalisable Clinical Decision Support System.
We introduce a Clinical Decision Support System (CDSS) as an operation of translational medicine. It is based on random forests, is personalisable and allows a clear insight into the decision making process. A well-structured rule set is created and every rule of the decision making process can be observed by the user (physician). Furthermore, the user has an impact on the creation of the final rule set and the algorithm allows the comparison of different diseases as well as regional differences in the same disease
Predictive analytics of environmental adaptability in multi-omic network models.
Bacterial phenotypic traits and lifestyles in response to diverse environmental conditions depend on changes in the internal molecular environment. However, predicting bacterial adaptability is still difficult outside of laboratory controlled conditions. Many molecular levels can contribute to the adaptation to a changing environment: pathway structure, codon usage, metabolism. To measure adaptability to changing environmental conditions and over time, we develop a multi-omic model of Escherichia coli that accounts for metabolism, gene expression and codon usage at both transcription and translation levels. After the integration of multiple omics into the model, we propose a multiobjective optimization algorithm to find the allowable and optimal metabolic phenotypes through concurrent maximization or minimization of multiple metabolic markers. In the condition space, we propose Pareto hypervolume and spectral analysis as estimators of short term multi-omic (transcriptomic and metabolic) evolution, thus enabling comparative analysis of metabolic conditions. We therefore compare, evaluate and cluster different experimental conditions, models and bacterial strains according to their metabolic response in a multidimensional objective space, rather than in the original space of microarray data. We finally validate our methods on a phenomics dataset of growth conditions. Our framework, named METRADE, is freely available as a MATLAB toolbox
Modelling the order of driver mutations and metabolic mutations as structures in cancer dynamics
Recent works have stressed the important role that random mutations have in
the development of cancer phenotype. We challenge this current view by means of
bioinformatic data analysis and computational modelling approaches. Not all the
mutations are equally important for the development of metastasis. The survival
of cancer cells from the primary tumour site to the secondary seeding sites
depends on the occurrence of very few driver mutations promoting oncogenic cell
behaviours and on the order with which these mutations occur. We introduce a
model in the framework of Cellular Automata to investigate the effects of
metabolic mutations and mutation order on cancer stemness and tumour cell
migration in bone metastasised breast cancers. The metabolism of the cancer
cell is a key factor in its proliferation rate. Bioinformatics analysis on a
cancer mutation database shows that metabolism-modifying alterations constitute
an important class of key cancer mutations. Our approach models three types of
mutations: drivers, the order of which is relevant for the dynamics, metabolic
which support cancer growth and are estimated from existing databases, and
non--driver mutations. Our results provide a quantitative basis of how the
order of driver mutations and the metabolic mutations in different cancer
clones could impact proliferation of therapy-resistant clonal populations and
patient survival. Further mathematical modelling of the order of mutations is
presented in terms of operators. We believe our work is novel because it
quantifies two important factors in cancer spreading models: the order of
driver mutations and the effects of metabolic mutations
Proximal Distilled Evolutionary Reinforcement Learning
Reinforcement Learning (RL) has achieved impressive performance in many
complex environments due to the integration with Deep Neural Networks (DNNs).
At the same time, Genetic Algorithms (GAs), often seen as a competing approach
to RL, had limited success in scaling up to the DNNs required to solve
challenging tasks. Contrary to this dichotomic view, in the physical world,
evolution and learning are complementary processes that continuously interact.
The recently proposed Evolutionary Reinforcement Learning (ERL) framework has
demonstrated mutual benefits to performance when combining the two methods.
However, ERL has not fully addressed the scalability problem of GAs. In this
paper, we show that this problem is rooted in an unfortunate combination of a
simple genetic encoding for DNNs and the use of traditional
biologically-inspired variation operators. When applied to these encodings, the
standard operators are destructive and cause catastrophic forgetting of the
traits the networks acquired. We propose a novel algorithm called Proximal
Distilled Evolutionary Reinforcement Learning (PDERL) that is characterised by
a hierarchical integration between evolution and learning. The main innovation
of PDERL is the use of learning-based variation operators that compensate for
the simplicity of the genetic representation. Unlike traditional operators, our
proposals meet the functional requirements of variation operators when applied
on directly-encoded DNNs. We evaluate PDERL in five robot locomotion settings
from the OpenAI gym. Our method outperforms ERL, as well as two
state-of-the-art RL algorithms, PPO and TD3, in all tested environments.Comment: Camera-ready version for AAAI-20. Contains 10 pages, 11 figure
- …