1090 search results - page 40 / 218 » The Equivalence between Biology and Computation |
MFCS
1993
Springer
14 years 3 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
RECOMB
2000
Springer
14 years 2 months ago
2000
Springer
DNA hybridization arrays simultaneously measure the expression level for thousands of genes. These measurements provide a "snapshot" of transcription levels within the c...
CCA
2009
Springer
14 years 2 months ago
2009
Springer
We investigate the relationship between computable metric spaces (X, d, ) and (X, d, ), where (X, d) is a given metric space. In the case of Euclidean space, and are equivalent u...
AAAI
2007
14 years 1 months ago
2007
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...
EUROCRYPT
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. This paper describes e cient protocols for multi-party computations that are information-theoretically secure against passive attacks. The results presented here apply to...