Sciweavers

5184 search results - page 37 / 1037
» The digital divide of computing
Sort
View
CORR
2007
Springer
77views Education» more  CORR 2007»
15 years 1 months ago
Error Correction and Digitalization Concepts in Biochemical Computing
L. Fedichkin, Evgeny Katz, Vladimir Privman
CACM
1998
139views more  CACM 1998»
15 years 1 months ago
Data-Intensive Computing and Digital Libraries
Reagan Moore, Thomas A. Prince, Mark H. Ellisman
SOCO
2011
Springer
14 years 8 months ago
Special issue on soft computing for digital information forensics
Shiguo Lian, Gregory L. Heileman, Afzel Noore
CIE
2006
Springer
15 years 5 months ago
Coinductive Proofs for Basic Real Computation
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
Tie Hou