Name
Abstract | ||
|---|---|---|
The expression of genes is a fundamental process in living cells, both eukaryotic and prokaryotic. The regulation of gene expression is achieved via sophisticated networks of interactions between DNA, RNA, proteins, and small chemical compounds. The qualitative and quantitative characterisation of interactions between genes is one of the major current research targets in systems biology. In this PhD research project, we view gene regulatory networks as Markov chains, resulting from popular formalisation frameworks such as Dynamic Bayesian Networks and Probabilistic Boolean Networks. This will allow us to reason about both the structure and strength of gene interactions. Our goal is to develop new algorithms and tools, which are tailored for the modelling and analysis of gene regulatory networks, by exploring model checking techniques that have been developed and widely used in computer science. More specifically, we will combine model checking techniques with sampling and optimisation methods from the literature to derive new techniques to solve the parameter estimation problem of Markov models of gene regulatory networks. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1109/ICECCS.2014.38 | Engineering of Complex Computer Systems |
Keywords | Field | DocType |
DNA,Markov processes,RNA,biology computing,cellular biophysics,formal verification,genetics,molecular biophysics,optimisation,parameter estimation,proteins,DNA,Markov chains,RNA,chemical compounds,computer science,dynamic Bayesian networks,eukaryotic,gene regulatory networks,living cells,model checking techniques,optimisation methods,parameter estimation,probabilistic Boolean networks,prokaryotic,proteins,system biology,Markov chains,Model checking,biological systems,parameter estimation,steady states | Markov process,Model checking,Markov model,Computer science,Markov chain,Systems biology,Theoretical computer science,Artificial intelligence,Probabilistic logic,Gene regulatory network,Machine learning,Dynamic Bayesian network | Conference |
Citations | PageRank | References |
0 | 0.34 | 18 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andrzej Mizera | 1 | 29 | 7.57 |
| Jun Pang | 2 | 219 | 33.53 |
| Qixia Yuan | 3 | 31 | 7.44 |