6223 search results - page 180 / 1245 » New architectures for a new biology |
218
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
190
click to vote
ESANN
2008
15 years 8 months ago
2008
With the technical development of multi-electrode arrays, the monitoring of many individual neurons has become feasible. However, for practical use of those arrays as bidirectional...
203
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
We embodied networks of cultured biological neurons in simulation and in robotics. This is a new research paradigm to study learning, memory, and information processing in real tim...
162
click to vote
ISMB
1996
15 years 8 months ago
1996
Virtually all large-scale sequencing projects use automatic sequence-assembly programs to aid in the determination of DNA sequences. The computer-generated assemblies require subs...
233
click to vote
CIBCB
2009
IEEE
15 years 8 months ago
2009
IEEE
Protein structure similarity and classification methods have many applications in protein function prediction and associated fields (e.g. drug discovery). In this paper, we propose...