16626 search results - page 19 / 3326 » Computing is a natural science |
105
click to vote
CHI
2008
ACM
16 years 4 days ago
2008
ACM
The advent of novel materials (such as conductive fibers) combined with accessible embedded computing platforms have made it possible to re-imagine the landscapes of fabric and el...
63
Voted
JITE
2008
14 years 11 months ago
2008
58
Voted
JCISD
2006
14 years 11 months ago
2006
CORR
2004
Springer
14 years 11 months ago
2004
Springer
The development of autonomous molecular computers capable of making independent decisions in vivo regarding local drug administration may revolutionize medical science. Recently B...
104
click to vote
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper introduces a cut-elimination procedure of the intuitionistic sequent calculus and shows that it is isomorphic to the proof reduction of the intuitionistic natu...