2877 search results - page 160 / 576 » Biological Computing |
136
click to vote
ECCB
2008
IEEE
14 years 10 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
92
Voted
SAC
2009
ACM
15 years 5 months ago
2009
ACM
Signal finding (pattern discovery) in biological sequences is a fundamental problem in both computer science and molecular biology. Many approaches have been proposed for extract...
92
Voted
IWANN
2005
Springer
15 years 3 months ago
2005
Springer
Computing in nature as is the case with the human brain is an emerging research area in theoretical computer science. The present paper’s aim is to explore biological neural cell...
ICARIS
2005
Springer
15 years 3 months ago
2005
Springer
We have proposed a metaphor “DAnger Susceptible daTa codON” (DASTON) in data subject to processing by Danger Theory (DT) based Artificial Immune System (DAIS). The DASTONs are ...
74
Voted
ASM
2008
ASM
15 years 6 days ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...