188 research outputs found
Recommended from our members
On the Consistency and Correctness of School Mathematics ; CU-CS-918-01
Reaction Systems: a Formal Framework for Processes Based on Biochemical Interactions
This paper presents a formal framework for investigating processes driven
by interactions between biochemical reactions in living cells. These interactions are based on the mechanisms of facilitation and inhibition, which underlie the definition of reaction systems - the central construct of our framework. We discuss in this paper the basic setup for reaction systems, and its motivation. We also present an important extension of reaction systems as well as some research topics and results
Recommended from our members
A Note on Numerically Dispersed EOL Languages ; CU-CS-097-76
A result is provided which allows one to prove that certain language are not EOL languages
Recommended from our members
On Some Context Free Languages Which Are Not ETOL Languages ; CU-CS-048-74
It is shown that there exist context free languages which are not deterministic ETOL languages. The proof is based on an analysis of the structure of derivations in deterministic ETOL systems
Recommended from our members
On the Organization of Memory ; CU-CS-014-73
A new learning algorithm is presented which may have applications in the theory of natural and artificial intelligence
Recommended from our members
Codings of OL Languages ; CU-CS-025-73
It is proved that a language is a coding (a letter-to-letter homomorphism) of a OL language, if, and only if, it is an EOL language
- …