• Organization: U.S. Department of Health & Human Services
• Updated: 2025-09-06

A method and apparatus for determining the time behavior of a digital circuit based on a starting assumption is disclosed. Generally, in a formal verification of a digital circuit, the time...

• html

• Organization: National Institute of Standards and Technology
• Updated: 2023-11-15 00:00:00

To address the increasing complexity of network management and the limitations of data repositories in handling the various network operational data, this paper proposes a novel repository design...

• none

• Organization: National Aeronautics and Space Administration
• Updated: 2025-04-01

Verification and validation (V&V) has been identified as a critical phase in fielding systems with Integrated Systems Health Management (ISHM) solutions to ensure that the results produced are...

• pdf

• Organization: National Institute of Standards and Technology
• Updated: 2024-10-25 00:00:00

This repository includes Alloy Analyzer code from the development of NIST Interagency Report (NISTIR) 8388-upd1. The report presents an approach to verifying executability of system behavior...

• none

• Organization: Department of the Interior
• Updated: 2011-10-08T00:00:00Z

Deepwater Horizon Bird Studies #3, 4, and 5 each had two primary components: 1) to estimate the proportion of visibly oiled birds via observational surveys and 2) to estimate the mortality rates...

• xls

• Organization: National Aeronautics and Space Administration
• Updated: 2026-02-10

NARSTO_NE_MODEL is the North American Research Strategy for Tropospheric Ozone (NARSTO) 1998 Model-Intercomparison Study Verification Data: NARSTO-Northeast 1995 Surface Ozone, NO, and NOx Langley...

• none
• none
• pdf
• pdf
• pdf
• pdf
• +8 more

• Organization: Department of Justice
• Updated: 2013-05-15T14:36:31

This data collection represents a combined experimental evaluation of a drug court program, implemented in 1992 in cooperation with the Maricopa County Adult Probation Department, in comparison...

• html

• Organization: National Oceanic and Atmospheric Administration, Department of Commerce
• Updated: 2026-01-09T00:00:00.000+00:00

This dataset includes marine biological occurrence data managed by the Ocean Biodiversity Information System USA (OBIS-USA). The data were observed between 1833 and 2025-07-23. These data were...

• none
• none
• none
• none
• none
• none
• +6 more