Search Data.gov
Found 868 dataset(s) matching "abstract".
-
IKOS is a C++ library designed to facilitate the development of sound static analyzers based on Abstract Interpretation. Specialization of a static analyzer for an application or family of...
-
PLEASE NOTE there is discrepancy between the content of actual data in this accession and the abstract information that was present in Thaila folder for this accession. Following abstract is based...
-
The Conductivity Temperature and Depth (CTD) data was collected by Scripps Institution of Oceanography (SIO) between January 1978 and March 1980. The data CTD data from International Weddell Sea...
-
The accession contains microfiche data provided by the Canadian Fisheries and Oceans and taken from the Canadian Data Report of Hydrography and Sciences. The details of the data contained in the...
-
This project sought to investigate a possible relationship between sentencing guidelines and family structure in the United States. The research team developed three research modules...