749 search results - page 9 / 150 » Combinatory Models and Symbolic Computation |
RECOMB
2005
Springer
14 years 10 months ago
2005
Springer
A considerable fraction of yeast gene promoters are bound by multiple transcription factors. To study the combinatorial interactions of multiple transcription factors is thus impor...
FSTTCS
2006
Springer
14 years 1 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
ISTA
2003
13 years 11 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
TCS
2010
13 years 8 months ago
2010
In this work we provide a combinatorial analysis of bucket recursive trees, which have been introduced previously as a natural generalization of the growth model of recursive trees...
ENTCS
2006
13 years 9 months ago
2006
The -calculus is destructive: its main computational mechanism