229 search results - page 12 / 46 » A General Name Binding Mechanism |
BMCBI
2007
13 years 9 months ago
2007
Background: The toxic effects of many simple organic compounds stem from their biotransformation to chemically reactive metabolites which bind covalently to cellular proteins. To ...
PPDP
2004
Springer
14 years 3 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
ISLPED
2003
ACM
14 years 3 months ago
2003
ACM
This paper addresses two aspects of low-power design for FPGA circuits. First, we present an RT-level power estimator for FPGAs with consideration of wire length. The power estima...
ICFP
2003
ACM
14 years 9 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
ESANN
2000
13 years 11 months ago
2000
Neural nets are generally considered to be connected synaptically. However, the majority of information transfer in the brain may not be by synapses. Nonsynaptic diffusion neurotra...