Sciweavers

403 search results - page 49 / 81
» Flexible Data Searchs using Condition Formulas
Sort
View
SIGMOD
2004
ACM
140views Database» more  SIGMOD 2004»
15 years 10 months ago
SoundCompass: A Practical Query-by-Humming System
This paper describes our practical query-by-humming system, SoundCompass, which is being used as a karaoke song selection system in Japan. First, we describe the fundamental techn...
Naoko Kosugi, Yasushi Sakurai, Masashi Morimoto
NAR
2007
84views more  NAR 2007»
14 years 9 months ago
The Multi-Q web server for multiplexed protein quantitation
Multi-Q Web Server provides an automated data analysis tool for multiplexed protein quantitation based on the iTRAQ labeling method. Multi-Q is designed as a generic platform that...
Chuan-Yih Yu, Yin-Hao Tsui, Yi-Hwa Yian, Ting-Yi S...
APLAS
2010
ACM
14 years 10 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
BMCBI
2006
131views more  BMCBI 2006»
14 years 10 months ago
The statistics of identifying differentially expressed genes in Expresso and TM4: a comparison
Background: Analysis of DNA microarray data takes as input spot intensity measurements from scanner software and returns differential expression of genes between two conditions, t...
Allan A. Sioson, Shrinivasrao P. Mane, Pinghua Li,...
SIGMOD
2006
ACM
149views Database» more  SIGMOD 2006»
15 years 10 months ago
Efficient query processing on unstructured tetrahedral meshes
Modern scientific applications consume massive volumes of data produced by computer simulations. Such applications require new data management capabilities in order to scale to te...
Stratos Papadomanolakis, Anastassia Ailamaki, Juli...