1818 search results - page 152 / 364 » The Many Faces of a Translation |
168
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
The metabolic P algorithm is a procedure which determines, in a biochemically realistic way, the evolution of P systems representing biological phenomena. A new formulation of thi...
183
click to vote
ENTCS
2006
15 years 6 months ago
2006
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
174
click to vote
COGSCI
2007
15 years 6 months ago
2007
: Modularity in the human brain remains a controversial issue, with disagreement over the nature of the modules that exist, and why, when and how they emerge. It is a natural assum...
164
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
163
click to vote
SLOGICA
2008
15 years 6 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...