Multiscale System Modeling of Biochemical Pathways

Regular price $0.00 Sale

8th International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)
Krishnendu Ghosh

    Querying by temporal logic as a reasoning mechanism on a system representing multiscale processes is important in understanding the details of multiscale processes, in particular in 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 pathways