National Library of Energy BETA

Sample records for accepting applications check

  1. Energy Department Accepting Small Business Grant Applications...

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

    Accepting Small Business Grant Applications for Low-Head Hydropower Turbines and MHK Monitoring Systems Energy Department Accepting Small Business Grant Applications for Low-Head...

  2. 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

  3. 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

  4. Eligibility for GT Housing All applicants must have been accepted to Georgia Tech and accepted their offer of admission

    E-Print Network [OSTI]

    Li, Mo

    Eligibility for GT Housing All applicants must have been accepted to Georgia Tech and accepted their offer of admission before they can apply for Georgia Tech Housing. Applicants must be at least 16 years of age on the date of application for Georgia Tech Housing. Applicants over 29 years of age must work

  5. Summary of CUDCP Policy for Graduate School Offers and Acceptances Information for Applicants

    E-Print Network [OSTI]

    Gelfond, Michael

    Summary of CUDCP Policy for Graduate School Offers and Acceptances Information for Applicants CUDCP (www.cudcp.us) has adopted the following guidelines for offers the status of their application. You may be offered admission, declined admission

  6. Energy Department Accepting Small Business Grant Applications for Large

    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 n cEnergy (AZ,LocalEfficiency |< BackHeating ApplicationsProductionWind

  7. Resident Application Lafitte Village Please complete and sign this application. Incomplete applications will not be accepted.

    E-Print Network [OSTI]

    Li, X. Rong

    ): UNO Undergraduate Student UNO Graduate Other Adult Occupant Other adult occupants must be either a spouse, domestic partner, or full-time UNO student at least 21 years old at the time of application

  8. 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

  9. Targeting in a Community-Driven Development Program: Applications & Acceptance in Tanzania's TASAF.

    E-Print Network [OSTI]

    Krivobokova, Tatyana

    Targeting in a Community-Driven Development Program: Applications & Acceptance in Tanzania's TASAF the targeting of a major community-driven development program, Tanzanias $150m Social Action Fund (TASAF). We, this community may be better organized, more educated, and more patient. We use data from Tanzanias Social Action

  10. Summary of CUDCP Policy for Graduate School Offers and Acceptances Information for Applicants

    E-Print Network [OSTI]

    Summary of CUDCP Policy for Graduate School Offers and Acceptances Information for Applicants for offers into doctoral clinical psychology programs. If you are applying to a CUDCP program, you should expect the following policies will apply (http://www.cudcp.us/files/CUDCP%20grad%20offers%20policy

  11. 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.

  12. 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.

  13. Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit State Model Checking

    E-Print Network [OSTI]

    Tip, Frank

    2009-03-26

    Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page validation cannot handle the dynamically generated ...

  14. Department of Psychology Applications are being accepted for a tenure-track position in clinical psychology at the Assistant

    E-Print Network [OSTI]

    Saskatchewan, University of

    Department of Psychology Applications are being accepted for a tenure-track position in clinical psychology at the Assistant Professor rank, effective July 1, 2016. Preference will be given to applicants with research and applied interests in clinical child psychology, particularly if they also have research

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  1. 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

  2. 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

  3. 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

  4. 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

  5. Applications are now being accepted for the Broader Engagement Program at

    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 B L O O D SFederal FacilityApplicant IApplicationSC14 are now

  6. 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

  7. 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

  8. In press on River Research and Applications (paper accepted on 24th February 2010) Armanini et al., in press. Development of a benthic macroinvertebrate flow sensitivity index

    E-Print Network [OSTI]

    Armanini, David G

    1 In press on River Research and Applications (paper accepted on 24th February 2010) Armanini et al., in press. Development of a benthic macroinvertebrate flow sensitivity index for Canadian rivers mainly to changes in hydraulic conditions, and was minimally influenced by confounding factors (e

  9. 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

  10. 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

  11. Health Professions MBA Scholarship Program The UC Davis Graduate School of Management is accepting applications to the Sacramento MBA

    E-Print Network [OSTI]

    Leistikow, Bruce N.

    Health Professions MBA Scholarship Program The UC Davis Graduate School of Management is accepting for the upcoming year A joint information session regarding the Sacramento MBA Program and the Health Professions@ucdavis.edu). If you have questions about the Health Professions Scholarship, please direct them to Abigail Carroll

  12. Policy on Accepting Equity when Licensing University Technology Oregon State University recognizes the importance of encouraging the practical application of

    E-Print Network [OSTI]

    Escher, Christine

    the market demand for the technology. The University generally will seek from the licensee the costs technology transfer program. The combination of developmental costs and risk, and uncertaintyPolicy on Accepting Equity when Licensing University Technology Oregon State University recognizes

  13. 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

  14. IDENTIFICATION OF A GENERAL MODEL FOR THE MPP PERFORMANCE OF PV-MODULES FOR THE APPLICATION IN A PROCEDURE FOR THE PERFORMANCE CHECK

    E-Print Network [OSTI]

    Heinemann, Detlev

    IDENTIFICATION OF A GENERAL MODEL FOR THE MPP PERFORMANCE OF PV-MODULES FOR THE APPLICATION. ABSTRACT: To assure the maximal energy yield of grid connected PV systems, system faults have of this model for the application to grid connected PV systems using cSi, aSi and CIS modules is demonstrated. 1

  15. 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.

  16. 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.

  17. 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

  18. 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

  19. Nuclear Engineering Science Laboratory Synthesis program accepting...

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

    Nuclear Engineering Science Laboratory Synthesis program accepting applications for spring, summer 2016 Opportunity provides students with research experience at Oak Ridge National...

  20. 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.

  1. 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

  2. Application for Admission: September 2015 Bachelor of Education (B.Ed.)

    E-Print Network [OSTI]

    Northern British Columbia, University of

    , students may be required to enroll full-time during a portion of their program. Criminal Records Check (CRC) (Please read "Note" on pg. 4.) Given the scope of the Criminal Records Review Act, as part of the admission process, UNBC requires a criminal records search to be completed for all applicants accepted

  3. 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

  4. 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)

  5. The Department of Industrial and Systems Engineering is accepting applications for open rank non-tenure track faculty positions for academic year 2014-2015. All positions require teaching undergraduate and/or

    E-Print Network [OSTI]

    The Department of Industrial and Systems Engineering is accepting applications for open rank non/or graduate courses related to Industrial and Systems Engineering, and service to the department. A successful of Industrial and Systems Engineering provides competitive compensation packages and benefits. To apply, please

  6. This is a Request for Information (RFI) only. DOE will not pay for information provided under this RFI, and DOE will not accept, review, or consider any applications for Financial

    E-Print Network [OSTI]

    Columbia University

    This is a Request for Information (RFI) only. DOE will not pay for information provided under this RFI, and DOE will not accept, review, or consider any applications for Financial Assistance in response to this RFI. At DOE's discretion, DOE may or may not issue a Funding Opportunity Announcement (FOA

  7. 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

  8. 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

  9. 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 ...

  10. 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 ...

  11. Reliability-based calibration of design seismic response spectra and structural acceptance criteria

    E-Print Network [OSTI]

    Baker, Jack W.

    Reliability-based calibration of design seismic response spectra and structural acceptance criteria: Earthquake engineering design requires an evaluation of the structure's reliability over future seismic loads alternate "explicit" check, which commonly specifies a design spectrum and associated structural response

  12. 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

  13. 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

  14. UNIVERSITY OF UTAH INCOME ACCOUNTING/ STUDENT LOAN SERVICES SSB 165 801-585-5686 Merchant Application Fax to 801-581-4277

    E-Print Network [OSTI]

    Clayton, Dale H.

    UNIVERSITY OF UTAH INCOME ACCOUNTING/ STUDENT LOAN SERVICES SSB 165 801-585-5686 10/11 Merchant be accepting donations with your merchant account? Yes No If no, do you anticipate taking donations Party" to submit w/ this application. Wells Fargo Checking Account for Deposits: Chartfield to debit

  15. Indoor air movement acceptability and thermal comfort in hot-humid climates

    E-Print Network [OSTI]

    Candido, Christhina Maria

    2010-01-01

    Bittencourt, L. S. (2010) Air movement acceptability limitsthermal acceptability and air movement assessments in a hot-e úmidos. (Applicability of air velocity limits for thermal

  16. 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 ...

  17. Real-Time Push Middleware and Mobile Application for Electric Vehicle Smart Charging and Aggregation, Accepted for publication June 15, 2011, Special Issue on: Context-

    E-Print Network [OSTI]

    California at Los Angeles, University of

    to demand response and spinning reserves by sending electricity into the grid. EV users are updated and Aggregation, Accepted for publication June 15, 2011, Special Issue on: Context- Aware System and Intelligent and Aggregation Siddhartha Mal and Rajit Gadh Smart Grid Energy Research Center, Mechanical Engineering Department

  18. 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.

  19. 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

  20. 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

  1. 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

  2. ...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

  3. 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.

  4. 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

  5. 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

  6. Methods for verifying compliance with low-level radioactive waste acceptance criteria

    SciTech Connect (OSTI)

    NONE

    1993-09-01

    This report summarizes the methods that are currently employed and those that can be used to verify compliance with low-level radioactive waste (LLW) disposal facility waste acceptance criteria (WAC). This report presents the applicable regulations representing the Federal, State, and site-specific criteria for accepting LLW. Typical LLW generators are summarized, along with descriptions of their waste streams and final waste forms. General procedures and methods used by the LLW generators to verify compliance with the disposal facility WAC are presented. The report was written to provide an understanding of how a regulator could verify compliance with a LLW disposal facility`s WAC. A comprehensive study of the methodology used to verify waste generator compliance with the disposal facility WAC is presented in this report. The study involved compiling the relevant regulations to define the WAC, reviewing regulatory agency inspection programs, and summarizing waste verification technology and equipment. The results of the study indicate that waste generators conduct verification programs that include packaging, classification, characterization, and stabilization elements. The current LLW disposal facilities perform waste verification steps on incoming shipments. A model inspection and verification program, which includes an emphasis on the generator`s waste application documentation of their waste verification program, is recommended. The disposal facility verification procedures primarily involve the use of portable radiological survey instrumentation. The actual verification of generator compliance to the LLW disposal facility WAC is performed through a combination of incoming shipment checks and generator site audits.

  7. Real-Time Push Middleware and Mobile Application for Electric Vehicle Smart Charging and Aggregation, Accepted for publication June 15, 2011, Special Issue on: Context-

    E-Print Network [OSTI]

    California at Los Angeles, University of

    aggregation and charge scheduling software can leverage the battery capacity of an EV to level peak loads. Keywords: push middleware; mobile push; location indexing; smart grid; ev smart charging; aggregationReal-Time Push Middleware and Mobile Application for Electric Vehicle Smart Charging

  8. 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

  9. 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.

  10. 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.

  11. (updated 01/2014) Congratulations! You've been accepted to the University of Maine. We're thrilled that

    E-Print Network [OSTI]

    Thomas, Andrew

    (updated 01/2014) Congratulations! You've been accepted to the University of Maine. We're thrilled. Activate your email and MaineStreet portal (if you haven't already done so) All students accepted to UMaine are expected to regularly check their university email and MaineStreet portal to receive important information

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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.

  19. Specifying and Checking Unix Security Constraints

    E-Print Network [OSTI]

    Tygar, Doug

    Padula 2 . In their model, each user and le is assigned a linear security level e.g., top secret, secret, not secret; roughly speaking, it is only acceptable for users to write les at their security level or higher

  20. Structural acceptance criteria Remote Handling Building Tritium Extraction Facility

    SciTech Connect (OSTI)

    Mertz, G.

    1999-12-16

    This structural acceptance criteria contains the requirements for the structural analysis and design of the Remote Handling Building (RHB) in the Tritium Extraction Facility (TEF). The purpose of this acceptance criteria is to identify the specific criteria and methods that will ensure a structurally robust building that will safely perform its intended function and comply with the applicable Department of Energy (DOE) structural requirements.

  1. ACCEPTANCE OF OFFER CLINICAL FACULTY

    E-Print Network [OSTI]

    ACCEPTANCE OF OFFER CLINICAL FACULTY 2015 - 2016 By accepting this appointment I represent of offer, I fail to satisfy the above requirements, I understand that this letter of offer obtained if it is required as a condition of my employment. #12;This offer and my acceptance are subject

  2. Hanford Site solid waste acceptance criteria

    SciTech Connect (OSTI)

    Ellefson, M.D.

    1998-07-01

    Order 5820.2A requires that each treatment, storage, and/or disposal facility (referred to in this document as TSD unit) that manages low-level or transuranic waste (including mixed waste and TSCA PCB waste) maintain waste acceptance criteria. These criteria must address the various requirements to operate the TSD unit in compliance with applicable safety and environmental requirements. This document sets forth the baseline criteria for acceptance of radioactive waste at TSD units operated by WMH. The criteria for each TSD unit have been established to ensure that waste accepted can be managed in a manner that is within the operating requirements of the unit, including environmental regulations, DOE Orders, permits, technical safety requirements, waste analysis plans, performance assessments, and other applicable requirements. Acceptance criteria apply to the following TSD units: the Low-Level Burial Grounds (LLBG) including both the nonregulated portions of the LLBG and trenches 31 and 34 of the 218-W-5 Burial Ground for mixed waste disposal; Central Waste Complex (CWC); Waste Receiving and Processing Facility (WRAP); and T Plant Complex. Waste from all generators, both from the Hanford Site and from offsite facilities, must comply with these criteria. Exceptions can be granted as provided in Section 1.6. Specific waste streams could have additional requirements based on the 1901 identified TSD pathway. These requirements are communicated in the Waste Specification Records (WSRds). The Hanford Site manages nonradioactive waste through direct shipments to offsite contractors. The waste acceptance requirements of the offsite TSD facility must be met for these nonradioactive wastes. This document does not address the acceptance requirements of these offsite facilities.

  3. 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.

  4. Acceptance Test Procedure for New Pumping Instrumentation and Control Skid V

    SciTech Connect (OSTI)

    KOCH, M.R.

    2000-07-25

    This Acceptance Test Procedure (ATP) verifies proper construction per the design drawings and tests for proper functioning of the Pumping Instrumentation and Control (PIC) skid ''V''. The scope section lists the systems and functions to be checked. This ATP will be performed at the Site Fabrication Services (SFS) shop upon completion of the construction of the PIC skid.

  5. Acceptance Test Procedure for New Pumping and Instrumentation Control Skid M

    SciTech Connect (OSTI)

    KOCH, M.R.

    1999-11-09

    This Acceptance Test Procedure (ATP) verifies proper construction per the design drawings and tests for proper functioning of the Pumping and Instrumentation Control (PIC) skid ''M''. The Scope section lists the systems and functions to be checked. This ATP will be performed at the Site Fabrication Service's (SFS) shop upon completion of construction of the PIC skid.

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  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. EV Everywhere Consumer Acceptance and Charging Infrastructure...

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

    Consumer Acceptance and Public Policy Group C Breakout Report EV Everywhere Consumer Acceptance and Charging Infrastructure Workshop: Consumer Acceptance and Public Policy Group C...

  14. EV Everywhere Consumer Acceptance and Charging Infrastructure...

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

    Consumer Acceptance Group A Breakout Report EV Everywhere Consumer Acceptance and Charging Infrastructure Workshop: Consumer Acceptance Group A Breakout Report Breakout session...

  15. Now Accepting Applications for Alvarez Fellowship!

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

    Computing Sciences Directorate. Researchers in computer science, applied mathematics or any computational science discipline who have received their Ph.D. within the...

  16. Now Accepting Applications: BUILD Funding Opportunity

    Broader source: Energy.gov [DOE]

    Through its annual Buildings University Innovators and Leaders Development (BUILD) funding opportunity, the Energy Department will make $1 million available to fund efforts by U.S. based...

  17. Energy Department Accepting Small Business Grant Applications...

    Energy Savers [EERE]

    increasing the size of a wind turbine's rotor is accompanied by transportation, logistics, and manufacturing constraints that must be addressed to in order make these...

  18. Venture Acceleration Fund now accepting 2012 applications

    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 WithTelecentricN A County road 39NewsDepartmentVelo:

  19. Now Accepting Applications for Alvarez Fellowship

    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 NewsInformationJessework usesofPublications64NewsroomNontoxic quantumNotTheTwoNovel38Now

  20. 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

  1. 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).

  2. ACCEPTANCE OF OFFER CLINICAL FACULTY

    E-Print Network [OSTI]

    ACCEPTANCE OF OFFER CLINICAL FACULTY 2015 - 2016 By accepting this appointment I represent and final approval by the Board of Supervisors of the letter of offer, I fail to satisfy the above requirements, I understand that this letter of offer will automatically be null, void, and is deemed rescinded

  3. Acceptance Criteria Framework for Autonomous Biological Detectors

    SciTech Connect (OSTI)

    Dzenitis, J M

    2006-12-12

    The purpose of this study was to examine a set of user acceptance criteria for autonomous biological detection systems for application in high-traffic, public facilities. The test case for the acceptance criteria was the Autonomous Pathogen Detection System (APDS) operating in high-traffic facilities in New York City (NYC). However, the acceptance criteria were designed to be generally applicable to other biological detection systems in other locations. For such detection systems, ''users'' will include local authorities (e.g., facility operators, public health officials, and law enforcement personnel) and national authorities [including personnel from the Department of Homeland Security (DHS), the BioWatch Program, the Centers for Disease Control and Prevention (CDC), and the Federal Bureau of Investigation (FBI)]. The panel members brought expertise from a broad range of backgrounds to complete this picture. The goals of this document are: (1) To serve as informal guidance for users in considering the benefits and costs of these systems. (2) To serve as informal guidance for developers in understanding the needs of users. In follow-up work, this framework will be used to systematically document the APDS for appropriateness and readiness for use in NYC.

  4. 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.

  5. 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...

  6. ASME PTC 46 -- Acceptance test code for overall plant performance

    SciTech Connect (OSTI)

    Friedman, J.R. [Siemens-Westinghouse Power Corp., Orlando, FL (United States); Yost, J.G. [Sargent and Lundy, Chicago, IL (United States)

    1999-11-01

    ASME published PTC 46 in 1996 after five years of development. PTC 46 is the first industry standard providing explicit procedures for conducting acceptance tests to determine the overall thermal performance and output of power generating units. It is applicable to any heat cycle power generating unit. This survey paper provides an overview of PTC 46 and discusses how PTC 46 can be used for acceptance testing of new combined cycle and fossil steam power generating units. Several technical papers have been previously presented that provide more detailed information and discussion on the use of PTC 46 in acceptance testing.

  7. Acceptable Documents for Identity Proofing

    Broader source: Energy.gov [DOE]

    It is a requirement that the identity of a DOE Digital Identity Subscriber be verified against acceptable identity source documents. A Subscriber must appear in person and present their Federal...

  8. 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...

  9. 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...

  10. 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.

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  1. This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS--PART C: APPLICATIONS AND REVIEWS 1

    E-Print Network [OSTI]

    Cao, Longbing

    This article has been accepted for inclusion in a future issue of this journal. Content is final, such as Australia and Canada, have accumulated a huge amount of social security and social welfare data. Emerging reporting systems. The need for a deep understand- ing of customers and customer­government interactions

  2. 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.

  3. 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

  4. 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

  5. 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....

  6. 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

  7. 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) ...

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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 ...

  13. 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

  14. 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

  15. Internal Use Only: Accepted Initial & Date: Not Accepted Initial & Date: Reason for not accepted: PERN

    E-Print Network [OSTI]

    for applicant or family member To pay medical expenses for applicant or family member To pay for funeral expenses for family member To pay for home repair due to major disaster to applicant's principal residence or foreclosure on applicant's principal residence Notice of foreclosure or eviction on company letterhead

  16. 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

  17. 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

  18. Analysis and Design of Power Acceptability Curves

    E-Print Network [OSTI]

    Analysis and Design of Power Acceptability Curves for Industrial Loads Masters Thesis and Final Analysis and Design of Power Acceptability Curves for Industrial Loads Thesis and Final Report John Kyei

  19. Secretary Richardson Accepts Recommendations for Improving Security...

    National Nuclear Security Administration (NNSA)

    Secretary Richardson Accepts Recommendations for Improving Security at Nuclear Weapons Laboratories | National Nuclear Security Administration Facebook Twitter Youtube Flickr RSS...

  20. EV Everywhere Consumer Acceptance and Charging Infrastructure...

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

    dreportoutcaci.pdf More Documents & Publications EV Everywhere Consumer Acceptance and Charging Infrastructure Workshop: Charging Infrastructure Group E...

  1. EV Everywhere Consumer Acceptance and Charging Infrastructure...

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

    Workshop Introduction EV Everywhere Consumer Acceptance and Charging Infrastructure Workshop Introduction Presentation given at the EV Everywhere Grand Challenge: Consumer...

  2. 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

  3. 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

  4. Syringe Pump Factory Acceptance Testing Review

    E-Print Network [OSTI]

    McDonald, Kirk

    Syringe Pump Factory Acceptance Testing Review V.B. Graves MERIT VRVS Meeting April 5, 2006 #12;2VRVS Meeting 5 Apr 2006 Acceptance Testing of Syringe Pump Completed · Factory acceptance testing of syringe pump completed March 30 at Airline Hydraulics Corp (AHC) Bensalem, PA facility · Test plan

  5. ACCEPTANCE OF OFFER BASIC SCIENCE FACULTY

    E-Print Network [OSTI]

    ACCEPTANCE OF OFFER BASIC SCIENCE FACULTY 2015 - 2016 By accepting this appointment I represent of the letter of offer, I fail to satisfy the above requirements, I understand that this letter of offer obtained if it is required as a condition of my employment. This offer and my acceptance are subject

  6. Acceptance sampling using judgmental and randomly selected samples

    SciTech Connect (OSTI)

    Sego, Landon H.; Shulman, Stanley A.; Anderson, Kevin K.; Wilson, John E.; Pulsipher, Brent A.; Sieber, W. Karl

    2010-09-01

    We present a Bayesian model for acceptance sampling where the population consists of two groups, each with different levels of risk of containing unacceptable items. Expert opinion, or judgment, may be required to distinguish between the high and low-risk groups. Hence, high-risk items are likely to be identifed (and sampled) using expert judgment, while the remaining low-risk items are sampled randomly. We focus on the situation where all observed samples must be acceptable. Consequently, the objective of the statistical inference is to quantify the probability that a large percentage of the unsampled items in the population are also acceptable. We demonstrate that traditional (frequentist) acceptance sampling and simpler Bayesian formulations of the problem are essentially special cases of the proposed model. We explore the properties of the model in detail, and discuss the conditions necessary to ensure that required samples sizes are non-decreasing function of the population size. The method is applicable to a variety of acceptance sampling problems, and, in particular, to environmental sampling where the objective is to demonstrate the safety of reoccupying a remediated facility that has been contaminated with a lethal agent.

  7. Strain-Based Acceptance Criteria for Energy-Limited Events

    SciTech Connect (OSTI)

    Spencer D. Snow; Dana K. Morton

    2009-07-01

    The American Society of Mechanical Engineers (ASME) Boiler and Pressure Vessel (B&PV) Code was primarily written with stress-based acceptance criteria. These criteria are applicable to force, displacement, and energy-controlled loadings and ensure a factor of safety against failure. However, stress-based acceptance criteria are often quite conservative for one time energy-limited events such as accidental drops and impacts. For several years, the ASME Working Group on Design of Division 3 Containments has been developing the Design Articles for Section III, Division 3, “Containments for Transportation and Storage of Spent Nuclear Fuel and High-Level Radioactive Material and Waste,” and has wanted to establish strain-based acceptance criteria for accidental drops of containments. This Division 3 working group asked the Working Group on Design Methodology (WGDM) to assist in developing these strain-based acceptance criteria. This paper discusses the current proposed strain-based acceptance criteria, associated limitations of use, its background development, and the current status.

  8. Quantification of uncertainty in machining operations for on-machine acceptance.

    SciTech Connect (OSTI)

    Claudet, Andre A.; Tran, Hy D.; Su, Jiann-Chemg

    2008-09-01

    Manufactured parts are designed with acceptance tolerances, i.e. deviations from ideal design conditions, due to unavoidable errors in the manufacturing process. It is necessary to measure and evaluate the manufactured part, compared to the nominal design, to determine whether the part meets design specifications. The scope of this research project is dimensional acceptance of machined parts; specifically, parts machined using numerically controlled (NC, or also CNC for Computer Numerically Controlled) machines. In the design/build/accept cycle, the designer will specify both a nominal value, and an acceptable tolerance. As part of the typical design/build/accept business practice, it is required to verify that the part did meet acceptable values prior to acceptance. Manufacturing cost must include not only raw materials and added labor, but also the cost of ensuring conformance to specifications. Ensuring conformance is a substantial portion of the cost of manufacturing. In this project, the costs of measurements were approximately 50% of the cost of the machined part. In production, cost of measurement would be smaller, but still a substantial proportion of manufacturing cost. The results of this research project will point to a science-based approach to reducing the cost of ensuring conformance to specifications. The approach that we take is to determine, a priori, how well a CNC machine can manufacture a particular geometry from stock. Based on the knowledge of the manufacturing process, we are then able to decide features which need further measurements from features which can be accepted 'as is' from the CNC. By calibration of the machine tool, and establishing a machining accuracy ratio, we can validate the ability of CNC to fabricate to a particular level of tolerance. This will eliminate the costs of checking for conformance for relatively large tolerances.

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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.

  13. 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

  14. Elastic energy storage in b-sheets with application to F1-ATPase Received: 26 December 2002 / Revised: 11 March 2003 / Accepted: 4 April 2003 / Published online: 3 September 2003

    E-Print Network [OSTI]

    Sun, Sean

    ARTICLE Elastic energy storage in b-sheets with application to F1-ATPase Received: 26 December 2002) of elastic energy is stored in the b-sheet as the b-subunit undergoes its hinge bending motion, in good to deduce the relative free energies of each equilibrated structure. This allows us to determine the free

  15. Application for a Colorado State Permit for Achaeological or...

    Open Energy Info (EERE)

    Provided, 92011 DOI Not Provided Check for DOI availability: http:crossref.org Online Internet link for Application for a Colorado State Permit for Achaeological or...

  16. Central Characterization Program (CCP), Acceptable Knowledge...

    Office of Environmental Management (EM)

    for Los Alamos National Laboratory, TA-55 Mixed Transuranic Waste Streams Central Characterization Program (CCP), Acceptable Knowledge Summary Report for Los Alamos National...

  17. SAPHIRE 8 Software Acceptance Test Plan

    SciTech Connect (OSTI)

    Ted S. Wood; Curtis L. Smith

    2009-07-01

    This document describe & report the overall SAPHIRE 8 Software acceptance test paln to offically release the SAPHIRE version 8 software to the NRC custoer for distribution.

  18. Sample Acceptance Letter Ready Reference F-10

    E-Print Network [OSTI]

    Sample Acceptance Letter Ready Reference F-10 College of Engineering, Architecture & Technology Career Services Oklahoma State University College of College of Engineering, Architecture & Technology

  19. FBI officer accepts LANL counterintelligence post

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

    LANL counterintelligence FBI officer accepts LANL counterintelligence post Cloyd has most recently served as assistant director of the Counterintelligence Division of the Federal...

  20. EV Everywhere Consumer Acceptance and Charging Infrastructure...

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

    Backsplash for the EV Everywhere Grand Challenge: Consumer Acceptance and Charging Infrastructure Workshop on July 30, 2012 held at the LAX Marriott, Los Angeles, CA...

  1. EV Everywhere Consumer Acceptance and Charging Infrastructure...

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

    E Breakout Report EV Everywhere Consumer Acceptance and Charging Infrastructure Workshop: Charging Infrastructure Group E Breakout Report Breakout session presentation for the EV...

  2. Nevada National Security Site Waste Acceptance Criteria

    National Nuclear Security Administration (NNSA)

    Nevada National Security Site Waste Acceptance Criteria Prepared by U.S. Department of Energy National Nuclear Security Administration Nevada Field Office Environmental...

  3. 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.

  4. 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.

  5. 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...

  6. 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

  7. 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

  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. Nevada Test Site Waste Acceptance Criteria (NTSWAC)

    SciTech Connect (OSTI)

    NNSA /NSO Waste Management Project

    2008-06-01

    This document establishes the U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office, Nevada Test Site Waste Acceptance Criteria (NTSWAC). The NTSWAC provides the requirements, terms, and conditions under which the Nevada Test Site will accept low-level radioactive (LLW) and LLW Mixed Waste (MW) for disposal.

  11. TENDER AND ACCEPTANCE FORM STIPULATED PRICE CONTRACT

    E-Print Network [OSTI]

    deYoung, Brad

    TENDER AND ACCEPTANCE FORM FOR STIPULATED PRICE CONTRACT June 2013 #12;Stipulated Price Contract with that of all Subcontractors working on the Project. (See Appendix "D" for sample schedule that must be submitted within 10 days #12;Stipulated Price Contract Tender and Acceptance Form Page 2 of contract award

  12. ENHANCING STAKEHOLDER ACCEPTANCE OF BIOREMEDIATION TECHNOLOGIES

    SciTech Connect (OSTI)

    Focht, Will; Albright, Matt; Anex, Robert P., Jr., ed.

    2009-04-21

    This project inquired into the judgments and beliefs of people living near DOE reservations and facilities at Oak Ridge, Tennessee; Hanford, Washington; and Los Alamos, Tennessee about bioremediation of subsurface contamination. The purpose of the investigation was to identify strategies based on these judgments and beliefs for enhancing public support of bioremediation. Several methods were used to collect and analyze data including content analysis of transcripts of face-to-face personal interviews, factor analysis of subjective perspectives using Q methodology, and statistical analysis of results from a large-sample randomized telephone survey. Content analysis of interview transcripts identified themes about public perceptions and constructions of contamination risk, risk management, and risk managers. This analysis revealed that those who have no employment relationship at the sites and are not engaged in technical professions are most concerned about contamination risks. We also found that most interviewees are unfamiliar with subsurface contamination risks and how they can be reduced, believe they have little control over exposure, are frustrated with the lack of progress in remediation, are concerned about a lack of commitment of DOE to full remediation, and distrust site managers to act in the public interest. Concern is also expressed over frequent site management turnover, excessive secrecy, ineffective and biased communication, perceived attempts to talk the public into accepting risk, and apparent lack of concern about community welfare. In the telephone survey, we asked respondents who were aware of site contamination about their perceptions of risk from exposure to subsurface contamination. Response analysis revealed that most people believe that they are at significant risk from subsurface contamination but they acknowledge that more education is needed to calibrate risk perceptions against scientific risk assessments. Most rate their personal control over exposure as low. Slightly more than half believe that risk reduction should be balanced against cost. We also found that distrust of DOE and its contractors exists, primarily due to the perception that site managers do not share public values; hence, the public is generally unwilling to defer to DOE in its decision-making. The concomitant belief of inefficacy confounds distrust by generating frustration that DOE does not care. Moreover, the public is split with respect to trust of each other, primarily because of the belief that citizens lack technical competence. With respect to bioremediation support, we found that more than 40% of the public has no opinion. However, of those who do, 3 of 4 are favorably disposed – particularly among those who believe that risk is lower and who are more trusting of site management. We presented survey respondents with four alternative participation strategies based on the results of the Q analysis and asked their judgments of each. The public prefers strategies that shifts power to them. The least empowered strategy (feedback) was supported by 46%; support grew as public power increased, reaching 66% support for independently facilitated deliberation. More DOE distrust generates more support for high power strategies. We offer the following recommendations to enhance public acceptance. First, and perhaps most importantly, site managers should pursue robust trust-building efforts to gain public confidence in DOE risk management that meets public expectations. Public trust decreases risk perception, which increases public willingness to defer to site managers’ discretion in decision-making, which in turn increases public acceptance of the decisions that result. Second, site managers should address public concerns about bioremediation such as its effectiveness in reducing risk, performance compared to other remediation alternatives, costs compared against benefits, time required to start and complete remediation, level of risk that is currently posed by contamination, and scope of application. Third, more should be d

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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;

  18. Approaches to acceptable risk: a critical guide

    SciTech Connect (OSTI)

    Fischhoff, B.; Lichtenstein, S.; Slovic, P.; Keeney, R.; Derby, S.

    1980-12-01

    Acceptable-risk decisions are an essential step in the management of technological hazards. In many situations, they constitute the weak (or missing) link in the management process. The absence of an adequate decision-making methodology often produces indecision, inconsistency, and dissatisfaction. The result is neither good for hazard management nor good for society. This report offers a critical analysis of the viability of various approaches as guides to acceptable-risk decisions. This report seeks to define acceptable-risk decisions and to examine some frequently proposed, but inappropriate, solutions. 255 refs., 22 figs., 25 tabs.

  19. Hanford Site Solid Waste Acceptance Criteria

    SciTech Connect (OSTI)

    Not Available

    1993-11-17

    This manual defines the Hanford Site radioactive, hazardous, and sanitary solid waste acceptance criteria. Criteria in the manual represent a guide for meeting state and federal regulations; DOE Orders; Hanford Site requirements; and other rules, regulations, guidelines, and standards as they apply to acceptance of radioactive and hazardous solid waste at the Hanford Site. It is not the intent of this manual to be all inclusive of the regulations; rather, it is intended that the manual provide the waste generator with only the requirements that waste must meet in order to be accepted at Hanford Site TSD facilities.

  20. NEVADA TEST SITE WASTE ACCEPTANCE CRITERIA

    SciTech Connect (OSTI)

    U.S. DEPARTMENT OF ENERGY, NATIONAL NUCLEAR SECURITY ADMINISTRATION, NEVADA SITE OFFICE

    2005-07-01

    This document establishes the U. S. Department of Energy, National Nuclear Security Administration Nevada Site Office (NNSA/NSO) waste acceptance criteria (WAC). The WAC provides the requirements, terms, and conditions under which the Nevada Test Site will accept low-level radioactive and mixed waste for disposal. Mixed waste generated within the State of Nevada by NNSA/NSO activities is accepted for disposal. It includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the Nevada Test Site Area 3 and Area 5 Radioactive Waste Management Site for storage or disposal.

  1. 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

  2. Acceptance of waste for disposal in the potential United States repository at Yucca Mountain, Nevada

    SciTech Connect (OSTI)

    Stahl, D.; Svinicki, K.

    1996-07-01

    This paper addresses the process for the acceptance of waste into the waste management system (WMS) with a focus on the detailed requirements identified from the Waste Acceptance System Requirements Document. Also described is the recent dialogue between OCRWM and the Office of Environmental Management to resolve issues, including the appropriate interpretation and application of regulatory and system requirements to DOE-owned spent fuel. Some information is provided on the design of the repository system to aid the reader in understanding how waste that is accepted into the WMS is received and emplaced in the repository.

  3. Alternatives To the Use of Contractor's Quality Control Data For Acceptance and Payment Purposes 

    E-Print Network [OSTI]

    Wani, Sujay Sudhir

    2012-07-16

    ........................ 59 5.2. Skip-lot Sampling Plan-1 (SkSP-1) .................................................... 61 5.3. Skip-lot Sampling Plan-2 (SkSP-2) .................................................... 63 5.4. An Example Application of SkSP-2... ......... 100 Table C-4 Constants for SkSP-2 Plans Having Acceptance Constant of 3 ......... 101 Table C-5 Constants for SkSP-2 Plans Having Acceptance Constant of 4 ......... 103 Table C-6 Constants for SkSP-2 Plans Having Acceptance Constant of 5...

  4. Nevada Test Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    U.S. Department of Energy, Nevada Operations Office, Waste Acceptance Criteria

    1999-05-01

    This document provides the requirements, terms, and conditions under which the Nevada Test Site will accept low-level radioactive and mixed waste for disposal; and transuranic and transuranic mixed waste for interim storage at the Nevada Test Site.

  5. Investigation of Variables Associated with Vaccine Acceptance

    E-Print Network [OSTI]

    Black, Lora L.

    2011-12-31

    Abstract The current study investigated the relationship between the Health Belief Model (HBM) framework, social variables, personality factors, and H1N1 flu vaccine acceptance. Four hundred thirty two undergraduate students completed online...

  6. 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...

  7. I am applying for authorization to use DataTel number listed below for purchasing from Printing Services' online storefront. By submitting this form I am accepting any and all payment responsibilities

    E-Print Network [OSTI]

    Branoff, Theodore J.

    storefront. Check all conditions which you require: I Authorize all orders up to $ ______________ per fiscal Services' online storefront. By submitting this form I am accepting any and all payment responsibilities for a single order. I wish to approve all orders prior to shipping. The fiscal agent will be notified via email

  8. Accepting Applications: $3.96 Million Hydroelectric Production...

    Energy Savers [EERE]

    of cost-competitive, renewable energy at a lower cost than creating new powered dam structures. Under the Section 242 Hydroelectric Production Incentive program, on December 16,...

  9. Indian Energy Summer Internship Program Now Accepting Applications...

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

    Energy Summer Internship flier. Addthis Related Articles Pictured from left to right on Agua Caliente tribal land: Colleen Cooley, Student Intern Program Supervisor Sandra...

  10. Energy, Treasury Now Accepting Applications for Funding For Renewable...

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

    WASHINGTON - With the goal of expanding development of renewable energy projects throughout the United States and creating new jobs, the U.S. Department of Energy and the U.S....

  11. ORISE: Applications being accepted for internships and research...

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

    internships and research opportunities in a variety of disciplines through the Oak Ridge Environmental Management Science Education and Internship Program. The mission of OREM is...

  12. ORISE: ORISE is accepting applications for the 2015 Mickey Leland...

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

    summer program for students pursuing degrees in science, technology, engineering and math. The program is administered for the U.S. Department of Energy's Office of Fossil...

  13. ORISE: Applications being accepted for 2015 spring term of DOE...

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

    for Teachers and Scientists, the SULI program encourages undergraduate students to pursue science, technology, engineering and mathematics careers, providing them with the...

  14. Accepting Applications: $3.96 Million Hydroelectric Production Incentive

    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 OutreachProductswsicloudwsicloudden Documentation DataStreamsTotalproposalsAboutAcceleratingth QuarterProgram |

  15. ORISE: Applications being accepted for internships and research

    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 Administration wouldMass map shinesSolarNewsusceptometer underI REEECNO OF DOCUMENT2Protectionthe

  16. ORISE: EERE Robotics Internship Program now accepting applications

    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 ofDid you notHeatMaRIEdioxideUser WorkEP Power ConditioningClimate andOakEERE

  17. ORISE: Mickey Leland Energy Fellowship Program accepting applications for

    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 ofDid you notHeatMaRIEdioxideUser WorkEP Powerresources Media Center2016

  18. Research Experience in Carbon Sequestration 2013 Now Accepting Applications

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

    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 Delicious RankADVANCED MANUFACTURINGEnergy BillsNo. 195 - Oct.7, 2015Verizon andSection 1222 ofNext-Generation|

  19. Applications Being Accepted for National Geothermal Academy | Department of

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

    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 Delicious Rank EERE:FinancingPetroleum Based Fuels Research at 1Comments|L.L.C. |RenovableLLCPower Marketing Ltd

  20. Applications Now Being Accepted for National Geothermal Academy |

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

    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 Delicious Rank EERE:FinancingPetroleum Based Fuels Research at 1Comments|L.L.C. |RenovableLLCPower Marketing

  1. Indian Energy Summer Internship Program Now Accepting Applications:

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

    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 Delicious Rank EERE:FinancingPetroleum12,ExecutiveFinancingREnergyDepartment|Reserve Bryan MoundNovember

  2. Energy, Treasury Now Accepting Applications for Funding For Renewable

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

    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 Delicious Rank EERE:FinancingPetroleum12, 2015 Infographic courtesyEducationNevadaSessionToo!of Moving Water (11Energy

  3. Energy Department Accepting Small Business Grant Applications for Large

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

    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 Delicious Rank EERE:FinancingPetroleum12, 2015 Infographic courtesy of the White House.ChristopherWind Turbines |

  4. Research Experience in Carbon Sequestration 2015 Now Accepting Applications

    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-A Wholesale Power RateEnergySectionDepartment of Energy|

  5. 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.

  6. Application

    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 Publications TraditionalWithAntiferromagnetic Spins Do The TwistContract2Application

  7. Applications

    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 Publications TraditionalWithAntiferromagnetic Spins Do TheApplication Portingboat ride on

  8. Public Acceptability of Sustainable Transport Measures: A Review...

    Open Energy Info (EERE)

    Public Acceptability of Sustainable Transport Measures: A Review of the Literature Jump to: navigation, search Tool Summary LAUNCH TOOL Name: Public Acceptability of Sustainable...

  9. EV Everywhere Grand Challenge: Consumer Acceptance and Charging...

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

    Agenda EV Everywhere Grand Challenge: Consumer Acceptance and Charging Infrastructure Workshop Agenda Agenda for the EV Everywhere Grand Challenge: Consumer Acceptance and Charging...

  10. 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

  11. MATHEMATICS MAJOR CONCENTRATION/SPECIALIZATION APPLICATION FORM

    E-Print Network [OSTI]

    Loudon, Catherine

    MATHEMATICS MAJOR CONCENTRATION/SPECIALIZATION APPLICATION FORM Date _______________ Last Name/Year) __________ Check One Concentration/Specialization: Concentration in Mathematics for Education/Secondary Teaching, apantano@uci.edu) Specialization in Applied Computational Mathematics. Advisor: Professor Hongkai Zhao (RH

  12. MATHEMATICS MAJOR CONCENTRATION/SPECIALIZATION APPLICATION FORM

    E-Print Network [OSTI]

    Loudon, Catherine

    MATHEMATICS MAJOR CONCENTRATION/SPECIALIZATION APPLICATION FORM Date _______________ Last Name/Year) __________ Check One Concentration/Specialization: Concentration in Mathematical Finance. Advisor: Professor Matthew Foreman (RH 440A, mforeman@math.uci.edu) Concentration in Mathematics for Education

  13. Acceptance Priority Ranking & Annual Capacity Report

    SciTech Connect (OSTI)

    2004-07-31

    The Nuclear Waste Policy Act of 1982, as amended (the Act), assigns the Federal Government the responsibility for the disposal of spent nuclear fuel and high-level waste. Section 302(a) of the Act authorizes the Secretary to enter into contracts with the owners and generators of commercial spent nuclear fuel and/or high-level waste. The Standard Contract for Disposal of Spent Nuclear Fuel and/or High-Level Radioactive Waste (Standard Contract) established the contractual mechanism for the Department's acceptance and disposal of spent nuclear fuel and high-level waste. It includes the requirements and operational responsibilities of the parties to the Standard Contract in the areas of administrative matters, fees, terms of payment, waste acceptance criteria, and waste acceptance procedures. The Standard Contract provides for the acquisition of title to the spent nuclear fuel and/or high-level waste by the Department, its transportation to Federal facilities, and its subsequent disposal.

  14. Accepted to International Journal of Internet Manufacturing and Services (Accepted Feb 11, 2009)

    E-Print Network [OSTI]

    California at Los Angeles, University of

    to manufacturers, suppliers, retailers, ant transportation carriers etc.). It is captured, processed, and exchangedAccepted to International Journal of Internet Manufacturing and Services (Accepted Feb 11, 2009) A Rule Language and Framework for RFID Data Capture and Processing in Manufacturing Enterprise System

  15. Nevada Test Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    U. S. Department of Energy, National Nuclear Security Administration Nevada Site Office

    2005-10-01

    This document establishes the U.S. Department of Energy (DOE), National Nuclear Security Administration Nevada Site Office (NNSA/NSO) waste acceptance criteria (WAC). The WAC provides the requirements, terms, and conditions under which the Nevada Test Site (NTS) will accept low-level radioactive (LLW) and mixed waste (MW) for disposal. It includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the NTS Area 3 and Area 5 Radioactive Waste Management Complex (RWMC) for storage or disposal.

  16. 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 ...

  17. 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)...

  18. 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...

  19. Nevada National Security Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    none,

    2013-06-01

    This document establishes the U.S. Department of Energy (DOE), National Nuclear Security Administration Nevada Field Office (NNSA/NFO), Nevada National Security Site Waste Acceptance Criteria (NNSSWAC). The NNSSWAC provides the requirements, terms, and conditions under which the Nevada National Security Site (NNSS) will accept the following: • DOE hazardous and non-hazardous non-radioactive classified waste • DOE low-level radioactive waste (LLW) • DOE mixed low-level waste (MLLW) • U.S. Department of Defense (DOD) classified waste The LLW and MLLW listed above may also be classified waste. Classified waste is the only waste accepted for disposal that may be non-radioactive and shall be required to meet the waste acceptance criteria for radioactive waste as specified in this document. Classified waste may be sent to the NNSS as classified matter. Section 3.1.18 provides the requirements that must be met for permanent burial of classified matter. The NNSA/NFO and support contractors are available to assist the generator in understanding or interpreting this document. For assistance, please call the NNSA/NFO Environmental Management Operations (EMO) at (702) 295-7063, and the call will be directed to the appropriate contact.

  20. Nevada National Security Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    NSTec Environmental Management

    2012-02-28

    This document establishes the U.S. Department of Energy (DOE), National Nuclear Security Administration Nevada Site Office (NNSA/NSO), Nevada National Security Site Waste Acceptance Criteria (NNSSWAC). The NNSSWAC provides the requirements, terms, and conditions under which the Nevada National Security Site (NNSS) will accept DOE non-radioactive classified waste, DOE non-radioactive hazardous classified waste, DOE low-level radioactive waste (LLW), DOE mixed low-level waste (MLLW), and U.S. Department of Defense (DOD) classified waste for permanent disposal. Classified waste is the only waste accepted for disposal that may be non-radioactive and will be required to meet the waste acceptance criteria for radioactive waste as specified in this document. The NNSA/NSO and support contractors are available to assist you in understanding or interpreting this document. For assistance, please call the NNSA/NSO Waste Management Project (WMP) at (702) 295-7063, and your call will be directed to the appropriate contact.

  1. Undergraduate Accepted Salaries Rensselaer Polytechnic Institute

    E-Print Network [OSTI]

    Linhardt, Robert J.

    Undergraduate Accepted Salaries Rensselaer Polytechnic Institute Class of 2014 Overall Average Bachelor's Degree Salary--$66,467 Architecture Average Range Architecture $45,375 $37 Salaries (All Majors) Co-Terminal BS/MS/ME $72,188 $52,000--$113,000 MBA $67,045 $55,000--$90,500 MS/ME $72

  2. POSTGRADUATE UAC OFFERS 2015 Acceptance and Enrolment Information

    E-Print Network [OSTI]

    Fleming, Andrew J.

    POSTGRADUATE UAC OFFERS 2015 Acceptance and Enrolment Information How do I accept my offer? When you receive a Universities Admissions Centre (UAC) offer to study at the University of Newcastle, you must first accept your offer online if you intend to enrol. To accept your offer you will need

  3. DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS...

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

    ITER Project, comprising IO and the Domestic Agencies, has been developed around specific software applications. The engineering analysis and integration services to be provided...

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. Nevada test site waste acceptance criteria

    SciTech Connect (OSTI)

    NONE

    1996-09-01

    This document provides the requirements, terms, and conditions under which the Nevada Test Site (NTS) will accept low-level radioactive and mixed waste for disposal; and transuranic and transuranic mixed waste for interim storage at the NTS. Review each section of this document. This document is not intended to include all of the requirements; rather, it is meant as a guide toward meeting the regulations. All references in this document should be observed to avoid omission of requirements on which acceptance or rejection of waste will be based. The Department of Energy/Nevada Operations Office (DOE/NV) and support contractors are available to assist you in understanding or interpreting this document.

  17. Nevada National Security Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    NSTec Environmental Management

    2011-01-01

    This document establishes the U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office (NNSA/NSO) Nevada National Security Site Waste Acceptance Criteria (NNSSWAC). The NNSSWAC provides the requirements, terms, and conditions under which the Nevada National Security Site (NNSS) will accept low-level radioactive waste and mixed low-level waste for disposal. The NNSSWAC includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the NNSS Area 3 and Area 5 Radioactive Waste Management Complex for disposal. The NNSA/NSO and support contractors are available to assist you in understanding or interpreting this document. For assistance, please call the NNSA/NSO Waste Management Project at (702) 295-7063 or fax to (702) 295-1153.

  18. Nevada National Security Site Waste Acceptance Criteria

    SciTech Connect (OSTI)

    NSTec Environmental Management

    2010-09-03

    This document establishes the U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office (NNSA/NSO) Nevada National Security Site Waste Acceptance Criteria (NNSSWAC). The NNSSWAC provides the requirements, terms, and conditions under which the Nevada National Security Site (NNSS) will accept low-level radioactive waste and mixed low-level waste for disposal. The NNSSWAC includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the NNSS Area 3 and Area 5 Radioactive Waste Management Complex for disposal. The NNSA/NSO and support contractors are available to assist you in understanding or interpreting this document. For assistance, please call the NNSA/NSO Waste Management Project at (702) 295-7063 or fax to (702) 295-1153.

  19. Facebook Application for Place Recommendation . . 40002

    E-Print Network [OSTI]

    Runapongsa, Kanda

    Facebook Application for Place Recommendation 1 , 2 1,2 . . 40002 E-mail: 1,2 pjiranuwatt. This article proposes a Facebook application that recommends places based on the number of check is gathered via Facebook API requests. The experimental results of the developed Facebook application show

  20. Check Point Software Technologies Ltd., worldwide leader in securing the Internet, is the only vendor to deliver Total Security for networks, data and endpoints, unified under a single management framework.

    E-Print Network [OSTI]

    Levit, Anna

    with the development of the Software Blade architecture. The dynamic Software Blade architecture delivers secure open positions at Check Point: User Experience: Major Responsibilities: Leading user-centered design specifications and design concepts for applications. Design and execute usability test procedures, including

  1. 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

  2. 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)

  3. Acceptance and Rejection of IGPPS Proposals

    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 Publications Traditional Knowledge KiosksAbout UsAbout NewAcceleratorAccepting, Rejecting

  4. Consumer Acceptance of GMO Cowpeas in Sub-Sahara Africa

    E-Print Network [OSTI]

    Ginzel, Matthew

    Consumer Acceptance of GMO Cowpeas in Sub-Sahara Africa Saket Kushwaha, A.S. Musa, James Lowenberg Professor at Purdue University, West Lafayette, IN. #12;Consumer Acceptance of GMO Cowpeas in Sub

  5. Akademisches Auslandsamt / International Office Check list for International Visiting Scholars

    E-Print Network [OSTI]

    Steinhoff, Heinz-Jürgen

    with an insurance company before entering Germany to ensure that any problems can be clarified in good time for yourself and any family members accompanying you, you are frequently required to submit the originals your applications together with those for their family members. Visiting scholars should bear in mind

  6. ForPeerReview PUBLIC ACCEPTANCE OF OFFSHORE WIND POWER

    E-Print Network [OSTI]

    Firestone, Jeremy

    ForPeerReview PUBLIC ACCEPTANCE OF OFFSHORE WIND POWER PROJECTS IN THE UNITED STATES Journal: Wind, Andrew; Minerals Management Service Keywords: offshore wind power, public opinion, social acceptancePeerReview 1 PUBLIC ACCEPTANCE OF OFFSHORE WIND POWER PROJECTS IN THE UNITED STATES Jeremy Firestone*, Willett

  7. Social Acceptance of Wind: A Brief Overview (Presentation)

    SciTech Connect (OSTI)

    Lantz, E.

    2015-01-01

    This presentation discusses concepts and trends in social acceptance of wind energy, profiles recent research findings, and discussions mitigation strategies intended to resolve wind power social acceptance challenges as informed by published research and the experiences of individuals participating in the International Energy Agencies Working Group on Social Acceptance of Wind Energy

  8. STATE OF CALIFORNIA DISTRIBUTED ENERGY STORAGE DX AC SYSTEMES ACCEPTANCE

    E-Print Network [OSTI]

    STATE OF CALIFORNIA DISTRIBUTED ENERGY STORAGE DX AC SYSTEMES ACCEPTANCE CEC-MECH-14A (Revised 08/09) CALIFORNIA ENERGY COMMISSION CERTIFICATE OF ACCEPTANCE MECH-14A NA7.5.13 Distributed Energy Storage DX AC DISTRIBUTED ENERGY STORAGE DX AC SYSTEMES ACCEPTANCE CEC-MECH-14A (Revised 08/09) CALIFORNIA ENERGY COMMISSION

  9. STATE OF CALIFORNIA THERMAL ENERGY STORAGE (TES) SYSTEM ACCEPTANCE

    E-Print Network [OSTI]

    STATE OF CALIFORNIA THERMAL ENERGY STORAGE (TES) SYSTEM ACCEPTANCE CEC-MECH-15A (Revised 07/10) CALIFORNIA ENERGY COMMISSION CERTIFICATE OF ACCEPTANCE MECH-15A NA7.5.14 Thermal Energy Storage (TES) System THERMAL ENERGY STORAGE (TES) SYSTEM ACCEPTANCE CEC-MECH-15A (Revised 07/10) CALIFORNIA ENERGY COMMISSION

  10. THE ENVIRONMENTAL TECHNOLOGIES ACCEPTANCE (ETA) PROGRAM

    SciTech Connect (OSTI)

    Christina B. Behr-Andres

    2001-10-01

    The objective of the Environmental Technologies Acceptance (ETA) Program at the Energy & Environmental Research Center (EERC) is to advance the development, commercial acceptance, and timely deployment of selected private sector technologies for the cleanup of sites in the nuclear defense complex as well as the greater market. As a result of contract changes approved by National Energy Technology Laboratory (NETL) representatives to incorporate activities previously conducted under another NETL agreement, there are now an additional task and an expansion of activities within the stated scope of work of the ETA program. As shown in Table 1, this cooperative agreement, funded by NETL (No. DE-FC26-00NT40840), consists of four tasks: Technology Selection, Technology Development, Technology Verification, and System Engineering. As currently conceived, ETA will address the needs of as many technologies as appropriate under its current 3-year term. There are currently four technical subtasks: Long-Term Stewardship Initiative at the Mound Plant Site; Photocatalysis of Mercury-Contaminated Water; Subcritical Water Treatment of PCB and Metal-Contaminated Paint Waste; and Vegetative Covers for Low-Level Waste Repositories. This report covers activities during the second six months of the three-year ETA program.

  11. 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

  12. 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

  13. Application for Program Admission Please check: Iron Range Engineering Program Twin Cities Engineering Program

    E-Print Network [OSTI]

    Bates, Rebecca A.

    . Please email or mail to the appropriate address below: For IRE: 1001 Chestnut Street W, Virginia, MN Center N, Mankato, MN 56001 Phone: 507-389-2744 You may also Fax 507-389-1095 or email them to integrated

  14. Documentation of acceptable knowledge for LANL Plutonium Facility transuranic waste streams

    SciTech Connect (OSTI)

    Montoya, A.J.; Gruetzmacher, K.; Foxx, C.; Rogers, P.S.Z.

    1998-07-01

    Characterization of transuranic waste from the LANL Plutonium Facility for certification and transportation to WIPP includes the use of acceptable knowledge as specified in the WIPP Quality Assurance Program Plan. In accordance with a site-specific procedure, documentation of acceptable knowledge for retrievably stored and currently generated transuranic waste streams is in progress at LANL. A summary overview of the transuranic waste inventory is complete and documented in the Sampling Plan. This document also includes projected waste generation, facility missions, waste generation processes, flow diagrams, times, and material inputs. The second part of acceptable knowledge documentation consists of assembling more detailed acceptable knowledge information into auditable records and is expected to require several years to complete. These records for each waste stream must support final assignment of waste matrix parameters, EPA hazardous waste numbers, and radionuclide characterization. They must also include a determination whether waste streams are defense waste streams for compliance with the WIPP Land Withdrawal Act. The LANL Plutonium Facility`s mission is primarily plutonium processing in basic special nuclear material (SNM) research activities to support national defense and energy programs. It currently has about 100 processes ranging from SNM recovery from residues to development of plutonium 238 heat sources for space applications. Its challenge is to characterize and certify waste streams from such diverse and dynamic operations using acceptable knowledge. This paper reports the progress on the certification of the first of these waste streams to the WIPP WAC.

  15. Documentation of acceptable knowledge for Los Alamos National Laboratory Plutonium Facility TRU waste stream

    SciTech Connect (OSTI)

    Montoya, A.J.; Gruetzmacher, K.M.; Foxx, C.L.; Rogers, P.Z.

    1998-03-01

    Characterization of transuranic waste from the LANL Plutonium Facility for certification and transportation to WIPP includes the use of acceptable knowledge as specified in the WIPP Quality Assurance Program Plan. In accordance with a site specific procedure, documentation of acceptable knowledge for retrievably stored and currently generated transuranic waste streams is in progress at LANL. A summary overview of the TRU waste inventory is complete and documented in the Sampling Plan. This document also includes projected waste generation, facility missions, waste generation processes, flow diagrams, times, and material inputs. The second part of acceptable knowledge documentation consists of assembling more detailed acceptable knowledge information into auditable records and is expected to require several years to complete. These records for each waste stream must support final assignment of waste matrix parameters, EPA hazardous waste numbers, and radionuclide characterization. They must also include a determination whether waste streams are defense waste streams for compliance with the WIPP Land Withdrawal Act. The LANL Plutonium Facility`s mission is primarily plutonium processing in basic special nuclear material (SNM) research activities to support national defense and energy programs. It currently has about 100 processes ranging from SNM recovery from residues to development of plutonium 238 heat sources for space applications. Its challenge is to characterize and certify waste streams from such diverse and dynamic operations using acceptable knowledge. This paper reports the progress on the certification of the first of these waste streams to the WIPP WAC.

  16. Waste acceptance criteria for the Waste Isolation Pilot Plant

    SciTech Connect (OSTI)

    NONE

    1996-04-01

    The Waste Isolation Pilot Plant (WIPP) Waste Acceptance Criteria (WAC), DOE/WIPP-069, was initially developed by a U.S. Department of Energy (DOE) Steering Committee to provide performance requirements to ensure public health and safety as well as the safe handling of transuranic (TRU) waste at the WIPP. This revision updates the criteria and requirements of previous revisions and deletes those which were applicable only to the test phase. The criteria and requirements in this document must be met by participating DOE TRU Waste Generator/Storage Sites (Sites) prior to shipping contact-handled (CH) and remote-handled (RH) TRU waste forms to the WIPP. The WIPP Project will comply with applicable federal and state regulations and requirements, including those in Titles 10, 40, and 49 of the Code of Federal Regulations (CFR). The WAC, DOE/WIPP-069, serves as the primary directive for assuring the safe handling, transportation, and disposal of TRU wastes in the WIPP and for the certification of these wastes. The WAC identifies strict requirements that must be met by participating Sites before these TRU wastes may be shipped for disposal in the WIPP facility. These criteria and requirements will be reviewed and revised as appropriate, based on new technical or regulatory requirements. The WAC is a controlled document. Revised/changed pages will be supplied to all holders of controlled copies.

  17. Accepted for publication in INTERNATIONAL JOURNAL OF

    E-Print Network [OSTI]

    Hartmann, Ralf

    ERROR ESTIMATION RALF HARTMANN AND PAUL HOUSTON Abstract. In this article we consider the application and error propagation mechanisms inherent 1 #12; 2 RALF HARTMANN AND PAUL HOUSTON in viscous compressible

  18. Perfectionism and acceptance: perspective taking and implicit beliefs 

    E-Print Network [OSTI]

    Lowdon, Rachel

    research examines associations between perfectionism and acceptance for the self and towards others, alongside their link with psychological health. Reported beliefs are compared with underlying implicit beliefs, as ...

  19. EV Everywhere Grand Challenge: Consumer Acceptance and Charging...

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

    Attnedance list for the EV Everywhere Grand Challenge: Consumer Acceptance and Charging Infrastructure Workshop on July 30, 2012 held at the LAX Marriott, Los Angeles, CA...

  20. EV Everywhere Consumer Acceptance Workshop: Breakout Group B...

    Office of Environmental Management (EM)

    Workshop: Breakout Group B Report Out Group B breakout session presentation for the EV Everywhere Grand Challenge: Consumer Acceptance and Charging Infrastructure Workshop on...

  1. Increasing the Market Acceptance of Smaller CHP Systems

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

    Packaged Combined Heat and Power System ADVANCED MANUFACTURING OFFICE Increasing the Market Acceptance of Smaller CHP Systems This project is developing a flexible, packaged...

  2. Benchmarking of Multiparticle Phase Scan and Acceptance Scan...

    Office of Scientific and Technical Information (OSTI)

    of Multiparticle Phase Scan and Acceptance Scan techniques for the Spallation Neutron Source linac Citation Details In-Document Search Title: Benchmarking of Multiparticle...

  3. Guidelines and Checklist for Commissioning and Government Acceptance...

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

    and Contract Clauses for Government Acceptance of ESPC Projects Commissioning Guidance for ESPCs Study Guide for Photovoltaic System Installers and Sample Examination Questions...

  4. Wind Power Siting: Public Acceptance and Land Use

    Wind Powering America (EERE)

    by the Alliance for Sustainable Energy, LLC. Wind Power Siting: Public Acceptance and Land Use Suzanne Tegen WINDExchange Webinar June 17, 2015 2 Overview * Current NREL Research *...

  5. Public Acceptance of Wind: Foundational Study Near US Wind Facilities

    Wind Powering America (EERE)

    Group * Energy Analysis and Environmental Impacts Department Public Acceptance of Wind Power Ben Hoen Lawrence Berkeley National Laboratory WindExchange Webinar June 17, 2015...

  6. Sandia Energy - CRF Experiment Confirms Accepted Oxidation Scheme...

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

    Experiment Confirms Accepted Oxidation Scheme of Proposed Diesel Alternative: Dimethyl Ether Home Energy Transportation Energy CRF Facilities Capabilities News News & Events...

  7. ACCEPTABILITY ENVELOPE FOR METAL HYDRIDE-BASED HYDROGEN STORAGE SYSTEMS

    SciTech Connect (OSTI)

    Hardy, B.; Corgnale, C.; Tamburello, D.; Garrison, S.; Anton, D.

    2011-07-18

    The design and evaluation of media based hydrogen storage systems requires the use of detailed numerical models and experimental studies, with significant amount of time and monetary investment. Thus a scoping tool, referred to as the Acceptability Envelope, was developed to screen preliminary candidate media and storage vessel designs, identifying the range of chemical, physical and geometrical parameters for the coupled media and storage vessel system that allow it to meet performance targets. The model which underpins the analysis allows simplifying the storage system, thus resulting in one input-one output scheme, by grouping of selected quantities. Two cases have been analyzed and results are presented here. In the first application the DOE technical targets (Year 2010, Year 2015 and Ultimate) are used to determine the range of parameters required for the metal hydride media and storage vessel. In the second case the most promising metal hydrides available are compared, highlighting the potential of storage systems, utilizing them, to achieve 40% of the 2010 DOE technical target. Results show that systems based on Li-Mg media have the best potential to attain these performance targets.

  8. 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.

  9. How to apply to ELS at UNBC For acceptance to the English Language Studies program, we require the

    E-Print Network [OSTI]

    Northern British Columbia, University of

    How to apply to ELS at UNBC For acceptance to the English Language Studies program, we require that you have taken (optional) If you are applying for direct entry into the English Language Studies 50 (University) program, a TOEFL/IELTS score or equivalent must accompany the application package. If you

  10. Consumer Acceptance and Public Policy Consumer Acceptance Group C Breakout Session

    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 n c i p aDepartmentEnergy comparing LEDCSAC CharterConsumer Acceptance

  11. LMS Qualification and Flight Acceptance T /V Test Summary

    E-Print Network [OSTI]

    Rathbun, Julie A.

    LMS Qualification and Flight Acceptance T /V Test Summary and Thermal Design Final Report NO. ATMIIIIDe yablinaDhllalan LMS Qualification and Flight Acceptance T/V Test Summary and Thermal Design Final Report PAGI DATI SUMMARY The LMS maintains thermal control. within the -10 to +125°F operating temperature

  12. Mature and Transfer Student Guide Accept Your Offer of

    E-Print Network [OSTI]

    Lennard, William N.

    Mature and Transfer Student Guide #12;Accept Your Offer of Admission to Western's Best Student Experience By offering diverse programs, a flexible curriculum, world-renowned facilities days April 9-30 · Final exams Page 2 | Mature and Transfer Student Guide #12;Step 1 accept Your offer

  13. SAMPLE LETTER ACCEPTING OFFER #1 October 10, 2014

    E-Print Network [OSTI]

    Shyu, Mei-Ling

    #12;SAMPLE LETTER ACCEPTING OFFER #1 NAME ADDRESS TELEPHONE EMAIL October 10, 2014 Mr. Richard 20000 Dear Mr. Cunningham: Thank you for your offer of summer employment with the Civil Rights Division of the United States Department of Justice. I am pleased to accept your offer at a salary of $1,200.00 per week

  14. March 25, 2011 Acceptance of donations for the Tohoku Earthquake

    E-Print Network [OSTI]

    Yamamoto, Hirosuke

    March 25, 2011 Acceptance of donations for the Tohoku Earthquake Director, Headquarters The University of Tokyo has established the following bank account to accept donations for the relief of victims of the March 11 Tohoku Earthquake. Donations will be sent to the affected area through the local governments

  15. Introduction Result Bibliography Accepted Elasticity in Local Arithmetic

    E-Print Network [OSTI]

    Ponomarenko, Vadim

    Introduction Result Bibliography Accepted Elasticity in Local Arithmetic Congruence Monoids Vadim, 2014 http://www-rohan.sdsu.edu/~vadim/ accepted-talk.pdf #12;Introduction Result Bibliography Shameless one property, in the one class not yet understood, called "local". gcd(a, b) = p i.e. a = p, b = pn

  16. Virginia Tech Transfer Application 1 Applications accepted from incoming freshmen only; transfers

    E-Print Network [OSTI]

    Resources; Land Resources; Plant Resources;Waste Management FST Food Science &Technology Science Art5 BC Building Construction Construction and Design; Development, Real Estate, & Construction EPP Computer Science CEM Construction Engineering and Management EE Electrical Engineering ESM Engineering

  17. 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

  18. 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

  19. 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

  20. 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

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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...

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  1. Potential Application Of Radionuclide Scaling Factors To High Level Waste Characterization

    SciTech Connect (OSTI)

    Reboul, S. H.

    2013-09-30

    Production sources, radiological properties, relative solubilities in waste, and laboratory analysis techniques for the forty-five radionuclides identified in Hanford?s Waste Treatment and Immobilization Plant (WTP) Feed Acceptance Data Quality Objectives (DQO) document are addressed in this report. Based on Savannah River Site (SRS) experience and waste characteristics, thirteen of the radionuclides are judged to be candidates for potential scaling in High Level Waste (HLW) based on the concentrations of other radionuclides as determined through laboratory measurements. The thirteen radionuclides conducive to potential scaling are: Ni-59, Zr-93, Nb-93m, Cd-113m, Sn-121m, Sn-126, Cs-135, Sm-151, Ra-226, Ra-228, Ac-227, Pa-231, and Th-229. The ability to scale radionuclides is useful from two primary perspectives: 1) it provides a means of checking the radionuclide concentrations that have been determined by laboratory analysis; and 2) it provides a means of estimating radionuclide concentrations in the absence of a laboratory analysis technique or when a complex laboratory analysis technique fails. Along with the rationale for identifying and applying the potential scaling factors, this report also provides examples of using the scaling factors to estimate concentrations of radionuclides in current SRS waste and into the future. Also included in the report are examples of independent laboratory analysis techniques that can be used to check results of key radionuclide analyses. Effective utilization of radionuclide scaling factors requires understanding of the applicable production sources and the chemistry of the waste. As such, the potential scaling approaches identified in this report should be assessed from the perspective of the Hanford waste before reaching a decision regarding WTP applicability.

  2. This is the author's version of a work that was submitted/accepted for pub-lication in the following source

    E-Print Network [OSTI]

    Liang, Huizhi "Elly"

    Cox Received: date / Accepted: date Abstract With the explosion of Web 2.0 application such as blogs-generated content newly available in Web 2.0. Keywords Social Networking · Recommender Systems · Trust · User Profiles · User Generated Content 1 Introduction With the explosion of Web 2.0 applications such as blogs

  3. 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

  4. Undergrad Application

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

    to identify yourself as a person with disabilities, veteran with disabilities or a Vietnam era veteran, please check the appropriate spaces below. A Qualified Disabled...

  5. LDPC Codes over Large Alphabets and Their Applications to Compressed Sensing and Flash Memory 

    E-Print Network [OSTI]

    Zhang, Fan

    2010-10-12

    This dissertation is mainly focused on the analysis, design and optimization of Low-density parity-check (LDPC) codes over channels with large alphabet sets and the applications on compressed sensing (CS) and flash memories. ...

  6. Author's Accepted Manuscript ORBIT-CENTERED ATMOSPHERIC DENSITY

    E-Print Network [OSTI]

    Wohlberg, Brendt

    solar and geomagnetic activities and different prediction windows. Compar- ison with previouslyAuthor's Accepted Manuscript ORBIT-CENTERED ATMOSPHERIC DENSITY PREDICTION USING ARTIFICIAL NEURAL Shoemaker, Riccardo Bevilacqua, ORBIT-CENTERED ATMOSPHERIC DENSITY PREDICTION USING ARTIFICIAL NEURAL

  7. EM Waste Acceptance Product Specification (WAPS) for Vitrified...

    Office of Environmental Management (EM)

    EM Waste Acceptance Product Specification (WAPS) for Vitrified High-Level Waste Forms Presentation to the HLW Corporate Board July 24, 2008 By Tony KlukKen Picha 2 Background *...

  8. Energy dependence of acceptance-corrected dielectron excess mass...

    Office of Scientific and Technical Information (OSTI)

    Energy dependence of acceptance-corrected dielectron excess mass spectrum at mid-rapidity in Au+Au collisions at sNN19.6 and 200 GeV Citation Details In-Document Search Title:...

  9. CHANGE IN ACCEPTABLE ID DOCUMENTS FOR JLAB ACCESS:

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

    JLAB ACCESS: The REAL ID Act (Public Law 109-13) now determines which state driver's license can be presented and accepted as a valid ID document for access to Jefferson Lab. The...

  10. Rotary mode core sampling service trailer acceptance test report

    SciTech Connect (OSTI)

    Kostelnik, A.J.

    1996-02-12

    This Acceptance Test Report documents compliance with the requirements of specification WHC-S-056. The equipment was tested according to WHC-SD-WM-ATP-111 Rev.1.

  11. Acceptance Test Procedure for New Pumping Instrumentation & Control Skid V

    SciTech Connect (OSTI)

    KOCH, M.R.

    2000-08-14

    This Acceptance Test Procedure (ATP) provides for the inspection and testing of the new Pumping Instrumentation and Control (PIC) skid designated as ''V''. The ATP will be performed after the construction of the PIC skid in the fabrication shop.

  12. Idaho CERCLA Disposal Facility Complex Waste Acceptance Criteria

    SciTech Connect (OSTI)

    W. Mahlon Heileson

    2006-10-01

    The Idaho Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA) Disposal Facility (ICDF) has been designed to accept CERCLA waste generated within the Idaho National Laboratory. Hazardous, mixed, low-level, and Toxic Substance Control Act waste will be accepted for disposal at the ICDF. The purpose of this document is to provide criteria for the quantities of radioactive and/or hazardous constituents allowable in waste streams designated for disposal at ICDF. This ICDF Complex Waste Acceptance Criteria is divided into four section: (1) ICDF Complex; (2) Landfill; (3) Evaporation Pond: and (4) Staging, Storage, Sizing, and Treatment Facility (SSSTF). The ICDF Complex section contains the compliance details, which are the same for all areas of the ICDF. Corresponding sections contain details specific to the landfill, evaporation pond, and the SSSTF. This document specifies chemical and radiological constituent acceptance criteria for waste that will be disposed of at ICDF. Compliance with the requirements of this document ensures protection of human health and the environment, including the Snake River Plain Aquifer. Waste placed in the ICDF landfill and evaporation pond must not cause groundwater in the Snake River Plain Aquifer to exceed maximum contaminant levels, a hazard index of 1, or 10-4 cumulative risk levels. The defined waste acceptance criteria concentrations are compared to the design inventory concentrations. The purpose of this comparison is to show that there is an acceptable uncertainty margin based on the actual constituent concentrations anticipated for disposal at the ICDF. Implementation of this Waste Acceptance Criteria document will ensure compliance with the Final Report of Decision for the Idaho Nuclear Technology and Engineering Center, Operable Unit 3-13. For waste to be received, it must meet the waste acceptance criteria for the specific disposal/treatment unit (on-Site or off-Site) for which it is destined.

  13. Electromagnetic induction moisture measurement system acceptance test plan

    SciTech Connect (OSTI)

    Vargo, G.F., Westinghouse Hanford

    1996-08-01

    The purpose of this acceptance test plan (ATP) is to verify that the mechanical, electrical and software features of the ElectroMagnetic Induction (EMI) probe are operating as designed,and that the unit is ready for field service. The accepted EMI and Surface Moisture Measurement Systems (SMMS) will be used primarily in support of Tank Waste Remediation System (TWRS) Safety Programs for moisture measurement of organic and ferrocyanide watch list tanks.

  14. Acceptance test report for core sample trucks 3 and 4

    SciTech Connect (OSTI)

    Corbett, J.E.

    1996-04-10

    The purpose of this Acceptance Test Report is to provide documentation for the acceptance testing of the rotary mode core sample trucks 3 and 4, designated as HO-68K-4600 and HO-68K-4647, respectively. This report conforms to the guidelines established in WHC-IP-1026, ``Engineering Practice Guidelines,`` Appendix M, ``Acceptance Test Procedures and Reports.`` Rotary mode core sample trucks 3 and 4 were based upon the design of the second core sample truck (HO-68K-4345) which was constructed to implement rotary mode sampling of the waste tanks at Hanford. Successful completion of acceptance testing on June 30, 1995 verified that all design requirements were met. This report is divided into four sections, beginning with general information. Acceptance testing was performed on trucks 3 and 4 during the months of March through June, 1995. All testing was performed at the ``Rock Slinger`` test site in the 200 West area. The sequence of testing was determined by equipment availability, and the initial revision of the Acceptance Test Procedure (ATP) was used for both trucks. Testing was directed by ICF-KH, with the support of WHC Characterization Equipment Engineering and Characterization Project Operations. Testing was completed per the ATP without discrepancies or deviations, except as noted.

  15. 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...

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  1. 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

  2. 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

  3. Acceptance by proxy : analyzing perceptions of hydraulic fracturing to better understand public acceptance for geologic storage of carbon dioxide

    E-Print Network [OSTI]

    Wolff, Joshua Michael

    2015-01-01

    Carbon capture and storage (CCS) represents an important pathway for reducing greenhouse gas emissions in order to mitigate climate change. However, there is significant uncertainty about how the technology will be accepted ...

  4. W-026 acceptance test plan plant control system hardware (submittal {number_sign} 216)

    SciTech Connect (OSTI)

    Watson, T.L., Fluor Daniel Hanford

    1997-02-14

    Acceptance Testing of the WRAP 1 Plant Control System Hardware will be conducted throughout the construction of WRAP I with the final testing on the Process Area hardware being completed in November 1996. The hardware tests will be broken out by the following functional areas; Local Control Units, Operator Control Stations in the WRAP Control Room, DMS Server, PCS Server, Operator Interface Units, printers, DNS terminals, WRAP Local Area Network/Communications, and bar code equipment. This document will contain completed copies of each of the hardware tests along with the applicable test logs and completed test exception reports.

  5. Results of an emergency response atmospheric dispersion model comparison using a state accepted statistical protocol

    SciTech Connect (OSTI)

    Ciolek, J.T. Jr.

    1993-10-01

    The Rocky Flats Plant, located approximately 26 km northwest of downtown Denver, Colorado, has developed an emergency response atmospheric dispersion model for complex terrain applications. Plant personnel would use the model, known as the Terrain-Responsive Atmospheric Code (TRAC) (Hodgin 1985) to project plume impacts and provide off-site protective action recommendations to the State of Colorado should a hazardous material release occur from the facility. The Colorado Department of Health (CDH) entered into an interagency agreement with the Rocky Flats Plant prime contractor, EG&G Rocky Flats, and the US Department of Energy to evaluate TRAC as an acceptable emergency response tool. After exhaustive research of similar evaluation processes from other emergency response and regulatory organizations, the interagency committee devised a formal acceptance process. The process contains an evaluation protocol (Hodgin and Smith 1992), descriptions of responsibilities, an identified experimental data set to use in the evaluation, and judgment criteria for model acceptance. The evaluation protocol is general enough to allow for different implementations. This paper explains one implementation, shows protocol results for a test case, and presents results of a comparison between versions of TRAC with different wind Field codes: a two dimensional mass consistent code called WINDS (Fosberg et al. 1976) that has been extended to three dimensions, and a fully 3 dimensional mass conserving code called NUATMOS (Ross and Smith 1987, Ross et al. 1988).

  6. Property Testing: Theory and Applications Sofya Raskhodnikova

    E-Print Network [OSTI]

    Smith, Adam D.

    properties require (n) queries, even for adaptive tests. We show that testing properties defined by 2CNFProperty Testing: Theory and Applications by Sofya Raskhodnikova Submitted to the Department. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Michael Sipser Professor of Mathematics Thesis Supervisor Accepted

  7. Property Testing: Theory and Applications Sofya Raskhodnikova

    E-Print Network [OSTI]

    Smith, Adam D.

    properties require ## n) queries, even for adaptive tests. We show that testing properties defined by 2CNFProperty Testing: Theory and Applications by Sofya Raskhodnikova Submitted to the Department by . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Michael Sipser Professor of Mathematics Thesis Supervisor Accepted

  8. Hydro Research Program Seeking Graduate Student Applicants

    Broader source: Energy.gov [DOE]

    The Hydro Research Foundation is now accepting graduate student applications for its DOE-funded graduate student research program. The Hydro Research Awards Program is designed to spur innovation...

  9. Laser Applications in Metal Surface Hardening 

    E-Print Network [OSTI]

    Eckersley, J. S.

    1982-01-01

    The acceptance of C02 lasers in industry to provide surface hardening is an established fact. Applications number in the hundreds in such diverse fields as automotive, office machines, air compressors, jet engines, military, paper converting...

  10. Inelastic analysis acceptance criteria for radioactive material transportation containers

    SciTech Connect (OSTI)

    Ammerman, D.J.; Ludwigsen, J.S.

    1993-06-01

    The design criteria currently used in the design of radioactive material (RAM) transportation containers are taken from the ASME Boiler and Pressure Vessel Code (ASME, 1992). These load-based criteria are ideally suited for pressure vessels where the loading is quasistatic and all stresses are in equilibrium with externally applied loads. For impact events, the use of load-based criteria is less supportable. Impact events tend to be energy controlled, and thus, energy-based acceptance criteria would appear to be more appropriate. Determination of an ideal design criteria depends on what behavior is desired. Currently there is not a design criteria for inelastic analysis for RAM nation packages that is accepted by the regulatory agencies. This lack of acceptance criteria is one of the major factors in limiting the use of inelastic analysis. In this paper inelastic analysis acceptance criteria based on stress and strain-energy density will be compared for two stainless steel test units subjected to impacts onto an unyielding target. Two different material models are considered for the inelastic analysis, a bilinear fit of the stress-strain curve and a power law hardening model that very closely follows the stress-strain curve. It is the purpose of this paper to stimulate discussion and research into the area of strain-energy density based inelastic analysis acceptance criteria.

  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. Product acceptance environmental and destructive testing for reliability.

    SciTech Connect (OSTI)

    Dvorack, Michael A.; Kerschen, Thomas J.; Collins, Elmer W.

    2007-08-01

    To determine whether a component is meeting its reliability requirement during production, acceptance sampling is employed in which selected units coming off the production line are subjected to additional environmental and/or destructive tests that are within the normal environment space to which the component is expected to be exposed throughout its life in the Stockpile. This report describes what these tests are and how they are scored for reliability purposes. The roles of screens, Engineering Use Only tests, and next assembly product acceptance testing are also discussed, along with both the advantages and disadvantages of environmental and destructive testing.

  14. NEVADA TEST SITE WASTE ACCEPTANCE CRITERIA, JUNE 2006

    SciTech Connect (OSTI)

    U.S. DEPARTMENT OF ENERGY, NATIONAL NUCLEAR SECURITY ADMINISTRATION NEVADA SITE OFFICE

    2006-06-01

    This document establishes the U.S. Department of Energy (DOE), National Nuclear Security Administration Nevada Site Office (NNSA/NSO) waste acceptance criteria (WAC). The WAC provides the requirements, terms, and conditions under which the Nevada Test Site (NTS) will accept low-level radioactive (LLW) and mixed waste (MW) for disposal. It includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the NTS Area 3 and Area 5 Radioactive Waste Management Complex (RWMC) for storage or disposal.

  15. 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.

  16. 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

  17. Testing for a Conformance Relation Based on Acceptance*

    E-Print Network [OSTI]

    von Bochmann, Gregor

    Testing for a Conformance Relation Based on Acceptance* MingYu Yao and Gregorv. Bochmann D6 been gaining wide popularity in recent years, little work has been done on how to test object- oriented will also play important roles during the testing phase. In this paper, we propose a conformance testing

  18. TECHNICAL PAPER Accepted for publication in SIAM Review

    E-Print Network [OSTI]

    Walker, David W.

    TECHNICAL PAPER Accepted for publication in SIAM Review SOFTWARE LIBRARIES FOR LINEAR ALGEBRA LIBRARIES FOR LINEAR ALGEBRA COMPUTATIONS ON HIGH PERFORMANCE COMPUTERS Jack J. Dongarra David W. Walker Abstract This paper discusses the design of linear algebra libraries for high performance computers

  19. Received 4 February 2003 Accepted 2 June 2003

    E-Print Network [OSTI]

    Reynolds, John D.

    Received 4 February 2003 Accepted 2 June 2003 Published online 20 August 2003 Migration route data storage tags, were used to test whether these fishes exhibited migration route and spawning area fidelity in successive spawning seasons. Depth and temperature data were recorded for each fish over 365

  20. www.elsevier.com/locate/ces Author's Accepted Manuscript

    E-Print Network [OSTI]

    Daraio, Chiara

    -reactor for butane-to- syngas processing Nico Hotz, Neil Osterwalder, Wendelin J. Stark, Nicole R. Bieri, Dimos Poulikakos, Disk-shaped packed bed micro-reactor for butane-to-syngas processing, Chemical Engineering pertain. #12;Accepted m anuscript 1 Disk-shaped packed bed micro-reactor for butane-to-syngas processing

  1. CORONAL WAVES, SHOCK FORMATION AND CORONAL MASS Received: . . . . . . ; Accepted: . . . . . .

    E-Print Network [OSTI]

    Hudson, Hugh

    waves was recognized early from the radio type II bursts, for which the high brightness temperaturesCORONAL WAVES, SHOCK FORMATION AND CORONAL MASS EJECTIONS Received: . . . . . . ; Accepted: . . . . . . Table of Contents 1 Shocks, blast waves, piston driven shocks 2 2 Identification of coronal waves 3 3

  2. Accepted Manuscript Title: Metal Current Collector-Free Freestanding

    E-Print Network [OSTI]

    Cui, Yi

    energy storage devices with large capacities to keep pace with their ever-growing demand in variousAccepted Manuscript Title: Metal Current Collector-Free Freestanding Silicon-Carbon 1D, Metal Current Collector-Free Freestanding Silicon-Carbon 1D Nanocomposites for Ultralight Anodes

  3. Evolution as Computation Evolutionary Theory (accepted for publication)

    E-Print Network [OSTI]

    Mayfield, John

    1/21/05 1 Evolution as Computation Evolutionary Theory (accepted for publication) By: John E: jemayf@iastate.edu Key words: Evolution, Computation, Complexity, Depth Running head: Evolution of evolution must include life and also non-living processes that change over time in a manner similar

  4. Standardization of DOE Disposal Facilities Waste Acceptance Processes

    SciTech Connect (OSTI)

    Shrader, T. A.; Macbeth, P. J.

    2002-02-26

    On February 25, 2000, the U.S. Department of Energy (DOE) issued the Record of Decision (ROD) for the Waste Management Programmatic Environmental Impact Statement (WM PEIS) for low-level and mixed low-level wastes (LLW/ MLLW) treatment and disposal. The ROD designated the disposal sites at Hanford and the Nevada Test Site (NTS) to dispose of LLW/MLLW from sites without their own disposal facilities. DOE's Richland Operations Office (RL) and the National Nuclear Security Administration's Nevada Operations Office (NV) have been charged with effectively implementing the ROD. To accomplish this task NV and RL, assisted by their operating contractors Bechtel Nevada (BN), Fluor Hanford (FH), and Bechtel Hanford (BH) assembled a task team to systematically map out and evaluate the current waste acceptance processes and develop an integrated, standardized process for the acceptance of LLW/MLLW. A structured, systematic, analytical process using the Six Sigma system identified dispos al process improvements and quantified the associated efficiency gains to guide changes to be implemented. The review concluded that a unified and integrated Hanford/NTS Waste Acceptance Process would be a benefit to the DOE Complex, particularly the waste generators. The Six Sigma review developed quantitative metrics to address waste acceptance process efficiency improvements, and provides an initial look at development of comparable waste disposal cost models between the two disposal sites to allow quantification of the proposed improvements.

  5. Standardization of DOE Disposal Facilities Waste Acceptance Process

    SciTech Connect (OSTI)

    SHRADER, T.; MACBETH, P.

    2002-01-01

    On February 25, 2000, the US. Department of Energy (DOE) issued the Record of Decision (ROD) for the Waste Management Programmatic Environmental Impact Statement (WM PEIS) for low-level and mixed low-level wastes (LLW/ MLLW) treatment and disposal. The ROD designated the disposal sites at Hanford and the Nevada Test Site (NTS) to dispose of LLWMLLW from sites without their own disposal facilities. DOE's Richland Operations Office (RL) and the National Nuclear Security Administration's Nevada Operations Office (NV) have been charged with effectively implementing the ROD. To accomplish this task NV and RL, assisted by their operating contractors Bechtel Nevada (BN), Fluor Hanford (FH), and Bechtel Hanford (BH) assembled a task team to systematically map out and evaluate the current waste acceptance processes and develop an integrated, standardized process for the acceptance of LLWMLLW. A structured, systematic, analytical process using the Six Sigma system identified disposal process improvements and quantified the associated efficiency gains to guide changes to be implemented. The review concluded that a unified and integrated Hanford/NTS Waste Acceptance Process would be a benefit to the DOE Complex, particularly the waste generators. The Six Sigma review developed quantitative metrics to address waste acceptance process efficiency improvements, and provides an initial look at development of comparable waste disposal cost models between the two disposal sites to allow quantification of the proposed improvements.

  6. Author's Accepted Manuscript Full range determination of 222

    E-Print Network [OSTI]

    ; surface water; groundwater. 1. INTRODUCTION Radon is a rare gas with three natural radioactive isotopesAuthor's Accepted Manuscript Full range determination of 222 Rn at the watershed scale by liquid Rn at the watershed scale by liquid scintillation counting, Applied Radiation and Isotopes, http

  7. Acceptance of Advertising A written insertion order is

    E-Print Network [OSTI]

    Mateo, Jill M.

    Acceptance of Advertising A written insertion order is required for all advertisements. All advertisements are subject to approval. The University of Chicago Press reserves the right to reject advertising for any reason. The advertiser and/or its advertising agency are entirely responsible for the lawfulness

  8. Accepted Manuscript Sustainable manufacturing: Evaluation and Modeling of

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    in additive manufacturing Florent Le Bourhisa · Olivier Kerbrata Jean-Yves Hascoeta · Pascal Mognola Accepted of manufacturing processes where great amounts of energy and materials are being consumed. Nowadays, additive manufacturing technologies such as Direct Additive Laser Manufac- turing allow us to manufacture functional

  9. Gas characterization system 241-AN-105 field acceptance test procedure

    SciTech Connect (OSTI)

    Schneider, T.C.

    1996-03-01

    This document details the field Acceptance Testing of a gas characterization system being installed on waste tank 241-AN-105. The gas characterization systems will be used to monitor the vapor spaces of waste tanks known to contain measurable concentrations of flammable gases.

  10. Gas characterization system 241-AW-101 field acceptance test procedure

    SciTech Connect (OSTI)

    Schneider, T.C.

    1996-03-01

    This document details the field Acceptance Testing of a gas characterization system being installed on waste tank 241-AW-101. The gas characterization systems will be used to monitor the vapor spaces of waste tanks known to contain measurable concentrations of flammable gases.

  11. THESES AND DISSERTATIONS ACCEPTED BY THE LOUISIANA STATE UNIVERSITY

    E-Print Network [OSTI]

    THESES AND DISSERTATIONS ACCEPTED BY THE LOUISIANA STATE UNIVERSITY SCHOOL OF RENEWABLE NATURAL RESOURCES (Formerly School of Forestry, Wildlife, and Fisheries) LSU Electronic Thesis and Dissertation, MI 48106-1346, phone 800-521-0600, Web page: http://www.umi.com, email: info

  12. Workshop on high-resolution, large-acceptance spectrometers

    SciTech Connect (OSTI)

    Zeidman, B. (ed.)

    1981-01-01

    The purpose of the Workshop on High-Resolution, Large-Acceptance Spectrometers was to provide a means for exchange of information among those actively engaged in the design and construction of these new spectrometers. Thirty-seven papers were prepared for the data base.

  13. Automated Transportation Management System (ATMS) V2.0 logistics module PBI acceptance criteria

    SciTech Connect (OSTI)

    Weidert, R.S.

    1995-02-28

    This document defines the acceptance criteria for the Automated Transportation Management System V2.0 Logistics Module Performance Based Incentive (PBI). This acceptance criteria will be the primary basis for the generation of acceptance test procedures. The purpose of this document is to define the minimum criteria that must be fulfilled to guarantee acceptance of the Logistics Module.

  14. The role of acceptable knowledge in transuranic waste disposal operations - 11117

    SciTech Connect (OSTI)

    Chancellor, Christopher John; Nelson, Roger

    2010-11-08

    The Acceptable Knowledge (AK) process plays a key role in the delineation of waste streams destined for the Waste Isolation Pilot Plant (WIPP). General Electric's Vallecitos Nuclear Center (GEVNC) provides for an ideal case study of the application of AK in a multiple steward environment. In this review we will elucidate the pivotal role Acceptable Knowledge played in segregating Department of Energy (DOE) responsibilities from a commercial facility. The Acceptable Knowledge process is a necessary component of waste characterization that determines whether or not a waste stream may be considered for disposal at the WIPP site. This process may be thought of as an effort to gain a thorough understanding of the waste origin, chemical content, and physical form gleaned by the collection of documentation that concerns generator/storage site history, mission, and operations; in addition to waste stream specific information which includes the waste generation process, the waste matrix, the quantity of waste concerned, and the radiological and chemical make up of the waste. The collection and dissemination of relevant documentation is the fundamental requirement for the AK process to work. Acceptable Knowledge is the predominant process of characterization and, therefore, a crucial part of WIPP's transuranic waste characterization program. This characterization process, when conducted to the standards set forth in WIPP's operating permit, requires confirmation/verification by physical techniques such as Non-Destructive Examination (NDE), Visual Examination (VE), and Non-Destructive Assay (NDA). These physical characterization techniques may vary in their appropriateness for a given waste stream; however, nothing will allow the substitution or exclusion of AK. Beyond the normal scope of operations, AK may be considered, when appropriate, a surrogate for the physical characterization techniques in a procedure that appeals to concepts such As Low As Reasonably Achievable (ALARA) and budgetary savings. This substitution is referred to as an Acceptable Knowledge Sufficiency Determination. With a Sufficiency Determination Request, AK may supplant the need for one or all of the physical analysis methods. This powerful procedure may be used on a scale as small as a single container to that of a vast waste stream. Only under the most stringent requirements will an AK Sufficiency Determination be approved by the regulators and, to date, only six such Sufficiency Determinations have been approved. Although Acceptable Knowledge is legislated into the operational procedures of the WIPP facility there is more to it than compliance. AK is not merely one of a long list of requirements in the characterization and verification of transuranic (TRU) waste destined for the WIPP. Acceptable Knowledge goes beyond the regulatory threshold by offering a way to reduce risk, cost, time, and uncertainty on its own laurels. Therefore, AK alone can be argued superior to any other waste characterization technique.

  15. John A. Burns School of Medicine (JABSOM) Doctor of Medicine Early Acceptance Program (DMEAP) for Entering Hawai'i Resident Freshman

    E-Print Network [OSTI]

    John A. Burns School of Medicine (JABSOM) Doctor of Medicine Early Acceptance Program (DMEAP in medicine · Describe why you want to attend the University of Hawaii John A. Burns School of Medicine · What of Medicine Office of Admissions to release a copy of my application, letters of recommendation, and personal

  16. History of Uranium-233(sup233U)Processing at the Rocky Flats Plant. In support of the RFETS Acceptable Knowledge Program

    SciTech Connect (OSTI)

    Moment, R.L.; Gibbs, F.E.; Freiboth, C.J.

    1999-04-01

    This report documents the processing of Uranium-233 at the Rocky Flats Plant (Rocky Flats Environmental Technology Site). The information may be used to meet Waste Isolation Pilot Plant (WIPP) Waste Acceptance Criteria (WAC)and for determining potential Uranium-233 content in applicable residue waste streams.

  17. 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

  18. WRAP low level waste (LLW) glovebox acceptance test report

    SciTech Connect (OSTI)

    Leist, K.J.

    1998-02-17

    In June 28, 1997, the Low Level Waste (LLW) glovebox was tested using glovebox acceptance test procedure 13031A-85. The primary focus of the glovebox acceptance test was to examine control system interlocks, display menus, alarms, and operator messages. Limited mechanical testing involving the drum ports, hoists, drum lifter, compacted drum lifter, drum tipper, transfer car, conveyors, lidder/delidder device and the supercompactor were also conducted. As of November 24, 1997, 2 of the 131 test exceptions that affect the LLW glovebox remain open. These items will be tracked and closed via the WRAP Master Test Exception Database. As part of Test Exception resolution/closure the responsible individual closing the Test Exception performs a retest of the affected item(s) to ensure the identified deficiency is corrected, and, or to test items not previously available to support testing. Test Exceptions are provided as appendices to this report.

  19. Nevada Test Site waste acceptance criteria [Revision 1

    SciTech Connect (OSTI)

    None

    1997-08-01

    Revision one updates the requirements, terms, and conditions under which the Nevada Test Site (NTS) will accept low-level radioactive and mixed waste for disposal; and transuranic and transuranic mixed waste for interim storage at the NTS. Review each section of this document. This document is not intended to include all of the requirements; rather, it is meant as a guide toward meeting the regulations. All references in this document should be observed to avoid omission of requirements on which acceptance or rejection of waste will be based. The Department of Energy/Nevada Operations Office (DOE/NV) and support contractors are available to assist you in understanding or interpreting this document.

  20. Polarization Measurements in Photoproduction with CEBAF Large Acceptance Spectrometer

    SciTech Connect (OSTI)

    E. Pasyuk

    2010-05-01

    A significant part of the experimental program in Hall-B of the Jefferson Lab is dedicated to the studies of the structure of baryons. CEBAF Large Acceptance Spectrometer (CLAS), availability of circularly and linearly polarized photon beams and recent addition of polarized targets provides remarkable opportunity for single, double and in some cases triple polarization measurements in photoproduction. An overview of the experiments will be presented.

  1. EV Everywhere Consumer Acceptance and Charging Infrastructure Workshop:

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

    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 Delicious Rank EERE:FinancingPetroleum Based|DepartmentStatementofApril 25, 2014TEMPLATE |DepartmentConsumer Acceptance

  2. Statistical Model Checking in BioLab : Applications to the automated analysis of T-Cell Receptor

    E-Print Network [OSTI]

    Langmead, Christopher James

    ), the Army Research Office (ARO), and the General Motors Lab at CMU awards to E.M.C., as well as the U.S. Department of Energy Career Award (DE-FG02-05ER25696), a Pittsburgh Life-Sciences Green- house Young Pioneer in industrial set- tings, where it is the preferred method for formal verification of circuit designs. Briefly

  3. Study Agriculture Abroad Check with the Study Abroad office for up to date costs, course restrictions, and application processes.

    E-Print Network [OSTI]

    Barge, Marcy

    )* Australia - University of Western Australia (DEX) La Trobe University - Melbourne (ISEP) Finland Australia (DEX) La Trobe University - Melbourne (ISEP) Finland - University of Turku (ISEP) Univeristy) Sustainable Food & Bioenergy Systems Argentina - Universidad de Belgrano (CCIS)* Universidad del Salvador

  4. 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, ...

  5. 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

  6. 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

  7. White House Office of Science and Technology Policy Summer 2014 Internship Program Application Period

    Broader source: Energy.gov [DOE]

    The White House Office of Science and Technology Policy is currently accepting applications for its Summer 2014 Internship Program.  The application deadline is 11:59pm Friday, March 7.  Students...

  8. 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

  9. Startup of the FFTF sodium cooled reactor. [Acceptance Test Program

    SciTech Connect (OSTI)

    Redekopp, R.D.; Umek, A.M.

    1981-03-01

    The Fast Flux Test Facility (FFTF), located on the Department of Energy (DOE) Hanford Reservation near Richland, Washington, is a 3 Loop 400 MW(t) sodium cooled fast reactor with a primary mission to test fuels and materials for development of the Liquid Metal Fast Breeder Reactor (LMFBR). Bringing FFTF to a condition to accomplish this mission is the goal of the Acceptance Test Program (ATP). This program was the mechanism for achieving startup of the FFTF. Highlights of the ATP involving the system inerting, liquid metal and inerted cell testing and initial ascent to full power are discussed.

  10. The MUSE Data Reduction Pipeline: Status after Preliminary Acceptance Europe

    E-Print Network [OSTI]

    Weilbacher, Peter M; Urrutia, Tanya; Pécontal-Rousset, Arlette; Jarno, Aurélien; Bacon, Roland

    2015-01-01

    MUSE, a giant integral field spectrograph, is about to become the newest facility instrument at the VLT. It will see first light in February 2014. Here, we summarize the properties of the instrument as built and outline functionality of the data reduction system, that transforms the raw data that gets recorded separately in 24 IFUs by 4k CCDs, into a fully calibrated, scientifically usable data cube. We then describe recent work regarding geometrical calibration of the instrument and testing of the processing pipeline, before concluding with results of the Preliminary Acceptance in Europe and an outlook to the on-sky commissioning.

  11. Contact-Handled Transuranic Waste Acceptance Criteria for the Waste Isolation Pilot Plant

    SciTech Connect (OSTI)

    Washington TRU Solutions LLC

    2005-12-29

    The purpose of this document is to summarize the waste acceptance criteria applicable to the transportation, storage, and disposal of contact-handled transuranic (CH-TRU) waste at the Waste Isolation Pilot Plant (WIPP). These criteria serve as the U.S. Department of Energy's (DOE) primary directive for ensuring that CH-TRU waste is managed and disposed of in a manner that protects human health and safety and the environment.The authorization basis of WIPP for the disposal of CH-TRU waste includes the U.S.Department of Energy National Security and Military Applications of Nuclear EnergyAuthorization Act of 1980 (reference 1) and the WIPP Land Withdrawal Act (LWA;reference 2). Included in this document are the requirements and associated criteriaimposed by these acts and the Resource Conservation and Recovery Act (RCRA,reference 3), as amended, on the CH-TRU waste destined for disposal at WIPP.|The DOE TRU waste sites must certify CH-TRU waste payload containers to thecontact-handled waste acceptance criteria (CH-WAC) identified in this document. Asshown in figure 1.0, the flow-down of applicable requirements to the CH-WAC istraceable to several higher-tier documents, including the WIPP operational safetyrequirements derived from the WIPP CH Documented Safety Analysis (CH-DSA;reference 4), the transportation requirements for CH-TRU wastes derived from theTransuranic Package Transporter-Model II (TRUPACT-II) and HalfPACT Certificates ofCompliance (references 5 and 5a), the WIPP LWA (reference 2), the WIPP HazardousWaste Facility Permit (reference 6), and the U.S. Environmental Protection Agency(EPA) Compliance Certification Decision and approval for PCB disposal (references 7,34, 35, 36, and 37). The solid arrows shown in figure 1.0 represent the flow-down of allapplicable payload container-based requirements. The two dotted arrows shown infigure 1.0 represent the flow-down of summary level requirements only; i.e., the sitesmust reference the regulatory source documents from the U.S. Nuclear RegulatoryCommission (NRC) and the New Mexico Environment Department (NMED) for acomprehensive and detailed listing of the requirements.This CH-WAC does not address the subject of waste characterization relating to adetermination of whether the waste is hazardous; rather, the sites are referred to theWaste Analysis Plan (WAP) contained in the WIPP Hazardous Waste Facility Permit fordetails of the sampling and analysis protocols to be used in determining compliance withthe required physical and chemical properties of the waste. Requirements andassociated criteria pertaining to a determination of the radiological properties of thewaste, however, are addressed in appendix A of this document. The collectiveinformation obtained from waste characterization records and acceptable knowledge(AK) serves as the basis for sites to certify that their CH-TRU waste satisfies the WIPPwaste acceptance criteria listed herein.

  12. Accepted Manuscript Carbon Footprint and emergy combination for Eco-Environmental assessment of

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Accepted Manuscript Carbon Footprint and emergy combination for Eco- Environmental assessment Corre O, Feidt M, Carbon Footprint and emergy combination for Eco- Environmental assessment of cleaner ACCEPTED MANUSCRIPT 1 CARBON FOOTPRINT AND EMERGY COMBINATION FOR ECO- ENVIRONMENTAL ASSESSMENT OF CLEANER

  13. UNIVERSITY OF ALBERTA Approved and accepted by Faculty of Science Council October 27, 2011

    E-Print Network [OSTI]

    Machel, Hans

    UNIVERSITY OF ALBERTA Approved and accepted by Faculty of Science Council October 27, 2011 in May, 2014) #12;UNIVERSITY OF ALBERTA Approved and accepted by Faculty of Science Council October 27

  14. 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

  15. 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

  16. 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

  17. Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State

    E-Print Network [OSTI]

    Ernst, Michael

    during program execution, and HTML failures that occur when the application generates mal- formed HTML may be halted, depending on the severity of the failure. HTML failures occur when output is generatedFinding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking

  18. Acceptance of Internet-based Learning Medium: The Role of Extrinsic and Intrinsic Motivation

    E-Print Network [OSTI]

    Po, Lai-Man

    Acceptance of Internet-based Learning Medium: The Role of Extrinsic and Intrinsic Motivation acceptance of Internet-based learning medium (ILM) Research Model: This model integrates the motivational perspective into the original Technology Acceptance Model (TAM), and includes an intrinsic motivator

  19. Acceptability of Four Transformer Top-Oil Thermal Models: Pt. 2: Comparing Metrics

    E-Print Network [OSTI]

    1 Acceptability of Four Transformer Top-Oil Thermal Models: Pt. 2: Comparing Metrics Lida Jauregui transformer top-oil thermal models are examined vis-à-vis training with measured data. Acceptability is unacceptable for model identification purposes. The linear top-oil model is acceptable for FOFA transformers

  20. Notice of inquiry on waste acceptance issues: Response summary

    SciTech Connect (OSTI)

    NONE

    1995-03-01

    On May 25, 1994, the Department of Energy published a Notice of Inquiry on Waste Acceptance Issues in the Federal Register. Through this Notice of Inquiry, the Department sought to implement the Secretary`s initiative to explore with affected parties various options and methods for sharing the costs related to the financial burden associated with continued on-site storage by eliciting the views of affected parties on: (1) The Department`s preliminary view that it does not have a statutory obligation to begin accepting spent nuclear fuel in 1998 in the absence of an operational repository or other suitable storage facility constructed under the Nuclear Waste Policy Act of 1982, as amended; (2) The need for an interim, away-from-reactor storage facility prior to repository operations; and (3) Options for offsetting, through the Nuclear Waste Fund, a portion of the financial burden that may be incurred by utilities in continuing to store spent nuclear fuel at reactor sites beyond 1998. The Department received a total of 1,111 responses representing 1,476 signatories to this Notice of Inquiry. The responses included submittals from utilities (38 responses); public utility/service commissions and utility regulators (26 responses); Federal, state, and local governments, agencies, and representatives (23 responses); industry and companies (30 responses); public interest groups and other organizations (19 responses); and members of the general public (975 responses).

  1. Energy Department Accepting Applications for a $3.6 Million Hydroelect...

    Office of Environmental Management (EM)

    of cost-competitive, renewable energy at a lower cost than creating new powered dam structures, without impacting critical habitats, parks, or wilderness areas. The funding...

  2. A preliminary examination of variables which influence the public acceptance of potable water reuse applications 

    E-Print Network [OSTI]

    Foss, Michele Garteiser

    1997-01-01

    Water resource management in Texas is maturing from an era of project development to one of water supply management through conservation, reallocation, and reuse as a means of meeting water supply needs. As opportunities ...

  3. ORISE: ORISE is accepting applications for the 2015 Mickey Leland Energy

    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 Administration wouldMass map shinesSolarNewsusceptometer underI REEECNO

  4. ORISE: ORISE is accepting applications for the 2015 U.S. Department of

    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 Administration wouldMass map shinesSolarNewsusceptometer underI REEECNOHomeland Security Summer Internship

  5. ORISE: ORISE is accepting applications for the summer 2015 U.S. Department

    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 Administration wouldMass map shinesSolarNewsusceptometer underI REEECNOHomeland Security Summer Internshipof

  6. Energy Department Accepting Applications for a $3.6 Million Hydroelectric

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

    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 Delicious Rank EERE:FinancingPetroleum12, 2015 Infographic courtesy of the White House.Christopher

  7. Energy Department Accepting Small Business Grant Applications for Low-Head

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

    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 Delicious Rank EERE:FinancingPetroleum12, 2015 Infographic courtesy of the White House.ChristopherWind Turbines

  8. ORISE: Applications being accepted for 2015 spring term of DOE's Science

    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 NewsInformationJesseworkSURVEY UNIVERSE The 2014 surveyNuclearHow toContactUndergraduate

  9. Required Items: Check deadlines for submission of all paperwork listed below. Deadlines

    E-Print Network [OSTI]

    Shahriar, Selim

    be found on the webpage http://www.tgs.northwestern.edu/academics/academic-services/calendar/ Application, click on "For Students" -> "TGS Forms" and navigate to "Application for Degree" online form PhD FinalQuest. The dissertation must conform to TGS formatting standards: http://www.tgs

  10. ACCEPTED MANUSCRIPT ACCEPTED MANUSCRIPT

    E-Print Network [OSTI]

    Colominas, Ignasi

    Construcciones, Punta del Este, Maldonado 20100, Uruguay Luis Fuentes García Departamento de Métodos Matemáticos

  11. Accept Reject Accept Reject

    E-Print Network [OSTI]

    Liskiewicz, Maciej

    . publication 420-012 Introduction Aquaculture, the practice of growing finfish and shell- fish under controlled America farmed fish for food and rec- reation prior to 2000 BC. They constructed ponds and raised fish much as fish are raised today. Both freshwa- ter and saltwater fish are currently raised commercially

  12. Assessment of national systems for obtaining local acceptance of waste management siting and routing activities

    SciTech Connect (OSTI)

    Paige, H.W.; Lipman, D.S.; Owens, J.E.

    1980-07-01

    There is a rich mixture of formal and informal approaches being used in our sister nuclear democracies in their attempts to deal with the difficulties of obtaining local acceptance for siting of waste management facilities and activities. Some of these are meeting with a degree of success not yet achieved in the US. Although this survey documents and assesses many of these approaches, time did not permit addressing in any detail their relevance to common problems in the US. It would appear the US could benefit from a periodic review of the successes and failures of these efforts, including analysis of their applicability to the US system. Of those countries (Germany, Sweden, Switzerland, Japan, Belgium, and the US) who are working to a time table for the preparation of a high-level waste (HLW) repository, Germany is the only country to have gained local siting acceptance for theirs. With this (the most difficult of siting problems) behind them they appear to be in the best overall condition relative to waste management progress and plans. This has been achieved without a particularly favorable political structure, made up for by determination on the part of the political leadership. Of the remaining three countries studied (France, UK and Canada) France, with its AVM production facility, is clearly the world leader in the HLW immobilization aspect of waste management. France, Belgium and the UK appear to have the least favorable political structures and environments for arriving at waste management decisions. US, Switzerland and Canada appear to have the least favorable political structures and environments for arriving at waste management decisions.

  13. Central Acceptance Testing for Camera Technologies for CTA

    E-Print Network [OSTI]

    Bonardi, A; Chadwick, P; Dazzi, F; Förster, A; Hörandel, J R; Punch, M

    2015-01-01

    The Cherenkov Telescope Array (CTA) is an international initiative to build the next generation ground based very-high energy gamma-ray observatory. It will consist of telescopes of three different sizes, employing several different technologies for the cameras that detect the Cherenkov light from the observed air showers. In order to ensure the compliance of each camera technology with CTA requirements, CTA will perform central acceptance testing of each camera technology. To assist with this, the Camera Test Facilities (CTF) work package is developing a detailed test program covering the most important performance, stability, and durability requirements, including setting up the necessary equipment. Performance testing will include a wide range of tests like signal amplitude, time resolution, dead-time determination, trigger efficiency, performance testing under temperature and humidity variations and several others. These tests can be performed on fully-integrated cameras using a portable setup at the came...

  14. A multi-scale approach to statistical and model-based structural health monitoring with application to embedded sensing for wind energy

    E-Print Network [OSTI]

    Taylor, Stuart Glynn

    2013-01-01

    rotor blade," Structural Health Monitoring, accepted 12-Novdeployed for structural health monitoring applications,"J. -R. Lee, "Structural health monitoring of research-scale

  15. 2014 NASA Planetary Science Summer School Applications Open NASA is accepting applications from science and engineering post-docs,

    E-Print Network [OSTI]

    Rathbun, Julie A.

    power system trade-offs, including the use of solar electric vs. Multi-mission Radioisotope Thermoelectric Generators (MMRTG). The session in August will have a targeted focus on spacecraft power systems

  16. VirginiaTech Freshman Application 1 Applications accepted from incoming freshmen only; transfers may not choose these

    E-Print Network [OSTI]

    Horticulture ENSC Environmental Science Aquatic Resources; Land Resources; Plant Resources;Waste Management FST Construction Construction & Design; Development, Real Estate, & Construction EPP Environmental Policy Computer Science CEM Construction Engineering and Management EE Electrical Engineering ESM Engineering

  17. 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

  18. 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

  19. Comparison of the Acceptability of Various Oil Shale Processes

    SciTech Connect (OSTI)

    Burnham, A K; McConaghy, J R

    2006-03-11

    While oil shale has the potential to provide a substantial fraction of our nation's liquid fuels for many decades, cost and environmental acceptability are significant issues to be addressed. Lawrence Livermore National Laboratory (LLNL) examined a variety of oil shale processes between the mid 1960s and the mid 1990s, starting with retorting of rubble chimneys created from nuclear explosions [1] and ending with in-situ retorting of deep, large volumes of oil shale [2]. In between, it examined modified-in-situ combustion retorting of rubble blocks created by conventional mining and blasting [3,4], in-situ retorting by radio-frequency energy [5], aboveground combustion retorting [6], and aboveground processing by hot-solids recycle (HRS) [7,8]. This paper reviews various types of processes in both generic and specific forms and outlines some of the tradeoffs for large-scale development activities. Particular attention is given to hot-recycled-solids processes that maximize yield and minimize oil shale residence time during processing and true in-situ processes that generate oil over several years that is more similar to natural petroleum.

  20. DOE to accept bids for Elk Hills crude

    SciTech Connect (OSTI)

    Not Available

    1992-05-04

    This paper reports that the Department of Energy will accept bids in a reoffering sale covering 53,400 b/d of Elk Hills field oil but later may exercise an option to cut sales volumes and ship 20,000 b/d to Strategic Petroleum Reserve sites in Texas. DOE rejected all 19 bids submitted in an earlier semiannual sale of crude oil from the California naval petroleum reserve, saying they were too low. DOE the, The unique combination of federal and state government policies affecting the movement of oil into and out of the California market has contributed to a situation in which it apparently is very difficult for the government to receive a price for Elk Hills oil that satisfies the minimum price tests that govern the sale of Elk Hills oil. The 12 winning bids in the reoffering sale averaged $13.58/bbl, with bids for the higher quality Stevens zone crude averaging $13.92/bbl, about 67 cents/bbl higher than bids rejected last month. DOE the 20,000 b/d is all local pipelines can ship to the interstate All-American pipeline for transfer to Texas beginning in June.

  1. ASHRAE Standard 62.2. Ventilation and Acceptable Indoor Air Quality...

    Energy Savers [EERE]

    ASHRAE Standard 62.2. Ventilation and Acceptable Indoor Air Quality in Low- Rise Residential Buildings - Building America Top Innovation ASHRAE Standard 62.2. Ventilation and...

  2. Systems acceptance and operability testing for rotary mode core sampling in flammable gas tanks

    SciTech Connect (OSTI)

    Corbett, J.E., Westinghouse Hanford

    1996-07-29

    This document provides instructions for the system acceptance and operability testing of the rotary mode core sampling system, modified for use in flammable gas tanks.

  3. Social Acceptance of Wind Power in the United States: Evaluating Stakeholder Perspectives (Poster)

    SciTech Connect (OSTI)

    Tegen, S.; Lantz, E.

    2009-05-01

    As the wind industry strives to achieve 20% wind energy by 2030, maintaining high levels of social acceptance for wind energy will become increasingly important. Wind Powering America is currently researching stakeholder perspectives in the U.S. market and reviewing findings from wind energy projects around the world to better understand social acceptance barriers. Results from European studies show that acceptance varies widely depending on local community values. A preliminary survey shows similar results in the United States. Further research will be conducted to refine our understanding of key social acceptance barriers and evaluate the best ways to mitigate negative perspectives on wind power.

  4. AcceptedPreprint Tissue Engineering and Delivery Systems Biotechnology and Bioengineering

    E-Print Network [OSTI]

    Yanikoglu, Berrin

    AcceptedPreprint 1 Tissue Engineering and Delivery Systems Biotechnology and Bioengineering DOI 10 Sciences, Sabanci University, Istanbul 34956, Turkey 2 Biological Sciences & Bioengineering, Faculty

  5. 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

  6. 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

  7. ISOLOK VALVE ACCEPTANCE TESTING FOR DWPF SME SAMPLING PROCESS

    SciTech Connect (OSTI)

    Edwards, T.; Hera, K.; Coleman, C.; Jones, M.; Wiedenman, B.

    2011-12-05

    Evaluation of the Defense Waste Processing Facility (DWPF) Chemical Process Cell (CPC) cycle time identified several opportunities to improve the CPC processing time. Of the opportunities, a focus area related to optimizing the equipment and efficiency of the sample turnaround time for DWPF Analytical Laboratory was identified. The Mechanical Systems & Custom Equipment Development (MS&CED) Section of the Savannah River National Laboratory (SRNL) evaluated the possibility of using an Isolok{reg_sign} sampling valve as an alternative to the Hydragard{reg_sign} valve for taking process samples. Previous viability testing was conducted with favorable results using the Isolok sampler and reported in SRNL-STI-2010-00749 (1). This task has the potential to improve operability, reduce maintenance time and decrease CPC cycle time. This report summarizes the results from acceptance testing which was requested in Task Technical Request (TTR) HLW-DWPF-TTR-2010-0036 (2) and which was conducted as outlined in Task Technical and Quality Assurance Plan (TTQAP) SRNL-RP-2011-00145 (3). The Isolok to be tested is the same model which was tested, qualified, and installed in the Sludge Receipt Adjustment Tank (SRAT) sample system. RW-0333P QA requirements apply to this task. This task was to qualify the Isolok sampler for use in the DWPF Slurry Mix Evaporator (SME) sampling process. The Hydragard, which is the current baseline sampling method, was used for comparison to the Isolok sampling data. The Isolok sampler is an air powered grab sampler used to 'pull' a sample volume from a process line. The operation of the sampler is shown in Figure 1. The image on the left shows the Isolok's spool extended into the process line and the image on the right shows the sampler retracted and then dispensing the liquid into the sampling container. To determine tank homogeneity, a Coliwasa sampler was used to grab samples at a high and low location within the mixing tank. Data from the two locations were compared to determine if the contents of the tank were well mixed. The Coliwasa sampler is a tube with a stopper at the bottom and is designed to obtain grab samples from specific locations within the drum contents. A position paper (4) was issued to address the prototypic flow loop issues and simulant selections. A statistically designed plan (5) was issued to address the total number of samples each sampler needed to pull, to provide the random order in which samples were pulled and to group samples for elemental analysis. The TTR required that the Isolok sampler perform as well as the Hydragard sampler during these tests to ensure the acceptability of the Isolok sampler for use in the DWPF sampling cells. Procedure No.L9.4-5015 was used to document the sample parameters and process steps. Completed procedures are located in R&D Engineering job folder 23269.

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

    E-Print Network [OSTI]

    De Rosnay, Melanie Dulong

    2012-01-01

    Molecular biology data are subject to terms of use that vary widely between databases and curating institutions. This research presents a taxonomy of contractual and technical restrictions applicable to databases in life science. It builds upon research led by Science Commons demonstrating why open data and the freedom to integrate facilitate innovation and how this openness can be achieved. The taxonomy describes technical and legal restrictions applicable to life science databases, and its metadata have been used to assess terms of use of databases hosted by Life Science Resource Name (LSRN) Schema. While a few public domain policies are standardized, most terms of use are not harmonized, difficult to understand and impose controls that prevent others from effectively reusing data. Identifying a small number of restrictions allows one to quickly appreciate which databases are open. A checklist for data openness is proposed in order to assist database curators who wish to make their data more open to make su...

  9. File:Temporary storage plan review check list.pdf | Open Energy Information

    Open Energy Info (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 QA:QAsource History View New Pages RecentTempCampApplicationWorksheet 2011.pdf Jump to: navigation, search File

  10. Energy Savings Tips on the Go: Check Out the New Energy Savers Mobile Site

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

    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 Delicious Rank EERE:FinancingPetroleum12, 2015 Infographic courtesyEducation DataMaySavingsApplications - Report|

  11. Application for Graduate AdmissionEDMONTON, ALBERTA, CANADA

    E-Print Network [OSTI]

    Machel, Hans

    Application for Graduate AdmissionEDMONTON, ALBERTA, CANADA Applying online and paying your by a non-refundable application fee of $100 Canadian (or equivalent US funds). The University of Alberta and stating the specific University of Alberta course the home university will accept for credit towards

  12. 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.

  13. Accepted Manuscript Superconductivity in Entirely End-bonded Multi-Walled Carbon Nanotubes

    E-Print Network [OSTI]

    Maruyama, Shigeo

    Accepted Manuscript Superconductivity in Entirely End-bonded Multi-Walled Carbon Nanotubes I, Superconductivity in Entirely End-bonded Multi-Walled Carbon Nanotubes, Physica C (2007), doi: 10.1016/ j.physc.2007 disclaimers that apply to the journal pertain. #12;ACCEPTED MANUSCRIPT Physica C 1 Superconductivity

  14. EU Gives Japan Until End-June to Accept Nuclear-Project Offer

    E-Print Network [OSTI]

    Print EU Gives Japan Until End-June to Accept Nuclear- Project Offer March 7 (Bloomberg) -- The European Union gave Japan until the end of June to accept an offer of a ``privileged partnership'' in a 4 must begin this year. The EU made the partnership offer in November to break a deadlock in which China

  15. LSPE Qualification and Flight Acceptance T /V Test Su.m..mary and Thermal Design

    E-Print Network [OSTI]

    Rathbun, Julie A.

    LSPE Qualification and Flight Acceptance T /V Test Su.m..mary and Thermal Design Final Report NO. ATM 1110 This ATM Summarizes the analytical and test results of the Lunar Seismic Profiling Experiment summarizes the Qualification and Flight Acceptance thermal vacuum testing programs and the third section

  16. Use of acceptable knowledge to demonstrate TRAMPAC compliance

    SciTech Connect (OSTI)

    Whitworth, J. (Julia); Becker, B. (Blair); Guerin, D. (David); Shokes, T. (Tamara)

    2004-01-01

    Recently, Los Alamos National Laboratory-Carlsbad Operations (LANL-CO) has supported the Central Characterization Project (CCP) managed by the U.S. Department of Energy (DOE) in the shipment of transuranic (TRU) waste from various small-quantity TRU waste generators to hub sites or other DOE sites in TRUPACT-II shipping containers. This support has involved using acceptable knowledge (AK) to demonstrate compliance with various requirements of Revision 19 of the TRUPACT-II Authorized Methods of Payload Compliance (TRAMPAC). LANL-CO has worked to facilitate TRUPACT-II shipments from the University of Missouri Research Reactor (MURR) and Lovelace Respiratory Research Institute (LRRI) to Argonne National Laboratory-East (ANL-E) and Los Alamos National Laboratory (LANL), respectively. The latter two sites have TRU waste certification programs approved to ship waste to the Waste Isolation Pilot Plant (WIPP) for disposal. In each case, AK was used to satisfy the necessary information to ship the waste to other DOE facilities. For the purposes of intersite shipment, AK provided data to WIPP Waste Information System (WWIS) transportation modules to ensure that required information was obtained prior to TRUPACT-II shipments. The WWIS modules were used for the intersite shipments, not to enter certification data into WWIS, but rather to take advantage of a validated system to ensure that the containers to be shipped were compliant with TRAMPAC requirements, particularly in the evaluation of quantitative criteria. LANL-CO also assisted with a TRAMPAC compliance demonstration for homogeneous waste containers shipped in TRUPACT-II containers from ANL-E to Idaho National Engineering and Environmental Laboratory (INEEL) for the purpose of core sampling. The basis for the TRAMPAC compliance determinations was AK regarding radiological composition, chemical composition, TRU waste container packaging, and absence of prohibited items. Also, even in the case where AK is not used to fully demonstrate TRAMPAC compliance, it may be used to identify problem areas for shippability of different waste streams. An example is the case of Pu-238-contaminated waste from the Savannah River Site that had a low probability of meeting decay heat limits and aspiration times due to several factors including large numbers of confinement layers. This paper will outline 17 TRAMPAC compliance criteria assessed and the types of information used to show compliance with all criteria other than dose rate and container weight, which are normally easily measured at load preparation.

  17. TRT meeting Feb 03 Pauline Gagnon Indiana University 1 Acceptance tests for barrel modules

    E-Print Network [OSTI]

    Gagnon, Pauline

    tension 90% 80% 100% stringing 80% 100% not tested HV checks 100% 20% not done HV conditioning in design 20% not done gain mapping designed 100% not done #12;TRT meeting ­ Feb 03 Pauline Gagnon ­ Indiana Circulate ventilation through 3 modules: type 1,2 3 Active gas in series through 2 modules of the same type

  18. Exemption from Application of the Service Contract Act -Certification UT-B Contracts Div Certain Services

    E-Print Network [OSTI]

    Exemption from Application of the Service Contract Act - Certification UT-B Contracts Div Certain OF THE SERVICE CONTRACT ACT ­ CERTAIN SERVICES ­ CERTIFICATION (Jan 2008) (a) The offeror shall check the Agreement will spend only a small portion of his or her time (a monthly average of less than 20 percent

  19. Personnel Administrator Steps for New Hires and Rehires Step 1: Meeting with applicants...

    E-Print Network [OSTI]

    Hammack, Richard

    information and the employee's consent (eConsent) to have a criminal records check completed; and (2) another (PA) reviews criminal conviction disclosure on eJobs application at the time of interview for job relatedness and initials next to criminal convictions section acknowledging this information has been reviewed

  20. Multi-discipline Waste Acceptance Process at the Nevada National Security Site - 13573

    SciTech Connect (OSTI)

    Carilli, Jhon T. [US Department Of Energy, Nevada Site Office, P. O. Box 98518, Las Vegas, Nevada 89193-8518 (United States)] [US Department Of Energy, Nevada Site Office, P. O. Box 98518, Las Vegas, Nevada 89193-8518 (United States); Krenzien, Susan K. [Navarro-Intera, LLC, P. O. Box 98952, Las Vegas, Nevada 89193-8952 (United States)] [Navarro-Intera, LLC, P. O. Box 98952, Las Vegas, Nevada 89193-8952 (United States)

    2013-07-01

    The Nevada National Security Site low-level radioactive waste disposal facility acceptance process requires multiple disciplines to ensure the protection of workers, the public, and the environment. These disciplines, which include waste acceptance, nuclear criticality, safety, permitting, operations, and performance assessment, combine into the overall waste acceptance process to assess low-level radioactive waste streams for disposal at the Area 5 Radioactive Waste Management Site. Four waste streams recently highlighted the integration of these disciplines: the Oak Ridge Radioisotope Thermoelectric Generators and Consolidated Edison Uranium Solidification Project material, West Valley Melter, and classified waste. (authors)

  1. NOTE: This list was prepared as a courtesy to assist students in finding local dentists who are: accepting new patients, accept Delta Dental, have hygiene services and are available for emergency care.

    E-Print Network [OSTI]

    California at Santa Cruz, University of

    NOTE: This list was prepared as a courtesy to assist students in finding local dentists who are: accepting new patients, accept Delta Dental, have hygiene services and are available for emergency care

  2. New cost structure approach in green buildings : cost-benefit analysis for widespread acceptance and long-term practice

    E-Print Network [OSTI]

    Wang, Zhiyong, S.M. Massachusetts Institute of Technology. Engineering Systems Division

    2013-01-01

    Although the concepts of sustainable building have been widely accepted in the market, there are unavoidable challenges toward widespread acceptance and long-term practice. Crossing green building development, there is ...

  3. Example Procedures for Developing Acceptance-Range Criteria for BESTEST-EX

    SciTech Connect (OSTI)

    Ron Judkoff, Ben Polly, Marcus Bianchi

    2010-08-01

    This document provides an example procedure for establishing acceptance-range criteria to assess results from software undergoing BESTEST-EX. This example method for BESTEST-EX is a modified version of the method described in HERS BESTEST.

  4. Predetermining acceptable noise limits in EXAFS spectra in the limit of stochastic noise

    E-Print Network [OSTI]

    Hu, Yung-Jin

    2010-01-01

    Predetermining acceptable noise limits of EXAFS spectrain the limit of stochastic noise Yung-Jin Hu 1 and Corwin H.The e?ect of stochastic noise on Extended X-ray Absorption

  5. This document explains the acceptable use of encryption for the UTHSC

    E-Print Network [OSTI]

    Cui, Yan

    information systems. Standards prescribed shall include information security standards that provide minimum information security requirements and are otherwise necessary to improve the security of federal information computers, thumbdrives, and portable devices. ITS Security February 7, 2011 #12;Acceptable Encryption Usage

  6. FUNDRAISING AND GIFT ACCEPTANCE University Policy No: ER4105 Classification: External Relations

    E-Print Network [OSTI]

    Victoria, University of

    1 FUNDRAISING AND GIFT ACCEPTANCE University Policy No: ER4105 Classification: External Relations.01 For Gifts-in-kind to the Library or to the University of Victoria Art Collection, authority may be delegated

  7. Acceptance Test Procedure for New Pumping and Instrumentation Control Skid L

    SciTech Connect (OSTI)

    KOCH, M.R.

    1999-10-11

    This Acceptance Test Procedure (ATP) provides for the inspection and testing of the new Pumping and Instrumentation Control (PIC) skid designed as ''L''. The ATP will be performed after the construction of the PIC skid in the shop.

  8. Accepted Manuscript Studying the sensitivity of the pollutants concentrations caused by

    E-Print Network [OSTI]

    Dimov, Ivan

    -based sensitivity analysis, Sobol' bal sensitivity indices, Air pollution modeling, Multidimensional numericalAccepted Manuscript Studying the sensitivity of the pollutants concentrations caused by variations. Georgieva, S. Ivanovska, T. Ostromsky, Z. Zlatev, Studying the sensitivity of the pollutants concentrations

  9. EA-0912: Urgent-Relief Acceptance of Foreign Research Reactor Spent Nuclear Fuel

    Office of Energy Efficiency and Renewable Energy (EERE)

    This EA evaluates the environmental impacts of a proposal to accept 409 spent fuel elements from eight foreign research reactors in seven European countries.  The spent fuel would be shipped across...

  10. Geologic Storage of carbon dioxide : risk analyses and implications for public acceptance

    E-Print Network [OSTI]

    Singleton, Gregory R. (Gregory Randall)

    2007-01-01

    Carbon Capture and Storage (CCS) technology has the potential to enable large reductions in global greenhouse gas emissions, but one of the unanswered questions about CCS is whether it will be accepted by the public. In ...

  11. An Exploratory Analysis of Sexual Violence and Rape Myth Acceptance at a Small Liberal Arts University

    E-Print Network [OSTI]

    Wiscombe, Karla Jane

    2012-08-31

    , Greek membership, athletic participation, and rape myth acceptance were analyzed to determine which factors contributed to the problem of sexual violence within this particular setting. Results indicate that sexual violence is a problem that warrants...

  12. Participant/assessor personality characteristics that influence feedback acceptance in developmental assessment centers 

    E-Print Network [OSTI]

    Bell, Suzanne Tamara

    2001-01-01

    The objective of the present study was to determine whether specified factors influenced the acceptance of feedback by participants (N = 113) in an operational developmental assessment center. Specifically, the relationship between participants...

  13. Acceptance Test Procedure for New Pumping Instrumentation and Control Skid T

    SciTech Connect (OSTI)

    KOCH, M.R.

    2000-05-18

    This Acceptance Test Procedure (ATP) provides for the inspection and testing Of the new Pumping Instrumentation and Control (PIC) skid designed as ''T''. The ATP will be performed after the construction of the PIC skid in the fabrication shop.

  14. Acceptance Test Procedure for New Pumping Instrumentation and Control Skid V

    SciTech Connect (OSTI)

    KOCH, M.R.

    2000-05-18

    This Acceptance Test Procedure (ATP) provides for the inspection and testing of the new Pumping Instrumentation and Control. (PIC) skid designed as ''V''. The ATP will be performed after the construction of the PIC skid in the fabrication shop.

  15. Acceptance and operability test report for the 327 building retention process sewer diverter station

    SciTech Connect (OSTI)

    Olander, A.R.

    1996-09-04

    This test report includes the results of acceptance and operability testing of the 327 building diverter station. The test included steps for flushing, calibrating, and operating the system on backup power.

  16. Acceptance {ampersand} operability test report for the 324 building retention process sewer diverter station

    SciTech Connect (OSTI)

    Olander, A.R.

    1996-09-04

    This test report includes the results of acceptance and operability testing of the 324 building diverter station. The test included steps for flushing, calibrating, and operating the system on backup power.

  17. Acceptance Test Procedure for New Pumping Instrumentation and Control Skid Q

    SciTech Connect (OSTI)

    KOCH, M.R.

    2000-03-27

    This Acceptance Test Procedure (ATP) provides for the inspection and testing of the new Pumping Instrumentation and Control (PIC) skid designed as ''Q''. The ATP will be performed after the construction of the PIC skid in the fabrication shop.

  18. Acceptance Test Procedure for New Pumping Instrumentation and Control Skid R

    SciTech Connect (OSTI)

    KOCH, M.R.

    2000-05-11

    This Acceptance Test Procedure (ATP) provides for the inspection and testing of the new Pumping Instrumentation and Control (PIC) skid designed as ''R''. The ATP will be performed after the construction of the PIC skid in the fabrication shop.

  19. Acceptance Test Procedure for New Pumping Instrumentation and Control Skid W

    SciTech Connect (OSTI)

    KOCH, M.R.

    2000-05-18

    This Acceptance Test Procedure (ATP) provides for the inspection and testing of the new Pumping Instrumentation and Control (PIC) skid designed as ''W''. The ATP will be performed after the construction of the PIC skid in the fabrication shop.

  20. Acceptance Test Procedure for New Pumping Instrumentation and Control Skid T

    SciTech Connect (OSTI)

    KOCH, M.R.

    2000-06-20

    This Acceptance Test Procedure (ATP) provides for the inspection and testing of the new Pumping Instrumentation and Control (PIC) skid designated as ''T''. The ATP will be performed after the construction of the PIC skid in the fabrication shop.

  1. Acceptance Test Procedure for New Pumping Instrumentation and Control Skid P

    SciTech Connect (OSTI)

    KOCH, M.R.

    2000-03-01

    This Acceptance Test Procedure (ATP) provides for the inspection and testing of the new Pumping Instrumentation and Control (PIC) skid designed as ''P''. The ATP will be performed after the construction of the PIC skid in the fabrication shop.

  2. Acceptance Test Procedure for New Pumping and Instrumentation Control Skid N

    SciTech Connect (OSTI)

    KOCH, M.R.

    1999-12-13

    This Acceptance Test Procedure (ATP) provides for the inspection and testing of the new Pumping and Instrumentation Control (PIC) skid designed as ''N''. The ATP will be performed after the construction of the PIC skid in the shop.

  3. Choosing the Summary Statistics and the Acceptance Rate in Approximate Bayesian

    E-Print Network [OSTI]

    Blum, Michael G. B.

    Choosing the Summary Statistics and the Acceptance Rate in Approximate Bayesian Computation or not. In this paper, I incorporate Approximate Bayesian Computation into a local Bayesian regression Computation, evidence approximation, empirical Bayes, Bayesian local regression 1 Introduction Approximate

  4. Reu le 1 octobre 2012 ; accept aprs rvision le 28 janvier 2013. Received 1 October 2012; accepted in revised form 28 January 2013.

    E-Print Network [OSTI]

    Borges, Rita

    ; accepted in revised form 28 January 2013. Cah. Biol. Mar. (2013) 54 : 359-364 The rediscovery of Caulerpa VARELA-ÁLVAREZ, Diogo Soares PAULO, Inês SOUSA and Ester Álvares SERRÃO Centro de Ciências do Mar, CCMAR to investigate the source of colonization and to verify the genetic identity, a partial cpDNA region (tufA gene

  5. Acceptance test report for the Tank 241-C-106 in-tank imaging system

    SciTech Connect (OSTI)

    Pedersen, L.T.

    1998-05-22

    This document presents the results of Acceptance Testing of the 241-C-106 in-tank video camera imaging system. The purpose of this imaging system is to monitor the Project W-320 sluicing of Tank 241-C-106. The objective of acceptance testing of the 241-C-106 video camera system was to verify that all equipment and components function in accordance with procurement specification requirements and original equipment manufacturer`s (OEM) specifications. This document reports the results of the testing.

  6. 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.

  7. Accepted Manuscript Data-driven Proxy at Hydraulic Fracture Cluster Level: A Technique for Efficient CO2-

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    Accepted Manuscript Data-driven Proxy at Hydraulic Fracture Cluster Level: A Technique., Mohaghegh, S., Esmaili, S., Data-driven Proxy at Hydraulic Fracture Cluster Level: A Technique for Efficient ACCEPTED ACCEPTED MANUSCRIPT 1 Data-driven Proxy at Hydraulic Fracture Cluster Level: A Technique

  8. DATE : NVLAP LAB CODE: NVLAP RADIATION DETECTION INSTRUMENTS APPLICATION (REV. 2011-05-16) PAGE 1 OF 4

    E-Print Network [OSTI]

    DATE : NVLAP LAB CODE: NVLAP RADIATION DETECTION INSTRUMENTS APPLICATION (REV. 2011-05-16) PAGE 1 OF 4 NVLAP RADIATION DETECTION INSTRUMENTS TEST METHOD SELECTION LIST Instructions: Check each test Criteria for Alarming Personal Radiation Detection for Homeland Security, Clause 6 ­ Radiological tests

  9. DATE : NVLAP LAB CODE: NVLAP EFFICIENCY OF ELECTRIC MOTORS APPLICATION (REV. 2013-06-11) PAGE 1 OF 1

    E-Print Network [OSTI]

    DATE : NVLAP LAB CODE: NVLAP EFFICIENCY OF ELECTRIC MOTORS APPLICATION (REV. 2013-06-11) PAGE 1 OF 1 EFFICIENCY OF ELECTRIC MOTORS TEST METHOD SELECTION LIST Instructions: Check each test method01* IEEE 112 Method B Test Procedure for Polyphase Induction Motors and Generators (for accreditation

  10. ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications

    E-Print Network [OSTI]

    Chrzaszcz, Jacek

    ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications Aleksy Schubert1 static checking tools like ESC/Java2 can be used to ensure source code security properties of Java is further accompanied by a presentation on how these threats can be controlled by JML specifications and ESC/Java

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. Development on inelastic analysis acceptance criteria for radioactive material transportation packages

    SciTech Connect (OSTI)

    Ammerman, D.J.; Ludwigsen, J.S.

    1995-12-31

    The response of radioactive material transportation packages to mechanical accident loadings can be more accurately characterized by non-linear dynamic analysis than by the ``Equivalent dynamic`` static elastic analysis typically used in the design of these packages. This more accurate characterization of the response can lead to improved package safety and design efficiency. For non-linear dynamic analysis to become the preferred method of package design analysis, an acceptance criterion must be established that achieves an equivalent level of safety as the currently used criterion defined in NRC Regulatory Guide 7.6 (NRC 1978). Sandia National Laboratories has been conducting a study of possible acceptance criteria to meet this requirement. In this paper non-linear dynamic analysis acceptance criteria based on stress, strain, and strain-energy-density will be discussed. An example package design will be compared for each of the design criteria, including the approach of NRC Regulatory Guide 7.6.

  20. WRAP low level waste restricted waste management (LLW RWM) glovebox acceptance test report

    SciTech Connect (OSTI)

    Leist, K.J.

    1997-11-24

    On April 22, 1997, the Low Level Waste Restricted Waste Management (LLW RWM) glovebox was tested using acceptance test procedure 13027A-87. Mr. Robert L. Warmenhoven served as test director, Mr. Kendrick Leist acted as test operator and test witness, and Michael Lane provided miscellaneous software support. The primary focus of the glovebox acceptance test was to examine glovebox control system interlocks, operator Interface Unit (OIU) menus, alarms, and messages. Basic drum port and lift table control sequences were demonstrated. OIU menus, messages, and alarm sequences were examined, with few exceptions noted. Barcode testing was bypassed, due to the lack of installed equipment as well as the switch from basic reliance on fixed bar code readers to the enhanced use of portable bar code readers. Bar code testing was completed during performance of the LLW RWM OTP. Mechanical and control deficiencies were documented as Test Exceptions during performance of this Acceptance Test. These items are attached as Appendix A to this report.

  1. UCSF RESIDENTS AND CLINICAL FELLOWS "INSURANCE ACTION FORM"

    E-Print Network [OSTI]

    Mullins, Dyche

    that the information entered in this application is complete and true, and I accept these terms. As a participant in UC a copy and enter enrollment in GME Insurance Database 1. ACTION: Check All appropriate boxes: Check: Department and Unit/Division: If Health Net, enter PCP "Enrollment ID" : ** 3. DEPENDENT INFORMATION: E

  2. Nevada Test Site Waste Acceptance Criteria (NTSWAC), Rev. 7-01

    SciTech Connect (OSTI)

    NSTec Environmental Management

    2009-05-01

    This document establishes the U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office, Nevada Test Site Waste Acceptance Criteria (NTSWAC). The NTSWAC provides the requirements, terms, and conditions under which the Nevada Test Site (NTS) will accept low-level radioactive waste and mixed low-level waste for disposal. The NTSWAC includes requirements for the generator waste certification program, characterization, traceability, waste form, packaging, and transfer. The criteria apply to radioactive waste received at the NTS Area 3 and Area 5 Radioactive Waste Management Complex for disposal.

  3. Laser applications

    SciTech Connect (OSTI)

    Edelson, M.C. )

    1989-11-01

    The breadth of current applications of laser technology is described. It is used as the basis for extrapolating to future application in such activities as AVLIS, SIS, ICP-MS, and RIMs.

  4. Application Programming

    E-Print Network [OSTI]

    Brass, Stefan

    16. Application Programming I (Embedded SQL, ODBC, JDBC) 16­1 Part 16: Application Programming I, ``Embedded SQL'', Chapter 5, ``Oracle JDBC''. . Michael Gertz: Oracle/SQL Tutorial, 1999. [http.5 Developer's Guide. McGraw­Hill, 1999. . SQL Server Books Online, ``Building SQL Server Applications''. . Art

  5. Application Programming

    E-Print Network [OSTI]

    Brass, Stefan

    17. Application Programming I (Embedded SQL, ODBC, JDBC) 17­1 Part 17: Application Programming I, ``Embedded SQL'', Chapter 5, ``Oracle JDBC''. . Michael Gertz: Oracle/SQL Tutorial, 1999. [http.5 Developer's Guide. McGraw­Hill, 1999. . SQL Server Books Online, ``Building SQL Server Applications''. . Art

  6. Applications of nanotechnology in water and wastewater treatment

    E-Print Network [OSTI]

    Alvarez, Pedro J.

    Applications of nanotechnology in water and wastewater treatment Xiaolei Qu, Pedro J.J. Alvarez Accepted 11 September 2012 Available online 26 March 2013 Keywords: Nanotechnology Nanomaterials Water. Nanotechnology holds great potential in advancing water and wastewater treatment to improve treatment efficiency

  7. Fuel cell power conditioning for electric power applications: a summary

    E-Print Network [OSTI]

    Tolbert, Leon M.

    Fuel cell power conditioning for electric power applications: a summary X. Yu, M.R. Starke, L.M. Tolbert and B. Ozpineci Abstract: Fuel cells are considered to be one of the most promising sources, multiple complications exist in fuel cell operation. Fuel cells cannot accept current in the reverse

  8. Biology and Marine Biology Research Areas and Assistantship Application

    E-Print Network [OSTI]

    Olszewski Jr., Edward A.

    1 Biology and Marine Biology Research Areas and Assistantship Application Name: LAST FIRST MIDDLE and Marine Biology faculty members will accept graduate students to work in the general research areas listed Next Page Revised 3/08 850 #12;2 Biology and Marine Biology Statement of Interest Statement of Interest

  9. Social Acceptance

    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 RoomPreservation ofAlbuquerque|Sensitive Species3performedValley | Department of Energy

  10. 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

  11. 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

  12. Accepted to appear in ACM/Baltzer Wireless Networks, 1999 Admission Control Algorithms for Cellular Systems

    E-Print Network [OSTI]

    Peha, Jon M.

    Page 1 Accepted to appear in ACM/Baltzer Wireless Networks, 1999 Admission Control Algorithms]), it is the network provider's responsibility to provide adequate Quality of Service (QoS) to all users. Two critical, the network may terminate the call prematurely when a handoff is attempted into a cell that has no capacity

  13. Development of Performance Acceptance Test Guidelines for Large Commercial Parabolic Trough Solar Fields: Preprint

    SciTech Connect (OSTI)

    Kearney, D.; Mehos, M.

    2010-12-01

    Prior to commercial operation, large solar systems in utility-size power plants need to pass a performance acceptance test conducted by the EPC contractor or owners. In lieu of the present absence of engineering code developed for this purpose, NREL has undertaken the development of interim guidelines to provide recommendations for test procedures that can yield results of a high level of accuracy consistent with good engineering knowledge and practice. The fundamental differences between acceptance of a solar power plant and a conventional fossil-fired plant are the transient nature of the energy source and the necessity to utilize an analytical performance model in the acceptance process. These factors bring into play the need to establish methods to measure steady state performance, potential impacts of transient processes, comparison to performance model results, and the possible requirement to test, or model, multi-day performance within the scope of the acceptance test procedure. The power block and BOP are not within the boundaries of this guideline. The current guideline is restricted to the solar thermal performance of parabolic trough systems and has been critiqued by a broad range of stakeholders in CSP development and technology.

  14. Accepted for the CASCON 2006: Dublin Symposium Dublin, Ireland, October 17, 2006

    E-Print Network [OSTI]

    Power, James

    and unit-testing classes in turn. We aug- ment this approach by using Object Relation Diagrams to define used them to define an order for inter-class testing, and we extend this to test-driven porting. OneAccepted for the CASCON 2006: Dublin Symposium Dublin, Ireland, October 17, 2006 Ensuring

  15. Technical Basis For Radiological Acceptance Criteria For Uranium At The Y-12 National Security Complex

    SciTech Connect (OSTI)

    Veinot, K. G.

    2009-07-22

    The purpose of this report is to establish radiological acceptance criteria for uranium. Other factors for acceptance not considered include criticality safety concerns, contaminants to the process stream, and impacts to the Safety Basis for the affected facilities. Three types of criteria were developed in this report. They include limits on external penetrating and non-penetrating radiation and on the internal hazard associated with inhalation of the material. These criteria are intended to alleviate the need for any special controls beyond what are normally utilized for worker protection from uranium hazards. Any proposed exceptions would require case-by-case evaluations to determine cost impacts and feasibility. Since Y-12 has set rigorous ALARA goals for worker doses, the external limits are based on assumptions of work time involved in the movement of accepted material plus the desire that external doses normally received are not exceeded, and set so that no special personnel monitoring would be required. Internal hazard controls were established so that dose contributions from non-uranium nuclides would not exceed 10% of that expected from the uranium component. This was performed using a Hazard Index (HI) previously established for work in areas contaminated with non-uranium nuclides. The radiological acceptance criteria for uranium are summarized in Table 1. Note that these limits are based on the assumption that radioactive daughter products have reached equilibrium.

  16. Accepted Manuscript Title: Advanced computational tools for pem fuel cell design

    E-Print Network [OSTI]

    Djilali, Ned

    and water management problems in a fuel cell, in design and optimization, in guiding experimentalAccepted Manuscript Title: Advanced computational tools for pem fuel cell design ­ Part 1.C. Sui, S. Kumar, N. Djilali, Advanced computational tools for pem fuel cell design ­ Part 1: Development

  17. Accepted Manuscript Using Small Angle Solution Scattering Data in Xplor-NIH Structure Calcula-

    E-Print Network [OSTI]

    Clore, G. Marius

    and wide angle X-ray and small angle neutron scattering for biomolecular structure calculation using and wide angle X-ray scattering (SAXS/WAXS) and small angle neutron scattering (SANS) data, on the otherAccepted Manuscript Using Small Angle Solution Scattering Data in Xplor-NIH Structure Calcula

  18. Preprint Article accepted to appear in The Library Quarterly Digital Library Archeology: A Conceptual

    E-Print Network [OSTI]

    Nicholson, Scott

    to a single type of virtual place ­ a digital library. The Digital Library Federation defines digital1 Preprint ­ Article accepted to appear in The Library Quarterly Digital Library Archeology: A Conceptual Framework for Understanding Library Use through Artifact-Based Evaluation Scott Nicholson

  19. Project W-320, backup: 1000 CFM portable exhausters acceptance for beneficial use

    SciTech Connect (OSTI)

    Nelson, O.D.

    1998-07-25

    This document is to identify the Project W-320 1000 CFM portable exhauster documentation required to be turned over from the Projects Organization to the Tank Farm Operations as part of the acceptance of the 1000 CFM portable exhausters for beneficial use.

  20. Test Report for Acceptance Test Procedure for Pumping and Instrumentation Control Skid ''K''

    SciTech Connect (OSTI)

    JOHNS, B.R.

    1999-10-28

    This is a Test Report for Acceptance Test Procedure (ATP) HNF-4276. This test report provides the results of the inspection and testing of the new Pumping and Instrumentation Control (PIC) skid designed as ''K''. The ATP was successfully completed. A copy of the completed ATP is in the Appendix of this document.