2015 Fiscal Year Final Research Report
"Semantics of Computational Languages for Biochemical Networks -Elucidating Local- ity and Causality-"
| Project/Area Number |
25400195
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Foundations of mathematics/Applied mathematics
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
Hamano Masahiro 東京大学, 情報理工学(系)研究科, 研究員 (50313705)
|
|---|
| Project Period (FY) |
2013-04-01 – 2016-03-31
|
| Keywords | 確率プロセス計算 / rule based modelling / chemical master equation / stochastic modelling / steady state dynamics / Brownian ratchet / Michaelis-Menten / Boltzmann distribution |
|---|
| Outline of Final Research Achievements |
We investigated the mechano-chemical pathway of RNA Transcription Elongation in terms of computational description of stochastic process calculus. As a semantical counterpart of this, model abstraction was investigated in comparison with quasi-steady-state (QSS) approximation for chemical master equations. Thermodynamical meaning was also given on the stochastic models in terms of free energy distribution for the variously congured agents and of the traditional Michaelis-Menten enzyme kinetics.
|
| Free Research Field |
情報論理学
|
