6597 search results - page 162 / 1320 » Orderings and Types in Databases |
CADE
2009
Springer
14 years 10 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
SIAMJO
2010
13 years 7 months ago
2010
Abstract. This paper concerns second-order analysis for a remarkable class of variational systems in finite-dimensional and infinite-dimensional spaces, which is particularly imp...
CSB
2005
IEEE
14 years 2 months ago
2005
IEEE
This study shows an effective way to explore and visualize the structure-activity relationships (SARs) of flavonoids with antioxidant activity using structure- activity maps (SAMs...
CIDR
2007
13 years 10 months ago
2007
Biologists are increasingly using databases for storing and managing their data. Biological databases typically consist of a mixture of raw data, metadata, sequences, annotations,...