Science.gov

Sample records for agreement origin verifications

  1. 19 CFR 181.71 - Denial of preferential tariff treatment dependent on origin verification and determination.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 2 2010-04-01 2010-04-01 false Denial of preferential tariff treatment dependent on origin verification and determination. 181.71 Section 181.71 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  2. 27 CFR 41.111 - Verification of bond and agreement to pay tax.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2011-04-01 2011-04-01 false Verification of bond and agreement to pay tax. 41.111 Section 41.111 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX....111 Verification of bond and agreement to pay tax. (a) Verification of bond. Prior to shipment...

  3. Cosmic Origins Spectrograph: Servicing Mission Observatory Verification Overview

    NASA Astrophysics Data System (ADS)

    Keyes, Charles D.; Sahnow, D.; Aloisi, A.; Biagetti, C.; Osterman, S.; Froning, C.; Penton, S.; Green, J.; Oliveira, C.; Osten, R.; Niemi, S.; STScI COS Team; COS IDT Team

    2010-01-01

    The Cosmic Origins Spectrograph (COS) was installed onboard the Hubble Space Telescope (HST) in May, 2009 as part of the most recent servicing mission (SM4). COS is optimized for observing faint point sources at moderate spectral resolutions and is the most sensitive UV spectrograph ever flown on HST. The FUV channel, which is 10 to 30 times more sensitive than STIS, covers the wavelength range from 1150 to 1800 A with medium resolution gratings (G130M/G160M) and from 900 to 2400 A. with a low resolution grating (G140L). The medium resolution gratings in the NUV channel (G185M/G225M/G285M) cover 1700 to 3200 A., while the low resolution grating (G230L) covers 1700 to 3200 A. As part of the overall HST Servicing Mission Observatory Verification (SMOV), COS on-orbit functionality was verified via an extensive set of 34 observing programs comprising nearly 2800 individual exposures. We present a thorough discussion of the organization, inter-relationships, and dependencies of the programs in the verification plan. Sequential activities were executed that concentrated on the general areas of initial instrument checkout; detector HV turn-on and operation; initial detector characterization; NUV focus and alignment; FUV focus and alignment; initial target acquisition verification; wavelength calibration; and thorough target acquisition assessment, all leading to enabling of basic science functionality. Finally science-related calibrations and verifications were performed including flux calibration, flat field characterization, spectroscopic performance verification, high S/N operation, and thermal and structural stability measurements. Several companion presentations describe results from specific programs and verification areas in more detail.

  4. 75 FR 38765 - Domestic Origin Verification System Questionnaire and Regulations Governing Inspection and...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-07-06

    ..., container number, country of origin, customs entry number, bill of lading number, broker reference number... Agricultural Marketing Service Domestic Origin Verification System Questionnaire and Regulations Governing... submitting the comments will be made public. SUPPLEMENTARY INFORMATION: Title: ``Domestic Origin...

  5. Direct Reading Particle Counters: Calibration Verification and Multiple Instrument Agreement via Bump Testing

    SciTech Connect

    Jankovic, John; Zontek, Tracy L.; Ogle, Burton R.; Hollenbeck, Scott

    2015-01-27

    We examined the calibration records of two direct reading instruments designated as condensation particle counters in order to determine the number of times they were found to be out of tolerance at annual manufacturer's recalibration. For both instruments were found to be out of tolerance more times than within tolerance. And, it was concluded that annual calibration alone was insufficient to provide operational confidence in an instrument's response. Thus, a method based on subsequent agreement with data gathered from a newly calibrated instrument was developed to confirm operational readiness between annual calibrations, hereafter referred to as bump testing. The method consists of measuring source particles produced by a gas grille spark igniter in a gallon-size jar. Sampling from this chamber with a newly calibrated instrument to determine the calibrated response over the particle concentration range of interest serves as a reference. Agreement between this reference response and subsequent responses at later dates implies that the instrument is performing as it was at the time of calibration. Side-by-side sampling allows the level of agreement between two or more instruments to be determined. This is useful when simultaneously collected data are compared for differences, i.e., background with process aerosol concentrations. A reference set of data was obtained using the spark igniter. The generation system was found to be reproducible and suitable to form the basis of calibration verification. Finally, the bump test is simple enough to be performed periodically throughout the calibration year or prior to field monitoring.

  6. Direct Reading Particle Counters: Calibration Verification and Multiple Instrument Agreement via Bump Testing

    DOE PAGESBeta

    Jankovic, John; Zontek, Tracy L.; Ogle, Burton R.; Hollenbeck, Scott

    2015-01-27

    We examined the calibration records of two direct reading instruments designated as condensation particle counters in order to determine the number of times they were found to be out of tolerance at annual manufacturer's recalibration. For both instruments were found to be out of tolerance more times than within tolerance. And, it was concluded that annual calibration alone was insufficient to provide operational confidence in an instrument's response. Thus, a method based on subsequent agreement with data gathered from a newly calibrated instrument was developed to confirm operational readiness between annual calibrations, hereafter referred to as bump testing. The methodmore » consists of measuring source particles produced by a gas grille spark igniter in a gallon-size jar. Sampling from this chamber with a newly calibrated instrument to determine the calibrated response over the particle concentration range of interest serves as a reference. Agreement between this reference response and subsequent responses at later dates implies that the instrument is performing as it was at the time of calibration. Side-by-side sampling allows the level of agreement between two or more instruments to be determined. This is useful when simultaneously collected data are compared for differences, i.e., background with process aerosol concentrations. A reference set of data was obtained using the spark igniter. The generation system was found to be reproducible and suitable to form the basis of calibration verification. Finally, the bump test is simple enough to be performed periodically throughout the calibration year or prior to field monitoring.« less

  7. 23 CFR 630.110 - Modification of original agreement.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... unless specifically authorized by statute. (b) The STD may develop the modification of project agreement in a format acceptable to both the STD and the FHWA provided the following are included: (1) The... of officials from both the State and the FHWA and date executed. (c) The STD may use an...

  8. 23 CFR 630.110 - Modification of original agreement.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... unless specifically authorized by statute. (b) The STD may develop the modification of project agreement in a format acceptable to both the STD and the FHWA provided the following are included: (1) The... of officials from both the State and the FHWA and date executed. (c) The STD may use an...

  9. 23 CFR 630.110 - Modification of original agreement.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... unless specifically authorized by statute. (b) The STD may develop the modification of project agreement in a format acceptable to both the STD and the FHWA provided the following are included: (1) The... of officials from both the State and the FHWA and date executed. (c) The STD may use an...

  10. 23 CFR 630.110 - Modification of original agreement.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... unless specifically authorized by statute. (b) The STD may develop the modification of project agreement in a format acceptable to both the STD and the FHWA provided the following are included: (1) The... of officials from both the State and the FHWA and date executed. (c) The STD may use an...

  11. 23 CFR 630.110 - Modification of original agreement.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... unless specifically authorized by statute. (b) The STD may develop the modification of project agreement in a format acceptable to both the STD and the FHWA provided the following are included: (1) The... of officials from both the State and the FHWA and date executed. (c) The STD may use an...

  12. 76 FR 38406 - Credit Watch Termination Initiative; Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-06-30

    ..., 1999 HUD published a notice (64 FR 26769), on its procedures for terminating Origination Approval.... SUMMARY: This notice advises of the cause and effect of termination of Origination Approval Agreements.... Cause: HUD's regulations permit HUD to terminate the Agreement with any mortgagee having a default...

  13. 77 FR 5263 - Credit Watch Termination Initiative Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-02-02

    ... published a notice (64 FR 26769), on its procedures for terminating Origination Approval Agreements with FHA.... SUMMARY: This notice advises of the cause and effect of termination of Origination Approval Agreements... taken by HUD's Mortgagee Review Board under HUD's regulations at 24 CFR part 25. Cause:...

  14. 19 CFR 181.74 - Verification visit procedures.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations... Canadian or Mexican producer of a material, to maintain records or provide access to such records...

  15. ETV/ESTCP MEMORANDUM OF AGREEMENT (MOA) (ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM)

    EPA Science Inventory

    On July 21, 1999, EPA and the Department of Defense (DoD) signed a Memorandum of Agreement (MOA) to collaborate on a program to test new commercial-ready environmental technologies. When private companies develop new technologies for better environmental pollution prevention, con...

  16. 19 CFR 10.712 - Verification of claim for preferential tariff treatment.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... SECURITY; DEPARTMENT OF THE TREASURY ARTICLES CONDITIONALLY FREE, SUBJECT TO A REDUCED RATE, ETC. United States-Jordan Free Trade Agreement Origin Verifications § 10.712 Verification of claim for...

  17. 19 CFR 10.550 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... HOMELAND SECURITY; DEPARTMENT OF THE TREASURY ARTICLES CONDITIONALLY FREE, SUBJECT TO A REDUCED RATE, ETC. United States-Singapore Free Trade Agreement Origin Verifications and Determinations §...

  18. 19 CFR 181.74 - Verification visit procedures.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 2 2012-04-01 2012-04-01 false Verification visit procedures. 181.74 Section 181.74 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.74 Verification visit procedures....

  19. Verification of the agreement of two dosimetric methods with radioiodine therapy in hyperthyroid patients

    SciTech Connect

    Canzi, Cristina; Zito, Felicia; Voltini, Franco; Reschini, Eugenio; Gerundini, Paolo

    2006-08-15

    . Greater discrepancies were found with the fixed-{lambda}{sub eff} method, in which {delta}D ranged from -69 to 95% (-202 to 88 Gy, respectively). In hyperthyroid patients, the five uptake value dosimetric method is able to predict with a good agreement the radioiodine kinetics and the dose after the therapeutic administration in about 73% of the analyzed thyroid structures. The fixed-{lambda}{sub eff} method is less reliable.

  20. 19 CFR 10.309 - Verification of documentation.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... THE TREASURY ARTICLES CONDITIONALLY FREE, SUBJECT TO A REDUCED RATE, ETC. United States-Canada Free Trade Agreement § 10.309 Verification of documentation. Any evidence of country of origin or of direct shipment submitted in support of a preference under the Agreement shall be subject to such verification...

  1. 19 CFR 10.309 - Verification of documentation.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... THE TREASURY ARTICLES CONDITIONALLY FREE, SUBJECT TO A REDUCED RATE, ETC. United States-Canada Free Trade Agreement § 10.309 Verification of documentation. Any evidence of country of origin or of...

  2. 19 CFR 10.309 - Verification of documentation.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... THE TREASURY ARTICLES CONDITIONALLY FREE, SUBJECT TO A REDUCED RATE, ETC. United States-Canada Free Trade Agreement § 10.309 Verification of documentation. Any evidence of country of origin or of...

  3. 75 FR 67387 - Credit Watch Termination Initiative Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-11-02

    ..., 1999 HUD published a notice (64 FR 26769), on its procedures for terminating Origination Approval...) qualified to perform audits under Government Auditing Standards as provided by the Government...

  4. 19 CFR 181.72 - Verification scope and method.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 2 2013-04-01 2013-04-01 false Verification scope and method. 181.72 Section 181.72 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and...

  5. 19 CFR 181.73 - Notification of verification visit.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 2 2012-04-01 2012-04-01 false Notification of verification visit. 181.73 Section 181.73 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  6. 19 CFR 181.73 - Notification of verification visit.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 2 2010-04-01 2010-04-01 false Notification of verification visit. 181.73 Section 181.73 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  7. 19 CFR 181.72 - Verification scope and method.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 2 2012-04-01 2012-04-01 false Verification scope and method. 181.72 Section 181.72 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and...

  8. 19 CFR 181.73 - Notification of verification visit.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 2 2013-04-01 2013-04-01 false Notification of verification visit. 181.73 Section 181.73 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  9. 19 CFR 181.73 - Notification of verification visit.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 2 2011-04-01 2011-04-01 false Notification of verification visit. 181.73 Section 181.73 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  10. 76 FR 22120 - Credit Watch Termination Initiative; Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-04-20

    ... 17, 1999 HUD published a notice (64 FR 26769), on its procedures for terminating Origination Approval... Accountant (CPA) qualified to perform audits under Government Auditing Standards as provided by...

  11. 75 FR 61164 - Credit Watch Termination Initiative Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-10-04

    ..., 1999 HUD published a notice (64 FR 26769), on its procedures for terminating Origination Approval... jurisdictions effective date Homeownership centers Access National Mortgage Corporation 1800 Robert Fulton Drive... Corporation 1800 Robert Fulton Drive, Ste 350, Greensboro 7/9/2010 Atlanta. Reston, VA 20191. Allied...

  12. 76 FR 4126 - Credit Watch Termination Initiative Termination of Origination Approval Agreements

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-01-24

    ..., 1999 HUD published a notice (64 FR 26769), on its procedures for terminating Origination Approval... Newark 11/23/2010........ Philadelphia 209, Woodbridge, NJ 07095. Anchor Mortgage 6260 S Rainbow Las.... Signature One Mortgage Inc..... 5875 S Rainbow Las Vegas 11/15/2010........ Santa Ana Blvd., Ste 110,...

  13. 19 CFR 10.926 - Verification and justification of claim for preferential tariff treatment.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... RATE, ETC. United States-Peru Trade Promotion Agreement Origin Verifications and Determinations § 10... premises of the exporter or producer in the territory of Peru, to review the records of the type...

  14. 19 CFR 10.926 - Verification and justification of claim for preferential tariff treatment.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... RATE, ETC. United States-Peru Trade Promotion Agreement Origin Verifications and Determinations § 10... premises of the exporter or producer in the territory of Peru, to review the records of the type...

  15. 19 CFR 10.470 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... HOMELAND SECURITY; DEPARTMENT OF THE TREASURY ARTICLES CONDITIONALLY FREE, SUBJECT TO A REDUCED RATE, ETC. United States-Chile Free Trade Agreement Origin Verifications and Determinations § 10.470...

  16. 19 CFR 10.3026 - Verification and justification of claim for preferential tariff treatment.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... RATE, ETC. United States-Colombia Trade Promotion Agreement Origin Verifications and Determinations... the territory of Colombia, to review the records of the type referred to in § 10.3009(c)(1) or...

  17. 19 CFR 10.3026 - Verification and justification of claim for preferential tariff treatment.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... RATE, ETC. United States-Colombia Trade Promotion Agreement Origin Verifications and Determinations... the territory of Colombia, to review the records of the type referred to in § 10.3009(c)(1) or...

  18. 19 CFR 10.473 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ...; DEPARTMENT OF THE TREASURY ARTICLES CONDITIONALLY FREE, SUBJECT TO A REDUCED RATE, ETC. United States-Chile Free Trade Agreement Origin Verifications and Determinations § 10.473 Issuance of negative...

  19. 19 CFR 10.551 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ...; DEPARTMENT OF THE TREASURY ARTICLES CONDITIONALLY FREE, SUBJECT TO A REDUCED RATE, ETC. United States-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.551 Issuance of negative...

  20. 19 CFR 10.551 - Issuance of negative origin determinations.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ...; DEPARTMENT OF THE TREASURY ARTICLES CONDITIONALLY FREE, SUBJECT TO A REDUCED RATE, ETC. United States-Singapore Free Trade Agreement Origin Verifications and Determinations § 10.551 Issuance of negative...

  1. 19 CFR 181.76 - Application of origin determinations.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 2 2010-04-01 2010-04-01 false Application of origin determinations. 181.76...; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications and Determinations § 181.76 Application of origin determinations. (a) General. Except as otherwise provided in...

  2. 19 CFR 181.75 - Issuance of origin determination.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 2 2011-04-01 2011-04-01 false Issuance of origin determination. 181.75 Section 181.75 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  3. 19 CFR 181.75 - Issuance of origin determination.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 2 2013-04-01 2013-04-01 false Issuance of origin determination. 181.75 Section 181.75 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  4. 19 CFR 181.75 - Issuance of origin determination.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 2 2010-04-01 2010-04-01 false Issuance of origin determination. 181.75 Section 181.75 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  5. 19 CFR 181.75 - Issuance of origin determination.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 2 2012-04-01 2012-04-01 false Issuance of origin determination. 181.75 Section 181.75 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  6. 19 CFR 181.76 - Application of origin determinations.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 2 2012-04-01 2012-04-01 false Application of origin determinations. 181.76 Section 181.76 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  7. 19 CFR 181.76 - Application of origin determinations.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 2 2013-04-01 2013-04-01 false Application of origin determinations. 181.76 Section 181.76 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT Origin Verifications...

  8. Origins.

    ERIC Educational Resources Information Center

    Online-Offline, 1999

    1999-01-01

    Provides an annotated list of resources dealing with the theme of origins of life, the universe, and traditions. Includes Web sites, videos, books, audio materials, and magazines with appropriate grade levels and/or subject disciplines indicated; professional resources; and learning activities. (LRW)

  9. Headspace solid-phase microextraction-gas chromatographic-time-of-flight mass spectrometric methodology for geographical origin verification of coffee.

    PubMed

    Risticevic, Sanja; Carasek, Eduardo; Pawliszyn, Janusz

    2008-06-01

    Increasing consumer awareness of food safety issues requires the development of highly sophisticated techniques for the authentication of food commodities. The food products targeted for falsification are either products of high commercial value or those produced in large quantities. For this reason, the present investigation is directed towards the characterization of coffee samples according to the geographical origin. The conducted research involves the development of a rapid headspace solid-phase microextraction (HS-SPME)-gas chromatography-time-of-flight mass spectrometry (GC-TOFMS) method that is utilized for the verification of geographical origin traceability of coffee samples. As opposed to the utilization of traditional univariate optimization methods, the current study employs the application of multivariate experimental designs to the optimization of extraction-influencing parameters. Hence, the two-level full factorial first-order design aided in the identification of two influential variables: extraction time and sample temperature. The optimum set of conditions for the two variables was 12 min and 55 degrees C, respectively, as directed by utilization of Doehlert matrix and response surface methodology. The high-throughput automated SPME procedure was completed by implementing a single divinylbenzene/carboxen/polydimethylsiloxane (DVB/CAR/PDMS) 50/30 microm metal fiber with excellent durability properties ensuring the completion of overall sequence of coffee samples. The utilization of high-speed TOFMS instrument ensured the completion of one GC-MS run of a complex coffee sample in 7.9 min and the complete list of benefits provided by ChromaTOF software including fully automated background subtraction, baseline correction, peak find and mass spectral deconvolution algorithms was exploited during the data evaluation procedure. The combination of the retention index (RI) system using C(8)-C(40) alkanes and the mass spectral library search was utilized

  10. 76 FR 30499 - To Modify the Rules of Origin for the United States-Singapore Free Trade Agreement, and for Other...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-05-25

    ....014 TD25MY11.015 ] TD25MY11.016 [FR Doc. 2011-13171 Filed 5-24-11; 11:15 am] Billing code 7020-02-C ... States entered into the United States-Peru Trade Promotion Agreement (USPTPA), and on June 24 and June 25... as amended in section 101(a) of the United States-Peru Trade Promotion Agreement Implementation...

  11. Verification and transparency in future arms control

    SciTech Connect

    Pilat, J.F.

    1996-09-01

    Verification`s importance has changed dramatically over time, although it always has been in the forefront of arms control. The goals and measures of verification and the criteria for success have changed with the times as well, reflecting such factors as the centrality of the prospective agreement to East-West relations during the Cold War, the state of relations between the United States and the Soviet Union, and the technologies available for monitoring. Verification`s role may be declining in the post-Cold War period. The prospects for such a development will depend, first and foremost, on the high costs of traditional arms control, especially those associated with requirements for verification. Moreover, the growing interest in informal, or non-negotiated arms control does not allow for verification provisions by the very nature of these arrangements. Multilateral agreements are also becoming more prominent and argue against highly effective verification measures, in part because of fears of promoting proliferation by opening sensitive facilities to inspectors from potential proliferant states. As a result, it is likely that transparency and confidence-building measures will achieve greater prominence, both as supplements to and substitutes for traditional verification. Such measures are not panaceas and do not offer all that we came to expect from verification during the Cold war. But they may be the best possible means to deal with current problems of arms reductions and restraints at acceptable levels of expenditure.

  12. Geometric verification

    NASA Technical Reports Server (NTRS)

    Grebowsky, G. J.

    1982-01-01

    Present LANDSAT data formats are reviewed to clarify how the geodetic location and registration capabilities were defined for P-tape products and RBV data. Since there is only one geometric model used in the master data processor, geometric location accuracy of P-tape products depends on the absolute accuracy of the model and registration accuracy is determined by the stability of the model. Due primarily to inaccuracies in data provided by the LANDSAT attitude management system, desired accuracies are obtained only by using ground control points and a correlation process. The verification of system performance with regards to geodetic location requires the capability to determine pixel positions of map points in a P-tape array. Verification of registration performance requires the capability to determine pixel positions of common points (not necessarily map points) in 2 or more P-tape arrays for a given world reference system scene. Techniques for registration verification can be more varied and automated since map data are not required. The verification of LACIE extractions is used as an example.

  13. RESRAD-BUILD verification.

    SciTech Connect

    Kamboj, S.; Yu, C.; Biwer, B. M.; Klett, T.

    2002-01-31

    The results generated by the RESRAD-BUILD code (version 3.0) were verified with hand or spreadsheet calculations using equations given in the RESRAD-BUILD manual for different pathways. For verification purposes, different radionuclides--H-3, C-14, Na-22, Al-26, Cl-36, Mn-54, Co-60, Au-195, Ra-226, Ra-228, Th-228, and U-238--were chosen to test all pathways and models. Tritium, Ra-226, and Th-228 were chosen because of the special tritium and radon models in the RESRAD-BUILD code. Other radionuclides were selected to represent a spectrum of radiation types and energies. Verification of the RESRAD-BUILD code was conducted with an initial check of all the input parameters for correctness against their original source documents. Verification of the calculations was performed external to the RESRAD-BUILD code with Microsoft{reg_sign} Excel to verify all the major portions of the code. In some cases, RESRAD-BUILD results were compared with those of external codes, such as MCNP (Monte Carlo N-particle) and RESRAD. The verification was conducted on a step-by-step basis and used different test cases as templates. The following types of calculations were investigated: (1) source injection rate, (2) air concentration in the room, (3) air particulate deposition, (4) radon pathway model, (5) tritium model for volume source, (6) external exposure model, (7) different pathway doses, and (8) time dependence of dose. Some minor errors were identified in version 3.0; these errors have been corrected in later versions of the code. Some possible improvements in the code were also identified.

  14. ETV - VERIFICATION TESTING (ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM)

    EPA Science Inventory

    Verification testing is a major component of the Environmental Technology Verification (ETV) program. The ETV Program was instituted to verify the performance of innovative technical solutions to problems that threaten human health or the environment and was created to substantia...

  15. Swarm Verification

    NASA Technical Reports Server (NTRS)

    Holzmann, Gerard J.; Joshi, Rajeev; Groce, Alex

    2008-01-01

    Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when it comes to plowing a field, it is not so clear for other types of tasks. Model checking problems are of the proverbial "search the needle in a haystack" type. Such problems can often be parallelized easily. Alas, none of the usual divide and conquer methods can be used to parallelize the working of a model checker. Given that it has become easier than ever to gain access to large numbers of computers to perform even routine tasks it is becoming more and more attractive to find alternate ways to use these resources to speed up model checking tasks. This paper describes one such method, called swarm verification.

  16. Criteria for monitoring a chemical arms treaty: Implications for the verification regime

    SciTech Connect

    Mullen, M.F.; Apt, K.E.; Stanbro, W.D.

    1991-12-01

    The multinational Chemical Weapons Convention (CWC) being negotiated at the Conference on Disarmament in Geneva is viewed by many as an effective way to rid the world of the threat of chemical weapons. Parties could, however, legitimately engage in certain CW-related activities in industry, agriculture, research, medicine, and law enforcement. Treaty verification requirements related to declared activities include: confirming destruction of declared CW stockpiles and production facilities; monitoring legitimate, treaty-allowed activities, such as production of certain industrial chemicals; and, detecting proscribed activities within the declared locations of treaty signatories, e.g., the illegal production of CW agents at a declared industrial facility or the diversion or substitution of declared CW stockpile items. Verification requirements related to undeclared activities or locations include investigating possible clandestine CW stocks and production capability not originally declared by signatories; detecting clandestine, proscribed activities at facilities or sites that are not declared and hence not subject to routine inspection; and, investigating allegations of belligerent use of CW. We discuss here a possible set of criteria for assessing the effectiveness of CWC verification (and certain aspects of the bilateral CW reduction agreement). Although the criteria are applicable to the full range of verification requirements, the discussion emphasizes verification of declared activities and sites.

  17. Criteria for monitoring a chemical arms treaty: Implications for the verification regime. Report No. 13

    SciTech Connect

    Mullen, M.F.; Apt, K.E.; Stanbro, W.D.

    1991-12-01

    The multinational Chemical Weapons Convention (CWC) being negotiated at the Conference on Disarmament in Geneva is viewed by many as an effective way to rid the world of the threat of chemical weapons. Parties could, however, legitimately engage in certain CW-related activities in industry, agriculture, research, medicine, and law enforcement. Treaty verification requirements related to declared activities include: confirming destruction of declared CW stockpiles and production facilities; monitoring legitimate, treaty-allowed activities, such as production of certain industrial chemicals; and, detecting proscribed activities within the declared locations of treaty signatories, e.g., the illegal production of CW agents at a declared industrial facility or the diversion or substitution of declared CW stockpile items. Verification requirements related to undeclared activities or locations include investigating possible clandestine CW stocks and production capability not originally declared by signatories; detecting clandestine, proscribed activities at facilities or sites that are not declared and hence not subject to routine inspection; and, investigating allegations of belligerent use of CW. We discuss here a possible set of criteria for assessing the effectiveness of CWC verification (and certain aspects of the bilateral CW reduction agreement). Although the criteria are applicable to the full range of verification requirements, the discussion emphasizes verification of declared activities and sites.

  18. Model-based verification of hypotheses on the origin of modern Japanese revisited by Bayesian inference based on genome-wide SNP data.

    PubMed

    Nakagome, Shigeki; Sato, Takehiro; Ishida, Hajime; Hanihara, Tsunehiko; Yamaguchi, Tetsutaro; Kimura, Ryosuke; Mano, Shuhei; Oota, Hiroki

    2015-06-01

    Various hypotheses for the peopling of the Japanese archipelago have been proposed, which can be classified into three models: transformation, replacement, and hybridization. In recent years, one of the hybridization models ("dual-structure model") has been widely accepted. According to this model, Neolithic hunter-gatherers known as Jomon, who are assumed to have originated in southeast Asia and lived in the Japanese archipelago greater than 10,000 years ago, admixed with an agricultural people known as Yayoi, whom were migrants from the East Asian continent 2,000-3,000 years ago. Meanwhile, some anthropologists propose that rather, morphological differences between the Jomon and Yayoi people can be explained by microevolution following the lifestyle change. To resolve this controversy, we compared three demographic models by approximate Bayesian computation using genome-wide single nucleotide polymorphism (gwSNP) data from the Ainu people who are thought to be direct descendants of indigenous Jomon. If we assume Chinese people sampled in Beijing from HapMap have the same ancestry as Yayoi, then the hybridization model is predicted to be between 29 and 63 times more likely than the replacement and transformation models, respectively. Furthermore, our data provide strong support for a model in which the Jomon lineages had population structure diversified in local areas before the admixture event. Initial divergence between the Jomon and Yayoi ancestries was dated to late Pleistocene, followed by the divergence of Jomon lineages at early Holocene. These results suggest gwSNP data provides a detailed picture of the complex hybridization model for Japanese population history. PMID:25758010

  19. Generic Verification Protocol for Verification of Online Turbidimeters

    EPA Science Inventory

    This protocol provides generic procedures for implementing a verification test for the performance of online turbidimeters. The verification tests described in this document will be conducted under the Environmental Technology Verification (ETV) Program. Verification tests will...

  20. Application Agreement and Integration Services

    NASA Technical Reports Server (NTRS)

    Driscoll, Kevin R.; Hall, Brendan; Schweiker, Kevin

    2013-01-01

    Application agreement and integration services are required by distributed, fault-tolerant, safety critical systems to assure required performance. An analysis of distributed and hierarchical agreement strategies are developed against the backdrop of observed agreement failures in fielded systems. The documented work was performed under NASA Task Order NNL10AB32T, Validation And Verification of Safety-Critical Integrated Distributed Systems Area 2. This document is intended to satisfy the requirements for deliverable 5.2.11 under Task 4.2.2.3. This report discusses the challenges of maintaining application agreement and integration services. A literature search is presented that documents previous work in the area of replica determinism. Sources of non-deterministic behavior are identified and examples are presented where system level agreement failed to be achieved. We then explore how TTEthernet services can be extended to supply some interesting application agreement frameworks. This document assumes that the reader is familiar with the TTEthernet protocol. The reader is advised to read the TTEthernet protocol standard [1] before reading this document. This document does not re-iterate the content of the standard.

  1. 19 CFR 10.309 - Verification of documentation.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Verification of documentation. 10.309 Section 10.309 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY ARTICLES CONDITIONALLY FREE, SUBJECT TO A REDUCED RATE, ETC. United States-Canada Free Trade Agreement § 10.309 Verification...

  2. 10 CFR 60.47 - Facility information and verification.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 10 Energy 2 2014-01-01 2014-01-01 false Facility information and verification. 60.47 Section 60.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN GEOLOGIC REPOSITORIES Licenses Us/iaea Safeguards Agreement § 60.47 Facility information and verification. (a)...

  3. 10 CFR 60.47 - Facility information and verification.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 10 Energy 2 2010-01-01 2010-01-01 false Facility information and verification. 60.47 Section 60.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN GEOLOGIC REPOSITORIES Licenses Us/iaea Safeguards Agreement § 60.47 Facility information and verification. (a)...

  4. 10 CFR 60.47 - Facility information and verification.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 10 Energy 2 2013-01-01 2013-01-01 false Facility information and verification. 60.47 Section 60.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN GEOLOGIC REPOSITORIES Licenses Us/iaea Safeguards Agreement § 60.47 Facility information and verification. (a)...

  5. 10 CFR 60.47 - Facility information and verification.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 10 Energy 2 2012-01-01 2012-01-01 false Facility information and verification. 60.47 Section 60.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN GEOLOGIC REPOSITORIES Licenses Us/iaea Safeguards Agreement § 60.47 Facility information and verification. (a)...

  6. 10 CFR 60.47 - Facility information and verification.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 10 Energy 2 2011-01-01 2011-01-01 false Facility information and verification. 60.47 Section 60.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN GEOLOGIC REPOSITORIES Licenses Us/iaea Safeguards Agreement § 60.47 Facility information and verification. (a)...

  7. 7 CFR 1260.550 - Verification of information.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... SERVICE (MARKETING AGREEMENTS AND ORDERS; MISCELLANEOUS COMMODITIES), DEPARTMENT OF AGRICULTURE BEEF PROMOTION AND RESEARCH Beef Promotion and Research: Certification and Nomination Procedures for the Cattlemen's Beef Promotion and Research Board § 1260.550 Verification of information. The Secretary...

  8. 7 CFR 1260.550 - Verification of information.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... SERVICE (MARKETING AGREEMENTS AND ORDERS; MISCELLANEOUS COMMODITIES), DEPARTMENT OF AGRICULTURE BEEF PROMOTION AND RESEARCH Beef Promotion and Research: Certification and Nomination Procedures for the Cattlemen's Beef Promotion and Research Board § 1260.550 Verification of information. The Secretary...

  9. Verification of VLSI designs

    NASA Technical Reports Server (NTRS)

    Windley, P. J.

    1991-01-01

    In this paper we explore the specification and verification of VLSI designs. The paper focuses on abstract specification and verification of functionality using mathematical logic as opposed to low-level boolean equivalence verification such as that done using BDD's and Model Checking. Specification and verification, sometimes called formal methods, is one tool for increasing computer dependability in the face of an exponentially increasing testing effort.

  10. Benchmark testing and independent verification of the VS2DT computer code

    SciTech Connect

    McCord, J.T.; Goodrich, M.T.

    1994-11-01

    The finite difference flow and transport simulator VS2DT was benchmark tested against several other codes which solve the same equations (Richards equation for flow and the Advection-Dispersion equation for transport). The benchmark problems investigated transient two-dimensional flow in a heterogeneous soil profile with a localized water source at the ground surface. The VS2DT code performed as well as or better than all other codes when considering mass balance characteristics and computational speed. It was also rated highly relative to the other codes with regard to ease-of-use. Following the benchmark study, the code was verified against two analytical solutions, one for two-dimensional flow and one for two-dimensional transport. These independent verifications show reasonable agreement with the analytical solutions, and complement the one-dimensional verification problems published in the code`s original documentation.

  11. Verification of Adaptive Systems

    SciTech Connect

    Pullum, Laura L; Cui, Xiaohui; Vassev, Emil; Hinchey, Mike; Rouff, Christopher; Buskens, Richard

    2012-01-01

    Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance for them. The combination of stabilization science, high performance computing simulations, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach.

  12. Simulation verification techniques study

    NASA Technical Reports Server (NTRS)

    Schoonmaker, P. B.; Wenglinski, T. H.

    1975-01-01

    Results are summarized of the simulation verification techniques study which consisted of two tasks: to develop techniques for simulator hardware checkout and to develop techniques for simulation performance verification (validation). The hardware verification task involved definition of simulation hardware (hardware units and integrated simulator configurations), survey of current hardware self-test techniques, and definition of hardware and software techniques for checkout of simulator subsystems. The performance verification task included definition of simulation performance parameters (and critical performance parameters), definition of methods for establishing standards of performance (sources of reference data or validation), and definition of methods for validating performance. Both major tasks included definition of verification software and assessment of verification data base impact. An annotated bibliography of all documents generated during this study is provided.

  13. Software verification and testing

    NASA Technical Reports Server (NTRS)

    1985-01-01

    General procedures for software verification and validation are provided as a guide for managers, programmers, and analysts involved in software development. The verification and validation procedures described are based primarily on testing techniques. Testing refers to the execution of all or part of a software system for the purpose of detecting errors. Planning, execution, and analysis of tests are outlined in this document. Code reading and static analysis techniques for software verification are also described.

  14. 19 CFR 10.784 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... accounting principles. When conducting a verification of origin to which Generally Accepted Accounting Principles may be relevant, CBP will apply and accept the Generally Accepted Accounting Principles...

  15. 19 CFR 10.824 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... accounting principles. When conducting a verification of origin to which Generally Accepted Accounting Principles may be relevant, CBP will apply and accept the Generally Accepted Accounting Principles...

  16. Monitoring and verification R&D

    SciTech Connect

    Pilat, Joseph F; Budlong - Sylvester, Kory W; Fearey, Bryan L

    2011-01-01

    The 2010 Nuclear Posture Review (NPR) report outlined the Administration's approach to promoting the agenda put forward by President Obama in Prague on April 5, 2009. The NPR calls for a national monitoring and verification R&D program to meet future challenges arising from the Administration's nonproliferation, arms control and disarmament agenda. Verification of a follow-on to New START could have to address warheads and possibly components along with delivery capabilities. Deeper cuts and disarmament would need to address all of these elements along with nuclear weapon testing, nuclear material and weapon production facilities, virtual capabilities from old weapon and existing energy programs and undeclared capabilities. We only know how to address some elements of these challenges today, and the requirements may be more rigorous in the context of deeper cuts as well as disarmament. Moreover, there is a critical need for multiple options to sensitive problems and to address other challenges. There will be other verification challenges in a world of deeper cuts and disarmament, some of which we are already facing. At some point, if the reductions process is progressing, uncertainties about past nuclear materials and weapons production will have to be addressed. IAEA safeguards will need to continue to evolve to meet current and future challenges, and to take advantage of new technologies and approaches. Transparency/verification of nuclear and dual-use exports will also have to be addressed, and there will be a need to make nonproliferation measures more watertight and transparent. In this context, and recognizing we will face all of these challenges even if disarmament is not achieved, this paper will explore possible agreements and arrangements; verification challenges; gaps in monitoring and verification technologies and approaches; and the R&D required to address these gaps and other monitoring and verification challenges.

  17. Formal verification of an oral messages algorithm for interactive consistency

    NASA Technical Reports Server (NTRS)

    Rushby, John

    1992-01-01

    The formal specification and verification of an algorithm for Interactive Consistency based on the Oral Messages algorithm for Byzantine Agreement is described. We compare our treatment with that of Bevier and Young, who presented a formal specification and verification for a very similar algorithm. Unlike Bevier and Young, who observed that 'the invariant maintained in the recursive subcases of the algorithm is significantly more complicated than is suggested by the published proof' and who found its formal verification 'a fairly difficult exercise in mechanical theorem proving,' our treatment is very close to the previously published analysis of the algorithm, and our formal specification and verification are straightforward. This example illustrates how delicate choices in the formulation of the problem can have significant impact on the readability of its formal specification and on the tractability of its formal verification.

  18. Agreement among 2 x 2 Agreement Indices.

    ERIC Educational Resources Information Center

    Conger, Anthony J.; Ward, David G.

    1984-01-01

    Sixteen measures of reliability for two-category nominal scales are compared. Upon correcting for chance agreement, there are only five distinct indices: Fleiss's modification of A-sub-1, the phi coefficient, Cohen's kappa, and two intraclass coefficients. Recommendations for choosing an agreement index are made based on definitions, magnitude,…

  19. Dose Verification in IMRT and VMAT

    SciTech Connect

    Feygelman, Vladimir; Nelms, Benjamin E.

    2011-05-05

    This is a review paper of the current IMRT dosimetric verification methods, with the emphasis on the solid state dosimeters. Different types of IMRT treatments and the associated quality assurance challenges are described. The prevailing techniques of quantifying dosimetric agreement and their weaknesses in terms of clinical relevance are discussed. A variety of empirical, semi-empirical, and purely calculational methods are summarized from a clinical practice point of view. A number of available commercial devices and emerging technologies are described.

  20. Voltage verification unit

    DOEpatents

    Martin, Edward J.

    2008-01-15

    A voltage verification unit and method for determining the absence of potentially dangerous potentials within a power supply enclosure without Mode 2 work is disclosed. With this device and method, a qualified worker, following a relatively simple protocol that involves a function test (hot, cold, hot) of the voltage verification unit before Lock Out/Tag Out and, and once the Lock Out/Tag Out is completed, testing or "trying" by simply reading a display on the voltage verification unit can be accomplished without exposure of the operator to the interior of the voltage supply enclosure. According to a preferred embodiment, the voltage verification unit includes test leads to allow diagnostics with other meters, without the necessity of accessing potentially dangerous bus bars or the like.

  1. Verification of RADTRAN

    SciTech Connect

    Kanipe, F.L.; Neuhauser, K.S.

    1995-12-31

    This document presents details of the verification process of the RADTRAN computer code which was established for the calculation of risk estimates for radioactive materials transportation by highway, rail, air, and waterborne modes.

  2. 24 CFR 7.43 - Settlement agreements.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... and/or their designees; and (4) Otherwise comply with 29 CFR part 1614. (b) Any settlement agreement... Regard to Race, Color Religion, Sex, National Origin, Age, Disability or Reprisal Remedies,...

  3. 24 CFR 7.43 - Settlement agreements.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... and/or their designees; and (4) Otherwise comply with 29 CFR part 1614. (b) Any settlement agreement... Regard to Race, Color Religion, Sex, National Origin, Age, Disability or Reprisal Remedies,...

  4. 24 CFR 7.43 - Settlement agreements.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... and/or their designees; and (4) Otherwise comply with 29 CFR part 1614. (b) Any settlement agreement... Regard to Race, Color Religion, Sex, National Origin, Age, Disability or Reprisal Remedies,...

  5. 24 CFR 7.43 - Settlement agreements.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... and/or their designees; and (4) Otherwise comply with 29 CFR part 1614. (b) Any settlement agreement... Regard to Race, Color Religion, Sex, National Origin, Age, Disability or Reprisal Remedies,...

  6. 24 CFR 7.43 - Settlement agreements.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... and/or their designees; and (4) Otherwise comply with 29 CFR part 1614. (b) Any settlement agreement... Regard to Race, Color Religion, Sex, National Origin, Age, Disability or Reprisal Remedies,...

  7. 77 FR 58592 - Modified Norway Post Agreement

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-09-21

    ...The Commission is noticing a recently-filed Postal Service request to include a modified Norway Post Agreement within an existing competitive product. The modification includes an 18-month extension of the original agreement's term. This notice addresses procedural aspects of the...

  8. Three-dimensional dose prediction based on two-dimensional verification measurements for IMRT.

    PubMed

    Sumida, Iori; Yamaguchi, Hajime; Kizaki, Hisao; Aboshi, Keiko; Yamada, Yuji; Yoshioka, Yasuo; Ogawa, Kazuhiko

    2014-01-01

    Dose verifications for intensity-modulated radiation therapy (IMRT) are generally performed once before treatment. A 39-fraction treatment course for prostate cancer delivers a dose prescription of 78 Gy in eight weeks. Any changes in multileaf collimator leaf position over the treatment course may affect the dosimetry. To evaluate the magnitude of deviations from the predicted dose over an entire treatment course with MLC leaf calibrations performed every two weeks, we tracked weekly changes in relative dose error distributions measured with two-dimensional (2D) beam-by-beam analysis. We compared the dosimetric results from 20 consecutive patient-specific IMRT quality assurance (QA) tests using beam-by-beam analysis and a 2D diode detector array to the dose plans calculated by the treatment planning system (TPS). We added back the resulting relative dose error measured weekly into the original dose grid for each beam. To validate the prediction method, the predicted doses and dose distributions were compared to the measurements using an ionization chamber and film. The predicted doses were in good agreement, within 2% of the measured doses, and the predicted dose distributions also presented good agreement with the measured distributions. Dose verification results measured once as a pretreatment QA test were not completely stable, as results of weekly beam-by-beam analysis showed some variation. Because dosimetric errors throughout the treatment course were averaged, the overall dosimetric impact to patients was small. PMID:25207574

  9. Explaining Verification Conditions

    NASA Technical Reports Server (NTRS)

    Deney, Ewen; Fischer, Bernd

    2006-01-01

    The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs themselves. We describe a systematic extension of the Hoare rules by labels so that the calculus itself can be used to build up explanations of the VCs. The labels are maintained through the different processing steps and rendered as natural language explanations. The explanations can easily be customized and can capture different aspects of the VCs; here, we focus on their structure and purpose. The approach is fully declarative and the generated explanations are based only on an analysis of the labels rather than directly on the logical meaning of the underlying VCs or their proofs. Keywords: program verification, Hoare calculus, traceability.

  10. Nuclear disarmament verification

    SciTech Connect

    DeVolpi, A.

    1993-12-31

    Arms control treaties, unilateral actions, and cooperative activities -- reflecting the defusing of East-West tensions -- are causing nuclear weapons to be disarmed and dismantled worldwide. In order to provide for future reductions and to build confidence in the permanency of this disarmament, verification procedures and technologies would play an important role. This paper outlines arms-control objectives, treaty organization, and actions that could be undertaken. For the purposes of this Workshop on Verification, nuclear disarmament has been divided into five topical subareas: Converting nuclear-weapons production complexes, Eliminating and monitoring nuclear-weapons delivery systems, Disabling and destroying nuclear warheads, Demilitarizing or non-military utilization of special nuclear materials, and Inhibiting nuclear arms in non-nuclear-weapons states. This paper concludes with an overview of potential methods for verification.

  11. Wind gust warning verification

    NASA Astrophysics Data System (ADS)

    Primo, Cristina

    2016-07-01

    Operational meteorological centres around the world increasingly include warnings as one of their regular forecast products. Warnings are issued to warn the public about extreme weather situations that might occur leading to damages and losses. In forecasting these extreme events, meteorological centres help their potential users in preventing the damage or losses they might suffer. However, verifying these warnings requires specific methods. This is due not only to the fact that they happen rarely, but also because a new temporal dimension is added when defining a warning, namely the time window of the forecasted event. This paper analyses the issues that might appear when dealing with warning verification. It also proposes some new verification approaches that can be applied to wind warnings. These new techniques are later applied to a real life example, the verification of wind gust warnings at the German Meteorological Centre ("Deutscher Wetterdienst"). Finally, the results obtained from the latter are discussed.

  12. Verification and validation benchmarks.

    SciTech Connect

    Oberkampf, William Louis; Trucano, Timothy Guy

    2007-02-01

    Verification and validation (V&V) are the primary means to assess the accuracy and reliability of computational simulations. V&V methods and procedures have fundamentally improved the credibility of simulations in several high-consequence fields, such as nuclear reactor safety, underground nuclear waste storage, and nuclear weapon safety. Although the terminology is not uniform across engineering disciplines, code verification deals with assessing the reliability of the software coding, and solution verification deals with assessing the numerical accuracy of the solution to a computational model. Validation addresses the physics modeling accuracy of a computational simulation by comparing the computational results with experimental data. Code verification benchmarks and validation benchmarks have been constructed for a number of years in every field of computational simulation. However, no comprehensive guidelines have been proposed for the construction and use of V&V benchmarks. For example, the field of nuclear reactor safety has not focused on code verification benchmarks, but it has placed great emphasis on developing validation benchmarks. Many of these validation benchmarks are closely related to the operations of actual reactors at near-safety-critical conditions, as opposed to being more fundamental-physics benchmarks. This paper presents recommendations for the effective design and use of code verification benchmarks based on manufactured solutions, classical analytical solutions, and highly accurate numerical solutions. In addition, this paper presents recommendations for the design and use of validation benchmarks, highlighting the careful design of building-block experiments, the estimation of experimental measurement uncertainty for both inputs and outputs to the code, validation metrics, and the role of model calibration in validation. It is argued that the understanding of predictive capability of a computational model is built on the level of

  13. TFE verification program

    NASA Astrophysics Data System (ADS)

    1994-01-01

    This is the final semiannual progress report for the Thermionic Fuel Elements (TFE) verification. A decision was made in August 1993 to begin a Close Out Program on October 1, 1993. Final reports summarizing the design analyses and test activities of the TFE Verification Program will be written, stand-alone documents for each task. The objective of the semiannual progress report is to summarize the technical results obtained during the latest reporting period. The information presented herein includes evaluated test data, design evaluations, the results of analyses and the significance of results.

  14. General Environmental Verification Specification

    NASA Technical Reports Server (NTRS)

    Milne, J. Scott, Jr.; Kaufman, Daniel S.

    2003-01-01

    The NASA Goddard Space Flight Center s General Environmental Verification Specification (GEVS) for STS and ELV Payloads, Subsystems, and Components is currently being revised based on lessons learned from GSFC engineering and flight assurance. The GEVS has been used by Goddard flight projects for the past 17 years as a baseline from which to tailor their environmental test programs. A summary of the requirements and updates are presented along with the rationale behind the changes. The major test areas covered by the GEVS include mechanical, thermal, and EMC, as well as more general requirements for planning, tracking of the verification programs.

  15. Requirement Assurance: A Verification Process

    NASA Technical Reports Server (NTRS)

    Alexander, Michael G.

    2011-01-01

    Requirement Assurance is an act of requirement verification which assures the stakeholder or customer that a product requirement has produced its "as realized product" and has been verified with conclusive evidence. Product requirement verification answers the question, "did the product meet the stated specification, performance, or design documentation?". In order to ensure the system was built correctly, the practicing system engineer must verify each product requirement using verification methods of inspection, analysis, demonstration, or test. The products of these methods are the "verification artifacts" or "closure artifacts" which are the objective evidence needed to prove the product requirements meet the verification success criteria. Institutional direction is given to the System Engineer in NPR 7123.1A NASA Systems Engineering Processes and Requirements with regards to the requirement verification process. In response, the verification methodology offered in this report meets both the institutional process and requirement verification best practices.

  16. Systems Approach to Arms Control Verification

    SciTech Connect

    Allen, K; Neimeyer, I; Listner, C; Stein, G; Chen, C; Dreicer, M

    2015-05-15

    Using the decades of experience of developing concepts and technologies for verifying bilateral and multilateral arms control agreements, a broad conceptual systems approach is being developed that takes into account varying levels of information and risk. The IAEA has already demonstrated the applicability of a systems approach by implementing safeguards at the State level, with acquisition path analysis as the key element. In order to test whether such an approach could also be implemented for arms control verification, an exercise was conducted in November 2014 at the JRC ITU Ispra. Based on the scenario of a hypothetical treaty between two model nuclear weapons states aimed at capping their nuclear arsenals at existing levels, the goal of this exercise was to explore how to use acquisition path analysis in an arms control context. Our contribution will present the scenario, objectives and results of this exercise, and attempt to define future workshops aimed at further developing verification measures that will deter or detect treaty violations.

  17. Mining agreements III

    SciTech Connect

    Not Available

    1991-01-01

    This book cover the following: Forms of mining agreements; Preliminary letter agreements; Acquisition of mineral interests involving securities; Partnership tax treatment in mining agreements; Non-tax consequences of partnerships under state law; Protection against joint venturers' liabilities; Joint venture decision making; Mining royalties; Commingling and unitization provisions; Indemnification and insurance provisions; Area of interest provision; Dispute resolution; and Non-participation and default provisions.

  18. Misinterpretations in agreement and agreement attraction.

    PubMed

    Patson, Nikole D; Husband, E Matthew

    2016-05-01

    It has been well established that subject-verb number agreement can be disrupted by local noun phrases that differ in number from the subject head noun phrase. In sentence production, mismatches in the grammatical number of the head and local noun phrases lead to agreement errors on the verb as in: the key to the cabinets are. Similarly, although ungrammaticality typically causes disruption in measures of sentence comprehension, the disruption is reduced when the local noun phrase has a plural feature. Using a forced-choice comprehension question method, we report two experiments that provide evidence that comprehenders were likely to misinterpret the number information on the head noun phrase when morphosyntactic number markings on the local noun phrase and verb did not match the head. These results are consistent with a growing body of research that suggests that comprehenders often arrive at a final interpretation of a sentence that is not faithful to the linguistic input. PMID:25624171

  19. Context Effects in Sentence Verification.

    ERIC Educational Resources Information Center

    Kiger, John I.; Glass, Arnold L.

    1981-01-01

    Three experiments examined what happens to reaction time to verify easy items when they are mixed with difficult items in a verification task. Subjects verification of simple arithmetic equations and sentences took longer when placed in a difficult list. Difficult sentences also slowed the verification of easy arithmetic equations. (Author/RD)

  20. Workgroup for Hydraulic laboratory Testing and Verification of Hydroacoustic Instrumentation

    USGS Publications Warehouse

    Fulford, Janice M.; Armstrong, Brandy N.; Thibodeaux, Kirk G.

    2015-01-01

    An international workgroup was recently formed for hydraulic laboratory testing and verification of hydroacoustic instrumentation used for water velocity measurements. The activities of the workgroup have included one face to face meeting, conference calls and an inter-laboratory exchange of two acoustic meters among participating laboratories. Good agreement was found among four laboratories at higher tow speeds and poorer agreement at the lowest tow speed.

  1. Computer Graphics Verification

    NASA Technical Reports Server (NTRS)

    1992-01-01

    Video processing creates technical animation sequences using studio quality equipment to realistically represent fluid flow over space shuttle surfaces, helicopter rotors, and turbine blades.Computer systems Co-op, Tim Weatherford, performing computer graphics verification. Part of Co-op brochure.

  2. FPGA Verification Accelerator (FVAX)

    NASA Technical Reports Server (NTRS)

    Oh, Jane; Burke, Gary

    2008-01-01

    Is Verification Acceleration Possible? - Increasing the visibility of the internal nodes of the FPGA results in much faster debug time - Forcing internal signals directly allows a problem condition to be setup very quickly center dot Is this all? - No, this is part of a comprehensive effort to improve the JPL FPGA design and V&V process.

  3. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    This presentation will be given at the EPA Science Forum 2005 in Washington, DC. The Environmental Technology Verification Program (ETV) was initiated in 1995 to speed implementation of new and innovative commercial-ready environemntal technologies by providing objective, 3rd pa...

  4. Telescope performance verification

    NASA Astrophysics Data System (ADS)

    Swart, Gerhard P.; Buckley, David A. H.

    2004-09-01

    While Systems Engineering appears to be widely applied on the very large telescopes, it is lacking in the development of many of the medium and small telescopes currently in progress. The latter projects rely heavily on the experience of the project team, verbal requirements and conjecture based on the successes and failures of other telescopes. Furthermore, it is considered an unaffordable luxury to "close-the-loop" by carefully analysing and documenting the requirements and then verifying the telescope's compliance with them. In this paper the authors contend that a Systems Engineering approach is a keystone in the development of any telescope and that verification of the telescope's performance is not only an important management tool but also forms the basis upon which successful telescope operation can be built. The development of the Southern African Large Telescope (SALT) has followed such an approach and is now in the verification phase of its development. Parts of the SALT verification process will be discussed in some detail to illustrate the suitability of this approach, including oversight by the telescope shareholders, recording of requirements and results, design verification and performance testing. Initial test results will be presented where appropriate.

  5. 7 CFR 996.73 - Verification of reports.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 8 2014-01-01 2014-01-01 false Verification of reports. 996.73 Section 996.73 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE MINIMUM QUALITY AND HANDLING STANDARDS FOR DOMESTIC AND...

  6. 7 CFR 983.68 - Verification of reports.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 8 2014-01-01 2014-01-01 false Verification of reports. 983.68 Section 983.68 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN CALIFORNIA, ARIZONA, AND NEW MEXICO Reports,...

  7. 10 CFR 63.47 - Facility information and verification.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 10 Energy 2 2013-01-01 2013-01-01 false Facility information and verification. 63.47 Section 63.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN A GEOLOGIC REPOSITORY AT YUCCA MOUNTAIN, NEVADA Licenses Us/iaea Safeguards Agreement § 63.47 Facility information...

  8. 10 CFR 63.47 - Facility information and verification.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 10 Energy 2 2011-01-01 2011-01-01 false Facility information and verification. 63.47 Section 63.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN A GEOLOGIC REPOSITORY AT YUCCA MOUNTAIN, NEVADA Licenses Us/iaea Safeguards Agreement § 63.47 Facility information...

  9. 10 CFR 63.47 - Facility information and verification.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 10 Energy 2 2014-01-01 2014-01-01 false Facility information and verification. 63.47 Section 63.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN A GEOLOGIC REPOSITORY AT YUCCA MOUNTAIN, NEVADA Licenses Us/iaea Safeguards Agreement § 63.47 Facility information...

  10. 10 CFR 63.47 - Facility information and verification.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 10 Energy 2 2010-01-01 2010-01-01 false Facility information and verification. 63.47 Section 63.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN A GEOLOGIC REPOSITORY AT YUCCA MOUNTAIN, NEVADA Licenses Us/iaea Safeguards Agreement § 63.47 Facility information...

  11. 10 CFR 63.47 - Facility information and verification.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 10 Energy 2 2012-01-01 2012-01-01 false Facility information and verification. 63.47 Section 63.47 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) DISPOSAL OF HIGH-LEVEL RADIOACTIVE WASTES IN A GEOLOGIC REPOSITORY AT YUCCA MOUNTAIN, NEVADA Licenses Us/iaea Safeguards Agreement § 63.47 Facility information...

  12. 7 CFR 929.64 - Verification of reports and records.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 8 2013-01-01 2013-01-01 false Verification of reports and records. 929.64 Section 929.64 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE...

  13. 7 CFR 929.64 - Verification of reports and records.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 8 2011-01-01 2011-01-01 false Verification of reports and records. 929.64 Section 929.64 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE...

  14. 7 CFR 929.64 - Verification of reports and records.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 8 2010-01-01 2010-01-01 false Verification of reports and records. 929.64 Section 929.64 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE...

  15. 7 CFR 929.64 - Verification of reports and records.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 8 2012-01-01 2012-01-01 false Verification of reports and records. 929.64 Section 929.64 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE...

  16. 7 CFR 929.64 - Verification of reports and records.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 8 2014-01-01 2014-01-01 false Verification of reports and records. 929.64 Section 929.64 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING AGREEMENTS AND ORDERS; FRUITS, VEGETABLES, NUTS), DEPARTMENT OF AGRICULTURE...

  17. 7 CFR 983.68 - Verification of reports.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 8 2010-01-01 2010-01-01 false Verification of reports. 983.68 Section 983.68 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing Agreements and Orders; Fruits, Vegetables, Nuts), DEPARTMENT OF AGRICULTURE PISTACHIOS GROWN IN...

  18. Exomars Mission Verification Approach

    NASA Astrophysics Data System (ADS)

    Cassi, Carlo; Gilardi, Franco; Bethge, Boris

    According to the long-term cooperation plan established by ESA and NASA in June 2009, the ExoMars project now consists of two missions: A first mission will be launched in 2016 under ESA lead, with the objectives to demonstrate the European capability to safely land a surface package on Mars, to perform Mars Atmosphere investigation, and to provide communi-cation capability for present and future ESA/NASA missions. For this mission ESA provides a spacecraft-composite, made up of an "Entry Descent & Landing Demonstrator Module (EDM)" and a Mars Orbiter Module (OM), NASA provides the Launch Vehicle and the scientific in-struments located on the Orbiter for Mars atmosphere characterisation. A second mission with it launch foreseen in 2018 is lead by NASA, who provides spacecraft and launcher, the EDL system, and a rover. ESA contributes the ExoMars Rover Module (RM) to provide surface mobility. It includes a drill system allowing drilling down to 2 meter, collecting samples and to investigate them for signs of past and present life with exobiological experiments, and to investigate the Mars water/geochemical environment, In this scenario Thales Alenia Space Italia as ESA Prime industrial contractor is in charge of the design, manufacturing, integration and verification of the ESA ExoMars modules, i.e.: the Spacecraft Composite (OM + EDM) for the 2016 mission, the RM for the 2018 mission and the Rover Operations Control Centre, which will be located at Altec-Turin (Italy). The verification process of the above products is quite complex and will include some pecu-liarities with limited or no heritage in Europe. Furthermore the verification approach has to be optimised to allow full verification despite significant schedule and budget constraints. The paper presents the verification philosophy tailored for the ExoMars mission in line with the above considerations, starting from the model philosophy, showing the verification activities flow and the sharing of tests

  19. Non-Proliferation Agreements.

    ERIC Educational Resources Information Center

    Swalec, John J.

    1981-01-01

    Discusses five kinds of cooperative agreements established by the College of Lake County (IL): those with other community colleges/technical institutes; the military; business, industry, and organizations; secondary schools; and community and special interest groups. Pays particular attention to two kinds of agreements with other colleges. (CAM)

  20. Cooperative Agreements Study Report.

    ERIC Educational Resources Information Center

    Lawton, R. E.; Magruder, D.

    During the 1983 meeting of the Florida Legislature, action was taken to begin a systematic study of the level of cooperation between the Florida public schools K-12 program and the community and junior colleges. The goals and objectives of the Cooperative Agreements Study were to review and compile a list of the cooperative agreements and identify…

  1. Multibody modeling and verification

    NASA Technical Reports Server (NTRS)

    Wiens, Gloria J.

    1989-01-01

    A summary of a ten week project on flexible multibody modeling, verification and control is presented. Emphasis was on the need for experimental verification. A literature survey was conducted for gathering information on the existence of experimental work related to flexible multibody systems. The first portion of the assigned task encompassed the modeling aspects of flexible multibodies that can undergo large angular displacements. Research in the area of modeling aspects were also surveyed, with special attention given to the component mode approach. Resulting from this is a research plan on various modeling aspects to be investigated over the next year. The relationship between the large angular displacements, boundary conditions, mode selection, and system modes is of particular interest. The other portion of the assigned task was the generation of a test plan for experimental verification of analytical and/or computer analysis techniques used for flexible multibody systems. Based on current and expected frequency ranges of flexible multibody systems to be used in space applications, an initial test article was selected and designed. A preliminary TREETOPS computer analysis was run to ensure frequency content in the low frequency range, 0.1 to 50 Hz. The initial specifications of experimental measurement and instrumentation components were also generated. Resulting from this effort is the initial multi-phase plan for a Ground Test Facility of Flexible Multibody Systems for Modeling Verification and Control. The plan focusses on the Multibody Modeling and Verification (MMV) Laboratory. General requirements of the Unobtrusive Sensor and Effector (USE) and the Robot Enhancement (RE) laboratories were considered during the laboratory development.

  2. Design and Realization of Controllable Ultrasonic Fault Detector Automatic Verification System

    NASA Astrophysics Data System (ADS)

    Sun, Jing-Feng; Liu, Hui-Ying; Guo, Hui-Juan; Shu, Rong; Wei, Kai-Li

    The ultrasonic flaw detection equipment with remote control interface is researched and the automatic verification system is developed. According to use extensible markup language, the building of agreement instruction set and data analysis method database in the system software realizes the controllable designing and solves the diversification of unreleased device interfaces and agreements. By using the signal generator and a fixed attenuator cascading together, a dynamic error compensation method is proposed, completes what the fixed attenuator does in traditional verification and improves the accuracy of verification results. The automatic verification system operating results confirms that the feasibility of the system hardware and software architecture design and the correctness of the analysis method, while changes the status of traditional verification process cumbersome operations, and reduces labor intensity test personnel.

  3. Overview of the TOPEX/Poseidon Platform Harvest Verification Experiment

    NASA Technical Reports Server (NTRS)

    Morris, Charles S.; DiNardo, Steven J.; Christensen, Edward J.

    1995-01-01

    An overview is given of the in situ measurement system installed on Texaco's Platform Harvest for verification of the sea level measurement from the TOPEX/Poseidon satellite. The prelaunch error budget suggested that the total root mean square (RMS) error due to measurements made at this verification site would be less than 4 cm. The actual error budget for the verification site is within these original specifications. However, evaluation of the sea level data from three measurement systems at the platform has resulted in unexpectedly large differences between the systems. Comparison of the sea level measurements from the different tide gauge systems has led to a better understanding of the problems of measuring sea level in relatively deep ocean. As of May 1994, the Platform Harvest verification site has successfully supported 60 TOPEX/Poseidon overflights.

  4. Robust verification analysis

    NASA Astrophysics Data System (ADS)

    Rider, William; Witkowski, Walt; Kamm, James R.; Wildey, Tim

    2016-02-01

    We introduce a new methodology for inferring the accuracy of computational simulations through the practice of solution verification. We demonstrate this methodology on examples from computational heat transfer, fluid dynamics and radiation transport. Our methodology is suited to both well- and ill-behaved sequences of simulations. Our approach to the analysis of these sequences of simulations incorporates expert judgment into the process directly via a flexible optimization framework, and the application of robust statistics. The expert judgment is systematically applied as constraints to the analysis, and together with the robust statistics guards against over-emphasis on anomalous analysis results. We have named our methodology Robust Verification. Our methodology is based on utilizing multiple constrained optimization problems to solve the verification model in a manner that varies the analysis' underlying assumptions. Constraints applied in the analysis can include expert judgment regarding convergence rates (bounds and expectations) as well as bounding values for physical quantities (e.g., positivity of energy or density). This approach then produces a number of error models, which are then analyzed through robust statistical techniques (median instead of mean statistics). This provides self-contained, data and expert informed error estimation including uncertainties for both the solution itself and order of convergence. Our method produces high quality results for the well-behaved cases relatively consistent with existing practice. The methodology can also produce reliable results for ill-behaved circumstances predicated on appropriate expert judgment. We demonstrate the method and compare the results with standard approaches used for both code and solution verification on well-behaved and ill-behaved simulations.

  5. TFE verification program

    NASA Astrophysics Data System (ADS)

    1990-03-01

    The information presented herein will include evaluated test data, design evaluations, the results of analyses and the significance of results. The program objective is to demonstrate the technology readiness of a Thermionic Fuel Element (TFE) suitable for use as the basic element in a thermionic reactor with electric power output in the 0.5 to 5.0 MW(e) range, and a full-power life of 7 years. The TF Verification Program builds directly on the technology and data base developed in the 1960s and 1970s in an AEC/NASA program, and in the SP-100 program conducted in 1983, 1984 and 1985. In the SP-100 program, the attractive features of thermionic power conversion technology were recognized but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addresses this concern. The general logic and strategy of the program to achieve its objectives is shown. Five prior programs form the basis for the TFE Verification Program: (1) AEC/NASA program of the 1960s and early 1970; (2) SP-100 concept development program; (3) SP-100 thermionic technology program; (4) Thermionic irradiations program in TRIGA in FY-88; and (5) Thermionic Program in 1986 and 1987.

  6. TFE Verification Program

    SciTech Connect

    Not Available

    1990-03-01

    The objective of the semiannual progress report is to summarize the technical results obtained during the latest reporting period. The information presented herein will include evaluated test data, design evaluations, the results of analyses and the significance of results. The program objective is to demonstrate the technology readiness of a TFE suitable for use as the basic element in a thermionic reactor with electric power output in the 0.5 to 5.0 MW(e) range, and a full-power life of 7 years. The TF Verification Program builds directly on the technology and data base developed in the 1960s and 1970s in an AEC/NASA program, and in the SP-100 program conducted in 1983, 1984 and 1985. In the SP-100 program, the attractive but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addresses this concern. The general logic and strategy of the program to achieve its objectives is shown on Fig. 1-1. Five prior programs form the basis for the TFE Verification Program: (1) AEC/NASA program of the 1960s and early 1970; (2) SP-100 concept development program;(3) SP-100 thermionic technology program; (4) Thermionic irradiations program in TRIGA in FY-86; (5) and Thermionic Technology Program in 1986 and 1987. 18 refs., 64 figs., 43 tabs.

  7. Cold Flow Verification Test Facility

    SciTech Connect

    Shamsi, A.; Shadle, L.J.

    1996-12-31

    The cold flow verification test facility consists of a 15-foot high, 3-foot diameter, domed vessel made of clear acrylic in two flanged sections. The unit can operate up to pressures of 14 psig. The internals include a 10-foot high jetting fluidized bed, a cylindrical baffle that hangs from the dome, and a rotating grate for control of continuous solids removal. The fluid bed is continuously fed solids (20 to 150 lb/hr) through a central nozzle made up of concentric pipes. It can either be configured as a half or full cylinder of various dimensions. The fluid bed has flow loops for separate air flow control for conveying solids (inner jet, 500 to 100000 scfh) , make-up into the jet (outer jet, 500 to 8000 scfh), spargers in the solids removal annulus (100 to 2000 scfh), and 6 air jets (20 to 200 scfh) on the sloping conical grid. Additional air (500 to 10000 scfh) can be added to the top of the dome and under the rotating grate. The outer vessel, the hanging cylindrical baffles or skirt, and the rotating grate can be used to study issues concerning moving bed reactors. There is ample allowance for access and instrumentation in the outer shell. Furthermore, this facility is available for future Cooperative Research and Development Program Manager Agreements (CRADA) to study issues and problems associated with fluid- and fixed-bed reactors. The design allows testing of different dimensions and geometries.

  8. 46 CFR 535.306 - Nonexclusive transshipment agreements-exemption.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... Section 535.306 Shipping FEDERAL MARITIME COMMISSION REGULATIONS AFFECTING OCEAN SHIPPING IN FOREIGN COMMERCE OCEAN COMMON CARRIER AND MARINE TERMINAL OPERATOR AGREEMENTS SUBJECT TO THE SHIPPING ACT OF 1984... agreement is a transshipment agreement by which one ocean common carrier serving a port of origin by...

  9. 46 CFR 535.306 - Nonexclusive transshipment agreements-exemption.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... Section 535.306 Shipping FEDERAL MARITIME COMMISSION REGULATIONS AFFECTING OCEAN SHIPPING IN FOREIGN COMMERCE OCEAN COMMON CARRIER AND MARINE TERMINAL OPERATOR AGREEMENTS SUBJECT TO THE SHIPPING ACT OF 1984... agreement is a transshipment agreement by which one ocean common carrier serving a port of origin by...

  10. 46 CFR 535.306 - Nonexclusive transshipment agreements-exemption.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... Section 535.306 Shipping FEDERAL MARITIME COMMISSION REGULATIONS AFFECTING OCEAN SHIPPING IN FOREIGN COMMERCE OCEAN COMMON CARRIER AND MARINE TERMINAL OPERATOR AGREEMENTS SUBJECT TO THE SHIPPING ACT OF 1984... agreement is a transshipment agreement by which one ocean common carrier serving a port of origin by...

  11. Continuous verification using multimodal biometrics.

    PubMed

    Sim, Terence; Zhang, Sheng; Janakiraman, Rajkumar; Kumar, Sandeep

    2007-04-01

    Conventional verification systems, such as those controlling access to a secure room, do not usually require the user to reauthenticate himself for continued access to the protected resource. This may not be sufficient for high-security environments in which the protected resource needs to be continuously monitored for unauthorized use. In such cases, continuous verification is needed. In this paper, we present the theory, architecture, implementation, and performance of a multimodal biometrics verification system that continuously verifies the presence of a logged-in user. Two modalities are currently used--face and fingerprint--but our theory can be readily extended to include more modalities. We show that continuous verification imposes additional requirements on multimodal fusion when compared to conventional verification systems. We also argue that the usual performance metrics of false accept and false reject rates are insufficient yardsticks for continuous verification and propose new metrics against which we benchmark our system. PMID:17299225

  12. Quantum money with classical verification

    SciTech Connect

    Gavinsky, Dmitry

    2014-12-04

    We propose and construct a quantum money scheme that allows verification through classical communication with a bank. This is the first demonstration that a secure quantum money scheme exists that does not require quantum communication for coin verification. Our scheme is secure against adaptive adversaries - this property is not directly related to the possibility of classical verification, nevertheless none of the earlier quantum money constructions is known to possess it.

  13. Quantum money with classical verification

    NASA Astrophysics Data System (ADS)

    Gavinsky, Dmitry

    2014-12-01

    We propose and construct a quantum money scheme that allows verification through classical communication with a bank. This is the first demonstration that a secure quantum money scheme exists that does not require quantum communication for coin verification. Our scheme is secure against adaptive adversaries - this property is not directly related to the possibility of classical verification, nevertheless none of the earlier quantum money constructions is known to possess it.

  14. Canadian seismic agreement

    SciTech Connect

    Wetmiller, R.J.; Lyons, J.A.; Shannon, W.E.; Munro, P.S.; Thomas, J.T.; Andrew, M.D.; Lamontagne, M.; Wong, C., Anglin, F.M.; Plouffe, M.; Lapointe, S.P.; Adams, J.; Drysdale, J.A. . Geophysics Div.)

    1990-04-01

    This is the twenty-first progress report under the agreement entitled Canadian Seismic Agreement between the US Nuclear Regulatory Commission (NRC) and the Canadian Commercial Corporation. Activities undertaken by the Geophysics Division of the Geological Survey of Canada (GD/GSC) during the period from July 01, 1988 to June 30, 1989 and supported in part by the NRC agreement are described below under four headings; Eastern Canada Telemetred Network and local network developments, Datalab developments, strong motion network developments and earthquake activity. In this time period eastern Canada experienced its largest earthquake in over 50 years. This earthquake, which has been christened the Saguenay earthquake, has provided a wealth of new data pertinent to earthquake engineering studies in eastern North America and is the subject of many continuing studies, which are presently being carried out at GD and elsewhere. 41 refs., 21 figs., 7 tabs.

  15. FFTF Authorization Agreement

    SciTech Connect

    DAUTEL, W.A.

    2000-09-25

    The purpose of the Authorization Agreement is to serve as a mechanism whereby the U.S. Department of Energy, Richland Operations Office (RL) and Fluor Hanford (FH) jointly clarify and agree to key conditions for conducting work safely and efficiently in the Fast Flux Test Facility (FFTF). Work must be accomplished in a manner that achieves high levels of quality while protecting the environment and the safety and health of workers and the public, and complying with applicable contractual and regulatory requirements. It is the intent of this Agreement to address those items of significant importance in establishing and supporting the FFTF Authorization Envelope, but this Agreement in no way alters the terms and conditions of the Project Hanford Management Contract (PHMC), Contract Number DE-AC06-96RL13200.

  16. Canadian Seismic Agreement

    SciTech Connect

    Wetmiller, R.J.; Lyons, J.A.; Shannon, W.E.; Munro, P.S.; Thomas, J.T.; Andrew, M.D.; Lapointe, S.P.; Lamontagne, M.; Wong, C.; Anglin, F.M.; Adams, J.; Cajka, M.G.; McNeil, W.; Drysdale, J.A. )

    1992-05-01

    This is a progress report of work carried out under the terms of a research agreement entitled the Canadian Seismic Agreement'' between the US Nuclear Regulatory Commission (USNRC), the Canadian Commercial Corporation and the Geophysics Division of the Geological Survey of Canada (GD/GSC) during the period from July 01, 1989 to June 30, 1990. The Canadian Seismic Agreement'' supports generally the operation of various seismograph stations in eastern Canada and the collection and analysis of earthquake data for the purpose of mitigating seismic hazards in eastern Canada and the northeastern US. The specific activities carried out in this one-year period are summarized below under four headings; Eastern Canada Telemetred Network and local network developments, Datalab developments, strong-motion network developments and earthquake activity. During this period the first surface fault unequivocably determined to have accompanied a historic earthquake in eastern North America, occurred in northern Quebec.

  17. Comments for A Conference on Verification in the 21st Century

    SciTech Connect

    Doyle, James E.

    2012-06-12

    The author offers 5 points for the discussion of Verification and Technology: (1) Experience with the implementation of arms limitation and arms reduction agreements confirms that technology alone has never been relied upon to provide effective verification. (2) The historical practice of verification of arms control treaties between Cold War rivals may constrain the cooperative and innovative use of technology for transparency, veification and confidence building in the future. (3) An area that has been identified by many, including the US State Department and NNSA as being rich for exploration for potential uses of technology for transparency and verification is information and communications technology (ICT). This includes social media, crowd-sourcing, the internet of things, and the concept of societal verification, but there are issues. (4) On the issue of the extent to which verification technologies are keeping pace with the demands of future protocols and agrements I think the more direct question is ''are they effective in supporting the objectives of the treaty or agreement?'' In this regard it is important to acknowledge that there is a verification grand challenge at our doorstep. That is ''how does one verify limitations on nuclear warheads in national stockpiles?'' (5) Finally, while recognizing the daunting political and security challenges of such an approach, multilateral engagement and cooperation at the conceptual and technical levels provides benefits for addressing future verification challenges.

  18. Cancelable face verification using optical encryption and authentication.

    PubMed

    Taheri, Motahareh; Mozaffari, Saeed; Keshavarzi, Parviz

    2015-10-01

    In a cancelable biometric system, each instance of enrollment is distorted by a transform function, and the output should not be retransformed to the original data. This paper presents a new cancelable face verification system in the encrypted domain. Encrypted facial images are generated by a double random phase encoding (DRPE) algorithm using two keys (RPM1 and RPM2). To make the system noninvertible, a photon counting (PC) method is utilized, which requires a photon distribution mask for information reduction. Verification of sparse images that are not recognizable by direct visual inspection is performed by unconstrained minimum average correlation energy filter. In the proposed method, encryption keys (RPM1, RPM2, and PDM) are used in the sender side, and the receiver needs only encrypted images and correlation filters. In this manner, the system preserves privacy if correlation filters are obtained by an adversary. Performance of PC-DRPE verification system is evaluated under illumination variation, pose changes, and facial expression. Experimental results show that utilizing encrypted images not only increases security concerns but also enhances verification performance. This improvement can be attributed to the fact that, in the proposed system, the face verification problem is converted to key verification tasks. PMID:26479930

  19. Verification of LHS distributions.

    SciTech Connect

    Swiler, Laura Painton

    2006-04-01

    This document provides verification test results for normal, lognormal, and uniform distributions that are used in Sandia's Latin Hypercube Sampling (LHS) software. The purpose of this testing is to verify that the sample values being generated in LHS are distributed according to the desired distribution types. The testing of distribution correctness is done by examining summary statistics, graphical comparisons using quantile-quantile plots, and format statistical tests such as the Chisquare test, the Kolmogorov-Smirnov test, and the Anderson-Darling test. The overall results from the testing indicate that the generation of normal, lognormal, and uniform distributions in LHS is acceptable.

  20. FFTF Authorization Agreement

    SciTech Connect

    DAUTEL, W.A.

    2000-02-25

    The purpose of the Authorization Agreement is to serve as a mechanism whereby the U.S. Department of Energy, Richland Operations Office (RL) and Fluor Hanford (FH) jointly clarify and agree to key conditions for conducting work safely and efficiently.

  1. Coefficients for Interrater Agreement.

    ERIC Educational Resources Information Center

    Zegers, Frits E.

    1991-01-01

    The degree of agreement between two raters rating several objects for a single characteristic can be expressed through an association coefficient, such as the Pearson product-moment correlation. How to select an appropriate association coefficient, and the desirable properties and uses of a class of such coefficients--the Euclidean…

  2. Formal Verification of Large Software Systems

    NASA Technical Reports Server (NTRS)

    Yin, Xiang; Knight, John

    2010-01-01

    We introduce a scalable proof structure to facilitate formal verification of large software systems. In our approach, we mechanically synthesize an abstract specification from the software implementation, match its static operational structure to that of the original specification, and organize the proof as the conjunction of a series of lemmas about the specification structure. By setting up a different lemma for each distinct element and proving each lemma independently, we obtain the important benefit that the proof scales easily for large systems. We present details of the approach and an illustration of its application on a challenge problem from the security domain

  3. Development of advanced seal verification

    NASA Technical Reports Server (NTRS)

    Workman, Gary L.; Kosten, Susan E.; Abushagur, Mustafa A.

    1992-01-01

    The purpose of this research is to develop a technique to monitor and insure seal integrity with a sensor that has no active elements to burn-out during a long duration activity, such as a leakage test or especially during a mission in space. The original concept proposed is that by implementing fiber optic sensors, changes in the integrity of a seal can be monitored in real time and at no time should the optical fiber sensor fail. The electrical components which provide optical excitation and detection through the fiber are not part of the seal; hence, if these electrical components fail, they can be easily changed without breaking the seal. The optical connections required for the concept to work does present a functional problem to work out. The utility of the optical fiber sensor for seal monitoring should be general enough that the degradation of a seal can be determined before catastrophic failure occurs and appropriate action taken. Two parallel efforts were performed in determining the feasibility of using optical fiber sensors for seal verification. In one study, research on interferometric measurements of the mechanical response of the optical fiber sensors to seal integrity was studied. In a second study, the implementation of the optical fiber to a typical vacuum chamber was implemented and feasibility studies on microbend experiments in the vacuum chamber were performed. Also, an attempt was made to quantify the amount of pressure actually being applied to the optical fiber using finite element analysis software by Algor.

  4. Thoughts on Verification of Nuclear Disarmament

    SciTech Connect

    Dunlop, W H

    2007-09-26

    It is my pleasure to be here to day to participate in this Conference. My thanks to the organizers for preparing such an interesting agenda on a very difficult topic. My effort in preparing my presentation was performed under the auspices of the U.S. Department of Energy by University of California, Lawrence Livermore National Laboratory under Contract W-7405-Eng-48. And as many of you know Lawrence Livermore National Laboratory is now, as of Oct 1st, under contract to the Lawrence Livermore National Security LLC. There has been a long history of how to view verification of arms control agreements. The basis for verification during the days of SALT was that verification would be based on each country's national technical means. For treaties dealing with strategic missiles this worked well as the individual items subject to verification were of such a size that they were visible by the National Technical Means available at the time. And it was felt that the counting of missiles and launchers could be verified by our National Technical Means. For nuclear testing treaties the use of seismic measurements developed into a capability that was reasonably robust for all but the smallest of nuclear tests. However, once we had the Threshold Test Ban Treaty, there was a significant problem in that the fidelity of the measurements were not sufficient to determine if a test was slightly above the 150 kt limit or slightly below the 150 kt limit. This led some in the US to believe that the Soviet Union was not living up to the TTBT agreement. An on-site verification protocol was negotiated in 1988 and 1989 that allowed the US to make hydrodynamic yield measurements on Soviet tests above 50 kt yield and regional seismic measurements on all tests above 35 kt of yield; and the Soviets to make the same type of measurements on US tests to ensure that they were not over 150 kt. These on-site measurements were considered reasonably intrusive. Again the measurement capability was not

  5. TFE Verification Program

    SciTech Connect

    Not Available

    1993-05-01

    The objective of the semiannual progress report is to summarize the technical results obtained during the latest reporting period. The information presented herein will include evaluated test data, design evaluations, the results of analyses and the significance of results. The program objective is to demonstrate the technology readiness of a TFE (thermionic fuel element) suitable for use as the basic element in a thermionic reactor with electric power output in the 0.5 to 5.0 MW(e) range, and a full-power life of 7 years. The TFE Verification Program builds directly on the technology and data base developed in the 1960s and early 1970s in an AEC/NASA program, and in the SP-100 program conducted in 1983, 1984 and 1985. In the SP-100 program, the attractive features of thermionic power conversion technology were recognized but concern was expressed over the lack of fast reactor irradiation data. The TFE Verification Program addresses this concern.

  6. Software Verification and Validation Procedure

    SciTech Connect

    Olund, Thomas S.

    2008-09-15

    This Software Verification and Validation procedure provides the action steps for the Tank Waste Information Network System (TWINS) testing process. The primary objective of the testing process is to provide assurance that the software functions as intended, and meets the requirements specified by the client. Verification and validation establish the primary basis for TWINS software product acceptance.

  7. Deductive Verification of Cryptographic Software

    NASA Technical Reports Server (NTRS)

    Almeida, Jose Barcelar; Barbosa, Manuel; Pinto, Jorge Sousa; Vieira, Barbara

    2009-01-01

    We report on the application of an off-the-shelf verification platform to the RC4 stream cipher cryptographic software implementation (as available in the openSSL library), and introduce a deductive verification technique based on self-composition for proving the absence of error propagation.

  8. HDL to verification logic translator

    NASA Astrophysics Data System (ADS)

    Gambles, J. W.; Windley, P. J.

    The increasingly higher number of transistors possible in VLSI circuits compounds the difficulty in insuring correct designs. As the number of possible test cases required to exhaustively simulate a circuit design explodes, a better method is required to confirm the absence of design faults. Formal verification methods provide a way to prove, using logic, that a circuit structure correctly implements its specification. Before verification is accepted by VLSI design engineers, the stand alone verification tools that are in use in the research community must be integrated with the CAD tools used by the designers. One problem facing the acceptance of formal verification into circuit design methodology is that the structural circuit descriptions used by the designers are not appropriate for verification work and those required for verification lack some of the features needed for design. We offer a solution to this dilemma: an automatic translation from the designers' HDL models into definitions for the higher-ordered logic (HOL) verification system. The translated definitions become the low level basis of circuit verification which in turn increases the designer's confidence in the correctness of higher level behavioral models.

  9. HDL to verification logic translator

    NASA Technical Reports Server (NTRS)

    Gambles, J. W.; Windley, P. J.

    1992-01-01

    The increasingly higher number of transistors possible in VLSI circuits compounds the difficulty in insuring correct designs. As the number of possible test cases required to exhaustively simulate a circuit design explodes, a better method is required to confirm the absence of design faults. Formal verification methods provide a way to prove, using logic, that a circuit structure correctly implements its specification. Before verification is accepted by VLSI design engineers, the stand alone verification tools that are in use in the research community must be integrated with the CAD tools used by the designers. One problem facing the acceptance of formal verification into circuit design methodology is that the structural circuit descriptions used by the designers are not appropriate for verification work and those required for verification lack some of the features needed for design. We offer a solution to this dilemma: an automatic translation from the designers' HDL models into definitions for the higher-ordered logic (HOL) verification system. The translated definitions become the low level basis of circuit verification which in turn increases the designer's confidence in the correctness of higher level behavioral models.

  10. Countries renew rescue agreement

    NASA Astrophysics Data System (ADS)

    Bush, Susan M.

    To insure long-term continuity for the international satellite search and rescue system, COSPAS/SARSAT, an intergovernmental agreement binding the four sponsoring nations to cooperate was signed July 1 in Paris. According to Russell Vollmers of the National Oceanic and Atmospheric Administration, the agreement is binding for 15 years, with an automatic extension.The system marked the fifth anniversary of its first rescue last year, when on September 10, 1982, three persons were rescued. Begun in the 1970s by NASA as an experiment, COSPAS/SARSAT (a Russian-English acronym) is now a cooperative project among the United States, Canada, France, and the Soviet Union. Its goal is to reduce the time required to rescue air and maritime distress victims and also to locate victims who otherwise may not be found, thus using the satellite system as a life-saving device.

  11. Mechanical verification of a schematic Byzantine clock synchronization algorithm

    NASA Technical Reports Server (NTRS)

    Shankar, Natarajan

    1991-01-01

    Schneider generalizes a number of protocols for Byzantine fault tolerant clock synchronization and presents a uniform proof for their correctness. The authors present a machine checked proof of this schematic protocol that revises some of the details in Schneider's original analysis. The verification was carried out with the EHDM system developed at the SRI Computer Science Laboratory. The mechanically checked proofs include the verification that the egocentric mean function used in Lamport and Melliar-Smith's Interactive Convergence Algorithm satisfies the requirements of Schneider's protocol.

  12. Online fingerprint verification.

    PubMed

    Upendra, K; Singh, S; Kumar, V; Verma, H K

    2007-01-01

    As organizations search for more secure authentication methods for user access, e-commerce, and other security applications, biometrics is gaining increasing attention. With an increasing emphasis on the emerging automatic personal identification applications, fingerprint based identification is becoming more popular. The most widely used fingerprint representation is the minutiae based representation. The main drawback with this representation is that it does not utilize a significant component of the rich discriminatory information available in the fingerprints. Local ridge structures cannot be completely characterized by minutiae. Also, it is difficult quickly to match two fingerprint images containing different number of unregistered minutiae points. In this study filter bank based representation, which eliminates these weakness, is implemented and the overall performance of the developed system is tested. The results have shown that this system can be used effectively for secure online verification applications. PMID:17365425

  13. Verification of VENTSAR

    SciTech Connect

    Simpkins, A.A.

    1995-01-01

    The VENTSAR code is an upgraded and improved version of the VENTX code, which estimates concentrations on or near a building from a release at a nearby location. The code calculates the concentrations either for a given meteorological exceedance probability or for a given stability and wind speed combination. A single building can be modeled which lies in the path of the plume, or a penthouse can be added to the top of the building. Plume rise may also be considered. Release types can be either chemical or radioactive. Downwind concentrations are determined at user-specified incremental distances. This verification report was prepared to demonstrate that VENTSAR is properly executing all algorithms and transferring data. Hand calculations were also performed to ensure proper application of methodologies.

  14. US-Euratom Nuclear Cooperation Agreement: The eleventh hour

    SciTech Connect

    1995-01-01

    Issues involved in negotiations between the United States and Euratom for renewing the Nuclear Cooperation Agreement are discussed. The Agreement impacts exports to Euratom countries of nuclear material and technology, and US approval of third party transfers of US-origin material, including Japanese reprocessing, to Euratom countries. The US Nuclear Non-Proliferation Act, requiring more stringent safeguards for US-origin materials, is described as a major issue preventing Euratom countries signing the Agreement. Potential impacts of allowing the Agreement to lapse are described, and actions required for renewal are outlined.

  15. Independent calculation-based verification of IMRT plans using a 3D dose-calculation engine

    SciTech Connect

    Arumugam, Sankar; Xing, Aitang; Goozee, Gary; Holloway, Lois

    2013-01-01

    Independent monitor unit verification of intensity-modulated radiation therapy (IMRT) plans requires detailed 3-dimensional (3D) dose verification. The aim of this study was to investigate using a 3D dose engine in a second commercial treatment planning system (TPS) for this task, facilitated by in-house software. Our department has XiO and Pinnacle TPSs, both with IMRT planning capability and modeled for an Elekta-Synergy 6 MV photon beam. These systems allow the transfer of computed tomography (CT) data and RT structures between them but do not allow IMRT plans to be transferred. To provide this connectivity, an in-house computer programme was developed to convert radiation therapy prescription (RTP) files as generated by many planning systems into either XiO or Pinnacle IMRT file formats. Utilization of the technique and software was assessed by transferring 14 IMRT plans from XiO and Pinnacle onto the other system and performing 3D dose verification. The accuracy of the conversion process was checked by comparing the 3D dose matrices and dose volume histograms (DVHs) of structures for the recalculated plan on the same system. The developed software successfully transferred IMRT plans generated by 1 planning system into the other. Comparison of planning target volume (TV) DVHs for the original and recalculated plans showed good agreement; a maximum difference of 2% in mean dose, − 2.5% in D95, and 2.9% in V95 was observed. Similarly, a DVH comparison of organs at risk showed a maximum difference of +7.7% between the original and recalculated plans for structures in both high- and medium-dose regions. However, for structures in low-dose regions (less than 15% of prescription dose) a difference in mean dose up to +21.1% was observed between XiO and Pinnacle calculations. A dose matrix comparison of original and recalculated plans in XiO and Pinnacle TPSs was performed using gamma analysis with 3%/3 mm criteria. The mean and standard deviation of pixels passing

  16. Independent calculation-based verification of IMRT plans using a 3D dose-calculation engine.

    PubMed

    Arumugam, Sankar; Xing, Aitang; Goozee, Gary; Holloway, Lois

    2013-01-01

    Independent monitor unit verification of intensity-modulated radiation therapy (IMRT) plans requires detailed 3-dimensional (3D) dose verification. The aim of this study was to investigate using a 3D dose engine in a second commercial treatment planning system (TPS) for this task, facilitated by in-house software. Our department has XiO and Pinnacle TPSs, both with IMRT planning capability and modeled for an Elekta-Synergy 6MV photon beam. These systems allow the transfer of computed tomography (CT) data and RT structures between them but do not allow IMRT plans to be transferred. To provide this connectivity, an in-house computer programme was developed to convert radiation therapy prescription (RTP) files as generated by many planning systems into either XiO or Pinnacle IMRT file formats. Utilization of the technique and software was assessed by transferring 14 IMRT plans from XiO and Pinnacle onto the other system and performing 3D dose verification. The accuracy of the conversion process was checked by comparing the 3D dose matrices and dose volume histograms (DVHs) of structures for the recalculated plan on the same system. The developed software successfully transferred IMRT plans generated by 1 planning system into the other. Comparison of planning target volume (TV) DVHs for the original and recalculated plans showed good agreement; a maximum difference of 2% in mean dose, - 2.5% in D95, and 2.9% in V95 was observed. Similarly, a DVH comparison of organs at risk showed a maximum difference of +7.7% between the original and recalculated plans for structures in both high- and medium-dose regions. However, for structures in low-dose regions (less than 15% of prescription dose) a difference in mean dose up to +21.1% was observed between XiO and Pinnacle calculations. A dose matrix comparison of original and recalculated plans in XiO and Pinnacle TPSs was performed using gamma analysis with 3%/3mm criteria. The mean and standard deviation of pixels passing gamma

  17. Verification, Validation and Sensitivity Studies in Computational Biomechanics

    PubMed Central

    Anderson, Andrew E.; Ellis, Benjamin J.; Weiss, Jeffrey A.

    2012-01-01

    Computational techniques and software for the analysis of problems in mechanics have naturally moved from their origins in the traditional engineering disciplines to the study of cell, tissue and organ biomechanics. Increasingly complex models have been developed to describe and predict the mechanical behavior of such biological systems. While the availability of advanced computational tools has led to exciting research advances in the field, the utility of these models is often the subject of criticism due to inadequate model verification and validation. The objective of this review is to present the concepts of verification, validation and sensitivity studies with regard to the construction, analysis and interpretation of models in computational biomechanics. Specific examples from the field are discussed. It is hoped that this review will serve as a guide to the use of verification and validation principles in the field of computational biomechanics, thereby improving the peer acceptance of studies that use computational modeling techniques. PMID:17558646

  18. University-Industry Teaming Agreements.

    ERIC Educational Resources Information Center

    Stombler, Milton P.

    1989-01-01

    The use of preaward agreements between the industry and the university collaborating to seek external funding, particularly from government sources, is examined. The agreements describe the parties' obligations in seeking funding and lay the groundwork for subsequent research agreements. Elements of such agreements are discussed to raise awareness…

  19. Enhanced Verification Test Suite for Physics Simulation Codes

    SciTech Connect

    Kamm, J R; Brock, J S; Brandon, S T; Cotrell, D L; Johnson, B; Knupp, P; Rider, W; Trucano, T; Weirs, V G

    2008-10-10

    This document discusses problems with which to augment, in quantity and in quality, the existing tri-laboratory suite of verification problems used by Los Alamos National Laboratory (LANL), Lawrence Livermore National Laboratory (LLNL), and Sandia National Laboratories (SNL). The purpose of verification analysis is demonstrate whether the numerical results of the discretization algorithms in physics and engineering simulation codes provide correct solutions of the corresponding continuum equations. The key points of this document are: (1) Verification deals with mathematical correctness of the numerical algorithms in a code, while validation deals with physical correctness of a simulation in a regime of interest. This document is about verification. (2) The current seven-problem Tri-Laboratory Verification Test Suite, which has been used for approximately five years at the DOE WP laboratories, is limited. (3) Both the methodology for and technology used in verification analysis have evolved and been improved since the original test suite was proposed. (4) The proposed test problems are in three basic areas: (a) Hydrodynamics; (b) Transport processes; and (c) Dynamic strength-of-materials. (5) For several of the proposed problems we provide a 'strong sense verification benchmark', consisting of (i) a clear mathematical statement of the problem with sufficient information to run a computer simulation, (ii) an explanation of how the code result and benchmark solution are to be evaluated, and (iii) a description of the acceptance criterion for simulation code results. (6) It is proposed that the set of verification test problems with which any particular code be evaluated include some of the problems described in this document. Analysis of the proposed verification test problems constitutes part of a necessary--but not sufficient--step that builds confidence in physics and engineering simulation codes. More complicated test cases, including physics models of greater

  20. 40 CFR 1065.390 - PM balance verifications and weighing process verification.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 34 2013-07-01 2013-07-01 false PM balance verifications and weighing... § 1065.390 PM balance verifications and weighing process verification. (a) Scope and frequency. This section describes three verifications. (1) Independent verification of PM balance performance within...

  1. 40 CFR 1065.390 - PM balance verifications and weighing process verification.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 32 2010-07-01 2010-07-01 false PM balance verifications and weighing... § 1065.390 PM balance verifications and weighing process verification. (a) Scope and frequency. This section describes three verifications. (1) Independent verification of PM balance performance within...

  2. 40 CFR 1065.390 - PM balance verifications and weighing process verification.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 34 2012-07-01 2012-07-01 false PM balance verifications and weighing... § 1065.390 PM balance verifications and weighing process verification. (a) Scope and frequency. This section describes three verifications. (1) Independent verification of PM balance performance within...

  3. 40 CFR 1065.390 - PM balance verifications and weighing process verification.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 33 2011-07-01 2011-07-01 false PM balance verifications and weighing... § 1065.390 PM balance verifications and weighing process verification. (a) Scope and frequency. This section describes three verifications. (1) Independent verification of PM balance performance within...

  4. 40 CFR 1065.390 - PM balance verifications and weighing process verification.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 33 2014-07-01 2014-07-01 false PM balance verifications and weighing... § 1065.390 PM balance verifications and weighing process verification. (a) Scope and frequency. This section describes three verifications. (1) Independent verification of PM balance performance within...

  5. SPR Hydrostatic Column Model Verification and Validation.

    SciTech Connect

    Bettin, Giorgia; Lord, David; Rudeen, David Keith

    2015-10-01

    A Hydrostatic Column Model (HCM) was developed to help differentiate between normal "tight" well behavior and small-leak behavior under nitrogen for testing the pressure integrity of crude oil storage wells at the U.S. Strategic Petroleum Reserve. This effort was motivated by steady, yet distinct, pressure behavior of a series of Big Hill caverns that have been placed under nitrogen for extended period of time. This report describes the HCM model, its functional requirements, the model structure and the verification and validation process. Different modes of operation are also described, which illustrate how the software can be used to model extended nitrogen monitoring and Mechanical Integrity Tests by predicting wellhead pressures along with nitrogen interface movements. Model verification has shown that the program runs correctly and it is implemented as intended. The cavern BH101 long term nitrogen test was used to validate the model which showed very good agreement with measured data. This supports the claim that the model is, in fact, capturing the relevant physical phenomena and can be used to make accurate predictions of both wellhead pressure and interface movements.

  6. Biometric verification with correlation filters.

    PubMed

    Vijaya Kumar, B V K; Savvides, Marios; Xie, Chunyan; Venkataramani, Krithika; Thornton, Jason; Mahalanobis, Abhijit

    2004-01-10

    Using biometrics for subject verification can significantly improve security over that of approaches based on passwords and personal identification numbers, both of which people tend to lose or forget. In biometric verification the system tries to match an input biometric (such as a fingerprint, face image, or iris image) to a stored biometric template. Thus correlation filter techniques are attractive candidates for the matching precision needed in biometric verification. In particular, advanced correlation filters, such as synthetic discriminant function filters, can offer very good matching performance in the presence of variability in these biometric images (e.g., facial expressions, illumination changes, etc.). We investigate the performance of advanced correlation filters for face, fingerprint, and iris biometric verification. PMID:14735958

  7. Biometric verification with correlation filters

    NASA Astrophysics Data System (ADS)

    Vijaya Kumar, B. V. K.; Savvides, Marios; Xie, Chunyan; Venkataramani, Krithika; Thornton, Jason; Mahalanobis, Abhijit

    2004-01-01

    Using biometrics for subject verification can significantly improve security over that of approaches based on passwords and personal identification numbers, both of which people tend to lose or forget. In biometric verification the system tries to match an input biometric (such as a fingerprint, face image, or iris image) to a stored biometric template. Thus correlation filter techniques are attractive candidates for the matching precision needed in biometric verification. In particular, advanced correlation filters, such as synthetic discriminant function filters, can offer very good matching performance in the presence of variability in these biometric images (e.g., facial expressions, illumination changes, etc.). We investigate the performance of advanced correlation filters for face, fingerprint, and iris biometric verification.

  8. TPS verification with UUT simulation

    NASA Astrophysics Data System (ADS)

    Wang, Guohua; Meng, Xiaofeng; Zhao, Ruixian

    2006-11-01

    TPS's (Test Program Set) verification or first article acceptance test commonly depends on fault insertion experiment on UUT (Unit Under Test). However the failure modes injected on UUT is limited and it is almost infeasible when the UUT is in development or in a distributed state. To resolve this problem, a TPS verification method based on UUT interface signal simulation is putting forward. The interoperability between ATS (automatic test system) and UUT simulation platform is very important to realize automatic TPS verification. After analyzing the ATS software architecture, the approach to realize interpretability between ATS software and UUT simulation platform is proposed. And then the UUT simulation platform software architecture is proposed based on the ATS software architecture. The hardware composition and software architecture of the UUT simulation is described in details. The UUT simulation platform has been implemented in avionics equipment TPS development, debug and verification.

  9. 19 CFR 10.173 - Evidence of country of origin.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Evidence of country of origin. 10.173 Section 10... Generalized System of Preferences § 10.173 Evidence of country of origin. (a) Shipments covered by a formal... origin as deemed necessary. (c) Verification of documentation. Any evidence of country of...

  10. The Role of science in treaty verification

    SciTech Connect

    Gavron, A. I.

    2004-01-01

    Technologically advanced nations are currently applying more science to treaty verification than ever before. Satellites gather a multitude of information relating to proliferation concerns using thermal imaging analysis, nuclear radiation measurements, and optical and radio frequency signals detection. Ground stations gather complementary signals such as seismic events and radioactive emissions. Export controls in many countries attempt to intercept materials and technical means that could be used for nuclear proliferation. Never the less, we have witnessed a plethora of nuclear proliferation episodes, that were undetected (or were belatedly detected) by these technologies - the Indian nuclear tests in 1998, the Libyan nuclear buildup, the Iranian enrichment program and the North Korea nuclear weapons program are some prime examples. In this talk we will discuss some of the technologies used for proliferation detection. In particular, we will note some of the issues relating to nuclear materials control agreements that epitomize political difficulties as they impact the implementation of science and technology.

  11. Monte Carlo Calculations Supporting Patient Plan Verification in Proton Therapy.

    PubMed

    Lima, Thiago V M; Dosanjh, Manjit; Ferrari, Alfredo; Molineli, Silvia; Ciocca, Mario; Mairani, Andrea

    2016-01-01

    Patient's treatment plan verification covers substantial amount of the quality assurance (QA) resources; this is especially true for Intensity-Modulated Proton Therapy (IMPT). The use of Monte Carlo (MC) simulations in supporting QA has been widely discussed, and several methods have been proposed. In this paper, we studied an alternative approach from the one being currently applied clinically at Centro Nazionale di Adroterapia Oncologica (CNAO). We reanalyzed the previously published data (Molinelli et al. (1)), where 9 patient plans were investigated in which the warning QA threshold of 3% mean dose deviation was crossed. The possibility that these differences between measurement and calculated dose were related to dose modeling (Treatment Planning Systems (TPS) vs. MC), limitations on dose delivery system, or detectors mispositioning was originally explored, but other factors, such as the geometric description of the detectors, were not ruled out. For the purpose of this work, we compared ionization chambers' measurements with different MC simulation results. It was also studied that some physical effects were introduced by this new approach, for example, inter-detector interference and the delta ray thresholds. The simulations accounting for a detailed geometry typically are superior (statistical difference - p-value around 0.01) to most of the MC simulations used at CNAO (only inferior to the shift approach used). No real improvement was observed in reducing the current delta ray threshold used (100 keV), and no significant interference between ion chambers in the phantom were detected (p-value 0.81). In conclusion, it was observed that the detailed geometrical description improves the agreement between measurement and MC calculations in some cases. But in other cases, position uncertainty represents the dominant uncertainty. The inter-chamber disturbance was not detected for the therapeutic protons energies, and the results from the current delta threshold

  12. Monte Carlo Calculations Supporting Patient Plan Verification in Proton Therapy

    PubMed Central

    Lima, Thiago V. M.; Dosanjh, Manjit; Ferrari, Alfredo; Molineli, Silvia; Ciocca, Mario; Mairani, Andrea

    2016-01-01

    Patient’s treatment plan verification covers substantial amount of the quality assurance (QA) resources; this is especially true for Intensity-Modulated Proton Therapy (IMPT). The use of Monte Carlo (MC) simulations in supporting QA has been widely discussed, and several methods have been proposed. In this paper, we studied an alternative approach from the one being currently applied clinically at Centro Nazionale di Adroterapia Oncologica (CNAO). We reanalyzed the previously published data (Molinelli et al. (1)), where 9 patient plans were investigated in which the warning QA threshold of 3% mean dose deviation was crossed. The possibility that these differences between measurement and calculated dose were related to dose modeling (Treatment Planning Systems (TPS) vs. MC), limitations on dose delivery system, or detectors mispositioning was originally explored, but other factors, such as the geometric description of the detectors, were not ruled out. For the purpose of this work, we compared ionization chambers’ measurements with different MC simulation results. It was also studied that some physical effects were introduced by this new approach, for example, inter-detector interference and the delta ray thresholds. The simulations accounting for a detailed geometry typically are superior (statistical difference – p-value around 0.01) to most of the MC simulations used at CNAO (only inferior to the shift approach used). No real improvement was observed in reducing the current delta ray threshold used (100 keV), and no significant interference between ion chambers in the phantom were detected (p-value 0.81). In conclusion, it was observed that the detailed geometrical description improves the agreement between measurement and MC calculations in some cases. But in other cases, position uncertainty represents the dominant uncertainty. The inter-chamber disturbance was not detected for the therapeutic protons energies, and the results from the current delta

  13. What is the Final Verification of Engineering Requirements?

    NASA Technical Reports Server (NTRS)

    Poole, Eric

    2010-01-01

    This slide presentation reviews the process of development through the final verification of engineering requirements. The definition of the requirements is driven by basic needs, and should be reviewed by both the supplier and the customer. All involved need to agree upon a formal requirements including changes to the original requirements document. After the requirements have ben developed, the engineering team begins to design the system. The final design is reviewed by other organizations. The final operational system must satisfy the original requirements, though many verifications should be performed during the process. The verification methods that are used are test, inspection, analysis and demonstration. The plan for verification should be created once the system requirements are documented. The plan should include assurances that every requirement is formally verified, that the methods and the responsible organizations are specified, and that the plan is reviewed by all parties. The options of having the engineering team involved in all phases of the development as opposed to having some other organization continue the process once the design has been complete is discussed.

  14. Assessment of pharmacogenomic agreement

    PubMed Central

    Safikhani, Zhaleh; El-Hachem, Nehme; Quevedo, Rene; Smirnov, Petr; Goldenberg, Anna; Juul Birkbak, Nicolai; Mason, Christopher; Hatzis, Christos; Shi, Leming; Aerts, Hugo JWL; Quackenbush, John; Haibe-Kains, Benjamin

    2016-01-01

    In 2013 we published an analysis demonstrating that drug response data and gene-drug associations reported in two independent large-scale pharmacogenomic screens, Genomics of Drug Sensitivity in Cancer (GDSC) and Cancer Cell Line Encyclopedia (CCLE), were inconsistent. The GDSC and CCLE investigators recently reported that their respective studies exhibit reasonable agreement and yield similar molecular predictors of drug response, seemingly contradicting our previous findings. Reanalyzing the authors’ published methods and results, we found that their analysis failed to account for variability in the genomic data and more importantly compared different drug sensitivity measures from each study, which substantially deviate from our more stringent consistency assessment. Our comparison of the most updated genomic and pharmacological data from the GDSC and CCLE confirms our published findings that the measures of drug response reported by these two groups are not consistent. We believe that a principled approach to assess the reproducibility of drug sensitivity predictors is necessary before envisioning their translation into clinical settings. PMID:27408686

  15. Assessment of pharmacogenomic agreement.

    PubMed

    Safikhani, Zhaleh; El-Hachem, Nehme; Quevedo, Rene; Smirnov, Petr; Goldenberg, Anna; Juul Birkbak, Nicolai; Mason, Christopher; Hatzis, Christos; Shi, Leming; Aerts, Hugo Jwl; Quackenbush, John; Haibe-Kains, Benjamin

    2016-01-01

    In 2013 we published an analysis demonstrating that drug response data and gene-drug associations reported in two independent large-scale pharmacogenomic screens, Genomics of Drug Sensitivity in Cancer (GDSC) and Cancer Cell Line Encyclopedia (CCLE), were inconsistent. The GDSC and CCLE investigators recently reported that their respective studies exhibit reasonable agreement and yield similar molecular predictors of drug response, seemingly contradicting our previous findings. Reanalyzing the authors' published methods and results, we found that their analysis failed to account for variability in the genomic data and more importantly compared different drug sensitivity measures from each study, which substantially deviate from our more stringent consistency assessment. Our comparison of the most updated genomic and pharmacological data from the GDSC and CCLE confirms our published findings that the measures of drug response reported by these two groups are not consistent. We believe that a principled approach to assess the reproducibility of drug sensitivity predictors is necessary before envisioning their translation into clinical settings. PMID:27408686

  16. CTBT integrated verification system evaluation model supplement

    SciTech Connect

    EDENBURN,MICHAEL W.; BUNTING,MARCUS; PAYNE JR.,ARTHUR C.; TROST,LAWRENCE C.

    2000-03-02

    Sandia National Laboratories has developed a computer based model called IVSEM (Integrated Verification System Evaluation Model) to estimate the performance of a nuclear detonation monitoring system. The IVSEM project was initiated in June 1994, by Sandia's Monitoring Systems and Technology Center and has been funded by the U.S. Department of Energy's Office of Nonproliferation and National Security (DOE/NN). IVSEM is a simple, ''top-level,'' modeling tool which estimates the performance of a Comprehensive Nuclear Test Ban Treaty (CTBT) monitoring system and can help explore the impact of various sensor system concepts and technology advancements on CTBT monitoring. One of IVSEM's unique features is that it integrates results from the various CTBT sensor technologies (seismic, in sound, radionuclide, and hydroacoustic) and allows the user to investigate synergy among the technologies. Specifically, IVSEM estimates the detection effectiveness (probability of detection), location accuracy, and identification capability of the integrated system and of each technology subsystem individually. The model attempts to accurately estimate the monitoring system's performance at medium interfaces (air-land, air-water) and for some evasive testing methods such as seismic decoupling. The original IVSEM report, CTBT Integrated Verification System Evaluation Model, SAND97-25 18, described version 1.2 of IVSEM. This report describes the changes made to IVSEM version 1.2 and the addition of identification capability estimates that have been incorporated into IVSEM version 2.0.

  17. Mining Agreements with Indian Tribes

    ERIC Educational Resources Information Center

    Luebben, Tom

    1976-01-01

    The article discusses aspects of negotiating agreements for exploration, development, and mining of hard minerals on Indian Reservations. The agreements discussed are typical of copper agreements, but the general points under discussion are applicable to most hard minerals except for uranium, coal, and oil which are substantially different.…

  18. Agreement with Subjects in Lubukusu

    ERIC Educational Resources Information Center

    Diercks, Michael J. K.

    2010-01-01

    This dissertation examines three topics in the morphosyntax of Lubukusu (Bantu, Kenya), all of which are concerned with agreement with subjects: locative inversion, complementizer agreement, and alternative agreement effects in subject extraction. Each topic reports novel Lubukusu data which are both typologically interesting and theoretically…

  19. Independent Verification Final Summary Report for the David Witherspoon, Inc. 1630 Site Knoxville, Tennessee

    SciTech Connect

    P.C. Weaver

    2009-04-29

    The primary objective of the independent verification was to determine if BJC performed the appropriate actions to meet the specified “hot spot” cleanup criteria of 500 picocuries per gram (pCi/g) uranium-238 (U-238) in surface soil. Specific tasks performed by the independent verification team (IVT) to satisfy this objective included: 1) performing radiological walkover surveys, and 2) collecting soil samples for independent analyses. The independent verification (IV) efforts were designed to evaluate radioactive contaminants (specifically U-238) in the exposed surfaces below one foot of the original site grade, given that the top one foot layer of soil on the site was removed in its entirety.

  20. 19 CFR 10.472 - Verification in the United States of textile and apparel goods.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 1 2012-04-01 2012-04-01 false Verification in the United States of textile and... the United States of textile and apparel goods. (a) Procedures to determine whether a claim of origin... for the purpose of determining that a claim of origin for a textile or apparel good is accurate....

  1. 19 CFR 10.472 - Verification in the United States of textile and apparel goods.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 19 Customs Duties 1 2014-04-01 2014-04-01 false Verification in the United States of textile and... the United States of textile and apparel goods. (a) Procedures to determine whether a claim of origin... for the purpose of determining that a claim of origin for a textile or apparel good is accurate....

  2. 19 CFR 10.472 - Verification in the United States of textile and apparel goods.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 1 2011-04-01 2011-04-01 false Verification in the United States of textile and... the United States of textile and apparel goods. (a) Procedures to determine whether a claim of origin... for the purpose of determining that a claim of origin for a textile or apparel good is accurate....

  3. 19 CFR 10.472 - Verification in the United States of textile and apparel goods.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Verification in the United States of textile and... the United States of textile and apparel goods. (a) Procedures to determine whether a claim of origin... for the purpose of determining that a claim of origin for a textile or apparel good is accurate....

  4. Hard and Soft Safety Verifications

    NASA Technical Reports Server (NTRS)

    Wetherholt, Jon; Anderson, Brenda

    2012-01-01

    The purpose of this paper is to examine the differences between and the effects of hard and soft safety verifications. Initially, the terminology should be defined and clarified. A hard safety verification is datum which demonstrates how a safety control is enacted. An example of this is relief valve testing. A soft safety verification is something which is usually described as nice to have but it is not necessary to prove safe operation. An example of a soft verification is the loss of the Solid Rocket Booster (SRB) casings from Shuttle flight, STS-4. When the main parachutes failed, the casings impacted the water and sank. In the nose cap of the SRBs, video cameras recorded the release of the parachutes to determine safe operation and to provide information for potential anomaly resolution. Generally, examination of the casings and nozzles contributed to understanding of the newly developed boosters and their operation. Safety verification of SRB operation was demonstrated by examination for erosion or wear of the casings and nozzle. Loss of the SRBs and associated data did not delay the launch of the next Shuttle flight.

  5. Verification of weapons of mass destruction treaties. A necessary engagement in an evolutionary enlargement. Research report

    SciTech Connect

    Allen, J.L.

    1996-04-15

    The United States has signed and become a party to more than 30 multilateral and bilateral arms control agreements since 1959. The lack of absolute effectiveness and confidence of these agreements to limit or ban WMD arsenals or to prevent WMD proliferation has caused many learned arms control scholars to question America`s use of these treaties to meet national security objectives. The controversy often focuses on verification of a treaty member`s compliance with the terms of the agreement. However, what seems to be a poor record of treaty compliance and adequate verification is in reality, a moderate success in stemming WMD proliferation and is indicative of the continuing evolution of compliance verification as the central factor in evaluating treaty effectiveness. The thesis of this study is that verification of treaty compliance has also evolved as the most important component of arms control, and the U.S. must remained engaged as the world leader to strengthen WMD treaties with verification procedures that provide a high probability of detection and deterrence to potential violators.

  6. Structural verification for GAS experiments

    NASA Technical Reports Server (NTRS)

    Peden, Mark Daniel

    1992-01-01

    The purpose of this paper is to assist the Get Away Special (GAS) experimenter in conducting a thorough structural verification of its experiment structural configuration, thus expediting the structural review/approval process and the safety process in general. Material selection for structural subsystems will be covered with an emphasis on fasteners (GSFC fastener integrity requirements) and primary support structures (Stress Corrosion Cracking requirements and National Space Transportation System (NSTS) requirements). Different approaches to structural verifications (tests and analyses) will be outlined especially those stemming from lessons learned on load and fundamental frequency verification. In addition, fracture control will be covered for those payloads that utilize a door assembly or modify the containment provided by the standard GAS Experiment Mounting Plate (EMP). Structural hazard assessment and the preparation of structural hazard reports will be reviewed to form a summation of structural safety issues for inclusion in the safety data package.

  7. Verification and validation of impinging round jet simulations using an adaptive FEM

    NASA Astrophysics Data System (ADS)

    Pelletier, Dominique; Turgeon, Éric; Tremblay, Dominique

    2004-03-01

    This paper illustrates the use of an adaptive finite element method as a means of achieving verification of codes and simulations of impinging round jets, that is obtaining numerical predictions with controlled accuracy. Validation of these grid-independent solution is then performed by comparing predictions to measurements. We adopt the standard and accepted definitions of verification and validation (Technical Report AIAA-G-077-1998, American Institute of Aeronautics and Astronautics, 1998; Verification and Validation in Computational Science and Engineering. Hermosa Publishers: Albuquerque, NM, 1998). Mesh adaptation is used to perform the systematic and rigorous grid refinement studies required for both verification and validation in CFD. This ensures that discrepancies observed between predictions and measurements are due to deficiencies in the mathematical model of the flow. Issues in verification and validation are discussed. The paper presents an example of code verification by the method of manufactured solution. Examples of successful and unsuccessful validation for laminar and turbulent impinging jets show that agreement with experiments is achieved only with a good mathematical model of the flow physics combined with accurate numerical solution of the differential equations. The paper emphasizes good CFD practice to systematically achieve verification so that validation studies are always performed on solid grounds.

  8. VERIFICATION TEST PROBLEMS

    SciTech Connect

    Moran, B

    2007-08-08

    We present analytic solutions to two test problems that can be used to check the hydrodynamic implementation in computer codes designed to calculate the propagation of shocks in spherically convergent geometry. Our analysis is restricted to fluid materials with constant bulk modulus. In the first problem we present the exact initial acceleration and pressure gradient at the outer surface of a sphere subjected to an exponentially decaying pressure of the form P(t) = P{sub 0}e{sup -at}. We show that finely-zoned hydro-code simulations are in good agreement with our analytic solution. In the second problem we discuss the implosions of incompressible spherical fluid shells and we present the radial pressure profile across the shell thickness. We also discuss a semi-analytic solution to the time-evolution of a nearly spherical shell with arbitrary but small initial 3-dimensional (3-D) perturbations on its inner and outer surfaces.

  9. Space Telescope performance and verification

    NASA Technical Reports Server (NTRS)

    Wright, W. F.

    1980-01-01

    The verification philosophy for the Space Telescope (ST) has evolved from years of experience with multispacecraft programs modified by the new factors introduced by the Space Transportation System. At the systems level of test, the ST will undergo joint qualification/acceptance tests with environment simulation using Lockheed's large spacecraft test facilities. These tests continue the process of detecting workmanship defects and module interface incompatibilities. The test program culminates in an 'all up' ST environmental test verification program resulting in a 'ready to launch' ST.

  10. Formal verification of mathematical software

    NASA Technical Reports Server (NTRS)

    Sutherland, D.

    1984-01-01

    Methods are investigated for formally specifying and verifying the correctness of mathematical software (software which uses floating point numbers and arithmetic). Previous work in the field was reviewed. A new model of floating point arithmetic called the asymptotic paradigm was developed and formalized. Two different conceptual approaches to program verification, the classical Verification Condition approach and the more recently developed Programming Logic approach, were adapted to use the asymptotic paradigm. These approaches were then used to verify several programs; the programs chosen were simplified versions of actual mathematical software.

  11. Bidirectionality in synesthesia: evidence from a multiplication verification task.

    PubMed

    Gevers, Wim; Imbo, Ineke; Cohen Kadosh, Roi; Fias, Wim; Hartsuiker, Robert J

    2010-01-01

    Color-grapheme synesthetes automatically perceive achromatic numbers as colored (e.g., 7 is turquoise). Up until recently, synesthesia was believed to be unidirectional. For instance, the number 7 gives rise to the percept of turquoise but the perception of turquoise does not trigger the number 7. However, some recent studies argue for bidirectional connections Cohen Kadosh et al., 2005; Johnson et al., 2007; Knoch et al., 2005). In this study, a multiplication verification task (e.g., 7 x 2 = 14, true/false?) was used to test bidirectionality. In agreement with previous studies we observed that the presentation of colors evokes numerical magnitudes. The current findings add two important notions to previous studies: (a) The influence of color on the processing of numerical information can be extended to multiplication verification tasks and (b) The perception of color can both facilitate and interfere with the processing of digit-related information. PMID:20178949

  12. Verification of performance of the Mariner 9 television cameras.

    NASA Technical Reports Server (NTRS)

    Thorpe, T. E.

    1973-01-01

    The large volume of picture data produced by the Mariner 9 Television Experiment, in addition to providing a description of the planet Mars, emphasizes the need for in situ verification of camera performance. Such data provide the basis for initial quantitative image interpretation by confirmation of the relevance of preflight measurement. This information must be the result of planned calibration sequences rather than extraction from nominal mission photography. A lack of sufficient numbers of frames restricted Mariner camera verifications to only limited operational modes under optimal conditions and required significant extrapolation over the duration of the mission. The evidence does suggest that measurable photometric changes occurred, whereas agreement with preflight data is observed for other parameters.

  13. A verification system of RMAP protocol controller

    NASA Astrophysics Data System (ADS)

    Khanov, V. Kh; Shakhmatov, A. V.; Chekmarev, S. A.

    2015-01-01

    The functional verification problem of IP blocks of RMAP protocol controller is considered. The application of the verification method using fully- functional models of the processor and the internal bus of a system-on-chip is justified. Principles of construction of a verification system based on the given approach are proposed. The practical results of creating a system of verification of IP block of RMAP protocol controller is presented.

  14. Mobile Pit verification system design based on passive special nuclear material verification in weapons storage facilities

    SciTech Connect

    Paul, J. N.; Chin, M. R.; Sjoden, G. E.

    2013-07-01

    A mobile 'drive by' passive radiation detection system to be applied in special nuclear materials (SNM) storage facilities for validation and compliance purposes has been designed through the use of computational modeling and new radiation detection methods. This project was the result of work over a 1 year period to create optimal design specifications to include creation of 3D models using both Monte Carlo and deterministic codes to characterize the gamma and neutron leakage out each surface of SNM-bearing canisters. Results were compared and agreement was demonstrated between both models. Container leakages were then used to determine the expected reaction rates using transport theory in the detectors when placed at varying distances from the can. A 'typical' background signature was incorporated to determine the minimum signatures versus the probability of detection to evaluate moving source protocols with collimation. This established the criteria for verification of source presence and time gating at a given vehicle speed. New methods for the passive detection of SNM were employed and shown to give reliable identification of age and material for highly enriched uranium (HEU) and weapons grade plutonium (WGPu). The finalized 'Mobile Pit Verification System' (MPVS) design demonstrated that a 'drive-by' detection system, collimated and operating at nominally 2 mph, is capable of rapidly verifying each and every weapon pit stored in regularly spaced, shelved storage containers, using completely passive gamma and neutron signatures for HEU and WGPu. This system is ready for real evaluation to demonstrate passive total material accountability in storage facilities. (authors)

  15. Working Memory Mechanism in Proportional Quantifier Verification

    ERIC Educational Resources Information Center

    Zajenkowski, Marcin; Szymanik, Jakub; Garraffa, Maria

    2014-01-01

    The paper explores the cognitive mechanisms involved in the verification of sentences with proportional quantifiers (e.g. "More than half of the dots are blue"). The first study shows that the verification of proportional sentences is more demanding than the verification of sentences such as: "There are seven blue and eight yellow…

  16. 78 FR 58492 - Generator Verification Reliability Standards

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-09-24

    ... Energy Regulatory Commission 18 CFR Part 40 Generator Verification Reliability Standards AGENCY: Federal... Organization: MOD-025-2 (Verification and Data Reporting of Generator Real and Reactive Power Capability and Synchronous Condenser Reactive Power Capability), MOD- 026-1 (Verification of Models and Data for...

  17. Original Misunderstanding

    ERIC Educational Resources Information Center

    Holtzman, Alexander

    2009-01-01

    Humorist Josh Billings quipped, "About the most originality that any writer can hope to achieve honestly is to steal with good judgment." Billings was harsh in his view of originality, but his critique reveals a tension faced by students every time they write a history paper. Research is the essence of any history paper. Especially in high school,…

  18. Retrospective analysis of 2D patient-specific IMRT verifications

    SciTech Connect

    Childress, Nathan L.; White, R. Allen; Bloch, Charles; Salehpour, Mohammad; Dong, Lei; Rosen, Isaac I.

    2005-04-01

    We performed 858 two-dimensional (2D) patient-specific intensity modulated radiotherapy verifications over a period of 18 months. Multifield, composite treatment plans were measured in phantom using calibrated Kodak EDR2 film and compared with the calculated dose extracted from two treatment planning systems. This research summarizes our findings using the normalized agreement test (NAT) index and the percent of pixels failing the gamma index as metrics to represent the agreement between measured and computed dose distributions. An in-house dose comparison software package was used to register and compare all verifications. We found it was important to use an automatic positioning algorithm to achieve maximum registration accuracy, and that our automatic algorithm agreed well with anticipated results from known phantom geometries. We also measured absolute dose for each case using an ion chamber. Because the computed distributions agreed with ion chamber measurements better than the EDR2 film doses, we normalized EDR2 data to the computed distributions. The distributions of both the NAT indices and the percentage of pixels failing the gamma index were found to be exponential distributions. We continue to use both the NAT index and percent of pixels failing gamma with 5%/3 mm criteria to evaluate future verifications, as these two metrics were found to be complementary. Our data showed that using 2%/2 mm or 3%/3 mm criteria produces results similar to those using 5%/3 mm criteria. Normalized comparisons that have a NAT index greater than 45 and/or more than 20% of the pixels failing gamma for 5%/3 mm criteria represent outliers from our clinical data set and require further analysis. Because our QA verification results were exponentially distributed, rather than a tight grouping of similar results, we continue to perform patient-specific QA in order to identify and correct outliers in our verifications. The data from this work could be useful as a reference for

  19. 75 FR 40837 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-07-14

    ....gov . Agreement No.: 011279-027. Title: Latin America Agreement. Parties: ABC Discussion Agreement; Caribbean Shipowners Association; Central America Discussion Agreement; Compania Libra de Navegacion Uruguay S.A.; Inland Shipping Services Association; Venezuelan Discussion Agreement; West Coast of...

  20. Agreements at the Pharmaceutical/University Interface.

    ERIC Educational Resources Information Center

    Ku, Katherine

    1987-01-01

    Specific agreements that arise at the interface between universities and pharmaceutical companies are described including sponsored research agreements, license agreements, clinical study agreements, material transfer agreements, and patient consent forms with respect to commercialization rights. (Author/MLW)

  1. Verification Challenges at Low Numbers

    SciTech Connect

    Benz, Jacob M.; Booker, Paul M.; McDonald, Benjamin S.

    2013-07-16

    This paper will explore the difficulties of deep reductions by examining the technical verification challenges. At each step on the road to low numbers, the verification required to ensure compliance of all parties will increase significantly. Looking post New START, the next step will likely include warhead limits in the neighborhood of 1000 (Pifer 2010). Further reductions will include stepping stones at 100’s of warheads, and then 10’s of warheads before final elimination could be considered of the last few remaining warheads and weapons. This paper will focus on these three threshold reduction levels, 1000, 100’s, 10’s. For each, the issues and challenges will be discussed, potential solutions will be identified, and the verification technologies and chain of custody measures that address these solutions will be surveyed. It is important to note that many of the issues that need to be addressed have no current solution. In these cases, the paper will explore new or novel technologies that could be applied. These technologies will draw from the research and development that is ongoing throughout the national lab complex, and will look at technologies utilized in other areas of industry for their application to arms control verification.

  2. Visual Attention During Sentence Verification.

    ERIC Educational Resources Information Center

    Lucas, Peter A.

    Eye movement data were collected for 28 college students reading 32 sentences with sentence verification questions. The factors observed were target sentence voice (active/passive), probe voice, and correct response (true/false). Pairs of subjects received the same set of stimuli, but with agents and objects in the sentences reversed. As expected,…

  3. Improved method for coliform verification.

    PubMed

    Diehl, J D

    1991-02-01

    Modification of a method for coliform verification presented in Standard Methods for the Examination of Water and Wastewater is described. Modification of the method, which is based on beta-galactosidase production, involves incorporation of a lactose operon inducer in medium upon which presumptive coliform isolates are cultured prior to beta-galactosidase assay. PMID:1901712

  4. Improved method for coliform verification.

    PubMed Central

    Diehl, J D

    1991-01-01

    Modification of a method for coliform verification presented in Standard Methods for the Examination of Water and Wastewater is described. Modification of the method, which is based on beta-galactosidase production, involves incorporation of a lactose operon inducer in medium upon which presumptive coliform isolates are cultured prior to beta-galactosidase assay. PMID:1901712

  5. A scheme for symmetrization verification

    NASA Astrophysics Data System (ADS)

    Sancho, Pedro

    2011-08-01

    We propose a scheme for symmetrization verification in two-particle systems, based on one-particle detection and state determination. In contrast to previous proposals, it does not follow a Hong-Ou-Mandel-type approach. Moreover, the technique can be used to generate superposition states of single particles.

  6. VERIFICATION OF WATER QUALITY MODELS

    EPA Science Inventory

    The basic concepts of water quality models are reviewed and the need to recognize calibration and verification of models with observed data is stressed. Post auditing of models after environmental control procedures are implemented is necessary to determine true model prediction ...

  7. 19 CFR 181.54 - Verification of claim for drawback, waiver or reduction of duties.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 19 Customs Duties 2 2011-04-01 2011-04-01 false Verification of claim for drawback, waiver or reduction of duties. 181.54 Section 181.54 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT...

  8. 19 CFR 181.54 - Verification of claim for drawback, waiver or reduction of duties.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 2 2010-04-01 2010-04-01 false Verification of claim for drawback, waiver or reduction of duties. 181.54 Section 181.54 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT...

  9. 19 CFR 181.54 - Verification of claim for drawback, waiver or reduction of duties.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 2 2013-04-01 2013-04-01 false Verification of claim for drawback, waiver or reduction of duties. 181.54 Section 181.54 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT...

  10. 19 CFR 181.54 - Verification of claim for drawback, waiver or reduction of duties.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 19 Customs Duties 2 2012-04-01 2012-04-01 false Verification of claim for drawback, waiver or reduction of duties. 181.54 Section 181.54 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY (CONTINUED) NORTH AMERICAN FREE TRADE AGREEMENT...

  11. Verification of MELCOR Input Decks Used in ITER RPrS Analyses

    SciTech Connect

    Richard L. Moore

    2008-01-01

    This report as part of an ITER Task Agreement, documents the verification of the MELCOR Input Computer Decks used in performing the required safety analyses to be presented in the Preliminary Safety Report (Rapport Préliminaire de Séreté, RPrS).

  12. Skills agreement. Recipe for success.

    PubMed

    Nolan, Alexis

    2007-06-21

    The aims of the national health Sector Skills Agreement need regional and local implementation by stakeholders to become reality. Work in the East of England will produce a first regional skills agreement later this year. The Harlow Project is producing award winning process on recuitment and retention. PMID:17847967

  13. A wavelet-based approach to face verification/recognition

    NASA Astrophysics Data System (ADS)

    Jassim, Sabah; Sellahewa, Harin

    2005-10-01

    Face verification/recognition is a tough challenge in comparison to identification based on other biometrics such as iris, or fingerprints. Yet, due to its unobtrusive nature, the face is naturally suitable for security related applications. Face verification process relies on feature extraction from face images. Current schemes are either geometric-based or template-based. In the latter, the face image is statistically analysed to obtain a set of feature vectors that best describe it. Performance of a face verification system is affected by image variations due to illumination, pose, occlusion, expressions and scale. This paper extends our recent work on face verification for constrained platforms, where the feature vector of a face image is the coefficients in the wavelet transformed LL-subbands at depth 3 or more. It was demonstrated that the wavelet-only feature vector scheme has a comparable performance to sophisticated state-of-the-art when tested on two benchmark databases (ORL, and BANCA). The significance of those results stem from the fact that the size of the k-th LL- subband is 1/4k of the original image size. Here, we investigate the use of wavelet coefficients in various subbands at level 3 or 4 using various wavelet filters. We shall compare the performance of the wavelet-based scheme for different filters at different subbands with a number of state-of-the-art face verification/recognition schemes on two benchmark databases, namely ORL and the control section of BANCA. We shall demonstrate that our schemes have comparable performance to (or outperform) the best performing other schemes.

  14. Integrated Medical Model Verification, Validation, and Credibility

    NASA Technical Reports Server (NTRS)

    Walton, Marlei; Kerstman, Eric; Foy, Millennia; Shah, Ronak; Saile, Lynn; Boley, Lynn; Butler, Doug; Myers, Jerry

    2014-01-01

    The Integrated Medical Model (IMM) was designed to forecast relative changes for a specified set of crew health and mission success risk metrics by using a probabilistic (stochastic process) model based on historical data, cohort data, and subject matter expert opinion. A probabilistic approach is taken since exact (deterministic) results would not appropriately reflect the uncertainty in the IMM inputs. Once the IMM was conceptualized, a plan was needed to rigorously assess input information, framework and code, and output results of the IMM, and ensure that end user requests and requirements were considered during all stages of model development and implementation. METHODS: In 2008, the IMM team developed a comprehensive verification and validation (VV) plan, which specified internal and external review criteria encompassing 1) verification of data and IMM structure to ensure proper implementation of the IMM, 2) several validation techniques to confirm that the simulation capability of the IMM appropriately represents occurrences and consequences of medical conditions during space missions, and 3) credibility processes to develop user confidence in the information derived from the IMM. When the NASA-STD-7009 (7009) was published, the IMM team updated their verification, validation, and credibility (VVC) project plan to meet 7009 requirements and include 7009 tools in reporting VVC status of the IMM. RESULTS: IMM VVC updates are compiled recurrently and include 7009 Compliance and Credibility matrices, IMM VV Plan status, and a synopsis of any changes or updates to the IMM during the reporting period. Reporting tools have evolved over the lifetime of the IMM project to better communicate VVC status. This has included refining original 7009 methodology with augmentation from the NASA-STD-7009 Guidance Document. End user requests and requirements are being satisfied as evidenced by ISS Program acceptance of IMM risk forecasts, transition to an operational model and

  15. Verification of the FtCayuga fault-tolerant microprocessor system. Volume 1: A case study in theorem prover-based verification

    NASA Technical Reports Server (NTRS)

    Srivas, Mandayam; Bickford, Mark

    1991-01-01

    The design and formal verification of a hardware system for a task that is an important component of a fault tolerant computer architecture for flight control systems is presented. The hardware system implements an algorithm for obtaining interactive consistancy (byzantine agreement) among four microprocessors as a special instruction on the processors. The property verified insures that an execution of the special instruction by the processors correctly accomplishes interactive consistency, provided certain preconditions hold. An assumption is made that the processors execute synchronously. For verification, the authors used a computer aided design hardware design verification tool, Spectool, and the theorem prover, Clio. A major contribution of the work is the demonstration of a significant fault tolerant hardware design that is mechanically verified by a theorem prover.

  16. Alternative sample sizes for verification dose experiments and dose audits

    NASA Astrophysics Data System (ADS)

    Taylor, W. A.; Hansen, J. M.

    1999-01-01

    ISO 11137 (1995), "Sterilization of Health Care Products—Requirements for Validation and Routine Control—Radiation Sterilization", provides sampling plans for performing initial verification dose experiments and quarterly dose audits. Alternative sampling plans are presented which provide equivalent protection. These sampling plans can significantly reduce the cost of testing. These alternative sampling plans have been included in a draft ISO Technical Report (type 2). This paper examines the rational behind the proposed alternative sampling plans. The protection provided by the current verification and audit sampling plans is first examined. Then methods for identifying equivalent plans are highlighted. Finally, methods for comparing the cost associated with the different plans are provided. This paper includes additional guidance for selecting between the original and alternative sampling plans not included in the technical report.

  17. Formal verification of a fault tolerant clock synchronization algorithm

    NASA Technical Reports Server (NTRS)

    Rushby, John; Vonhenke, Frieder

    1989-01-01

    A formal specification and mechanically assisted verification of the interactive convergence clock synchronization algorithm of Lamport and Melliar-Smith is described. Several technical flaws in the analysis given by Lamport and Melliar-Smith were discovered, even though their presentation is unusally precise and detailed. It seems that these flaws were not detected by informal peer scrutiny. The flaws are discussed and a revised presentation of the analysis is given that not only corrects the flaws but is also more precise and easier to follow. Some of the corrections to the flaws require slight modifications to the original assumptions underlying the algorithm and to the constraints on its parameters, and thus change the external specifications of the algorithm. The formal analysis of the interactive convergence clock synchronization algorithm was performed using the Enhanced Hierarchical Development Methodology (EHDM) formal specification and verification environment. This application of EHDM provides a demonstration of some of the capabilities of the system.

  18. Suspension agreements: The status quota

    SciTech Connect

    1996-01-01

    Since the initial filing of anti-dumping actions uranium imports from the former Soviet Union, a maze of filings, agreements, amendments, bills, measures, and deals have emerged on which only the closest observers remain current. Even with all the actions that have taken place, none of the parties appear content with the status quo and changes to the agreements are ongoing. Given this dynamic state of affairs, a recap of events and a summary of the current agreements is helpful for understanding the concerns of the involved parties and digesting future events.

  19. OPEC agreement and its implications

    SciTech Connect

    Not Available

    1983-01-01

    Following lengthy and intensive negotiations, OPEC recently reached agreement on new prices and production quotas. Although the agreement has been met by general skepticism, Bankers Trust believes that the chances of defending the new marker price are reasonably good. Saudi willingness to reduce oil production and earnings to shield less financially secure OPEC members from the full impact of production cuts provides added and much-needed strength to the organization. If indeed the OPEC agreement proves successful, product prices in the important US market may have already bottomed out.

  20. 76 FR 30360 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-05-25

    ....gov . Agreement No.: 011707-007. Title: Gulf/South America Discussion Agreement. Parties: BBC... Cooperative Working Agreement. Parties: COSCO Terminals America, Inc.; SSA Containers, Inc., and SSA...

  1. COS Internal NUV Wavelength Verification

    NASA Astrophysics Data System (ADS)

    Keyes, Charles

    2009-07-01

    This program will be executed after the uplink of the OSM2 position updates derived from the determination of the wavelength-scale zero points and desired spectral ranges for each grating in activity COS14 {program 11474 - COS NUV Internal/External Wavelength Scales}. This program will verify that the operational spectral ranges for each grating, central wavelength, and FP-POS are those desired. Subsequent to a successful verification, COS NUV ERO observations and NUV science can be enabled. An internal wavelength calibration spectrum using the default PtNe lamp {lamp 1} with each NUV grating at each central wavelength setting and each FP-POS position will be obtained for the verification. Additional exposures and waits between certain exposures will be required to avoid - and to evaluate - mechanism drifts.

  2. COS Internal FUV Wavelength Verification

    NASA Astrophysics Data System (ADS)

    Keyes, Charles

    2009-07-01

    This program will be executed after the uplink of the OSM1 position updates derived from the determination of the wavelength-scale zero points and desired spectral ranges for each grating in activity COS29 {program 11487 - COS FUV Internal/External Wavelength Scales}. This program will verify that the operational spectral ranges for each grating, central wavelength, and FP-POS are those desired. Subsequent to a successful verification, COS FUV ERO observations that require accurate wavelength scales {if any} and FUV science can be enabled. An internal wavelength calibration spectrum using the default PtNe lamp {lamp 1} with each FUV grating at each central wavelength setting and each FP-POS position will be obtained for the verification. Additional exposures and waits between certain exposures will be required to avoid - and to evaluate - mechanism drifts.

  3. NEXT Thruster Component Verification Testing

    NASA Technical Reports Server (NTRS)

    Pinero, Luis R.; Sovey, James S.

    2007-01-01

    Component testing is a critical part of thruster life validation activities under NASA s Evolutionary Xenon Thruster (NEXT) project testing. The high voltage propellant isolators were selected for design verification testing. Even though they are based on a heritage design, design changes were made because the isolators will be operated under different environmental conditions including temperature, voltage, and pressure. The life test of two NEXT isolators was therefore initiated and has accumulated more than 10,000 hr of operation. Measurements to date indicate only a negligibly small increase in leakage current. The cathode heaters were also selected for verification testing. The technology to fabricate these heaters, developed for the International Space Station plasma contactor hollow cathode assembly, was transferred to Aerojet for the fabrication of the NEXT prototype model ion thrusters. Testing the contractor-fabricated heaters is necessary to validate fabrication processes for high reliability heaters. This paper documents the status of the propellant isolator and cathode heater tests.

  4. Verification of Oncentra brachytherapy planning using independent calculation

    NASA Astrophysics Data System (ADS)

    Safian, N. A. M.; Abdullah, N. H.; Abdullah, R.; Chiang, C. S.

    2016-03-01

    This study was done to investigate the verification technique of treatment plan quality assurance for brachytherapy. It is aimed to verify the point doses in 192Ir high dose rate (HDR) brachytherapy between Oncentra Masterplan brachytherapy treatment planning system and independent calculation software at a region of rectum, bladder and prescription points for both pair ovoids and full catheter set ups. The Oncentra TPS output text files were automatically loaded into the verification programme that has been developed based on spreadsheets. The output consists of source coordinates, desired calculation point coordinates and the dwell time of a patient plan. The source strength and reference dates were entered into the programme and then dose point calculations were independently performed. The programme shows its results in a comparison of its calculated point doses with the corresponding Oncentra TPS outcome. From the total of 40 clinical cases that consisted of two fractions for 20 patients, the results that were given in term of percentage difference, it shows an agreement between TPS and independent calculation are in the range of 2%. This programme only takes a few minutes to be used is preferably recommended to be implemented as the verification technique in clinical brachytherapy dosimetry.

  5. 19 CFR 10.617 - Special rule for verifications in a Party of U.S. imports of textile and apparel goods.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    .... imports of textile and apparel goods. 10.617 Section 10.617 Customs Duties U.S. CUSTOMS AND BORDER... Verifications and Determinations § 10.617 Special rule for verifications in a Party of U.S. imports of textile... the purpose of determining that a claim of origin for a textile or apparel good is accurate, CBP...

  6. Eukaryotic origins

    PubMed Central

    Lake, James A.

    2015-01-01

    The origin of the eukaryotes is a fundamental scientific question that for over 30 years has generated a spirited debate between the competing Archaea (or three domains) tree and the eocyte tree. As eukaryotes ourselves, humans have a personal interest in our origins. Eukaryotes contain their defining organelle, the nucleus, after which they are named. They have a complex evolutionary history, over time acquiring multiple organelles, including mitochondria, chloroplasts, smooth and rough endoplasmic reticula, and other organelles all of which may hint at their origins. It is the evolutionary history of the nucleus and their other organelles that have intrigued molecular evolutionists, myself included, for the past 30 years and which continues to hold our interest as increasingly compelling evidence favours the eocyte tree. As with any orthodoxy, it takes time to embrace new concepts and techniques. PMID:26323753

  7. Formal verification of AI software

    NASA Technical Reports Server (NTRS)

    Rushby, John; Whitehurst, R. Alan

    1989-01-01

    The application of formal verification techniques to Artificial Intelligence (AI) software, particularly expert systems, is investigated. Constraint satisfaction and model inversion are identified as two formal specification paradigms for different classes of expert systems. A formal definition of consistency is developed, and the notion of approximate semantics is introduced. Examples are given of how these ideas can be applied in both declarative and imperative forms.

  8. Verification Challenges at Low Numbers

    SciTech Connect

    Benz, Jacob M.; Booker, Paul M.; McDonald, Benjamin S.

    2013-06-01

    Many papers have dealt with the political difficulties and ramifications of deep nuclear arms reductions, and the issues of “Going to Zero”. Political issues include extended deterrence, conventional weapons, ballistic missile defense, and regional and geo-political security issues. At each step on the road to low numbers, the verification required to ensure compliance of all parties will increase significantly. Looking post New START, the next step will likely include warhead limits in the neighborhood of 1000 . Further reductions will include stepping stones at1000 warheads, 100’s of warheads, and then 10’s of warheads before final elimination could be considered of the last few remaining warheads and weapons. This paper will focus on these three threshold reduction levels, 1000, 100’s, 10’s. For each, the issues and challenges will be discussed, potential solutions will be identified, and the verification technologies and chain of custody measures that address these solutions will be surveyed. It is important to note that many of the issues that need to be addressed have no current solution. In these cases, the paper will explore new or novel technologies that could be applied. These technologies will draw from the research and development that is ongoing throughout the national laboratory complex, and will look at technologies utilized in other areas of industry for their application to arms control verification.

  9. Nuclear Data Verification and Standardization

    SciTech Connect

    Karam, Lisa R.; Arif, Muhammad; Thompson, Alan K.

    2011-10-01

    The objective of this interagency program is to provide accurate neutron interaction verification and standardization data for the U.S. Department of Energy Division of Nuclear Physics programs which include astrophysics, radioactive beam studies, and heavy-ion reactions. The measurements made in this program are also useful to other programs that indirectly use the unique properties of the neutron for diagnostic and analytical purposes. These include homeland security, personnel health and safety, nuclear waste disposal, treaty verification, national defense, and nuclear based energy production. The work includes the verification of reference standard cross sections and related neutron data employing the unique facilities and capabilities at NIST and other laboratories as required; leadership and participation in international intercomparisons and collaborations; and the preservation of standard reference deposits. An essential element of the program is critical evaluation of neutron interaction data standards including international coordinations. Data testing of critical data for important applications is included. The program is jointly supported by the Department of Energy and the National Institute of Standards and Technology.

  10. Regression Verification Using Impact Summaries

    NASA Technical Reports Server (NTRS)

    Backes, John; Person, Suzette J.; Rungta, Neha; Thachuk, Oksana

    2013-01-01

    Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program

  11. Quick Guide: Power Purchase Agreements

    SciTech Connect

    2010-06-25

    Introduction to Federal power purchase agreements (PPAs), including available FEMP services and technical assistance as well as questions to ask when evaluating PPAs for a Federal renewable energy project.

  12. Good Agreements Make Good Friends

    PubMed Central

    Han, The Anh; Pereira, Luís Moniz; Santos, Francisco C.; Lenaerts, Tom

    2013-01-01

    When starting a new collaborative endeavor, it pays to establish upfront how strongly your partner commits to the common goal and what compensation can be expected in case the collaboration is violated. Diverse examples in biological and social contexts have demonstrated the pervasiveness of making prior agreements on posterior compensations, suggesting that this behavior could have been shaped by natural selection. Here, we analyze the evolutionary relevance of such a commitment strategy and relate it to the costly punishment strategy, where no prior agreements are made. We show that when the cost of arranging a commitment deal lies within certain limits, substantial levels of cooperation can be achieved. Moreover, these levels are higher than that achieved by simple costly punishment, especially when one insists on sharing the arrangement cost. Not only do we show that good agreements make good friends, agreements based on shared costs result in even better outcomes. PMID:24045873

  13. Entropy Measurement for Biometric Verification Systems.

    PubMed

    Lim, Meng-Hui; Yuen, Pong C

    2016-05-01

    Biometric verification systems are designed to accept multiple similar biometric measurements per user due to inherent intrauser variations in the biometric data. This is important to preserve reasonable acceptance rate of genuine queries and the overall feasibility of the recognition system. However, such acceptance of multiple similar measurements decreases the imposter's difficulty of obtaining a system-acceptable measurement, thus resulting in a degraded security level. This deteriorated security needs to be measurable to provide truthful security assurance to the users. Entropy is a standard measure of security. However, the entropy formula is applicable only when there is a single acceptable possibility. In this paper, we develop an entropy-measuring model for biometric systems that accepts multiple similar measurements per user. Based on the idea of guessing entropy, the proposed model quantifies biometric system security in terms of adversarial guessing effort for two practical attacks. Excellent agreement between analytic and experimental simulation-based measurement results on a synthetic and a benchmark face dataset justify the correctness of our model and thus the feasibility of the proposed entropy-measuring approach. PMID:26054080

  14. Light dose verification for pleural PDT

    NASA Astrophysics Data System (ADS)

    Sandell, Julia L.; Liang, Xing; Zhu, Timothy

    2012-02-01

    The ability to deliver uniform light dose in Photodynamic therapy (PDT) is critical to treatment efficacy. Current protocol in pleural photodynamic therapy uses 7 isotropic detectors placed at discrete locations within the pleural cavity to monitor light dose throughout treatment. While effort is made to place the detectors uniformly through the cavity, measurements do not provide an overall uniform measurement of delivered dose. A real-time infrared (IR) tracking camera is development to better deliver and monitor a more uniform light distribution during treatment. It has been shown previously that there is good agreement between fluence calculated using IR tracking data and isotropic detector measurements for direct light phantom experiments. This study presents the results of an extensive phantom study which uses variable, patient-like geometries and optical properties (both absorption and scattering). Position data of the treatment is collected from the IR navigation system while concurrently light distribution measurements are made using the aforementioned isotropic detectors. These measurements are compared to fluence calculations made using data from the IR navigation system to verify our light distribution theory is correct and applicable in patient-like settings. The verification of this treatment planning technique is an important step in bringing real-time fluence monitoring into the clinic for more effective treatment.

  15. Experimental verification of an innovative debris detector

    NASA Astrophysics Data System (ADS)

    Bauer, Waldemar; Romberg, Oliver; Putzar, Robin

    2015-12-01

    To analyse the quantity of space debris and micrometeoroids in space, an innovative in-situ impact detection method has been developed at DLR (German Aerospace Center) in Bremen, Germany. The method Solar generator based Impact Detector "SOLID" uses solar panels for impact detection. Since solar panels provide large detection areas, this method allows for the collection of large amounts of data, to be used also for model validation. Furthermore, impact damage can be verified once more to confirm or to refute an impact. Both aspects can significantly improve the quality of model validation by using large amounts of highly reliable data. A verification of the detection method was performed by Hypervelocity Impact (HVI) tests at Fraunhofer EMI, Freiburg, Germany. The HVI tests were conducted using projectiles with a diameter between 500 μm and 2 mm. The impact velocity of those objects ranged from 3.9 km/s to 6.2 km/s. The objective of this investigation was to test the applicability of the developed method concerning in-situ detection of space debris and micrometeoroids. The achieved test results are in agreement with ESA developed damage equations. The ability of the detection method SOLID for impact detection of space debris and micrometeoroids was clearly demonstrated.

  16. Verification and validation of TMAP4

    SciTech Connect

    Longhurst, G.R.; Harms, S.L.; Marwil, E.S.; Miller, B.G.

    1992-07-08

    The Tritium Migration Analysis Program MODl/CY04 (TMAP4) was written to be used in analyzing experiments and for safety calculations that involve the injection, solution, diffusion, trapping, release, and other related processes experienced by hydrogen isotopes in materials. Because of the desire to make it suitable for analyzing safety issues, it is important that TMAP4 be certified (verified and validated) at Quality Assurance Level A. This report documents the work done to achieve that certification. The process includes assuring that the developed code meets the software requirements specified in the Software Quality Assurance Plan, verifying that the code functions in accordance with the written description and that it is self-consistent and internally correct, and validating that its computed results are in agreement with experimental data and/or known analytical solutions. Quality Level A certification for TMAP4 is specifically for implementation on an IBM PS/2 Model 70 operating under DOS 5.0. Certification for any other environment will require demonstration that all of the verification and validation tests documented here give the same results in the new environment.

  17. Linear and nonlinear verification of gyrokinetic microstability codes

    SciTech Connect

    Bravenec, R. V.; Candy, J.; Barnes, M.

    2011-12-15

    Verification of nonlinear microstability codes is a necessary step before comparisons or predictions of turbulent transport in toroidal devices can be justified. By verification we mean demonstrating that a code correctly solves the mathematical model upon which it is based. Some degree of verification can be accomplished indirectly from analytical instability threshold conditions, nonlinear saturation estimates, etc., for relatively simple plasmas. However, verification for experimentally relevant plasma conditions and physics is beyond the realm of analytical treatment and must rely on code-to-code comparisons, i.e., benchmarking. The premise is that the codes are verified for a given problem or set of parameters if they all agree within a specified tolerance. True verification requires comparisons for a number of plasma conditions, e.g., different devices, discharges, times, and radii. Running the codes and keeping track of linear and nonlinear inputs and results for all conditions could be prohibitive unless there was some degree of automation. We have written software to do just this and have formulated a metric for assessing agreement of nonlinear simulations. We present comparisons, both linear and nonlinear, between the gyrokinetic codes GYRO[J. Candy and R. E. Waltz, J. Comput. Phys. 186, 545 (2003)] and GS2[W. Dorland, F. Jenko, M. Kotschenreuther, and B. N. Rogers, Phys. Rev. Lett. 85, 5579 (2000)]. We do so at the mid-radius for the same discharge as in earlier work [C. Holland, A. E. White, G. R. McKee, M. W. Shafer, J. Candy, R. E. Waltz, L. Schmitz, and G. R. Tynan, Phys. Plasmas 16, 052301 (2009)]. The comparisons include electromagnetic fluctuations, passing and trapped electrons, plasma shaping, one kinetic impurity, and finite Debye-length effects. Results neglecting and including electron collisions (Lorentz model) are presented. We find that the linear frequencies with or without collisions agree well between codes, as do the time averages of

  18. Linear and nonlinear verification of gyrokinetic microstability codes

    NASA Astrophysics Data System (ADS)

    Bravenec, R. V.; Candy, J.; Barnes, M.; Holland, C.

    2011-12-01

    Verification of nonlinear microstability codes is a necessary step before comparisons or predictions of turbulent transport in toroidal devices can be justified. By verification we mean demonstrating that a code correctly solves the mathematical model upon which it is based. Some degree of verification can be accomplished indirectly from analytical instability threshold conditions, nonlinear saturation estimates, etc., for relatively simple plasmas. However, verification for experimentally relevant plasma conditions and physics is beyond the realm of analytical treatment and must rely on code-to-code comparisons, i.e., benchmarking. The premise is that the codes are verified for a given problem or set of parameters if they all agree within a specified tolerance. True verification requires comparisons for a number of plasma conditions, e.g., different devices, discharges, times, and radii. Running the codes and keeping track of linear and nonlinear inputs and results for all conditions could be prohibitive unless there was some degree of automation. We have written software to do just this and have formulated a metric for assessing agreement of nonlinear simulations. We present comparisons, both linear and nonlinear, between the gyrokinetic codes GYRO [J. Candy and R. E. Waltz, J. Comput. Phys. 186, 545 (2003)] and GS2 [W. Dorland, F. Jenko, M. Kotschenreuther, and B. N. Rogers, Phys. Rev. Lett. 85, 5579 (2000)]. We do so at the mid-radius for the same discharge as in earlier work [C. Holland, A. E. White, G. R. McKee, M. W. Shafer, J. Candy, R. E. Waltz, L. Schmitz, and G. R. Tynan, Phys. Plasmas 16, 052301 (2009)]. The comparisons include electromagnetic fluctuations, passing and trapped electrons, plasma shaping, one kinetic impurity, and finite Debye-length effects. Results neglecting and including electron collisions (Lorentz model) are presented. We find that the linear frequencies with or without collisions agree well between codes, as do the time averages of

  19. Original Version

    Cancer.gov

    The EPEC-O (Education in Palliative and End-of-Life Care for Oncology) Self-Study Original Version is a free comprehensive multimedia curricula for health professionals caring for persons with cancer and their families. The curricula is available as an online Self-Study Section and as a CD-ROM you can order.

  20. Gender verification in competitive sports.

    PubMed

    Simpson, J L; Ljungqvist, A; de la Chapelle, A; Ferguson-Smith, M A; Genel, M; Carlson, A S; Ehrhardt, A A; Ferris, E

    1993-11-01

    The possibility that men might masquerade as women and be unfair competitors in women's sports is accepted as outrageous by athletes and the public alike. Since the 1930s, media reports have fuelled claims that individuals who once competed as female athletes subsequently appeared to be men. In most of these cases there was probably ambiguity of the external genitalia, possibly as a result of male pseudohermaphroditism. Nonetheless, beginning at the Rome Olympic Games in 1960, the International Amateur Athletics Federation (IAAF) began establishing rules of eligibility for women athletes. Initially, physical examination was used as a method for gender verification, but this plan was widely resented. Thus, sex chromatin testing (buccal smear) was introduced at the Mexico City Olympic Games in 1968. The principle was that genetic females (46,XX) show a single X-chromatic mass, whereas males (46,XY) do not. Unfortunately, sex chromatin analysis fell out of common diagnostic use by geneticists shortly after the International Olympic Committee (IOC) began its implementation for gender verification. The lack of laboratories routinely performing the test aggravated the problem of errors in interpretation by inexperienced workers, yielding false-positive and false-negative results. However, an even greater problem is that there exist phenotypic females with male sex chromatin patterns (e.g. androgen insensitivity, XY gonadal dysgenesis). These individuals have no athletic advantage as a result of their congenital abnormality and reasonably should not be excluded from competition. That is, only the chromosomal (genetic) sex is analysed by sex chromatin testing, not the anatomical or psychosocial status. For all the above reasons sex chromatin testing unfairly excludes many athletes. Although the IOC offered follow-up physical examinations that could have restored eligibility for those 'failing' sex chromatin tests, most affected athletes seemed to prefer to 'retire'. All

  1. 7 CFR 247.4 - Agreements.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... CHILD NUTRITION PROGRAMS COMMODITY SUPPLEMENTAL FOOD PROGRAM § 247.4 Agreements. (a) What agreements are..., sex, or disability. (d) What is the duration of required agreements? Agreements between FNS and...

  2. 7 CFR 247.4 - Agreements.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... CHILD NUTRITION PROGRAMS COMMODITY SUPPLEMENTAL FOOD PROGRAM § 247.4 Agreements. (a) What agreements are..., sex, or disability. (d) What is the duration of required agreements? Agreements between FNS and...

  3. 7 CFR 247.4 - Agreements.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... CHILD NUTRITION PROGRAMS COMMODITY SUPPLEMENTAL FOOD PROGRAM § 247.4 Agreements. (a) What agreements are..., sex, or disability. (d) What is the duration of required agreements? Agreements between FNS and...

  4. 76 FR 31962 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-06-02

    ....gov . Agreement No.: 012128. Title: Southern Africa Agreement A Cooperative Working Agreement. Parties... Atlantic Coast of the United States and ports in the Bahamas and the Republic of South Africa. Agreement...

  5. 77 FR 33459 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-06-06

    ... to be exchanged, and delete obsolete language from the agreement. Agreement No.: 012128-001. Title... Agreement and to share the cost of same. Agreement No.: 012173. Title: Hyundai/MOL/APL Asia/Latin...

  6. Fully automated 2D-3D registration and verification.

    PubMed

    Varnavas, Andreas; Carrell, Tom; Penney, Graeme

    2015-12-01

    Clinical application of 2D-3D registration technology often requires a significant amount of human interaction during initialisation and result verification. This is one of the main barriers to more widespread clinical use of this technology. We propose novel techniques for automated initial pose estimation of the 3D data and verification of the registration result, and show how these techniques can be combined to enable fully automated 2D-3D registration, particularly in the case of a vertebra based system. The initialisation method is based on preoperative computation of 2D templates over a wide range of 3D poses. These templates are used to apply the Generalised Hough Transform to the intraoperative 2D image and the sought 3D pose is selected with the combined use of the generated accumulator arrays and a Gradient Difference Similarity Measure. On the verification side, two algorithms are proposed: one using normalised features based on the similarity value and the other based on the pose agreement between multiple vertebra based registrations. The proposed methods are employed here for CT to fluoroscopy registration and are trained and tested with data from 31 clinical procedures with 417 low dose, i.e. low quality, high noise interventional fluoroscopy images. When similarity value based verification is used, the fully automated system achieves a 95.73% correct registration rate, whereas a no registration result is produced for the remaining 4.27% of cases (i.e. incorrect registration rate is 0%). The system also automatically detects input images outside its operating range. PMID:26387052

  7. ENVIRONMENTAL TECHNOLOGY VERIFICATION: GENERIC VERIFICATION PROTOCOL FOR BIOLOGICAL AND AEROSOL TESTING OF GENERAL VENTILATION AIR CLEANERS

    EPA Science Inventory

    The U.S. Environmental Protection Agency established the Environmental Technology Verification Program to accelerate the development and commercialization of improved environmental technology through third party verification and reporting of product performance. Research Triangl...

  8. PERFORMANCE VERIFICATION OF STORMWATER TREATMENT DEVICES UNDER EPA�S ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program was created to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The program�s goal is to further environmental protection by a...

  9. PERFORMANCE VERIFICATION OF ANIMAL WATER TREATMENT TECHNOLOGIES THROUGH EPA'S ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    The U.S. Environmental Protection Agency created the Environmental Technology Verification Program (ETV) to further environmental protection by accelerating the commercialization of new and innovative technology through independent performance verification and dissemination of in...

  10. Magnetic cleanliness verification approach on tethered satellite

    NASA Technical Reports Server (NTRS)

    Messidoro, Piero; Braghin, Massimo; Grande, Maurizio

    1990-01-01

    Magnetic cleanliness testing was performed on the Tethered Satellite as the last step of an articulated verification campaign aimed at demonstrating the capability of the satellite to support its TEMAG (TEthered MAgnetometer) experiment. Tests at unit level and analytical predictions/correlations using a dedicated mathematical model (GANEW program) are also part of the verification activities. Details of the tests are presented, and the results of the verification are described together with recommendations for later programs.

  11. THE DEVELOPMENT OF A SHIP BALLAST WATER TREATMENT TECHNOLOGY VERIFICATION PROTOCOL THROUGH AN INTERAGENCY AGREEMENT PARTNERSHIP

    EPA Science Inventory

    The introduction of nonindigenous aquatic nuisance species through the discharge of shipboard ballast water into coastal areas around the world has profound negative impacts on aquatic ecosystems worldwide. Aquatic nuisance species are one of the most important environmental issu...

  12. Gender agreement and multiple referents

    PubMed Central

    Finocchiaro, Chiara; Mahon, Bradford Z.; Caramazza, Alfonso

    2010-01-01

    We report a new pattern of usage in current, spoken Italian that has implications for both psycholinguistic models of language production and linguistic theories of language change. In Italian, gender agreement is mandatory for both singular and plural nouns. However, when two or more nouns of different grammatical gender appear in a conjoined noun phrase (NP), masculine plural agreement is required. In this study, we combined on-line and off-line methodologies in order to assess the mechanisms involved in gender marking in the context of multiple referents. The results of two pronoun production tasks showed that plural feminine agreement was significantly more difficult than plural masculine agreement. In a separate study using offline judgements of acceptability, we found that agreement violations in Italian are tolerated more readily in the case of feminine conjoined noun phrases (e.g., la mela e la banana ‘the:fem apple:fem and the: fem banana: fem’) than masculine conjoined noun phrases (e.g., il fiore e il libro ‘the:mas flower: mas and the:mas book:mas’). Implications of these results are discussed both at the level of functional architecture within the language production system and at the level of changes in language use.* PMID:21037930

  13. Automatic verification methods for finite state systems

    SciTech Connect

    Sifakis, J. )

    1990-01-01

    This volume contains the proceedings of a workshop devoted to the verification of finite state systems. The workshop focused on the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems.

  14. The SeaHorn Verification Framework

    NASA Technical Reports Server (NTRS)

    Gurfinkel, Arie; Kahsai, Temesghen; Komuravelli, Anvesh; Navas, Jorge A.

    2015-01-01

    In this paper, we present SeaHorn, a software verification framework. The key distinguishing feature of SeaHorn is its modular design that separates the concerns of the syntax of the programming language, its operational semantics, and the verification semantics. SeaHorn encompasses several novelties: it (a) encodes verification conditions using an efficient yet precise inter-procedural technique, (b) provides flexibility in the verification semantics to allow different levels of precision, (c) leverages the state-of-the-art in software model checking and abstract interpretation for verification, and (d) uses Horn-clauses as an intermediate language to represent verification conditions which simplifies interfacing with multiple verification tools based on Horn-clauses. SeaHorn provides users with a powerful verification tool and researchers with an extensible and customizable framework for experimenting with new software verification techniques. The effectiveness and scalability of SeaHorn are demonstrated by an extensive experimental evaluation using benchmarks from SV-COMP 2015 and real avionics code.

  15. Guide to good practices for independent verification

    SciTech Connect

    1998-12-01

    This Guide to Good Practices is written to enhance understanding of, and provide direction for, Independent Verification, Chapter X of Department of Energy (DOE) Order 5480.19, Conduct of Operations Requirements for DOE Facilities. The practices in this guide should be considered when planning or reviewing independent verification activities. Contractors are advised to adopt procedures that meet the intent of DOE Order 5480.19. Independent Verification is an element of an effective Conduct of Operations program. The complexity and array of activities performed in DOE facilities dictate the necessity for coordinated independent verification activities to promote safe and efficient operations.

  16. Input apparatus for dynamic signature verification systems

    DOEpatents

    EerNisse, Errol P.; Land, Cecil E.; Snelling, Jay B.

    1978-01-01

    The disclosure relates to signature verification input apparatus comprising a writing instrument and platen containing piezoelectric transducers which generate signals in response to writing pressures.

  17. Experience and Grammatical Agreement: Statistical Learning Shapes Number Agreement Production

    ERIC Educational Resources Information Center

    Haskell, Todd R.; Thornton, Robert; MacDonald, Maryellen C.

    2010-01-01

    A robust result in research on the production of grammatical agreement is that speakers are more likely to produce an erroneous verb with phrases such as "the key to the cabinets", with a singular noun followed by a plural one, than with phrases such as "the keys to the cabinet", where a plural noun is followed by a singular. These asymmetries are…

  18. Turbulence Modeling Verification and Validation

    NASA Technical Reports Server (NTRS)

    Rumsey, Christopher L.

    2014-01-01

    Computational fluid dynamics (CFD) software that solves the Reynolds-averaged Navier-Stokes (RANS) equations has been in routine use for more than a quarter of a century. It is currently employed not only for basic research in fluid dynamics, but also for the analysis and design processes in many industries worldwide, including aerospace, automotive, power generation, chemical manufacturing, polymer processing, and petroleum exploration. A key feature of RANS CFD is the turbulence model. Because the RANS equations are unclosed, a model is necessary to describe the effects of the turbulence on the mean flow, through the Reynolds stress terms. The turbulence model is one of the largest sources of uncertainty in RANS CFD, and most models are known to be flawed in one way or another. Alternative methods such as direct numerical simulations (DNS) and large eddy simulations (LES) rely less on modeling and hence include more physics than RANS. In DNS all turbulent scales are resolved, and in LES the large scales are resolved and the effects of the smallest turbulence scales are modeled. However, both DNS and LES are too expensive for most routine industrial usage on today's computers. Hybrid RANS-LES, which blends RANS near walls with LES away from walls, helps to moderate the cost while still retaining some of the scale-resolving capability of LES, but for some applications it can still be too expensive. Even considering its associated uncertainties, RANS turbulence modeling has proved to be very useful for a wide variety of applications. For example, in the aerospace field, many RANS models are considered to be reliable for computing attached flows. However, existing turbulence models are known to be inaccurate for many flows involving separation. Research has been ongoing for decades in an attempt to improve turbulence models for separated and other nonequilibrium flows. When developing or improving turbulence models, both verification and validation are important

  19. 19 CFR 10.470 - Verification and justification of claim for preferential treatment.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... accounting and financial records, information relating to the place of production, the number and...) Applicable accounting principles. When conducting a verification of origin to which Generally Accepted Accounting Principles may be relevant, CBP will apply and accept the Generally Accepted Accounting...

  20. Estimation of the ROC Curve under Verification Bias

    PubMed Central

    FLUSS, RONEN; REISER, BENJAMIN; FARAGGI, DAVID; ROTNITZKY, ANDREA

    2009-01-01

    Summary The ROC (Receiver Operating Characteristic) curve is the most commonly used statistical tool for describing the discriminatory accuracy of a diagnostic test. Classical estimation of the ROC curve relies on data from a simple random sample from the target population. In practice, estimation is often complicated due to not all subjects undergoing a definitive assessment of disease status (verification). Estimation of the ROC curve based on data only from subjects with verified disease status may be badly biased. In this work we investigate the properties of the doubly robust (DR) method for estimating the ROC curve under verification bias originally developed by Rotnitzky et al. (2006) for estimating the area under the ROC curve. The DR method can be applied for continuous scaled tests and allows for a non ignorable process of selection to verification. We develop the estimator's asymptotic distribution and examine its finite sample properties via a simulation study. We exemplify the DR procedure for estimation of ROC curves with data collected on patients undergoing electron beam computer tomography, a diagnostic test for calcification of the arteries. PMID:19588455

  1. Conformance Verification of Privacy Policies

    NASA Astrophysics Data System (ADS)

    Fu, Xiang

    Web applications are both the consumers and providers of information. To increase customer confidence, many websites choose to publish their privacy protection policies. However, policy conformance is often neglected. We propose a logic based framework for formally specifying and reasoning about the implementation of privacy protection by a web application. A first order extension of computation tree logic is used to specify a policy. A verification paradigm, built upon a static control/data flow analysis, is presented to verify if a policy is satisfied.

  2. Why do verification and validation?

    DOE PAGESBeta

    Hu, Kenneth T.; Paez, Thomas L.

    2016-02-19

    In this discussion paper, we explore different ways to assess the value of verification and validation (V&V) of engineering models. We first present a literature review on the value of V&V and then use value chains and decision trees to show how value can be assessed from a decision maker's perspective. In this context, the value is what the decision maker is willing to pay for V&V analysis with the understanding that the V&V results are uncertain. As a result, the 2014 Sandia V&V Challenge Workshop is used to illustrate these ideas.

  3. Science verification results from PMAS

    NASA Astrophysics Data System (ADS)

    Roth, M. M.; Becker, T.; Böhm, P.; Kelz, A.

    2004-02-01

    PMAS, the Potsdam Multi-Aperture Spectrophotometer, is a new integral field instrument which was commissioned at the Calar Alto 3.5m Telescope in May 2001. We report on results obtained from a science verification run in October 2001. We present observations of the low-metallicity blue compact dwarf galaxy SBS0335-052, the ultra-luminous X-ray Source X-1 in the Holmberg;II galaxy, the quadruple gravitational lens system Q2237+0305 (the ``Einstein Cross''), the Galactic planetary nebula NGC7027, and extragalactic planetary nebulae in M31. PMAS is now available as a common user instrument at Calar Alto Observatory.

  4. Structural dynamics verification facility study

    NASA Technical Reports Server (NTRS)

    Kiraly, L. J.; Hirchbein, M. S.; Mcaleese, J. M.; Fleming, D. P.

    1981-01-01

    The need for a structural dynamics verification facility to support structures programs was studied. Most of the industry operated facilities are used for highly focused research, component development, and problem solving, and are not used for the generic understanding of the coupled dynamic response of major engine subsystems. Capabilities for the proposed facility include: the ability to both excite and measure coupled structural dynamic response of elastic blades on elastic shafting, the mechanical simulation of various dynamical loadings representative of those seen in operating engines, and the measurement of engine dynamic deflections and interface forces caused by alternative engine mounting configurations and compliances.

  5. Improving semi-text-independent method of writer verification using difference vector

    NASA Astrophysics Data System (ADS)

    Li, Xin; Ding, Xiaoqing

    2009-01-01

    The semi-text-independent method of writer verification based on the linear framework is a method that can use all characters of two handwritings to discriminate the writers in the condition of knowing the text contents. The handwritings are allowed to just have small numbers of even totally different characters. This fills the vacancy of the classical text-dependent methods and the text-independent methods of writer verification. Moreover, the information, what every character is, is used for the semi-text-independent method in this paper. Two types of standard templates, generated from many writer-unknown handwritten samples and printed samples of each character, are introduced to represent the content information of each character. The difference vectors of the character samples are gotten by subtracting the standard templates from the original feature vectors and used to replace the original vectors in the process of writer verification. By removing a large amount of content information and remaining the style information, the verification accuracy of the semi-text-independent method is improved. On a handwriting database involving 30 writers, when the query handwriting and the reference handwriting are composed of 30 distinct characters respectively, the average equal error rate (EER) of writer verification reaches 9.96%. And when the handwritings contain 50 characters, the average EER falls to 6.34%, which is 23.9% lower than the EER of not using the difference vectors.

  6. Simplifying EPID dosimetry for IMRT treatment verification

    SciTech Connect

    Pecharroman-Gallego, R.; Mans, Anton; Sonke, Jan-Jakob; Stroom, Joep C.; Olaciregui-Ruiz, Igor; Herk, Marcel van; Mijnheer, Ben J.

    2011-02-15

    Purpose: Electronic portal imaging devices (EPIDs) are increasingly used for IMRT dose verification, both pretreatment and in vivo. In this study, an earlier developed backprojection model has been modified to avoid the need for patient-specific transmission measurements and, consequently, leads to a faster procedure. Methods: Currently, the transmission, an essential ingredient of the backprojection model, is estimated from the ratio of EPID measurements with and without a phantom/patient in the beam. Thus, an additional irradiation to obtain ''open images'' under the same conditions as the actual phantom/patient irradiation is required. However, by calculating the transmission of the phantom/patient in the direction of the beam instead of using open images, this extra measurement can be avoided. This was achieved by using a model that includes the effect of beam hardening and off-axis dependence of the EPID response on photon beam spectral changes. The parameters in the model were empirically obtained by performing EPID measurements using polystyrene slab phantoms of different thickness in 6, 10, and 18 MV photon beams. A theoretical analysis to verify the sensitivity of the model with patient thickness changes was performed. The new model was finally applied for the analysis of EPID dose verification measurements of step-and-shoot IMRT treatments of head and neck, lung, breast, cervix, prostate, and rectum patients. All measurements were carried out using Elekta SL20i linear accelerators equipped with a hydrogenated amorphous silicon EPID, and the IMRT plans were made using PINNACLE software (Philips Medical Systems). Results: The results showed generally good agreement with the dose determined using the old model applying the measured transmission. The average differences between EPID-based in vivo dose at the isocenter determined using either the new model for transmission and its measured value were 2.6{+-}3.1%, 0.2{+-}3.1%, and 2.2{+-}3.9% for 47 patients

  7. MRMC analysis of agreement studies

    NASA Astrophysics Data System (ADS)

    Gallas, Brandon D.; Anam, Amrita; Chen, Weijie; Wunderlich, Adam; Zhang, Zhiwei

    2016-03-01

    The purpose of this work is to present and evaluate methods based on U-statistics to compare intra- or inter-reader agreement across different imaging modalities. We apply these methods to multi-reader multi-case (MRMC) studies. We measure reader-averaged agreement and estimate its variance accounting for the variability from readers and cases (an MRMC analysis). In our application, pathologists (readers) evaluate patient tissue mounted on glass slides (cases) in two ways. They evaluate the slides on a microscope (reference modality) and they evaluate digital scans of the slides on a computer display (new modality). In the current work, we consider concordance as the agreement measure, but many of the concepts outlined here apply to other agreement measures. Concordance is the probability that two readers rank two cases in the same order. Concordance can be estimated with a U-statistic and thus it has some nice properties: it is unbiased, asymptotically normal, and its variance is given by an explicit formula. Another property of a U-statistic is that it is symmetric in its inputs; it doesn't matter which reader is listed first or which case is listed first, the result is the same. Using this property and a few tricks while building the U-statistic kernel for concordance, we get a mathematically tractable problem and efficient software. Simulations show that our variance and covariance estimates are unbiased.

  8. Form 6 - gas balancing agreement

    SciTech Connect

    Not Available

    1990-01-01

    In 1988, a special Committee of the Rocky Mountain Mineral Law Foundation undertook a project to draft a model from gas balancing agreement. This project was initiated at the request of a number of Foundation members who felt that a model form gas balancing agreement would facilitate the negotiation of operating agreement, since gas balancing issues had become sticking points in the process. The Committee was composed of attorneys representing a wide cross-section of the oil and gas industry including both major and independent oil companies, production companies with interstate pipeline affiliates, and private practitioners. The Committee attempted to address the more controversial issues in gas balancing with optional provisions in the Form. To facilitate the negotiation process, the number of optional provisions was minimized. This form may be used as an Appendix to the new A.A.P.L. Form 610-1989 Model Form Operating Agreement. This book includes provision of this Form which are: Ownership of gas production; Balancing of production accounts; Cash balancing upon depletion; Deliverability tests; Nominations; Statements; Payment of taxes; Operating expenses; Overproducing allowable; Payment of leasehold burdens; Operator's liability; Successors and assigns; Audits; Arbitration; and Operator's fees.

  9. University of Scranton: Master Agreement.

    ERIC Educational Resources Information Center

    Scranton Univ., PA.

    This document is the collective bargaining agreement between the University of Scranton and its faculty effective September 1, 1975 until August 31, 1976. Its provisions include all full-time faculty members associated with the Reading Clinic and Counseling Center, full-time faculty assigned to the Department of Physical Education, full-time…

  10. Articulation Agreements Ease the Way.

    ERIC Educational Resources Information Center

    Reese, Susan

    2002-01-01

    Articulation agreements between secondary and postsecondary institutions often provide for granting college credit for course work completed at another institution. They have been described as programs designed to create pathways of learning that ease the transition of students from secondary to postsecondary levels. (JOW)

  11. Block Transfer Agreement Evaluation Project

    ERIC Educational Resources Information Center

    Bastedo, Helena

    2010-01-01

    The objective of this project is to evaluate for the British Columbia Council on Admissions and Transfer (BCCAT) the effectiveness of block transfer agreements (BTAs) in the BC Transfer System and recommend steps to be taken to improve their effectiveness. Findings of this study revealed that institutions want to expand block credit transfer;…

  12. Making an Exercise Buddy Agreement

    MedlinePlus

    ... meet your needs. Print out two copies and fill them out together. Then, to make it “official,” both of you should sign them and keep a copy. Review Your Progress Refer back to your agreement at a set time to ...

  13. Guidance and Control Software Project Data - Volume 3: Verification Documents

    NASA Technical Reports Server (NTRS)

    Hayhurst, Kelly J. (Editor)

    2008-01-01

    The Guidance and Control Software (GCS) project was the last in a series of software reliability studies conducted at Langley Research Center between 1977 and 1994. The technical results of the GCS project were recorded after the experiment was completed. Some of the support documentation produced as part of the experiment, however, is serving an unexpected role far beyond its original project context. Some of the software used as part of the GCS project was developed to conform to the RTCA/DO-178B software standard, "Software Considerations in Airborne Systems and Equipment Certification," used in the civil aviation industry. That standard requires extensive documentation throughout the software development life cycle, including plans, software requirements, design and source code, verification cases and results, and configuration management and quality control data. The project documentation that includes this information is open for public scrutiny without the legal or safety implications associated with comparable data from an avionics manufacturer. This public availability has afforded an opportunity to use the GCS project documents for DO-178B training. This report provides a brief overview of the GCS project, describes the 4-volume set of documents and the role they are playing in training, and includes the verification documents from the GCS project. Volume 3 contains four appendices: A. Software Verification Cases and Procedures for the Guidance and Control Software Project; B. Software Verification Results for the Pluto Implementation of the Guidance and Control Software; C. Review Records for the Pluto Implementation of the Guidance and Control Software; and D. Test Results Logs for the Pluto Implementation of the Guidance and Control Software.

  14. The Use of Remote Sensing Satellites for Verification in International Law

    NASA Astrophysics Data System (ADS)

    Hettling, J. K.

    The contribution is a very sensitive topic which is currently about to gain significance and importance in the international community. It implies questions of international law as well as the contemplation of new developments and decisions in international politics. The paper will begin with the meaning and current status of verification in international law as well as the legal basis of satellite remote sensing in international treaties and resolutions. For the verification part, this implies giving a definition of verification and naming its fields of application and the different means of verification. For the remote sensing part, it involves the identification of relevant provisions in the Outer Space Treaty and the United Nations General Assembly Principles on Remote Sensing. Furthermore it shall be looked at practical examples: in how far have remote sensing satellites been used to verify international obligations? Are there treaties which would considerably profit from the use of remote sensing satellites? In this respect, there are various examples which can be contemplated, such as the ABM Treaty (even though out of force now), the SALT and START Agreements, the Chemical Weapons Convention and the Conventional Test Ban Treaty. It will be mentioned also that NGOs have started to verify international conventions, e.g. Landmine Monitor is verifying the Mine-Ban Convention. Apart from verifying arms control and disarmament treaties, satellites can also strengthen the negotiation of peace agreements (such as the Dayton Peace Talks) and the prevention of international conflicts from arising. Verification has played an increasingly prominent role in high-profile UN operations. Verification and monitoring can be applied to the whole range of elements that constitute a peace implementation process, ranging from the military aspects through electoral monitoring and human rights monitoring, from negotiating an accord to finally monitoring it. Last but not least the

  15. GENERIC VERIFICATION PROTOCOL FOR THE VERIFICATION OF PESTICIDE SPRAY DRIFT REDUCTION TECHNOLOGIES FOR ROW AND FIELD CROPS

    EPA Science Inventory

    This ETV program generic verification protocol was prepared and reviewed for the Verification of Pesticide Drift Reduction Technologies project. The protocol provides a detailed methodology for conducting and reporting results from a verification test of pesticide drift reductio...

  16. Runtime Verification with State Estimation

    NASA Technical Reports Server (NTRS)

    Stoller, Scott D.; Bartocci, Ezio; Seyster, Justin; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Zadok, Erez

    2011-01-01

    We introduce the concept of Runtime Verification with State Estimation and show how this concept can be applied to estimate theprobability that a temporal property is satisfied by a run of a program when monitoring overhead is reduced by sampling. In such situations, there may be gaps in the observed program executions, thus making accurate estimation challenging. To deal with the effects of sampling on runtime verification, we view event sequences as observation sequences of a Hidden Markov Model (HMM), use an HMM model of the monitored program to "fill in" sampling-induced gaps in observation sequences, and extend the classic forward algorithm for HMM state estimation (which determines the probability of a state sequence, given an observation sequence) to compute the probability that the property is satisfied by an execution of the program. To validate our approach, we present a case study based on the mission software for a Mars rover. The results of our case study demonstrate high prediction accuracy for the probabilities computed by our algorithm. They also show that our technique is much more accurate than simply evaluating the temporal property on the given observation sequences, ignoring the gaps.

  17. RISKIND verification and benchmark comparisons

    SciTech Connect

    Biwer, B.M.; Arnish, J.J.; Chen, S.Y.; Kamboj, S.

    1997-08-01

    This report presents verification calculations and benchmark comparisons for RISKIND, a computer code designed to estimate potential radiological consequences and health risks to individuals and the population from exposures associated with the transportation of spent nuclear fuel and other radioactive materials. Spreadsheet calculations were performed to verify the proper operation of the major options and calculational steps in RISKIND. The program is unique in that it combines a variety of well-established models into a comprehensive treatment for assessing risks from the transportation of radioactive materials. Benchmark comparisons with other validated codes that incorporate similar models were also performed. For instance, the external gamma and neutron dose rate curves for a shipping package estimated by RISKIND were compared with those estimated by using the RADTRAN 4 code and NUREG-0170 methodology. Atmospheric dispersion of released material and dose estimates from the GENII and CAP88-PC codes. Verification results have shown the program to be performing its intended function correctly. The benchmark results indicate that the predictions made by RISKIND are within acceptable limits when compared with predictions from similar existing models.

  18. Cognitive Bias in Systems Verification

    NASA Technical Reports Server (NTRS)

    Larson, Steve

    2012-01-01

    Working definition of cognitive bias: Patterns by which information is sought and interpreted that can lead to systematic errors in decisions. Cognitive bias is used in diverse fields: Economics, Politics, Intelligence, Marketing, to name a few. Attempts to ground cognitive science in physical characteristics of the cognitive apparatus exceed our knowledge. Studies based on correlations; strict cause and effect is difficult to pinpoint. Effects cited in the paper and discussed here have been replicated many times over, and appear sound. Many biases have been described, but it is still unclear whether they are all distinct. There may only be a handful of fundamental biases, which manifest in various ways. Bias can effect system verification in many ways . Overconfidence -> Questionable decisions to deploy. Availability -> Inability to conceive critical tests. Representativeness -> Overinterpretation of results. Positive Test Strategies -> Confirmation bias. Debiasing at individual level very difficult. The potential effect of bias on the verification process can be managed, but not eliminated. Worth considering at key points in the process.

  19. Video-Based Fingerprint Verification

    PubMed Central

    Qin, Wei; Yin, Yilong; Liu, Lili

    2013-01-01

    Conventional fingerprint verification systems use only static information. In this paper, fingerprint videos, which contain dynamic information, are utilized for verification. Fingerprint videos are acquired by the same capture device that acquires conventional fingerprint images, and the user experience of providing a fingerprint video is the same as that of providing a single impression. After preprocessing and aligning processes, “inside similarity” and “outside similarity” are defined and calculated to take advantage of both dynamic and static information contained in fingerprint videos. Match scores between two matching fingerprint videos are then calculated by combining the two kinds of similarity. Experimental results show that the proposed video-based method leads to a relative reduction of 60 percent in the equal error rate (EER) in comparison to the conventional single impression-based method. We also analyze the time complexity of our method when different combinations of strategies are used. Our method still outperforms the conventional method, even if both methods have the same time complexity. Finally, experimental results demonstrate that the proposed video-based method can lead to better accuracy than the multiple impressions fusion method, and the proposed method has a much lower false acceptance rate (FAR) when the false rejection rate (FRR) is quite low. PMID:24008283

  20. The Ontogeny of the Verification System.

    ERIC Educational Resources Information Center

    Akiyama, M. Michael; Guillory, Andrea W.

    1983-01-01

    Young children found it difficult to verify negative statements, but found affirmative statements, affirmative questions, and negative questions equally easy to deal with. It is proposed that children acquire the answering system earlier than the verification system, and use answering to verify statements before acquiring the verification system.…

  1. The monitoring and verification of nuclear weapons

    SciTech Connect

    Garwin, Richard L.

    2014-05-09

    This paper partially reviews and updates the potential for monitoring and verification of nuclear weapons, including verification of their destruction. Cooperative monitoring with templates of the gamma-ray spectrum are an important tool, dependent on the use of information barriers.

  2. ENVIRONMENTAL TECHNOLOGY VERIFICATION AND INDOOR AIR

    EPA Science Inventory

    The paper discusses environmental technology verification and indoor air. RTI has responsibility for a pilot program for indoor air products as part of the U.S. EPA's Environmental Technology Verification (ETV) program. The program objective is to further the development of sel...

  3. 25 CFR 61.8 - Verification forms.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR TRIBAL GOVERNMENT PREPARATION OF ROLLS OF INDIANS § 61.8... enrollment, a verification form, to be completed and returned, shall be mailed to each previous enrollee using the last address of record. The verification form will be used to ascertain the previous...

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION FOR INDOOR AIR PRODUCTS

    EPA Science Inventory

    The paper discusses environmental technology verification (ETV) for indoor air products. RTI is developing the framework for a verification testing program for indoor air products, as part of EPA's ETV program. RTI is establishing test protocols for products that fit into three...

  5. Gender Verification of Female Olympic Athletes.

    ERIC Educational Resources Information Center

    Dickinson, Barry D.; Genel, Myron; Robinowitz, Carolyn B.; Turner, Patricia L.; Woods, Gary L.

    2002-01-01

    Gender verification of female athletes has long been criticized by geneticists, endocrinologists, and others in the medical community. Recently, the International Olympic Committee's Athletic Commission called for discontinuation of mandatory laboratory-based gender verification of female athletes. This article discusses normal sexual…

  6. The monitoring and verification of nuclear weapons

    NASA Astrophysics Data System (ADS)

    Garwin, Richard L.

    2014-05-01

    This paper partially reviews and updates the potential for monitoring and verification of nuclear weapons, including verification of their destruction. Cooperative monitoring with templates of the gamma-ray spectrum are an important tool, dependent on the use of information barriers.

  7. 40 CFR 1066.220 - Linearity verification.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 34 2012-07-01 2012-07-01 false Linearity verification. 1066.220 Section 1066.220 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR POLLUTION CONTROLS VEHICLE-TESTING PROCEDURES Dynamometer Specifications § 1066.220 Linearity verification. (a) Scope and frequency. Perform linearity...

  8. IMPROVING AIR QUALITY THROUGH ENVIRONMENTAL TECHNOLOGY VERIFICATIONS

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) began the Environmental Technology Verification (ETV) Program in 1995 as a means of working with the private sector to establish a market-based verification process available to all environmental technologies. Under EPA's Office of R...

  9. HTGR analytical methods and design verification

    SciTech Connect

    Neylan, A.J.; Northup, T.E.

    1982-05-01

    Analytical methods for the high-temperature gas-cooled reactor (HTGR) include development, update, verification, documentation, and maintenance of all computer codes for HTGR design and analysis. This paper presents selected nuclear, structural mechanics, seismic, and systems analytical methods related to the HTGR core. This paper also reviews design verification tests in the reactor core, reactor internals, steam generator, and thermal barrier.

  10. Students' Verification Strategies for Combinatorial Problems

    ERIC Educational Resources Information Center

    Mashiach Eizenberg, Michal; Zaslavsky, Orit

    2004-01-01

    We focus on a major difficulty in solving combinatorial problems, namely, on the verification of a solution. Our study aimed at identifying undergraduate students' tendencies to verify their solutions, and the verification strategies that they employ when solving these problems. In addition, an attempt was made to evaluate the level of efficiency…

  11. Verification testing of advanced environmental monitoring systems

    SciTech Connect

    Kelly, T.J.; Riggs, K.B.; Fuerst, R.G.

    1999-03-01

    This paper describes the Advanced Monitoring Systems (AMS) pilot project, one of 12 pilots comprising the US EPA`s Environmental Technology Verification (ETV) program. The aim of ETV is to promote the acceptance of environmental technologies in the marketplace, through objective third-party verification of technology performance.

  12. Hierarchical Design and Verification for VLSI

    NASA Technical Reports Server (NTRS)

    Shostak, R. E.; Elliott, W. D.; Levitt, K. N.

    1983-01-01

    The specification and verification work is described in detail, and some of the problems and issues to be resolved in their application to Very Large Scale Integration VLSI systems are examined. The hierarchical design methodologies enable a system architect or design team to decompose a complex design into a formal hierarchy of levels of abstraction. The first step inprogram verification is tree formation. The next step after tree formation is the generation from the trees of the verification conditions themselves. The approach taken here is similar in spirit to the corresponding step in program verification but requires modeling of the semantics of circuit elements rather than program statements. The last step is that of proving the verification conditions using a mechanical theorem-prover.

  13. New method of verificating optical flat flatness

    NASA Astrophysics Data System (ADS)

    Sun, Hao; Li, Xueyuan; Han, Sen; Zhu, Jianrong; Guo, Zhenglai; Fu, Yuegang

    2014-11-01

    Optical flat is commonly used in optical testing instruments, flatness is the most important parameter of forming errors. As measurement criteria, optical flat flatness (OFF) index needs to have good precision. Current measurement in China is heavily dependent on the artificial visual interpretation, through discrete points to characterize the flatness. The efficiency and accuracy of this method can not meet the demand of industrial development. In order to improve the testing efficiency and accuracy of measurement, it is necessary to develop an optical flat verification system, which can obtain all surface information rapidly and efficiently, at the same time, in accordance with current national metrological verification procedures. This paper reviews current optical flat verification method and solves the problems existing in previous test, by using new method and its supporting software. Final results show that the new system can improve verification efficiency and accuracy, by comparing with JJG 28-2000 metrological verification procedures method.

  14. Space transportation system payload interface verification

    NASA Technical Reports Server (NTRS)

    Everline, R. T.

    1977-01-01

    The paper considers STS payload-interface verification requirements and the capability provided by STS to support verification. The intent is to standardize as many interfaces as possible, not only through the design, development, test and evaluation (DDT and E) phase of the major payload carriers but also into the operational phase. The verification process is discussed in terms of its various elements, such as the Space Shuttle DDT and E (including the orbital flight test program) and the major payload carriers DDT and E (including the first flights). Five tools derived from the Space Shuttle DDT and E are available to support the verification process: mathematical (structural and thermal) models, the Shuttle Avionics Integration Laboratory, the Shuttle Manipulator Development Facility, and interface-verification equipment (cargo-integration test equipment).

  15. 3D Dose Verification Using Tomotherapy CT Detector Array

    SciTech Connect

    Sheng Ke; Jones, Ryan; Yang Wensha; Saraiya, Siddharth; Schneider, Bernard; Chen Quan; Sobering, Geoff; Olivera, Gustavo; Read, Paul

    2012-02-01

    Purpose: To evaluate a three-dimensional dose verification method based on the exit dose using the onboard detector of tomotherapy. Methods and Materials: The study included 347 treatment fractions from 24 patients, including 10 prostate, 5 head and neck (HN), and 9 spinal stereotactic body radiation therapy (SBRT) cases. Detector sonograms were retrieved and back-projected to calculate entrance fluence, which was then forward-projected on the CT images to calculate the verification dose, which was compared with ion chamber and film measurement in the QA plans and with the planning dose in patient plans. Results: Root mean square (RMS) errors of 2.0%, 2.2%, and 2.0% were observed comparing the dose verification (DV) and the ion chamber measured point dose in the phantom plans for HN, prostate, and spinal SBRT patients, respectively. When cumulative dose in the entire treatment is considered, for HN patients, the error of the mean dose to the planning target volume (PTV) varied from 1.47% to 5.62% with a RMS error of 3.55%. For prostate patients, the error of the mean dose to the prostate target volume varied from -5.11% to 3.29%, with a RMS error of 2.49%. The RMS error of maximum doses to the bladder and the rectum were 2.34% (-4.17% to 2.61%) and 2.64% (-4.54% to 3.94%), respectively. For the nine spinal SBRT patients, the RMS error of the minimum dose to the PTV was 2.43% (-5.39% to 2.48%). The RMS error of maximum dose to the spinal cord was 1.05% (-2.86% to 0.89%). Conclusions: An excellent agreement was observed between the measurement and the verification dose. In the patient treatments, the agreement in doses to the majority of PTVs and organs at risk is within 5% for the cumulative treatment course doses. The dosimetric error strongly depends on the error in multileaf collimator leaf opening time with a sensitivity correlating to the gantry rotation period.

  16. Limiting technology by negotiated agreement

    SciTech Connect

    Carnesale, A.

    1983-01-01

    The author concentrates on anti-ballistic missile (ABM) systems as an example of a continuing effort to limit technology by negotiated agreement. He first discusses the ABM treaty of 1972, ratified by both the US and the USSR. Afterwards, he briefly treats each of the following: ballistic missile defense (BMD) dilemmas; nature of the BMD choice; technology; economics; deterrence; nuclear warfighting; relations with allies; arms control; Star Wars; and on limiting technology.

  17. Achieving Agreement in Three Rounds With Bounded-Byzantine Faults

    NASA Technical Reports Server (NTRS)

    Malekpour, Mahyar R.

    2015-01-01

    A three-round algorithm is presented that guarantees agreement in a system of K (nodes) greater than or equal to 3F (faults) +1 nodes provided each faulty node induces no more than F faults and each good node experiences no more than F faults, where, F is the maximum number of simultaneous faults in the network. The algorithm is based on the Oral Message algorithm of Lamport et al. and is scalable with respect to the number of nodes in the system and applies equally to the traditional node-fault model as well as the link-fault model. We also present a mechanical verification of the algorithm focusing on verifying the correctness of a bounded model of the algorithm as well as confirming claims of determinism.

  18. 78 FR 8533 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-02-06

    ... Agreement. Parties: Crowley Latin America Services, LLC and Dole Ocean Cargo Express, Inc. Filing Party... scope of the agreement, clarifies language in the agreement, and makes technical corrections to...

  19. 77 FR 38288 - Notice of Agreement Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-06-27

    ... . Agreement No.: 012177. Title: MSC/Maersk Line U.S.-Panama Space Charter Agreement. Parties: Mediterranean... agreement authorizes MSC to charter space to Maersk Line in the trade between ports in Panama and ports...

  20. 40 CFR 35.1615 - Substate agreements.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 CFR 33.240 (Intergovernmental agreements). A State may enter into an agreement with a substate... STATE AND LOCAL ASSISTANCE Cooperative Agreements for Protecting and Restoring Publicly Owned...

  1. 40 CFR 35.1615 - Substate agreements.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 CFR 33.240 (Intergovernmental agreements). A State may enter into an agreement with a substate... STATE AND LOCAL ASSISTANCE Cooperative Agreements for Protecting and Restoring Publicly Owned...

  2. 40 CFR 35.1615 - Substate agreements.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 CFR 33.240 (Intergovernmental agreements). A State may enter into an agreement with a substate... STATE AND LOCAL ASSISTANCE Cooperative Agreements for Protecting and Restoring Publicly Owned...

  3. 40 CFR 35.1615 - Substate agreements.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 CFR 33.240 (Intergovernmental agreements). A State may enter into an agreement with a substate... STATE AND LOCAL ASSISTANCE Cooperative Agreements for Protecting and Restoring Publicly Owned...

  4. 40 CFR 35.1615 - Substate agreements.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 CFR 33.240 (Intergovernmental agreements). A State may enter into an agreement with a substate... STATE AND LOCAL ASSISTANCE Cooperative Agreements for Protecting and Restoring Publicly Owned...

  5. 78 FR 15951 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-03-13

    ... agreement. Agreement No.: 012196. Title: MSC/CSAV Ecuador--North Europe Vessel Sharing Agreement. Parties... on the U.S. East Coast on the one hand, and from ports on the U.S. East Coast to Panama and...

  6. 75 FR 20849 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-04-21

    ... geographic scope of the Agreement. Agreement No.: 011830-008. Title: Indamex Cross Space Charter, Sailing and... Limited Slot Charter and Sailing Agreement. Parties: Tropical Shipping & Construction Co., Ltd. and...

  7. 75 FR 11180 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-03-10

    ....gov . Agreement No.: 011730-003. Title: GWF/Dole Space Charter and Sailing Agreement. Parties: Dole... China-US Pacific Coast Two-Loop Space Charter, Sailing and Cooperative Working Agreement. Parties:...

  8. 78 FR 54646 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-09-05

    .... Agreement No.: 012220. Title: Crowley/Seaboard Space Charter and Sailing Agreement. Parties: Crowley Latin.../America Cruise Ferries, Inc. Space Charter and Sailing Agreement. Parties: Crowley Latin America...

  9. 19 CFR 10.303 - Originating goods.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 19 Customs Duties 1 2013-04-01 2013-04-01 false Originating goods. 10.303 Section 10.303 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY ARTICLES CONDITIONALLY FREE, SUBJECT TO A REDUCED RATE, ETC. United States-Canada Free Trade Agreement § 10.303 Originating goods. (a) General....

  10. 19 CFR 10.594 - Originating goods.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY... States Free Trade Agreement Rules of Origin § 10.594 Originating goods. Except as otherwise provided in this subpart and General Note 29(m), HTSUS, a good imported into the customs territory of the...

  11. 19 CFR 10.594 - Originating goods.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY... States Free Trade Agreement Rules of Origin § 10.594 Originating goods. Except as otherwise provided in this subpart and General Note 29(m), HTSUS, a good imported into the customs territory of the...

  12. 19 CFR 10.594 - Originating goods.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY... States Free Trade Agreement Rules of Origin § 10.594 Originating goods. Except as otherwise provided in this subpart and General Note 29(m), HTSUS, a good imported into the customs territory of the...

  13. 19 CFR 10.594 - Originating goods.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY... States Free Trade Agreement Rules of Origin § 10.594 Originating goods. Except as otherwise provided in this subpart and General Note 29(m), HTSUS, a good imported into the customs territory of the...

  14. Verification of NASA Emergent Systems

    NASA Technical Reports Server (NTRS)

    Rouff, Christopher; Vanderbilt, Amy K. C. S.; Truszkowski, Walt; Rash, James; Hinchey, Mike

    2004-01-01

    NASA is studying advanced technologies for a future robotic exploration mission to the asteroid belt. This mission, the prospective ANTS (Autonomous Nano Technology Swarm) mission, will comprise of 1,000 autonomous robotic agents designed to cooperate in asteroid exploration. The emergent properties of swarm type missions make them powerful, but at the same time are more difficult to design and assure that the proper behaviors will emerge. We are currently investigating formal methods and techniques for verification and validation of future swarm-based missions. The advantage of using formal methods is their ability to mathematically assure the behavior of a swarm, emergent or otherwise. The ANT mission is being used as an example and case study for swarm-based missions for which to experiment and test current formal methods with intelligent swam. Using the ANTS mission, we have evaluated multiple formal methods to determine their effectiveness in modeling and assuring swarm behavior.

  15. Verification of FANTASTIC integrated code

    NASA Technical Reports Server (NTRS)

    Chauhan, Rajinder Singh

    1987-01-01

    FANTASTIC is an acronym for Failure Analysis Nonlinear Thermal and Structural Integrated Code. This program was developed by Failure Analysis Associates, Palo Alto, Calif., for MSFC to improve the accuracy of solid rocket motor nozzle analysis. FANTASTIC has three modules: FACT - thermochemical analysis; FAHT - heat transfer analysis; and FAST - structural analysis. All modules have keywords for data input. Work is in progress for the verification of the FAHT module, which is done by using data for various problems with known solutions as inputs to the FAHT module. The information obtained is used to identify problem areas of the code and passed on to the developer for debugging purposes. Failure Analysis Associates have revised the first version of the FANTASTIC code and a new improved version has been released to the Thermal Systems Branch.

  16. Automated claim and payment verification.

    PubMed

    Segal, Mark J; Morris, Susan; Rubin, James M O

    2002-01-01

    Since the start of managed care, there has been steady deterioration in the ability of physicians, hospitals, payors, and patients to understand reimbursement and the contracts and payment policies that drive it. This lack of transparency has generated administrative costs, confusion, and mistrust. It is therefore essential that physicians, hospitals, and payors have rapid access to accurate information on contractual payment terms. This article summarizes problems with contract-based reimbursement and needed responses by medical practices. It describes an innovative, Internet-based claims and payment verification service, Phynance, which automatically verifies the accuracy of all claims and payments by payor, contract and line item. This service enables practices to know and apply the one, true, contractually obligated allowable. The article details implementation costs and processes and anticipated return on investment. The resulting transparency improves business processes throughout health care, increasing efficiency and lowering costs for physicians, hospitals, payors, employers--and patients. PMID:12122814

  17. Retail applications of signature verification

    NASA Astrophysics Data System (ADS)

    Zimmerman, Thomas G.; Russell, Gregory F.; Heilper, Andre; Smith, Barton A.; Hu, Jianying; Markman, Dmitry; Graham, Jon E.; Drews, Clemens

    2004-08-01

    The dramatic rise in identity theft, the ever pressing need to provide convenience in checkout services to attract and retain loyal customers, and the growing use of multi-function signature captures devices in the retail sector provides favorable conditions for the deployment of dynamic signature verification (DSV) in retail settings. We report on the development of a DSV system to meet the needs of the retail sector. We currently have a database of approximately 10,000 signatures collected from 600 subjects and forgers. Previous work at IBM on DSV has been merged and extended to achieve robust performance on pen position data available from commercial point of sale hardware, achieving equal error rates on skilled forgeries and authentic signatures of 1.5% to 4%.

  18. A Scala DSL for RETE-Based Runtime Verification

    NASA Technical Reports Server (NTRS)

    Havelund, Klaus

    2013-01-01

    Runtime verification (RV) consists in part of checking execution traces against formalized specifications. Several systems have emerged, most of which support specification notations based on state machines, regular expressions, temporal logic, or grammars. The field of Artificial Intelligence (AI) has for an even longer period of time studied rule-based production systems, which at a closer look appear to be relevant for RV, although seemingly focused on slightly different application domains, such as for example business processes and expert systems. The core algorithm in many of these systems is the Rete algorithm. We have implemented a Rete-based runtime verification system, named LogFire (originally intended for offline log analysis but also applicable to online analysis), as an internal DSL in the Scala programming language, using Scala's support for defining DSLs. This combination appears attractive from a practical point of view. Our contribution is in part conceptual in arguing that such rule-based frameworks originating from AI may be suited for RV.

  19. Requirements, Verification, and Compliance (RVC) Database Tool

    NASA Technical Reports Server (NTRS)

    Rainwater, Neil E., II; McDuffee, Patrick B.; Thomas, L. Dale

    2001-01-01

    This paper describes the development, design, and implementation of the Requirements, Verification, and Compliance (RVC) database used on the International Space Welding Experiment (ISWE) project managed at Marshall Space Flight Center. The RVC is a systems engineer's tool for automating and managing the following information: requirements; requirements traceability; verification requirements; verification planning; verification success criteria; and compliance status. This information normally contained within documents (e.g. specifications, plans) is contained in an electronic database that allows the project team members to access, query, and status the requirements, verification, and compliance information from their individual desktop computers. Using commercial-off-the-shelf (COTS) database software that contains networking capabilities, the RVC was developed not only with cost savings in mind but primarily for the purpose of providing a more efficient and effective automated method of maintaining and distributing the systems engineering information. In addition, the RVC approach provides the systems engineer the capability to develop and tailor various reports containing the requirements, verification, and compliance information that meets the needs of the project team members. The automated approach of the RVC for capturing and distributing the information improves the productivity of the systems engineer by allowing that person to concentrate more on the job of developing good requirements and verification programs and not on the effort of being a "document developer".

  20. Online Handwritten Signature Verification Using Neural Network Classifier Based on Principal Component Analysis

    PubMed Central

    Iranmanesh, Vahab; Ahmad, Sharifah Mumtazah Syed; Adnan, Wan Azizun Wan; Arigbabu, Olasimbo Ayodeji; Malallah, Fahad Layth

    2014-01-01

    One of the main difficulties in designing online signature verification (OSV) system is to find the most distinctive features with high discriminating capabilities for the verification, particularly, with regard to the high variability which is inherent in genuine handwritten signatures, coupled with the possibility of skilled forgeries having close resemblance to the original counterparts. In this paper, we proposed a systematic approach to online signature verification through the use of multilayer perceptron (MLP) on a subset of principal component analysis (PCA) features. The proposed approach illustrates a feature selection technique on the usually discarded information from PCA computation, which can be significant in attaining reduced error rates. The experiment is performed using 4000 signature samples from SIGMA database, which yielded a false acceptance rate (FAR) of 7.4% and a false rejection rate (FRR) of 6.4%. PMID:25133227

  1. Online handwritten signature verification using neural network classifier based on principal component analysis.

    PubMed

    Iranmanesh, Vahab; Ahmad, Sharifah Mumtazah Syed; Adnan, Wan Azizun Wan; Yussof, Salman; Arigbabu, Olasimbo Ayodeji; Malallah, Fahad Layth

    2014-01-01

    One of the main difficulties in designing online signature verification (OSV) system is to find the most distinctive features with high discriminating capabilities for the verification, particularly, with regard to the high variability which is inherent in genuine handwritten signatures, coupled with the possibility of skilled forgeries having close resemblance to the original counterparts. In this paper, we proposed a systematic approach to online signature verification through the use of multilayer perceptron (MLP) on a subset of principal component analysis (PCA) features. The proposed approach illustrates a feature selection technique on the usually discarded information from PCA computation, which can be significant in attaining reduced error rates. The experiment is performed using 4000 signature samples from SIGMA database, which yielded a false acceptance rate (FAR) of 7.4% and a false rejection rate (FRR) of 6.4%. PMID:25133227

  2. Liquefied Natural Gas (LNG) dispenser verification device

    NASA Astrophysics Data System (ADS)

    Xiong, Maotao; Yang, Jie-bin; Zhao, Pu-jun; Yu, Bo; Deng, Wan-quan

    2013-01-01

    The composition of working principle and calibration status of LNG (Liquefied Natural Gas) dispenser in China are introduced. According to the defect of weighing method in the calibration of LNG dispenser, LNG dispenser verification device has been researched. The verification device bases on the master meter method to verify LNG dispenser in the field. The experimental results of the device indicate it has steady performance, high accuracy level and flexible construction, and it reaches the international advanced level. Then LNG dispenser verification device will promote the development of LNG dispenser industry in China and to improve the technical level of LNG dispenser manufacture.

  3. SU-E-T-602: Patient-Specific Online Dose Verification Based On Transmission Detector Measurements

    SciTech Connect

    Thoelking, J; Yuvaraj, S; Jens, F; Lohr, F; Wenz, F; Wertz, H; Wertz, H

    2015-06-15

    Purpose: Intensity modulated radiotherapy requires a comprehensive quality assurance program in general and ideally independent verification of dose delivery. Since conventional 2D detector arrays allow only pre-treatment verification, there is a debate concerning the need of online dose verification. This study presents the clinical performance, including dosimetric plan verification in 2D as well as in 3D and the error detection abilities of a new transmission detector (TD) for online dose verification of 6MV photon beam. Methods: To validate the dosimetric performance of the new device, dose reconstruction based on TD measurements were compared to a conventional pre-treatment verification method (reference) and treatment planning system (TPS) for 18 IMRT and VMAT treatment plans. Furthermore, dose reconstruction inside the patient based on TD read-out was evaluated by comparing various dose volume indices and 3D gamma evaluations against independent dose computation and TPS. To investigate the sensitivity of the new device, different types of systematic and random errors for leaf positions and linac output were introduced in IMRT treatment sequences. Results: The 2D gamma index evaluation of transmission detector based dose reconstruction showed an excellent agreement for all IMRT and VMAT plans compared to reference measurements (99.3±1.2)% and TPS (99.1±0.7)%. Good agreement was also obtained for 3D dose reconstruction based on TD read-out compared to dose computation (mean gamma value of PTV = 0.27±0.04). Only a minimal dose underestimation within the target volume was observed when analyzing DVH indices (<1%). Positional errors in leaf banks larger than 1mm and errors in linac output larger than 2% could clearly identified with the TD. Conclusion: Since 2D and 3D evaluations for all IMRT and VMAT treatment plans were in excellent agreement with reference measurements and dose computation, the new TD is suitable to qualify for routine treatment plan

  4. Service Level Agreements in BREIN

    NASA Astrophysics Data System (ADS)

    Koller, Bastian; Frutos, Henar Munoz; Laria, Giuseppe

    With electronic business (eBusiness) becoming ubiquitous, the traditional ways of doing commerce need to be changed or completely replaced to support the end users effectively in performing their business. This includes especially the representation of business relationships with an electronic format to allow for automated processing of the respective parts of e.g. contractual obligations. One prominent representation tool are Service Level Agreements. Conceptually established as paper representation to describe parts of contracts of telecom operators, SLAs have become a research topic in the ICT domain now since several years.

  5. Design for Verification: Enabling Verification of High Dependability Software-Intensive Systems

    NASA Technical Reports Server (NTRS)

    Mehlitz, Peter C.; Penix, John; Markosian, Lawrence Z.; Koga, Dennis (Technical Monitor)

    2003-01-01

    Strategies to achieve confidence that high-dependability applications are correctly implemented include testing and automated verification. Testing deals mainly with a limited number of expected execution paths. Verification usually attempts to deal with a larger number of possible execution paths. While the impact of architecture design on testing is well known, its impact on most verification methods is not as well understood. The Design for Verification approach considers verification from the application development perspective, in which system architecture is designed explicitly according to the application's key properties. The D4V-hypothesis is that the same general architecture and design principles that lead to good modularity, extensibility and complexity/functionality ratio can be adapted to overcome some of the constraints on verification tools, such as the production of hand-crafted models and the limits on dynamic and static analysis caused by state space explosion.

  6. Concepts of Model Verification and Validation

    SciTech Connect

    B.H.Thacker; S.W.Doebling; F.M.Hemez; M.C. Anderson; J.E. Pepin; E.A. Rodriguez

    2004-10-30

    safety-related nuclear facility design, analyses, and operations. In fact, DNFSB 2002-1 recommends to the DOE and National Nuclear Security Administration (NNSA) that a V&V process be performed for all safety related software and analysis. Model verification and validation are the primary processes for quantifying and building credibility in numerical models. Verification is the process of determining that a model implementation accurately represents the developer's conceptual description of the model and its solution. Validation is the process of determining the degree to which a model is an accurate representation of the real world from the perspective of the intended uses of the model. Both verification and validation are processes that accumulate evidence of a model's correctness or accuracy for a specific scenario; thus, V&V cannot prove that a model is correct and accurate for all possible scenarios, but, rather, it can provide evidence that the model is sufficiently accurate for its intended use. Model V&V is fundamentally different from software V&V. Code developers developing computer programs perform software V&V to ensure code correctness, reliability, and robustness. In model V&V, the end product is a predictive model based on fundamental physics of the problem being solved. In all applications of practical interest, the calculations involved in obtaining solutions with the model require a computer code, e.g., finite element or finite difference analysis. Therefore, engineers seeking to develop credible predictive models critically need model V&V guidelines and procedures. The expected outcome of the model V&V process is the quantified level of agreement between experimental data and model prediction, as well as the predictive accuracy of the model. This report attempts to describe the general philosophy, definitions, concepts, and processes for conducting a successful V&V program. This objective is motivated by the need for highly accurate numerical models

  7. 7 CFR 1948.98 - Grant agreements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 13 2011-01-01 2009-01-01 true Grant agreements. 1948.98 Section 1948.98 Agriculture... § 1948.98 Grant agreements. The following Grant Agreements are a part of this regulation. (a) Exhibit A of this subpart is a Grant Agreement for Growth Management and Housing Planning Grants for...

  8. 5 CFR 2421.20 - Election agreement.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 5 Administrative Personnel 3 2011-01-01 2011-01-01 false Election agreement. 2421.20 Section 2421... Election agreement. Election agreement means an agreement under part 2422 of this subchapter signed by all... representation election in an appropriate unit....

  9. 5 CFR 2421.20 - Election agreement.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 5 Administrative Personnel 3 2010-01-01 2010-01-01 false Election agreement. 2421.20 Section 2421... Election agreement. Election agreement means an agreement under part 2422 of this subchapter signed by all... representation election in an appropriate unit....

  10. 5 CFR 2421.20 - Election agreement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 5 Administrative Personnel 3 2012-01-01 2012-01-01 false Election agreement. 2421.20 Section 2421... Election agreement. Election agreement means an agreement under part 2422 of this subchapter signed by all... representation election in an appropriate unit....

  11. 5 CFR 2421.20 - Election agreement.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 5 Administrative Personnel 3 2013-01-01 2013-01-01 false Election agreement. 2421.20 Section 2421... Election agreement. Election agreement means an agreement under part 2422 of this subchapter signed by all... representation election in an appropriate unit....

  12. 40 CFR 46.170 - Fellowship agreement.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 1 2010-07-01 2010-07-01 false Fellowship agreement. 46.170 Section 46... FELLOWSHIPS Award § 46.170 Fellowship agreement. (a) The “Fellowship Agreement” (EPA Form 5770-8) is the written agreement, including amendments, between EPA and you. The fellowship agreement will state...

  13. 40 CFR 46.170 - Fellowship agreement.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 1 2012-07-01 2012-07-01 false Fellowship agreement. 46.170 Section 46... FELLOWSHIPS Award § 46.170 Fellowship agreement. (a) The “Fellowship Agreement” (EPA Form 5770-8) is the written agreement, including amendments, between EPA and you. The fellowship agreement will state...

  14. 40 CFR 46.170 - Fellowship agreement.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 1 2011-07-01 2011-07-01 false Fellowship agreement. 46.170 Section 46... FELLOWSHIPS Award § 46.170 Fellowship agreement. (a) The “Fellowship Agreement” (EPA Form 5770-8) is the written agreement, including amendments, between EPA and you. The fellowship agreement will state...

  15. 40 CFR 46.170 - Fellowship agreement.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 1 2014-07-01 2014-07-01 false Fellowship agreement. 46.170 Section 46... FELLOWSHIPS Award § 46.170 Fellowship agreement. (a) The “Fellowship Agreement” (EPA Form 5770-8) is the written agreement, including amendments, between EPA and you. The fellowship agreement will state...

  16. 40 CFR 46.170 - Fellowship agreement.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 1 2013-07-01 2013-07-01 false Fellowship agreement. 46.170 Section 46... FELLOWSHIPS Award § 46.170 Fellowship agreement. (a) The “Fellowship Agreement” (EPA Form 5770-8) is the written agreement, including amendments, between EPA and you. The fellowship agreement will state...

  17. 77 FR 506 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-01-05

    ... . Agreement No.: 011707-008. Title: Gulf/South America Discussion Agreement. Parties: BBC Chartering... restates the agreement. Agreement No.: 012149. Title: MSC/CMA CGM U.S. East Coast-West Coast South America... Coast and the Bahamas, on the one hand, and the West Coast of South America, on the other. By Order...

  18. 77 FR 54911 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-09-06

    .... Agreement No.: 011426-052. Title: West Coast of South America Discussion Agreement. Parties: Compania... . Agreement No.: 011075-075. Title: Central America Discussion Agreement. Parties: Crowley Latin America... Shipping Company, SA; Seaboard Marine Ltd.; South Pacific Shipping Company, Ltd. (dba Ecuadorian Line);...

  19. 25 CFR 163.71 - Agreement funding.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 1 2012-04-01 2011-04-01 true Agreement funding. 163.71 Section 163.71 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAND AND WATER GENERAL FORESTRY REGULATIONS Cooperative Agreements § 163.71 Agreement funding. In cooperative agreements, the Secretary is authorized to advance...

  20. 25 CFR 163.71 - Agreement funding.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 1 2013-04-01 2013-04-01 false Agreement funding. 163.71 Section 163.71 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAND AND WATER GENERAL FORESTRY REGULATIONS Cooperative Agreements § 163.71 Agreement funding. In cooperative agreements, the Secretary is authorized to advance...

  1. 25 CFR 163.71 - Agreement funding.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false Agreement funding. 163.71 Section 163.71 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAND AND WATER GENERAL FORESTRY REGULATIONS Cooperative Agreements § 163.71 Agreement funding. In cooperative agreements, the Secretary is authorized to advance...

  2. 25 CFR 163.71 - Agreement funding.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 1 2011-04-01 2011-04-01 false Agreement funding. 163.71 Section 163.71 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAND AND WATER GENERAL FORESTRY REGULATIONS Cooperative Agreements § 163.71 Agreement funding. In cooperative agreements, the Secretary is authorized to advance...

  3. 25 CFR 163.71 - Agreement funding.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 1 2014-04-01 2014-04-01 false Agreement funding. 163.71 Section 163.71 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAND AND WATER GENERAL FORESTRY REGULATIONS Cooperative Agreements § 163.71 Agreement funding. In cooperative agreements, the Secretary is authorized to advance...

  4. 46 CFR 356.41 - Management agreements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 46 Shipping 8 2010-10-01 2010-10-01 false Management agreements. 356.41 Section 356.41 Shipping..., Management Agreements and Exclusive or Long-Term Contracts § 356.41 Management agreements. (a) An owner or bareboat charterer of a Fishing Industry Vessel may enter into a management agreement with a Non-Citizen...

  5. 46 CFR 356.41 - Management agreements.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 46 Shipping 8 2011-10-01 2011-10-01 false Management agreements. 356.41 Section 356.41 Shipping..., Management Agreements and Exclusive or Long-Term Contracts § 356.41 Management agreements. (a) An owner or bareboat charterer of a Fishing Industry Vessel may enter into a management agreement with a Non-Citizen...

  6. 46 CFR 356.41 - Management agreements.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 46 Shipping 8 2013-10-01 2013-10-01 false Management agreements. 356.41 Section 356.41 Shipping..., Management Agreements and Exclusive or Long-Term Contracts § 356.41 Management agreements. (a) An owner or bareboat charterer of a Fishing Industry Vessel may enter into a management agreement with a Non-Citizen...

  7. 46 CFR 356.41 - Management agreements.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 46 Shipping 8 2014-10-01 2014-10-01 false Management agreements. 356.41 Section 356.41 Shipping..., Management Agreements and Exclusive or Long-Term Contracts § 356.41 Management agreements. (a) An owner or bareboat charterer of a Fishing Industry Vessel may enter into a management agreement with a Non-Citizen...

  8. 46 CFR 356.41 - Management agreements.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 46 Shipping 8 2012-10-01 2012-10-01 false Management agreements. 356.41 Section 356.41 Shipping..., Management Agreements and Exclusive or Long-Term Contracts § 356.41 Management agreements. (a) An owner or bareboat charterer of a Fishing Industry Vessel may enter into a management agreement with a Non-Citizen...

  9. 75 FR 19402 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-04-14

    .... Agreement No.: 012042-002. Title: MOL/ELJSA Slot Exchange Agreement. Parties: Evergreen Line Joint Service.... Title: MOL/APL/HMM Asia/USWC Slot Charter Agreement. Parties: American President Lines, Ltd.; APL Co... sold, and updates party addresses. Agreement No.: 012044-003. Title: MOL/CMA CGM Slot Charter...

  10. 77 FR 61751 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-10-11

    ... revises the geographic scope of the Agreement by adding Mexico and deleting Panama. It also revises the... restates the Agreement. Agreement No.: 012184-000. Title: Crowley/Maersk Line Panama-U.S. Space Charter... agreement authorizes Crowley to charter space to Maersk Line in the trade from Panama to the U.S....

  11. 48 CFR 1819.7210 - Agreement terminations.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... ADMINISTRATION SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS NASA Mentor-Protégé Program 1819.7210 Agreement terminations. (a) Agreements may be terminated for cause or on a voluntary basis by the mentor or the protégé. The procedures for agreement termination are outlined in the mentor-protégé agreement...

  12. 48 CFR 1819.7210 - Agreement terminations.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... ADMINISTRATION SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS NASA Mentor-Protégé Program 1819.7210 Agreement terminations. (a) Agreements may be terminated for cause or on a voluntary basis by the mentor or the protégé. The procedures for agreement termination are outlined in the mentor-protégé agreement...

  13. 48 CFR 1819.7210 - Agreement terminations.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... ADMINISTRATION SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS NASA Mentor-Protégé Program 1819.7210 Agreement terminations. (a) Agreements may be terminated for cause or on a voluntary basis by the mentor or the protégé. The procedures for agreement termination are outlined in the mentor-protégé agreement...

  14. 48 CFR 1819.7210 - Agreement terminations.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... ADMINISTRATION SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS NASA Mentor-Protégé Program 1819.7210 Agreement terminations. (a) Agreements may be terminated for cause or on a voluntary basis by the mentor or the protégé. The procedures for agreement termination are outlined in the mentor-protégé agreement...

  15. 46 CFR 535.201 - Subject agreements.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... FEDERAL MARITIME COMMISSION REGULATIONS AFFECTING OCEAN SHIPPING IN FOREIGN COMMERCE OCEAN COMMON CARRIER AND MARINE TERMINAL OPERATOR AGREEMENTS SUBJECT TO THE SHIPPING ACT OF 1984 Scope § 535.201 Subject agreements. (a) Ocean common carrier agreements. This part applies to agreements by or among ocean...

  16. 46 CFR 535.201 - Subject agreements.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... FEDERAL MARITIME COMMISSION REGULATIONS AFFECTING OCEAN SHIPPING IN FOREIGN COMMERCE OCEAN COMMON CARRIER AND MARINE TERMINAL OPERATOR AGREEMENTS SUBJECT TO THE SHIPPING ACT OF 1984 Scope § 535.201 Subject agreements. (a) Ocean common carrier agreements. This part applies to agreements by or among ocean...

  17. 46 CFR 535.201 - Subject agreements.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... FEDERAL MARITIME COMMISSION REGULATIONS AFFECTING OCEAN SHIPPING IN FOREIGN COMMERCE OCEAN COMMON CARRIER AND MARINE TERMINAL OPERATOR AGREEMENTS SUBJECT TO THE SHIPPING ACT OF 1984 Scope § 535.201 Subject agreements. (a) Ocean common carrier agreements. This part applies to agreements by or among ocean...

  18. 2 CFR 182.620 - Cooperative agreement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... agreement. Cooperative agreement means an award of financial assistance that, consistent with 31 U.S.C. 6305... development agreements as defined in 15 U.S.C. 3710a. ... MANAGEMENT AND BUDGET GOVERNMENTWIDE GUIDANCE FOR GRANTS AND AGREEMENTS NATIONAL POLICY...

  19. 7 CFR 1948.98 - Grant agreements.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 13 2013-01-01 2013-01-01 false Grant agreements. 1948.98 Section 1948.98 Agriculture... § 1948.98 Grant agreements. The following Grant Agreements are a part of this regulation. (a) Exhibit A of this subpart is a Grant Agreement for Growth Management and Housing Planning Grants for...

  20. 27 CFR 70.485 - Closing agreements.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2012-04-01 2011-04-01 true Closing agreements. 70.485... Relating to Alcohol, Tobacco, Firearms, and Explosives Administrative Remedies § 70.485 Closing agreements... taxable period ending prior or subsequent to the date of such agreement. A closing agreement may...

  1. 27 CFR 70.485 - Closing agreements.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2013-04-01 2013-04-01 false Closing agreements. 70.485... Relating to Alcohol, Tobacco, Firearms, and Explosives Administrative Remedies § 70.485 Closing agreements... taxable period ending prior or subsequent to the date of such agreement. A closing agreement may...

  2. 27 CFR 70.485 - Closing agreements.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2010-04-01 2010-04-01 false Closing agreements. 70.485... Relating to Alcohol, Tobacco, Firearms, and Explosives Administrative Remedies § 70.485 Closing agreements... taxable period ending prior or subsequent to the date of such agreement. A closing agreement may...

  3. 27 CFR 70.485 - Closing agreements.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2011-04-01 2011-04-01 false Closing agreements. 70.485... Relating to Alcohol, Tobacco, Firearms, and Explosives Administrative Remedies § 70.485 Closing agreements... taxable period ending prior or subsequent to the date of such agreement. A closing agreement may...

  4. 27 CFR 70.485 - Closing agreements.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2014-04-01 2014-04-01 false Closing agreements. 70.485... Relating to Alcohol, Tobacco, Firearms, and Explosives Administrative Remedies § 70.485 Closing agreements... taxable period ending prior or subsequent to the date of such agreement. A closing agreement may...

  5. 48 CFR 16.702 - Basic agreements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    .... Basic agreements may need to be revised before the annual review due to mandatory statutory requirements... 48 Federal Acquisition Regulations System 1 2010-10-01 2010-10-01 false Basic agreements. 16.702... AND CONTRACT TYPES TYPES OF CONTRACTS Agreements 16.702 Basic agreements. (a) Description. A...

  6. 7 CFR 947.111 - Marketing agreement.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 8 2011-01-01 2011-01-01 false Marketing agreement. 947.111 Section 947.111 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing... Definitions § 947.111 Marketing agreement. Marketing agreement means Marketing Agreement No. 114, as amended....

  7. 7 CFR 947.111 - Marketing agreement.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 8 2014-01-01 2014-01-01 false Marketing agreement. 947.111 Section 947.111 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... Definitions § 947.111 Marketing agreement. Marketing agreement means Marketing Agreement No. 114, as amended....

  8. 7 CFR 947.111 - Marketing agreement.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 8 2013-01-01 2013-01-01 false Marketing agreement. 947.111 Section 947.111 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (MARKETING... Definitions § 947.111 Marketing agreement. Marketing agreement means Marketing Agreement No. 114, as amended....

  9. 7 CFR 947.111 - Marketing agreement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 8 2012-01-01 2012-01-01 false Marketing agreement. 947.111 Section 947.111 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing... Definitions § 947.111 Marketing agreement. Marketing agreement means Marketing Agreement No. 114, as amended....

  10. 7 CFR 947.111 - Marketing agreement.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 8 2010-01-01 2010-01-01 false Marketing agreement. 947.111 Section 947.111 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Marketing... Definitions § 947.111 Marketing agreement. Marketing agreement means Marketing Agreement No. 114, as amended....

  11. ETV - ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) - RISK MANAGEMENT

    EPA Science Inventory

    In October 1995, the Environmental Technology Verification (ETV) Program was established by EPA. The goal of ETV is to provide credible performance data for commercial-ready environmental technologies to speed their implementation for the benefit of vendors, purchasers, permitter...

  12. The PASCAL-HDM Verification System

    NASA Technical Reports Server (NTRS)

    1983-01-01

    The PASCAL-HDM verification system is described. This system supports the mechanical generation of verification conditions from PASCAL programs and HDM-SPECIAL specifications using the Floyd-Hoare axiomatic method. Tools are provided to parse programs and specifications, check their static semantics, generate verification conditions from Hoare rules, and translate the verification conditions appropriately for proof using the Shostak Theorem Prover, are explained. The differences between standard PASCAL and the language handled by this system are explained. This consists mostly of restrictions to the standard language definition, the only extensions or modifications being the addition of specifications to the code and the change requiring the references to a function of no arguments to have empty parentheses.

  13. Engineering drawing field verification program. Revision 3

    SciTech Connect

    Ulk, P.F.

    1994-10-12

    Safe, efficient operation of waste tank farm facilities is dependent in part upon the availability of accurate, up-to-date plant drawings. Accurate plant drawings are also required in support of facility upgrades and future engineering remediation projects. This supporting document establishes the procedure for performing a visual field verification of engineering drawings, the degree of visual observation being performed and documenting the results. A copy of the drawing attesting to the degree of visual observation will be paginated into the released Engineering Change Notice (ECN) documenting the field verification for future retrieval and reference. All waste tank farm essential and support drawings within the scope of this program will be converted from manual to computer aided drafting (CAD) drawings. A permanent reference to the field verification status will be placed along the right border of the CAD-converted drawing, referencing the revision level, at which the visual verification was performed and documented.

  14. VERIFICATION OF GLOBAL CLIMATE CHANGE MITIGATION TECHNOLOGIES

    EPA Science Inventory

    This is a continuation of independent performance evaluations of environmental technologies under EPA's Environmental Technology Verification Program. Emissions of some greenhouse gases, most notably methane. can be controlled profitably now, even in the absence of regulations. ...

  15. MAMA Software Features: Quantification Verification Documentation-1

    SciTech Connect

    Ruggiero, Christy E.; Porter, Reid B.

    2014-05-21

    This document reviews the verification of the basic shape quantification attributes in the MAMA software against hand calculations in order to show that the calculations are implemented mathematically correctly and give the expected quantification results.

  16. U.S. Environmental Technology Verification Program

    EPA Science Inventory

    Overview of the U.S. Environmental Technology Verification Program (ETV), the ETV Greenhouse Gas Technology Center, and energy-related ETV projects. Presented at the Department of Energy's National Renewable Laboratory in Boulder, Colorado on June 23, 2008.

  17. HDM/PASCAL Verification System User's Manual

    NASA Technical Reports Server (NTRS)

    Hare, D.

    1983-01-01

    The HDM/Pascal verification system is a tool for proving the correctness of programs written in PASCAL and specified in the Hierarchical Development Methodology (HDM). This document assumes an understanding of PASCAL, HDM, program verification, and the STP system. The steps toward verification which this tool provides are parsing programs and specifications, checking the static semantics, and generating verification conditions. Some support functions are provided such as maintaining a data base, status management, and editing. The system runs under the TOPS-20 and TENEX operating systems and is written in INTERLISP. However, no knowledge is assumed of these operating systems or of INTERLISP. The system requires three executable files, HDMVCG, PARSE, and STP. Optionally, the editor EMACS should be on the system in order for the editor to work. The file HDMVCG is invoked to run the system. The files PARSE and STP are used as lower forks to perform the functions of parsing and proving.

  18. Calibration and verification of environmental models

    NASA Technical Reports Server (NTRS)

    Lee, S. S.; Sengupta, S.; Weinberg, N.; Hiser, H.

    1976-01-01

    The problems of calibration and verification of mesoscale models used for investigating power plant discharges are considered. The value of remote sensors for data acquisition is discussed as well as an investigation of Biscayne Bay in southern Florida.

  19. Verification timer for AECL 780 Cobalt unit.

    PubMed

    Smathers, J B; Holly, F E

    1984-05-01

    To obtain verification of the proper time setting of the motorized run down timer for a AECL 780 Cobalt Unit, a digital timer is described, which can be added to the system for under $300. PMID:6735762

  20. Electronic Verification at the Kennedy Space Center

    NASA Technical Reports Server (NTRS)

    Johnson, T. W.

    1995-01-01

    This document reviews some current applications of Electronic Verification and the benefits such applications are providing the Kennedy Space Center (KSC). It also previews some new technologies, including statistics regarding performance and possible utilization of the technology.

  1. THE EPA'S ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM

    EPA Science Inventory

    The Environmental Protection Agency (EPA) instituted the Environmental Technology Verification Program--or ETV--to verify the performance of innovative technical solutions to problems that threaten human health or the environment. ETV was created to substantially accelerate the e...

  2. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: FUEL CELLS

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) Program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techno...

  3. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: STORMWATER TECHNOLOGIES

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techn...

  4. Inattentive listening undermines self-verification in personal storytelling.

    PubMed

    Pasupathi, Monisha; Rich, Ben

    2005-08-01

    Two studies explore the narrative construction of self-perceptions in conversational storytelling among pairs of same-sex friends. Specifically, the studies examined how listener behavior can support or undermine attempts to self-verify in personal storytelling. In two studies (n=100 dyads), speakers told attentive, distracted, or disagreeable (Study 1 only) friends about a recent experience. Distracted, but not disagreeable, friends tended to undermine participants' attempts to verify their self-perception of being interested in an activity (Study 1) or their self-perception that an event was typical for them (Study 2). These results support the notion that friends can be an important source of influence on self-perceptions and, perhaps surprisingly, suggest that responsiveness from friends, rather than agreement per se, may be crucial for supporting self-verification processes. PMID:15958144

  5. Verification/validation of ESATAN fluid capability against RETRAN

    NASA Astrophysics Data System (ADS)

    Birchley, J.; Ward, G.; Kirtley, C.; Lebru, A.

    1990-07-01

    The Fluid Heat Transport Systems (FHTS) extension to the ESATAN thermal analyzer was released to industry in 1989. A significant effort has been directed towards obtaining, as far as possible, an error free code which gives results in reasonable agreement with reference data. The first steps to ensure confidence in FHTS have been taken by system testing during software acceptance and by means of a comparison with RETRAN, a US code unique in possessing a US safety evaluation report for reactor licensing applications. RETRAN output data was taken as the a priori reference data to verify FHTS. Two sets of test cases have been defined, one concerning single-phase problems (basically the Columbus water loop), the second set containing models with two-phase conditions (a simple idealized loop and boundary conditions). The paper highlights the difficulties encountered during the comparison work, presents the major results and discusses the main issues involved in FHTS verification/validation.

  6. The oil and gas joint operating agreement

    SciTech Connect

    Not Available

    1990-01-01

    This book covers the following topics: introduction to the AAPL model form operating agreement; property provisions of the operating agreement; Article 6---the drilling and development article; duties and obligations revisited---who bear what risk of loss; operator's liens; accounting procedure joint operations; insurance; taking gas in kind absent a balancing agreement; RMMLF Form 5 Gas Balancing Agreement; tax partnerships for nontax professionals; alternative agreement forms.

  7. Handbook: Design of automated redundancy verification

    NASA Technical Reports Server (NTRS)

    Ford, F. A.; Hasslinger, T. W.; Moreno, F. J.

    1971-01-01

    The use of the handbook is discussed and the design progress is reviewed. A description of the problem is presented, and examples are given to illustrate the necessity for redundancy verification, along with the types of situations to which it is typically applied. Reusable space vehicles, such as the space shuttle, are recognized as being significant in the development of the automated redundancy verification problem.

  8. The NPARC Alliance Verification and Validation Archive

    NASA Technical Reports Server (NTRS)

    Slater, John W.; Dudek, Julianne C.; Tatum, Kenneth E.

    2000-01-01

    The NPARC Alliance (National Project for Applications oriented Research in CFD) maintains a publicly-available, web-based verification and validation archive as part of the development and support of the WIND CFD code. The verification and validation methods used for the cases attempt to follow the policies and guidelines of the ASME and AIAA. The emphasis is on air-breathing propulsion flow fields with Mach numbers ranging from low-subsonic to hypersonic.

  9. A verification library for multibody simulation software

    NASA Technical Reports Server (NTRS)

    Kim, Sung-Soo; Haug, Edward J.; Frisch, Harold P.

    1989-01-01

    A multibody dynamics verification library, that maintains and manages test and validation data is proposed, based on RRC Robot arm and CASE backhoe validation and a comparitive study of DADS, DISCOS, and CONTOPS that are existing public domain and commercial multibody dynamic simulation programs. Using simple representative problems, simulation results from each program are cross checked, and the validation results are presented. Functionalities of the verification library are defined, in order to automate validation procedure.

  10. Transmutation Fuel Performance Code Thermal Model Verification

    SciTech Connect

    Gregory K. Miller; Pavel G. Medvedev

    2007-09-01

    FRAPCON fuel performance code is being modified to be able to model performance of the nuclear fuels of interest to the Global Nuclear Energy Partnership (GNEP). The present report documents the effort for verification of the FRAPCON thermal model. It was found that, with minor modifications, FRAPCON thermal model temperature calculation agrees with that of the commercial software ABAQUS (Version 6.4-4). This report outlines the methodology of the verification, code input, and calculation results.

  11. Verification and Validation in Computational Fluid Dynamics

    SciTech Connect

    OBERKAMPF, WILLIAM L.; TRUCANO, TIMOTHY G.

    2002-03-01

    Verification and validation (V and V) are the primary means to assess accuracy and reliability in computational simulations. This paper presents an extensive review of the literature in V and V in computational fluid dynamics (CFD), discusses methods and procedures for assessing V and V, and develops a number of extensions to existing ideas. The review of the development of V and V terminology and methodology points out the contributions from members of the operations research, statistics, and CFD communities. Fundamental issues in V and V are addressed, such as code verification versus solution verification, model validation versus solution validation, the distinction between error and uncertainty, conceptual sources of error and uncertainty, and the relationship between validation and prediction. The fundamental strategy of verification is the identification and quantification of errors in the computational model and its solution. In verification activities, the accuracy of a computational solution is primarily measured relative to two types of highly accurate solutions: analytical solutions and highly accurate numerical solutions. Methods for determining the accuracy of numerical solutions are presented and the importance of software testing during verification activities is emphasized.

  12. International Agreement on Planetary Protection

    NASA Technical Reports Server (NTRS)

    2000-01-01

    The maintenance of a NASA policy, is consistent with international agreements. The planetary protection policy management in OSS, with Field Center support. The advice from internal and external advisory groups (NRC, NAC/Planetary Protection Task Force). The technology research and standards development in bioload characterization. The technology research and development in bioload reduction/sterilization. This presentation focuses on: forward contamination - research on the potential for Earth life to exist on other bodies, improved strategies for planetary navigation and collision avoidance, and improved procedures for sterile spacecraft assembly, cleaning and/or sterilization; and backward contamination - development of sample transfer and container sealing technologies for Earth return, improvement in sample return landing target assessment and navigation strategy, planning for sample hazard determination requirements and procedures, safety certification, (liaison to NEO Program Office for compositional data on small bodies), facility planning for sample recovery system, quarantine, and long-term curation of 4 returned samples.

  13. Feasibility study on dosimetry verification of volumetric-modulated arc therapy-based total marrow irradiation.

    PubMed

    Liang, Yun; Kim, Gwe-Ya; Pawlicki, Todd; Mundt, Arno J; Mell, Loren K

    2013-01-01

    The purpose of this study was to develop dosimetry verification procedures for volumetric-modulated arc therapy (VMAT)-based total marrow irradiation (TMI). The VMAT based TMI plans were generated for three patients: one child and two adults. The planning target volume (PTV) was defined as bony skeleton, from head to mid-femur, with a 3 mm margin. The plan strategy similar to published studies was adopted. The PTV was divided into head and neck, chest, and pelvic regions, with separate plans each of which is composed of 2-3 arcs/fields. Multiple isocenters were evenly distributed along the patient's axial direction. The focus of this study is to establish a dosimetry quality assurance procedure involving both two-dimensional (2D) and three-dimensional (3D) volumetric verifications, which is desirable for a large PTV treated with multiple isocenters. The 2D dose verification was performed with film for gamma evaluation and absolute point dose was measured with ion chamber, with attention to the junction between neighboring plans regarding hot/cold spots. The 3D volumetric dose verification used commercial dose reconstruction software to reconstruct dose from electronic portal imaging devices (EPID) images. The gamma evaluation criteria in both 2D and 3D verification were 5% absolute point dose difference and 3 mm of distance to agreement. With film dosimetry, the overall average gamma passing rate was 98.2% and absolute dose difference was 3.9% in junction areas among the test patients; with volumetric portal dosimetry, the corresponding numbers were 90.7% and 2.4%. A dosimetry verification procedure involving both 2D and 3D was developed for VMAT-based TMI. The initial results are encouraging and warrant further investigation in clinical trials. PMID:23470926

  14. The applicability of sample collection and analysis in support of nuclear arms control agreements

    SciTech Connect

    McGuire, R.R.

    1995-08-01

    Agreements are being negotiated to halt the spread of nuclear arms both within the declared nuclear weapons states and to states not heretofore declaring their possession. With the verification regime of the recently negotiated Chemical Weapons Convention (CWC) as a model, negotiators are considering variations of on-site inspection as formulas to enhance the assurance of compliance with future agreements. These on-site inspections may be part of a treaty dictated verification regime or one of a set of voluntary {open_quotes}confidence building{close_quotes} measures. In either case, the collection of material samples for analysis could be an integral component of the inspection as it is in the CWC. The following is an assessment of the applicability of sampling and analysis for compliance monitoring nuclear arms control agreements currently envisioned. There are two essentially orthogonal ways of approaching this question of applicability: the consideration of the analytical questions and the consideration of the specifics of the individual agreements. This study is meant to utilize both approaches in examining the possible impact of sampling and analysis on compliance assessment. First attention must be given to technical questions relating to the efficacy of sampling and analysis.

  15. Learning Assumptions for Compositional Verification

    NASA Technical Reports Server (NTRS)

    Cobleigh, Jamieson M.; Giannakopoulou, Dimitra; Pasareanu, Corina; Clancy, Daniel (Technical Monitor)

    2002-01-01

    Compositional verification is a promising approach to addressing the state explosion problem associated with model checking. One compositional technique advocates proving properties of a system by checking properties of its components in an assume-guarantee style. However, the application of this technique is difficult because it involves non-trivial human input. This paper presents a novel framework for performing assume-guarantee reasoning in an incremental and fully automated fashion. To check a component against a property, our approach generates assumptions that the environment needs to satisfy for the property to hold. These assumptions are then discharged on the rest of the system. Assumptions are computed by a learning algorithm. They are initially approximate, but become gradually more precise by means of counterexamples obtained by model checking the component and its environment, alternately. This iterative process may at any stage conclude that the property is either true or false in the system. We have implemented our approach in the LTSA tool and applied it to the analysis of a NASA system.

  16. Visual inspection for CTBT verification

    SciTech Connect

    Hawkins, W.; Wohletz, K.

    1997-03-01

    On-site visual inspection will play an essential role in future Comprehensive Test Ban Treaty (CTBT) verification. Although seismic and remote sensing techniques are the best understood and most developed methods for detection of evasive testing of nuclear weapons, visual inspection can greatly augment the certainty and detail of understanding provided by these more traditional methods. Not only can visual inspection offer ``ground truth`` in cases of suspected nuclear testing, but it also can provide accurate source location and testing media properties necessary for detailed analysis of seismic records. For testing in violation of the CTBT, an offending party may attempt to conceal the test, which most likely will be achieved by underground burial. While such concealment may not prevent seismic detection, evidence of test deployment, location, and yield can be disguised. In this light, if a suspicious event is detected by seismic or other remote methods, visual inspection of the event area is necessary to document any evidence that might support a claim of nuclear testing and provide data needed to further interpret seismic records and guide further investigations. However, the methods for visual inspection are not widely known nor appreciated, and experience is presently limited. Visual inspection can be achieved by simple, non-intrusive means, primarily geological in nature, and it is the purpose of this report to describe the considerations, procedures, and equipment required to field such an inspection.

  17. Verification of excess defense material

    SciTech Connect

    Fearey, B.L.; Pilat, J.F.; Eccleston, G.W.; Nicholas, N.J.; Tape, J.W.

    1997-12-01

    The international community in the post-Cold War period has expressed an interest in the International Atomic Energy Agency (IAEA) using its expertise in support of the arms control and disarmament process in unprecedented ways. The pledges of the US and Russian presidents to place excess defense materials under some type of international inspections raises the prospect of using IAEA safeguards approaches for monitoring excess materials, which include both classified and unclassified materials. Although the IAEA has suggested the need to address inspections of both types of materials, the most troublesome and potentially difficult problems involve approaches to the inspection of classified materials. The key issue for placing classified nuclear components and materials under IAEA safeguards is the conflict between these traditional IAEA materials accounting procedures and the US classification laws and nonproliferation policy designed to prevent the disclosure of critical weapon-design information. Possible verification approaches to classified excess defense materials could be based on item accountancy, attributes measurements, and containment and surveillance. Such approaches are not wholly new; in fact, they are quite well established for certain unclassified materials. Such concepts may be applicable to classified items, but the precise approaches have yet to be identified, fully tested, or evaluated for technical and political feasibility, or for their possible acceptability in an international inspection regime. Substantial work remains in these areas. This paper examines many of the challenges presented by international inspections of classified materials.

  18. National Verification System of National Meteorological Center , China

    NASA Astrophysics Data System (ADS)

    Zhang, Jinyan; Wei, Qing; Qi, Dan

    2016-04-01

    Product Quality Verification Division for official weather forecasting of China was founded in April, 2011. It is affiliated to Forecast System Laboratory (FSL), National Meteorological Center (NMC), China. There are three employees in this department. I'm one of the employees and I am in charge of Product Quality Verification Division in NMC, China. After five years of construction, an integrated realtime National Verification System of NMC, China has been established. At present, its primary roles include: 1) to verify official weather forecasting quality of NMC, China; 2) to verify the official city weather forecasting quality of Provincial Meteorological Bureau; 3) to evaluate forecasting quality for each forecasters in NMC, China. To verify official weather forecasting quality of NMC, China, we have developed : • Grid QPF Verification module ( including upascale) • Grid temperature, humidity and wind forecast verification module • Severe convective weather forecast verification module • Typhoon forecast verification module • Disaster forecast verification • Disaster warning verification module • Medium and extend period forecast verification module • Objective elements forecast verification module • Ensemble precipitation probabilistic forecast verification module To verify the official city weather forecasting quality of Provincial Meteorological Bureau, we have developed : • City elements forecast verification module • Public heavy rain forecast verification module • City air quality forecast verification module. To evaluate forecasting quality for each forecasters in NMC, China, we have developed : • Off-duty forecaster QPF practice evaluation module • QPF evaluation module for forecasters • Severe convective weather forecast evaluation module • Typhoon track forecast evaluation module for forecasters • Disaster warning evaluation module for forecasters • Medium and extend period forecast evaluation module The further

  19. Verification of the VARSKIN beta skin dose calculation computer code.

    PubMed

    Sherbini, Sami; DeCicco, Joseph; Gray, Anita Turner; Struckmeyer, Richard

    2008-06-01

    The computer code VARSKIN is used extensively to calculate dose to the skin resulting from contaminants on the skin or on protective clothing covering the skin. The code uses six pre-programmed source geometries, four of which are volume sources, and a wide range of user-selectable radionuclides. Some verification of this code had been carried out before the current version of the code, version 3.0, was released, but this was limited in extent and did not include all the source geometries that the code is capable of modeling. This work extends this verification to include all the source geometries that are programmed in the code over a wide range of beta radiation energies and skin depths. Verification was carried out by comparing the doses calculated using VARSKIN with the doses for similar geometries calculated using the Monte Carlo radiation transport code MCNP5. Beta end-point energies used in the calculations ranged from 0.3 MeV up to 2.3 MeV. The results showed excellent agreement between the MCNP and VARSKIN calculations, with the agreement being within a few percent for point and disc sources and within 20% for other sources with the exception of a few cases, mainly at the low end of the beta end-point energies. The accuracy of the VARSKIN results, based on the work in this paper, indicates that it is sufficiently accurate for calculation of skin doses resulting from skin contaminations, and that the uncertainties arising from the use of VARSKIN are likely to be small compared with other uncertainties that typically arise in this type of dose assessment, such as those resulting from a lack of exact information on the size, shape, and density of the contaminant, the depth of the sensitive layer of the skin at the location of the contamination, the duration of the exposure, and the possibility of the source moving over various areas of the skin during the exposure period if the contaminant is on protective clothing. PMID:18469586

  20. 40 CFR 1065.550 - Gas analyzer range verification and drift verification.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 33 2014-07-01 2014-07-01 false Gas analyzer range verification and drift verification. 1065.550 Section 1065.550 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR POLLUTION CONTROLS ENGINE-TESTING PROCEDURES Performing an Emission Test Over Specified Duty Cycles § 1065.550 Gas analyzer...

  1. Verification of Functional Fault Models and the Use of Resource Efficient Verification Tools

    NASA Technical Reports Server (NTRS)

    Bis, Rachael; Maul, William A.

    2015-01-01

    Functional fault models (FFMs) are a directed graph representation of the failure effect propagation paths within a system's physical architecture and are used to support development and real-time diagnostics of complex systems. Verification of these models is required to confirm that the FFMs are correctly built and accurately represent the underlying physical system. However, a manual, comprehensive verification process applied to the FFMs was found to be error prone due to the intensive and customized process necessary to verify each individual component model and to require a burdensome level of resources. To address this problem, automated verification tools have been developed and utilized to mitigate these key pitfalls. This paper discusses the verification of the FFMs and presents the tools that were developed to make the verification process more efficient and effective.

  2. Sexual Agreements among Gay Male Couples

    PubMed Central

    Hoff, Colleen H.; Beougher, Sean C.

    2009-01-01

    Many gay male couples make agreements about whether or not to permit sex with outside partners, yet little is known about the development and maintenance of these agreements, their impact on relationships, and whether they are an effective HIV prevention strategy. Using semi-structured, qualitative interviews, 39 gay male couples were asked about their sexual agreements and about other relationship dynamics that might affect their agreements. Analysis revealed a wide range of agreement types, all of which are presented along a continuum rather than as discrete categories. For couples with open agreements, most placed rules or conditions limiting when, where, how often, and with whom outside sex was permitted. Although motivations for having agreements varied, HIV prevention did not rank as a primary factor for any couple. Most couples had congruous agreements; however, a small number reported discrepancies which may increase HIV transmission risk. How couples handled breaks in their agreements also varied, depending on what condition was broken, whether it was disclosed, and the partner's reaction. Additional results include differences in agreement type and motivations for having an agreement based on couple serostatus. Overall, agreements benefited couples by providing boundaries for the relationship, supporting a non-heteronormative identity, and fulfilling the sexual needs of the couple. Future prevention efforts involving gay couples must address the range of agreement types and the meanings couples ascribe to them, in addition to tempering safety messages with the relationship issues that are important to and faced by gay couples. PMID:18686027

  3. Cooperative agreement 926 (SETI Institute)

    NASA Astrophysics Data System (ADS)

    Marshall, John R.

    1996-01-01

    Research activities carried out as part of cooperative agreement 926 are summarized. A portable, field deployable X-ray diffractometer-spectrometer was developed that can analyze rock surfaces and loose granular materials without the need for sample acquisition or preparation. The device was deployed on the Russian Marsokhod rover at the NASA Ames Research Center. Techniques and technological innovations were developed that provide the basis for a new kind of X-ray source. In the area of x-ray analysis techniques, artificial diffraction spectra were created to determine how complex mineral mixtures can be analyzed by diffractometry when only broad fingerprint patterns emerge from the analyses. USML-2 tapes were analyzed. A preliminary, but successful computer code was developed to simulate the behavior of agglomerating granular matter as it may occur in martian dust storms. The model is based on dipole-dipole interactions. In the area of aeolian comminution, using a particle impelling crossbow device , it was possible to elucidate the processes involved in reptation sand transport likely to occur on Mars and Earth. A theoretical model was developed that relates the microscopic cratering mechanisms during saltation-reptation to the megascopic impact processes caused by meteorites. Abstracts of two conference papers as well as five short articles published or submitted for publication are included as attachments.

  4. Monitoring of Biomedical License Agreements

    PubMed Central

    Keller, George H.; Ferguson, Steven M.; Pan, Percy

    2009-01-01

    Because technology licensed from research organizations can play a significant role in drug innovation and the generation of novel biomedical products, licensee performance under such agreements must be effectively monitored. This is necessary so that resultant benefits, including public health improvement, may be returned to the innovator(s) as well as society at large. The tasks that comprise monitoring are varied, but all come under the general heading of ‘enforcement of license provisions’. Since 1996, the license monitoring and enforcement program established by the US National Institutes of Health (NIH) Group has collected about $US17 million in unpaid and underpaid license royalties through formal financial audits and other investigative activities. During the same period, the Office of Technology Transfer (OTT) settled more than 60 cases of suspected patent infringement, generating around 60 new licenses and collected both back and ongoing royalties. As these numbers show, an active and effective monitoring program is an essential part of any technology transfer or biomedical licensing program. PMID:19960074

  5. 77 FR 17360 - Reform of Federal Policies Relating to Grants and Cooperative Agreements; Cost Principles And...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-03-26

    ... Federal Register on February 28, 2012, at 77 FR 11178. The original comment period was scheduled to end on... Cooperative Agreements; Cost Principles And Administrative Requirements (Including Single Audit Act) AGENCY... Grants and Cooperative Agreements; cost principles and administrative requirements (including...

  6. Efficient and Secure Fingerprint Verification for Embedded Devices

    NASA Astrophysics Data System (ADS)

    Yang, Shenglin; Sakiyama, Kazuo; Verbauwhede, Ingrid

    2006-12-01

    This paper describes a secure and memory-efficient embedded fingerprint verification system. It shows how a fingerprint verification module originally developed to run on a workstation can be transformed and optimized in a systematic way to run real-time on an embedded device with limited memory and computation power. A complete fingerprint recognition module is a complex application that requires in the order of 1000 M unoptimized floating-point instruction cycles. The goal is to run both the minutiae extraction and the matching engines on a small embedded processor, in our case a 50 MHz LEON-2 softcore. It does require optimization and acceleration techniques at each design step. In order to speed up the fingerprint signal processing phase, we propose acceleration techniques at the algorithm level, at the software level to reduce the execution cycle number, and at the hardware level to distribute the system work load. Thirdly, a memory trace map-based memory reduction strategy is used for lowering the system memory requirement. Lastly, at the hardware level, it requires the development of specialized coprocessors. As results of these optimizations, we achieve a 65% reduction on the execution time and a 67% reduction on the memory storage requirement for the minutiae extraction process, compared against the reference implementation. The complete operation, that is, fingerprint capture, feature extraction, and matching, can be done in real-time of less than 4 seconds

  7. Validating existing data in the Environmental Technology Verification Program.

    PubMed

    Wasson, S J

    1999-01-01

    Establishing the credibility of existing data is an ongoing issue, particularly when the data sets are to be used for a secondary purpose, i.e., not the original reason for which they were collected. If the secondary purpose is similar to the primary purpose, the potential user may have little difficulty establishing credibility since the acceptance criteria for both purposes should be similar. If the secondary purpose is different, then data credibility may be more difficult to establish because the experiment generating the data may not have been conducted optimally for the secondary purpose and all of the necessary quality assurance data ("metadata") may not have been collected. In either case, a process will be required to determine the acceptability of the data. For this reason, at the time the U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) program was established, similar certification and verification programs run by states or foreign countries routinely used existing data sets, for cost reasons, rather than generate new data by testing. The issue of whether existing data could be used in the ETV program immediately surfaced. In response, a policy and a process that addressed existing data were written and published in Appendix C of the ETV Quality and Management Plan (Hayes et al., 1998). This paper discusses how the ETV program determines the credibility of existing data used to verify the performance of environmental technologies. PMID:11246486

  8. Ozone Monitoring Instrument geolocation verification

    NASA Astrophysics Data System (ADS)

    Kroon, M.; Dobber, M. R.; Dirksen, R.; Veefkind, J. P.; van den Oord, G. H. J.; Levelt, P. F.

    2008-08-01

    Verification of the geolocation assigned to individual ground pixels as measured by the Ozone Monitoring Instrument (OMI) aboard the NASA EOS-Aura satellite was performed by comparing geophysical Earth surface details as observed in OMI false color images with the high-resolution continental outline vector map as provided by the Interactive Data Language (IDL) software tool from ITT Visual Information Solutions. The OMI false color images are generated from the OMI visible channel by integration over 20-nm-wide spectral bands of the Earth radiance intensity around 484 nm, 420 nm, and 360 nm wavelength per ground pixel. Proportional to the integrated intensity, we assign color values composed of CRT standard red, green, and blue to the OMI ground pixels. Earth surface details studied are mostly high-contrast coast lines where arid land or desert meets deep blue ocean. The IDL high-resolution vector map is based on the 1993 CIA World Database II Map with a 1-km accuracy. Our results indicate that the average OMI geolocation offset over the years 2005-2006 is 0.79 km in latitude and 0.29 km in longitude, with a standard deviation of 1.64 km in latitude and 2.04 km in longitude, respectively. Relative to the OMI nadir pixel size, one obtains mean displacements of ˜6.1% in latitude and ˜1.2% in longitude, with standard deviations of 12.6% and 7.9%, respectively. We conclude that the geolocation assigned to individual OMI ground pixels is sufficiently accurate to support scientific studies of atmospheric features as observed in OMI level 2 satellite data products, such as air quality issues on urban scales or volcanic eruptions and its plumes, that occur on spatial scales comparable to or smaller than OMI nadir pixels.

  9. 22 CFR 124.1 - Manufacturing license agreements and technical assistance agreements.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 22 Foreign Relations 1 2011-04-01 2011-04-01 false Manufacturing license agreements and technical... ARMS REGULATIONS AGREEMENTS, OFF-SHORE PROCUREMENT AND OTHER DEFENSE SERVICES § 124.1 Manufacturing... manufacturing license agreements, technical assistance agreements, distribution agreements, or...

  10. 22 CFR 124.1 - Manufacturing license agreements and technical assistance agreements.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 22 Foreign Relations 1 2010-04-01 2010-04-01 false Manufacturing license agreements and technical... ARMS REGULATIONS AGREEMENTS, OFF-SHORE PROCUREMENT AND OTHER DEFENSE SERVICES § 124.1 Manufacturing... manufacturing license agreements, technical assistance agreements, distribution agreements, or...

  11. 22 CFR 124.1 - Manufacturing license agreements and technical assistance agreements.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 22 Foreign Relations 1 2014-04-01 2014-04-01 false Manufacturing license agreements and technical... ARMS REGULATIONS AGREEMENTS, OFF-SHORE PROCUREMENT, AND OTHER DEFENSE SERVICES § 124.1 Manufacturing... manufacturing license agreements, technical assistance agreements, distribution agreements, or...

  12. 22 CFR 124.1 - Manufacturing license agreements and technical assistance agreements.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 22 Foreign Relations 1 2012-04-01 2012-04-01 false Manufacturing license agreements and technical... ARMS REGULATIONS AGREEMENTS, OFF-SHORE PROCUREMENT AND OTHER DEFENSE SERVICES § 124.1 Manufacturing... manufacturing license agreements, technical assistance agreements, distribution agreements, or...

  13. 22 CFR 124.1 - Manufacturing license agreements and technical assistance agreements.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 22 Foreign Relations 1 2013-04-01 2013-04-01 false Manufacturing license agreements and technical... ARMS REGULATIONS AGREEMENTS, OFF-SHORE PROCUREMENT AND OTHER DEFENSE SERVICES § 124.1 Manufacturing... manufacturing license agreements, technical assistance agreements, distribution agreements, or...

  14. Approaching the investigation of plasma turbulence through a rigorous verification and validation procedure: A practical example

    SciTech Connect

    Ricci, P. Riva, F.; Theiler, C.; Fasoli, A.; Furno, I.; Halpern, F. D.; Loizu, J.

    2015-05-15

    In the present work, a Verification and Validation procedure is presented and applied showing, through a practical example, how it can contribute to advancing our physics understanding of plasma turbulence. Bridging the gap between plasma physics and other scientific domains, in particular, the computational fluid dynamics community, a rigorous methodology for the verification of a plasma simulation code is presented, based on the method of manufactured solutions. This methodology assesses that the model equations are correctly solved, within the order of accuracy of the numerical scheme. The technique to carry out a solution verification is described to provide a rigorous estimate of the uncertainty affecting the numerical results. A methodology for plasma turbulence code validation is also discussed, focusing on quantitative assessment of the agreement between experiments and simulations. The Verification and Validation methodology is then applied to the study of plasma turbulence in the basic plasma physics experiment TORPEX [Fasoli et al., Phys. Plasmas 13, 055902 (2006)], considering both two-dimensional and three-dimensional simulations carried out with the GBS code [Ricci et al., Plasma Phys. Controlled Fusion 54, 124047 (2012)]. The validation procedure allows progress in the understanding of the turbulent dynamics in TORPEX, by pinpointing the presence of a turbulent regime transition, due to the competition between the resistive and ideal interchange instabilities.

  15. Approaching the investigation of plasma turbulence through a rigorous verification and validation procedure: A practical examplea)

    NASA Astrophysics Data System (ADS)

    Ricci, P.; Riva, F.; Theiler, C.; Fasoli, A.; Furno, I.; Halpern, F. D.; Loizu, J.

    2015-05-01

    In the present work, a Verification and Validation procedure is presented and applied showing, through a practical example, how it can contribute to advancing our physics understanding of plasma turbulence. Bridging the gap between plasma physics and other scientific domains, in particular, the computational fluid dynamics community, a rigorous methodology for the verification of a plasma simulation code is presented, based on the method of manufactured solutions. This methodology assesses that the model equations are correctly solved, within the order of accuracy of the numerical scheme. The technique to carry out a solution verification is described to provide a rigorous estimate of the uncertainty affecting the numerical results. A methodology for plasma turbulence code validation is also discussed, focusing on quantitative assessment of the agreement between experiments and simulations. The Verification and Validation methodology is then applied to the study of plasma turbulence in the basic plasma physics experiment TORPEX [Fasoli et al., Phys. Plasmas 13, 055902 (2006)], considering both two-dimensional and three-dimensional simulations carried out with the GBS code [Ricci et al., Plasma Phys. Controlled Fusion 54, 124047 (2012)]. The validation procedure allows progress in the understanding of the turbulent dynamics in TORPEX, by pinpointing the presence of a turbulent regime transition, due to the competition between the resistive and ideal interchange instabilities.

  16. Dose Verification of Stereotactic Radiosurgery Treatment for Trigeminal Neuralgia with Presage 3D Dosimetry System

    NASA Astrophysics Data System (ADS)

    Wang, Z.; Thomas, A.; Newton, J.; Ibbott, G.; Deasy, J.; Oldham, M.

    2010-11-01

    Achieving adequate verification and quality-assurance (QA) for radiosurgery treatment of trigeminal-neuralgia (TGN) is particularly challenging because of the combination of very small fields, very high doses, and complex irradiation geometries (multiple gantry and couch combinations). TGN treatments have extreme requirements for dosimetry tools and QA techniques, to ensure adequate verification. In this work we evaluate the potential of Presage/Optical-CT dosimetry system as a tool for the verification of TGN distributions in high-resolution and in 3D. A TGN treatment was planned and delivered to a Presage 3D dosimeter positioned inside the Radiological-Physics-Center (RPC) head and neck IMRT credentialing phantom. A 6-arc treatment plan was created using the iPlan system, and a maximum dose of 80Gy was delivered with a Varian Trilogy machine. The delivered dose to Presage was determined by optical-CT scanning using the Duke Large field-of-view Optical-CT Scanner (DLOS) in 3D, with isotropic resolution of 0.7mm3. DLOS scanning and reconstruction took about 20minutes. 3D dose comparisons were made with the planning system. Good agreement was observed between the planned and measured 3D dose distributions, and this work provides strong support for the viability of Presage/Optical-CT as a highly useful new approach for verification of this complex technique.

  17. 75 FR 8719 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-02-25

    ... under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the... ports of Miami, FL and George Town, Grand Cayman. Agreement No.: 012091. Title: HLAG/HSDG Slot...

  18. 14 CFR 437.35 - Agreements.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... TRANSPORTATION LICENSING EXPERIMENTAL PERMITS Requirements to Obtain an Experimental Permit Operational Safety Documentation § 437.35 Agreements. An applicant must enter into the agreements required by § 437.63, and...

  19. 14 CFR 437.35 - Agreements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... TRANSPORTATION LICENSING EXPERIMENTAL PERMITS Requirements to Obtain an Experimental Permit Operational Safety Documentation § 437.35 Agreements. An applicant must enter into the agreements required by § 437.63, and...

  20. 37 CFR 42.409 - Settlement agreements.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... OF COMMERCE TRIAL PRACTICE BEFORE THE PATENT TRIAL AND APPEAL BOARD Derivation After Institution of Derivation Proceeding § 42.409 Settlement agreements. An agreement or understanding under 35 U.S.C. 135(e)...

  1. 75 FR 31438 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-06-03

    ... Lines Joint Service Agreement. Filing Party: Tara L. Leiter, Esq.; Blank Rome, LLP; Watergate; 600 New... Service Agreement. Filing Party: Tara L. Leiter, Esq.; Blank Rome, LLP; Watergate; 600 New...

  2. 75 FR 6397 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-02-09

    ....gov . Agreement No.: 011346-019. Title: Israel Trade Conference Agreement. Parties: A.P. Moller-Maersk..., Esq.; Chairman; Israel Trade Conference; 80 Wall Street, Suite 1117; New York, NY 10005-3602....

  3. 48 CFR 1542.1203 - Processing agreements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... MANAGEMENT CONTRACT ADMINISTRATION Novation and Change of Name Agreements 1542.1203 Processing agreements. (a... required documentary evidence. (2) Verify the accuracy of the list of contracts through the...

  4. 75 FR 7265 - Notice of Agreement Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-02-18

    ....gov . Agreement No.: 011426-047. Title: West Coast of South America Discussion Agreement. Parties: A.P....; Mediterranean Shipping Company, SA; Seaboard Marine Ltd.; South Pacific Shipping Company, Ltd.; and...

  5. 78 FR 30302 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-05-22

    ... . Agreement No.: 011707-010. Title: Gulf/South America Discussion Agreement. Parties: Industrial Maritime....; Associate Counsel & Environmental Officer; CMA CGM (America) LLC; 5701 Lake Wright Drive; Norfolk, VA...

  6. 37 CFR 42.409 - Settlement agreements.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... OF COMMERCE TRIAL PRACTICE BEFORE THE PATENT TRIAL AND APPEAL BOARD Derivation After Institution of Derivation Proceeding § 42.409 Settlement agreements. An agreement or understanding under 35 U.S.C. 135(e)...

  7. 76 FR 43686 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-07-21

    .... Agreement No.: 012133. Title: Mitsui O.S.K. Lines/Kawasaki Kisen Kaisha Space Charter Agreement. Parties: Kawasaki Kisen Kaisha, Ltd. and Mitsui O.S.K. Lines, Ltd. Filing Party: John P. Meade, Esq.;...

  8. 77 FR 24712 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-04-25

    ... existing services. Agreement No.: 012165. Title: MOL/APL/HMM Asia/USEC Slot Charter Agreement. Parties... to charter space to APL and HMM on certain vessels MOL operates or on which MOL has space...

  9. 76 FR 63618 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-10-13

    ... Singapore. Agreement No.: 012138. Title: CSAV/CCNI Venezuela Space Charter Agreement. Parties: Compana Sud... Venezuela. Dated: October 7, 2011. By Order of the Federal Maritime Commission. Karen V. Gregory,...

  10. 42 CFR 460.154 - Enrollment agreement.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... agreement which contains, at a minimum, the following information: (a) Applicant's name, sex, and date of... service provider. (q) A statement that the PACE organization has an agreement with CMS and the...

  11. 75 FR 74732 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-12-01

    ... after November 24, 2010. Agreement No.: 012111. Title: Hainan PO Shipping Co., Ltd. and TS Lines Ltd. Slot Charter Agreement. Parties: Hainan PO Shipping Co., Ltd. and T.S. Lines Ltd. Filing Party: Neal...

  12. 78 FR 23251 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-04-18

    ..., Vengrow & Textor, LLP; 61 Broadway, Suite 3000, New York, NY 10006-2802 Synopsis: The agreement authorizes...; 61 Broadway, Suite 3000, New York, NY 10006- 2802. Synopsis: The agreement authorizes the parties...

  13. 77 FR 68121 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-11-15

    ..., Sailing and Cooperative Working Agreement. Parties: Priority RoRo Services, LLC and Marine Express, Inc.../Ro Space Charter and Sailing Agreement. Parties: Crowley Latin America Services, LLC and Priority...

  14. 76 FR 12962 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-03-09

    ....gov . Agreement No.: 011885-002. Title: CMA CGM/MSC Reciprocal Space Charter, Sailing and Cooperative... Coast Two-Loop Space Charter, Sailing and Cooperative Working Agreement. Parties: A.P. Moller-Maersk...

  15. 76 FR 61704 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-10-05

    ... requirement. Agreement No.: 012136. Title: HSDG/ML/MSC Space Charter Agreement. Parties: Hamburg-Sud, A.P... authorizes Hamburg-Sud and Maersk to charter space to Med Shipping in the trade between U.S. Atlantic...

  16. 76 FR 68187 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-11-03

    ....gov . Agreement No.: 012034-004. Title: Hamburg Sud/Maersk Line Vessel Sharing Agreement. Parties: Hamburg-Sud and A.P. Moeller-Maersk A/S. ] Filing Party: Wayne Rohde, Esq.; Cozen O'Connor; 1627 I...

  17. 78 FR 55697 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-09-11

    ... . Agreement No.: 012139-001. Title: OVSA/MSC Space Charter Agreement. Parties: Hamburg-Sud, MSC Mediterranean... Sud North America, Inc.; Hanjin Shipping Company, Ltd.; Hapag-Lloyd (America), Inc; Horizon Lines,...

  18. 77 FR 71192 - Notice of Agreement Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-11-29

    ....: 012190. Title: HSDG-GWF Space Charter Agreement. Parties: Hamburg Sud and Great White Fleet Liner..., DC 20006-4007. Synopsis: The agreement authorizes Hamburg Sud to charter space to Great White...

  19. 75 FR 54884 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-09-09

    ...: HLAG/HSDG Trans-Atlantic Space Charter Agreement. Parties: Hamburg Sud and Hapag-Lloyd. Filing Parties...: The agreement authorizes Hapag-Lloyd to charter space to Hamburg Sud in the trade between New York...

  20. 77 FR 74013 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-12-12

    ... Agreement. Parties: Hamburg Sud and Compania Chilena De Navegacion Interoceanica, S.A. Filing Party: Wayne R... agreement authorizes Hamburg Sud to charter space to CCNI in the trade between ports in California and...

  1. 78 FR 51757 - Negotiated Service Agreement

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-08-21

    ... Agreement within the GEPS 3 product. Id. at 2. \\1\\ Notice of United States Postal Service of Filing a... Commission first approved the addition of a GEPS negotiated service agreement to the competitive product list... Postal Service therefore requests that the Commission add the Agreement to the GEPS 3 product. Id....

  2. 48 CFR 519.7010 - Agreement contents.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 48 Federal Acquisition Regulations System 4 2013-10-01 2013-10-01 false Agreement contents. 519... SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS GSA Mentor-Protégé Program 519.7010 Agreement contents. The contents of the Agreement must contain: (a) Names, addresses (including facsimile, e-mail, and...

  3. 48 CFR 519.7010 - Agreement contents.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 48 Federal Acquisition Regulations System 4 2010-10-01 2010-10-01 false Agreement contents. 519... SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS GSA Mentor-Protégé Program 519.7010 Agreement contents. The contents of the Agreement must contain: (a) Names, addresses (including facsimile, e-mail, and...

  4. 48 CFR 519.7010 - Agreement contents.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 48 Federal Acquisition Regulations System 4 2011-10-01 2011-10-01 false Agreement contents. 519... SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS GSA Mentor-Protégé Program 519.7010 Agreement contents. The contents of the Agreement must contain: (a) Names, addresses (including facsimile, e-mail, and...

  5. 48 CFR 519.7010 - Agreement contents.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 48 Federal Acquisition Regulations System 4 2014-10-01 2014-10-01 false Agreement contents. 519... SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS GSA Mentor-Protégé Program 519.7010 Agreement contents. The contents of the Agreement must contain: (a) Names, addresses (including facsimile, e-mail, and...

  6. 48 CFR 519.7010 - Agreement contents.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 48 Federal Acquisition Regulations System 4 2012-10-01 2012-10-01 false Agreement contents. 519... SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS GSA Mentor-Protégé Program 519.7010 Agreement contents. The contents of the Agreement must contain: (a) Names, addresses (including facsimile, e-mail, and...

  7. 48 CFR 1819.7209 - Credit agreements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 48 Federal Acquisition Regulations System 6 2010-10-01 2010-10-01 true Credit agreements. 1819... ADMINISTRATION SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS NASA Mentor-Protégé Program 1819.7209 Credit agreements. (a) The credit permits the mentor to include the cost it expends on a mentor-protégé agreement...

  8. 48 CFR 1819.7209 - Credit agreements.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 48 Federal Acquisition Regulations System 6 2011-10-01 2011-10-01 false Credit agreements. 1819... ADMINISTRATION SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS NASA Mentor-Protégé Program 1819.7209 Credit agreements. (a) The credit permits the mentor to include the cost it expends on a mentor-protégé agreement...

  9. 49 CFR 1325.2 - Credit agreements.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 49 Transportation 9 2011-10-01 2011-10-01 false Credit agreements. 1325.2 Section 1325.2... OF TRANSPORTATION (CONTINUED) CARRIER RATES AND SERVICE TERMS EXTENSION OF CREDIT TO CANDIDATES FOR FEDERAL OFFICE OR THEIR REPRESENTATIVES § 1325.2 Credit agreements. (a) All agreements to extend credit...

  10. 49 CFR 1325.2 - Credit agreements.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 49 Transportation 9 2010-10-01 2010-10-01 false Credit agreements. 1325.2 Section 1325.2... OF TRANSPORTATION (CONTINUED) CARRIER RATES AND SERVICE TERMS EXTENSION OF CREDIT TO CANDIDATES FOR FEDERAL OFFICE OR THEIR REPRESENTATIVES § 1325.2 Credit agreements. (a) All agreements to extend credit...

  11. 49 CFR 1325.2 - Credit agreements.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 49 Transportation 9 2012-10-01 2012-10-01 false Credit agreements. 1325.2 Section 1325.2... OF TRANSPORTATION (CONTINUED) CARRIER RATES AND SERVICE TERMS EXTENSION OF CREDIT TO CANDIDATES FOR FEDERAL OFFICE OR THEIR REPRESENTATIVES § 1325.2 Credit agreements. (a) All agreements to extend credit...

  12. 49 CFR 1325.2 - Credit agreements.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 49 Transportation 9 2013-10-01 2013-10-01 false Credit agreements. 1325.2 Section 1325.2... OF TRANSPORTATION (CONTINUED) CARRIER RATES AND SERVICE TERMS EXTENSION OF CREDIT TO CANDIDATES FOR FEDERAL OFFICE OR THEIR REPRESENTATIVES § 1325.2 Credit agreements. (a) All agreements to extend credit...

  13. 48 CFR 1819.7209 - Credit agreements.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 48 Federal Acquisition Regulations System 6 2014-10-01 2014-10-01 false Credit agreements. 1819... ADMINISTRATION SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS NASA Mentor-Protégé Program 1819.7209 Credit agreements. (a) The credit permits the mentor to include the cost it expends on a mentor-protégé agreement...

  14. 48 CFR 1819.7209 - Credit agreements.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 48 Federal Acquisition Regulations System 6 2013-10-01 2013-10-01 false Credit agreements. 1819... ADMINISTRATION SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS NASA Mentor-Protégé Program 1819.7209 Credit agreements. (a) The credit permits the mentor to include the cost it expends on a mentor-protégé agreement...

  15. 49 CFR 1325.2 - Credit agreements.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 49 Transportation 9 2014-10-01 2014-10-01 false Credit agreements. 1325.2 Section 1325.2... OF TRANSPORTATION (CONTINUED) CARRIER RATES AND SERVICE TERMS EXTENSION OF CREDIT TO CANDIDATES FOR FEDERAL OFFICE OR THEIR REPRESENTATIVES § 1325.2 Credit agreements. (a) All agreements to extend credit...

  16. 48 CFR 1819.7209 - Credit agreements.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 48 Federal Acquisition Regulations System 6 2012-10-01 2012-10-01 false Credit agreements. 1819... ADMINISTRATION SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS NASA Mentor-Protégé Program 1819.7209 Credit agreements. (a) The credit permits the mentor to include the cost it expends on a mentor-protégé agreement...

  17. 7 CFR 247.4 - Agreements.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 4 2010-01-01 2010-01-01 false Agreements. 247.4 Section 247.4 Agriculture Regulations of the Department of Agriculture (Continued) FOOD AND NUTRITION SERVICE, DEPARTMENT OF AGRICULTURE CHILD NUTRITION PROGRAMS COMMODITY SUPPLEMENTAL FOOD PROGRAM § 247.4 Agreements. (a) What agreements are necessary for agencies to administer...

  18. 7 CFR 247.4 - Agreements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 4 2011-01-01 2011-01-01 false Agreements. 247.4 Section 247.4 Agriculture Regulations of the Department of Agriculture (Continued) FOOD AND NUTRITION SERVICE, DEPARTMENT OF AGRICULTURE CHILD NUTRITION PROGRAMS COMMODITY SUPPLEMENTAL FOOD PROGRAM § 247.4 Agreements. (a) What agreements are necessary for agencies to administer...

  19. 76 FR 72408 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-11-23

    ... From the Federal Register Online via the Government Publishing Office FEDERAL MARITIME COMMISSION Notice of Agreements Filed The Commission hereby gives notice of the filing of the following agreements under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the Secretary, Federal Maritime Commission,...

  20. 75 FR 366 - Notice of Agreement Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-05

    ... From the Federal Register Online via the Government Publishing Office FEDERAL MARITIME COMMISSION Notice of Agreement Filed The Commission hereby gives notice of the filing of the following agreement under the Shipping Act of 1984. Interested parties may submit comments on the agreement to the Secretary, Federal Maritime Commission,...

  1. 77 FR 75162 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-12-19

    ... From the Federal Register Online via the Government Publishing Office FEDERAL MARITIME COMMISSION Notice of Agreements Filed The Commission hereby gives notice of the filing of the following agreements under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the Secretary, Federal Maritime Commission,...

  2. 76 FR 17653 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-03-30

    ... From the Federal Register Online via the Government Publishing Office FEDERAL MARITIME COMMISSION Notice of Agreements Filed The Commission hereby gives notice of the filing of the following agreements under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the Secretary, Federal Maritime Commission,...

  3. 76 FR 14395 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-03-16

    ... From the Federal Register Online via the Government Publishing Office FEDERAL MARITIME COMMISSION Notice of Agreements Filed The Commission hereby gives notice of the filing of the following agreements under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the Secretary, Federal Maritime Commission,...

  4. 46 CFR Sec. 3 - Standby agreements.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 46 Shipping 8 2013-10-01 2013-10-01 false Standby agreements. Sec. 3 Section 3 Shipping MARITIME ADMINISTRATION, DEPARTMENT OF TRANSPORTATION B-CONTROL AND UTILIZATION OF PORTS FEDERAL PORT CONTROLLERS Sec. 3 Standby agreements. The Director, NSA, may negotiate the standard form of service agreement, specified...

  5. 46 CFR Sec. 3 - Standby agreements.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 46 Shipping 8 2014-10-01 2014-10-01 false Standby agreements. Sec. 3 Section 3 Shipping MARITIME ADMINISTRATION, DEPARTMENT OF TRANSPORTATION B-CONTROL AND UTILIZATION OF PORTS FEDERAL PORT CONTROLLERS Sec. 3 Standby agreements. The Director, NSA, may negotiate the standard form of service agreement, specified...

  6. 77 FR 71001 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-11-28

    .... Agreement No.: 012188-000. Title: Matson/Kyowa Space Charter Agreement. Parties: Matson Navigation Company, Inc. (``Matson'') and Kyowa Shipping Co., Ltd. (``Kyowa''). Filing Party: Sloan White; Matson; 555...: Matson/Kyowa Space Charter Agreement for Guam and Pacific Islands. Parties: Matson Navigation...

  7. 7 CFR 1776.10 - Grant agreement.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 12 2013-01-01 2013-01-01 false Grant agreement. 1776.10 Section 1776.10 Agriculture... (CONTINUED) HOUSEHOLD WATER WELL SYSTEM GRANT PROGRAM HWWS Grants § 1776.10 Grant agreement. (a) RUS and the... grant award. RUS will furnish the form of grant agreement. No funds awarded under this part shall...

  8. 7 CFR 1775.13 - Grant agreement.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 12 2013-01-01 2013-01-01 false Grant agreement. 1775.13 Section 1775.13 Agriculture... (CONTINUED) TECHNICAL ASSISTANCE GRANTS Grant Application Processing § 1775.13 Grant agreement. Applicants selected for funding will complete a grant agreement, RUS Guide 1775-1, which outlines the terms...

  9. 7 CFR 1776.10 - Grant agreement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 12 2012-01-01 2012-01-01 false Grant agreement. 1776.10 Section 1776.10 Agriculture... (CONTINUED) HOUSEHOLD WATER WELL SYSTEM GRANT PROGRAM HWWS Grants § 1776.10 Grant agreement. (a) RUS and the... grant award. RUS will furnish the form of grant agreement. No funds awarded under this part shall...

  10. 7 CFR 1775.13 - Grant agreement.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 12 2012-01-01 2012-01-01 false Grant agreement. 1775.13 Section 1775.13 Agriculture... (CONTINUED) TECHNICAL ASSISTANCE GRANTS Grant Application Processing § 1775.13 Grant agreement. Applicants selected for funding will complete a grant agreement, RUS Guide 1775-1, which outlines the terms...

  11. 29 CFR 102.62 - Election agreements.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 29 Labor 2 2013-07-01 2013-07-01 false Election agreements. 102.62 Section 102.62 Labor... Act § 102.62 Election agreements. (a) Consent election agreements with final regional director determinations of post-election disputes. Where a petition has been duly filed, the employer and any...

  12. 29 CFR 102.62 - Election agreements.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 29 Labor 2 2012-07-01 2012-07-01 false Election agreements. 102.62 Section 102.62 Labor... Act § 102.62 Election agreements. (a) Consent election agreements with final regional director determinations of post-election disputes. Where a petition has been duly filed, the employer and any...

  13. 78 FR 33864 - Negotiated Service Agreement

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-06-05

    ...-Product Bilateral Negotiated Service Agreement, May 29, 2013 (Notice); see also Notice of United States... States Postal Service Multi-Product Bilateral Negotiated Service Agreement, Attachment, January 18, 2013... Negotiated Service Agreement AGENCY: Postal Regulatory Commission. ACTION: Notice. SUMMARY: The Commission...

  14. 75 FR 61757 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-10-06

    ... From the Federal Register Online via the Government Publishing Office FEDERAL MARITIME COMMISSION Notice of Agreements Filed The Commission hereby gives notice of the filing of the following agreements under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the Secretary, Federal Maritime Commission,...

  15. 77 FR 42310 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-07-18

    ... From the Federal Register Online via the Government Publishing Office FEDERAL MARITIME COMMISSION Notice of Agreements Filed The Commission hereby gives notice of the filing of the following agreements under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the Secretary, Federal Maritime Commission,...

  16. 33 CFR 385.16 - Design agreements.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 33 Navigation and Navigable Waters 3 2014-07-01 2014-07-01 false Design agreements. 385.16 Section... Processes § 385.16 Design agreements. (a) The Corps of Engineers shall execute a design agreement with each non-Federal sponsor for the projects of the Plan prior to initiation of design activities with...

  17. 75 FR 66098 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-10-27

    ... From the Federal Register Online via the Government Publishing Office FEDERAL MARITIME COMMISSION Notice of Agreements Filed The Commission hereby gives notice of the filing of the following agreements under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the Secretary, Federal Maritime Commission,...

  18. 50 CFR 81.6 - Project Agreement.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 50 Wildlife and Fisheries 6 2010-10-01 2010-10-01 false Project Agreement. 81.6 Section 81.6... SPECIES OF FISH, WILDLIFE, AND PLANTS-COOPERATION WITH THE STATES § 81.6 Project Agreement. (a) Subsequent... projects for the conservation of endangered and threatened species. Financial agreements will consist of...

  19. 23 CFR 140.606 - Project agreements.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... projects. 1 The text of FHWA Form PR-2 is found in 23 CFR part 630, subpart C, appendix A. ... 23 Highways 1 2010-04-01 2010-04-01 false Project agreements. 140.606 Section 140.606 Highways... Reimbursement for Bond Issue Projects § 140.606 Project agreements. Project Agreements, Form PR-2, shall...

  20. 23 CFR 633.206 - Project agreements.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 23 Highways 1 2010-04-01 2010-04-01 false Project agreements. 633.206 Section 633.206 Highways... CONTRACT PROVISIONS Federal-Aid Contracts (Appalachian Contracts) § 633.206 Project agreements. (a) Project agreements executed for projects under the Appalachian program shall contain the following paragraphs:...

  1. 29 CFR 29.7 - Apprenticeship agreement.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 29 Labor 1 2012-07-01 2012-07-01 false Apprenticeship agreement. 29.7 Section 29.7 Labor Office of the Secretary of Labor LABOR STANDARDS FOR THE REGISTRATION OF APPRENTICESHIP PROGRAMS § 29.7 Apprenticeship agreement. The apprenticeship agreement must contain, explicitly or by reference: (a) Names and signatures of the contracting parties...

  2. 29 CFR 29.7 - Apprenticeship agreement.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 29 Labor 1 2014-07-01 2013-07-01 true Apprenticeship agreement. 29.7 Section 29.7 Labor Office of the Secretary of Labor LABOR STANDARDS FOR THE REGISTRATION OF APPRENTICESHIP PROGRAMS § 29.7 Apprenticeship agreement. The apprenticeship agreement must contain, explicitly or by reference: (a) Names and signatures of the contracting parties...

  3. 29 CFR 29.7 - Apprenticeship agreement.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 29 Labor 1 2013-07-01 2013-07-01 false Apprenticeship agreement. 29.7 Section 29.7 Labor Office of the Secretary of Labor LABOR STANDARDS FOR THE REGISTRATION OF APPRENTICESHIP PROGRAMS § 29.7 Apprenticeship agreement. The apprenticeship agreement must contain, explicitly or by reference: (a) Names and signatures of the contracting parties...

  4. Method for Measuring Interrater Agreement on Checklists.

    ERIC Educational Resources Information Center

    Sinacore, James M.; Connell, Karen J.; Olthoff, Allan J.; Friedman, Michael H.; Gecht, Maureen R.

    1999-01-01

    Presents a method for measuring interrater agreement on checklists. The technique computes a single agreement score from the concordance of raters' check mark configurations and derives an overall coefficient of agreement called "phi." A medical education study illustrates the phi methodology. (SLD)

  5. 75 FR 39259 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-07-08

    ... From the Federal Register Online via the Government Publishing Office FEDERAL MARITIME COMMISSION Notice of Agreements Filed The Commission hereby gives notice of the filing of the following agreements under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the Secretary, Federal Maritime Commission,...

  6. 78 FR 78956 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-12-27

    ... From the Federal Register Online via the Government Publishing Office FEDERAL MARITIME COMMISSION Notice of Agreements Filed The Commission hereby gives notice of the filing of the following agreements under the Shipping Act of 1984. Interested parties may submit comments on the agreements to the Secretary, Federal Maritime Commission,...

  7. 78 FR 33840 - Notice of Agreements Filed

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-06-05

    .... East and Gulf Coasts. Agreement No.: 012209. Title: APL/Maersk Line Slot Charter Agreement. Parties: American President Lines, Ltd. and APL Co. Pte, Ltd.; and A.P. Moller-Maersk A/S trading under the name....; Washington, DC 20001. Synopsis: The agreement authorizes APL to charter space to Maersk in the trade...

  8. 7 CFR 3560.453 - Workout agreements.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 15 2010-01-01 2010-01-01 false Workout agreements. 3560.453 Section 3560.453... Other Actions § 3560.453 Workout agreements. (a) General. (1) Prevention or resolution of compliance... Agency for approval a workout agreement that proposes actions to be taken over a period of time...

  9. 7 CFR 3560.453 - Workout agreements.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 15 2013-01-01 2013-01-01 false Workout agreements. 3560.453 Section 3560.453... Other Actions § 3560.453 Workout agreements. (a) General. (1) Prevention or resolution of compliance... Agency for approval a workout agreement that proposes actions to be taken over a period of time...

  10. 7 CFR 3560.453 - Workout agreements.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 15 2014-01-01 2014-01-01 false Workout agreements. 3560.453 Section 3560.453... Other Actions § 3560.453 Workout agreements. (a) General. (1) Prevention or resolution of compliance... Agency for approval a workout agreement that proposes actions to be taken over a period of time...

  11. 7 CFR 3560.453 - Workout agreements.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 15 2012-01-01 2012-01-01 false Workout agreements. 3560.453 Section 3560.453... Other Actions § 3560.453 Workout agreements. (a) General. (1) Prevention or resolution of compliance... Agency for approval a workout agreement that proposes actions to be taken over a period of time...

  12. 7 CFR 3560.453 - Workout agreements.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 15 2011-01-01 2011-01-01 false Workout agreements. 3560.453 Section 3560.453... Other Actions § 3560.453 Workout agreements. (a) General. (1) Prevention or resolution of compliance... Agency for approval a workout agreement that proposes actions to be taken over a period of time...

  13. 10 CFR 607.620 - Cooperative agreement.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 10 Energy 4 2010-01-01 2010-01-01 false Cooperative agreement. 607.620 Section 607.620 Energy DEPARTMENT OF ENERGY (CONTINUED) ASSISTANCE REGULATIONS GOVERNMENTWIDE REQUIREMENTS FOR DRUG-FREE WORKPLACE (FINANCIAL ASSISTANCE) Definitions § 607.620 Cooperative agreement. Cooperative agreement means an award...

  14. 23 CFR 633.206 - Project agreements.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 23 Highways 1 2012-04-01 2012-04-01 false Project agreements. 633.206 Section 633.206 Highways... CONTRACT PROVISIONS Federal-Aid Contracts (Appalachian Contracts) § 633.206 Project agreements. (a) Project agreements executed for projects under the Appalachian program shall contain the following paragraphs:...

  15. 50 CFR 81.6 - Project Agreement.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 50 Wildlife and Fisheries 9 2013-10-01 2013-10-01 false Project Agreement. 81.6 Section 81.6... SPECIES OF FISH, WILDLIFE, AND PLANTS-COOPERATION WITH THE STATES § 81.6 Project Agreement. (a) Subsequent... projects for the conservation of endangered and threatened species. Financial agreements will consist of...

  16. 23 CFR 633.206 - Project agreements.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 23 Highways 1 2011-04-01 2011-04-01 false Project agreements. 633.206 Section 633.206 Highways... CONTRACT PROVISIONS Federal-Aid Contracts (Appalachian Contracts) § 633.206 Project agreements. (a) Project agreements executed for projects under the Appalachian program shall contain the following paragraphs:...

  17. 23 CFR 633.206 - Project agreements.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 23 Highways 1 2014-04-01 2014-04-01 false Project agreements. 633.206 Section 633.206 Highways... CONTRACT PROVISIONS Federal-Aid Contracts (Appalachian Contracts) § 633.206 Project agreements. (a) Project agreements executed for projects under the Appalachian program shall contain the following paragraphs:...

  18. 50 CFR 81.6 - Project Agreement.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 50 Wildlife and Fisheries 9 2014-10-01 2014-10-01 false Project Agreement. 81.6 Section 81.6... SPECIES OF FISH, WILDLIFE, AND PLANTS-COOPERATION WITH THE STATES § 81.6 Project Agreement. (a) Subsequent... projects for the conservation of endangered and threatened species. Financial agreements will consist of...

  19. 23 CFR 140.606 - Project agreements.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... projects. 1 The text of FHWA Form PR-2 is found in 23 CFR part 630, subpart C, appendix A. ... 23 Highways 1 2011-04-01 2011-04-01 false Project agreements. 140.606 Section 140.606 Highways... Reimbursement for Bond Issue Projects § 140.606 Project agreements. Project Agreements, Form PR-2, shall...

  20. 23 CFR 140.606 - Project agreements.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... projects. 1 The text of FHWA Form PR-2 is found in 23 CFR part 630, subpart C, appendix A. ... 23 Highways 1 2012-04-01 2012-04-01 false Project agreements. 140.606 Section 140.606 Highways... Reimbursement for Bond Issue Projects § 140.606 Project agreements. Project Agreements, Form PR-2, shall...