6978 search results - page 1391 / 1396 » On Proofs in System P |
BMCBI
2010
13 years 5 months ago
2010
Background: One of the most commonly performed tasks when analysing high throughput gene expression data is to use clustering methods to classify the data into groups. There are a...
CGA
2011
13 years 2 months ago
2011
Supercomputing Centers (SC’s) are unique resources that aim to enable scientific knowledge discovery through the use of large computational resources, the Big Iron. Design, acq...
TVCG
2011
13 years 2 months ago
2011
—This paper describes a complete system to create anatomically accurate example-based volume deformation and animation of articulated body regions, starting from multiple in vivo...
SIAMADS
2010
13 years 2 months ago
2010
We study binocular rivalry in a competitive neural network with synaptic depression. In particular, we consider two coupled hypercolums within primary visual cortex (V1), represent...
SIAMMAX
2010
13 years 2 months ago
2010
It is well-known that two-level and multi-level preconditioned conjugate gradient (PCG) methods provide efficient techniques for solving large and sparse linear systems whose coeff...