Sciweavers

17449 search results - page 3462 / 3490
» Availability
Sort
View
NAR
2011
190views Computer Vision» more  NAR 2011»
14 years 2 months ago
New tools and methods for direct programmatic access to the dbSNP relational database
Genome-wide association studies often incorporate information from public biological databases in order to provide a biological reference for interpreting the results. The dbSNP d...
Scott F. Saccone, Jiaxi Quan, Gaurang Mehta, Rapha...
NAR
2011
208views Computer Vision» more  NAR 2011»
14 years 2 months ago
Tomato Functional Genomics Database: a comprehensive resource and analysis package for tomato functional genomics
Tomato Functional Genomics Database (TFGD) provides a comprehensive resource to store, query, mine, analyze, visualize and integrate large-scale tomato functional genomics data se...
Zhangjun Fei, Je-Gun Joung, Xuemei Tang, Yi Zheng,...
NAR
2011
203views Computer Vision» more  NAR 2011»
14 years 2 months ago
Laminin database: a tool to retrieve high-throughput and curated data for studies on laminins
The Laminin(LM)-database, hosted at http://www .lm.lncc.br, is the first database focusing a noncollagenous extracellular matrix protein family, the LMs. Part of the knowledge ava...
Daiane C. F. Golbert, Leandra Linhares-Lacerda, Lu...
PLDI
2011
ACM
14 years 2 months ago
Separation logic + superposition calculus = heap theorem prover
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
Juan Antonio Navarro Pérez, Andrey Rybalche...
PPL
2011
14 years 2 months ago
Mpi on millions of Cores
Petascale parallel computers with more than a million processing cores are expected to be available in a couple of years. Although MPI is the dominant programming interface today ...
Pavan Balaji, Darius Buntinas, David Goodell, Will...
« Prev « First page 3462 / 3490 Last » Next »