1824 search results - page 329 / 365 » interfaces 2006 |
FAC
2007
13 years 8 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
NAR
2006
13 years 8 months ago
2006
The database of molecular motions, MolMovDB 15 (http://molmovdb.org), has been in existence for the past decade. It classifies macromolecular motions and provides tools to interpo...
NAR
2006
13 years 8 months ago
2006
There is an increasing need to automatically annotate a set of genes or proteins (from genome sequencing, DNA microarray analysis or protein 2D gel experiments) using controlled v...
NAR
2006
13 years 8 months ago
2006
Phylogenetic analysis and examination of protein domains allow accurate genome annotation and are invaluable to study proteins and protein complex evolution. However, two sequence...
NAR
2006
13 years 8 months ago
2006
Recent work has demonstrated that microRNAs (miRNAs) are involved in critical biological processes by suppressing the translation of coding genes. This work develops an integrated...