Timed automata are known not to be complementable or determinizable. Natural questions are, then, could we check whether a given TA enjoys these properties? These problems are not...
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...
Currently, the requirements on MPEG encryption algorithms include: fast speed, format compliance, a wide range of security levels, easy implementation, etc. However, promising can...
There are some sorts of `Preposition + Noun' combinations in Farsi that apparently a Prepositional Phrase almost behaves as Compound Prepositions. As they are not completely ...
Cancer can be viewed as the loss of cooperative cell behaviors that normally facilitate multicellularity, including the formation of tissues and organs. Hanahan and Weinberg descri...
Robert G. Abbott, Stephanie Forrest, Kenneth J. Pi...