Sciweavers

1180 search results - page 188 / 236
» Information, evolution and
Sort
View
MASCOTS
2007
13 years 9 months ago
Nine months in the life of EGEE: a look from the South
Abstract— Grids have emerged as wide-scale, distributed infrastructures providing enough resources for always more demanding scientific experiments. EGEE is one of the largest s...
Georges Da Costa, Marios D. Dikaiakos, Salvatore O...
SIROCCO
2008
13 years 9 months ago
Sharpness: A Tight Condition for Scalability
: A distributed system is scalable if the rate at which it completes its computation and communication tasks does not depend on its size. As an example, the scalability of a peer-t...
Augustin Chaintreau
BIOCOMP
2006
13 years 9 months 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
IJCAI
2003
13 years 9 months 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
13 years 9 months 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