Sciweavers

73 search results - page 8 / 15
» A Remark on Collective Quantification
Sort
View
NAR
2002
111views more  NAR 2002»
13 years 7 months ago
DNA Data Bank of Japan (DDBJ) for genome scale research in life science
The DNA Data Bank of Japan (DDBJ, http:// www.ddbj.nig.ac.jp) has made an effort to collect as much data as possible mainly from Japanese researchers. The increase rates of the da...
Yoshio Tateno, Tadashi Imanishi, Satoru Miyazaki, ...
IMC
2010
ACM
13 years 5 months ago
On the impact of layer-2 on node degree distribution
The Internet topology data collected through traceroute exploration has been extensively studied in the past. In particular, a remarkable property of the Internet, the power-law s...
Pascal Mérindol, Benoit Donnet, Olivier Bon...
WWW
2006
ACM
14 years 8 months ago
Knowledge modeling and its application in life sciences: a tale of two ontologies
High throughput glycoproteomics, similar to genomics and proteomics, involves extremely large volumes of distributed, heterogeneous data as a basis for identification and quantifi...
Satya Sanket Sahoo, Christopher Thomas, Amit P. Sh...
POPL
2008
ACM
14 years 7 months ago
Foundations for structured programming with GADTs
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
Patricia Johann, Neil Ghani
SIGMOD
1996
ACM
133views Database» more  SIGMOD 1996»
13 years 11 months ago
Multi-dimensional Resource Scheduling for Parallel Queries
Scheduling query execution plans is an important component of query optimization in parallel database systems. The problem is particularly complex in a shared-nothing execution en...
Minos N. Garofalakis, Yannis E. Ioannidis