10848 search results - page 318 / 2170 » Programming in Biomolecular Computation |
234
click to vote
FASE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
177
click to vote
HOTOS
1997
IEEE
15 years 11 months ago
1997
IEEE
Diversity is an important source of robustness in biological systems. Computers, by contrast, are notable for their lack of diversity. Although homogeneous systems have many advan...
184
click to vote
ARCS
1997
Springer
15 years 11 months ago
1997
Springer
Before it can achieve wide acceptance, parallelcomputation must be made significantlyeasier to program. One ain obstacles to this goal is the current usage of memory, both abstra...
148
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
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...
158
click to vote
CLEIEJ
2008
15 years 6 months ago
2008
Low participation of women in Computer Science (CS) has been documented in some countries. Since this phenomenon occurs in the Computer Science and Informatics Department at the U...