Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10343463 | Nano Communication Networks | 2015 | 6 Pages |
Abstract
Querying by temporal logic as a reasoning mechanism on a system representing multiscale processes is important in understanding the details of a large and complex system, in particular in the models of biochemical pathways. A novel formalism representing a system of multiscale biochemical pathways is described. The definitions of multiscale model in discrete domains are represented in the form of a labeled transition system. A polynomial time algorithm is constructed for identification of systems representing multiscale pathway. A probabilistic variant of the multiscale formalism is stated.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Networks and Communications
Authors
Krishnendu Ghosh,