783 search results - page 11 / 157 » Dynamic Self-Assembly and Computation: From Biological to In... |
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
IJCNN
2007
IEEE
14 years 1 months ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
BIOSYSTEMS
2007
13 years 7 months ago
2007
At present there exists a large gap in size, performance, adaptability and robustness between natural and artificial information processors for performing coherent perception-act...
ACMDIS
2006
ACM
14 years 1 months ago
2006
ACM
Automatic capture technology could enable students to record and index much information—both digital and nondigital—with little extra effort. Can this technology be designed t...
ISMB
1996
13 years 8 months ago
1996
For transmembrane proteins experimental determina-tion of three-dimensional structure is problematic. However, membrane proteins have important impact for molecular biology in gen...