Browsing Faculty of Arts and Sciences by Keyword "validation"
Now showing items 1-3 of 3
-
Denotational Translation Validation
(2013-01-02)In this dissertation we present a simple and scalable system for validating the correctness of low-level program transformations. Proving that program transformations are correct is crucial to the development of security ... -
Food/Food Group-Based Analyses and Measurement Errors in Nutritional Epidemiology
(2023-06-01)Foods and food groups represent a major category of nutritional epidemiologic analyses besides nutrients. They provide a means to explore diet-disease associations when a nutrient-based hypothesis has not been formulated ... -
Validation of OMI Tropospheric NO2 Observations During INTEX-B and Application to Constrain NOx Emissions Over the Eastern United States and Mexico
(Elsevier, 2008)We compare tropospheric NO2 column measurements from the Ozone Monitoring Instrument (OMI) aboard the EOS Aura satellite with coincident in situ aircraft measurements on vertical spirals over the southern United States, ...