Sciweavers

1521 search results - page 256 / 305
» The Evolution of Information Assurance
Sort
View
BIOCOMP
2006
15 years 16 days ago
TALI: Protein Structure Alignment Using Backbone Torsion Angles
- This article introduces a novel protein structure alignment method (named TALI) based on protein backbone torsion angle instead of the more traditional distance matrix. Represent...
Xijiang Miao, Michael Bryson, Homayoun Valafar
ISCAPDCS
2004
15 years 16 days ago
A VFSA Scheduler for Radiative Transfer Data in Climate Models
Scheduling and load-balancing techniques play an integral role in reducing the overall execution time of scientific applications on clustered multi-node systems. The increasing co...
S. P. Muszala, Gita Alaghband, Daniel A. Connors, ...
102
Voted
IJCAI
2003
15 years 15 days ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
SNPD
2004
15 years 15 days ago
Prediction of Protein Dispensability through Integrated Analysis of Multiple-Source High-Throughput Data
Protein dispensability is fundamental to understanding of gene function and evolution. It is usually studied at the individual gene phenotype level. Recent advances in generating ...
Yu Chen, Dong Xu
USENIX
1994
15 years 13 days ago
A Usage Profile and Evaluation of a Wide-Area Distributed File System
The evolution of the Andrew File System (AFS) into a wide-area distributed file system has encouraged collaboration and information dissemination on a much broader scale than ever...
Mirjana Spasojevic, Mahadev Satyanarayanan