scispace - formally typeset
Search or ask a question

Showing papers by "Grzegorz Rozenberg published in 2015"


Journal ArticleDOI
TL;DR: In this article, a temporal logic for reaction systems (rsCTL) is defined and a translation from the context restricted reaction systems into boolean functions is defined in order to be used for a symbolic model checking for rsCTL over these systems.

27 citations


Journal ArticleDOI
TL;DR: A subclass of zoom structures called standard zoom structures is considered as well as augmenting both zoom structures and reaction systems by total ordering of their domains (background sets) to facilitate applications of exploration systems.

5 citations


BookDOI
01 Jan 2015
TL;DR: It turns out that information entropy, mutual information, entropic divergences, codes, and dictionaries are fundamental tools for extracting the biological information on which biological functionalities are based on.
Abstract: Classical concepts of Information Theory are quickly summarized and their application to the computational analysis of genomes is outlined. Genomes are long strings, and this open the possibility of considering them as information sources. From this viewpoint, it turns out that information entropy, mutual information, entropic divergences, codes, and dictionaries (finite formal languages) are fundamental tools for extracting the biological information on which biological functionalities are based on. The importance of random genomes is also motivated, and some genomic distributions are presented and discussed.

3 citations