51 search results - page 7 / 11 » birthday 2004 |
BIRTHDAY
2004
Springer
14 years 4 months ago
2004
Springer
Two models for gene assembly in ciliates have been proposed and investigated in the last few years. The DNA manipulations postulated in the two models are very different: one mode...
BIRTHDAY
2004
Springer
14 years 4 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
BIRTHDAY
2004
Springer
14 years 4 months ago
2004
Springer
We consider the result of a wet splicing procedure after the reaction has run to its completion, or limit, and we try to describe the molecules that will be present at this final ...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
A quantified Boolean formula is true, if for any existentially quantified variable there exists a Boolean function depending on the preceding universal variables, such that substi...
BIRTHDAY
2004
Springer
14 years 4 months ago
2004
Springer
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...