1526 search results - page 219 / 306 » Computer algebra in systems biology |
225
click to vote
MAS
1998
Springer
15 years 10 months ago
1998
Springer
A key element of any mobile code based distributed system are the security mechanisms available to protect (a) the host against potentially hostile actions of a code fragment under...
158
click to vote
FORTE
2004
15 years 7 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
157
click to vote
IPPS
2006
IEEE
16 years 12 days ago
2006
IEEE
Multiple sequence alignment is a fundamental and very computationally intensive task in molecular biology. MUSCLE, a new algorithm for creating multiple alignments of protein sequ...
165
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
We present new parallel algorithms for 3D reconstruction of objects from 2D projections and their application for the determination of the structure of macromolecules from electro...
187
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...