Sciweavers

110 search results - page 10 / 22
» A Functional Programming Approach to Deductive Databases
Sort
View
EDBT
2000
ACM
15 years 3 months ago
A Data Model for Effectively Computable Functions
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
Kevin H. Xu
CORR
2007
Springer
126views Education» more  CORR 2007»
14 years 11 months ago
Linear Tabling Strategies and Optimizations
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
SIGMOD
2008
ACM
140views Database» more  SIGMOD 2008»
15 years 11 months ago
Skippy: a new snapshot indexing method for time travel in the storage manager
The storage manager of a general-purpose database system can retain consistent disk page level snapshots and run application programs "back-in-time" against long-lived p...
Ross Shaull, Liuba Shrira, Hao Xu
BMCBI
2010
117views more  BMCBI 2010»
14 years 11 months ago
Better score function for peptide identification with ETD MS/MS spectra
Background: Tandem mass spectrometry (MS/MS) has become the primary way for protein identification in proteomics. A good score function for measuring the match quality between a p...
Xiaowen Liu, Baozhen Shan, Lei Xin, Bin Ma
92
Voted
BMCBI
2010
136views more  BMCBI 2010»
14 years 11 months ago
Protein structure analysis of mutations causing inheritable diseases. An e-Science approach with life scientist friendly interfa
Background: Many newly detected point mutations are located in protein-coding regions of the human genome. Knowledge of their effects on the protein's 3D structure provides i...
Hanka Venselaar, Tim A. H. te Beek, Remko K. P. Ku...