1090 search results - page 41 / 218 » The Equivalence between Biology and Computation |
195
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: We investigate the empirical complexity of the RNA secondary structure design problem, that is, the scaling of the typical difficulty of the design task for various cl...
159
click to vote
ECAL
2005
Springer
16 years 10 days ago
2005
Springer
Plant morphogenesis is the development of plant form and structure by coordinated cell division and growth. We present a dynamic computational model of plant morphogenesis at cellu...
146
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
177
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...
140
click to vote
NA
2006
15 years 6 months ago
2006
Abstract. The present article summarizes the state of the art algorithms to compute the discrete Moreau envelope, and presents a new linear-time algorithm, named NEP for NonExpansi...