Computing biological model parameters by parallel statistical model checking
Biological models typically depend on many parameters. Assigning suitable values to such
parameters enables model individualisation. In our clinical setting, this means finding a …
parameters enables model individualisation. In our clinical setting, this means finding a …
Patient-specific models from inter-patient biological models and clinical records
One of the main goals of systems biology models in a health-care context is to individualise
models in order to compute patient-specific predictions for the time evolution of species (eg …
models in order to compute patient-specific predictions for the time evolution of species (eg …
Formal modeling and analysis of pancreatic cancer microenvironment
The focus of pancreatic cancer research has been shifted from pancreatic cancer cells
towards their microenvironment, involving pancreatic stellate cells that interact with cancer …
towards their microenvironment, involving pancreatic stellate cells that interact with cancer …
[HTML][HTML] Systems biology of cancer: a challenging expedition for clinical and quantitative biologists
I Korsunsky, K McGovern, T LaGatta… - … in Bioengineering and …, 2014 - frontiersin.org
A systems-biology approach to complex disease (such as cancer) is now complementing
traditional experience-based approaches, which have typically been invasive and …
traditional experience-based approaches, which have typically been invasive and …
[HTML][HTML] Computational analysis of the roles of ER-Golgi network in the cell cycle
H Gong, L Feng - BMC Systems Biology, 2014 - Springer
Background ER-Golgi network plays an important role in the processing, sorting and
transport of proteins, and it's also a site for many signaling pathways that regulate the cell …
transport of proteins, and it's also a site for many signaling pathways that regulate the cell …
An integrative analysis of time-varying regulatory networks from high-dimensional data
Z Wang, Y Guo, H Gong - … Conference on Big Data (Big Data), 2018 - ieeexplore.ieee.org
Directed networks have been widely used to describe many biological processes and
functions. Understanding the structure of biological networks, especially regulatory …
functions. Understanding the structure of biological networks, especially regulatory …
Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking
The availability of a representative population of virtual patients, ie, a population large
enough to represent all relevant human patient behaviours, is a key enabler for the design of …
enough to represent all relevant human patient behaviours, is a key enabler for the design of …
Automated reasoning for the synthesis and analysis of biological programs
SJ Dunn, B Yordanov - Automated Reasoning for Systems Biology and …, 2019 - Springer
Cellular decision-making arises as the output of biochemical information processing, as
complex cascades of molecular interactions are triggered by input stimuli. Deciphering …
complex cascades of molecular interactions are triggered by input stimuli. Deciphering …
[HTML][HTML] A novel procedure for statistical inference and verification of gene regulatory subnetwork
Background The reconstruction of gene regulatory network from time course microarray data
can help us comprehensively understand the biological system and discover the …
can help us comprehensively understand the biological system and discover the …
Formal modeling of biological systems
As biomedical research advances into more complicated systems, there is an increasing
need to model and analyze these systems to better understand them. For decades …
need to model and analyze these systems to better understand them. For decades …