National Library of Energy BETA

Sample records for quality check results

  1. Reuse of Verification Results Conditional Model Checking, Precision Reuse,

    E-Print Network [OSTI]

    Beyer, Dirk

    further verification runs of the system; information about the level of abstraction in the abstract modelReuse of Verification Results Conditional Model Checking, Precision Reuse, and Verification checker which parts of the system should be verified; thus, later verification runs can use the output

  2. Check valve

    DOE Patents [OSTI]

    Upton, Hubert Allen (Morgan Hill, CA); Garcia, Pablo (Stanford, CA)

    1999-08-24

    A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion.

  3. Check valve

    DOE Patents [OSTI]

    Upton, H.A.; Garcia, P.

    1999-08-24

    A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion. 5 figs.

  4. XML-Based Formulation of Field Theoretical Models. A Proposal for a Future Standard and Data Base for Model Storage, Exchange and Cross-checking of Results

    E-Print Network [OSTI]

    A. Demichev; A. Kryukov; A. Rodionov

    2002-03-11

    We propose an XML-based standard for formulation of field theoretical models. The goal of creation of such a standard is to provide a way for an unambiguous exchange and cross-checking of results of computer calculations in high energy physics. At the moment, the suggested standard implies that models under consideration are of the SM or MSSM type (i.e., they are just SM or MSSM, their submodels, smooth modifications or straightforward generalizations).

  5. 2006 B100 Quality Survey Results: Milestone Report

    SciTech Connect (OSTI)

    Alleman, T. L.; McCormick, R. L.; Deutch, S.

    2007-05-01

    In 2006, the National Renewable Energy Laboratory conducted a nationwide quality survey of pure biodiesel (B100) intended to be used as a blendstock. The study collected random samples throughout the United States and analyzed them for quality against the current and proposed ASTM D6751 fuel quality specifications.

  6. Q00906010024 rock check dam

    E-Print Network [OSTI]

    00906010024 rock check dam Q00906010025 rock check dam Q00906010021 rock check dam Q00906010022 rock check dam Q00906010027 rock check dam Q00906010026 rock check dam Q00906010018 rock check dam Q00906010023 rock check dam Q00906010011 rock check dam Q00906010008 rock check dam Q00906010007 rock check dam Q

  7. Results of The Excreta Bioassay Quality Control Program For April 1, 2008 through March 31, 2009

    SciTech Connect (OSTI)

    Antonio, Cheryl L.

    2010-06-01

    A total of 62 urine samples and 6 spiked fecal samples were submitted during the report period (April 1, 2008 through March 31, 2009) to General Engineering Laboratories, South Carolina by the Hanford Internal Dosimetry Program (IDP) to check the accuracy, precision, and detection levels of their analyses. Urine analyses for Sr, 238Pu, 239Pu, 241Am, 243Am 235U, 238U, elemental uranium and fecal analyses for 241Am, 238Pu and 239Pu were tested this year. The number of QC urine samples submitted during the report period represented 1.3% of the total samples submitted. In addition to the samples provided by IDP, GEL was also required to conduct their own QC program, and submit the results of analyses to IDP. About 34% of the analyses processed by GEL during the third year of this contract were quality control samples. GEL tested the performance of 21 radioisotopes, all of which met or exceeded the specifications in the Statement of Work within statistical uncertainty. IDP concluded that GEL was performing well for all analyses tested, and concerns identified earlier were satisfactorily resolved (see section on Follow-up on Concerns During the Fourth Contract Year).

  8. Results of the Excreta Bioassay Quality Control Program for April 1, 2009 through March 31, 2010

    SciTech Connect (OSTI)

    Antonio, Cheryl L.

    2012-07-19

    A total of 58 urine samples and 10 fecal samples were submitted during the report period (April 1, 2009 through March 31, 2010) to General Engineering Laboratories, South Carolina by the Hanford Internal Dosimetry Program (IDP) to check the accuracy, precision, and detection levels of their analyses. Urine analyses for Sr, 238Pu, 239Pu, 241Am, 243Am 235U, 238U, elemental uranium and fecal analyses for 241Am, 238Pu and 239Pu were tested this year as well as four tissue samples for 238Pu, 239Pu, 241Am and 241Pu. The number of QC urine samples submitted during the report period represented 1.3% of the total samples submitted. In addition to the samples provided by IDP, GEL was also required to conduct their own QC program, and submit the results of analyses to IDP. About 33% of the analyses processed by GEL during the third year of this contract were quality control samples. GEL tested the performance of 21 radioisotopes, all of which met or exceeded the specifications in the Statement of Work within statistical uncertainty (Table 4).

  9. Air Quality and Road Emission Results for Fort Stewart, Georgia

    SciTech Connect (OSTI)

    Kirkham, Randy R.; Driver, Crystal J.; Chamness, Mickie A.; Barfuss, Brad C.

    2004-02-02

    The Directorate of Public Works Environmental & Natural Resources Division (Fort Stewart /Hunter Army Airfield) contracted with the Pacific Northwest National Laboratory (PNNL) to monitor particulate matter (PM) concentrations on Fort Stewart, Georgia. The purpose of this investigation was to establish a PM sampling network using monitoring equipment typically used in U.S. Environmental Protection Agency (EPA) ''saturation sampling'', to determine air quality on the installation. In this initial study, the emphasis was on training-generated PM, not receptor PM loading. The majority of PM samples were 24-hr filter-based samples with sampling frequency ranging from every other day, to once every six days synchronized with the EPA 6th day national sampling schedule. Eight measurement sites were established and used to determine spatial variability in PM concentrations and evaluate whether fluctuations in PM appear to result from training activities and forest management practices on the installation. Data collected to date indicate the average installation PM2.5 concentration is lower than that of nearby urban Savannah, Georgia. At three sites near the installation perimeter, analyses to segregate PM concentrations by direction of air flow across the installation boundary indicate that air (below 80 ft) leaving the installation contains less PM2.5 than that entering the installation. This is reinforced by the observation that air near the ground is cleaner on average than the air at the top of the canopy.

  10. V00306010057 rock check dam

    E-Print Network [OSTI]

    ¬« ¬« ¬« ¬« ¬« XY! 16-020 16-030(c) 16-026(l) 16-028(c) 16-026(l) V00306010057 rock check dam V00306010012 rock check dam V00306010040 rock check dam V00306010039 rock check dam V00306010058 rock check dam V00306010064 rock check dam V00306010061 rock check dam V00306010062 rock check dam V00306010063

  11. PVSAT-2: RESULTS OF FIELD TEST OF THE SATELLITE-BASED PV SYSTEM PERFORMANCE CHECK A.C. de Keizer1

    E-Print Network [OSTI]

    Heinemann, Detlev

    . of Electrical Engineering, University of Applied Sciences (FH) Magdeburg-Stendal, 39114 Magdeburg, Germany, ABSTRACT: Within the EU funded project PVSAT-2 an automated performance check for grid-connected PV systems information. The uncertainty in the simulated energy yield can be high for cloudy weather situations

  12. V01406010015 rock check dam

    E-Print Network [OSTI]

    XY! ¬« ¬« V01406010015 rock check dam V01406010014 rock check dam V01406010013 rock check dam 1501403010012 earthen berm V01403010008 earthen berm V01406010003 rock check dam V01406010004 rock check dam V01406010010 rock check dam V01406010011 rock check dam 15-0651 15-0307 15-0588 15-0532 15-0575 stormdrain 7160

  13. M01506020006 log check dam

    E-Print Network [OSTI]

    XY! ¬« 35-0027 M01506020006 log check dam M01506020007 log check dam M01506020001 log check dam M location Berm Channel/swale Check dam Sediment trap/basin Gabion Seed and mulch Cap Established vegetation

  14. Experience with C++ Code Quality in ATLAS

    E-Print Network [OSTI]

    Roe, Shaun; The ATLAS collaboration; Snyder, Scott; Martin-Haugh, Stewart; Obreshkov, Emil; Stewart, Graeme

    2015-01-01

    An explanation of tools used for code quality checking in Atlas offline software, including results and responses is given. The principle tools covered are: Coverity, cppcheck, 'include what you use', Undefined Behaviour Sanitizer

  15. T00406010008 rock check dam

    E-Print Network [OSTI]

    XY! ¬« T00406010008 rock check dam T00406010009 rock check dam T00406010010 rock check dam T00406010011 rock check dam T-SMA-2.85 0.344 Acres 35-014(g) 35-016(n) T00406010005 rock check dam T00406010006 rock check dam T00403090004 curb T00402040007 established vegetation, green hatch area 7200 7200 7180

  16. J00206010020 rock check dam

    E-Print Network [OSTI]

    XY! J00206010020 rock check dam J00206010023 rock check dam 09-009 09-009 09-009 PJ-SMA-2 0.901 Acres J00206010021 rock check dam J00206010019 rock check dam J00206010014 rock check dam J00203010007 Smith DATE: 14-November-2014 REVISION NUMBER: 8 XY! IP sampler location Berm Channel/swale Check dam

  17. T00706010013 rock check dam

    E-Print Network [OSTI]

    XY! ¬« T00706010013 rock check dam T00706010014 rock check dam T00702040012 established vegetation, green hatch area T00706010002 rock check dam T00706010011 rock check dam T00703120010 rock berm T00703020003 base course berm T00706010004 rock check dam T00706010009 rock check dam T00703020008 base course

  18. Smog Check II Evaluation Part IV: Smog Check Costs and

    E-Print Network [OSTI]

    Denver, University of

    Smog Check II Evaluation Part IV: Smog Check Costs and Cost Effectiveness Are the Overall Costs of Smog Check? __________________ 2 2.1. Vehicle Testing Costs____________________________________________ 3 2.2. Repair Costs ___________________________________________________ 5 2.3. Administrative Costs

  19. Hybrid type checking

    E-Print Network [OSTI]

    Flanagan, C

    2006-01-01

    O’Callahan and J. -D. Choi. Hybrid dynamic data race detec-subtyping is sound, the hybrid compilation algorithmHybrid Type Checking Cormac Flanagan Department of Computer

  20. Quality monitored distributed voting system

    DOE Patents [OSTI]

    Skogmo, D.

    1997-03-18

    A quality monitoring system can detect certain system faults and fraud attempts in a distributed voting system. The system uses decoy voters to cast predetermined check ballots. Absent check ballots can indicate system faults. Altered check ballots can indicate attempts at counterfeiting votes. The system can also cast check ballots at predetermined times to provide another check on the distributed voting system. 6 figs.

  1. Quality monitored distributed voting system

    DOE Patents [OSTI]

    Skogmo, David (Albuquerque, NM)

    1997-01-01

    A quality monitoring system can detect certain system faults and fraud attempts in a distributed voting system. The system uses decoy voters to cast predetermined check ballots. Absent check ballots can indicate system faults. Altered check ballots can indicate attempts at counterfeiting votes. The system can also cast check ballots at predetermined times to provide another check on the distributed voting system.

  2. S00906010006 rock check dam

    E-Print Network [OSTI]

    XY! 53-0002 53-0890 53-1036 53-0598 53-0860 53-0056 S00906010006 rock check dam S00906010005 rock check dam S00906010007 rock check dam S00903010009 earthen berm S00903010010 earthen berm S00903120003 Channel/swale Check dam Sediment trap/basin Gabion Seed and mulch Cap Established vegetation SWMU boundary

  3. An Introduction to Model Checking

    E-Print Network [OSTI]

    Wolper, Pierre

    expertise and is not yet sufficiently powerful to be widely usable. Model checking [CES86] is often thought­state systems and, though this limitation is no longer absolute, model checking is still only applicable aspect on which model checking diverges from traditional verification is that it is fully algorithmic

  4. Multicenter Collaborative Quality Assurance Program for the Province of Ontario, Canada: First-Year Results

    SciTech Connect (OSTI)

    Létourneau, Daniel; Department of Radiation Oncology, University of Toronto, Toronto, Ontario ; McNiven, Andrea; Department of Radiation Oncology, University of Toronto, Toronto, Ontario ; Jaffray, David A.; Department of Radiation Oncology, University of Toronto, Toronto, Ontario; Department of Medical Biophysics, University of Toronto, Toronto, Ontario

    2013-05-01

    Purpose: The objective of this work was to develop a collaborative quality assurance (CQA) program to assess the performance of intensity modulated radiation therapy (IMRT) planning and delivery across the province of Ontario, Canada. Methods and Materials: The CQA program was designed to be a comprehensive end-to-end test that can be completed on multiple planning and delivery platforms. The first year of the program included a head-and-neck (H and N) planning exercise and on-site visit to acquire dosimetric measurements to assess planning and delivery performance. A single dosimeter was used at each institution, and the planned to measured dose agreement was evaluated for both the H and N plan and a standard plan (linear-accelerator specific) that was created to enable a direct comparison between centers with similar infrastructure. Results: CQA program feasibility was demonstrated through participation of all 13 radiation therapy centers in the province. Planning and delivery was completed on a variety of infrastructure (treatment planning systems and linear accelerators). The planning exercise was completed using both static gantry and rotational IMRT, and planned-to-delivered dose agreement (pass rates) for 3%/3-mm gamma evaluation were greater than 90% (92.6%-99.6%). Conclusions: All centers had acceptable results, but variation in planned to delivered dose agreement for the same planning and delivery platform was noted. The upper end of the range will provide an achievable target for other centers through continued quality improvement, aided by feedback provided by the program through the use of standard plans and simple test fields.

  5. Check Estimates and Independent Costs

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1997-03-28

    Check estimates and independent cost estimates (ICEs) are tools that can be used to validate a cost estimate. Estimate validation entails an objective review of the estimate to ensure that estimate criteria and requirements have been met and well documented, defensible estimate has been developed. This chapter describes check estimates and their procedures and various types of independent cost estimates.

  6. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK ANIMAL CARE LAB

    E-Print Network [OSTI]

    Su, Xiao

    FD- 258) and submits the fingerprint card to the Federal Bureau of Investigation (FBI) for identification and a criminal history records check. The FBI will return the results of its records check risks, criminal record information will be obtained from the FBI under the guideline of this policy

  7. Checking Paper PMENA 2011 final

    E-Print Network [OSTI]

    Rachael Kenney

    2013-03-27

    checking or verification tool in the classroom (e.g. Berry, Graham, & Smith, 2006; ... Smith, 2003) and may put more trust in their own work than in the calculator.

  8. PASTE 2004 Page 1 June 2004 ""Model CheckingModel Checking"" Software withSoftware with

    E-Print Network [OSTI]

    Rajamani, Sriram K.

    PASTE 2004 Page 1 June 2004 ""Model CheckingModel Checking"" Software withSoftware with Patrice;PASTE 2004 Page 2 June 2004 ""Model CheckingModel Checking"" · Model Checking = systematic state deadlock Each component is modeled by a FSM. #12;PASTE 2004 Page 3 June 2004 Model Checking of Software

  9. ESoftCheck: Removal of Non-vital Checks for Fault Google Inc.

    E-Print Network [OSTI]

    Garzarán, María Jesús

    ESoftCheck: Removal of Non-vital Checks for Fault Tolerance Jing Yu Google Inc. jingyu techniques to determine which are the vital checks, that is, the minimum number of checks that are necessary to detect an error and roll back to a correct program state. ES- oftCheck identifies the vital checks

  10. Improving the Data Quality of Advanced LIGO Based on Early Engineering Run Results

    E-Print Network [OSTI]

    L. K. Nuttall; T. J. Massinger; J. Areeda; J. Betzwieser; S. Dwyer; A. Effler; R. P. Fisher; P. Fritschel; J. S. Kissel; A. P. Lundgren; D. M. Macleod; D. Martynov; J. McIver; A. Mullavey; D. Sigg; J. R. Smith; G. Vajente; A. R. Williamson; C. C. Wipf

    2015-08-28

    The Advanced Laser Interferometer Gravitational-wave Observatory (LIGO) detectors have completed their initial upgrade phase and will enter the first observing run in late 2015, with detector sensitivity expected to improve in future runs. Through the combined efforts of on-site commissioners and the Detector Characterization group of the LIGO Scientific Collaboration, interferometer performance, in terms of data quality, at both LIGO observatories has vastly improved from the start of commissioning efforts to present. Advanced LIGO has already surpassed Enhanced LIGO in sensitivity, and the rate of noise transients, which would negatively impact astrophysical searches, has improved. Here we give details of some of the work which has taken place to better the quality of the LIGO data ahead of the first observing run.

  11. Improving the Data Quality of Advanced LIGO Based on Early Engineering Run Results

    E-Print Network [OSTI]

    Nuttall, L K; Areeda, J; Betzwieser, J; Dwyer, S; Effler, A; Fisher, R P; Fritschel, P; Kissel, J S; Lundgren, A P; Macleod, D M; Martynov, D; McIver, J; Mullavey, A; Sigg, D; Smith, J R; Vajente, G; Williamson, A R; Wipf, C C

    2015-01-01

    The Advanced Laser Interferometer Gravitational-wave Observatory (LIGO) detectors have completed their initial upgrade phase and will enter the first observing run in late 2015, with detector sensitivity expected to improve in future runs. Through the combined efforts of on-site commissioners and the Detector Characterization group of the LIGO Scientific Collaboration, interferometer performance, in terms of data quality, at both LIGO observatories has vastly improved from the start of commissioning efforts to present. Advanced LIGO has already surpassed Enhanced LIGO in sensitivity, and the rate of noise transients, which would negatively impact astrophysical searches, has improved. Here we give details of some of the work which has taken place to better the quality of the LIGO data ahead of the first observing run.

  12. Fluid relief and check valve

    DOE Patents [OSTI]

    Blaedel, K.L.; Lord, S.C.; Murray, I.

    1986-07-17

    A passive fluid pressure relief and check valve allows the relief pressure to be slaved to a reference pressure independently of the exhaust pressure. The pressure relief valve is embodied by a submerged vent line in a sealing fluid, the relief pressure being a function of the submerged depth. A check valve is embodied by a vertical column of fluid (the maximum back pressure being a function of the height of the column of fluid). The pressure is vented into an exhaust system which keeps the exhaust out of the area providing the reference pressure.

  13. Smog Check II Executive Summary

    E-Print Network [OSTI]

    Denver, University of

    to reduce air pollution emissions from vehicles by encouraging better ongoing maintenance of vehicles. Smog Check targets three types of pollution from vehicles: hydrocarbons (HC), nitrogen oxides (NOx, and ensuring the repair of vehicles with excessive emissions and broken or tampered emissions control systems

  14. Timed CTL Model Checking Lecture #16 of Advanced Model Checking

    E-Print Network [OSTI]

    Ábrahám, Erika

    = , if either: · for all x C: (x) > cx and (x) > cx, or · for any x, y C with (x) cx and (x) cx, and (y) cy(TA) is defined by: [s] = , [] = { s, | [] } c JPK 9 #12;Advanced model checking Example cx=2, cy=1 c JPK 10 from below and above by: |C|! xC cx Eval(C)/= number of regions |C|! 2|C|-1 xC (2cx + 2) where

  15. F-1 1999 SITE ENVIRONMENTAL REPORT APPENDIX F: QUALITY CONTROL TABLES

    E-Print Network [OSTI]

    F-1 1999 SITE ENVIRONMENTAL REPORT APPENDIX F: QUALITY CONTROL TABLES APPENDIX F: Quality Control summarize the results of daily QC checks performed by BNL's Analytical Services Labora- tory (ASL) in 1999 laboratories (H2M, GEL, and STL) that participated in national and/or state PE testing programs during 1999

  16. Why Do Voters Dismantle Checks and Balances?

    E-Print Network [OSTI]

    Acemoglu, Daron

    2011-07-17

    Voters often dismantle constitutional checks and balances on the executive. If such checks and balances limit presidential abuses of power and rents, why do voters support their removal? We argue that by reducing politician ...

  17. Why Do Voters Dismantle Checks and Balances?

    E-Print Network [OSTI]

    Acemoglu, Daron

    Voters often dismantle constitutional checks and balances on the executive. If such checks and balances limit presidential abuses of power and rents, why do voters support their removal? We argue that by reducing politician ...

  18. Monitoring indoor air quality in French schools and day-care centres. Results from the first phase of a pilot survey.

    E-Print Network [OSTI]

    Boyer, Edmond

    . KEYWORDS Air pollution, air stuffiness, formaldehyde, benzene. 1 INTRODUCTION Indoor air quality to determine an air stuffiness index as an indirect mean to assess pollutants accumulation in a closed spaceMonitoring indoor air quality in French schools and day-care centres. Results from the first phase

  19. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Energy Sources Search results Search results Enter terms Search Showing 1 - 10 of 35 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that...

  20. Quality assurance and reliability sub-committee W88-0/Mk5 weapon assessment NSA lab test results (u)

    SciTech Connect (OSTI)

    Whitney, Earl M [Los Alamos National Laboratory

    2010-11-29

    The purpose of this report is to gather appropriate level of relevant stockpile surveillance data to assess trends in the NEP quality, reliability, performance, and safety over the life of the system. The objectives are to gather relevant stockpile data to assess NEP quality and trends and to develop metrics to assess the suitability of the surveillance sampling regime to meet assessment process requirements.

  1. Parallel-scanning tomosynthesis using a slot scanning technique: Fixed-focus reconstruction and the resulting image quality

    SciTech Connect (OSTI)

    Shibata, Koichi, E-mail: shibatak@suzuka-u.ac.jp [Department of Radiological Technology, Faculty of Health Science, Suzuka University of Medical Science 1001-1, Kishioka-cho, Suzuka 510-0293 (Japan); Notohara, Daisuke; Sakai, Takihito [R and D Department, Medical Systems Division, Shimadzu Corporation 1, Nishinokyo-Kuwabara-cho, Nakagyo-ku, Kyoto 604-8511 (Japan)

    2014-11-01

    Purpose: Parallel-scanning tomosynthesis (PS-TS) is a novel technique that fuses the slot scanning technique and the conventional tomosynthesis (TS) technique. This approach allows one to obtain long-view tomosynthesis images in addition to normally sized tomosynthesis images, even when using a system that has no linear tomographic scanning function. The reconstruction technique and an evaluation of the resulting image quality for PS-TS are described in this paper. Methods: The PS-TS image-reconstruction technique consists of several steps (1) the projection images are divided into strips, (2) the strips are stitched together to construct images corresponding to the reconstruction plane, (3) the stitched images are filtered, and (4) the filtered stitched images are back-projected. In the case of PS-TS using the fixed-focus reconstruction method (PS-TS-F), one set of stitched images is used for the reconstruction planes at all heights, thus avoiding the necessity of repeating steps (1)–(3). A physical evaluation of the image quality of PS-TS-F compared with that of the conventional linear TS was performed using a R/F table (Sonialvision safire, Shimadzu Corp., Kyoto, Japan). The tomographic plane with the best theoretical spatial resolution (the in-focus plane, IFP) was set at a height of 100 mm from the table top by adjusting the reconstruction program. First, the spatial frequency response was evaluated at heights of ?100, ?50, 0, 50, 100, and 150 mm from the IFP using the edge of a 0.3-mm-thick copper plate. Second, the spatial resolution at each height was visually evaluated using an x-ray test pattern (Model No. 38, PTW Freiburg, Germany). Third, the slice sensitivity at each height was evaluated via the wire method using a 0.1-mm-diameter tungsten wire. Phantom studies using a knee phantom and a whole-body phantom were also performed. Results: The spatial frequency response of PS-TS-F yielded the best results at the IFP and degraded slightly as the distance from the IFP increased. A visual evaluation of the spatial resolution using the x-ray test pattern indicated that the resolution was 1.8 lp/mm at the IFP and 1.2 lp/mm at heights of ?100 and 100 mm from the IFP. The authors demonstrated that a spatial resolution of 1.2–1.8 lp/mm could be obtained within heights of 200 mm of the IFP. The slice sensitivity varied between 11.1 and 13.8 mm for heights between ?50 and 100 mm, and there was no critical change in the slice sensitivity within a height range of 150 mm around the IFP. The phantom results demonstrated that tomosynthesis and long-view images could be reconstructed. Conclusions: PS-TS-F provides tomosynthesis images while using low-cost systems that have no tomographic scanning function, such as tableside-controlled universal R/F systems or universal radiographic systems.

  2. ICALP 2004 Page 1 July 2004 Model CheckingModel Checking

    E-Print Network [OSTI]

    Rajamani, Sriram K.

    ICALP 2004 Page 1 July 2004 Model CheckingModel Checking with Multiwith Multi--Valued LogicsBell Laboratories, Lucent Technologies #12;ICALP 2004 Page 2 July 2004 MultiMulti--Valued Model Checking: Definition") returns a value in L. ­ Example: [(K,s0) p EX p] = (c (d b)) = b s0 p = c p = d p = b #12;ICALP 2004

  3. Procedure/Process Returned Checks (NSF)

    E-Print Network [OSTI]

    /7/2008 Contact information Department: Student Fiscal Services Contact: http://f2.washington.edu/fm/sfs/contact Telephone: 206-543-4694 Student Fiscal Services' Responsibilities Returned / Unpaid Check Procedure The banks, currently US Bank and Bank of America, forward unpaid checks to the Student Fiscal Services

  4. Optimizing Symbolic Model Checking for Statecharts

    E-Print Network [OSTI]

    Beame, Paul

    model checking to a statecharts model, that of an electrical power distribution (EPD) system for Boeing checking based on binary decision diagrams is a powerful formal verification technique for reactive systems of a collision avoidance system and a fault- tolerant electrical power distribution (EPD) system, both used

  5. ...offers early cost-effectiveness check

    E-Print Network [OSTI]

    Oakley, Jeremy

    that an innovation is a `must' ­ offering lower costs for enhanced health outcomes. Or it might turn outMATCH Tool ...offers early cost- effectiveness check on innovations ® Medical Device Evaluation and costs persuade the NHS to buy the innovation? In just three hours, the company was able to check out its

  6. Check Aid Status & Loans on ISIS

    E-Print Network [OSTI]

    Fang, Yuguang "Michael"

    Check Aid Status & Loans on ISIS As a University of Florida (UF) financial aid applicant, you can business using ISIS (the UF Integrated Student Information System): www.isis.ufl.edu 1.CheCk Aid StAtuS/AwArdS on iSiS You are responsible for keeping track of your financial aid file and awards, including

  7. Shape Analysis through Predicate Abstraction and Model Checking

    E-Print Network [OSTI]

    Namjoshi, Kedar

    Shape Analysis through Predicate Abstraction and Model Checking Dennis Dams and Kedar S. Namjoshi framework with the analysis of some "classical" list manipulation programs, using our implementa- tion on a "classical" list reversal program. A detailed de- scription of the experiments, including input and result

  8. Model checking Timed CSP Philip Armstrong Gavin Lowe Joel Ouaknine

    E-Print Network [OSTI]

    Ouaknine, Joël

    Model checking Timed CSP Philip Armstrong Gavin Lowe Jo¨el Ouaknine A.W. Roscoe Oxford University Department of Computer Science Abstract Though Timed CSP was developed 25 years ago and the CSP for Timed CSP. In this paper we report on the creation of such a version, based on the digitisation results

  9. MEMS design rule checking: a batch approach for remote operation

    SciTech Connect (OSTI)

    Yarberry, V.R.

    1998-01-01

    This paper describes a design rule checking (DRC) tool developed as an aid for designing microelectromechanical structures (MEMS) using AutoCAD running on a Windows NT workstation. The application suite, MEMSdrc, consists of: a graphical user interface integrated into AutoCAD to invoke DRC, translation and interface software to communicate with a commercial IC layout design checking software package, and routines to interactively display and review the results. The user interface provides the capability to select a checking window area and specific DRC rules to be applied to the design. The MEMS structures, defined as 2D AutoCAD geometry are translated first into DXF format, then to GDSII format. A remote process transfers the files to a Unix workstation where Mentor Graphics ICverify is invoked to perform the layout design rule checks. Upon completion, the results are translated into DXF geometry and returned back to the Windows NT workstation to be overlaid onto the original design. A set of icons are provided for the user to interactively review the results inside of AutoCAD using a first/next/previous technique.

  10. Tools for Viewing and Quality Checking ARM Data

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effectWorking With U.S.Week DayDr.Theories81 to 1990BeToo Crowded toTools for

  11. IN-PLANE BANDPASS REGULATION CHECK VALVE IN HEAT-SHRINK PACKAGING FOR DRUG DELIVERY

    E-Print Network [OSTI]

    Meng, Ellis

    IN-PLANE BANDPASS REGULATION CHECK VALVE IN HEAT-SHRINK PACKAGING FOR DRUG DELIVERY R. Lo and E. Meng University of Southern California, Los Angeles, California, USA ABSTRACT The first check valve valve design and these results were confirmed experimentally. The valve regulates flow between 150

  12. Integrity Checking for Uncertain Data Hendrik Decker

    E-Print Network [OSTI]

    Martinenghi, Davide

    Integrity Checking for Uncertain Data Hendrik Decker Instituto Tecnol´ogico de Inform´atica E uncertainty properties of data by integrity constraints, it can be hoped to achieve a double benefit: firstly

  13. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization a program can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness

  14. Perturbative Check of the Action and Energy Lattice Sum Rules

    E-Print Network [OSTI]

    B. Feuerbacher

    2003-09-04

    Lattice sum rules are checked using lattice perturbation theory. The action sum rule gives a relation between the quark-antiquark potential, its logarithmic derivative with respect to distance and the expectation value of the action; the energy sum rule expresses the potential as the sum of the energy in the gluon fields and of an anomalous term. Two different independent calculations of the quark-antiquark potential are presented, and the transversality of the gluonic vacuum polarization on the lattice is proven. The crucial part of the action sum rule is an identity whose explicit check using perturbation theory provides methods and results which are useful for checking the energy sum rule. Additionally, the gauge invariance of the expectation value of the Wilson loop up to next-to-leading order is proven. The possibility of restricting the expectation value of the action to one fixed time slice is discussed. The energy sum rule is checked perturbatively up to next-to-leading order and shown to be satisfied with good numerical accuracy. The various contributions to the quark-antiquark potential are analyzed, and the restriction of the expectation value of the sum over all spatial plaquettes (the energy in the magnetic fields) to one fixed time slice is examined.

  15. Remote performance check and automated failure identification for grid-connected PV systems

    E-Print Network [OSTI]

    Heinemann, Detlev

    Remote performance check and automated failure identification for grid-connected PV systems cloudy skies. This determines the quality of the PV simulation and finally the period of time, satellite data, PVSAT-2 1. Introduction Failure-free operation of grid-connected photovoltaic (PV) systems

  16. RFEDSCHK User's Manual (The RFEDS Lab Data Check routine), Environmental and Scientific Systems Information Resources: Version 1. 00

    SciTech Connect (OSTI)

    Not Available

    1992-05-01

    The RFEDS Laboratory Data Check routine (RFEDSCHK) preforms checks of the off-site laboratory data to identify missing and/or incorrect data which may exist. The check routine is designed to assist the laboratories to correct deficiencies contained in the data before it is sent to the Rocky Flats Environmental Management Department, there-by improving the quality of the data being placed in RFEDS. If the data passes the checks with no errors, the data will be acceptable for placement into RFEDS and delivery of the electronic data to EG G is appropriate. If errors are detected, the laboratory should correct the errors and perform the check again until the data is free of errors.

  17. FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs

    E-Print Network [OSTI]

    Basu, Samik

    , Stony Brook {dsaha, sas}@cs.sunysb.edu Abstract. We present the FocusCheck model-checking tool.): TACAS 2005, LNCS 3440, pp. 563­569, 2005. c Springer-Verlag Berlin Heidelberg 2005 #12;564 C.W. Keller

  18. 2 0 1 5 -2 0 1 6 R E N E W A L F O R M PARKING (check only one)PARKING (check only one)PARKING (check only one)PARKING (check only one)

    E-Print Network [OSTI]

    Weber, David J.

    this box, I am indicating that I would like to enter into the parking lottery for a space in the lot(s2 0 1 5 - 2 0 1 6 R E N E W A L F O R M FAYETTE SQUARE PARKING (check only one)PARKING (check only one)PARKING (check only one)PARKING (check only one) By checking this box, I am indicating that I plan

  19. Model Checking for Managers Wil Janssen1

    E-Print Network [OSTI]

    Mauw, Sjouke

    , workloads, critical path, data flow, process type, multistep simulation and in the development of correct systems. Applications range from software controlling storm surge barriers [Kars96 correctness requirements must be done carefully. Model checking is an activity for skilled computer scientists

  20. Statistical Model Checking in Uppaal: Lets Practice

    E-Print Network [OSTI]

    David, Alexandre

    analysis of hybrid systems. It does not suf- fer from decidability issues or state-space explosion compared to tradi- tional model-checking. Furthermore, it is applicable to more powerful formalisms correctness of systems and an analysis technique to study performance. The idea behind SMC is to gener- ate

  1. Current @ January 2012 RENEW CHECKED OUT ITEMS

    E-Print Network [OSTI]

    Wagner, Stephan

    Page 1 Current @ January 2012 RENEW CHECKED OUT ITEMS You may renew you own materials online. All material may be renewed except for materials with reserves and materials on which you owe fines. From (Login required). 4. Click on it. 5. This takes you to a new screen which says: e-Wits Catalogue Login. 6

  2. Dynamic Testing of Check Valves William Rahmeyer

    E-Print Network [OSTI]

    Rahmeyer, William J.

    Utah State University paper presented at the Nuclear Industry Check Valve Group, 1996 Winter Meeting deceleration is calculated from the piping system and flow change due to pump shutdown or closure of a control and Flomatic Valves. #12;2 BACKGROUND In a piping system, the shut down of a pump or the closure of a control

  3. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization for Mendler­Style Course­Of­Value Recursion can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness. For practical

  4. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking with Types Strong Normalization for Mendler-Style Course-Of-Value Recursion can be separated into two parts: As the first step, partial correctness is established by verifying that a program matches its specification; then, termination is shown to obtain full correctness. For practical

  5. Measured Cooling Season Results Relating the Impact of Mechanical Ventilation on Energy, Comfort, and Indoor Air Quality in Humid Climates

    SciTech Connect (OSTI)

    Martin, Eric; Amos, Bryan; McIlvaine, Janet; Chasar, David; Widder, Sarah H.; Fonorow, Ken

    2014-08-22

    Conference Paper for ACEEE Summer Study in Buildings discussing results to date of a project evaluating the impact of ventialtion on energy use, comfort, durability, and cost in the hot humid climate.

  6. Date______________________________ Enter Web Voucher # _____________________________ NON-STANDARD CHECK PROCESSING SERVICES FORM

    E-Print Network [OSTI]

    Xie, Xiaoliang Sunney

    the standard check service. Please review Check Processing Policy criteria (http://vpf-webDate______________________________ Enter Web Voucher # _____________________________ NON-STANDARD CHECK PROCESSING SERVICES FORM Harvard will issue checks outside the standard check service for non

  7. Can We Predict Plan Quality for External Beam Partial Breast Irradiation: Results of a Multicenter Feasibility Study (Trans Tasman Radiation Oncology Group Study 06.02)

    SciTech Connect (OSTI)

    Kron, Tomas; Willis, David; Link, Emma; Lehman, Margot; Campbell, Gillian; O'Brien, Peter; Chua, Boon

    2013-11-15

    Purpose: Partial breast irradiation (PBI) after lumpectomy may be an option for selected patients with early breast cancer. A feasibility study of accelerated PBI delivered using external beam 3-dimensional conformal radiation therapy (RT) was undertaken at 8 Australasian centers. The present study evaluated the impact of patient, tumor, and RT technique-related factors on the quality of RT plans as determined by the dose–volume parameters of organs at risk. Methods and Materials: Forty-eight patients were enrolled in the study. All RT plans were centrally reviewed using predefined dosimetric criteria before commencement and after completion of protocol therapy. The RT plans of 47 patients met the dose–volume constraints, and all 47 patients received PBI to a prescribed dose of 38.5 Gy in 10 fractions. The RT plan quality was determined by volumes of the ipsilateral whole breast, lung, and heart that received 50% and 95%; 30%; and 5% of the prescribed dose, respectively. Patient, tumor, and RT technique-related factors were investigated for association with the parameters of RT plan quality. Results: The ratio of the planning target volume to the ipsilateral whole-breast volume was significantly associated with the ipsilateral breast doses on multiple variable analyses. The distance of the postlumpectomy surgical cavity from the heart and lung were predictive for heart and lung doses, respectively. A distance between surgical cavity and heart of >4 cm typically resulted in <1% of the heart volume receiving 5 Gy or less. It was more difficult to meet the heart dose constraint for left-sided and medially located tumors. Conclusions: Partial breast irradiation using 3-dimensional conformal RT was feasible within the study constraints. The ratio of planning target volume to ipsilateral whole-breast volume and the distance of surgical cavity from the heart were significant predictors of the quality of treatment plan for external beam PBI.

  8. Pre-resistance-welding resistance check

    DOE Patents [OSTI]

    Destefan, Dennis E. (Broomfield, CO); Stompro, David A. (Idaho Falls, ID)

    1991-01-01

    A preweld resistance check for resistance welding machines uses an open circuited measurement to determine the welding machine resistance, a closed circuit measurement to determine the parallel resistance of a workpiece set and the machine, and a calculation to determine the resistance of the workpiece set. Any variation in workpiece set or machine resistance is an indication that the weld may be different from a control weld.

  9. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 29 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  10. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 17 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  11. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 16 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  12. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 15 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  13. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 13 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  14. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 12 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  15. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 7 of 7 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  16. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 18 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  17. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 36 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  18. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 31 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  19. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 59 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  20. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 33 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  1. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 23 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  2. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 27 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  3. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 10 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  4. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 26 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  5. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 53 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  6. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 28 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  7. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 11 - 20 of 43 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  8. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 30 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  9. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 35 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  10. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 11 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  11. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 8 of 8 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  12. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Search results Enter terms Search Showing 1 - 10 of 34 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  13. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Renewables Search results Search results Enter terms Search Showing 1 - 10 of 16 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  14. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Renewables Search results Search results Enter terms Search Showing 1 - 10 of 33 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  15. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Renewables Search results Search results Enter terms Search Showing 1 - 10 of 30 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  16. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Renewables Search results Search results Enter terms Search Showing 1 - 10 of 28 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  17. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Renewables Search results Search results Enter terms Search Showing 1 - 10 of 26 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  18. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Renewables Search results Search results Enter terms Search Showing 1 - 10 of 27 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  19. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Renewables Search results Search results Enter terms Search Showing 1 - 10 of 23 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  20. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Renewables Search results Search results Enter terms Search Showing 1 - 10 of 29 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  1. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Renewables Search results Search results Enter terms Search Showing 1 - 10 of 15 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  2. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Renewables Search results Search results Enter terms Search Showing 1 - 10 of 53 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  3. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Solar Search results Search results Enter terms Search Showing 1 - 10 of 23 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  4. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Download Search results Search results Enter terms Search Showing 71 - 80 of 124 results. Download Fun with the Sun- Teacher's Activity Guide for Elementary Grades K-2 Check out...

  5. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Download Search results Search results Enter terms Search Showing 1 - 10 of 35 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  6. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Innovation Search results Search results Enter terms Search Showing 1 - 10 of 35 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be...

  7. Smog Check II Evaluation California Inspection and

    E-Print Network [OSTI]

    Denver, University of

    Pollution Control District AQMD Air Quality Management District AQMP Air Quality Management Plan ARB Air Quality Management District SIP Station Implementation Plan TIP Transportation Improvement Program refers to the fact that the test is run at a speed of 25 mph and at an engine load of 25 percent

  8. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK, For Unescorted Access to

    E-Print Network [OSTI]

    Su, Xiao

    FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK, For Unescorted Access to Radioactive Material of the law and prudent practices, conduct fingerprinting criminal history record checks on current employees an employee's or prospective employee's criminal history and fingerprinting record must be balanced

  9. Master's Thesis Hybrid Statistical Model Checking Technique for

    E-Print Network [OSTI]

    Master's Thesis Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Technique for Reliable Safety Critical Systems #12;Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Advisor : Professor Kim, Moonzoo by Kim, Youngjoo Department of Computer Science

  10. Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended

    E-Print Network [OSTI]

    Langmead, Christopher James

    Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended Abstract Abstract. We present a novel approach for predicting protein folding kinetics using techniques from checking. We tested our method on 19 test proteins. The quantitative predictions regarding folding rates

  11. Hydrogen Fuel Quality - Focus: Analytical Methods Development...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Fuel Quality - Focus: Analytical Methods Development & Hydrogen Fuel Quality Results Hydrogen Fuel Quality - Focus: Analytical Methods Development & Hydrogen Fuel Quality Results...

  12. Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automatatheoretic

    E-Print Network [OSTI]

    Emerson, E. Allen

    ­ current Programming General Terms: Verification, Model Checking, Temporal Logic, Abstraction AdditionalUtilizing Symmetry when Model Checking under Fairness Assumptions: An Automata­theoretic Approach E temporal logic model checking. In previous work it is shown how, using some basic notions of group theory

  13. Check Out - Combustion Energy Frontier Research Center

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsiclouddenDVA N C E D BGene NetworkNuclear SecurityChattan ooga Eag le For dCheck InFAQ

  14. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Enter terms Search Showing 11 - 20 of 20 results. Download Fun with the Sun- Teacher's Activity Guide for Elementary Grades K-2 Check out these energy activities...

  15. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Enter terms Search Showing 21 - 30 of 41 results. Download Fun with the Sun- Teacher's Activity Guide for Elementary Grades K-2 Check out these energy activities...

  16. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Enter terms Search Showing 1 - 7 of 7 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  17. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Enter terms Search Showing 1 - 8 of 8 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  18. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 10 of 17 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  19. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Enter terms Search Showing 1 - 5 of 5 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  20. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Enter terms Search Showing 1 - 6 of 6 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  1. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 10 of 12 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  2. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 10 of 10 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  3. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 10 of 23 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  4. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Enter terms Search Showing 1 - 3 of 3 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  5. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 10 of 18 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  6. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 10 of 13 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  7. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 10 of 11 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  8. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Search results Enter terms Search Showing 1 - 9 of 9 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  9. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 10 of 16 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  10. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 7 of 7 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  11. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 10 of 20 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  12. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 10 of 29 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  13. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 9 of 9 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  14. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 10 of 27 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  15. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Enter terms Search Showing 1 - 6 of 6 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels,...

  16. Check all SCHE Supply Purge Check Valves to Prevent Back Flow from SCHE into Helium Supply

    SciTech Connect (OSTI)

    MISKA, C.R.

    2000-10-23

    These valves are 1/2-inch check valves used to prevent SCHe backflow into the Helium System if pressure in the Helium System drops below the pressure of the control valve downstream of the SCHe supply bottles. (14 psig in trains A and B and 2 psig in trains C and D).

  17. RFEDSCHK User`s Manual (The RFEDS Lab Data Check routine), Environmental and Scientific Systems Information Resources: Version 1.00

    SciTech Connect (OSTI)

    Not Available

    1992-05-01

    The RFEDS Laboratory Data Check routine (RFEDSCHK) preforms checks of the off-site laboratory data to identify missing and/or incorrect data which may exist. The check routine is designed to assist the laboratories to correct deficiencies contained in the data before it is sent to the Rocky Flats Environmental Management Department, there-by improving the quality of the data being placed in RFEDS. If the data passes the checks with no errors, the data will be acceptable for placement into RFEDS and delivery of the electronic data to EG&G is appropriate. If errors are detected, the laboratory should correct the errors and perform the check again until the data is free of errors.

  18. Course Materials • ALWAYS check the MA 15300 website FIRST ...

    E-Print Network [OSTI]

    Devlin, Patrick M

    2015-01-03

    policies and understand all the course materials on the website. • ALWAYS check the MA 15300 · website FIRST when searching for class information.

  19. 5 Checks & 5 Tips for INCITE | Argonne Leadership Computing Facility

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Science at ALCF Allocation Programs INCITE Program 5 Checks & 5 Tips for INCITE Mira Computational Readiness Assessment ALCC Program Director's Discretionary (DD) Program Early...

  20. Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs Tetsu Iwata1 and Lei Wang2, wang.lei@ntu.edu.sg Abstract. ANSI X9.24-1:2009 specifies the key check value, which is used to verify check value. As a result, we obtain a complete characterization of the impact of using ANSI X9.24-1 key

  1. Search results | Department of Energy

    Broader source: Energy.gov (indexed) [DOE]

    8 of 8 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels, on how to build a solar oven. http:...

  2. Search results | Department of Energy

    Broader source: Energy.gov (indexed) [DOE]

    0 results. Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for all grade levels, on how to build a solar oven. http:energy.gov...

  3. Check of AGT Relation for Conformal Blocks on Sphere

    E-Print Network [OSTI]

    V. Alba; And. Morozov

    2010-06-15

    The AGT conjecture identifying conformal blocks with the Nekrasov functions is investigated for the spherical conformal blocks with more than 4 external legs. The diagram technique which arises in conformal block calculation involves propagators and vertices. We evaluated vertices with two Virasoro algebra descendants and explicitly checked the AGT relation up to the third order of the expansion for the 5-point and 6-point conformal blocks on sphere confirming all the predictions of arXiv:0906.3219 relevant in this situation. We propose that U(1)-factor can be extracted from the matrix elements of the free field Vertex operators. We studied the n-point case, and found out that our results confirm the AGT conjecture up to the third order expansions.

  4. Performance checks with the Alpha Sentry CAM

    SciTech Connect (OSTI)

    Rodgers, J.C.

    1994-08-01

    Before a CAM is put into service, it must be calibrated. The flow meter and detector must be calibrated with an external flow meter to provide accurate flow data, and the detector must be calibrated to produce accurate DPM data. Both flow and DPM data enter into the calculation of the Derived Air Concentration exposure (DAC-hr) by the CAM software. The focus of this report is on methods for checking that the DAC-hr alarm functionality has been properly calibrated and available in installed CAM instruments. The process begins with detector calibration. In order to calibrate the detector, the Alpha Sentry CAM is placed in an off-line calibration mode and detector efficiency calibration is selected. The user is prompted to enter the calibration source DPM and place the source in the CAM head. Upon latching the filter door with the source in place, a count is automatically initiated and completed. From the count data and the user entered DPM data, an efficiency is determined in the Alpha Sentry Manager (ASM) and stored in non-volatile memory in the CAM head electronics. This source is typically a plated {sup 239}Pu or {sup 241}Am source diffused into a stainless steel planchet.

  5. Deep Random Search for Efficient Model Checking of Timed Automata

    E-Print Network [OSTI]

    Grosu, Radu

    Deep Random Search for Efficient Model Checking of Timed Automata R. Grosu1 , X. Huang1 , S}@imag.fr Abstract. We present DRS (Deep Random Search), a new Las Vegas algorithm for model checking safety fringe, which is the starting point of additional deep random walks. The DRS algorithm is complete

  6. Criminal History Check Disclosure Notice and Release Authorization

    E-Print Network [OSTI]

    Escher, Christine

    background information may include, but are not limited to: address history; criminal records and historyCriminal History Check Disclosure Notice and Release Authorization *Please attach a copy of your% for National criminal history checks. Hiring Department Index Number: __________________ Activity Code

  7. Solving the Rehearsal Problem with Planning and with Model Checking

    E-Print Network [OSTI]

    Miller, Alice

    Solving the Rehearsal Problem with Planning and with Model Checking Peter Gregory , Alice Miller. Planning problems have been modelled and solved as constraint satis- faction problems [1­4]. Similarly, model checking problems have been modelled and solved as constraint satisfaction problems [5, 6

  8. Predicting Protein Folding Kinetics via Temporal Logic Model Checking

    E-Print Network [OSTI]

    Predicting Protein Folding Kinetics via Temporal Logic Model Checking Christopher James Langmead award from the U.S. Department of Energy. #12;Keywords: protein folding, model checking, temporal logic #12;Abstract We present a novel approach for predicting protein folding kinetics using techniques from

  9. Java Separate Type Checking is not Safe (Extended Abstract)

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Java Separate Type Checking is not Safe (Extended Abstract) Davide Ancona, Giovanni Lagorio,lagorio,zuccag@disi.unige.it Abstract. Java supports separate type-checking in the sense that com- pilation can be invoked on a single in the environment. However, the Java speci#12;cation does not de#12;ne precise rules on how this process should

  10. Analysis of Probabilistic Error Checking Procedures on Storage Systems

    E-Print Network [OSTI]

    Chen, Ing-Ray

    Analysis of Probabilistic Error Checking Procedures on Storage Systems ING-RAY CHEN AND I.-LING YEN Email: irchen@iie.ncku.edu.tw Conventionally, error checking on storage systems is performed on-the-fly (with probability 1) as the storage system is being accessed in order to improve the reliability

  11. Termination and Reduction Checking for Higher-Order Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

    Termination and Reduction Checking for Higher-Order Logic Programs Brigitte Pientka Department, we present a syntax-directed termination and reduction checker for higher-order logic programs and output of well-moded predicates. These reduction con- straints are exploited during termination checking

  12. Termination and Reduction Checking for HigherOrder Logic Programs

    E-Print Network [OSTI]

    Pientka, Brigitte

    Termination and Reduction Checking for Higher­Order Logic Programs Brigitte Pientka Department, we present a syntax­directed termination and reduction checker for higher­order logic programs and output of well­moded predicates. These reduction con­ straints are exploited during termination checking

  13. Assumption-Commitment Support for CSP Model Checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    AVoCS 2006 Assumption-Commitment Support for CSP Model Checking Nick Moffat1 Systems Assurance using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form-Guarantee, CSP, Model Checking, Compositional Reasoning 1 Introduction The principle of compositional program

  14. Exact Non-identity check is NQP-complete

    E-Print Network [OSTI]

    Yu Tanaka

    2009-03-04

    We define a problem "exact non-identity check": Given a classical description of a quantum circuit with an ancilla system, determine whether it is strictly equivalent to the identity or not. We show that this problem is NQP-complete. In a sense of the strict equivalence condition, this problem is different from a QMA-complete problem, non-identity check defined by D. Janzing etc. As corollaries, it is derived that exact equivalence check is also NQP-complete and that it is hard to minimize quantum resources of a given quantum gate array without changing an implemented unitary operation.

  15. When Model Checking Met Deduction Computer Science Laboratory

    E-Print Network [OSTI]

    Clarke, Edmund M.

    Park, CA Sep 19, 2014 #12;Alan Turing It is of course important that some efforts be made to verify hold in each case. Alan Turing (quoted by D. MacKenzie in Risk and Reason) N. Shankar Model checking

  16. High-Speed Computation of Cyclic Redundancy Checks

    E-Print Network [OSTI]

    Johnson, Eric E.

    and Computer Engineering New Mexico State University November 1995 Abstract Cyclic redundancy checks (CRCs) are widely used in error-prone channels to detect corruption of data blocks. This report describes

  17. Checking Your Car's 4000 Welds is Serious Business. Scientists...

    Energy Savers [EERE]

    Business. Scientists Just Made it Easier. March 4, 2015 - 10:45am Addthis Robotic welding is vital to auto manufacturing, but double checking the welds is done by hand....

  18. A package TESTAS for checking some kinds of testability

    E-Print Network [OSTI]

    Trakhtman, Avraham

    A package TESTAS for checking some kinds of testability=C++ package. Introduction Locally testable and piecewise testable languages with generalizations and sufficient conditions and the algorithms used in the package are based on this approach. The locally

  19. Behavioral Model Equivalence Checking for Large Analog Mixed Signal Systems 

    E-Print Network [OSTI]

    Singh, Amandeep

    2012-07-16

    This thesis proposes a systematic, hierarchical, optimization based semi-formal equivalence checking methodology for large analog/mixed signal systems such as phase locked loops (PLL), analog to digital convertors (ADC) ...

  20. Terms & Conditions UC San Diego Check Inn 2015

    E-Print Network [OSTI]

    California at San Diego, University of

    ; these documents will be accessible online once your reservation has been confirmed. ELIGIBILITY Check Inn is only to educational institutions we are unable to house individuals who are visiting for vacation or tourism reasons

  1. Probabilistic Model Checking of the PDGF Signaling Pathway

    E-Print Network [OSTI]

    Mauw, Sjouke

    approach [7, 8], first introduced by Hart, An extended abstract appears in the proceedings of CompMod 2011 and communication protocols. In probabilistic (or stochastic) model checking, systems are normally represented

  2. Fast Directed Model Checking via Russian Doll Abstraction

    E-Print Network [OSTI]

    Hoffmann, Jörg -FR 6.2

    Fast Directed Model Checking via Russian Doll Abstraction Sebastian Kupferschmid1 , J¨org Hoffmann2 on a kind of Russian Doll principle, where the heuristic for a given problem arises through using UPPAAL

  3. A Vectorless Framework for Power Grid Electromigration Checking

    E-Print Network [OSTI]

    Najm, Farid N.

    A Vectorless Framework for Power Grid Electromigration Checking Mohammad Fawaz Department of ECE, instead of the traditional series model. Keywords Power grid, Electromigration, Verification, Redundancy, Opti- mization 1. INTRODUCTION Power grid verification has become an essential step in modern

  4. Model checking infinite-state systems: generic and specific approaches 

    E-Print Network [OSTI]

    To, Anthony Widjaja

    2010-01-01

    Model checking is a fully-automatic formal verification method that has been extremely successful in validating and verifying safety-critical systems in the past three decades. In the past fifteen years, there has been ...

  5. Smog Check II Evaluation Part II: Overview of Vehicle

    E-Print Network [OSTI]

    Denver, University of

    Smog Check II Evaluation Part II: Overview of Vehicle Emissions . . . . . . . . . . . . Prepared in Later Sections ____________________ 1 3. Older Vehicles Have Higher Emissions on Average _____________ 3 ___________________________________ 12 7. Emissions of Individual Vehicles Vary from Test to Test ________ 15 8. Total Emissions

  6. Certification of Taxpayer Identification Number for Individuals Please check one

    E-Print Network [OSTI]

    Zallen, Richard

    Substitute Form W-9 Certification of Taxpayer Identification Number for Individuals Please check: ________________________ Middle: _____________________ Last: _______________________________ 2. U.S. taxpayer identification statements are true, correct, and complete and that: 1. The number shown on this form is my correct taxpayer

  7. SU-D-17A-04: The Impact of Audiovisual Biofeedback On Image Quality During 4D Functional and Anatomic Imaging: Results of a Prospective Clinical Trial

    SciTech Connect (OSTI)

    Keall, P; Pollock, S [University of Sydney, Sydney (Australia); Yang, J; Diehn, M; Berger, J; Graves, E; Loo, B [Stanford University, Stanford, CA (United States); Yamamoto, T [UC Davis School of Medicine, Sacramento, CA (United States)

    2014-06-01

    Purpose: The ability of audiovisual (AV) biofeedback to improve breathing regularity has not previously been investigated for functional imaging studies. The purpose of this study was to investigate the impact of AV biofeedback on 4D-PET and 4D-CT image quality in a prospective clinical trial. We hypothesized that motion blurring in 4D-PET images and the number of artifacts in 4D-CT images are reduced using AV biofeedback. Methods: AV biofeedback is a real-time, interactive and personalized system designed to help a patient self-regulate his/her breathing using a patient-specific representative waveform and musical guides. In an IRB-approved prospective clinical trial, 4D-PET and 4D-CT images of 10 lung cancer patients were acquired with AV biofeedback (AV) and free breathing (FB). The 4D-PET images in 6 respiratory bins were analyzed for motion blurring by: (1) decrease of GTVPET and (2) increase of SUVmax in 4-DPET compared to 3D-PET. The 4D-CT images were analyzed for artifacts by: (1) comparing normalized cross correlation-based scores (NCCS); and (2) quantifying a visual assessment score (VAS). A two-tailed paired t-test was used to test the hypotheses. Results: The impact of AV biofeedback on 4D-PET and 4D-CT images varied widely between patients, suggesting inconsistent patient comprehension and capability. Overall, the 4D-PET decrease of GTVPET was 2.0±3.0cm3 with AV and 2.3±3.9cm{sup 3} for FB (p=0.61). The 4D-PET increase of SUVmax was 1.6±1.0 with AV and 1.1±0.8 with FB (p=0.002). The 4D-CT NCCS were 0.65±0.27 with AV and 0.60±0.32 for FB (p=0.32). The 4D-CT VAS was 0.0±2.7 (p=ns). Conclusion: A 10-patient study demonstrated a statistically significant reduction of motion blurring of AV over FB for 1/2 functional 4D-PET imaging metrics. No difference between AV and FB was found for 2 anatomic 4D-CT imaging metrics. Future studies will focus on optimizing the human-computer interface and including patient training sessions for improved comprehension and capability. Supported by NIH/NCI R01 CA 093626, Stanford BioX Interdisciplinary Initiatives Program, NHMRC Australia Fellowship, and Kwanjeong Educational Foundation. GE Healthcare provided the Respiratory Gating Toolbox for 4D-PET image reconstruction. Stanford University owns US patent #E7955270 which is unlicensed to any commercial entity.

  8. Bleecker: WC Reporting Check List Risk Management 6/28/2012 Initial Injury/Illness Reporting Check List

    E-Print Network [OSTI]

    Prinz, Friedrich B.

    Bleecker: WC Reporting Check List Risk Management 6/28/2012 Initial Injury/Illness Reporting Check://www.stanford.edu/dept/EHS/prod/general/su17.pdf Within 24 HRS Worker & Supervisor Fax to 650-723-9456 Original to Mail Code 6207 DWC 1 http://www.stanford.edu/dept/Risk-Management-723-9456 Original to Mail Code 6207 5020 (must be typed ­ "PCWord version" available in link below) http://www.stanford.edu/dept/Risk-Management

  9. Bleecker: WC Reporting Check List Risk Management 12/10/2012 Initial Injury/Illness Reporting Check List

    E-Print Network [OSTI]

    Prinz, Friedrich B.

    Bleecker: WC Reporting Check List Risk Management 12/10/2012 Initial Injury/Illness Reporting Check List Questions contact Department's HR or Risk Management 650-723-7400 Any Death or Serious Injury://www.stanford.edu/dept/EHS/prod/general/su17.pdf Within 24 HRS Worker & Supervisor Fax to 650-723-9456 Original to Mail Code 6207 DWC 1 http://www.stanford.edu/dept/Risk-Management

  10. Check Heat Transfer Services; Industrial Technologies Program...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    the result of: * Low air:fuel ratios * Improper fuel preparation * Malfunctioning burners * Oxidation of heat transfer surfaces in high temperature applications * Corrosive...

  11. Water Quality

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Water Quality Water Quality We protect water quality through stormwater control measures and an extensive network of monitoring wells and stations encompassing groundwater, surface...

  12. Natural Pipeline of America Check Presentation 

    E-Print Network [OSTI]

    Unknown

    2011-08-17

    stream_source_info TR-330 Water Loss Test Results for Pipeline Units - Hidalgo Co ID No. 2.pdf.txt stream_content_type text/plain stream_size 17364 Content-Encoding ISO-8859-1 stream_name TR-330 Water Loss Test Results for Pipeline... Units - Hidalgo Co ID No. 2.pdf.txt Content-Type text/plain; charset=ISO-8859-1 TR-330 2008 Water Loss Test Results for the Pipeline Units: I-19/I-18, I-7A and I-22 Hidalgo County Irrigation District No. 2...

  13. Results of Phase I groundwater quality assessment for single-shell tank waste management Area S-SX at the Hanford Site

    SciTech Connect (OSTI)

    Johnson, V.G.; Chou, C.J.

    1998-01-01

    Pacific Northwest National Laboratory (PNNL) conducted a Phase I, Resource Conservation and Recovery Act of 1976 (RCRA) groundwater quality assessment for the Richland Field Office of the U.S. Department of Energy (DOE-RL), in accordance with the Federal Facility Compliance Agreement. The purpose of the investigation was to determine if the Single-Shell Tank Waste Management Area (WMA) S-SX has impacted groundwater quality. The WMA is located in the southern portion of the 200 West Area of the Hanford Site and consists of the 241-S and 241-SX tank farms and ancillary waste systems. The unit is regulated under RCRA interim-status regulations (40 CFR 265, Subpart F) and was placed in assessment groundwater monitoring (40 CFR 265.93 [d]) in August 1996 because of elevated specific conductance and technetium-99, a non-RCRA co-contaminant, in downgradient monitoring wells. Major findings of the assessment are summarized below: (1) Distribution patterns for radionuclides and RCRA/dangerous waste constituents indicate WMA S-SX has contributed to groundwater contamination observed in downgradient monitoring wells. (2) Drinking water standards for nitrate and technetium-99 are currently exceeded in one RCRA-compliant well (299-W22-46) located at the southeastern comer of the SX tank farm. (3) Technetium-99, nitrate, and chromium concentrations in downgradient well 299-W22-46 (the well with the highest current concentrations) appear to be declining after reaching maximum concentrations in May 1997. (4) Cesium-137 and strontium-90, major constituents of concern in single-shell tank waste, were not detected in any of the RCRA-compliant wells in the WMA network, including the well with the highest current technetium-99 concentrations (299-W22-46). (5) Low but detectable strontium-90 and cesium-137 were found in one old well (2-W23-7), located inside and between the S and SX tank farms.

  14. Swing Check Valve Design Criteria and CFD Validation

    SciTech Connect (OSTI)

    Dallstream, Brian E.; Fricke, Brian A.; Becker, Bryan R. [University of Missouri-Kansas City (United States)

    2006-07-01

    This paper provides information on swing check valve selection criteria suitable for nuclear power plant applications. In this project, four swing check valves were analyzed to demonstrate the implementation and application of this information. In this example, swing check valves were selected according to 'ASME Boiler and Pressure Vessel Code, Section III' and 'ASME B16.34, Valves Flanged, Threaded, and Welding End'. This paper also discusses the utilization of Computational Fluid Dynamics Software (CFD) as a means to analyze valve design. The use of CFD is a relatively new approach for validation of valve design that is becoming invaluable due to the high cost of physical bench testing. The Instrument Society of America (ISA) Analysis Division and the American Society of Mechanical Engineers (ASME) Computational Fluid Dynamics Technical Committee have taken a proactive approach in setting standards and practices for the use of CFD in design and validation. (authors)

  15. Check for peroxides every 6 months. opened test 1 test 2 test 3

    E-Print Network [OSTI]

    Pawlowski, Wojtek

    Check for peroxides every 6 months. opened test 1 test 2 test 3 date initials Check for peroxides every 6 months. opened test 1 test 2 test 3 date initials Check for peroxides every 6 months. Test strips can be obtained from EH&S, 5-8200 opened test 1 test 2 test 3 date initials Check for peroxides

  16. Summary of tests made to check conformity of prototype PAM's, readers and chargers with specifications

    E-Print Network [OSTI]

    Moy, B; Stevenson, G R

    1975-01-01

    Summary of tests made to check conformity of prototype PAM's, readers and chargers with specifications

  17. Studies in Power Quality Success 

    E-Print Network [OSTI]

    Laan, B. A.

    2000-01-01

    The California Energy Commission is actively supporting research and development to improve power quality. Poor power quality can result in productivity losses and compromise safety. Dealing with power quality problems when they arise can solve...

  18. Check for chirality in {sup 102}Rh

    SciTech Connect (OSTI)

    Tonev, D.; Goutev, N.; Yavahchova, M. S.; Petkov, P.; Angelis, G. de; Bhowmik, R. K.; Singh, R. P.; Muralithar, S.; Madhavan, N.; Kumar, R.; Raju, M. Kumar; Kaur, J.; Mahanto, G.; Singh, A.; Kaur, N.; Garg, R.; Sukla, A.; Marinov, Ts. K.; Brant, S.

    2012-10-20

    Excited states in {sup 102}Rh, populated by the fusion-evaporation reaction {sup 94}Zr({sup 11}B,3n){sup 102}Rh at a beam energy of 36 MeV, were studied using the INGA spectrometer at IUAC, New Delhi. The angular correlations and the electromagnetic character of some of the gamma-ray transitions observed were investigated in details. A new chiral candidate sister band was found in the level-scheme of {sup 102}Rh. Lifetimes of exited states in {sup 102}Rh were measured by means of the Doppler-shift attenuation technique. The experimental results do not support the presence of static chirality in {sup 102}Rh.

  19. Model Checking CS 4271, Lecture 4, 2nd Feb 2012

    E-Print Network [OSTI]

    Roychoudhury, Abhik

    (A) = {| |= } Language(A) is defined as per the -regular notion of string acceptance It accepts infinite length strings-based testing LTL Property System Model From test spec. Copyright 2011 by Abhik Roychoudhury3 Model Checking No, with Counter-example trace Generated Test Encoding test specifications Def. 1 A trace satisfies a test

  20. Combining Symbolic Execution and Model Checking for Data Flow Testing

    E-Print Network [OSTI]

    Su, Zhendong

    . Dynamic Symbolic Execution [14], [15] (DSE) is a widely accepted and effective approach for automatic testCombining Symbolic Execution and Model Checking for Data Flow Testing Ting Su Zhoulai Fu Geguang Pu@cs.ucdavis.edu Abstract--Data flow testing (DFT) focuses on the flow of data through a program. Despite its higher fault

  1. THE UNIVERSITY OF MISSISSIPPI POLICY ON BACKGROUND CHECKS

    E-Print Network [OSTI]

    Tchumper, Gregory S.

    employment such as arrests, expunged or sealed records. Applicants with a criminal history Credit Reporting Act (FCRA) mandates types of records that cannot be used to automatically deny check process. Human Resources contracts with an outside agency in executing the criminal, credit

  2. Checking Session-Oriented Interactions between Web Services

    E-Print Network [OSTI]

    Checking Session-Oriented Interactions between Web Services Pavel Parizek1 , Jiri Adamek1,2 1 of Sciences of the Czech Republic, Institute of Computer Science Abstract Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services

  3. Web Service Composition: a Reality Check Jianguo Lu, 2

    E-Print Network [OSTI]

    Lu, Jianguo

    - 1 - Web Service Composition: a Reality Check 1 Jianguo Lu, 2 Yijun Yu, 1 Debashis Roy, 1 Deepa Department, The Open University y.yu@open.ac.uk Abstract Automated web service composition is one dynamically and automatically. To investigate the methods for composite web service construction, we conducted

  4. Curriculum Model Checking: Declarative Representation and Verification of Properties

    E-Print Network [OSTI]

    Torino, Università di

    Curriculum Model Checking: Declarative Representation and Verification of Properties Matteo Baldoni-10149 Torino (Italy) baldoni@di.unito.it,elisa.mrng@gmail.com Abstract. When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user

  5. Model Checking for Database Theoreticians Moshe Y. Vardi 1#

    E-Print Network [OSTI]

    Vardi, Moshe Y.

    techniques to establish the correctness of the system under verification with respect to a given property. Model checking is an algorithmic­verification technique that is based on a small number of key ideas to database verification. 1 Introduction The recent growth in computer power and connectivity has changed

  6. Flat acceleration in symbolic model checking Sebastien Bardin1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    . Key words: verification of infinite-state systems, symbolic model checking, ac- celeration. 1 research teams from de- veloping powerful innovative model checkers for infinite-state systems. For example verification pro- cedures that can handle systems with an infinite state space. So-called "accelera- tion

  7. Oracle Circuits for Branching-Time Model Checking

    E-Print Network [OSTI]

    Doyen, Laurent

    is at least exponen- tially more succinct than its pure-future fragment [LMS02b]. 2 There is a similar model checking problem [LMS01,LMS02a]. However, for some remaining logics, the techniques used in [LMS01,LMS02a] for proving p 2-hardness do not apply. The difficulty here is that, if these prob- lems

  8. Dynamic Delayed Duplicate Detection for External Memory Model Checking

    E-Print Network [OSTI]

    Evangelista, Sami

    is a method to prove that finite state systems match their spec- ification. Given a model of the system space, of the system to check the validity of the property. Despite its simplicity, its practical to benefit from the aggregate computational power and memory of a cluster of machines, or make use

  9. Efficient Integrity Checking for Databases with Recursive Views

    E-Print Network [OSTI]

    Martinenghi, Davide

    Efficient Integrity Checking for Databases with Recursive Views Davide Martinenghi and Henning Christiansen Roskilde University, Computer Science Dept. P.O.Box 260, DK-4000 Roskilde, Denmark E-mail: {dm,henning-finding problems, such as network routing and travel planning. The introduction of re- cursion (since 1999

  10. Applying High Performance Computing to Analyzing by Probabilistic Model Checking

    E-Print Network [OSTI]

    Schneider, Carsten

    Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular on the use of high performance computing in order to analyze with the proba- bilistic model checker PRISM. The Figure Generation Script 22 2 #12;1. Introduction We report in this paper on the use of high performance

  11. Model checking LTL over controllable linear systems is decidable

    E-Print Network [OSTI]

    Pappas, George J.

    Model checking LTL over controllable linear systems is decidable Paulo Tabuada and George J. Pappas Department of Electrical and Systems Engineering University of Pennsylvania Philadelphia, PA 19104 {tabuadap,pappasg}@seas.upenn.edu Abstract. The use of algorithmic verification and synthesis tools for hy- brid systems is currently limited

  12. Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems

    E-Print Network [OSTI]

    @cs.kaist.ac.kr Abstract--Reliability of safety critical systems such as nuclear power plants and automobiles has become1 Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems Youngjoo Kim a significant issue to our society. As more computing systems are utilized in these safety critical systems

  13. Statistical Model Checking for Networks of Priced Timed Automata

    E-Print Network [OSTI]

    David, Alexandre

    Statistical Model Checking for Networks of Priced Timed Automata Alexandre David1 , Kim G. Larsen1- and cost-bounded properties. A second contribution of the paper is the application of Statistical Model-time and hybrid systems with quantitative constraints on time, energy or more general continuous aspects [1

  14. Algorithms for first-order model checking Daniel Kral' (Warwick)

    E-Print Network [OSTI]

    Banaji,. Murad

    Algorithms for first-order model checking Daniel Kral' (Warwick) Meta-algorithms for deciding time algorithm of Frick and Grohe which applies to graphs with locally bounded tree- width. In this talk, we first survey commonly applied techniques to design FPT algorithms for FO properties. We

  15. Error detection through consistency checking Peng Gong* Lan Mu#

    E-Print Network [OSTI]

    Silver, Whendee

    Error detection through consistency checking Peng Gong* Lan Mu# *Center for Assessment & Monitoring Hall, University of California, Berkeley, Berkeley, CA 94720-3110 gong@nature.berkeley.edu mulan, accessibility, and timeliness as recorded in the lineage data (Chen and Gong, 1998). Spatial error refers

  16. Redundancy-Aware Electromigration Checking for Mesh Power Grids

    E-Print Network [OSTI]

    Najm, Farid N.

    Redundancy-Aware Electromigration Checking for Mesh Power Grids Sandeep Chatterjee ECE Department-emerging as a significant problem in modern integrated circuits (IC). Especially in power grids, due to shrinking wire the reliability of the grid by considering it entirely as a series system. However, a power grid with its many

  17. Laboratory Personnel Safety Check List Employee/Student Name_________________________________ Date_______________

    E-Print Network [OSTI]

    Rubloff, Gary W.

    Laboratory Personnel Safety Check List Employee/Student Name_________________________________ Date in the laboratory? 2. _______ Has the PI/Lab Supervisor discussed all hazardous components of the research? a in the laboratory? 4. _______ Has the PI/Lab Supervisor discussed the need for the employee/student to inform health

  18. Detecting Termination of Active Database Rules Using Symbolic Model Checking

    E-Print Network [OSTI]

    Ray, Indrakshi

    Detecting Termination of Active Database Rules Using Symbolic Model Checking Indrakshi Ray is the non-termination of rules. Although algorithms have been proposed to detect non-termination, al- most all provide a conservative estimate; that is, the algorithms detect all the potential cases of non-termination

  19. Termination Checking: Comparing Structural Recursion and Sized Types by Examples

    E-Print Network [OSTI]

    Abel, Andreas

    Termination Checking: Comparing Structural Recursion and Sized Types by Examples David Thibodeau Decemer 3, 2011 Abstract Termination is an important property for programs and is necessary for formal proofs to make sense. In order to make sure that a program using recursion is terminating, one can use

  20. Model-Checking One-Clock Priced Timed Automata

    E-Print Network [OSTI]

    Doyen, Laurent

    Model-Checking One-Clock Priced Timed Automata Patricia Bouyer1 , Kim G. Larsen2 , and Nicolas, Denmark kgl@cs.aau.dk Abstract. We consider the model of priced (a.k.a. weighted) timed au- tomata, 18, 7]. In particu- lar, as part of this effort, the notion of priced (or weighted) timed automata [4

  1. ModelChecking OneClock Priced Timed Automata

    E-Print Network [OSTI]

    Doyen, Laurent

    Model­Checking One­Clock Priced Timed Automata Patricia Bouyer 1# , Kim G. Larsen 2## , and Nicolas, Denmark kgl@cs.aau.dk Abstract. We consider the model of priced (a.k.a. weighted) timed au­ tomata, 18, 7]. In particu­ lar, as part of this e#ort, the notion of priced (or weighted) timed automata [4

  2. Polymorphic CSP Type Checking Ping Gao and Robert Esser

    E-Print Network [OSTI]

    Esser, Robert

    Polymorphic CSP Type Checking Ping Gao and Robert Esser Concurrent and Real­time Systems Laboratory@cs.adelaide.edu.au Abstract Communicating Sequential Processes (CSP) is a lan­ guage used to describe and reason about between a conventional functional lan­ guage type checker and a type checker for the CSP language

  3. Private Client Services A PERSONAL INSURANCE CHECK-UP

    E-Print Network [OSTI]

    Emmons, Scott

    Private Client Services A PERSONAL INSURANCE CHECK-UP FOR YOU AND YOUR FAMILY You've worked hard management services. PROTECTING YOUR FUTURE Identifying a need before it becomes a problem is key. Working-for-profit organizations? #12;Marsh is one of the Marsh & McLennan Companies, together with Guy Carpenter, Mercer

  4. Cerro Grande Fire Impact to Water Quality and Stream Flow near Los Alamos National Laboratory: Results of Four Years of Monitoring

    SciTech Connect (OSTI)

    B.M. Gallaher; R.J. Koch

    2004-09-15

    In May 2000, the Cerro Grande fire burned about 7400 acres of mixed conifer forest on the Los Alamos National Laboratory (LANL), and much of the 10,000 acres of mountainside draining onto LANL was severely burned. The resulting burned landscapes raised concerns of increased storm runoff and transport of contaminants by runoff in the canyons traversing LANL. The first storms after the fire produced runoff peaks that were more than 200 times greater than prefire levels. Total runoff volume for the year 2000 increased 50% over prefire years, despite a decline in total precipitation of 13% below normal and a general decrease in the number of monsoonal thunderstorms. The majority of runoff in 2000 occurred in the canyons at LANL south of Pueblo Canyon (70%), where the highest runoff volume occurred in Water Canyon and the peak discharge occurred in Pajarito Canyon. This report describes the observed effects of the Cerro Grande fire and related environmental impacts to watersheds at and near Los Alamos National Laboratory (LANL) for the first four runoff seasons after the fire, from 2000 through 2003. Spatial and temporal trends in radiological and chemical constituents that were identified as being associated with the Cerro Grande fire and those that were identified as being associated with historic LANL discharges are evaluated with regard to impacts to the Rio Grande and area reservoirs downstream of LANL. The results of environmental sampling performed by LANL, the New Mexico Environment Department (NMED), and U.S. Geological Survey (USGS) after the Cerro Grande fire are included in the evaluation. Effects are described for storm runoff, baseflow, stream sediments, and area regional reservoir sediment.

  5. Removable check valve for use in a nuclear reactor

    DOE Patents [OSTI]

    Dunn, Charlton (Calabasas, CA); Gutzmann, Edward A. (Simi Valley, CA)

    1988-01-01

    A removable check valve for interconnecting the discharge duct of a pump and an inlet coolant duct of a reactor core in a pool-type nuclear reactor. A manifold assembly is provided having an outer periphery affixed to and in fluid communication with the discharge duct of the pump and has an inner periphery having at least one opening therethrough. A housing containing a check valve is located within the inner periphery of the manifold. The upper end of the housing has an opening in alignment with the opening in the manifold assembly, and seals are provided above and below the openings. The lower end of the housing is adapted for fluid communication with the inlet duct of the reactor core.

  6. Non-trivial checks of novel consistency relations

    SciTech Connect (OSTI)

    Berezhiani, Lasha; Khoury, Justin; Wang, Junpu E-mail: jkhoury@sas.upenn.edu

    2014-06-01

    Single-field perturbations satisfy an infinite number of consistency relations constraining the squeezed limit of correlation functions at each order in the soft momentum. These can be understood as Ward identities for an infinite set of residual global symmetries, or equivalently as Slavnov-Taylor identities for spatial diffeomorphisms. In this paper, we perform a number of novel, non-trivial checks of the identities in the context of single field inflationary models with arbitrary sound speed. We focus for concreteness on identities involving 3-point functions with a soft external mode, and consider all possible scalar and tensor combinations for the hard-momentum modes. In all these cases, we check the consistency relations up to and including cubic order in the soft momentum. For this purpose, we compute for the first time the 3-point functions involving 2 scalars and 1 tensor, as well as 2 tensors and 1 scalar, for arbitrary sound speed.

  7. Patterned Fabric Know - How (Plaids, Stripes, Checks, and Figured Designs). 

    E-Print Network [OSTI]

    Anoymous,

    1984-01-01

    Fabric mow-Kbw Contents Design Principles and Patterned Fabrics Pattern Selection Fabric Construction Selecting and Preparing Fabric Kinds of Plaids and Stripes Pri nts Other Patterned Fabrics Combining Patterned Fabrics Amount of Fabric Needed... Fabric Preparation Pattern Placement For a Pleasi ng Effect For Matching Assembling the Garment Fabric Care References 3 4 4 5 5 5 6 7 7 7 7 7 9 10 10 11 PATTERNED FABRIC KNOW-HOW (Plaids, Stripes, Checks and Figured Designs...

  8. "I'd Like to Check Out Two Books, One DVD, and One Electrical...

    Energy Savers [EERE]

    "I'd Like to Check Out Two Books, One DVD, and One Electrical Meter, Please." "I'd Like to Check Out Two Books, One DVD, and One Electrical Meter, Please." December 8, 2009 -...

  9. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

    E-Print Network [OSTI]

    : Formal Verification, Abstraction, Model Checking, Hybrid Systems, Refinement, Counterexamples #12Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems Edmund Clarke a counterexample generated by the model checker. For hybrid systems, analysis of the counterexample requires

  10. Results of a Quality Assurance Review of External Beam Radiation Therapy in the International Society of Paediatric Oncology (Europe) Neuroblastoma Group's High-risk Neuroblastoma Trial: A SIOPEN Study

    SciTech Connect (OSTI)

    Gaze, Mark N., E-mail: mark.gaze@uclh.nhs.uk [Department of Oncology, University College London Hospitals NHS Foundation Trust, London (United Kingdom); Boterberg, Tom [Department of Radiation Oncology, Ghent University Hospital, Ghent (Belgium)] [Department of Radiation Oncology, Ghent University Hospital, Ghent (Belgium); Dieckmann, Karin; Hoermann, Marcus [General Hospital Vienna, Medical University Vienna (Austria)] [General Hospital Vienna, Medical University Vienna (Austria); Gains, Jennifer E.; Sullivan, Kevin P. [Department of Oncology, University College London Hospitals NHS Foundation Trust, London (United Kingdom)] [Department of Oncology, University College London Hospitals NHS Foundation Trust, London (United Kingdom); Ladenstein, Ruth [Children's Cancer Research Institute, St. Anna Children's Hospital, Vienna (Austria)] [Children's Cancer Research Institute, St. Anna Children's Hospital, Vienna (Austria)

    2013-01-01

    Purpose: Radiation therapy is important for local control in neuroblastoma. This study reviewed the compliance of plans with the radiation therapy guidelines of the International Society of Paediatric Oncology (Europe) Neuroblastoma Group (SIOPEN) High-Risk Trial protocol. Methods and Materials: The SIOPEN trial central electronic database has sections to record diagnostic imaging and radiation therapy planning data. Individual centers may upload data remotely, but not all centers involved in the trial chose to use this system. A quality scoring system was devised based on how well the radiation therapy plan matched the protocol guidelines, to what extent deviations were justified, and whether adverse effects may result. Central review of radiation therapy planning was undertaken retrospectively in 100 patients for whom complete diagnostic and treatment sets were available. Data were reviewed and compared against protocol guidelines by an international team of radiation oncologists and radiologists. For each patient in the sample, the central review team assigned a quality assurance score. Results: It was found that in 48% of patients there was full compliance with protocol requirements. In 29%, there were deviations for justifiable reasons with no likely long-term adverse effects resulting. In 5%, deviations had occurred for justifiable reasons, but that might result in adverse effects. In 1%, there was a deviation with no discernible justification, which would not lead to long-term adverse events. In 17%, unjustified deviations were noted, with a risk of an adverse outcome resulting. Conclusions: Owing to concern over the proportion of patients in whom unjustified deviations were observed, a protocol amendment has been issued. This offers the opportunity for central review of radiation therapy plans before the start of treatment and the treating clinician a chance to modify plans.

  11. Academic Handbook, Registration, Criminal Records Check (VSS) Page 1 Issued: 2011 12

    E-Print Network [OSTI]

    Lennard, William N.

    Academic Handbook, Registration, Criminal Records Check (VSS) Page 1 Issued: 2011 12 Criminal not require a Criminal Records Check or other screening procedure (e.g., Vulnerable Sector Screen {VSS should be aware that a criminal records check or VSS may be required by other facilities used

  12. Quantum algorithms to check Resiliency, Symmetry and Linearity of a Boolean function

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Quantum algorithms to check Resiliency, Symmetry and Linearity of a Boolean function Kaushik algorithms to check the order of resiliency, symmetry and linearity of a Boolean function that is available be exploited to check whether a Boolean function is symmetric (respectively linear) or not. Given a Boolean

  13. Evaluation of Semantic Graph based on Model Checking Mahdi Gueffaz, Sylvain Rampacek and Christophe Nicolle

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    floods. Model checking is a powerful tool for system verification because it can reveal errors that were to describe the properties checking the system model. 395 hal-00617998,version1-31Aug2011 Author manuscriptSCALESEM Evaluation of Semantic Graph based on Model Checking Mahdi Gueffaz, Sylvain Rampacek

  14. Bounded Model Checking and Feature Omission Amin Alipour and Alex Groce

    E-Print Network [OSTI]

    Groce, Alex David

    counterexample to the system, in which case BMC verification implies system correctness. of model checking runs model checking, based on parallel runs over versions of a system in which features have been randomly. INTRODUCTION Model checking [5] is a technique for formal verification, which inspects all reachable states

  15. By April 15 Submit Abstract (electronically) Abstract Payment Form (with $35 check or credit card)

    E-Print Network [OSTI]

    Gadsby, David

    DEADLINES By April 15 Submit Abstract (electronically) Abstract Payment Form (with $35 check Rental Form (with check or credit card) Submit Late Abstract and Form (with $35 check or credit card.sgpweb.org For overnight delivery: Society of General Physiologists 35 Cumloden Drive Falmouth, MA 02540 #12;

  16. Optimizing ZigBee Security using Stochastic Model Checking

    E-Print Network [OSTI]

    Yüksel, Ender; Nielson, Flemming; Fruth, Matthias; Kwiatkowska, Marta

    2012-01-01

    ZigBee is a fairly new but promising wireless sensor network standard that offers the advantages of simple and low resource communication. Nevertheless, security is of great concern to ZigBee, and enhancements are prescribed in the latest ZigBee specication: ZigBee-2007. In this technical report, we identify an important gap in the specification on key updates, and present a methodology for determining optimal key update policies and security parameters. We exploit the stochastic model checking approach using the probabilistic model checker PRISM, and assess the security needs for realistic application scenarios.

  17. Modelling Chinese Smart Grid: A Stochastic Model Checking Case Study

    E-Print Network [OSTI]

    Yüksel, Ender; Nielson, Flemming; Zhu, Huibiao; Huang, Heqing

    2012-01-01

    Cyber-physical systems integrate information and communication technology functions to the physical elements of a system for monitoring and controlling purposes. The conversion of traditional power grid into a smart grid, a fundamental example of a cyber-physical system, raises a number of issues that require novel methods and applications. In this context, an important issue is the verification of certain quantitative properties of the system. In this technical report, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative properties including performance and battery consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.

  18. Check In & Registration - Combustion Energy Frontier Research Center

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 OutreachProductswsicloudwsiclouddenDVA N C E D BGene NetworkNuclear SecurityChattan ooga Eag le For dCheck In

  19. Laboratory QualityLaboratory Quality ControlControl

    E-Print Network [OSTI]

    Laboratory QualityLaboratory Quality ControlControl Nabil A. NIMER Dept . Biotechnology & Genetic thatQA is defined as the overall program that ensures that the final results reported by the laboratory areensures that the final results reported by the laboratory are correct.correct. ""The aim of quality

  20. Reasoning About Strategies: On the Model-Checking Problem

    E-Print Network [OSTI]

    Mogavero, Fabio; Perelli, Giuseppe; Vardi, Moshe Y

    2011-01-01

    In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction between agents and express the correctness of the system no matter how the environment behaves. An important contribution in this context is given by modal logics for strategic ability, in the setting of multi-agent games, such as ATL, ATL*, and the like. Recently, Chatterjee, Henzinger, and Piterman introduced Strategy Logic (CHP-SL), with the aim of getting a powerful framework for reasoning explicitly about strategies. CHP-SL is obtained by using first-order quantifications over strategies and it has been investigated in the setting of two-agents turned-based games, where a non-elementary model-checking algorithm has been provided. While CHP-SL is a very expressive logic, we claim that it does not fully capture the strategic aspects of multi-agent systems. In this paper, we introduce and study a more general strategy logic, denoted SL, for reasoning about strategies in multi-agent co...

  1. DBS eligibility guidance v2.1 October 2013 -1 -A guide to eligibility for criminal record checks

    E-Print Network [OSTI]

    Harman, Neal.A.

    . The DBS will be removing certain specified old and minor offences from criminal record certificates issued Act 1997 (Criminal Records) Regulations. Enhanced checks with children's and/or adult's barred list check(s) ­ To be eligible to request a check of the children's or adult's barred lists, the position

  2. Analyst Tools and Quality Control Software for the ARM Data System

    SciTech Connect (OSTI)

    Moore, Sean; Hughes, Gary

    2008-07-31

    Mission Research develops analyst tools and automated quality control software in order to assist the Atmospheric Radiation Measurement (ARM) Data Quality Office with their data inspection tasks. We have developed web-based data analysis and visualization tools such as the interactive plotting program NCVweb, various diagnostic plot browsers, and a datastream processing status application. These tools allow even novice ARM researchers to be productive with ARM data with only minimal effort. We also contribute to the ARM Data Quality Office by analyzing ARM data streams, developing new quality control metrics, new diagnostic plots, and integrating this information into DQ HandS - the Data Quality Health and Status web-based explorer. We have developed several ways to detect outliers in ARM data streams and have written software to run in an automated fashion to flag these outliers. We have also embarked on a system to comprehensively generate long time-series plots, frequency distributions, and other relevant statistics for scientific and engineering data in most high-level, publicly available ARM data streams. Furthermore, frequency distributions categorized by month or by season are made available to help define valid data ranges specific to those time domains. These statistics can be used to set limits that when checked, will improve upon the reporting of suspicious data and the early detection of instrument malfunction. The statistics and proposed limits are stored in a database for easy reporting, refining, and for use by other processes. Web-based applications to view the results are also available.

  3. Casting out nines is a method for checking the accuracy of arithmetic ...

    E-Print Network [OSTI]

    Roames, Renee S

    2015-08-19

    Math 13700. Casting out Nines. Assignment #34. Casting out nines is a method for checking the accuracy of arithmetic. You can cast out nines by adding the ...

  4. Failure Modes and Causes for Swing and Lift Type Check Valves

    Office of Scientific and Technical Information (OSTI)

    Group (NIC), ORNL has reviewed and analyzed check valve failures from the Institute of Nuclear Power Operations' (INPOs') Nuclear Plant Reliability Database System (NPRDS)...

  5. Failure Modes and Causes for Swing and Lift Type Check Valves...

    Office of Scientific and Technical Information (OSTI)

    to the recent work performed by Oak Ridge National Laboratory (ORNL)relative to nuclear industry check valve performance, no information was readily available regarding the...

  6. Good Practices as a Quality-Oriented Modeling Vincent Le Gloahec

    E-Print Network [OSTI]

    Boyer, Edmond

    Good Practices as a Quality-Oriented Modeling Assistant Vincent Le Gloahec Alkante SAS, France. These good practices are often described in software quality manuals that, in this form, do not guarantee framework enables on the one hand to describe the good practices and on the other hand to check

  7. Estimate product quality with ANNs

    SciTech Connect (OSTI)

    Brambilla, A. [Univ. of Pisa (Italy); Trivella, F. [Adicon Advanced Distillation Control SrL, Pisa (Italy)

    1996-09-01

    Artificial neural networks (ANNs) have been applied to predict catalytic reformer octane number (ON) and gasoline splitter product qualities. Results show that ANNs are a valuable tool to derive fast and accurate product quality measurements, and offer a low-cost alternative to online analyzers or rigorous mathematical models. The paper describes product quality measurements, artificial neural networks, ANN structure, estimating gasoline octane numbers, and estimating naphtha splitter product qualities.

  8. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Showing 41 - 50 of 53 results. Download Material and Chemical Processing (Concentrated Solar) (4 Activities) Concentrated sunlight is a versatile and high-quality form of energy...

  9. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Showing 21 - 30 of 35 results. Download Material and Chemical Processing (Concentrated Solar) (4 Activities) Concentrated sunlight is a versatile and high-quality form of energy...

  10. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Showing 21 - 30 of 25 results. Download Material and Chemical Processing (Concentrated Solar) (4 Activities) Concentrated sunlight is a versatile and high-quality form of energy...

  11. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Showing 11 - 20 of 12 results. Download Material and Chemical Processing (Concentrated Solar) (4 Activities) Concentrated sunlight is a versatile and high-quality form of energy...

  12. Poster — Thur Eve — 17: In-phantom and Fluence-based Measurements for Quality Assurance of Volumetric-driven Adaptation of Arc Therapy

    SciTech Connect (OSTI)

    Schaly, B; Hoover, D; Mitchell, S; Wong, E

    2014-08-15

    During volumetric modulated arc therapy (VMAT) of head and neck cancer, some patients lose weight which may result in anatomical deviations from the initial plan. If these deviations are substantial a new treatment plan can be designed for the remainder of treatment (i.e., adaptive planning). Since the adaptive treatment process is resource intensive, one possible approach to streamlining the quality assurance (QA) process is to use the electronic portal imaging device (EPID) to measure the integrated fluence for the adapted plans instead of the currently-used ArcCHECK device (Sun Nuclear). Although ArcCHECK is recognized as the clinical standard for patient-specific VMAT plan QA, it has limited length (20 cm) for most head and neck field apertures and has coarser detector spacing than the EPID (10 mm vs. 0.39 mm). In this work we compared measurement of the integrated fluence using the EPID with corresponding measurements from the ArcCHECK device. In the past year nine patients required an adapted plan. Each of the plans (the original and adapted) is composed of two arcs. Routine clinical QA was performed using the ArcCHECK device, and the same plans were delivered to the EPID (individual arcs) in integrated mode. The dose difference between the initial plan and adapted plan was compared for ArcCHECK and EPID. In most cases, it was found that the EPID is more sensitive in detecting plan differences. Therefore, we conclude that EPID provides a viable alternative for QA of the adapted head and neck plans and should be further explored.

  13. Making Automated Building Code Checking A Reality1 Charles S. Han, John Kunz, Kincho H. Law

    E-Print Network [OSTI]

    Stanford University

    Making Automated Building Code Checking A Reality1 Charles S. Han, John Kunz, Kincho H. Law Center for automated code-checking to be successful, the program that does the analysis of a building design must set of building codes. The complexity and changing nature of codes leads to delays in both the design

  14. A Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

    E-Print Network [OSTI]

    Boyer, Edmond

    and complexity of system on chip (SoC) designs. Powerful formal verification methods have been playing, model checking for complex designs may be beyond the power of available tools and computing resourceA Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

  15. Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with

    E-Print Network [OSTI]

    Platzer, André

    Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid accurately model real-world power consumption). We propose Distributed Probabilistic-Control Hybrid Automata and apply existing statistical model- checking techniques. We provide an implementation of a framework

  16. Abstraction and CounterexampleGuided Refinement in Model Checking of Hybrid Systems

    E-Print Network [OSTI]

    : Formal Verification, Abstraction, Model Checking, Hybrid Systems, Refinement, Counterexamples #12; 1Abstraction and Counterexample­Guided Refinement in Model Checking of Hybrid Systems Edmund Clarke a counterexample generated by the model checker. For hybrid systems, analysis of the counterexample requires

  17. University of Washington | Human Resources | UTemp Staffing Program REFERENCE CHECKING CONSENT AND AUTHORIZATION FORM

    E-Print Network [OSTI]

    Matrajt, Graciela

    University of Washington | Human Resources | UTemp Staffing Program REFERENCE CHECKING CONSENT of Washington and have provided information about my previous employment. I authorize the University of Washington to conduct a reference check with my present and/or previous employer(s). I understand

  18. INTELLIGENT PERFORMANCE CHECK OF PV SYSTEM OPERATION BASED ON SATELLITE DATA

    E-Print Network [OSTI]

    Heinemann, Detlev

    INTELLIGENT PERFORMANCE CHECK OF PV SYSTEM OPERATION BASED ON SATELLITE DATA A. Drews* , J. Betcke of a fully automated service for performance check and error detection for photovoltaic (PV) systems by daily surveillance. Malfunctions of a grid-connected PV system, e.g. drop out of single module strings

  19. Attend VCS resume review sessions in RTH Check Viterbi graduate student blog for

    E-Print Network [OSTI]

    Zhou, Chongwu

    PhD Attend VCS resume review sessions in RTH 218 Check Viterbi graduate student blog for Ph con- nectSC and Company websites in fall Attend VCS Workshops Check Viterbi graduate student blog Viterbi graduate student blog at http://gappblog.usc.edu/ Attend Company Information Sessions (Employer

  20. Check list for introduction of new employees at the Department of Plant Protection Biology, SLU, Alnarp.

    E-Print Network [OSTI]

    Check list for introduction of new employees at the Department of Plant Protection Biology, SLU........................ .. ...................................................... 1. Routines and rules for insect and plant cultivation 2. Washing up routines 3. Ordering routines/supervisor............................................................................................. Check list for employee leaving the department Head

  1. Approximate model checking of stochastic hybrid systems , J.-P. Katoen

    E-Print Network [OSTI]

    Abate, Alessandro

    -room heating system. 1 Introduction Stochastic hybrid systems are a broad and widely applicable classApproximate model checking of stochastic hybrid systems A. Abate , J.-P. Katoen , J. Lygeros , and M. Prandini§ Abstract A method for approximate model checking of stochastic hybrid systems

  2. MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and

    E-Print Network [OSTI]

    Czarnecki, Krzysztof

    MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers Edward present a method and an associated system, called Math- Check, that embeds the functionality of a computer algebra system (CAS) within the inner loop of a conflict-driven clause-learning SAT solver. SAT

  3. Context-Bounded Model Checking of LTL Properties for ANSI-C Software

    E-Print Network [OSTI]

    Context-Bounded Model Checking of LTL Properties for ANSI-C Software Jeremy Morse1 , Lucas Cordeiro in low-level programming languages like ANSI- C. In this paper, we describe and experiment such as ANSI-C [9, 23, 17]. In context-bounded model checking, the state spaces of such applications

  4. SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University to the verification of embedded soft- ware written in ANSI-C. We have extended the encodings from previous SMT. Keywords-Bounded Model Checking; Satisfiability Modulo Theories; Embedded ANSI-C Software; I. INTRODUCTION

  5. A Tool for Checking ANSI-C Programs Edmund Clarke, Daniel Kroening, and Flavio Lerda

    E-Print Network [OSTI]

    Clarke, Edmund M.

    A Tool for Checking ANSI-C Programs Edmund Clarke, Daniel Kroening, and Flavio Lerda Carnegie Mellon University Abstract. We present a tool for the formal verification of ANSI-C pro- grams using Bounded Model Checking (BMC). The emphasis is on us- ability: the tool supports almost all ANSI-C language

  6. Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1999-09-29

    To establish an effective management system [i.e., quality assurance programs (QAPs)] using the performance requirements of this Order, coupled with technical standards where appropriate. Cancels DOE O 414.1.

  7. Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2005-06-17

    This Order ensures that the quality of DOE/NNSA products and services meets or exceeds the customers' expectations. Cancels DOE O 414.1B and DOE N 411.1. Canceled by DOE O 414.1D.

  8. Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2004-04-29

    This Order ensures that the quality of DOE/NNSA products and services meets or exceeds the customer's expectations. This Order cancels DOE O 414.1A, Quality Assurance, dated 9-29-99, and Attachment 1, paragraph 8, and Attachment 2, paragraph 22, of DOE O 440.1A, Worker Protection Management for DOE Federal and Contractor Employees, dated 3-27-98. Cancels: DOE O 414.1A and DOE O 440.1A, parts as noted.

  9. Total quality management implementation guidelines

    SciTech Connect (OSTI)

    Not Available

    1993-12-01

    These Guidelines were designed by the Energy Quality Council to help managers and supervisors in the Department of Energy Complex bring Total Quality Management to their organizations. Because the Department is composed of a rich mixture of diverse organizations, each with its own distinctive culture and quality history, these Guidelines are intended to be adapted by users to meet the particular needs of their organizations. For example, for organizations that are well along on their quality journeys and may already have achieved quality results, these Guidelines will provide a consistent methodology and terminology reference to foster their alignment with the overall Energy quality initiative. For organizations that are just beginning their quality journeys, these Guidelines will serve as a startup manual on quality principles applied in the Energy context.

  10. Introduction Quality & Information Asymmetry Quality & Product Differentiation Quality & Outsourcing Quality & Supplier Quality Competition in

    E-Print Network [OSTI]

    Nagurney, Anna

    & Outsourcing Quality & Supplier Quality Competition in Supply Chain Networks with Applications to Information Asymmetry, Product Differentiation, Outsourcing, and Supplier Selection Dong "Michelle" Li Doctoral & Supplier 1 Introduction 2 Quality & Information Asymmetry A Supply Chain Network Model with Information

  11. QualityGate SourceAudit: A Tool for Assessing the Technical Quality of Software

    E-Print Network [OSTI]

    Ferenc, Rudolf

    QualityGate SourceAudit: A Tool for Assessing the Technical Quality of Software Tibor Bakota Front the internal quality of the system over time. This phenomena is called software erosion, which results assessment of software quality. By monitoring the high-level technical quality of systems it is possible

  12. CSP 542: Internet Design and Analysis Eric Siegel, Designing Quality-of-Service Solutions for the Enterprise, John Wiley and Sons, ISBN 0471333131

    E-Print Network [OSTI]

    Heller, Barbara

    CSP 542: Internet Design and Analysis Texts Eric Siegel, Designing Quality-of-Service Solutions March 2006 (html, css checks) CSP 542: Internet Design and Analysis - CS Dept, Illinois ... 1 of 1 #12;

  13. Quality Assurance for Residential Retrofit Programs

    Broader source: Energy.gov [DOE]

    This webinar covered quality assurance and how to assure that your investment achieves a desired result of saving energy.

  14. Instant HR January 9, 2008 TOPIC: Compliance Issues -Sign Up Now for New Background Check and I-9 Training

    E-Print Network [OSTI]

    Hammack, Richard

    you need to follow for criminal records background checks and to become familiar with the federal I-9 using HireRight, the new on-line system for requesting criminal history background checks on all new

  15. Polar Shear Lag Analysis of a Composite of Concentric Cylinders with Longitudinal Cracks: Application to Internal Checking in Wood

    E-Print Network [OSTI]

    Nairn, John A.

    : Application to Internal Checking in Wood J.A.Nairn Wood Science and Engineering, Oregon State University the existence of internal checks lowers the value of the wood when it is milled into lumber (due to detrimental

  16. Design and Testing of Vacuum Breaker Check Valve for Simplified Boiling Water Reactor

    SciTech Connect (OSTI)

    Ishii, M.; Xu, Y.; Revankar, S.T.

    2002-07-01

    A new design of the vacuum breaker check valve was developed to replace the mechanical valve in a simplified boiling water reactor. Scaling and design calculations were performed to obtain the geometry of new passive hydraulic vacuum breaker check valve. In order to check the valve performance, a RELAP5 model of the simplified boiling water reactor system with the new valve was developed. The valve was implemented in an integral facility, PUMA and was tested for large break loss of coolant accident. (authors)

  17. Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1981-07-21

    To provide Department of Energy (DOE) policy, set forth principles, and assign responsibilities for establishing, implementing, and maintaining programs of plans and actions to assure quality achievement in DOE programs. Cancels DOE O 5700.6, dated 1-16-1981. Canceled by DOE O 5700.6B, dated 9-23-1986.

  18. Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    1981-01-16

    To provide Department of Energy (DOE) policy, set forth principles, and assign responsibilities for establishing, implementing, and maintaining programs of plans and actions to assure quality achievement in DOE programs. Canceled by DOE O 5700.6A, dated 7-21-1981.

  19. Steam Quality 

    E-Print Network [OSTI]

    Johnston, W.

    1989-01-01

    "STEAM QUALITY has been generally defined as the amount of moisture/vapor (or lack thereof) contained within steam produced from some form of boiler. It has long been used as the standard term for the measurement of ""wet or dry"" steam and as a...

  20. Checking and Debugging of Two-level Sadegh SAIDI and Jean-Francois BOULICAUT

    E-Print Network [OSTI]

    Boulicaut, Jean-François

    Checking and Debugging of Two-level Grammars Sadegh SAIDI and Jean-Francois BOULICAUT Ecole Centrale de Lyon D6partement Math6matiques-Informatique-Syst~mes BP 163 F-69131 Ecully cedex e-mail : saidi

  1. ErikaCheck,Washington Scientists at a military medical facility in

    E-Print Network [OSTI]

    ErikaCheck,Washington Scientists at a military medical facility in Washington DC have lashed out on the campus of the Walter Reed Army Medical Center and at several smaller facilities in the Washington area

  2. Pseudo-random construction and reduced complexity decoding for low density parity check codes 

    E-Print Network [OSTI]

    Prabhakar, Abhiram

    2001-01-01

    The bipartite graph of an LDPC code is typically constructed at random. The memory required to store the randomly constructed parity-check matrix at the decoder can be prohibitive in some applications. When a system has a ...

  3. MARSAME Evaluate the Survey Results 6 EVALUATE THE SURVEY RESULTS

    E-Print Network [OSTI]

    .1 illustrates the assessment phase of the data life cycle. 6.2 Conduct Data Quality Assessment Data quality important milestone. Figure 6.1 The Assessment Phase of the Data Life Cycle In cases where the survey did phase of the data life cycle involves the interpretation of survey results. Interpretation of survey

  4. Prototype of Automated PLC Model Checking Using Continuous Integration Tools

    E-Print Network [OSTI]

    Lettrich, Michael

    2015-01-01

    To deal with the complexity of operating and supervising large scale industrial installations at CERN, often Programmable Logic Controllers (PLCs) are used. A failure in these control systems can cause a disaster in terms of economic loses, environmental damages or human losses. Therefore the requirements to software quality are very high. To provide PLC developers with a way to verify proper functionality against requirements, a Java tool named PLCverif has been developed which encapsulates and thus simplifies the use of third party model checkers. One of our goals in this project is to integrate PLCverif in development process of PLC programs. When the developer changes the program, all the requirements should be verified again, as a change on the code can produce collateral effects and violate one or more requirements. For that reason, PLCverif has been extended to work with Jenkins CI in order to trigger automatically the verication cases when the developer changes the PLC program. This prototype has been...

  5. SU-E-T-223: Investigation of the Accuracy of Two-Dimensional Dose Distributions Measurement From High-Dose-Rate Brachytherapy Ir-192 Source Using Multiple-Diode-Array Detector (MapCheck2)

    SciTech Connect (OSTI)

    Taguenang, J; De La Fuente, T Herman; Ahmad, S; Ali, I [Oklahoma Univ. Health Science Ctr., Oklahoma City, OK (United States)

    2014-06-01

    Purpose: To investigate the dosimetric accuracy of multiple-diode-array detector (Mapcheck2) for high-dose-rate brachytherapy Ir-192 source. The two-dimensional (2D) dose distributions measured with MapCheck2 were validated with EBT2 Gafchromic film measurement and AAPM task-group- 43 (TG-43) modeling. Methods: 2D-dose distributions from Ir-192 source were measured with MapCheck2 and EBT2-films. MapCheck2 response was corrected for effects: directional dependence, diode and phantom heterogeneity. Optical density growth of the film was controlled by synchronized scanning of the film exposed to Ir-192 and calibration films exposed to 6 MV linac beams. Similarly, MapCheck2 response was calibrated to dose using 6 MV beams. An empirical model was developed for the dose distributions measured with Mapcheck2 that considered directional, diode and phantom heterogeneity corrections. The dose deposited in solid-state-detectors was modeled using a cavity theory model for the diode. This model was then validated with measurements using EBT2-films and calculations with TG-43. Results: The response of MapCheck2 has been corrected for different effects including: (a) directional dependence of 0–20% over angular range 0o–90o, (b) phantom heterogeneity (3%) and (c) diode heterogeneity (9%). The corrected dose distributions measured with MapCheck2 agreed well with the measured dose distributions from EBT2-film and with calculations using TG-43 within 5% over a wide range of dose levels and rates. The advantages of MapCheck2 include less noisy, linear and stable response compared with film. The response of MapCheck2 exposed to 192Ir-source showed no energy dependence similar to its response to MV energy beam. Detection spatial-resolution of individual diodes was 0.8×0.8 mm2, however, 2DMapCheck2 resolution is limited by distance between diodes (7.07 mm). Conclusion: The dose distribution measured with MapCheck2 agreed well within 5% with that measured using EBT2-films; and calculations with TG- 43. Considering correction of artifacts, MapCheck2 provides a compact, practical and accurate dosimetric tool for measurement of 2D-dose distributions for brachytherapy Ir-192.

  6. Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2001-07-12

    To establish an effective management system [i.e., quality assurance programs(QAPs)] using the performance requirements of this Order, coupled with technical standards where appropriate. Change 1, dated 7/12/01, facilitates the Department's organizational transition necessitated by establishment of the NNSA. (Attachment 2 of this Order is canceled by DOE O 470.2B.) Cancels: DOE O 414.1

  7. SU-E-T-631: Commissioning and Comprehensive Evaluation of the ArcCHECK Cylindrical Diode Array for VMAT QA

    SciTech Connect (OSTI)

    Chaswal, V; Weldon, M; Gupta, N; Rong, Y

    2014-06-15

    Purpose: Commissioning and comprehensive evaluation of ArcCHECK phantom for dosimetry of VMAT QA, using 6MV photon beam with and without the flattening filter. Methods: ArcCHECK was evaluated for response dependency on linac dose rate, instantaneous dose rate, radiation field size, beam angle and couch insertion. Scatter dose characterization, consistency and symmetry of response, dosimetric accuracy of fixed aperture arcs and clinical VMAT plans were investigated. Measurements were done using TrueBeam™ STx accelerator (Console version 1.6) with a 6 MV beam with and without flattening filter. Reference dose-grids were calculated using Eclipse TPS Analytical Anisotropic Algorithm (AAA version 10.0.39). Planned doses were calculated using symmetric 2mm 3D dose grids with 4 degree angular resolution defaulted to each control point. Gamma evaluations were performed in absolute dose mode, with default normalization to maximum dose in the curved plane and a low dose threshold of 10% to restrict the analysis to clinically relevant areas. Global and local gamma indices at 3mm/3% and 2mm/2% level were computed using SNC software (version 6.0). Results: Results of gamma analysis demonstrated an overall agreement between ArcCHECK measured and TPS calculated reference doses. Field size dependency was within 0.5% of the reference. Dose-rate based dependency was well within 1% of the TPS reference and the angular dependency was ±3% of the reference, as tested for BEV angles. At the level of 3%/3mm, narrow and wide open arcs as well as clinical VMAT cases demonstrated high level of dosimetry accuracy in global gamma passing rates for both 6X and 6F beams. At the level of 2%/2mm two VMAT cases involving the narrow heavily modulated arcs demonstrated lower passing rates. Conclusion: ArcCHECK phantom with latest software and hardware upgrades is suitable for VMAT QA. For higher sensitivity of 2%/2mm gamma analysis, we intend to use it as one of the VMAT QA evaluation metrics.

  8. Design Quality Criteria Design Quality Criteria

    E-Print Network [OSTI]

    van Sinderen, Marten

    Design Quality Criteria 19 Chapter 2 Design Quality Criteria This chapter discusses what qualities are desirable of an application protocol design, and what quality criteria can be used when evaluating methodology. The quality criteria presented are not peculiar to application protocol design

  9. Indoor air quality: Selected references

    SciTech Connect (OSTI)

    Not Available

    1989-05-01

    This document was compiled in response to an increasing number of requests for information about indoor air quality, including sick-building syndrome. Included in the publication are the NIOSH Congressional testimony presented before the Subcommittee on Energy Development and Applications; two articles describing the results of NIOSH research and findings on indoor air-quality problems; NIOSH guidance on conducting indoor-air-quality investigations; and a description of the NIOSH health-hazard evaluation program, which can provide NIOSH assistance in evaluating indoor-air-quality problems.

  10. Checking out HUD`s proposed mobile home performance standards

    SciTech Connect (OSTI)

    Judkoff, R.

    1993-11-01

    This article evaluates both the performance of two mobile homes built to meet recently proposed federal energy performance standards and the standards themselves. Topics include test methods, results, thermal exposure infrared scan results; regulators, thermal characteristics of test homes, real life conditions, factory observations, the future of mobile home energy efficiency.

  11. Data Driven Quality Assurance and Quality Control

    Broader source: Energy.gov [DOE]

    "Data Driven Quality Assurance & Quality Control," Patrick Roche, Conservation Services Group. Provides an overview of data QA/QC system design.

  12. Quality Assurance: Patient Chart Reviews

    SciTech Connect (OSTI)

    Oginni, B. M. [Department of Physics and Astronomy, Ohio University, Athens, OH 45701 (United States); Odero, D. O. [Raleigh Regional Cancer Center, Beckley, West Virginia 25801 (United States)

    2009-07-06

    Recent developments in radiation therapy have immensely impacted the way the radiation dose is delivered to patients undergoing radiation treatments. However, the fundamental quality assurance (QA) issues underlying the radiation therapy still remain the accuracy of the radiation dose and the radiation safety. One of the major duties of clinical medical physicists in the radiation therapy departments still revolves around ensuring the accuracy of dose delivery to the planning target volume (PTV), the reduction of unintended radiation to normal organs and minimization of the radiation exposure to the medical personnel based on ALARA (as low as reasonably achievable) principle. Many of the errors in radiation therapy can be minimized through a comprehensive program of periodic checks. One of the QA procedures on the patient comes in the form of chart reviews which could be in either electronic or paper-based format. We present the quality assurance procedures that have to be performed on the patient records from the beginning and periodically to the end of the treatment, based on the guidelines from the American Association of Physicists in Medicine (AAPM) and American College of Physicians (ACP)

  13. Data Visualization for Quality-Check Purposes of Monitored Electricity Consumption in All Office Buildings in the ESL Database 

    E-Print Network [OSTI]

    Sreshthaputra, A.; Abushakra, B.; Haberl, J. S.; Claridge, D. E.

    2000-01-01

    This report comprises an effort to visualize the monitored electricity consumption in all office buildings (not including the office buildings comprising other functions as classrooms and laboratories, for instance) in the ESL database. This data...

  14. Construction quality assurance report

    SciTech Connect (OSTI)

    Roscha, V.

    1994-09-08

    This report provides a summary of the construction quality assurance (CQA) observation and test results, including: The results of the geosynthetic and soil materials conformance testing. The observation and testing results associates with the installation of the soil liners. The observation and testing results associated with the installation of the HDPE geomembrane liner systems. The observation and testing results associated with the installation of the leachate collection and removal systems. The observation and testing results associated with the installation of the working surfaces. The observation and testing results associated with in-plant manufacturing process. Summary of submittal reviews by Golder Construction Services, Inc. The submittal and certification of the piping material specifications. The observation and verification associated of the Acceptance Test Procedure results of the operational equipment functions. Summary of the ECNs which are incorporated into the project.

  15. Quality Assessment of Biodiesel and Biodiesel Blends | Department...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Quality Assessment of Biodiesel and Biodiesel Blends Quality Assessment of Biodiesel and Biodiesel Blends The results of a quality survey of B20 fuel in the United States were...

  16. Hydrogen Fuel Quality

    SciTech Connect (OSTI)

    Rockward, Tommy

    2012-07-16

    For the past 6 years, open discussions and/or meetings have been held and are still on-going with OEM, Hydrogen Suppliers, other test facilities from the North America Team and International collaborators regarding experimental results, fuel clean-up cost, modeling, and analytical techniques to help determine levels of constituents for the development of an international standard for hydrogen fuel quality (ISO TC197 WG-12). Significant progress has been made. The process for the fuel standard is entering final stages as a result of the technical accomplishments. The objectives are to: (1) Determine the allowable levels of hydrogen fuel contaminants in support of the development of science-based international standards for hydrogen fuel quality (ISO TC197 WG-12); and (2) Validate the ASTM test method for determining low levels of non-hydrogen constituents.

  17. Tank 30 and 37 Supernatant Sample Cross-Check and Evaporator Feed Qualification Analysis-2012

    SciTech Connect (OSTI)

    Oji, L. N.

    2013-03-07

    This report summarizes the analytical data reported by the F/H and Savannah River National Laboratories for the 2012 cross-check analysis for high level waste supernatant liquid samples from SRS Tanks 30 and 37. The intent of this Tank 30 and 37 sample analyses was to perform cross-checks against routine F/H Laboratory analyses (corrosion and evaporator feed qualification programs) using samples collected at the same time from both tanks as well as split samples from the tanks.

  18. Defining Forage Quality 

    E-Print Network [OSTI]

    Muir, James; Lambert, Barry; Newman, Yoana

    2007-01-18

    value of the forage to be grazed, or the hay to be purchased or marketed. Knowing what affects forage quality will also help making appropriate selection of forages and supplements that will match animal requirements and result in economically... develops as well as deposition of fibrous components at the plant cell level. With advancing maturity, one of the main chemi- cals deposited internally in the plant cell walls is lig- nin. Lignin is a component of fiber that is essentially indigestible...

  19. SU-E-T-546: Use of Implant Volume for Quality Assurance of Low Dose Rate Brachytherapy Treatment Plans

    SciTech Connect (OSTI)

    Wilkinson, D; Kolar, M

    2014-06-01

    Purpose: To analyze the application of volume implant (V100) data as a method for a global check of low dose rate (LDR) brachytherapy plans. Methods: Treatment plans for 335 consecutive patients undergoing permanent seed implants for prostate cancer and for 113 patients treated with plaque therapy for ocular melanoma were analyzed. Plaques used were 54 COMS (10 to 20 mm, notched and regular) and 59 Eye Physics EP917s with variable loading. Plots of treatment time x implanted activity per unit dose versus v100 ^.667 were made. V100 values were obtained using dose volume histograms calculated by the treatment planning systems (Variseed 8.02 and Plaque Simulator 5.4). Four different physicists were involved in planning the prostate seed cases; two physicists for the eye plaques. Results: Since the time and dose for the prostate cases did not vary, a plot of implanted activity vs V100 ^.667 was made. A linear fit with no intercept had an r{sup 2} = 0.978; more than 94% of the actual activities fell within 5% of the activities calculated from the linear fit. The greatest deviations were in cases where the implant volumes were large (> 100 cc). Both COMS and EP917 plaque linear fits were good (r{sup 2} = .967 and .957); the largest deviations were seen for large volumes. Conclusions: The method outlined here is effective for checking planning consistency and quality assurance of two types of LDR brachytherapy treatment plans (temporary and permanent). A spreadsheet for the calculations enables a quick check of the plan in situations were time is short (e.g. OR-based prostate planning)

  20. New Faculty Getting-Started Check List page 1 of 2 (Last updated: April 2015)

    E-Print Network [OSTI]

    . PARKING PERMIT & LOT ASSIGNMENT Don't get ticketed or towed. All vehicles parked on campus (including-Started Check List NOTES: (1) A printable campus map is available in the right-hand menu here: http://inside.mines.edu/Parking campus street parking) must be registered with Parking Services. Go to http://inside.mines.edu/Parking

  1. DEPARTMENT GUIDE FOR PROCESSING PRE-EMPLOYMENT BACKGROUND CHECKS FOR GRADUATE STUDENT EMPLOYEES

    E-Print Network [OSTI]

    Carver, Jeffrey C.

    of criminal records in a student's home country additional time may be taken securing a check will conduct a review of federal court records, municipal court records for all US addresses in the past 10 Policy, policy number 201.00 under HR Policy Manual, and Procedures for Securing Criminal Background

  2. Biomedical Engineering AND Chemical & Biological Engineering Student Name:_________________________ Curriculum Check Sheet 158 Credits

    E-Print Network [OSTI]

    TOTAL 15 TOTAL 16 2nd Year Fall 2nd Year Spring CBE 201 Material and Energy Balances (CBE 102 or MATH:_________________________ Curriculum Check Sheet 158 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year Spring CBE 310 Molecular Concepts and Applications (CBE 210

  3. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    13 TOTAL 15 2nd Year Fall 2nd Year Spring MATH 261 Calc for Physical Scientists III (MATH 161) F Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME Intro to Electrical Engineering (MATH 161; PH 142) F,S,SS 3 TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year

  4. Biomedical Engineering AND Chemical & Biological Engineering Student Name:_________________________ Curriculum Check Sheet 158 Credits

    E-Print Network [OSTI]

    TOTAL 15 TOTAL 16 2nd Year Fall 2nd Year Spring MATH 261 Calc for Physical Scientists III (MATH 161) F:_________________________ Curriculum Check Sheet 158 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME 3rd Year Fall 3rd Year Spring CBE 310 Molecular Concepts and Applications (CBE 210; MATH 340) F 3

  5. Real-time system verification techniques based on abstraction/deduction and model checking

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Real-time system verification techniques based on abstraction/deduction and model checking Eun in or- der to obtain a powerful and highly automatic verification environment for real-time systems. One-Young.Kang@loria.fr Abstract. Our research focuses on verification techniques for real-time systems based on predicate

  6. TCTL model-checking of Time Petri Nets Hanifa Boucheneb1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Verification of concurrent systems is a complex task that requires powerful models and efficient analysis tech- niques. Model checking is one of the most popular verification techniques of concurrent systems verification of properties of real-life systems. In this paper, we consider subscript TCTL for TPN (TPN

  7. PERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    technologies in manufacturing automation but they have not been specifically intended for industrial controlPERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING Daniel Witsch networks are promising for the harmonization of the communication technologies in manufacturing automation

  8. Co-op Scholar IT Check List CO-OP PROGRAM IT CHECKLIST FOR SUPERVISORS

    E-Print Network [OSTI]

    Diessel, Oliver

    Co-op Scholar IT Check List 1 CO-OP PROGRAM IT CHECKLIST FOR SUPERVISORS SCOPE: These guidelines access to relevant Company systems (eg e-mail) as soon as they start. The same dept/person must documentation including letter of offer, Confidentiality Agreement, OH&S safety audit etc is completed

  9. Temperature-and Energy-Constrained Scheduling in Multitasking Systems: A Model Checking Approach

    E-Print Network [OSTI]

    Mishra, Prabhat

    Temperature- and Energy-Constrained Scheduling in Multitasking Systems: A Model Checking Approach and temperature in micro- processors. This has raised urgent requirement for both power and thermal management in a temperature- and energy- constrained multi- tasking system. The state space explosion problem is alleviated

  10. Applicant MUST check one: EMPLOYEE Health Benefits Application City of New York

    E-Print Network [OSTI]

    Qiu, Weigang

    Applicant MUST check one: EMPLOYEE Health Benefits Application City of New York RETIREE Health OR PERSONNEL OFFICE ONLY I certify that the above employee/retiree is eligible for the New York City Health. New Enrollment Reinstatement Retirement Disability Retirement Accident Disability Retirement Drop

  11. Proceedings of FLAIRS-2002 1 Checking for Dimensional Correctness in Physics Equations

    E-Print Network [OSTI]

    Liew, Chun Wai

    Proceedings of FLAIRS-2002 1 Checking for Dimensional Correctness in Physics Equations C.W. Liew provides. This paper describes an example of a class of physics prob- lems whose answers are most naturally of algebra but also knowledge of physics concepts. This paper describes a technique for determining the dimen

  12. Automatic Checking of SQL: Computerised Grading Dr Gordon Russell, g.russell@napier.ac.uk

    E-Print Network [OSTI]

    Russell, Gordon

    Automatic Checking of SQL: Computerised Grading Dr Gordon Russell, g.russell@napier.ac.uk Andrew a repository of documents, slides, and tutorial sheets. ActiveSQL takes this a stage further, offering interactive practical sessions for learning SQL. These sessions provide tutorial questions which the student

  13. Personalized Spell Checking using Neural Networks Tyler Garaas, Mei Xiao, and Marc Pomplun

    E-Print Network [OSTI]

    Pomplun, Marc

    Personalized Spell Checking using Neural Networks Tyler Garaas, Mei Xiao, and Marc Pomplun Visual., Boston, MA 02125-3393, USA tgaraas@cs.umb.edu, meixiao@cs.umb.edu, marc@cs.umb.edu Abstract. Spell;2 Tyler Garaas, Mei Xiao, and Marc Pomplun must be performed to transform one word into another, combined

  14. Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness Melanie Dulong de. This research presents a taxonomy of contractual and technical restrictions applicable to databases in life to integrate facilitate innovation and how this openness can be achieved. The taxonomy describes technical

  15. Check-list for recruitment and registration of PhD students at ICM Persons responsible

    E-Print Network [OSTI]

    Uppsala Universitet

    Check-list for recruitment and registration of PhD students at ICM Persons responsible of the Department and the Departmental Board. Guidelines Each PhD student should have at least two supervisors. One education for registration of PhD studenst. At least one of the supervisors must be a docent. To qualify

  16. VLSI implementation of encoder and decoder for low-density parity-check codes 

    E-Print Network [OSTI]

    Sivakumar, Suresh

    2001-01-01

    The aim of this research is to implement an encoder and a message-passing decoder for low-density parity-check codes in hardware. The desired data rate is 44.8 Mbps and the channel is an Additive White Gaussian Noise(AWGN) channel. The effect...

  17. Check svn for updated files / tests https://svn.cs.umd.edu/repos/geekos/project0

    E-Print Network [OSTI]

    Hollingsworth, Jeffrey K.

    code Check vfs.h TODO Add to mount point operations (why?) #12;fileio.h /* * An entry in an Access of file */ int size; /* size of the file */ unsigned int isUsed:1; /* is entry active */ unsigned int is]; /* ... */ struct VFS_ACL_Entry acls[VFS_MAX_ACL_ENTRIES]; /* ACL entries */ } GOSFSfileNode; #12;ACL system call

  18. Library hours vary by semester; Check lib.usf.edu After midnight, USF ID required

    E-Print Network [OSTI]

    Meyers, Steven D.

    Library hours vary by semester; Check lib.usf.edu After midnight, USF ID required lib.usf.edu (813? To learn how to: Integrate the library into Canvas, Invite a librarian to join your course's Canvas site, or Request a tailored research guide or library research assignment, Contact: Susan Silver | ssilver

  19. Defining and Model Checking Abstractions of Complex Railway Models using CSP||B

    E-Print Network [OSTI]

    Doran, Simon J.

    Defining and Model Checking Abstractions of Complex Railway Models using CSP||B Faron Moller1. In [11, 10] we propose a new modelling approach for railway interlockings. We use CSP||B [13], which involves events such as train movements and, in the interlocking, state based reasoning. In this sense, CSP

  20. A tool for checking CSP||B specifications Huu Nghia Nguyen, Jean-Pierre Jacquot

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A tool for checking CSP||B specifications Huu Nghia Nguyen, Jean-Pierre Jacquot LORIA ­ Nancy in the verification of CSP||B specifications. Our primary research goal is methodological: we aim at understanding. One specification may require the use of B for managing some complex data structure, of CSP

  1. The past, present and future of protocol checking with CSP and FDR

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    AVoCS 2006 The past, present and future of protocol checking with CSP and FDR Bill Roscoe1 Oxford of these meetings was the development of the CSP model of cryptographic protocols, following Gavin Lowe's discovery the particular advantages of using a process algebra, and CSP in particular, for modelling cryptoprotocols

  2. A SingleQuery BiDirectional Probabilistic Roadmap Planner with Lazy Collision Checking

    E-Print Network [OSTI]

    LaValle, Steven M.

    1 A Single­Query Bi­Directional Probabilistic Roadmap Planner with Lazy Collision Checking Gildardo probabilistic roadmap (PRM) planner that is: single­query --it does not pre­compute a roadmap, but uses the two the robot's free space by concurrently building a roadmap made of two trees rooted at the query

  3. welcome to university residences Boiler Gold Rush Check-In...........................Saturday, August 13 and

    E-Print Network [OSTI]

    Fernández-Juricic, Esteban

    welcome to university residences #12;Boiler Gold Rush Check-In...........................Saturday, August 13 and Sunday, August 14, 2011 Boiler Gold Rush residence hall systems in the United States. weLcomE! 1 #12;Boiler GoLD Rush ParticiPants Your regular

  4. SMT-Based Bounded Model Checking for Embedded ANSI-C Software

    E-Print Network [OSTI]

    1 SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro, Bernd Fischer software written in ANSI-C in order to improve scalability and precision in a completely automatic way. We was provided for ANSI-C [5] constructs such as bit-level operations, fixed- point arithmetic, pointers (i

  5. SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University to the verification of embedded soft- ware written in ANSI-C. We have extended the encod- ings from previous SMT and linear arithmetic were considered, but no encoding was provided for ANSI-C [6] constructs such as bit

  6. Check our website at: library.queensu.ca/research/guide/genealogy LIBRARY LOCATIONS & ACRONYMS

    E-Print Network [OSTI]

    Fletcher, Robin

    GENEALOGY Check our website at: library.queensu.ca/research/guide/genealogy LIBRARY LOCATIONS & ACRONYMS SL Stauffer Library OGS Ontario Genealogical Society Docs Government Documents, Stauffer Library Library Genealogy Information: www.kfpl.ca/ and http://www.kfpl.ca/genealogy-resources Cyndi's List

  7. SU-E-T-374: Sensitivity of ArcCHECK to Tomotherapy Delivery Errors: Dependence On Analysis Technique

    SciTech Connect (OSTI)

    Templeton, A; Chu, J; Turian, J

    2014-06-01

    Purpose: ArcCHECK (Sun Nuclear) is a cylindrical diode array detector allowing three-dimensional sampling of dose, particularly useful in treatment delivery QA of helical tomotherapy. Gamma passing rate is a common method of analyzing results from diode arrays, but is less intuitive in 3D with complex measured dose distributions. This study explores the sensitivity of gamma passing rate to choice of analysis technique in the context of its ability to detect errors introduced into the treatment delivery. Methods: Nine treatment plans were altered to introduce errors in: couch speed, gantry/sonogram synchronization, and leaf open time. Each plan was then delivered to ArcCHECK in each of the following arrangements: “offset,” when the high dose area of the plan is delivered to the side of the phantom so that some diode measurements will be on the order of the prescription dose, and “centered,” when the high dose is in the center of the phantom where an ion chamber measurement may be acquired, but the diode measurements are in the mid to low-dose region at the periphery of the plan. Gamma analysis was performed at 3%/3mm tolerance and both global and local gamma criteria. The threshold of detectability for each error type was calculated as the magnitude at which the gamma passing rate drops below 90%. Results: Global gamma criteria reduced the sensitivity in the offset arrangement (from 2.3% to 4.5%, 8° to 21°, and 3ms to 8ms for couch-speed decrease, gantry-error, and leaf-opening increase, respectively). The centered arrangement detected changes at 3.3%, 5°, and 4ms with smaller variation. Conclusion: Each arrangement has advantages; offsetting allows more sampling of the higher dose region, while centering allows an ion chamber measurement and potentially better use of tools such as 3DVH, at the cost of positioning more of the diodes in the sometimes noisy mid-dose region.

  8. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    in energy. http:energy.goveereeducationdownloadsenergy-literacy-videos Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  9. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    tornado in 2007. http:energy.goveerevideosre-building-greensburg Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  10. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    production. http:energy.goveerevideosnew-biofuels-technology-blooms-iowa Download Build a Pizza Box Solar Oven Check out this staightforward lesson, that can be adapted for...

  11. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Guide for Elementary Grades K-2 Check out these energy activities for grades K-2. http:energy.goveereeducationdownloadsfun-sun-teachers-activity-guide-elementary-grades-k-2-...

  12. Quality Assurance Program Plan

    Broader source: Energy.gov [DOE]

    The achievement of quality in LM activities and products requires implementation of a formal Quality Assurance (QA) Program. This program establishes principles, requirements, practices, and...

  13. ENVIRONMENTAL QUALITY AND

    E-Print Network [OSTI]

    ENVIRONMENTAL QUALITY AND REGIONAL ECONOMIC DEVELOPMENT Prepared for Environmental Conservation policy of Environment Canada. #12;COASTWRITERS RESEARCH & COMMUNICATION · iii ENVIRONMENTAL QUALITY ..................................................................................................44 Environmental commitments

  14. SU-E-T-80: Comparison of Fluence-Based RapidArc QAs Using EPID and MapCHECK 2

    SciTech Connect (OSTI)

    Jin, H; Jesseph, F; Ahmad, S [Oklahoma Univ. Health Science Ctr., Oklahoma City, OK (United States)

    2014-06-01

    Purpose: To compare the Varian aS-1000 EPID imager to the isocentrically mounted MapCHECK 2 diode array for RapidArc QAs as a function of photon beam energy. Methods: A Varian TrueBeam STx with an aS-1000 digital imaging panel was used to acquire RapidArc QA images for 13 patient plans; each plan QA was performed at 6, 8, 10 and 15MV energies. The Portal Dose Image Prediction algorithm in the Varian Eclipse treatment planning system (TPS) was used to create the comparison image for the EPID acquisition. A Sun Nuclear MapCHECK 2 diode array on an isocentric mounting fixture with 5 cm water-equivalent buildup was also used for the RapidArc QAs. A composite dose plane was taken from the Eclipse TPS for comparison to the MapCHECK 2 measurements. A gamma test was implemented in the Sun Nuclear Patient software with 10% threshold and absolute comparison for both QA methods. The two-tailed paired t-test was employed to analyze the statistical significance between two methods at the 95% confidence level. Results: The average gamma passing rates were greater than 95% at 3%/3mm using both methods for all four energies. The average passing rates were within 2.5% and 1.1% of each other when analyzed at 2%/2mm and 3%/3mm conditions, respectively. The EPID passing rates were somewhat better than the MapCHECK 2 when analyzed at 1%/1mm condition; this difference decreased with increasing energy (9.1% at 6MV to 2.7% at 15MV). The differences were not statistically significant for all criteria and energies (p-value ã 0.05). Conclusion: EPID-based RapidArc QA results are comparable to MapCHECK 2 when using 3%/3mm criteria at all four energies. EPID-based QA shows potential for being the superior device under strict gamma criteria.

  15. Checking Quotas

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News PublicationsAudits &BradburyMayARM-0501 Marine Stratus Radiation,ACharles

  16. SMT-Based Bounded Model Checking for Embedded ANSI-C Software

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01

    Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of different SMT solvers to the verification of embedded software written in ANSI-C. We have extended the encodings from previous SMT-based bounded model checkers to provide more accurate support for finite variables, bit-vector operations, arrays, structures, unions and pointers. We have integrated the CVC3, Boolector, and Z3 solvers with the CBMC front-end and evaluated them using both standard software model checking benchmarks and typical embedded applications from telecommunications, control systems and medical devices. The experiments show that our approach can analyze larger problems and sub...

  17. Quality Counts Certificate 

    E-Print Network [OSTI]

    Chilek, Kevin

    2007-01-31

    This certificate accompanies the Quality Counts program. 1 page. It comes in packages of 25 certificates....

  18. Track 9: Quality Assurance

    Broader source: Energy.gov [DOE]

    ISM Workshop Presentations Knoxville Convention Center, Knoxville, TN August 2009 Track 9: Quality Assurance

  19. SU-E-T-270: Quality Control of Source Strength and Indexer Length in HDR Brachytherapy Using Sun Nuclear Mapcheck2

    SciTech Connect (OSTI)

    Morales, J

    2014-06-01

    Purpose: The goal of this work was to evaluate Sun Nuclear MapCheck2 capability for quantitative determination of both HDR source strength and position. Predictive power of Mapcheck2 dose matrix, originated by a microSelectron-v2 source from 22mm distance, was investigated. Methods: A Mick MultiDoc phantom with the 1400mm indexer length mark aligned over MapCheck2 central detector plus two additional 5cm plastic slabs were used as a composite phantom. Dose readings were transformed by applying published source anisotropy corrections and experimentally established radial dose and relative sensitivity factors. Angular dependence was not considered. Only readings from diodes located 2cm around the central detector were evaluated. The reproducibility of a fit between transformed dose readings and the ratio of virtual source strength and the square of source-detector distance was investigated. Four parameters were considered in the model: virtual source strength, lateral, longitudinal and vertical source positions. Final source strength calibration factor was calculated from the ratio of reference measurements and results from the fit. Results: Original lateral and longitudinal source position estimations had systematic errors of 0.39mm and 0.75mm. After subtracting these errors, both source positions were predicted with a standard deviation of 0.15mm. Results for vertical positions were reproducible with a standard deviation of 0.05mm. The difference between calculated and reference source strengths from 34 independent measurement setups had a standard deviation of 0.3%. The coefficient of determination for the linear regression between known indexer lengths and results from the fit in the range 1400mm ± 5mm was 0.985. Conclusions: ource strength can be estimated with MapCheck2 at appropriate accuracy levels for quality control. Verification of indexer length with present implementation is more accurate than visual alternatives. Results can be improved by designing a coupling catheter phantom and refining relative diode calibration. Diode angular dependence in MapCheck2 does not play significant role.

  20. Exploring equity in uptake of the NHS Health Check and a nested physical activity intervention trial

    E-Print Network [OSTI]

    Attwood, S.; Morton, K.; Sutton, S.

    2015-06-01

    %2Fharingeygovuk%2Ffiles%2Fnhs_ health_check_vascular_risk_assessment_and_management_best_ practice_guidance._department_of_health__2009.pdf&ei=xnbPVI6 gO8X58QWS3IGoDg&usg=AFQjCNFje9aiNitTy92d51YHlT8ydd TCuA&bvm=bv.85076809,d.dGc (1 February 2105...

  1. Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    (conc.) or 117 (conc.)) F,S,SS 1 TOTAL 16 TOTAL 15 2nd Year Fall 2nd Year Spring MATH 261 Calc Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME Attributes of Living System F,S,SS 4 TOTAL 15 TOTAL 15 3rd Year Fall 3rd Year Spring ECE 311 Linear Systems

  2. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    to Mechanical Eng F 3 TOTAL 15 TOTAL 15 2nd Year Fall 2nd Year Spring CIVE 260 Engr. Mechanics: Statics (MATH Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME or conc or 255 or conc) F,S 5 MECH 231 Engr Experimt'n (MECH 105; PH 142) F,S 3 TOTAL 17 TOTAL 17 3rd Year

  3. Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    (conc) or 117 (conc)) F,S,SS 1 TOTAL 16 TOTAL 15 2nd Year Fall 2nd Year Spring MATH 261 Calc Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME Year Fall 3rd Year Spring ECE 311 Linear Systems Analysis I (ECE 202; MATH 340 or MATH 345) F 3 ECE 312

  4. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    only) F 3 TOTAL 15 TOTAL 15 2nd Year Fall 2nd Year Spring CIVE 260 Engr. Mechanics: Statics (MATH 160 Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME or 255 (or conc)) F,S 5 MECH 231 Engr Experimt'n (MECH 102; PH 142) F,S 3 TOTAL 17 TOTAL 17 3rd Year Fall

  5. Biomedical Engineering AND Chemical & Biological Engineering Student Name:_________________________ Curriculum Check Sheet

    E-Print Network [OSTI]

    ; 155 or conc or 160 or conc) F,S,SS 5 TOTAL 15 TOTAL 16 2nd Year Fall 2nd Year Spring CBE 201 Material:_________________________ Curriculum Check Sheet 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME (PREREQS.; PH 141) F,S 5 TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year Spring BC 351 Principles of Biochem. (BZ 110

  6. Biomedical Engineering AND Mechanical Engineering Student Name:________________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    Engineering (MATH 161; PH 142) F,S,SS 3 TOTAL 17 TOTAL 17 3rd Year Fall 3rd Year Spring MECH 337 Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME 112 General Chemistry Lab I (CHEM 111 (conc.) or 117 (conc.)) F,S,SS 1 TOTAL 15 TOTAL 15 2nd Year Fall

  7. Biomedical Engineering AND Electrical Engineering Student Name:_______________________ Curriculum Check Sheet 157 Credits

    E-Print Network [OSTI]

    TOTAL 15 TOTAL 15 3rd Year Fall 3rd Year Spring ECE 311 Linear Systems Analysis I (ECE 202; MATH 340 Check Sheet 157 Credits 1st Year Fall 1st Year Spring COURSE NAME (PREREQS) TERM* CR COURSE NAME General Chemistry Lab I (CHEM 111 or conc or 117 or conc) F,S,SS 1 TOTAL 16 TOTAL 15 2nd Year Fall 2nd

  8. Results of the 2007 B100 Quality Survey

    SciTech Connect (OSTI)

    Alleman, T. L.; McCormick, R. L.

    2008-03-01

    In a 2007 analysis of samples from 52% of U.S. biodiesel (B100) producers, 90% met ASTM and other specifications for critical engine performance properties and for elements that harm emission controls.

  9. Prescreening Illumina Data Results in High-Quality Genome Polishing

    SciTech Connect (OSTI)

    Han, Cliff [DOE Joint Genome Institute at Los Alamos National Laboratory

    2009-05-28

    Cliff Han of the DOE Joint Genome Institute at Los Alamos National Laboratory, talks about modifying their bacterial genome sequencing process to accommodate new sequencing technologies at the "Sequencing, Finishing, Analysis in the Future" meeting in Santa Fe, NM

  10. Household Water Quality Home Water Quality Problems

    E-Print Network [OSTI]

    Liskiewicz, Maciej

    Household Water Quality Home Water Quality Problems­ Causes and Treatments Blake Ross, Extension impurities can be corrected if they are a nuisance. Before beginning any treatment plan, have water tested select the most effective and economical treatment method. www.ext.vt.edu Produced by Communications

  11. Fingerprinting & Criminal Records Check for Student Teaching Page 1 of 2 1. Go to the school district/supervisory union office you will be student teaching

    E-Print Network [OSTI]

    Ashline, George

    Fingerprinting & Criminal Records Check for Student Teaching Page 1 of 2 1. Go to the school Center Fingerprint Authorization Certificate and Request for Criminal Record Check . When completing will be required to pay the school district $16.50 to cover the cost of the Criminal Record Check processing

  12. Toward a consistency cross-check of eddy covariance flux–based and biometric estimates of ecosystem carbon balance

    E-Print Network [OSTI]

    2009-01-01

    of ecosystem carbon balance S. Luyssaert, 1 M. Reichstein, 2controls on the carbon balances of three southern borealCROSS-CHECK FOR CO 2 BALANCES Yi, C. X. , D. E. Anderson, A.

  13. IT Quality Assurance

    Broader source: Energy.gov [DOE]

    Quality, error-free work holds down costs. Avoiding mistakes and rework saves valuable time, effort, and materials. Quality assurance provides the mechanisms for paying close attention to details...

  14. Quality Assurance | Jefferson Lab

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Quality Assurance Is A Key Focus At Jefferson Lab Quality assurance is a critical function at Jefferson Lab, protecting workers, lab facilities, the environment and the public. A D...

  15. Quality Research Administration Meeting

    E-Print Network [OSTI]

    Wood, Marcelo A.

    Quality Research Administration Meeting November, 2014 #12;Agenda Sponsored Projects Administration Update Contract and Grant Accounting Update Uniform Guidance Update External Audit Coordination Nancy Lewis Quality Research Administration MeetingNovember, 2014 #12;Sponsored Projects Administration

  16. Downhole steam quality measurement

    DOE Patents [OSTI]

    Lee, David O. (Albuquerque, NM); Montoya, Paul C. (Albuquerque, NM); Muir, James F. (Albuquerque, NM); Wayland, Jr., J. Robert (Albuquerque, NM)

    1987-01-01

    An empirical method for the remote sensing of steam quality that can be easily adapted to downhole steam quality measurements by measuring the electrical properties of two-phase flow across electrode grids at low frequencies.

  17. Surface Water Quality Standards 

    E-Print Network [OSTI]

    Wythe, Kathy

    2007-01-01

    Standards Team. This advisory group, with representation from water asso- ciations, the agricultural industry, engineering firms, environmental organizations, consumer groups and government entities, is working with TCEQ staff to review and possibly...SURFACE WATER QUALITY STANDARDS AAs part of the ongoing program to manage Texaswater quality, the Texas Commission onEnvironmental Quality (TCEQ) is currently review- ing the Texas Surface Water Quality Standards, including the standards...

  18. How to check quantum mechanics independently (Reply to arXiv:1505.04293)

    E-Print Network [OSTI]

    Yuri I. Ozhigov

    2015-06-17

    This is the reply to the paper of Andrei Khrennikov arXiv:1505.04293 in which he expresses dissatisfaction with that the rough data in quantum experiments is not easily available and compares it with the open rough data in genetics. I try to explain why quantum experiments rough data is closed and why it differs radically from the biological. I also tried to answer the more thorny issue: is it possible to check quantum mechanics independently of other humans, e.g. trusting nobody.

  19. Secretary Chu Checks In on Biomass Pilot-Scale Facility | Department of

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterestedReplacement-2-AA-1Research and FuelingEnergy Secretary Chu Checks In on

  20. Software Quality, Software Process,

    E-Print Network [OSTI]

    Hamlet, Richard

    Software Quality, Software Process, and Software Testing Dick Hamlet Portland State University Department of Computer Science Center for Software Quality Research PO Box 751 Portland, OR 97207 Internet. However, unless testing goals are clearly related to true measurements of software quality, the testing

  1. Quality assurance of asymmetric jaw alignment using 2D diode array

    SciTech Connect (OSTI)

    Kim, Sun Mo; Yeung, Ivan W. T.; Moseley, Douglas J.; Radiation Medicine Program, Princess Margaret Hospital Department of Radiation Oncology, University of Toronto, Ontario M5G 2M9

    2013-12-15

    Purpose: A method using a 2D diode array is proposed to measure the junction gap (or overlap) and dose with high precision for routine quality assurance of the asymmetric jaw alignment.Methods: The central axis (CAX) of the radiation field was determined with a 15 × 15 cm{sup 2} photon field at four cardinal collimator angles so that the junction gap (or overlap) can be measured with respect to the CAX. Two abutting fields having a field size of 15 cm (length along the axis parallel to the junction) × 7.5 cm (width along the axis perpendicular to the junction) were used to irradiate the 2D diode array (MapCHECK2) with 100 MU delivered at the photon energy of 6 MV. The collimator was slightly rotated at 15° with respect to the beam central axis to increase the number of diodes effective on the measurement of junction gap. The junction gap and dose measured in high spatial resolution were compared to the conventional methods using an electronic portal imaging device (EPID) and radiochromic film, respectively. In addition, the reproducibility and sensitivity of the proposed method to the measurements of junction gap and dose were investigated.Results: The junction gap (or overlap) and dose measured by MapCHECK2 agreed well to those measured by the conventional methods of EPID and film (the differences ranged from ?0.01 to 0 cm and from ?1.34% to 0.6% for the gap and dose, respectively). No variation in the repeat measurements of the junction gap was found whereas the measurements of junction dose were found to vary in quite a small range over the days of measurement (0.21%–0.35%). While the sensitivity of the measured junction gap to the actual junction gap applied was the ideal value of 1 cm/cm as expected, the sensitivity of the junction dose to the actual junction gap increased as the junction gap (or overlap) decreased (maximum sensitivity: 201.7%/cm).Conclusions: The initial results suggest that the method is applicable for a comprehensive quality assurance of the asymmetric jaw alignment.

  2. Quality Assurance | Department of Energy

    Office of Environmental Management (EM)

    Services Nuclear Safety Quality Assurance Quality Assurance QUALITY ASSURANCE IN THE DEPARTMENT OF ENERGY When properly implemented, the principles and requirements form a...

  3. Comparing air quality impacts of hydrogen and gasoline

    E-Print Network [OSTI]

    Sperling, Dan; Wang, Guihua; Ogden, Joan M.

    2008-01-01

    of natural gas to hydrogen pathways on urban air quality.natural gas extraction and pipeline transport on air qualitynatural gas-based hydrogen pathways in terms of the resulting changes in urban air quality.

  4. Analysis of the Quality of Information Obtained About Uterine Artery Embolization From the Internet

    SciTech Connect (OSTI)

    Tavare, Aniket N.; Alsafi, Ali Hamady, Mohamad S.

    2012-12-15

    Purpose: The Internet is widely used by patients to source health care-related information. We sought to analyse the quality of information available on the Internet about uterine artery embolization (UAE). Materials and Methods: We searched three major search engines for the phrase 'uterine artery embolization' and compiled the top 50 results from each engine. After excluding repeated sites, scientific articles, and links to documents, the remaining 50 sites were assessed using the LIDA instrument, which scores sites across the domains of accessibility, usability, and reliability. The Fleisch reading ease score (FRES) was calculated for each of the sites. Finally, we checked the country of origin and the presence of certification by the Health On the Net Foundation (HONcode) as well as their effect on LIDA and FRES scores.ResultsThe following mean scores were obtained: accessibility 48/60 (80%), usability 42/54 (77%), reliability 20/51 (39%), total LIDA 110/165 (67%), and FRES 42/100 (42%). Nine sites had HONcode certification, and this was associated with significantly greater (p < 0.05) reliability and total LIDA and FRES scores. When comparing sites between United Kingdom and United States, there was marked variation in the quality of results obtained when searching for information on UAE (p < 0.05). Conclusion: In general, sites were well designed and easy to use. However, many scored poorly on the reliability of their information either because they were produced in a non-evidence-based way or because they lacking currency. It is important that patients are guided to reputable, location-specific sources of information online, especially because prominent search engine rank does not guarantee reliability of information.

  5. Software Quality Model Requirements for Software Quality Engineering

    E-Print Network [OSTI]

    Suryn, Witold

    Software Quality Model Requirements for Software Quality Engineering Marc-Alexis Côté M. Ing (marc Quality Engineering, Software Quality Models, ISO/IEC 9126. Abstract Software Quality Engineering is an emerging discipline that is concerned with improving the approach to software quality. It is important

  6. Managing Quality Requirements Using Activity-Based Quality Models

    E-Print Network [OSTI]

    Cengarle, María Victoria

    the complexity of software quality. A novel kind of quality mod- els uses the activities performed on and with the software as an explicit dimension. These quality models are a well- suited basis for managing qualityManaging Quality Requirements Using Activity-Based Quality Models Stefan Wagner, Florian

  7. SELEX RICH performance and physics results

    SciTech Connect (OSTI)

    Jurgen Engelfried et al.

    2002-08-28

    SELEX took data in the 1996/7 Fixed Target Run at Fermilab. The excellent performance parameters of the SELEX RICH Detector had direct influence on the quality of the obtained physics results.

  8. Downhole steam quality measurement

    DOE Patents [OSTI]

    Lee, D.O.; Montoya, P.C.; Muir, J.F.; Wayland, J.R. Jr.

    1985-06-19

    The present invention relates to an empirical electrical method for remote sensing of steam quality utilizing flow-through grids which allow measurement of the electrical properties of a flowing two-phase mixture. The measurement of steam quality in the oil field is important to the efficient application of steam assisted recovery of oil. Because of the increased energy content in higher quality steam it is important to maintain the highest possible steam quality at the injection sandface. The effectiveness of a steaming operation without a measure of steam quality downhole close to the point of injection would be difficult to determine. Therefore, a need exists for the remote sensing of steam quality.

  9. Operation & Maintenance for Quality Indoor Air 

    E-Print Network [OSTI]

    Downing, C.; Bayer, C. W.

    1990-01-01

    The results of numerous Indoor Air Quality (IAQ) building investigations conducted by the Georgia Tech Research Institute have shown that building Operation and Maintenance (O&M) is a very common source of IAQ problems. This paper presents...

  10. BURN CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR TAKE SHORT-CUTS FEEL THE BREEZE DISCOVER CAMPUS MAKE YOUR OWN ROUTE BURN CALORIES READ A BOOK LISTEN TO THE BIRDS CHECK OUT THE SCENERY

    E-Print Network [OSTI]

    Weiblen, George D

    A BOOK LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR BURN CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS REDUCE YOUR CARBON FOOTPRINT FRESH AIR CALORIES FREE LISTEN TO THE BIRDS CHECK OUT THE SCENERY MEET FRIENDS RE- DUCE YOUR CARBON FOOTPRINT FRESH

  11. Indoor Air Quality

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    In Focus For decades, teams of Berkeley Lab scientists have investigated the ways that indoor air quality affects human health-from cognitive ability to personal comfort...

  12. Forecasting Water Quality & Biodiversity

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Forecasting Water Quality & Biodiversity March 25, 2015 Cross-cutting Sustainability Platform Review Principle Investigator: Dr. Henriette I. Jager Organization: Oak Ridge National...

  13. Bringing Automated Model Checking to PLC Program Development - A CERN Case Study

    E-Print Network [OSTI]

    Fernandez Adiego, B; Tournier, J-C; Blanco Vinuela, E; Gonzalez Suarez, V M

    2014-01-01

    Verification of critical software is a high priority but a challenging task for industrial control systems. Model checking appears to be an appropriate approach for this purpose. However, this technique is not widely used in industry yet, due to some obstacles. The main obstacles encountered when trying to apply formal verification techniques at industrial installations are the difficulty of creating models out of PLC programs and defining formally the specification requirements. In addition, models produced out of real-life programs have a huge state space, thus preventing the verification due to performance issues. Our work at CERN (European Organization for Nuclear Research) focuses on developing efficient automatic verification methods for industrial critical installations based on PLC (Programmable Logic Controller) control systems. In this paper, we present a tool generating automatically formal models out of PLC code. The tool implements a general methodology which can support several input languages, ...

  14. Landscape Design & Water Quality

    E-Print Network [OSTI]

    Ishida, Yuko

    drainage lines to allow water to filter into surrounding soils. Install gravel sumps or other percolationLandscape Design & Water Quality Landscape Design & Water Quality Create a landscape design that reduces pesticide and fertilizer runoff and conserves water. Good plant choices, proper site preparation

  15. Use of annual profiles of hourly data for analyzing DOE-2 building simulation program results

    SciTech Connect (OSTI)

    Haberl, J.; MacDonald, M.; Eden, A.

    1987-06-01

    This paper presents an approach for improving potential building energy analyses using the DOE-2 computer program. The approach makes use of the ability to generate hour-by-hour data results from DOE-2 simulations, and uses a plotting package to generate 3-dimensional annual profiles of the hour-by-hour data for specific quantities of interest. The annual profiles of hourly data provide a graphical check of voluminous data in a condensed form allowing several different types of data to be plotted over a year. These profiles provide the user the opportunity to: check simulation results, check potential problems with simulations, provide graphs to customers who may want a simpler presentation, visualize interactions in simulations, and understand where weak areas may exist in simulations. Future analysis, using such profiles, may allow methods to be developed to check consistency between simulations, check for potential errors in modeling buildings, and better understand how simulations compared with data from real buildings. 14 refs., 24 figs.

  16. Aircraft Cabin Environmental Quality Sensors

    SciTech Connect (OSTI)

    Gundel, Lara; Kirchstetter, Thomas; Spears, Michael; Sullivan, Douglas

    2010-05-06

    The Indoor Environment Department at Lawrence Berkeley National Laboratory (LBNL) teamed with seven universities to participate in a Federal Aviation Administration (FAA) Center of Excellence (COE) for research on environmental quality in aircraft. This report describes research performed at LBNL on selecting and evaluating sensors for monitoring environmental quality in aircraft cabins, as part of Project 7 of the FAA's COE for Airliner Cabin Environmental Research (ACER)1 effort. This part of Project 7 links to the ozone, pesticide, and incident projects for data collection and monitoring and is a component of a broader research effort on sensors by ACER. Results from UCB and LBNL's concurrent research on ozone (ACER Project 1) are found in Weschler et al., 2007; Bhangar et al. 2008; Coleman et al., 2008 and Strom-Tejsen et al., 2008. LBNL's research on pesticides (ACER Project 2) in airliner cabins is described in Maddalena and McKone (2008). This report focused on the sensors needed for normal contaminants and conditions in aircraft. The results are intended to complement and coordinate with results from other ACER members who concentrated primarily on (a) sensors for chemical and biological pollutants that might be released intentionally in aircraft; (b) integration of sensor systems; and (c) optimal location of sensors within aircraft. The parameters and sensors were selected primarily to satisfy routine monitoring needs for contaminants and conditions that commonly occur in aircraft. However, such sensor systems can also be incorporated into research programs on environmental quality in aircraft cabins.

  17. Groundwater Quality 2010, Zrich, R. Enzenhoefer 1/14

    E-Print Network [OSTI]

    Cirpka, Olaf Arie

    Groundwater Quality 2010, Zürich, 13th - 18th June 2010 R. Enzenhoefer 1/14 Using probabilistic of Hydromechanics and Modeling of Hydrosystems #12;Groundwater Quality 2010, Zürich, 13th - 18th June 2010 R Results & Discussion #12;Groundwater Quality 2010, Zürich, 13th - 18th June 2010 R. Enzenhoefer 3/14 From

  18. The Ohio State University Office of Human Resources, Policy 4.15 Background Check Resources hr.osu.edu Revised 01/01/14, Page 1 of 1 Background Check

    E-Print Network [OSTI]

    Howat, Ian M.

    policy 1.50, hr.osu.edu/policy/policy150.pdf Security Standards Council's Payment Card Industry (PCI.osu.edu/documents/records-management/general-schedule.pdf Guide for Conducting Background Checks, hr.osu.edu/policy/resources/415standards.pdf Ohio Public) Data Security Standards, pcisecuritystandards.org/security_standards Summary of Your Rights Under

  19. GRACE at ONE-LOOP: Automatic calculation of 1-loop diagrams in the electroweak theory with gauge parameter independence checks

    E-Print Network [OSTI]

    G. Belanger; F. Boudjema; J. Fujimoto; T. Ishikawa; T. Kaneko; K. Kato; Y. Shimizu

    2006-04-18

    We describe the main building blocks of a generic automated package for the calculation of Feynman diagrams. These blocks include the generation and creation of a model file, the graph generation, the symbolic calculation at an intermediate level of the Dirac and tensor algebra, implementation of the loop integrals, the generation of the matrix elements or helicity amplitudes, methods for the phase space integrations and eventually the event generation. The report focuses on the fully automated systems for the calculation of physical processes based on the experience in developing GRACE-loop. As such, a detailed description of the renormalisation procedure in the Standard Model is given emphasizing the central role played by the non-linear gauge fixing conditions for the construction of such automated codes. The need for such gauges is better appreciated when it comes to devising efficient and powerful algorithms for the reduction of the tensorial structures of the loop integrals. A new technique for these reduction algorithms is described. Explicit formulae for all two-point functions in a generalised non-linear gauge are given, together with the complete set of counterterms. We also show how infrared divergences are dealt with in the system. We give a comprehensive presentation of some systematic test-runs which have been performed at the one-loop level for a wide variety of two-to-two processes to show the validity of the gauge check. These cover fermion-fermion scattering, gauge boson scattering into fermions, gauge bosons and Higgs bosons scattering processes. Comparisons with existing results on some one-loop computation in the Standard Model show excellent agreement. We also briefly recount some recent development concerning the calculation of mutli-leg one-loop corrections.

  20. WATER QUALITY MODELING OF THE

    E-Print Network [OSTI]

    Keller, Arturo A.

    WATER QUALITY MODELING OF THE STATE OF OHIO COMPONENT OF THE OHIO RIVER BASIN WATER QUALITY TRADING PROGRAM #12;Water Quality Modeling of the State of Ohio Component of the Ohio River Basin Water Quality Trading Program #12;2 Water Quality Modeling of the State of Ohio Component of the Ohio River Basin Water

  1. TIPS FOR THE PARKING LOT When you approach your parked vehicle, visually check the area around the

    E-Print Network [OSTI]

    Shoubridge, Eric

    TIPS FOR THE PARKING LOT When you approach your parked vehicle, visually check the area around Always try to park in visible, well lit areas Try to avoid parking next to a larger pickup truck or van." Exercise extra caution when using underground and enclosed parking garages. Try not to go alone. Use

  2. g:\\self care\\cold sore throat cough allergy 8/08 SELF CARE CHECK LIST FOR COLD, SORE

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    g:\\self care\\cold sore throat cough allergy 8/08 SELF CARE CHECK LIST FOR COLD, SORE THROAT, COUGH worse? NO YES Do you have chest pain, wheezing or any difficulty with breathing? NO YES Are you coughing, hacky cough? Expectorant (guaifenesin/Robitussin) Cough suppressant (dextromethorphan/ DM) Do you have

  3. LAB HAZARD CHECKLIST Please check the hazards that are associated with your lab and complete the section

    E-Print Network [OSTI]

    Firestone, Jeremy

    LAB HAZARD CHECKLIST Please check the hazards that are associated with your lab and complete of Environmental Health and Safety. HAZARDS: Biological Hazard ­ Biosafety levels 2 or 3 organisms present Laser Radiation Hazards ­Any work involving class 3b or 4 lasers Flammable Gas ­ Compressed gas cylinders

  4. Improving Stormwater Quality 

    E-Print Network [OSTI]

    Garcia, Raul

    2005-01-01

    stream_source_info Improving Stormwater Quality.pdf.txt stream_content_type text/plain stream_size 5574 Content-Encoding ISO-8859-1 stream_name Improving Stormwater Quality.pdf.txt Content-Type text/plain; charset=ISO-8859...-1 Stormwater QualityStory by Raul L. Garcia tx H2O | pg. 18 The City of Houston, Harris County, theHarris County Flood Control District and the Texas Department of Transportation have teamed up through a Joint Task Force (JTF) to address Houston...

  5. Sensitivity of health risk estimates to air quality adjustment procedure

    SciTech Connect (OSTI)

    Whitfield, R.G.

    1997-06-30

    This letter is a summary of risk results associated with exposure estimates using two-parameter Weibull and quadratic air quality adjustment procedures (AQAPs). New exposure estimates were developed for children and child-occurrences, six urban areas, and five alternative air quality scenarios. In all cases, the Weibull and quadratic results are compared to previous results, which are based on a proportional AQAP.

  6. Total cyanide analysis of tank core samples: Analytical results and supporting investigations. Revision 1

    SciTech Connect (OSTI)

    Pool, K.H.

    1994-03-01

    The potential for a ferrocyanide explosion in Hanford site single-shelled waste storage tanks (SSTS) poses a serious safety concern. This potential danger developed in the 1950s when {sup 137}Cs was scavenged during the reprocessing of uranium recovery process waste by co-precipitating it along with sodium in nickel ferrocyanide salt. Sodium or potassium ferrocyanide and nickel sulfate were added to the liquid waste stored in SSTs. The tank storage space resulting from the scavenging process was subsequently used to store other waste types. Ferrocyanide salts in combinations with oxidizing agents, such as nitrate and nitrite, are known to explode when key parameters (temperature, water content, oxidant concentration, and fuel [cyanide]) are in place. Therefore, reliable total cyanide analysis data for actual SST materials are required to address the safety issue. Accepted cyanide analysis procedures do not yield reliable results for samples containing nickel ferrocyanide materials because the compounds are insoluble in acidic media. Analytical chemists at Pacific Northwest Laboratory (PNL) have developed a modified microdistillation procedure (see below) for analyzing total cyanide in waste tank matrices containing nickel ferrocyanide materials. Pacific Northwest Laboratory analyzed samples from Hanford Waste Tank 241-C-112 cores 34, 35, and 36 for total cyanide content using technical procedure PNL-ALO-285 {open_quotes}Total Cyanide by Remote Microdistillation and Agrentometric Titration,{close_quotes} Rev. 0. This report summarizes the results of these analyses along with supporting quality control data, and, in addition, summarizes the results of the test to check the efficacy of sodium nickel ferrocyanide solubilization from an actual core sample by aqueous EDTA/en to verify that nickel ferrocyanide compounds were quantitatively solubilized before actual distillation.

  7. Water Quality Criteria Introduction ....................................................................................................................................798

    E-Print Network [OSTI]

    Pitt, Robert E.

    APPENDIX G Water Quality Criteria CONTENTS Introduction ....................................................................................................................................798 EPA's Water Quality Criteria and Standards Plan -- Priorities for the Future............................798 Compilation of Recommended Water Quality Criteria and EPA's Process for Deriving New

  8. Quality Assurance Specialist

    Broader source: Energy.gov [DOE]

    This position is located in the Office of the Assistant Secretary for Environmental Management (EM), Office of Standards and Quality Assurance. The EM mission is to achieve safe and compliant...

  9. Power Quality Implications 

    E-Print Network [OSTI]

    Hilson, D.

    1989-01-01

    Electric utilities in the United States spend in excess of one billion dollars annually to maintain or improve the quality of electric power supplied to their customers. Yet, an increasing and alarming number of complaints are being voiced...

  10. School quality and wages 

    E-Print Network [OSTI]

    Speakman, Robert B., Jr.

    2007-04-25

    This dissertation examines the literature that attempts to measure the relationship between school quality and earnings. I begin by developing a simple economic model that predicts that, everything else being equal and with comparisons being made...

  11. Quality Assurance Program Guide

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2011-08-16

    This Guide provides information on principles, requirements, and practices used to establish and implement an effective Quality Assurance Program. Admin Chg 2, dated 5-8-13, Admin Chg 1.

  12. Software Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2000-10-02

    To define requirements and responsibilities for software quality assurance (SQA) within the Department of Energy (DOE). DOE N 251.40, dated 5/3/01, extends this directive until 12/31/01.

  13. Software Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2000-10-02

    DOE N 251.40, dated 5/3/01, extends this directive until 12/31/01. To define requirements and responsibilities for software quality assurance (SQA) within the Department of Energy (DOE). Does not cancel other directives.

  14. Maintaining System Air Quality; Industrial Technologies Program...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    satisfactorily. If it is not, consider improved maintenance or an upgrade. * Check condensate traps for effec- tiveness. If stuck closed, they will not remove condensate, if...

  15. Nebraska Air Quality Regulations (Nebraska)

    Broader source: Energy.gov [DOE]

    These regulations, promulgated by the Department of Environmental Quality, contain provisions pertaining to ambient air quality standards, pollution source operating permits, emissions reporting,...

  16. Waste Management Quality Assurance Plan

    E-Print Network [OSTI]

    Waste Management Group

    2006-01-01

    LBNL/PUB-5352, Revision 6 Waste Management QualityAssurance Plan Waste Management Group Environment, HealthRev. 6 WM QA Plan Waste Management Quality Assurance Plan

  17. Improving the Quality of Software Quality Determination Processes \\Lambda

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

    Improving the Quality of Software Quality Determination Processes \\Lambda Leon J. Osterweil a systematic, orderly, process­based approach to stating software quality objec­ tives and knowing if and when they have been achieved. We suggest that quality in software is a complex, multifaceted array

  18. Improving the Quality of Software Quality Determination Leon J. Osterweil

    E-Print Network [OSTI]

    Massachusetts at Amherst, University of

    Improving the Quality of Software Quality Determination Processes Leon J. Osterweil Department a systematic, orderly, process-based approach to stating software quality objec- tives and knowing if and when they have been achieved. We suggest that quality in software is a complex, multifaceted array

  19. Unit 10: Software Quality To introduce software quality management and

    E-Print Network [OSTI]

    Finkelstein, Anthony

    1 Unit 10: Software Quality Objective Ð To introduce software quality management and assurance for, and commitment to, quality. The supplier should ensure that this policy is understood or services #12;6 Management Review ¥ The quality management system will need to be reviewed at regular

  20. Hanford Tanks Initiative quality assurance implementation plan

    SciTech Connect (OSTI)

    Huston, J.J.

    1998-06-23

    Hanford Tanks Initiative (HTI) Quality Assurance Implementation Plan for Nuclear Facilities defines the controls for the products and activities developed by HTI. Project Hanford Management Contract (PHMC) Quality Assurance Program Description (QAPD)(HNF-PRO599) is the document that defines the quality requirements for Nuclear Facilities. The QAPD provides direction for compliance to 10 CFR 830.120 Nuclear Safety Management, Quality Assurance Requirements. Hanford Tanks Initiative (HTI) is a five-year activity resulting from the technical and financial partnership of the US Department of Energy`s Office of Waste Management (EM-30), and Office of Science and Technology Development (EM-50). HTI will develop and demonstrate technologies and processes for characterization and retrieval of single shell tank waste. Activities and products associated with HTI consist of engineering, construction, procurement, closure, retrieval, characterization, and safety and licensing.

  1. Global optimization of data quality checks on 2-D and 3-D networks of GPR cross-well tomographic data for automatic correction of unknown well deviations

    E-Print Network [OSTI]

    Sassen, D. S.

    2010-01-01

    particle swarm optimization (PSO) to automatically correctsolution. We utilized the PSO FORTRAN code of Mishra (2006),as particle swarm optimization (PSO). The PSO algorithm of

  2. Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue)

    E-Print Network [OSTI]

    Cytometer LASER (nm) Detector range Fluorochrome Names check LSRII-A UV 355 A 505-550 Indo-1 (Blue) B 420-460 Live Dead UV Blue Alexa 350 DAPI Indo-1(Violet) Hoechst 33342 C - empty Violet 405 A 505-550 Pac. Orange V500 VioGreen BVio 510 Viability Dye eF506 Alexa 430 Sapphire B 420-460 Pac. Blue eF450 V

  3. The Library is open 24/5 Fall & Spring Summer hours vary -check lib.usf.edu

    E-Print Network [OSTI]

    Meyers, Steven D.

    The Library is open 24/5 Fall & Spring Summer hours vary - check lib.usf.edu After midnight, USF ID.lib.usf.edu/guides Teaching a Course? Learn how to integrate the library into Canvas Place items on reserve using PRESTO! Contact the library's Reserve Team at reserves@lib.usf.edu or 813-974-4182 Invite a librarian to join your

  4. An integrated life cycle quality model for general public market software products

    E-Print Network [OSTI]

    Suryn, Witold

    An integrated life cycle quality model for general public market software products Witold Suryn1 of the software product results from its ultimate quality seen by both acquirers and end users. An integrated life cycle quality model, further called complement model for software product quality combines high level

  5. Irrigation Water Quality 

    E-Print Network [OSTI]

    McFarland, Mark L.; Lemon, Robert G.; Stichler, Charles

    2002-04-11

    Irrigation water quality is determined by the total amounts of salts and the types of salts the water contains. In this publication you'll learn why well water can be salty, what problems salty water can cause, what tests should be done...

  6. Quality Assurance Program Guide

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2011-08-16

    This Guide provides information on principles, requirements, and practices used to establish and implement an effective Quality Assurance Program. Cancels DOE G 414.1-2A, DOE G 414.1-3 and DOE G 414.1-5. Admin Chg 1, dated 9-27-11. Admin Chg 2, dated 5-8-13.

  7. Quality Assurance Program Guide

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2011-08-16

    The directive provides guidance for DOE elements and contractors in developing and implementing an effective Quality Assurance Program. Cancels DOE G 414.1-2A, DOE G 414.1-3 and DOE G 414.1-5. Superseded by Admin Chg 1, 9-27-11.

  8. GROUNDWATER QUALITY PROTECTION PRACTICES

    E-Print Network [OSTI]

    #12;GROUNDWATER QUALITY PROTECTION PRACTICES Submitted to: Environment Canada 224 West Esplanade.............................................................................................1 2.0 GROUNDWATER RESOURCES WITHIN THE FRASER BASIN.................3 2.1 Lower Fraser Region..............................................................................5 3.0 COMMON SOURCES OF GROUNDWATER CONTAMINATION ...............6 3.1 Category 1 - Sources Designed

  9. Office of Quality Management

    Office of Energy Efficiency and Renewable Energy (EERE)

    The Office of Quality Management develops and interprets Government-wide policies and procedures and conducts training to ensure the accurate identification of information and documents that must be classified or controlled under statute or Executive order to protect the national security and controlled unclassified Official Use Only information for the effective operation of the Government.

  10. Quality Counts Exhibitor Card 

    E-Print Network [OSTI]

    Chilek, Kevin; Gregory, Elizabeth

    2004-01-27

    This exhibitor card identifies young livestock exhibitors as participants in the Quality Counts! program. The card is printed with a leather-style background on heavy card stock. It features the 4-H clover and the FFA logo, as well as the logo...

  11. Clothing Quality Standards 

    E-Print Network [OSTI]

    2006-05-01

    stream_source_info pdf_2298.pdf.txt stream_content_type text/plain stream_size 20810 Content-Encoding ISO-8859-1 stream_name pdf_2298.pdf.txt Content-Type text/plain; charset=ISO-8859-1 Clothing Quality Standards E-403...

  12. SU-E-T-205: Improving Quality Assurance of HDR Brachytherapy: Verifying Agreement Between Planned and Delivered Dose Distributions Using DICOM RTDose and Advanced Film Dosimetry

    SciTech Connect (OSTI)

    Palmer, A L; Bradley, D A; Nisbet, A

    2014-06-01

    Purpose: HDR brachytherapy is undergoing significant development, and quality assurance (QA) checks must keep pace. Current recommendations do not adequately verify delivered against planned dose distributions: This is particularly relevant for new treatment planning system (TPS) calculation algorithms (non TG-43 based), and an era of significant patient-specific plan optimisation. Full system checks are desirable in modern QA recommendations, complementary to device-centric individual tests. We present a QA system incorporating TPS calculation, dose distribution export, HDR unit performance, and dose distribution measurement. Such an approach, more common in external beam radiotherapy, has not previously been reported in the literature for brachytherapy. Methods: Our QA method was tested at 24 UK brachytherapy centres. As a novel approach, we used the TPS DICOM RTDose file export to compare planned dose distribution with that measured using Gafchromic EBT3 films placed around clinical brachytherapy treatment applicators. Gamma analysis was used to compare the dose distributions. Dose difference and distance to agreement were determined at prescription Point A. Accurate film dosimetry was achieved using a glass compression plate at scanning to ensure physically-flat films, simultaneous scanning of known dose films with measurement films, and triple-channel dosimetric analysis. Results: The mean gamma pass rate of RTDose compared to film-measured dose distributions was 98.1% at 3%(local), 2 mm criteria. The mean dose difference, measured to planned, at Point A was -0.5% for plastic treatment applicators and -2.4% for metal applicators, due to shielding not accounted for in TPS. The mean distance to agreement was 0.6 mm. Conclusion: It is recommended to develop brachytherapy QA to include full-system verification of agreement between planned and delivered dose distributions. This is a novel approach for HDR brachytherapy QA. A methodology using advanced film dosimetry and gamma comparison to DICOM RTDose files has been demonstrated as suitable to fulfil this need.

  13. Chemical analysis quality assurance at the ICPP

    SciTech Connect (OSTI)

    Hand, R.L.

    1990-12-31

    This document discusses the chemical analysis quality assurance program at the ICPP which involves records management, analytical methods quality control, analysis procedures and training and qualification. Since 1979, the major portion of the quality assurance program has been implemented on a central analytical computer system. The individual features provided by the system are storage, retrieval, and search capabilities over all general request and sample analysis information, automatic method selection for all process streams, automation of all method calculations, automatic assignment of bias and precision estimates at all analysis levels, with-method-use requalification, untrained or unqualified analyst method lockout, statistical testing of all process stream results for replicate agreement, automatic testing of process results against pre- established operating, safety, or failure limits at varying confidence levels, and automatic transfer and report of all analysis data plus all statistical testing to the Production Department.

  14. Chemical analysis quality assurance at the ICPP

    SciTech Connect (OSTI)

    Hand, R.L.

    1990-01-01

    This document discusses the chemical analysis quality assurance program at the ICPP which involves records management, analytical methods quality control, analysis procedures and training and qualification. Since 1979, the major portion of the quality assurance program has been implemented on a central analytical computer system. The individual features provided by the system are storage, retrieval, and search capabilities over all general request and sample analysis information, automatic method selection for all process streams, automation of all method calculations, automatic assignment of bias and precision estimates at all analysis levels, with-method-use requalification, untrained or unqualified analyst method lockout, statistical testing of all process stream results for replicate agreement, automatic testing of process results against pre- established operating, safety, or failure limits at varying confidence levels, and automatic transfer and report of all analysis data plus all statistical testing to the Production Department.

  15. DOE CALiPER Program, Report 20.1 Subjective Evaluation of Beam Quality, Shadow Quality, and Color Quality for LED PAR38 Lamps

    SciTech Connect (OSTI)

    Royer, Michael P.; Poplawski, Michael E.; Miller, Naomi J.

    2013-10-01

    This report focuses on human-evaluated characteristics, including beam quality, shadow quality, and color quality. Using a questionnaire that included rank ordering, opinions on 27 of the Report 20 PAR38 lamps were gathered during a demonstration event for members of the local Illuminating Engineering Society (IES) chapter. This was not a rigorous scientific experiment, and the data should not be extrapolated beyond the scope of the demonstration. The results suggest that many of the LED products compared favorably to halogen PAR38 benchmarks in all attributes considered. LED lamps using a single-emitter design were generally preferred for their beam quality and shadow quality, and the IES members ranking of color quality did not always match the rank according to the color rendering index (CRI).

  16. Home Fire Safety Inspection Checklist A fire can occur in any part of your home. Use this checklist to make a safety check of your house or

    E-Print Network [OSTI]

    Marsh, David

    ? Electrical Hazards: o Are appliances checked periodically for good operating conditions? o Are you careful alarm(s) every month? o Do you replace the battery of your battery operated smoke alarm every year? #12

  17. East Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system is scheduled to be on.

    E-Print Network [OSTI]

    Webb, Peter

    East Bank District Heating-to-Cooling Conversion Plan Check the date your building's cooling system Coal Storage Building 39 NA Cooke Hall 56 Donhowe Building 044 East Gateway District Steam Distr. 199

  18. Tennessee Air Quality Act (Tennessee)

    Broader source: Energy.gov [DOE]

    The Tennessee Air Quality Act (AQA) delegates the power to maintain air quality in the State to the Department of Environment and Conservation. Under the Department of the Environment and...

  19. Signed Quality Assurance Hub Memo

    Office of Environmental Management (EM)

    SECCTRITY PROGRAM ENVIRONMENTAL MANAGEMENT SUBJECT: Office of Environmental Management Quality Assurance Performance Assessment, Commitment, and Corrective Action Management...

  20. 2010 Quality Council Annual Report

    Broader source: Energy.gov [DOE]

    DEPARTMENT OF ENERGY QUALITY COUNCIL ANNUAL REPORT For Calendar Year 2010 Office of Health Safety and Security

  1. Irrigation Water Quality Salinity Management

    E-Print Network [OSTI]

    and industrial waste water can impact water quality. In most irrigation situations, the primary water qual- ity

  2. IRRIGATION WATER QUALITY FOR AGRICULTURE

    E-Print Network [OSTI]

    Radcliffe, David

    IRRIGATION WATER QUALITY FOR AGRICULTURE Irrigation Water Background In the past, there were minor of irrigation water in Georgia. This is because only a small amount of acreage under irrigated agriculture utilized potable (suitable for drinking) quality water. Thus, quality of irrigation water was not closely

  3. Introduction Main Result

    E-Print Network [OSTI]

    Yan, Catherine Huafei

    Introduction Main Result Enumeration Crossings and Nestings of Two Edges in Set Partitions Yan Crossings and Nestings of Set Partitions #12;Introduction Main Result Enumeration Definition} Catherine Yan Crossings and Nestings of Set Partitions #12;Introduction Main Result Enumeration Definition

  4. Cleanroom energy benchmarking results

    E-Print Network [OSTI]

    Tschudi, William; Xu, Tengfang

    2001-01-01

    emeu/consumption) Cleanroom benchmarking results, (http://Fok, and P. Rumsey. 2001. Cleanroom Energy Benchmarking inin the proceedings. Cleanroom Energy Benchmarking Results

  5. SU-E-T-407: Evaluation of Four Commercial Dosimetry Systems for Routine Patient-Specific Tomotherapy Delivery Quality Assurance

    SciTech Connect (OSTI)

    Xing, A; Arumugam, S; Deshpande, S; George, A; Holloway, L; Vial, P; Goozee, G [Liverpool Cancer Therapy Centre, Sydney, NSW (Australia)

    2014-06-01

    Purpose: The purpose of this project was to evaluate the performance of four commercially available dosimetry systems for Tomotherapy delivery quality assurance (DQA). Methods: Eight clinical patient plans were chosen to represent a range of treatment sites and typical clinical plans. Four DQA plans for each patient plan were created using the TomoTherapy DQA Station (Hi-Art version 4.2.1) on CT images of the ScandiDose Delta4, IBA MatriXX Evolution, PTW Octavius 4D and Sun Nuclear ArcCHECK phantoms. Each detector was calibrated following the manufacture-provided procedure. No angular response correction was applied. All DQA plans for each detector were delivered on the Tomotherapy Hi-Art unit in a single measurement session but on different days. The measured results were loaded into the vendor supplied software for each QA system for comparison with the TPS-calculated dose. The Gamma index was calculated using 3%/3mm, 2%/2mm with 10% dose threshold of maximum TPS calculated dose. Results: Four detector systems showed comparable gamma pass rates for 3%/3m, which is recommended by AAPM TG119 and commonly used within the radiotherapy community. The averaged pass rates ± standard deviation for all DQA plans were (98.35±1.97)% for ArcCHECK, (99.9%±0.87)% for Matrix, (98.5%±5.09)% for Octavius 4D, (98.7%±1.27)% for Delata4. The rank of the gamma pass rate for individual plans was consistent between detectors. Using 2%/2mm Gamma criteria for analysis, the Gamma pass rate decreased on average by 9%, 8%, 6.6% and 5% respectively. Profile and Gamma failure map analysis using the software tools from each dosimetry system indicated that decreased passing rate is mainly due to the threading effect of Tomo plan. Conclusion: Despite the variation in detector type and resolution, phantom geometry and software implementation, the four systems demonstrated similar dosimetric performance, with the rank of the gamma pass rate consistent for the plans considered.

  6. Quality Control by Artificial Vision

    SciTech Connect (OSTI)

    Lam, Edmond Y. [University of Hong Kong, The; Gleason, Shaun Scott [ORNL; Niel, Kurt S. [Upper Austria University of Applied Science, Engineering and Environmental Studies

    2010-01-01

    Computational technology has fundamentally changed many aspects of our lives. One clear evidence is the development of artificial-vision systems, which have effectively automated many manual tasks ranging from quality inspection to quantitative assessment. In many cases, these machine-vision systems are even preferred over manual ones due to their repeatability and high precision. Such advantages come from significant research efforts in advancing sensor technology, illumination, computational hardware, and image-processing algorithms. Similar to the Special Section on Quality Control by Artificial Vision published two years ago in Volume 17, Issue 3 of the Journal of Electronic Imaging, the present one invited papers relevant to fundamental technology improvements to foster quality control by artificial vision, and fine-tuned the technology for specific applications. We aim to balance both theoretical and applied work pertinent to this special section theme. Consequently, we have seven high-quality papers resulting from the stringent peer-reviewing process in place at the Journal of Electronic Imaging. Some of the papers contain extended treatment of the authors work presented at the SPIE Image Processing: Machine Vision Applications conference and the International Conference on Quality Control by Artificial Vision. On the broad application side, Liu et al. propose an unsupervised texture image segmentation scheme. Using a multilayer data condensation spectral clustering algorithm together with wavelet transform, they demonstrate the effectiveness of their approach on both texture and synthetic aperture radar images. A problem related to image segmentation is image extraction. For this, O'Leary et al. investigate the theory of polynomial moments and show how these moments can be compared to classical filters. They also show how to use the discrete polynomial-basis functions for the extraction of 3-D embossed digits, demonstrating superiority over Fourier-basis functions for this task. Image registration is another important task for machine vision. Bingham and Arrowood investigate the implementation and results in applying Fourier phase matching for projection registration, with a particular focus on nondestructive testing using computed tomography. Readers interested in enriching their arsenal of image-processing algorithms for machine-vision tasks should find these papers enriching. Meanwhile, we have four papers dealing with more specific machine-vision tasks. The first one, Yahiaoui et al., is quantitative in nature, using machine vision for real-time passenger counting. Occulsion is a common problem in counting objects and people, and they circumvent this issue with a dense stereovision system, achieving 97 to 99% accuracy in their tests. On the other hand, the second paper by Oswald-Tranta et al. focuses on thermographic crack detection. An infrared camera is used to detect inhomogeneities, which may indicate surface cracks. They describe the various steps in developing fully automated testing equipment aimed at a high throughput. Another paper describing an inspection system is Molleda et al., which handles flatness inspection of rolled products. They employ optical-laser triangulation and 3-D surface reconstruction for this task, showing how these can be achieved in real time. Last but not least, Presles et al. propose a way to monitor the particle-size distribution of batch crystallization processes. This is achieved through a new in situ imaging probe and image-analysis methods. While it is unlikely any reader may be working on these four specific problems at the same time, we are confident that readers will find these papers inspiring and potentially helpful to their own machine-vision system developments.

  7. Unit 100 - Data Quality Measurement and Assessment

    E-Print Network [OSTI]

    100, CC in GIScience; Veregin, Howard; Hunter, Gary

    2000-01-01

    Page 18 Unit 100 - Data Quality Measurement and AssessmentPage 19 Unit 100 - Data Quality Measurement and AssessmentData Quality Measurement and Assessment Unit 100 - Data

  8. DOE Challenge Home Recommended Quality Management Provisions...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Recommended Quality Management Provisions DOE Challenge Home Recommended Quality Management Provisions DOE Challenge Home Recommended Quality Management Provisions. qm6-14-13.pdf...

  9. Definitions Main Result

    E-Print Network [OSTI]

    Heubach, Silvia

    Background Definitions Main Result Special Types of Patterns Summary Avoidance of partially ordered Avoidance of partially ordered patterns in compositions #12;Background Definitions Main Result Special Types of Patterns Summary Outline 1 Background 2 Definitions 3 Main Result Preliminaries Main Result 4 Special Types

  10. Analytical laboratory quality audits

    SciTech Connect (OSTI)

    Kelley, William D.

    2001-06-11

    Analytical Laboratory Quality Audits are designed to improve laboratory performance. The success of the audit, as for many activities, is based on adequate preparation, precise performance, well documented and insightful reporting, and productive follow-up. Adequate preparation starts with definition of the purpose, scope, and authority for the audit and the primary standards against which the laboratory quality program will be tested. The scope and technical processes involved lead to determining the needed audit team resources. Contact is made with the auditee and a formal audit plan is developed, approved and sent to the auditee laboratory management. Review of the auditee's quality manual, key procedures and historical information during preparation leads to better checklist development and more efficient and effective use of the limited time for data gathering during the audit itself. The audit begins with the opening meeting that sets the stage for the interactions between the audit team and the laboratory staff. Arrangements are worked out for the necessary interviews and examination of processes and records. The information developed during the audit is recorded on the checklists. Laboratory management is kept informed of issues during the audit so there are no surprises at the closing meeting. The audit report documents whether the management control systems are effective. In addition to findings of nonconformance, positive reinforcement of exemplary practices provides balance and fairness. Audit closure begins with receipt and evaluation of proposed corrective actions from the nonconformances identified in the audit report. After corrective actions are accepted, their implementation is verified. Upon closure of the corrective actions, the audit is officially closed.

  11. Underlying Quality Principles

    Broader source: Energy.gov [DOE]

    These principles are consistent with Integrated Safety Management Policy, P 450.4A and support ISM implementation. 1. Define Policies and Objectives--Ensure they are Understood and Accepted. Management must set expectations for the organization as a whole before employees can do their jobs, satisfy their customers, and strive to improve the quality of their work. This is accomplished by developing and implementing specific policies and objectives that reflect the operating philosophy of the facility's management. Once these policies and objectives have been established, all managers must take the necessary actions to ensure that each employee shares their vision of the organization's purpose.

  12. Section 22: Quality Assurance

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust, High-ThroughputUpcomingmagnetoresistanceand Governmentm D m r e D m . 2.4Figure9Quality

  13. ARM - Data Quality Program

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefieldSulfateSciTechtail.Theory of rare Kaonforsupernovae2Gathering and Delivery Data Gathering andQuality

  14. Delta Drinking Water Quality and TreatmentDelta Drinking Water Quality and Treatment WeiWei--Hsiang ChenHsiang Chen

    E-Print Network [OSTI]

    Pasternack, Gregory B.

    ­ ozonation use, ()- Under construction SOURCE: CALFED (2005) and MWDSC (http://www.mwdh2o.com/index.htm ) #1211 Delta Drinking Water Quality and TreatmentDelta Drinking Water Quality and Treatment CostsCosts · Treatments for Delta water quality conditions to minimize cost within technology limits. · Results using

  15. Renewables and air quality

    SciTech Connect (OSTI)

    Wooley, D.R.

    2000-08-01

    The US heavy reliance on fossil fuels is a central obstacle to improving air quality and preventing catastrophic climate change. To solve this problem will require a combination of financial incentives and market rules that strongly encourage development of renewable energy resources to meet electric power demand. One promising policy option is to allow renewable energy resources to directly participate in air pollution emission trading mechanisms. Currently, the clean air benefits of renewable energy generally go unrecognized by regulators, under-appreciated by consumers and uncompensated by markets. Renewable energy is a key clean air alternative to conventional electricity generation, and the development of renewables could be stimulated by changes to the Clean Air Act's emissions trading programs. As Congress revisits clean air issues over the next several years, renewable energy representatives could push for statutory changes that reward the renewable energy industry for the air quality benefits it provides. By also becoming involved in key US Environmental Protection Agency (EPA) and state rule-making cases, the renewables industry could influence the structure of emissions trading programs and strengthen one of the most persuasive arguments for wind, solar and biomass energy development.

  16. Hazard analysis results report

    SciTech Connect (OSTI)

    Niemi, B.J., Westinghouse Hanford

    1996-09-30

    This document describes and defines the Hazard Analysis Results for the Tank Waste Remediation System Final Safety Analysis Report.

  17. Quality Research Administration MeetingQuality Research Administration Meeting Sandra Stevens

    E-Print Network [OSTI]

    Wood, Marcelo A.

    Quality Research Administration MeetingQuality Research Administration Meeting SPA Update Sandra, 2015 #12;Quality Research Administration Meeting SPA Realignment · Review of current organizational-Federal Team ­ Clinical Trials Team #12;Quality Research Administration Meeting #12;Quality Research

  18. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Solar) (4 Activities) Concentrated sunlight is a versatile and high-quality form of energy with several potential applications besides producing heat and electricity. Today,...

  19. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    downloadselectrolysis-water Download Material and Chemical Processing (Concentrated Solar) (4 Activities) Concentrated sunlight is a versatile and high-quality form of energy...

  20. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    -cells-and-systems-9-activities Download Material and Chemical Processing (Concentrated Solar) (4 Activities) Concentrated sunlight is a versatile and high-quality form of energy...

  1. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration Management Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration Management...

  2. DOE Challenge Home Recommended Quality Management Provisions

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Recommended Quality Management Provisions RECOMMENDED QUALITY MANAGEMENT PROVISIONS QM Provision Builder Documentation & Verification Requirements RaterVerifier Requirements QM...

  3. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM | Department of...

    Office of Environmental Management (EM)

    PROGRAM SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM System Maintenance Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM More Documents & Publications Preacceptance...

  4. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Requirements...

    Broader source: Energy.gov (indexed) [DOE]

    requirements management activities SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Requirements Management Checklist More Documents & Publications SOFTWARE QUALITY & SYSTEMS...

  5. Impervious Areas: Examining the Undermining Effects on Surface Water Quality 

    E-Print Network [OSTI]

    Young, De'Etra Jenra

    2012-02-14

    lot study. Results indicated that day since last rain event had the most significant effect on surface water quality. Furthermore, concrete produced higher dissolved organic carbon (DOC), dissolved organic nitrogen (DON), potassium and calcium...

  6. Factors Analysis on Safety of Indoor Air Quality 

    E-Print Network [OSTI]

    Luo, Q.; Liu, Z.; Xiong, J.

    2006-01-01

    Influence factors on safety of indoor air quality (IAQ) were analyzed in this paper. Some regeneration compositions resulting from potential indoor chemical reactions may be more harmful to habitants. A few building flaws may be key factors...

  7. Quality of Service of Crash-Recovery Failure Detectors 

    E-Print Network [OSTI]

    Ma, Tiejun

    2007-11-07

    This thesis presents the results of an investigation into the failure detection problem. We consider the specific case of the Quality of Service (QoS) of crash failure detection. In contrast to previous work, we address ...

  8. Overview of ALICE results

    E-Print Network [OSTI]

    Antonio Ortiz; for the ALICE Collaboration

    2015-01-22

    The ALICE detector was designed to study the physics of matter under extreme conditions of high energy density. Different results were reported by the experiment using data from the successful run I of the LHC. The goal of the present work is to present an overview of recent ALICE results. This comprises selected results from several analyses of pp, p-pb and Pb-Pb data at the LHC energies.

  9. Summary of FY15 results of benchmark modeling activities

    SciTech Connect (OSTI)

    Arguello, J. Guadalupe

    2015-08-01

    Sandia is participating in the third phase of an is a contributing partner to a U.S.-German "Joint Project" entitled "Comparison of current constitutive models and simulation procedures on the basis of model calculations of the thermo-mechanical behavior and healing of rock salt." The first goal of the project is to check the ability of numerical modeling tools to correctly describe the relevant deformation phenomena in rock salt under various influences. Achieving this goal will lead to increased confidence in the results of numerical simulations related to the secure storage of radioactive wastes in rock salt, thereby enhancing the acceptance of the results. These results may ultimately be used to make various assertions regarding both the stability analysis of an underground repository in salt, during the operating phase, and the long-term integrity of the geological barrier against the release of harmful substances into the biosphere, in the post-operating phase.

  10. Current Quality Culture Mini Paper Six Sigma Quality Control

    E-Print Network [OSTI]

    Vardeman, Stephen B.

    Current Quality Culture Mini Paper Six Sigma Quality Control By: Shawn Higbee Steve Soseman Kaya, they want zero." - John Bertrand, President, A.O. Smith Electrical Products Company What is Six Sigma? SixSig_pg140-2.html Is Six Sigma good for every company? The benefits of implementing a 6 include increased

  11. Recent results from TRISTAN

    SciTech Connect (OSTI)

    Enomoto, Ryoji [National Laboratory for High Energy Physics, Ibaraki (Japan)

    1997-01-01

    TRISTAN results on {gamma}{gamma} physics from 1994 to 1995 are reviewed in this report. We have systematically investigated jet production, the {gamma}-structure function, and charm pair production in {gamma}{gamma} processes. The results are discussed, and future prospects are presented.

  12. Cache directory look-up re-use as conflict check mechanism for speculative memory requests

    DOE Patents [OSTI]

    Ohmacht, Martin

    2013-09-10

    In a cache memory, energy and other efficiencies can be realized by saving a result of a cache directory lookup for sequential accesses to a same memory address. Where the cache is a point of coherence for speculative execution in a multiprocessor system, with directory lookups serving as the point of conflict detection, such saving becomes particularly advantageous.

  13. FoS Faculty Recruiting FoS Guidelines for Faculty Recruitment Check-list

    E-Print Network [OSTI]

    Wood, Spencer

    Dean completed Recruitment "tool-kit" distributed. Conflict of Interest guidelines distributed estimate Dean's Office signoff !2. Tracking of applicant pool. Diversity Survey link received from Dean's office Survey link provided to applicants Two weeks prior to application deadline - survey results

  14. High throughput low power decoder architectures for low density parity check codes 

    E-Print Network [OSTI]

    Selvarathinam, Anand Manivannan

    2005-11-01

    ?????????????????..?... 14 3 Iteration Logic Stage???????????????????..?... 15 4 Fully Parallel Architecture?????????????????..?.. 17 5 BER/FER Simulation Result for Different Values of M?????.??. 29 6 Iteration Stage ? Combinational Logic Scaling... Patterns?????? 46 11 H Matrix for M = N/12 and 10, 12 Patterns????????????.. 46 12 BER Performance for M = N/6 and Different Patterns????????. 49 13 FER Performance for M = N/6 and Different Patterns????????. 49 14 BER Performance for M = N/12...

  15. Sensitivity and Scenario Results

    E-Print Network [OSTI]

    Yu, Winston

    Presents the results of various scenarios using models used to study water, climate, agriculture and the economy in Pakistan's Indus Basin, and discusses the policy and investment implications. The water allocations per ...

  16. NA57 main results

    E-Print Network [OSTI]

    G. E. Bruno; for the NA57 Collaboration

    2007-10-15

    The CERN NA57 experiment was designed to study the production of strange and multi-strange particles in heavy ion collisions at SPS energies; its physics programme is essentially completed. A review of the main results is presented.

  17. Electroweak results from CDF

    SciTech Connect (OSTI)

    D. S. Waters

    2004-06-02

    Inclusive W and Z production cross-sections have been measured by CDF and certain electroweak parameters extracted with high precision from these measurements. New results on diboson production at the Tevatron are also presented.

  18. Quality Management Why bother Certificating?

    E-Print Network [OSTI]

    Paxton, Anthony T.

    1 Quality Management #12;2 Why bother Certificating? External view from trained auditors helps Is Quality? Degree to which a set of inherent characteristics fulfils requirements ISO 9000:2000 #12) (Prevention) (Direction) BS 5750 1979-1987 ISO 9001/2/3 1987-2000 ISO 9001 2000, amended 2008 #12;5 What

  19. Reformulated gasoline quality issues

    SciTech Connect (OSTI)

    Gonzalez, R.G.; Felch, D.E.; Edgar, M.D.

    1995-11-01

    One year ago, a panel of industry experts were interviewed in the November/December 1994 issue of Fuel Reformulation (Vol. 4, No. 6). With the focus then and now on refinery investments, the panelists were asked to forecast which refining processes would grow in importance. It is apparent from their response, and from other articles and discussions throughout the year, that hydroprocessing and catalytic conversion processes are synergistic in the overall refinery design, with flexibility and process objectives varying on a unit-by-unit case. To an extent, future refinery investments in downstream petrochemicals, such as for paraxylene production, are based on available catalytic reforming feedstock. Just a importantly, hydroprocessing units (hydrotreating, hydrocracking) needed for clean fuel production (gasoline, diesel, aviation fuel), are heavily dependent on hydrogen production from the catalytic reformer. Catalytic reforming`s significant influence in the refinery hydrogen balance, as well as its status as a significant naphtha conversion route to higher-quality fuels, make this unit a high-priority issue for engineers and planners striving for flexibility.

  20. CSE4939W CSE Design Laboratory Software Quality Analysis (Initial and Revised)

    E-Print Network [OSTI]

    Demurjian, Steven A.

    CSE4939W CSE Design Laboratory Software Quality Analysis (Initial and Revised) From any software engineering textbook, there are a number of vital software qualities that need to be considered for any given application. As result, the analysis of these software qualities for your project is an important step

  1. Emerging Latin American air quality regulation

    SciTech Connect (OSTI)

    Hosmer, A.W.; Vitale, E.M.; Guerrero, C.R.; Solorzano-Vincent, L.

    1998-12-31

    Latin America is the most urbanized region in the developing world. In recent years, significant economic growth has resulted in population migration from rural areas to urban centers, as well as in a substantial rise in the standard of living within the Region. These changes have impacted the air quality of Latin American countries as increased numbers of industrial facilities and motor vehicles release pollutants into the air. With the advent of new free trade agreements such as MERCOSUR and NAFTA, economic activity and associated pollutant levels can only be expected to continue to expand in the future. In order to address growing air pollution problems, many Latin America countries including Argentina, Brazil, Chile, Columbia, Costa Rica, and Mexico have passed, or will soon pass, new legislation to develop and strengthen their environmental frameworks with respect to air quality. As a first step toward understanding the impacts that this increased environmental regulation will have, this paper will examine the regulatory systems in six Latin American countries with respect to ambient air quality and for each of these countries: review a short history of the air quality problems within the country; outline the legal and institutional framework including key laws and implementing institutions; summarize in brief the current status of the country in terms of program development and implementation; and identify projected future trends. In addition, the paper will briefly review the international treaties that have bearing on Latin American air quality. Finally, the paper will conclude by identifying and exploring emerging trends in individual countries and the region as a whole.

  2. Recent results from MAC

    SciTech Connect (OSTI)

    MAC Collaboration

    1982-05-01

    Some preliminary results from the MAC detector at PEP are presented. These include measurements of the angular distribution of ..gamma gamma.., ..mu mu.. and tau tau final states, a determination of the tau lifetime, a measurement of R, and a presentation of the inclusive muon p/sub perpendicular/ distribution for hadronic events.

  3. Plans, Implementation, and Results

    Broader source: Energy.gov [DOE]

    The Bioenergy Technologies Office carries out technology research, development, and deployment through an ongoing process of planning and analysis, implementation, and review. This Web page includes links to documents that support and document the program management process, and the results and public benefits that derive from it.

  4. Supplementary Results Behavioral Performance

    E-Print Network [OSTI]

    Knutson, Brian

    of the performance measures. #12;Full Brain fMRI Analyses for Reward Anticipation See Tables 1 and 2 for the results of whole brain analyses. #12;Table 1. Patterns of Activation for Contrasts of BOLD Signal Immediately coordinates Area Side Talairach coordinates Area Side -24,-32,55 Postcentral gyrus Left 23,0,67 Middle frontal

  5. Key Research Results Achievement

    E-Print Network [OSTI]

    ) evaluated several common figures of merit used to compare the electrical and optical performance of TCsKey Research Results Achievement NREL research significantly contributed to inadequate existing not yet at performance levels of TCOs, demonstrate a much better combination of transmission

  6. Key Research Results Achievement

    E-Print Network [OSTI]

    % energy savings in new buildings and major renovations. Researchers at the National Renewable Energy%energysavingsovercode.NREL developedthesimulationtoolsandledthe committeethatproducedtheguides. Key Result TheAdvancedEnergy to use signifi- cantly less energy--reducing operating costs and greenhouse gas emissions. This new K-12

  7. 302:20130613.1452 Quality Assurance Group

    E-Print Network [OSTI]

    Mojzsis, Stephen J.

    and software development from the preliminary design phase through launch. Our quality assurance expertise and software. LASP's quality management philosophy includes the belief that quality and safety302:20130613.1452 Quality Assurance Group LASP Quality Assurance Group is involved in hardware

  8. 9 QUALITY ASSURANCE AND QUALITY CONTROL 9.1 Introduction

    E-Print Network [OSTI]

    that a facility's current Quality Assurance Program can be used. Standard ANSI/ASQC E4-1994 (ASQC 1995) provides and the collection and evaluation of environmental data. Annex B of ANSI/ASQC E4-1994 1 Numerous quality assurance (ASME 1989), and ISO 9000/ASQC Q9000 series (ISO 1987). ANSI/ASQC E4- 1994 (ASQC 1995) is a consensus

  9. Cleanroom energy benchmarking results

    SciTech Connect (OSTI)

    Tschudi, William; Xu, Tengfang

    2001-09-01

    A utility market transformation project studied energy use and identified energy efficiency opportunities in cleanroom HVAC design and operation for fourteen cleanrooms. This paper presents the results of this work and relevant observations. Cleanroom owners and operators know that cleanrooms are energy intensive but have little information to compare their cleanroom's performance over time, or to others. Direct comparison of energy performance by traditional means, such as watts/ft{sup 2}, is not a good indicator with the wide range of industrial processes and cleanliness levels occurring in cleanrooms. In this project, metrics allow direct comparison of the efficiency of HVAC systems and components. Energy and flow measurements were taken to determine actual HVAC system energy efficiency. The results confirm a wide variation in operating efficiency and they identify other non-energy operating problems. Improvement opportunities were identified at each of the benchmarked facilities. Analysis of the best performing systems and components is summarized, as are areas for additional investigation.

  10. Tevatron Top Results

    E-Print Network [OSTI]

    Christophe Clement

    2006-05-28

    I present the latest results from the CDF and D0 collaborations on top quark production (single top and top quark pair production) at the Tevatron proton-antiproton collider at sqrt(s) =1.96 TeV, measurements of the top quark decay properties such as the branching ratio B(t -> Wb), the W helicity in t -> Wb decays, and measurements of fundamental parameters such as the top quark charge and mass.

  11. Double Chooz: Latest results

    E-Print Network [OSTI]

    J. I. Crespo-Anadón; for the Double Chooz collaboration

    2014-12-11

    The latest results from the Double Chooz experiment on the neutrino mixing angle $\\theta_{13}$ are presented. A detector located at an average distance of 1050 m from the two reactor cores of the Chooz nuclear power plant has accumulated a live time of 467.90 days, corresponding to an exposure of 66.5 GW-ton-year (reactor power $\\times$ detector mass $\\times$ live time). A revised analysis has boosted the signal efficiency and reduced the backgrounds and systematic uncertainties compared to previous publications, paving the way for the two detector phase. The measured $\\sin^2 2\\theta_{13} = 0.090^{+0.032}_{-0.029}$ is extracted from a fit to the energy spectrum. A deviation from the prediction above a visible energy of 4 MeV is found, being consistent with an unaccounted reactor flux effect, which does not affect the $\\theta_{13}$ result. A consistent value of $\\theta_{13}$ is measured in a rate-only fit to the number of observed candidates as a function of the reactor power, confirming the robustness of the result.

  12. Criminal Background Check With few exceptions, you are entitled on your request to be informed about the information UT Health Science Center San Antonio collects about you. Under

    E-Print Network [OSTI]

    Nicholson, Bruce J.

    with the procedures set forth in HOP Policy 4.4.1. You may be required to correct/contest criminal background records background records. See HOP Policy 4.4.1 - Criminal Background Checks and HOP Policy 8.7.11 Contractors, the University of Texas Health Science Center at San Antonio may obtain criminal records and/or a consumer report

  13. Check One EdM MA MBE MEng MF MFA MPP MS MMP MHP PSM LAST Name (Family) First Name, Middle Initial

    E-Print Network [OSTI]

    Escher, Christine

    MASTERS Check One EdM MA MBE MEng MF MFA MPP MS MMP MHP PSM LAST Name (Family) First Name, Middle. No. 503 G* Non-Thesis Project, Research, or PSM Internship (3-6 credits) Course Cr. Gr. If applicable

  14. 12:30 -12:45 p.m. Check-in and greetings 12:45 -12:55 p.m. Welcome and Announcements

    E-Print Network [OSTI]

    de Lijser, Peter

    :30 - 12:45 p.m. Check-in and greetings __________________________________________________________________________________________________ 12:45 - 12:55 p.m. Welcome and Announcements Vivek Mande California State University, Fullerton __________________________________________________________________________________________________ 1:00 - 1:40 p.m. Invited presentation Robert Knechel

  15. Duke University, Department of ECE, Technical Report #2004-2, September 20, 2004 Dynamic verification enables a system to improve its availability by checking that its execution is

    E-Print Network [OSTI]

    Sorin, Daniel J.

    verification enables a system to improve its availability by checking that its execution is correct verification of sequential con- sistency (pDVSC) in multithreaded systems. The system dynamically creates verification arbitrarily small. We use full-system simulation of a multithreaded system running commercial

  16. PSYCHOLOGY: For Use with Catalogue Year 2015-16 or earlier This B.A. Check is for INFORMATIONAL PURPOSES ONLY. Please refer to the UCI General Catalogue.

    E-Print Network [OSTI]

    Johnson, Kent

    PSYCHOLOGY: For Use with Catalogue Year 2015-16 or earlier This B.A. Check is for INFORMATIONAL Requirements Psychology Major Requirements Additional Psychology & Units Please refer to your general catalogue.) __________________________ __________________________ __________________________ 3) Cat. III: Social & Beh.Sci. Satisfied by the Psychology Major 4) Cat. IV: Arts & Humanities

  17. SJSU Information Support Services Pay with an eCheck info-support@sjsu.edu, 408-924-1530 Page 1

    E-Print Network [OSTI]

    Su, Xiao

    the Click here to make a payment link. 7. Select Enter new electronic check information. You can save save. 8. Click the Continue Checkout button. #12;SJSU Information Support Services Pay with an e to be saved for future use Enter a name for this payment method to save this information for future payments

  18. The University of Oklahoma Background Check Authorization (updated 02/05/2013) Hiring department completes this section. Incomplete information will delay the hiring process.

    E-Print Network [OSTI]

    Oklahoma, University of

    The University of Oklahoma Background Check Authorization (updated 02/05/2013) Hiring department Medical Resident Volunteer Other, Describe: APPLICANT MUST READ AND SIGN The University of Oklahoma to the Standard Pre-Employment Screening. I understand that the University of Oklahoma may utilize the services

  19. Personal Information Change Form I am submitting this form to change my (check all that apply and complete form with new information)

    E-Print Network [OSTI]

    Personal Information Change Form I am submitting this form to change my (check all that apply Center, VU Station B #351809, 2301 Vanderbilt Place, Nashville, TN 372351809; phone 615.322.4705 (V # Entered by Audited by Signature Date Mail form to: Vanderbilt HR Processing, PMB #407718, 2301 Vanderbilt

  20. Energy-Aware Routing: a Reality Check Aruna Prem Bianzino1, Claude Chaudet1, Federico Larroca2, Dario Rossi1, Jean-Louis Rougier1

    E-Print Network [OSTI]

    Rougier, Jean-Louis

    of green routing algorithms and evaluate the achievable energy savings that such mechanisms could allow of bringing energy- awareness in network elements and processes is usually re- ferred to as green networking1 Energy-Aware Routing: a Reality Check Aruna Prem Bianzino1, Claude Chaudet1, Federico Larroca2

  1. Three essays on product quality and pricing

    E-Print Network [OSTI]

    Nistor, Cristina (Cristina Daniela)

    2012-01-01

    This dissertation consists of three essays on product quality and pricing. Essay 1: Pricing and Quality Provision in a Channel: A Model of Efficient Relational Contracts The first essay analyzes how quality concerns affect ...

  2. A systems view of quality

    E-Print Network [OSTI]

    Utley, Tana L. (Tana Leigh)

    2007-01-01

    Caterpillar, a leading manufacturer of construction and mining equipment, diesel and natural gas engines and industrial gas turbines, is committed to continually improving the quality of their products. Caterpillar currently ...

  3. Improving the Quality of FORS2 Reduced Spectra

    E-Print Network [OSTI]

    Moehler, Sabine; Boffin, Henri; Rupprecht, Gero; Saviane, Ivo; Freudling, Wolfram

    2015-01-01

    The FORS2 instrument is one of the most widely used and productive instruments on the Very Large Telescope. This article reports on a project to improve the quality of the reduced FORS2 spectra that can be produced with the software provided by ESO. The result of this effort is that spectra of significantly higher quality can now be produced with substantially lower effort by the science user of the data.

  4. Recent BABAR Results

    SciTech Connect (OSTI)

    Eigen, Gerald

    2015-04-29

    We present herein the most recent BABAR results on direct CP asymmetry measurements in B ? Xs?, on partial branching fraction and CP asymmetry measurements in B ? Xsl+l-, on a search for B ? ? / ?l+l- decays, on a search for lepton number violation in B+ ? X-l+l'+ modes and a study of B0 ??? and B0 ? ?? decays.

  5. 2012 User Survey Results

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefieldSulfateSciTechtail.TheoryTuesday, August 10, 2010 james-r.giusti@srs.govTuesday, FebruaryResults 2012

  6. Guidelines for Quality Clothing Construction. 

    E-Print Network [OSTI]

    Culp, Becky

    1979-01-01

    that form on right side of fabric. Durability of bonding or laminating. Examine cut edge and avoid those which separate easily. Quality quilting. Examine for durable and strong quilting threads and a durable backing fabric. Quilting threads should... or processes such as: ? Durable or permanent press for easy care ? Colorfastness (fading) ? Shrinkage control ? Soil release ? Wrinkle or crease resistance ? Flame resistance for safety Quality trims should be compatible with the fabrics chosen. Look...

  7. Recent Results from HAPPEX

    SciTech Connect (OSTI)

    Robert Michaels

    2006-09-18

    New measurements of the parity-violating asymmetry in elastic scattering of 3GeV electrons off hydrogen and helium-4 targets at theta{sub lab} = 6 degrees are reported. The helium-4 result is A = (+6.40 {+-} 0.23 (stat) {+-} 0.12 (syst)) * 10{sup -6}. The hydrogen result is A = (-1.58 {+-} 0.12 (stat) {+-} 0.04 (syst)) * 10{sup -6}. The asymmetry for hydrogen is a function of a linear combination of G{sub E}{sup s} and G{sub M}{sup s}, the strange quark contributions to the electric and magnetic form factors of the nucleon respectively, and that for helium-4 is a function solely of G{sub E}{sup s}. The combination of the two measurements separates G{sub E}{sup s} and G{sub M}{sup s} and provide new limits on the role of strange quarks in the nucleon charge and magnetization distributions. We extract G{sub E}{sup s} = 0.002 {+-} 0.014 {+-} 0.007 at Q{sup 2} = 0.077 GeV{sup 2} and G{sub E}{sup s} + 0.09 G{sub M}{sup s} = 0.007 {+-} 0.011 {+-} 0.006 at Q{sup 2} = 0.109 GeV{sup 2}.

  8. Organic Separation Test Results

    SciTech Connect (OSTI)

    Russell, Renee L.; Rinehart, Donald E.; Peterson, Reid A.

    2014-09-22

    Separable organics have been defined as “those organic compounds of very limited solubility in the bulk waste and that can form a separate liquid phase or layer” (Smalley and Nguyen 2013), and result from three main solvent extraction processes: U Plant Uranium Recovery Process, B Plant Waste Fractionation Process, and Plutonium Uranium Extraction (PUREX) Process. The primary organic solvents associated with tank solids are TBP, D2EHPA, and NPH. There is concern that, while this organic material is bound to the sludge particles as it is stored in the tanks, waste feed delivery activities, specifically transfer pump and mixer pump operations, could cause the organics to form a separated layer in the tank farms feed tank. Therefore, Washington River Protection Solutions (WRPS) is experimentally evaluating the potential of organic solvents separating from the tank solids (sludge) during waste feed delivery activities, specifically the waste mixing and transfer processes. Given the Hanford Tank Waste Treatment and Immobilization Plant (WTP) waste acceptance criteria per the Waste Feed Acceptance Criteria document (24590-WTP-RPT-MGT-11-014) that there is to be “no visible layer” of separable organics in the waste feed, this would result in the batch being unacceptable to transfer to WTP. This study is of particular importance to WRPS because of these WTP requirements.

  9. Oregon Water Quality Permit Program (Stormwater - Industrial...

    Open Energy Info (EERE)

    Oregon Water Quality Permit Program (Stormwater - Industrial Activities) Website Jump to: navigation, search OpenEI Reference LibraryAdd to library Web Site: Oregon Water Quality...

  10. Quality New Mexico recognizes Community Programs Office

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    CPO receives Pion recognition Quality New Mexico recognizes Community Programs Office LANL has received 14 Pion and Roadrunner recognitions from Quality New Mexico since 1997....

  11. Vermont Water Quality Certification Application for Hydroelectric...

    Open Energy Info (EERE)

    Vermont Water Quality Certification Application for Hydroelectric Facilities Jump to: navigation, search OpenEI Reference LibraryAdd to library Form: Vermont Water Quality...

  12. Supplying High-Quality, Raw Biomass

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Supplying High-Quality, Raw Biomass The building blocks to supply high-quality raw biomass start with harvesting and collection practices, product storage and recommendations of...

  13. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design...

    Office of Environmental Management (EM)

    SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design Checklist This checklist is intended to...

  14. Better Buildings Workforce Peer Exchange Quality Assurance Strategies...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Quality Assurance Strategies Better Buildings Workforce Peer Exchange Quality Assurance Strategies Better Buildings Workforce Peer Exchange Quality Assurance Strategies, call...

  15. Nucleosynthesis results from INTEGRAL

    E-Print Network [OSTI]

    G. Weidenspointner

    2006-01-15

    Since its launch in October 2002, ESA's INTEGRAL observatory has enabled significant advances to be made in the study of Galactic nucleosynthesis. In particular, the imaging Ge spectrometer SPI combines for the first time the diagnostic powers of high resolution gamma-ray line spectroscopy and moderate spatial resolution. This review summarizes the major nucleosynthesis results obtained with INTEGRAL so far. Positron annihilation in our Galaxy is being studied in unprecented detail. SPI observations yield the first sky maps in both the 511 keV annihilation line and the positronium continuum emission, and the most accurate spectrum at 511 keV to date, thereby imposing new constraints on the source(s) of Galactic positrons which still remain(s) unidentified. For the first time, the imprint of Galactic rotation on the centroid and shape of the 1809 keV gamma-ray line due to the decay of 26Al has been seen, confirming the Galactic origin of this emission. SPI also provided the most accurate determination of the gamma-ray line flux due to the decay of 60Fe. The combined results for 26Al and 60Fe have important implications for nucleosynthesis in massive stars, in particular Wolf-Rayet stars. Both IBIS and SPI are searching the Galactic plane for young supernova remnants emitting the gamma-ray lines associated with radioactive 44Ti. None have been found so far, which raises important questions concerning the production of 44Ti in supernovae, the Galactic supernova rate, and the Galaxy's chemical evolution.

  16. ANTARES deep sea neutrino telescope results

    SciTech Connect (OSTI)

    Mangano, Salvatore [IFIC - Instituto de Física Corpuscular, Edificio Institutos de Investigatión, 46071 Valencia (Spain); Collaboration: ANTARES Collaboration

    2014-01-01

    The ANTARES experiment is currently the largest underwater neutrino telescope in the Northern Hemisphere. It is taking high quality data since 2007. Its main scientific goal is to search for high energy neutrinos that are expected from the acceleration of cosmic rays from astrophysical sources. This contribution reviews the status of the detector and presents several analyses carried out on atmospheric muons and neutrinos. For example it shows the results from the measurement of atmospheric muon neutrino spectrum and of atmospheric neutrino oscillation parameters as well as searches for neutrinos from steady cosmic point-like sources, for neutrinos from gamma ray bursts and for relativistic magnetic monopoles.

  17. Quality Management and Job Quality: How the ISO 9001 Standard forQuality Management Systems Affects Employees and Employers

    E-Print Network [OSTI]

    Levine, David I.; Toffel, Michael W.

    2008-01-01

    Quality Management, and financial performance: An empirical investigation. Journal of Operations Management

  18. Hybrid type checking

    E-Print Network [OSTI]

    Flanagan, C

    2006-01-01

    Transactions on Programming Languages and Systems, volumeTransactions on Programming Languages and Systems, 21(3):of the Conference on Programming Language Design and

  19. OPEN SEASON CHECK LIST

    Broader source: Energy.gov (indexed) [DOE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i nAand DOEDepartmentNew2008Group, Inc.Acquisition Guides OPAMAcquisition

  20. Quality Control Procedures Applied to Drifter Data

    E-Print Network [OSTI]

    Metadata Craig Engler DAC Maintains a database with drifter data from deployment until buoy stops (information about ea. Drifter) CALIBRATION FILE (coefficients to calibrate each sensor) GROUND FILE (holds, enter into the DIRECTORY file #12;·Check SST sensor failure, determine last good day for SST: SST's from

  1. Quality and Patient Safety Clinical Medicine

    E-Print Network [OSTI]

    Finley Jr., Russell L.

    Clinical Medicine I · The Pediatric Interview- Lecture · Interviewing; The Medical History: The Chief--OR nurse lecture during anatomy debrief session · Intro to use of check lists and time outs to improve of Adverse Event Cases--Mortality and Morbidity conference Year III Pediatrics · Professionalism, ethics

  2. Quality engineering as a discipline of study.

    SciTech Connect (OSTI)

    Kolb, Rachel R.; Hoover, Marcey L.

    2012-12-01

    The current framework for quality scholarship in the United States ranges from the training and education of future quality engineers, managers, and professionals to focused and sustained research initiatives that, through academic institutions and other organizations, aim to improve the knowledge and application of quality across a variety of sectors. Numerous quality journals also provide a forum for professional dissemination of information.

  3. LAND USE AND WATER QUALITY MANAGEMENT

    E-Print Network [OSTI]

    #12;LAND USE AND WATER QUALITY MANAGEMENT IN THE BRIDGE CREEK BASIN Prepared for: Water Quality Branch Environmental Protection Dept. BC Environment Victoria, B.C. and Fraser Pollution Abatement Office ..................................................... WATER QUALITY OF UNDISTURBED AREAS ....................... LAND USE EFFECTS ON WATER QUALITY

  4. Laboratory Policy Methods of Analysis & Quality Assurance

    E-Print Network [OSTI]

    Lawrence, Rick L.

    Laboratory Policy Methods of Analysis & Quality Assurance The Cereal Quality Lab (CQL) uses quality data. The laboratory participates in collaborative studies organized by AACC, Wheat Quality by the laboratory is treated confidentially and will not be revealed to third parties without prior consent

  5. Quality Assurance 8-1 8. Quality Assurance

    E-Print Network [OSTI]

    Pennycook, Steve

    of the five Lockheed Martin facilities, DOE, ER, Central Waste Management, and the Analytical Services program, from sample collection to data manage- ment, must address and meet applicable quality standards- tion, ESD, the ORNL Industrial Hygiene Depart- ment, and the ETTP Technical Division. 8.2 FIELD

  6. Quality Assurance 9-1 9. Quality Assurance

    E-Print Network [OSTI]

    Pennycook, Steve

    control processes and standard operating procedures for sample collection and analysis; use of chain, and use statistics to evaluate and continuously im- prove performance. 9.3.1 Internal Quality Assurance, and maintenance of control charts to indicate ana- lytical deficiencies. These activities are sup- ported

  7. 1. Go on top of the check-dam and survey the water-shed, i.e., the upstream part from which water ows into the storage.

    E-Print Network [OSTI]

    Sohoni, Milind

    TD 603 1. Go on top of the check-dam and survey the water-shed, i.e., the upstream part from which water ows into the storage. 2. What is the storage in the dam (in cu.m.)? 3. What is the length and depth of the dam? What is its structure and cost? How much time did it take to build the dam? 4. Where

  8. S/w Quality Assurance CAST-TX 1 Software Quality Assurance

    E-Print Network [OSTI]

    Tian, Jeff

    Management Nov. 30, 2002 Prof. Jeff Tian, SMU #12;S/w Quality Assurance CAST-TX 2 Software Quality: Why: customer view of quality Probability: statistical modeling Time/input/environment: OP · OP: OperationalS/w Quality Assurance CAST-TX 1 Software Quality Assurance -- Meeting New Challenges Jeff Tian

  9. Army Regulation 2001 Environmental Quality

    E-Print Network [OSTI]

    US Army Corps of Engineers

    Army Regulation 200­1 Environmental Quality Environmental Protection and Enhancement Headquarters Environmental Protection and Enhancement *Army Regulation 200­1 Effective 27 December 2007 History in the summary of change. Summary. This regulation covers envi- ronmental protection and enhancement and provides

  10. Biospecimen Reporting for Improved Study Quality (BRISQ)

    SciTech Connect (OSTI)

    Moore, Ph.D., Helen M.; Kelly Ph.D., Andrea; Jewell Ph.D., Scott D.; McShane Ph.D., Lisa M.; Clark M.D., Douglas P.; Greenspan M.D., Renata; Hayes M.D., Daniel F.; Hainaut Ph.D.,, Pierre; Kim, Paula; Mansfield Ph.D., Elizabeth; Potapova Ph.D., Olga; Riegman Ph.D., Peter; Rubinstein Ph.D., Yaffa; Seijo M.S., Edward; Somiari Ph.D., Stella; Watson M.B., Peter; Weier Ph.D., Heinz-Ulrich; Zhu Ph.D., Claire; Vaught Ph.D., Jim

    2011-04-26

    Human biospecimens are subject to a number of different collection, processing, and storage factors that can significantly alter their molecular composition and consistency. These biospecimen preanalytical factors, in turn, influence experimental outcomes and the ability to reproduce scientific results. Currently, the extent and type of information specific to the biospecimen preanalytical conditions reported in scientific publications and regulatory submissions varies widely. To improve the quality of research utilizing human tissues it is critical that information regarding the handling of biospecimens be reported in a thorough, accurate, and standardized manner. The Biospecimen Reporting for Improved Study Quality (BRISQ) recommendations outlined herein are intended to apply to any study in which human biospecimens are used. The purpose of reporting these details is to supply others, from researchers to regulators, with more consistent and standardized information to better evaluate, interpret, compare, and reproduce the experimental results. The BRISQ guidelines are proposed as an important and timely resource tool to strengthen communication and publications around biospecimen-related research and help reassure patient contributors and the advocacy community that the contributions are valued and respected.

  11. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Search results Enter terms Search Showing 1 - 10 of 11 results. Video Energy 101: Hydroelectric Power Learn how hydropower captures the kinetic energy of flowing water and...

  12. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    results Search results Enter terms Search Showing 1 - 2 of 2 results. Video Energy 101: Hydroelectric Power Learn how hydropower captures the kinetic energy of flowing water and...

  13. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Energy Usage Search results Search results Enter terms Search Showing 1 - 4 of 4 results. Download Energy Management Students will review energy basics and what they have...

  14. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Energy Usage Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Energy Management Students will review energy basics and what they have...

  15. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Energy Usage Search results Search results Enter terms Search Showing 1 - 7 of 7 results. Download Making Energy Personal Students will work with an interactive website in oder...

  16. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Energy Usage Search results Search results Enter terms Search Showing 1 - 7 of 7 results. Download Energy Production Students will compare and contrast renewable and...

  17. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Usage Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Energy Production Students will compare and contrast renewable and nonrenewable...

  18. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Energy Usage Search results Search results Enter terms Search Showing 1 - 3 of 3 results. Download Energy Production Students will compare and contrast renewable and...

  19. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Energy Usage Search results Search results Enter terms Search Showing 1 - 2 of 2 results. Download Life With Energy Students will describe ways in which technology affects the...

  20. Search results | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Energy Usage Search results Search results Enter terms Search Showing 1 - 8 of 8 results. Download Making Energy Personal Students will work with an interactive website in oder...