Sciweavers

3719 search results - page 509 / 744
» order 2010
Sort
View
JCC
2010
105views more  JCC 2010»
15 years 5 months ago
PAPER - Accelerating parallel evaluations of ROCS
Abstract: Modern graphics processing units (GPUs) are flexibly programmable and have peak computational throughput significantly faster than conventional CPUs. Herein, we describ...
Imran S. Haque, Vijay S. Pande
JCC
2010
87views more  JCC 2010»
15 years 5 months ago
Crystal contacts as nature's docking solutions
The assumption that crystal contacts reflect natural macromolecular interactions makes a basis for many studies in structural biology. However, the crystal state may correspond t...
Evgeny B. Krissinel
JCNS
2010
96views more  JCNS 2010»
15 years 5 months ago
Rapid determination of particle velocity from space-time images using the Radon transform
Laser-scanning methods are a means to observe streaming particles, such as the flow of red blood cells in a blood vessel. Typically, particle velocity is extracted from images form...
Patrick J. Drew, Pablo Blinder, Gert Cauwenberghs,...
JCS
2010
121views more  JCS 2010»
15 years 5 months ago
Computational soundness of symbolic zero-knowledge proofs
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
Michael Backes, Dominique Unruh
JCT
2010
114views more  JCT 2010»
15 years 5 months ago
An almost quadratic bound on vertex Folkman numbers
The vertex Folkman number F(r, n, m), n < m, is the smallest integer t such that there exists a Km-free graph of order t with the property that every r-coloring of its vertices...
Andrzej Dudek, Vojtech Rödl