7504 search results - page 18 / 1501 » Computing with Action Potentials |
SP
2009
IEEE
14 years 2 months 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 ...
BIRD
2008
Springer
2008
Springer
Translational Control by RNA-RNA Interaction: Improved Computation of RNA-RNA Binding Thermodynamics
13 years 9 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...
SASO
2007
IEEE
14 years 2 months 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...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
CG
2004
Springer
14 years 1 months ago
2004
Springer
