Sciweavers

265 search results - page 25 / 53
» Tree-width and functional dependencies in databases
Sort
View
POPL
2010
ACM
14 years 5 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
BMCBI
2007
112views more  BMCBI 2007»
13 years 7 months ago
Integrated olfactory receptor and microarray gene expression databases
Background: Gene expression patterns of olfactory receptors (ORs) are an important component of the signal encoding mechanism in the olfactory system since they determine the inte...
Nian Liu, Chiquito J. Crasto, Minghong Ma
DILS
2009
Springer
13 years 11 months ago
A Visual Interface for on-the-fly Biological Database Integration and Workflow Design Using VizBuilder
Abstract. Data integration plays a major role in modern Life Sciences research primarily because required resources are geographically distributed across continents and experts dep...
Shahriyar Hossain, Hasan M. Jamil
BIOINFORMATICS
2006
134views more  BIOINFORMATICS 2006»
13 years 7 months ago
HaptenDB: a comprehensive database of haptens, carrier proteins and anti-hapten antibodies
The key requirement for successful immunochemical assay is the availability of antibodies with high specificity and desired affinity. Small molecules, when used as haptens, are no...
Mahender Kumar Singh, Shilpy Srivastava, G. P. S. ...
COMPUTER
1998
131views more  COMPUTER 1998»
13 years 7 months ago
Windows NT Clustering Service
ER ABSTRACTIONS ter service uses several abstractions— including resource, resource dependencies, and resource groups—to simplify both the cluster service itself and user-visib...
Rod Gamache, Rob Short, Mike Massa