Sciweavers

111 search results - page 5 / 23
» Computing with Membranes: One More Collapsing Hierarchy
Sort
View
RECOMB
1998
Springer
13 years 11 months ago
The hierarchical organization of molecular structure computations
The task of computing molecular structure from combinations of experimental and theoretical constraints is expensive because of the large number of estimated parameters (the 3D co...
Cheng Che Chen, Jaswinder Pal Singh, Russ B. Altma...
FOCS
1999
IEEE
13 years 11 months ago
PSPACE Has Constant-Round Quantum Interactive Proof Systems
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...
John Watrous
BMCBI
2008
98views more  BMCBI 2008»
13 years 7 months ago
PredGPI: a GPI-anchor predictor
Background: Several eukaryotic proteins associated to the extracellular leaflet of the plasma membrane carry a Glycosylphosphatidylinositol (GPI) anchor, which is linked to the C-...
Andrea Pierleoni, Pier Luigi Martelli, Rita Casadi...
ALIFE
2005
13 years 7 months ago
Levels of Description: A Novel Approach to Dynamical Hierarchies
We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...
Simon McGregor, Chrisantha Fernando
CCGRID
2006
IEEE
14 years 1 months ago
Proposal of MPI Operation Level Checkpoint/Rollback and One Implementation
With the increasing number of processors in modern HPC(High Performance Computing) systems, there are two emergent problems to solve. One is scalability, the other is fault tolera...
Yuan Tang, Graham E. Fagg, Jack Dongarra