7504 search results - page 18 / 1501 » Computing with Action Potentials |
166
click to vote
SP
2009
IEEE
16 years 18 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
137
click to vote
BIRD
2008
Springer
2008
Springer
Translational Control by RNA-RNA Interaction: Improved Computation of RNA-RNA Binding Thermodynamics
15 years 7 months ago
The thermodynamics of RNA-RNA interaction consists of two components: the energy necessary to make a potential binding region accessible, i.e., unpaired, and the energy gained from...
160
click to vote
SASO
2007
IEEE
16 years 4 days ago
2007
IEEE
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...
CG
2004
Springer
15 years 11 months ago
2004
Springer
