4211 search results - page 228 / 843 » Types as Abstract Interpretations |
145
Voted
BMCBI
2006
15 years 5 months ago
2006
Background: Microarray expression profiling has been widely used to identify differentially expressed genes in complex cellular systems. However, while such methods can be used to...
128
Voted
DNA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Fault-tolerance is a critical issue for biochemical computation. Recent theoretical work on algorithmic self-assembly has shown that error correcting tile sets are possib...
140
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
123
Voted
EUROGP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Types have been introduced to Genetic Programming (GP) by researchers with different motivation. We present the concept of types in GP and introduce a typed GP system, Po...
155
Voted
CADE
1992
Springer
15 years 9 months ago
1992
Springer
e introducing the types and constants of the logic, i.e. its abstract syntax, and axioms describing the inference rules. As a tiny example, consider the following definition of min...