National Library of Energy BETA

Sample records for fpd pmcdp check

  1. Microsoft PowerPoint - Snippet 2.2 CPR IPMR FPD Quick Check 20140712 [Compatibility Mode]

    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 DeliciousMathematicsEnergyInterested Parties - WAPAEnergy May 28MarEnergy Microsoft 2provides a "Quick

  2. Check valve

    DOE Patents [OSTI]

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

    1999-08-24

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

  3. Check valve

    DOE Patents [OSTI]

    Upton, H.A.; Garcia, P.

    1999-08-24

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

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

  5. SC FPD 360 Mentoring | U.S. DOE Office of Science (SC)

    Office of Science (SC) Website

    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-effectWorkingLosThe 26thI D-NicholasReports andRobert N. Thorn, 1967RulonS&SS.SC

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

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

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

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

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

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

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

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

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

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

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

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

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

  19. OPEN SEASON CHECK LIST

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i nAand DOEDepartmentNew2008Group, Inc.Acquisition Guides OPAMAcquisition

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  14. Payroll Check Direct Deposit Authorization

    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 NewsInformationJesseworkSURVEYI/O StreamsParticipantsParties agreePattyPaulPay Chart |Payroll

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

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

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

    E-Print Network [OSTI]

    Basu, Samik

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

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

    E-Print Network [OSTI]

    Weber, David J.

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

  19. Model Checking for Managers Wil Janssen1

    E-Print Network [OSTI]

    Mauw, Sjouke

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

  20. Statistical Model Checking in Uppaal: Lets Practice

    E-Print Network [OSTI]

    David, Alexandre

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

  1. Current @ January 2012 RENEW CHECKED OUT ITEMS

    E-Print Network [OSTI]

    Wagner, Stephan

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

  2. Dynamic Testing of Check Valves William Rahmeyer

    E-Print Network [OSTI]

    Rahmeyer, William J.

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

  3. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

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

  4. Termination Checking with Types Strong Normalization for

    E-Print Network [OSTI]

    Abel, Andreas

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  5. Check Heat Transfer Surfaces | Department of Energy

    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 a lCaribElectricSouthApplying caulkChapter 9DesertVersion Sep

  6. Las Conchas Challenge Grant Fund checks awarded

    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 NewsInformationJesse Bergkamp Graduate studentScienceLaboratoryandBryan Curriculum VitaeLas

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  2. FPD's Perspective Photos - Los Alamos National Labratory - NISA |

    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: AlternativeCommunication3-EDepartmentExerciseCarbon Capture andthe bestof Energy

  3. FPD's Perspective Talking Points - Los Alamos National Labratory - NISA |

    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, 2015Executive Order14, 2011 CX-006821:forEnergyADVANCED FOSSILMay

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  9. Certifications and Professional Development | Department of Energy

    Office of Environmental Management (EM)

    Program (ACP) Project Management Career Development Program (PMCDP) Aviation Management Green Leases Executive Secretariat Energy Reduction at HQ Real Estate Approvals Documents...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  10. DEP Field Trip Check List | Argonne National Laboratory

    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 would like submit theCovalent Bonding Low-Cost Ground8 Gas Hydrate12/21/2012 Ref:DEGAS 2To

  11. Reality Check: Cheaper Batteries are GOOD for America's Electric Vehicle

    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 GasAdjustmentsShirleyEnergy AEnergyPresidentialThis 3-D renderingPartnership of theManufacturers |

  12. New Employee Check in Packet | The Ames Laboratory

    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 shinesSolar Photovoltaic(MillionNatureThousand Cubic| DepartmentREAC/TSNewNew

  13. Check Burner Air to Fuel Ratios | Department of Energy

    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 a lCaribElectricSouthApplying caulkChapter 9DesertVersion Sep 2011when

  14. Checking in on Solar Decathlon 2011 | Department of Energy

    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 a lCaribElectricSouthApplying caulkChapter 9DesertVersion SepOctober,

  15. Non-trivial checks of novel consistency relations (Journal Article) |

    Office of Scientific and Technical Information (OSTI)

    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 NaturalDukeWakefieldSulfateSciTech Connect Nanomechanical switch for|Connect Non-Large Hadronelectron

  16. Unitarity check in gravitational Higgs mechanism (Journal Article) |

    Office of Scientific and Technical Information (OSTI)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefieldSulfateSciTechtail.Theory of rare Kaon and(Conference)Connecteffect state.symmetry (Journal

  17. Unitarity check in gravitational Higgs mechanism (Journal Article) |

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effectWorking With WIPPfinalUnexpected Angular Dependence ofMeasuresPrincetonSciTech

  18. Tools for Viewing and Quality Checking ARM Data

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

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

  19. LCLS User Check-In Procedures | Linac Coherent Light Source

    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 would likeUniverseIMPACTThousand CubicResource and JobLCLS Operating Schedule AugustUser

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  16. Microsoft Word - Policy Flash_2010-02_Deputy_FPD_Certification...

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

    More Documents & Publications Microsoft Word - Fact Sheet Energy Speech 082508 FINAL.doc Microsoft Word - Policy Flash 2008-07.doc Microsoft Word - Policy Flash 2008-10.doc...

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

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

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

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

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

    E-Print Network [OSTI]

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Weiblen, George D

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

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

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

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

  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. RFEDSCHK User`s Manual (The RFEDS Lab Data Check routine), Environmental and Scientific Systems Information Resources: Version 1.00

    SciTech Connect (OSTI)

    Not Available

    1992-05-01

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

  18. DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS OF THE DOCUMENT IN IDM

    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 would like submit theCovalent Bonding Low-Cost Ground8 GasDEVELOPMENTS E P I I 1965 9Engineering

  19. DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS OF THE DOCUMENT IN IDM

    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 would like submit theCovalent Bonding Low-Cost Ground8 GasDEVELOPMENTS E P I I 1965

  20. DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS OF THE DOCUMENT IN IDM

    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 would like submit theCovalent Bonding Low-Cost Ground8 GasDEVELOPMENTS E P I I 1965Technical

  1. DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS OF THE DOCUMENT IN IDM

    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 would like submit theCovalent Bonding Low-Cost Ground8 GasDEVELOPMENTS E P I I 1965Technical29

  2. DISCLAIMER : UNCONTROLLED WHEN PRINTED - PLEASE CHECK THE STATUS OF THE DOCUMENT IN IDM

    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 would like submit theCovalent Bonding Low-Cost Ground8 GasDEVELOPMENTS E P I I 1965Technical2915

  3. Fight Fall Allergies and Save Energy by Checking Your HVAC System |

    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 GasAdjustmentsShirleyEnergy A plug-inPPLforLDRD Report to CongressApril 6, 2012CertificationManagement and

  4. Welcome to SSRL: User Check-In Procedures | Stanford Synchrotron Radiation

    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 ofDidDevelopmentat LENA|UpcomingVisit12/10/15Weekly Natural

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

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefieldSulfateSciTechtail.TheoryTuesday, August 10, 20102016 News Below are4B Drawings 4B Chamber INCITE

  6. FOR OFFICIAL USE ONLY FOR OFFICIAL USE ONLY CRIMINAL BACKGROUND CHECK INFORMATION

    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 NewsInformation Current HABFES OctoberEvan Racah Evan-5InformationValues613defaultONLY FOR

  7. End of Summer Check Up: How Did You Do? | Department of Energy

    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,Local GovernmentofVoltageEnergyEnergyWell, the end

  8. Idaho Workers Eager to Check Condition of Waste Moved to Cargo Containers

    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 nA Guide to TappingWORKof71Commercial Industrial SavingsDepartmentDecades Ago

  9. Check Out the New Alternative Fuel Station Locator | Department of Energy

    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 a lCaribElectricSouthApplying caulkChapter 9DesertVersion Sep Find

  10. Checking in on Our Council on Women and Girls' Mentoring Program |

    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 a lCaribElectricSouthApplying caulkChapter 9DesertVersion Sep

  11. V-156: Linux Kernel Array Bounds Checking Flaw Lets Local Users Gain

    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 GasAdjustmentsShirleyEnergyThe U.S.Lacledeutilities. The Economics of ElectricScripting Attacks |Elevated

  12. V-172: ISC BIND RUNTIME_CHECK Error Lets Remote Users Deny Service Against

    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 GasAdjustmentsShirleyEnergyThe U.S.Lacledeutilities. The Economics ofConduct Cross-Site Scripting Attacks

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

    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 would like submitKansasCommunitiesofExtransScientific User FacilityInnovation PortalFailure

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

    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 would like submitKansasCommunities EnergyU.S. DOE Office of99Saving Gift Ideas for| Department

  15. Checking Your Car's 4000 Welds is Serious Business. Scientists Just Made

    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 GasAdjustmentsShirleyEnergy A plug-in electric vehicle (PEV) charging station in Rhode Island. |Moreit Easier. |

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

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

  18. 16 2 2005 ~OE2 J ournal of Optoelectronics / Laser Vol. 16 No. 2 Feb. 2005 ~/ ITO ~ ` ... FPD --~ ^ 3 3

    E-Print Network [OSTI]

    Filters and Its Application to Flat2panel Displays MEN G Zhi2guo1 , PEN G Hua2jun2 , WU Chun2ya1 3 3 , L I J uan1 , XION G Shao2zhen1 , QIU Cheng2feng2 , L I J uan2juan2 , WAN G Wen2 , GUO Hai2cheng2 (1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

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

    2006-04-18

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

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

    E-Print Network [OSTI]

    A. Demichev; A. Kryukov; A. Rodionov

    2002-03-11

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

  16. 1. Go on top of the check-dam and survey the water-shed, i.e., the upstream part from which water ows into the storage.

    E-Print Network [OSTI]

    Sohoni, Milind

    TD 603 1. Go on top of the check-dam and survey the water-shed, i.e., the upstream part from which water ows into the storage. 2. What is the storage in the dam (in cu.m.)? 3. What is the length and depth of the dam? What is its structure and cost? How much time did it take to build the dam? 4. Where

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

    SciTech Connect (OSTI)

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

    2014-06-01

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

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

    SciTech Connect (OSTI)

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

    2014-06-01

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

  19. ABSTRACT -This paper presents a new design flow, FPD-SiMPA, and a set of techniques for synthesizing high-perfor-

    E-Print Network [OSTI]

    Pedram, Massoud

    modeling, custom wire load models, back annotation of calculated delays, statistical wire length estimation domains must be addressed in an integrated fashion. Huge business opportunities will be lost unless more and physical design worlds, the exact delay and area values for each solution (considering both gates and wires

  20. Measurement of biogenic sulfur emissions from soils and vegetation: Application of dynamic enclosure methods with Natusch filter and GC/FPD analysis

    E-Print Network [OSTI]

    Lamb, B; Westberg, H; Allwine, G; Bamesberger, L; Guenther, A

    1987-01-01

    CS2), dimethyl disulfide (DMDS), and higher molecular weightcontaining COS, CS2, DMS, and DMDS, but no HeS was passed24_+7%, DMS 73%+12%, and DMDS 49+__12%. We did not measure

  1. Visa Type Alien Number (If Applicable) FPd Which of the following categories best describes you? Response is voluntary. See notes on reverse side for explanation.

    E-Print Network [OSTI]

    Qiu, Weigang

    COLLEGE USE ONLY DIV FEE GRPADM CURRICULUM RESIDENCY STP YR MO Visa Type Alien Number (If of application . 3. Permanent residents of the United States will be required to present their Alien Registration

  2. Checking Potassium origin of new emission line at 3.5 keV with K XIX line complex at 3.7 keV

    E-Print Network [OSTI]

    Dmytro Iakubovskyi

    2015-07-17

    Whether the new line at ~3.5 keV, recently detected in different samples of galaxy clusters, Andromeda galaxy and central part of our Galaxy, is due to Potassium emission lines, is now unclear. By using the latest astrophysical atomic emission line database AtomDB v. 3.0.2, we show that the most prospective method to directly check its Potassium origin will be the study of K XIX emission line complex at ~3.7 keV with future X-ray imaging spectrometers such as Soft X-ray spectometer on-board Astro-H mission or microcalorimeter on-board Micro-X sounding rocket experiment. To further reduce the remaining (factor ~3-5) uncertainty of the 3.7/3.5 keV ratio one should perform more precise modeling including removal of significant spatial inhomogeneities, detailed treatment of background components, and further extension of the modeled energy range.

  3. Checking Potassium origin of new emission line at 3.5 keV with K XIX line complex at 3.7 keV

    E-Print Network [OSTI]

    Iakubovskyi, Dmytro

    2015-01-01

    Whether the new line at ~3.5 keV, recently detected in different samples of galaxy clusters, Andromeda galaxy and central part of our Galaxy, is due to Potassium emission lines, is now unclear. By using the latest astrophysical atomic emission line database AtomDB v. 3.0.2, we show that the most prospective method to directly check its Potassium origin will be the study of K XIX emission line complex at ~3.7 keV with future X-ray imaging spectrometers such as Soft X-ray spectometer on-board Astro-H mission or microcalorimeter on-board Micro-X sounding rocket experiment. To further reduce the remaining (factor ~3-5) uncertainty of the 3.7/3.5 keV ratio one should perform more precise modeling including removal of significant spatial inhomogeneities, detailed treatment of background components, and further extension of the modeled energy range.

  4. Living Well at the U of L -Contact Suzanne McIntosh, Wellness and Recognition Manager, at suzanne.mcintosh@uleth.ca, wellness@uleth.ca or 403-332-5217 to schedule a `Health Check for U' session. The sessions take 15 20 minutes for the screening (typicall

    E-Print Network [OSTI]

    Kienzle, Stefan W.

    .mcintosh@uleth.ca, wellness@uleth.ca or 403-332-5217 to schedule a `Health Check for U' session. The sessions take 15 ­ 20

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

  6. S00206010008 rock check dam

    E-Print Network [OSTI]

    ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! XY! Sandia Canyon 03-029 S-SMA-1.1 7.486 Acres JEMEZ DIAMOND ENIWETOK SIGMA GRABLE EMBUDO MANIAC

  7. UNIVERSITY OF WASHINGTON CHECK REQUEST

    E-Print Network [OSTI]

    Brown, Sally

    taxpayer identification numbers to payers who must report the payments to IRS. IRS uses the numbers a taxpayer identification number to a payer. Certain penalties also apply. U.S. Taxpayer ID Number 1099 Type

  8. UNIVERSITY OF WASHINGTON CHECK REQUEST

    E-Print Network [OSTI]

    Matrajt, Graciela

    performed to give taxpayer identification numbers to payers who must report the payments to IRS. IRS uses does not furnish a taxpayer identification number to a payer. Certain penalties also apply. U.S. Taxpayer ID Number** 1099 Type U.S. Citizen Non-Resident Alien Resident Alien 1. Vendor/Claimant Name 2. 3

  9. Unitarity check in gravitational Higgs mechanism Berezhiani,...

    Office of Scientific and Technical Information (OSTI)

    MODELS; PARTICLE MODELS; POSTULATED PARTICLES The effective field theory of massive gravity has long been formulated in a generally covariant way N. Arkani-Hamed, H. Georgi,...

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

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

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

  11. Natural Pipeline of America Check Presentation 

    E-Print Network [OSTI]

    Unknown

    2011-08-17

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

  12. Region Type Checking for Core-Java

    E-Print Network [OSTI]

    Chin, Wei Ngan

    Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept of regions was first ...

  13. 1) Buffer overflows 2) Baggy bounds checking

    E-Print Network [OSTI]

    permissions on those (ACL, Unix) · MAC: Mandatory Access Control · Objects are tagged (public, secret, top-secret) · Users are cleared to certain tags · Actions controlled by policies (secret -> public) #12;Capabilities

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

  15. Smog Check II Evaluation California Inspection and

    E-Print Network [OSTI]

    Denver, University of

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

  16. Saudi Arabia 2007/2008 Calibration Checks

    E-Print Network [OSTI]

    Delene, David J.

    above 50 # cm-3 . #12;Mali, West Africa The 1 Hz cloud droplet concentration at standard temperature and pressure versus pressure altitude for all Mali 2006 (Top-Blue) and Mali 2007 (Bottom-Red) measurements Saudi W08 554319 191113 62Top Mali 2007 417255 13678 56Top Mali 2006 623388 227119 62Bottom Mali

  17. Automatic Symmetry Detection Techniques for Model Checking

    E-Print Network [OSTI]

    Donaldson, A.F.; Proceedings of Postgraduate Research Conference in Electronics, Photonics, Communications & Networks, and Computing Science (PREP'05), Lancaster pp 138-139 [More Details

    Donaldson,A.F. Proceedings of Postgraduate Research Conference in Electronics, Photonics, Communications & Networks, and Computing Science (PREP'05), Lancaster pp 138-139

  18. Transfer Studen Checklis Admissio t UWM

    E-Print Network [OSTI]

    Saldin, Dilano

    choose to park at UWM's off-campus parking lot and take a free shuttle to campus. Contac th Career Develo

  19. Check out updated guidelines and new

    E-Print Network [OSTI]

    and other marine wildlife in their natural environment can be a thrilling experience. In our excitement, we protect our spectacular marine resources. Be Whale Wise ­ Follow these guidelines and local laws Hotline (WA state): hotline@whalemuseum.org or 1-800-562-8832 Orca Network (WA state) info

  20. Automatic Stability Checking for Large Analog Circuits 

    E-Print Network [OSTI]

    Mukherjee, Parijat 1985-

    2010-12-06

    Small signal stability has always been an important concern for analog designers. Recent advances such as the Loop Finder algorithm allows designers to detect and identify local, potentially unstable return loops without ...

  1. S005B06010004 rock check dam

    E-Print Network [OSTI]

    JEMEZ ENIWETOK MANIAC CRAY S andia Canyon MAP: S005B-13-0006-06-S3.53 TYPE: REGULAR GIS: Shannon Smith

  2. Check for chirality in {sup 102}Rh

    SciTech Connect (OSTI)

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

    2012-10-20

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

  3. Template:RRHealthCheck | 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| Open Energy Information Serbia-EnhancingEt Al., 2013) | Opensource History View New PagesTemplate Edit Historysource

  4. ClimateCHECK | 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:QA J-E-1 SECTIONRobertsdale, Alabama (Utility Company) Jump to:NewMinnesota:Protection

  5. DEP Field Trip Check List | Argonne National Laboratory

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

    Center and activate flasher lights. Smaller vehicles may enter and park in the parking lot. All adults and those age 16 and over must enter Building 224 and present a photo...

  6. Typability and Type Checking in the Second-Order -Calculus

    E-Print Network [OSTI]

    , and the bound occurrences of x. We denote by FV(M) and BV(M) the sets of free and bound object variables in M

  7. Typability and Type Checking in the SecondOrder Calculus

    E-Print Network [OSTI]

    by the symbol â??, and the bound occurrences of x. We denote by FV(M) and BV(M) the sets of free and bound object

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

    E-Print Network [OSTI]

    Devlin, Patrick M

    2015-08-22

    Course Materials. • Go to the MA 15300 website and read through all the course materials. • It is your responsibility to know all the course policies and ...

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

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

    design drawing adapted to the real TF inboard environment. The technique of spot welding positioning, fixation by gluing, clamping of panel through uniform applied pressure...

  10. Using Probabilistic Model Checking for Dynamic Power Management

    E-Print Network [OSTI]

    Norman, Gethin

    pertaining to buffer sizes, delays, energy usage etc., for each derived strategy. Comparison of various , Marta Kwiatkowska1 , Sandeep Shukla2 , and Rajesh Gupta3 1 School of Computer Science, University of Birmingham Birmingham B15 2TT, United Kingdom 2 Bradley School of Electrical and Computer Engineering

  11. Checking Beliefs in Dynamic Networks Nuno P. Lopes

    E-Print Network [OSTI]

    Rajamani, Sriram K.

    Network Optimized Datalog (NoD) as a tool for network verification in which both the specifica- tion language and modeling languages are Datalog. NoD can also scale to large to large header spaces because of a new filter-project operator and a symbolic header rep- resentation. As a consequence, NoD allows

  12. A framework for the checking and refactoring of crosscutting concepts

    E-Print Network [OSTI]

    Shonle, Macneil Charles

    2009-01-01

    89 third symposium on Software testing, analysis, and veri?Automating software analysis and testing us- ing a programsoftware development should include tools for pattern testing,

  13. Scalable Model Checking Beyond Safety - A Communication Fabric Perspective

    E-Print Network [OSTI]

    Ray, Sayak

    2013-01-01

    like Petri nets [Murata, 1989] and data-flow networks [Petri nets CHAPTER 3. FORMAL MODEL FOR COMMUNICATION FABRICS and data-flow networks.

  14. New pemex agency, smog checks greet Mexican LPG vehicle users

    SciTech Connect (OSTI)

    Not Available

    1992-10-01

    This paper reports that the relaxation of prohibitions on the use of propane as a motor fuel has spurred sizeable business activity in carburetion and higher demand for LPG throughout Mexico and particularly in Mexico City. However, a number of unforeseen problems have developed that required tough, immediate solutions. After the alternative fuels project began at city hall in Mexico City, publicity spread nationwide, reportedly spurring conversion activity in many other cities. That led to additional demand for fuel of a magnitude that few people had anticipated. In order to assume control of the situation, the national oil company, Pemex, established an official LPG Motor Fuel Department on June 1. Operating in conjunction with the Ministry of Industry, the new department has been busy registering every major propane-powered fleet in the country. Most important, the rate of conversion work must now be pegged to the availability of fuel. It is believed that conversion activity has become more evenly paced since the new Pemex agency took over.over.

  15. Model Checking FTA A. Thums and G. Schellhorn

    E-Print Network [OSTI]

    Reif, Wolfgang

    , that it is based on informal grounds, so safety flaws may be overlooked. This is an issue, where formal proofs can for software based, critical systems like aerospace, nuclear power plants, transportation, and medical control level hazards to failures of components, called (failure) events. The events are connected through gates

  16. Model Checking Driven Simulation of Sat Procedures Giovanni Verzino,

    E-Print Network [OSTI]

    Tronci, Enrico

    and then maintaining it from the ground control facility is a big financial endeavor. When orbiting, satellites are controlled from the ground by means of satellite Operational Procedures (OPs), executed by human operators or by a computer (on-board procedures). Typically OPs are mission critical systems since their failure may entail

  17. Verification of Parallel Garbage Collection by Abstract Model Checking

    E-Print Network [OSTI]

    Hagiya, Masami

    Hagiya (corresponding author) 1 , Koichi Takahashi 2 1 Department of Information Science, Graduate School

  18. Instruction Guide Paying Vendors: Checking Vouchers for Errors

    E-Print Network [OSTI]

    Watson, Craig A.

    the Pay Terms on the voucher · Changing the Vendor or Vendor address · Vouchering a PO that have receipts by using the Find an Existing Voucher search page that will display the original voucher page. To navigate on Regular Entry, and then click on the Find an Existing Value tab a. Enter your Voucher ID number and click

  19. Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

    E-Print Network [OSTI]

    David, Alexandre

    ­ when the system is schedulable. The methods are demonstrated on a complex satellite software system yielding new insights useful for the company. 1 Introduction Embedded systems involve the monitoring in a resource constrained manner in terms of for example memory, processing power, band- width, energy

  20. Smog Check II Evaluation Part I: Background Information

    E-Print Network [OSTI]

    Denver, University of

    ________________________________________13 5.4. Vehicles Included _____________________________________________________13 5.5. Number of Cars Fits into Federal and State Air Pollution Policy 28 6.1. Federal Statutory and Regulatory Framework _______________________________28 6.2. Administration of California Air Pollution Policy ____________________________28 6.3. Federal

  1. Secretary Chu Visits Russian Seaport, Checks Out Second Line...

    Energy Savers [EERE]

    for me? The Second Line of Defense program cracks down on nuclear smuggling by installing radiation detection equipment at ports, border crossings and airports around the world....

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

    E-Print Network [OSTI]

    Thirumalai, Devarajan

    . _______ Have the locations of the Hazardous Waste Wall Chart and Hazardous Waste Manual been identified in the laboratory? 2. _______ Has the PI/Lab Supervisor discussed all hazardous components of the research? a care providers of the hazardous substances used in the laboratory during each medical visit? 5

  3. Background/Criminal History Check Disclosure Notice and Release Authorization

    E-Print Network [OSTI]

    Tullos, Desiree

    *Please attach a copy of your official photo ID with this completed release* Page 1 of 2 09/2014 Office separate notification that the position is of a critical or security-sensitive nature pursuant to OSU of your official photo ID with this completed release* Page 2 of 2 09/2014 Office of Human Resources

  4. Algorithms for Software Model Checking: Predicate Abstraction vs. IMPACT

    E-Print Network [OSTI]

    Beyer, Dirk

    - polants [20] is another approach, which is implemented in the tools IMPACT, WOLVERINE [24], and UFO [3

  5. Alberta researchers use high tech tools for climate health checks

    E-Print Network [OSTI]

    Wang, Hao "Howard"

    and Mexico. There's an enormous amount of important information available to help understand some://calgaryherald.com/technology/techyou/albertaresearchersusehightechtoolsforclimatehealthchecks Sophisticated sensors, solar power sources and wireless communication networks allow climate researchers

  6. Plant Diagnosis Form Check all that apply: Client Information

    E-Print Network [OSTI]

    Ma, Lena

    refridgerated after collection until they are submitted. After collecting good samples, do not ruin them

  7. A framework for the checking and refactoring of crosscutting concepts

    E-Print Network [OSTI]

    Shonle, Macneil Charles

    2009-01-01

    Stroustrup. The C++ Programming Language. Addison-Wesley,used Eclipse before, and programming languages known. Grouphave a choice of programming languages, and thus choose the

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

    SciTech Connect (OSTI)

    Judkoff, R.

    1993-11-01

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

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

  10. Duke Energy Florida- Home Energy Check Audit and Rebate Program

    Broader source: Energy.gov [DOE]

    Upon request, Duke Energy Florida will perform a free home energy inspection. To qualify for one or all of the rebates, measures must be recommended during the inspection. Eligible equipment and...

  11. Student Project Model Checking of a Closed-Loop

    E-Print Network [OSTI]

    (PCA) infusion pump. They have also implemented a failure scenario where the safety of the patient.2 Model Descriptions . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.2.1 PCA Infusion Pump such as infusion pumps can affect the patient'

  12. Model Checking the Java Metalocking Iowa State University

    E-Print Network [OSTI]

    Basu, Samik

    and lockout at the metalock level. We also show that, while the monitor-lock level of the protocol preserves mutual exclusion and deadlock-freedom, it is not lockout-free because the protocol's designers chose

  13. Check Burner Air to Fuel Ratios; Industrial Technologies Program...

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

    radiant tubes. For the fuels most commonly used by U.S. industry, including natural gas, propane, and fuel oils, approximately one cubic foot of air is required to release about...

  14. Motion Planning with Sequential Convex Optimization and Convex Collision Checking

    E-Print Network [OSTI]

    Patil, Sachin

    3D-printed implants for intracavitary brachytherapy. Details, videos, and source code is freely trajectories, and (f) optimized layout for bounded curvature channels within 3D-printed vaginal implants

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

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

    to provide part of the radiation shield of the NB H&CD system. Page 6 of 13 Figure 3: DNB Passive Magnetic Shield Mechanical engineering services are needed to validate the DNB PMS...

  16. Check list for new CNLD members updated 4 September 2014

    E-Print Network [OSTI]

    . #12;Research web pages: each member should write a research description for the CNLD web pages. See email for instructions on how to access your homepage. Also look at "How to update personal pages" on the "Members" page at chaos.utexas.edu Computer related issues: see the IT committee member who represents your

  17. Pluggable type-checking for custom type qualifiers in Java

    E-Print Network [OSTI]

    Papi, Matthew M.

    2007-09-17

    We have created a framework for adding custom type qualifiers to the Javalanguage in a backward-compatible way. The type system designer definesthe qualifiers and creates a compiler plug-in that enforces theirsemantics. ...

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

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

    rig. This Technical Specification defines the technical requirement for the design, manufacture, supply and delivery of a Large Seal Test Rig for that purpose. IDM UID R7WQNK...

  19. Type Checking Type Classes Tobias Nipkow and Christian Prehofer

    E-Print Network [OSTI]

    . The judgement : fC1 ::: Cng is a compact form of the conjunction : C1 ^ ::: ^ : Cn. Alternatively we may think of fC1 ::: Cng as a notation for C1 \\ :::\\ Cn, the intersection of the types belonging to the classes C

  20. Automatic Symmetry Detection for Model Checking Using Computational Group Theory

    E-Print Network [OSTI]

    Donaldson, A.F.; Miller, A.

    Donaldson,A.F. Miller,A. Proceedings of the 13th International Symposium on Formal Methods Europe (FME 2005). Lecture Notes in Computing Science volume 3582. pp 481--496 Springer

  1. New Move In Check List Move In Day

    E-Print Network [OSTI]

    Subramanian, Venkat

    -342-1000 www.ameren.com Laclede Gas 314-621-6960 www.lacledegas.com Charter Communications1-888-438-2427 www by insurance. Storage: Quadrangle does not provide additional storage. Please limit what you bring. If you need storage, contact a local storage company. #12;

  2. Static Contract Checking for Haskell University of Cambridge

    E-Print Network [OSTI]

    Xu, Dana N.

    verification techniques have been applied to imperative and object­oriented languages, like Java and C describe a sound and automatic static verification framework for Haskell, that is based on contracts for functional languages [38, 12, 21, 20, 16]. In this paper, we present a sound and automatic method for static

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

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

    You Didn't Know About Electric Vehicles Zero to 60 in under five seconds. Concept to reality in just six weeks. Photo Gallery: 3D Printing Brings Classic Shelby Cobra to Life...

  4. ES&H Safety Walk Around Check List

    E-Print Network [OSTI]

    Knowles, David William

    ) used in a compliant manner? Are space heaters provided with tip-over switch, as well as grounded with interlocks have an interlock testing log or other document? Are all cords and cables bundled and protected that is readily available in the area? Are pressure vessels appropriately designed (reviewed by EH&S and

  5. Testing general relativity with gravitational waves: a reality check

    E-Print Network [OSTI]

    Michele Vallisneri

    2012-10-05

    The observations of gravitational-wave signals from astrophysical sources such as binary inspirals will be used to test General Relativity for self consistency and against alternative theories of gravity. I describe a simple formula that can be used to characterize the prospects of such tests, by estimating the matched-filtering signal-to-noise ratio required to detect non-General-Relativistic corrections of a given magnitude. The formula is valid for sufficiently strong signals; it requires the computation of a single number, the fitting factor between the General-Relativistic and corrected waveform families; and it can be applied to all tests that embed General Relativity in a larger theory, including tests of individual theories such as Brans-Dicke gravity, as well as the phenomenological schemes that introduce corrections and extra terms in the post-Newtonian phasing expressions of inspiral waveforms. The formula suggests that the volume-limited gravitational-wave searches performed with second-generation ground-based detectors would detect alternative-gravity corrections to General-Relativistic waveforms no smaller than 1-10% (corresponding to fitting factors of 0.9 to 0.99).

  6. Model Checking: Software and Beyond Edmund M. Clarke, Flavio Lerda

    E-Print Network [OSTI]

    Clarke, Edmund M.

    structure M is an infinite sequence of states = s0, s1, . . . such that s0 I and, for every i 0, (si, si+1) R. Given a path , i indicates the infinite path si, si+1, . . . and (i) indicates si. We assume. For exam- ple, the Kripke structure in Figure 1 has four states S0, S1, S2, and S3, corresponding

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

    E-Print Network [OSTI]

    Lettrich, Michael

    2015-01-01

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

  8. Synchronous Closing of Timed SDL Systems for Model Checking

    E-Print Network [OSTI]

    Sidorova, Natalia

    the model from a piece of software? additional techniques: 1. abstraction: (a) data abstraction: replace concrete domains by finite, abstract ones (b) control abstraction, i.e., add non-determinism 2. system solutions 1. one-valued data abstraction ¢¡ no external data 2. three-valued timer abstraction 3

  9. Reality Check: Cheaper Batteries are GOOD for America's Electric...

    Energy Savers [EERE]

    of Energy has issued for electric vehicle manufacturing. The story says that the price of advanced batteries for electric vehicles is rapidly declining. That's true. And...

  10. Check it out! -1 -| P a g e

    E-Print Network [OSTI]

    that people continue to suffer from famine, that water, food, land and air are continuously being contaminated...........................................................................................................3 Food....................................................................................................................8 Waste

  11. Abstraction and refinement for model checking inconsistent systems

    E-Print Network [OSTI]

    Huth, Michael

    . In particular, they can guide us in settling design questions such as the semantics of negation machinery. Such machinery is fairly well understood in analyzing consistent systems, but needs

  12. A framework for the checking and refactoring of crosscutting concepts

    E-Print Network [OSTI]

    Shonle, Macneil Charles

    2009-01-01

    Engineering (Dubrovnik, Croatia, September 03–07, 2007).Engineering (Dubrovnik, Croatia, Septem- ber 03–07, 2007).Engineering (Dubrovnik, Croatia, September 03–07, 2007).

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

  14. Computing Biological Model Parameters by Parallel Statistical Model Checking

    E-Print Network [OSTI]

    Tronci, Enrico

    of Treatments for Infertility Related Endocrinological Diseases, 600773). #12;patient-specific model parameters

  15. File:OperatingPermitCheckList.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 Recent Changes AllApschem.pdfgasp

  16. Progress Energy Florida - Home Energy Check Audit and Rebate Program |

    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 Bills andOrderNATIONALofDefine Review Purpose50 CHAPTER 42SavannahDepartment

  17. Energy Management System Implementation … Do and Check

    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 Data JamDepartment2doesW3-3 Advanced

  18. check list for those with one abnormal BeLPT

    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 DeliciousMathematics And Statistics » USAJobsMotion to Withdraw | Department ofMay 201455a Multi-User491 SPECIALCHECK

  19. PIA - Positive Pay and Check Reconciliation (POSPAY) | Department of Energy

    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: Alternative Fuelsof EnergyAprilEnergy EEREPlateau Training System PIA - Plateau

  20. Hurricane Emergency Startup Actions June 24, 2014 Check on conditions in Animal Care and check/fill dewars (if required) (SOM) 1

    E-Print Network [OSTI]

    &F) 14 4 CSRB - Animal Care starts operations (full operations appx six hours after MEB boiler started Boiler (P&F) 26 LEC - Unlock all exits and gates (P&F) 27 LEC - Remove Door Dams (P&F) 28 6 LEC - Start RESIDENCE HALL - Start domestic hot water boiler (P&F) 43 STANISLAUS HALL - Unlock all exits and gates (P

  1. Department Check-list for Departing Employees This check-list is not exhaustive nor required, but is intended to help departments

    E-Print Network [OSTI]

    ) Department Updates Web site information Directory information Organization charts Name plates Emergency

  2. Sunday, June 13, 2010 Arrival and hotel check-in (Shilla Hotel and The Suites Hotel)

    E-Print Network [OSTI]

    -in and poster setup at ICC (3F Halla Hall Lobby) Networking (Coffee and tea will be served) ICC restaurants also:50 ­ 18:20 Opening Plenary Lecture (Chair: Sang Yup Lee, KAIST, Korea) KOREAN GREEN GROWTH INITIATIVE Sang

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

    Broader source: Energy.gov [DOE]

    Yesterday I wrote about my experience using a digital electrical meter at home. Today I'll discuss what I'm doing with promoting their use in my home town.

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

    DOE Patents [OSTI]

    Ohmacht, Martin

    2013-09-10

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

  5. Evaluation of Heat Checking and Washout of Heat Resistant Superalloys and Coatings for Die inserts

    SciTech Connect (OSTI)

    David Schwam; John F. Wallace; Yulong Zhu; Edward Courtright; Harold Adkins

    2005-01-30

    This project had two main objectives: (1) To design, fabricate and run a full size test for evaluating soldering and washout in die insert materials. This test utilizes the unique capabilities of the 350 Ton Squeeze Casting machine available in the Case Meal Casting Laboratory. Apply the test to evaluate resistance of die materials and coating, including heat resistant alloys to soldering and washout damage. (2) To evaluate materials and coatings, including heat resistant superalloys, for use as inserts in die casting of aluminum alloys.

  6. ModelChecking Infinite StateSpace Systems with FineGrained Abstractions Using SPIN

    E-Print Network [OSTI]

    Chechik, Marsha

    . Predicate abstraction, introduced by Graf and Saidi [GS97], is a form of abstraction specified as a number

  7. Under consideration for publication in Formal Aspects of Computing Using Probabilistic Model Checking

    E-Print Network [OSTI]

    Norman, Gethin

    probabilistically quantified properties pertaining to buffer sizes, delays, energy usage etc., for each derived and Rajesh Gupta3 1School of Computer Science, University of Birmingham, Birmingham, UK 2Bradley Department). In this paper, we focus on the latter. Dynamic power management (DPM) is a way to save energy in devices which

  8. Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs

    E-Print Network [OSTI]

    Kent, University of

    and Tomas Kalibera Distributed Systems Research Group, Department of Software Engineering, Faculty in a timely manner. This is the case, for example, of software in control systems in vehicles (cars, aircrafts are violations of temporal safety and liveness properties and also concurrency errors (e.g., deadlocks and race

  9. Checking the Reliability of a Linear-Programming based Approach towards

    E-Print Network [OSTI]

    Chen, Bill

    for single edge deletion and insertion, it was proposed in [7] to introduce a one-parameter family LPG an edge. It was shown that, for all large values of s, the LP problem LPG(s) has a unique solution that: The smallest value s = s (G) among all s 1 for which the corresponding problem LPG(s ) 2 #12;has, at least

  10. State-based Coverage Analysis and UML-driven Equivalence Checking for C++ State Machines

    E-Print Network [OSTI]

    Ould Ahmedou, Mohameden

    which states have been covered by unit, system and integration tests. Furthermore, the approach provides Introduction In the area of safety-critical hardware-depended software (SCHDS) like automation and engine controllers, avionics or medical devices, it is necessary to follow heavy-weight development processes (HWP

  11. A framework to create customised LHC analyses within CheckMATE

    E-Print Network [OSTI]

    Jong Soo Kim; Daniel Schmeier; Jamie Tattersall; Krzysztof Rolbiecki

    2015-06-02

    Checkmate is a framework that allows the user to conveniently test simulated BSM physics events against current LHC data in order to derive exclusion limits. For this purpose, the data runs through a detector simulation and is then processed by a user chosen number of experimental analyses. These analyses are all defined by signal regions that can be compared to the experimental data with a multitude of statistical tools. Due to the large and continuously growing number of experimental analyses available, users may quickly find themselves in the situation that the study they are particularly interested in has not (yet) been implemented officially into the Checkmate framework. However, the code includes a rather simple framework to allow users to add new analyses on their own. This document serves as a guide to this. In addition, Checkmate serves as a powerful tool for testing and implementing new search strategies. To aid this process, many tools are included to allow a rapid prototyping of new analyses.

  12. Health, safety, and environmental risks from energy production: A year-long reality check

    SciTech Connect (OSTI)

    Oldenburg, C.M.

    2011-04-01

    Large-scale carbon dioxide capture and storage (CCS) offers the benefit of reducing CO{sub 2} emissions and thereby mitigating climate change risk, but it will also bring its own health, safety, and environmental risks. Curtis M. Oldenburg, Editor-in-Chief, considers these risks in the context of the broader picture of energy production. Over the last year, there have been major acute health, safety, and environmental (HSE) consequences related to accidents involving energy production from every major primary energy source. These are, in chronological order: (i) the Upper Big Branch (coal) Mine disaster, (ii) the Gulf of Mexico Macondo (oil) well blowout, (iii) the San Bruno (natural gas) pipeline leak and explosion, and (iv) the Fukushima (nuclear) reactor radioactivity releases. Briefly, the Upper Big Branch Mine disaster occurred in West Virginia on April 5, 2010, when natural methane in the mine ignited, causing the deaths of 29 miners, the worst coal mine disaster in the USA since 1970. Fifteen days later, the Macondo oil well in the Gulf of Mexico suffered a blowout, with a gas explosion and fire on the floating drilling platform that killed 11 people. The oil and gas continued to flow out of the well at the seafloor until July 15, 2010, spilling a total of approximately 5 million barrels of oil into the sea. On September 9, 2010, a 30-inch (76-cm) buried, steel, natural gas pipeline in San Bruno, California, leaked gas and exploded in a residential neighborhood, killing 8 people in their homes and burning a total of 38 homes. Flames were up to 1000 ft (300 m) high, and the initial explosion itself reportedly measured 1.1 on the Richter scale. Finally, on March 11, 2011, a magnitude 9.0 earthquake off the coast of Japan's main island, Honshu, caused a tsunami that crippled the backup power and associated cooling systems for six reactor cores and their spent fuel storage tanks at the Fukushima nuclear power plant. At time of writing, workers trying to bring the crisis under control have been exposed to dangerous levels of radiation, and radioactive water and particulates have been released to the sea and atmosphere. These four disasters, all of which occurred within the past 12 months, were not unprecedented; similar events differing only in detail have happened around the world before, and such events will occur again. Today, developed nations primarily use fossil fuels to create affordable energy for comforts such as lighting, heating and air-conditioning, refrigeration, transportation, education, and entertainment, as well as for powering manufacturing, which creates jobs and a wealth of material goods. In addition to the risks of the existing energy infrastructure that have become obvious through these recent disasters, there is also the ongoing risk of climate change that comes from the vast emissions of greenhouse gases, primarily CO{sub 2}, from the burning of fossil fuels. The implementation of CO{sub 2} capture and storage (CCS) will help mitigate CO{sub 2} emissions from fossil fuel energy, but it also carries with it HSE risks. In my personal interactions with the public and with students, the main concern voiced is whether CO{sub 2} could leak out of the deep reservoirs into which it is injected and rise up out of the ground, smothering people and animals at the ground surface. Another concern expressed is that CO{sub 2} pipelines could fail and cause similar gaseous plumes of CO{sub 2}. The widespread concerns about CO{sub 2} leaking out over the ground surface may be inspired by events that have happened within natural systems in equatorial Africa, in Indonesia, and in Italy. Researchers have been investigating a wide variety of HSE risks of geologic CO{sub 2} storage for some time and have determined that wells are the main potential pathways for significant leakage from the deep subsurface. I discuss the acute HSE risks of CO{sub 2} leakage through wells and from pipelines, and compare the behavior of failures in CO{sub 2} wells and pipelines with oil and gas analogues from which most of our experien

  13. CGISS Seismic Field Equipment Check List Version 1.1, July 29, 1999 Seismograph

    E-Print Network [OSTI]

    Barrash, Warren

    [ ] [ ] 4. Plotter paper [ ] [ ] 5. 12-volt batteries1 [ ] [ ] 6. __________________ Hydrophones and Cables reference cable [ ] [ ] 10. Baffle foam [ ] [ ] 11. 10 Hz geophones for surface [ ] [ ] 12. 6 v batteries (4 ground wire [ ] [ ] 23. 12-v batteries (2) [ ] [ ] 24. Battery cables (2) [ ] [ ] 25

  14. Fight Fall Allergies and Save Energy by Checking Your HVAC System...

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

    right? Oh, such navet. Three months into my stay, I developed a persistent, dry cough. After weeks of suffering, I realized that my heating unit was causing it. It was...

  15. Solving Planning Problems Using RealTime Model Checking (Translating PDDL3 into Timed Automata)

    E-Print Network [OSTI]

    Thiébaux, Sylvie

    ) Henning Dierks University of Oldenburg Germany Gerd Behrmann BRICS, Aalborg University Denmark Kim G (Fehnker 1999). The basic common idea of these works is to reformulate the scheduling problem 1989), NDD (Asarin, Maler, & Pnueli 1997), CDDs (Behrmann et al. 1999), DDDs (Wang 2000)) developed

  16. Simple and Flexible Revocation Checking with Privacy John Solis and Gene Tsudik

    E-Print Network [OSTI]

    -related contexts. The peer-based PGP/GPG [2, 8] format represents another popular approach. Since a certificate

  17. Monthly Theme Procedure for Laboratory Check-Out June 2009 Monthly Theme -June 2009

    E-Print Network [OSTI]

    Calgary, University of

    that laboratories and supporting areas are clean, free of hazardous materials, hazardous and non- hazardous wastes hazardous materials, hazardous and non-hazardous wastes, and unwanted equipment created or acquired, including supporting areas such as cold rooms, environmental chambers, storage areas and equipment, shared

  18. Georgia Institute of Technology -School of Chemistry and Biochemistry Lab Self-Inspection Check List

    E-Print Network [OSTI]

    Sherrill, David

    . Are hazardous waste containers and storage locations selected to avoid excess pressure build-up? 21. Are waste Hazard Floor Plan posted on the outside bulletin board for this lab? 3. Is the phone number for reporting containers? 7. Are fire extinguishers available, properly maintained and appropriate for hazards in the lab

  19. Massachusetts Institute of Technology Checking the Integrity of Memory in a Snooping-Based

    E-Print Network [OSTI]

    -Based Symmetric Multiprocessor (SMP) System Dwaine Clarke,G. Edward Suh, Blaise Gassend, Marten van Dijk, Srinivas Gassend, Marten van Dijk , and Srinivas Devadas MIT Computer Science and Artificial Intelligence

  20. A new remote data integrity checking scheme for cloud storage Yan Xiangtao1*

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    preserving. KeyKeyKeyKey WordsWordsWordsWords:cloud storage; data security; data integrality 1111 security and privacy risks. In cloud storage, the data is uploaded to the cloud without leaving a copy. To advance the adoption of cloud storage, proactive measures must be taken to ensure data security

  1. Check-Testing of Manufacturer Self Reported Labeling Data & Compliance with MEPS

    E-Print Network [OSTI]

    Zhou, Nan

    2008-01-01

    loading units are energy efficient, but consume more water.units are more energy consumptive, but consume less water.

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

  3. Measurement & verification reality check: A yawning gap between theory and practice

    E-Print Network [OSTI]

    2002-01-01

    Summer Study on Energy Efficiency in Buildings, 5:299-317.Summer Study on Energy Efficiency in Buildings, 5:73-88.Summer Study on Energy Efficiency in Buildings, 4:31-48.

  4. Health, safety, and environmental risks from energy production: A year-long reality check

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01

    safety, and environmental risks from energy production: Asafety, and environmental (HSE) consequences related to accidents involving energy production

  5. CGISS Seismic Field Equipment Check List Version 1.4, Seismograph

    E-Print Network [OSTI]

    Barrash, Warren

    for hammer. [ ] [ ] 34. EWG; fuel [ ], bracing straps [ ], rubber band [ ], hyd. fluid [ ] trailer hitch. Auger; drill bits [ ], extension [ ], torque bar [ ], fuel [ ]. [ ] [ ] 40. Electric toolbox w. Crew Supplies [ ] [ ] 68. Food and Water and Sun screen. [ ] [ ] 69. Fuel for transport. [ ] [ ] 70

  6. A PolynomialTime Algorithm for Checking Equivalence Under Certain Semiring Congruences motivated by the Statespace

    E-Print Network [OSTI]

    Sontag, Eduardo

    which combine discrete and continuous components. The subclass of piecewise linear (PL) systems provides one systematic approach to discrete­time hybrid systems, naturally blending switching mechanisms with classical linear components. PL systems model arbitrary interconnec­ tions of finite automata and linear

  7. Idaho Workers Eager to Check Condition of Waste Moved to Cargo...

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

    1952 to 1970, workers buried drums containing radioactive waste from the now-closed Rocky Flats site at the Idaho site's Subsurface Disposal Area. In the 1970s, the Idaho site...

  8. A cost-effective mechanism for Cloud data reliability management based on proactive replica checking

    E-Print Network [OSTI]

    Yang, Yun

    A cost-effective mechanism for Cloud data reliability management based on proactive replica University, Hefei, Anhui 230039, China *** School of Systems, Management and Leadership, University--In current Cloud computing environments, management of data reliability has become a challenge. For data

  9. Health, safety, and environmental risks from energy production: A year-long reality check

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01

    leak and explosion, and (iv) the Fukushima (nuclear) reactorfuel storage tanks at the Fukushima nuclear power plant. AtThe Macondo well blowout and Fukushima nuclear power plant

  10. Use of NWS Weather Measurements for Cross-checking Local Weather Measurements 

    E-Print Network [OSTI]

    Crowley, G. D.; Haberl, J. S.

    1994-01-01

    This paper discusses the use of an independent network of remote weather stations for building energy analysis to assist agencies participating in the Texas LoanSTAR Monitoring and Analysis Program. A review of the sensors and procedures...

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

  12. Energy Savings Tips on the Go: Check Out the New Energy Savers...

    Office of Environmental Management (EM)

    at DOE's National Renewable Energy Laboratory For years, many of you have found energy-saving tips about how to save money and energy at home, in your vehicle, and at work on...

  13. Check-Testing of Manufacturer Self Reported Labeling Data & Compliance with MEPS

    E-Print Network [OSTI]

    Zhou, Nan

    2008-01-01

    the “Energy Label”). Today, the Energy Label is applied toenergy and water are serious conservation topics in China today.minimum energy performance standards (MEPS) in 1989. Today,

  14. Health, safety, and environmental risks from energy production: A year-long reality check

    E-Print Network [OSTI]

    Oldenburg, C.M.

    2012-01-01

    and pipeline leakage are not the only HSE risks associatedrisks of CO 2 leakage through wells and from pipelines, andpipelines with oil and gas analogues from which most of our experience derives. Risk

  15. After 0.013 0.011 Check (0.003) (0.004)

    E-Print Network [OSTI]

    Sprott, Julien Clinton

    - group and week, covering 19 weeks before and 23 weeks after the rebates were sent. Full sets of SSN-group and week, covering 19 weeks before and 23 weeks after the rebates were sent. Full sets of SSN-group fixed

  16. Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC

    E-Print Network [OSTI]

    ://dslab.konkuk.ac.kr 2 Korea Atomic Energy Research Institute, 150 Deokjin, Yuseong Daejeon, 305-335, Republic of Korea such as nuclear power plants often use Function Block Diagrams (FBDs) to design embedded software. The design in safety critical systems such as nuclear power plants use Func- tion Block Diagrams (FBDs) to design

  17. Factors contributing to nest predation within habitat of the Golden-checked Warbler, Travis County, Texas 

    E-Print Network [OSTI]

    Fink, Mark Lewis

    1996-01-01

    artificial nests, simulating those of Golden-cheeked Warblers, along 200 transacts at 5 study sites in Travis County, Texas. This study was designed to determine if differential levels of predation existed between nests placed in forest interior tracts...

  18. Natural Analoges as a Check of Predicted Drift Stability at Yucca Mountain, Nevada

    SciTech Connect (OSTI)

    J. Stuckless

    2006-03-10

    Calculations made by the U.S. Department of Energy's Yucca Mountain Project as part of the licensing of a proposed geologic repository (in southwestern Nevada) for the disposal of high-level radioactive waste, predict that emplacement tunnels will remain open with little collapse long after ground support has disintegrated. This conclusion includes the effects of anticipated seismic events. Natural analogues cannot provide a quantitative test of this conclusion, but they can provide a reasonableness test by examining the natural and anthropogenic examples of stability of subterranean openings. Available data from a variety of sources, combined with limited observations by the author, show that natural underground openings tend to resist collapse for millions of years and that anthropogenic subterranean openings have remained open from before recorded history through today. This stability is true even in seismically active areas. In fact, the archaeological record is heavily skewed toward preservation of underground structures relative to those found at the surface.

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

  20. Biomedical Engineering AND Electrical Engineering -Lasers & Optics Student Name:_____________________ Curriculum Check Sheet 158 credits

    E-Print Network [OSTI]

    Biomedical Engineering AND Electrical Engineering - Lasers & Optics Student Name Optical Electronics (Conc ECE 441) F 2 CHEM 245 Fund. of Org. Chemistry (CHEM 107 or 113) F,S,SS 4 ECE 441 Optical Electronics (ECE 342) F 3 ECE 457 Fourier Optics (ECE 311; ECE 342) S 3 PH 353 Optics and Waves

  1. Constructing check-lists and avifauna-wide reviews: Mexican bird taxonomy revisited

    E-Print Network [OSTI]

    Peterson, A. Townsend; Navarro-Sigü enza, Adolfo G.

    2009-01-01

    to photocopy or reproduce article content through the University of California Press’s Rights and Permissions website, http://www.ucpressjournals. com/reprintInfo.asp. DOI: 10.1525/auk.2009.91009 A. To w n s e n d Pe T e r s o n 1,3 A n d Ad o l f o G. nA v...-399, México, D.F. 04510, Mexico 3 E-mail: town@ku.edu Summarizing taxonomic and distributional information of regional avifaunas has been an important task of the Ameri- can Ornithologists’ Union (AOU) from early in its history up to the present day (AOU...

  2. A Byzantine Attack Defender in Cognitive Radio Networks: the Conditional Frequency Check

    E-Print Network [OSTI]

    Dai, Huaiyu

    for the spectrum state. With the assistance of one trusted user, the proposed method can achieve high mali- cious. Dai (Huaiyu Dai@ncsu.edu) are with the Department of Electrical and Computer Engineering, North

  3. Grand Valley State University Checks Out Energy Savings at New Mary Idema Pew Library

    SciTech Connect (OSTI)

    none,

    2013-03-01

    Grand Valley State University (GVSU) partnered with the Department of Energy (DOE) to develop and implement solutions to build new, low-energy buildings that are at least 50% below Standard 90.1-2007 of the American Society of Heating, Refrigerating, and Air-Conditioning Engineers (ASHRAE), the American National Standards Institute (ANSI), and the Illuminating Engineering Society of North America (IESNA) as part of DOE’s Commercial Building Partnerships (CBP) Program.

  4. Procedure for Handling and Accounting for Checks Returned Unpaid by the Bank

    E-Print Network [OSTI]

    Tsymbal, Evgeny Y.

    is made, a new receipt will be written for the amount of the debt, including the $30.00 service charge's Office will initiate a debit memo charging the cost object to which the department normally receipts for collection. A second departmental copy will be returned to the department with the SAP journal entry number

  5. Measurement&verification reality check: A yawning gapbetween theory and practice

    SciTech Connect (OSTI)

    Kumar, Satish; Haberl, Jeff; Claridge, David; Turner, Dan; O'Neal, Dennis; Sharp, Terry; Sifuentes, Teresa; Lopez, Felix; Taylor, Dub

    2002-06-01

    The success of an energy efficiency program should bemeasured in terms of the actual energy savings, and not against"stipulated" or estimated energy savings.Although M&V guidelines andprotocols have standardized methods for verifying energy savings accruingfrom the implementation of an energy efficiency project, M&V islargely viewed as a cost center rather than a value proposition. The jurymay still be out on the real value of M&V because it is oftenperceived as very expensive and too technical. This paper will reviewmeasured energy savings data from the Texas LoanSTAR Program and analyzeavailable data and program requirements of Federal and state performancecontracting programs that require some level of M&V to verify energysavings. The intent is to determine the role of M&V in differentprograms and what implications it has on the success or failure of theprograms. The paper concludes with suggestions to use M&V as a riskmanagement tool wherein both the service provider and the customer have avested interest to perform appropriate level of M&V to reduceuncertainty in energy savings in a cost effective manner.

  6. Measurement & verification reality check: A yawning gap between theory and practice

    E-Print Network [OSTI]

    2002-01-01

    Energy-Efficient Economy. [IPMVP] International PerformanceVerification Protocol (IPMVP), provides standard measurementThe success of the IPMVP as a market transformation tool has

  7. PREVENTING ID THEFT & FRAUD: DO an annual credit check: http://www.annualcreditreport.com/

    E-Print Network [OSTI]

    ://www.hawaii.edu/askus/705 http://www.webopedia.com/TERM/S/strong_password.html http://www.webopedia.com/TERM/f/firewall.html

  8. A framework to create customised LHC analyses within CheckMATE

    E-Print Network [OSTI]

    Kim, Jong Soo; Tattersall, Jamie; Rolbiecki, Krzysztof

    2015-01-01

    Checkmate is a framework that allows the user to conveniently test simulated BSM physics events against current LHC data in order to derive exclusion limits. For this purpose, the data runs through a detector simulation and is then processed by a user chosen number of experimental analyses. These analyses are all defined by signal regions that can be compared to the experimental data with a multitude of statistical tools. Due to the large and continuously growing number of experimental analyses available, users may quickly find themselves in the situation that the study they are particularly interested in has not (yet) been implemented officially into the Checkmate framework. However, the code includes a rather simple framework to allow users to add new analyses on their own. This document serves as a guide to this. In addition, Checkmate serves as a powerful tool for testing and implementing new search strategies. To aid this process, many tools are included to allow a rapid prototyping of new analyses.

  9. USING BOX-JENKINS MODELS TO FORECAST FISHERY DYNAMICS: IDENTIFICATION, ESTIMATION, AND CHECKING

    E-Print Network [OSTI]

    ~ is illustrated by developing a model that makes monthly forecasts of skipjack tuna, Katsuwonus pelamis, catches

  10. Auton latic Detection of Discourse Structure by Checking Surface information in Sentences

    E-Print Network [OSTI]

    .]ie surf;ice infolunalion of ~>euten('es. ~,Jl/(?[lilVC cousi(ler(!(] l,[il'(!e Dyl)eb o1' (:hie illFOl'lllfll, iou: (;lil(? (~Xl)l'eS;y;ioIIS, occlil'r(~li(:() ()[' i(l(~lll, i(;;i]/syliOllylliOilS words~ty ])(! i)(u'li)rlne(] Ims('cl Oil Silch I,;uowle(Ige (e.g., (h'osz ail([ ~icllll'l' 1!)8($; [l(Jbhs 1

  11. SEP Success Story: Library Patrons in New York Check-Out Renewable...

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

    library in Esopus, New York, used Recovery Act funds to install two photovoltaic arrays expected to generate 31,200 kWh of electricity annually -- approximately 30 percent of the...

  12. PVSAT-2: INTELLIGENT PERFORMANCE CHECK OF PV SYSTEM OPERATION BASED ON SATELLITE DATA

    E-Print Network [OSTI]

    Heinemann, Detlev

    a Dept. of Energy and Semiconductor Research, University of Oldenburg, D-26111 Oldenburg, Germany b, D-86152 Augsburg Germany e Fraunhofer Institute for Solar Energy Systems, Heidenhofstraße2, D-79110-back rates for PV energy (0.5/kWh in Germany since spring 2000, similar initiatives are foreseen in other

  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. July 12, 2008 Can't Find a Parking Spot? Check Smartphone

    E-Print Network [OSTI]

    Lu, Chenyang

    are in discussions with technology companies to deploy so-called smart parking systems, though San Francisco is ahead 47,000 gallons of gasoline and producing 730 tons of carbon dioxide. To install the market-priced parking system, San Francisco has used a system devised by Streetline, a small technology company that has

  15. 03-049(e) M002A06010004 rock check dam

    E-Print Network [OSTI]

    .21 0.529 Acres 03-049(e) SIGMA ENIWETOK STORAX CRAY MANIAC Mortandad Canyon MAP: M002A-13-0006-12-M1

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

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

    E-Print Network [OSTI]

    Selvarathinam, Anand Manivannan

    2005-11-01

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

  18. Checking Formal Specifications under Simulation William Canfield \\Lambda E. Allen Emerson Avijit Saha

    E-Print Network [OSTI]

    Emerson, E. Allen

    Saha CAE+ Dept. of Computer Sciences International Business Machines 9130 Jollyville Road #340@cae­plus.com emerson@cs.utexas.edu saha@austin.ibm.com Abstract ``Verification'' of large multiprocessor designs cur

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

  20. SEP Success Story: Library Patrons in New York Check-Out Renewable Energy |

    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 -Rob Roberts About UsWYOMINGORDER 3643FEBMichigan|Department

  1. The Do and Check Processes of an Energy Management System | 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:Financing ToolInternational Affairs, BeforeActivitiesEnergyAdvisorySolid-Energy The Do and

  2. Library Patrons in New York Check-Out Renewable Energy | 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 RankADVANCED MANUFACTURING OFFICE INDUSTRIALU.S.Leadership on Clean Energys o uEnergy Library Patrons in

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

  4. Fight Fall Allergies and Save Energy by Checking Your HVAC System |

    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, 2015Executive Order14,Energy 9, 2013Federal TaxMAYDonThorium,ofDepartment

  5. Secretary Chu Visits Russian Seaport, Checks Out Second Line of Defense

    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 FuelingEnergyRecoverySecretary Chu To

  6. Suppression of Aggregation in Natural-Semiflexible/Flexible Polyanion Mixtures, and Direct Check of the OSF Model using SANS

    E-Print Network [OSTI]

    Fabien Bonnet; Ralph Schweins; François Boué; Eric Buhler

    2009-04-06

    Aggregation and other interactions are suppressed for a biological semiflexible polyelectrolyte, hyaluronan (HA), when it is embedded in a mixture with another negatively charged and flexible polyelectrolyte chain, sodium polystyrene sulfonate. We see directly HA only in the mixture using Small-Angle Neutron Scattering, isotopic labelling and contrast matching. At low ionic strength, for which aggregation is usually seen for pure HA solutions, an unambiguous set of experimental results shows that we neither observe HA aggregation nor a polyelectrolyte peak (observed for solutions of single species); instead we observe a wormlike chain behaviour characteristic of single chain with a variation of the persistence length with the square of the Debye screening length, Le~\\kappa^-2, as formerly predicted by Odijk and not yet observed on a polymer chain.

  7. Enabling cross-library optimization and compile-time error checking in the presence of procedural macros

    E-Print Network [OSTI]

    Dybvig, R. Kent

    of the language into a set of standard libraries and the provision for programmers to define new libraries of their own [31]. New li- braries are defined via a library form that explicitly names its imports and exports. No identifier is visible within a library unless explicitly imported into or defined within the library, so each

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

    E-Print Network [OSTI]

    2009-01-01

    CO 2 and energy fluxes over a mixed hardwood forest in theand energy fluxes [Baldocchi et al. , 1988]. Forest Ecology

  9. Issue # 06 By. Marvin Green (503) 6568367. Check out 'THE VOR' by Tom Lonergan and Carl Frederick, Hayden Book Company.

    E-Print Network [OSTI]

    ­8001 (orders only) (215) 788­5583 (office) Kelvin Electronics DC motors, power supplies, batteries. 7 Fairchild, Hayden Book Company. GET THESE CATALOGS! Combined list of some good places to find robot parts mail order. Marlin P. Jones

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

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

    E-Print Network [OSTI]

    2009-01-01

    eddy covariance – based NEP has been tested against itscovariance – based estimates of NEP, GPP and Re but addsbased flux estimates of NEP, GPP, and Re require independent

  12. Reconstruction of time-dependent coefficients: A check of approximation schemes for non-Markovian convolutionless dissipative generators

    SciTech Connect (OSTI)

    Bellomo, Bruno; De Pasquale, Antonella; Gualdi, Giulia; Marzolino, Ugo

    2010-12-15

    We propose a procedure to fully reconstruct the time-dependent coefficients of convolutionless non-Markovian dissipative generators via a finite number of experimental measurements. By combining a tomography-based approach with a proper data sampling, our proposal allows to relate the time-dependent coefficients governing the dissipative evolution of a quantum system to experimentally accessible quantities. The proposed scheme not only provides a way to retrieve the full information about potentially unknown dissipative coefficients, but also, most valuably, can be employed as a reliable consistency test for the approximations involved in the theoretical derivation of a given non-Markovian convolutionless master equation.

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

    E-Print Network [OSTI]

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

    2000-01-01

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

  14. Special Notes: Changes to courses and pre-requisites are always occurring. Check course catalog for pre-requisite updates.

    E-Print Network [OSTI]

    Rhoads, James

    and Environmental Studies: List of All Approved Upper Division Electives #12;GLG435 Sedimentology 3 S GLG 102 (or

  15. Meteorite Identifications If you think you have found a meteorite, please check if you can answer the following

    E-Print Network [OSTI]

    Patterson, Bruce D.

    with a "yes". 1. Fusion crust? Does the specimen have a smooth dark (black. Composition 3.1. Metal? Is the specimen made out of compact metal? Yes. No. 3.2. Rock? Is the specimen made out of compact rock but shows small

  16. Numerical simulations used for a validity check on the laser induced photo-detachment diagnostic method in electronegative plasmas

    SciTech Connect (OSTI)

    Oudini, N.; Taccogna, F.; Aanesland, A.

    2014-06-15

    Laser photo-detachment is used as a method to measure or determine the negative ion density and temperature in electronegative plasmas. In essence, the method consists of producing an electropositive channel (negative ion free region) via pulsed laser photo-detachment within an electronegative plasma bulk. Electrostatic probes placed in this channel measure the change in the electron density. A second pulse might be used to track the negative ion recovery. From this, the negative ion density and temperature can be determined. We study the formation and relaxation of the electropositive channel via a two-dimensional Particle-In-Cell/Mote Carlo collision model. The simulation is mainly carried out in a Hydrogen plasma with an electronegativity of ??=?1, with a parametric study for ? up to 20. The temporal and spatial evolution of the plasma potential and the electron densities shows the formation of a double layer (DL) confining the photo-detached electrons within the electropositive channel. This DL evolves into two fronts that move in the opposite directions inside and outside of the laser spot region. As a consequence, within the laser spot region, the background and photo-detached electron energy distribution function relaxes/thermalizes via collisionless effects such as Fermi acceleration and Landau damping. Moreover, the simulations show that collisional effects and the DL electric field strength might play a non-negligible role in the negative ion recovery within the laser spot region, leading to a two-temperature negative ion distribution. The latter result might have important effects in the determination of the negative ion density and temperature from laser photo detachment diagnostic.

  17. Want Some Money Back from your Compressed Air System? Check Out These Top 10 Areas to Look 

    E-Print Network [OSTI]

    Van Ormer, H.

    2004-01-01

    calculate the most effective and efficient answer: • Use a separate air compressor and system to supply dedicated air to the process • Use a booster compressor or hydraulic booster to supply high-pressure air. See Fig. 6 • Use storage... of blow off air to the process and generate a savings of a 15 cfm compressed air per ¼-inch blow off. Vacuum Generators / Air Operated BACKGROUND In order to create a vacuum, some kind of air pump or vacuum pump is required to evacuate the volume...

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

    E-Print Network [OSTI]

    2009-01-01

    estimates of annual carbon sequestration in a Sitka spruce (carbon cycling in a temperate forest: Radiocarbon-based estimates of residence times, sequestration

  19. Conformance Checking Based on Partially Ordered X. Lu, D. Fahland, W.M.P. van der Aalst

    E-Print Network [OSTI]

    van der Aalst, Wil

    is the alignment approach proposed in [6, 7], which relates behavior observed in a sequential #12;trace (i

  20. 42 Check www.uaf.edu/coursefinder/ for current course listings. Area code is 907. InformationforNewStudents

    E-Print Network [OSTI]

    Wagner, Diane

    Gruening Brooks Eielson Signers' Bunnell Duckering St. Mark's Chapman Patty Center Lathrop Switchgear Nerland Mc

  1. Validity check for imaginary part of potential of a moving quarkonia in plasma with hyperscaling violating backgrounds

    E-Print Network [OSTI]

    Sadeghi, J

    2015-01-01

    One efficient tool for studying strongly coupled field theory is AdS/CFT correspondence. In this note we apply conditions of validity of imaginary part of potential for a moving quarkonia in plasma when it has backgrounds with hyperscaling violation. Imaginary part of potential should be negative because it appears in an exponential function and should exhibit a decaying behavior. We find general constraints for Im$V_{Q \\bar{Q}}$ at near horizon limit and apply them for some known cases. Finally we find appropriate spatial dimension for two interesting cases , surplus we present an exact hyperscaling violationg metric which its behavior in this context is very close to a YM theory with finite temperature.

  2. 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 this figure in the HTML. as GPP – NPP + Rh. Because theof this figure in the HTML. [ 39 ] Ideally the Ra/GPP and

  3. Identifying messaging completion in a parallel computer by checking for change in message received and transmitted count at each node

    DOE Patents [OSTI]

    Archer, Charles J. (Rochester, MN); Hardwick, Camesha R. (Fayetteville, NC); McCarthy, Patrick J. (Rochester, MN); Wallenfelt, Brian P. (Eden Prairie, MN)

    2009-06-23

    Methods, parallel computers, and products are provided for identifying messaging completion on a parallel computer. The parallel computer includes a plurality of compute nodes, the compute nodes coupled for data communications by at least two independent data communications networks including a binary tree data communications network optimal for collective operations that organizes the nodes as a tree and a torus data communications network optimal for point to point operations that organizes the nodes as a torus. Embodiments include reading all counters at each node of the torus data communications network; calculating at each node a current node value in dependence upon the values read from the counters at each node; and determining for all nodes whether the current node value for each node is the same as a previously calculated node value for each node. If the current node is the same as the previously calculated node value for all nodes of the torus data communications network, embodiments include determining that messaging is complete and if the current node is not the same as the previously calculated node value for all nodes of the torus data communications network, embodiments include determining that messaging is currently incomplete.

  4. Declared Major(s): _______________________________ This form can be used if you are: (Please check the appropriate box)

    E-Print Network [OSTI]

    Northern British Columbia, University of

    International Studies Mathematics Natural Resources Planning and Operations Northern Studies Outdoor Recreation Dimensions of Natural Resources Management Soils and the Environment Statistics Women's Studies For Office-mail: registrar-info@unbc.ca World Wide Web: www.unbc.ca/registrar Revised June 2013 #12;

  5. Low power low-density parity-checking (ldpc) codes decoder design using dynamic voltage and frequency scaling 

    E-Print Network [OSTI]

    Wang, Weihuang

    2009-05-15

    This thesis presents a low-power LDPC decoder design based on speculative scheduling of energy necessary to decode dynamically varying data frame in both block-fading channels and general AWGN channels. A model of a ...

  6. This form can be used if you are: (Please check the appropriate box) Declaring a Major for the first time

    E-Print Network [OSTI]

    Northern British Columbia, University of

    & Earth Sciences Geography (Science) & GIS Mathematics & Statistics Natural Resources & Forestry Physics Resources Management or Environmental Studies Diploma from an approved college are recommended to consult Human Resources Management International Business Marketing Chemistry (BSc) *Chemistry Honours (BSc Hons

  7. Design and implementation of a high data rate wireless system using Low-Density Parity-Check codes 

    E-Print Network [OSTI]

    Bhatt, Tejas Maheshbhai

    2000-01-01

    . Various decoding algorithms for LDPC codes are implemented and complexity v/s bit error rate (BER) trade off is studied. The goal is to evaluate LDPC codes as a suitable candidate for the forward error correction in the next generation wireless systems...

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

  9. Background Check Disclosure Form The University of South Carolina conducts background screenings on faculty/staff as a condition of employment or in

    E-Print Network [OSTI]

    Almor, Amit

    include information concerning driving record, civil and criminal court records, credit, education public and private sources, public records, former employers and references. The scope of the report may and personal references. The timeframe of the report will list the criminal history since the age of 18. 2

  10. Residual_Overpay_Checks_Spring15 Page 1 of 1 Revised 10/14/2014 Spring 2015/2nd half 2014-15 Residual Overpay

    E-Print Network [OSTI]

    January 21, 2015 Dental 1st - 3rd year January 21, 2015 Dental 4th year December 10, 2014 Dental Graduates and 3rd year January 21, 2015 Medicine 2nd year January 28, 2015 Medicine 4th year December 10, 2014

  11. Some Exercises before MIDTERM a). To check the normality of a one-dimensional variable, we can use "Q-Q norm" plot

    E-Print Network [OSTI]

    Chen, Kani

    . The pollutions are measured by two #12;standard: air pollution and noise pollution. For simplicity, we consider22 = 9 4 X23 = 7 2 . Here the first component is air pollution index and the second is noise the new airport is different from the old airport in terms of the pollutions caused by airplane traffic

  12. The impact of ciminal background checks on the selection of school volunteers as reported by human resource professionals of selected Texas public school districts 

    E-Print Network [OSTI]

    Smith, Richard Kimball

    2005-08-29

    randomly selected for this study, and results were categorized by the size of the school district based on student population. Survey responses were analyzed using descriptive and inferential statistics. A Chi-square analysis was performed to determine...

  13. Richard O. Sinnott and Kenneth J. Turner. Type Checking in Open Distributed Systems: A Complete Model and its Z Specification. In Jerome

    E-Print Network [OSTI]

    Turner, Ken

    , Department of Computing Science, University of Stirling, Stirling FK9 4LA, Scotland. email: ros || kjt that they will interwork successfully is the most important consideration in software engineering today. Object

  14. from work and goes to her PC to check e-mail, the PC isn't just sitting there. It's working for a biotech company, matching gene

    E-Print Network [OSTI]

    Kubiatowicz, John D.

    for a biotech company, matching gene sequences to a library of protein molecules. Its DSL connection is busy from the biotech company, the movie system and the backup service. Instead of buying expensive "server

  15. Students: Please note that curricula can change; be sure to check with your adviser regularly to be sure you are on track.

    E-Print Network [OSTI]

    SP Fourth Year - 33 Credits Cr FA SP Second Year ­ 31 Credits Cr FA SP Additional AUCC 3B Arts AND Electrical Engineering 157 Credits First Year ­ 31 Credits ­ Courses (prereqs) Cr FA SP Third Year - 30 or MATH 118 or MATH 141 or MATH 155 or MATH 160) F,S,SS 3 AUCC __________ 3 Fifth Year - 32 Credits Cr FA

  16. Students: Please note that curricula can change; be sure to check with your adviser regularly to be sure you are on track.

    E-Print Network [OSTI]

    _______________ ____________ 6 Fifth Year - 32 Credits Cr FA SP Fourth Year - 33 Credits Cr FA SP Second Year ­ 31 Credits Cr FA AND Electrical Engineering 157 Credits First Year ­ 31 Credits ­ Courses (prereqs) Cr FA SP Third Year - 30

  17. 1. Check Equipment Reservations in Coral to ensure that you reserved the correct machine, in the correct facility, for the correct date. Another user may

    E-Print Network [OSTI]

    Reif, Rafael

    a vacuum wand and place the top captured handle on the carrier. 4. Gown up with apron, face shield, arm and SC2 bath. 1. Using the DI Water sprayer fill the tank being cleaned to the top with DI water. 2. Place the aspirator hose into the tank being cleaned. Turn the switch labeled "Aspirator" to "On". Once

  18. UW Occupational Health Program Requisition Form for Pre-Exposure Services This form confirms the eligibility for the employee listed below to receive all preventive services checked.

    E-Print Network [OSTI]

    Emshwiller, Eve

    Title Supervisor Employee Department/Lab & Address Supervisor E-mail Department Funding String Dept Fund or wastes. Please complete the Animal Contact Questionnaire prior to appointment. Infectious Agent Exposure Nuclear Reactor Medical Evaluation Medical Surveillance Consult Quantiferon TB-Gold Pesticide User Exam

  19. Model Checking Prioritized Timed Automata Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, and Yean-Ru Chen

    E-Print Network [OSTI]

    Hsiung, Pao-Ann

    on two clock zones, represented by DBMs, for which we propose an algorithm to generate the minimal number Bound Matrices (DBMs), is required. We have proposed an algorithm to perform the subtraction operation on two DBMs [14]. This algorithmgenerates the minimal num- ber of zones partitioned

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

  1. To appear in Proceedings, International Symposium on Requirements Engineering, York, England, March 26-27, 1995 1 Consistency Checking of SCR-Style Requirements Speci cations

    E-Print Network [OSTI]

    ; a submarine communications system 12 ; and safety- critical components of two nuclear power plants

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

    E-Print Network [OSTI]

    Sassen, D. S.

    2010-01-01

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

  3. Countries with "low incidence" of tuberculosis. Students who have resided in any country other than those listed below in the past 5 years must check yes in

    E-Print Network [OSTI]

    Cantlon, Jessica F.

    to have a tuberculin skin test. Albania Andorra Antigua and Barbuda Australia Austria Bahamas Barbados

  4. File: Undergraduate Students (Guide for) 2013-2014 University of Maryland Libraries * T&L * 1/2014 Check out these library services

    E-Print Network [OSTI]

    Hill, Wendell T.

    Account (terpexp.umd.edu), then use your UMD ID card to copy/print in the Libraries. Laptop and wireless. Print wirelessly to library printers too, for a small fee. Equipment for loan: www.lib.umd.edu > Services Borrow laptops, tablets, e-readers, netbooks, laptop and phone chargers, headphones, and more from

  5. File: Graduate Students (Guide for) 2013-20144 University of Maryland Libraries *T&L * 1/2014 Check out these library services

    E-Print Network [OSTI]

    Hill, Wendell T.

    . Or request that a book be pulled from the shelf and pick it up at the same library! Laptop and wireless. Print wirelessly to library printers too, for a small fee. Equipment for loan: www.lib.umd.edu > Services Borrow laptops, tablets, e-readers, netbooks, laptop and phone chargers, headphones, and more from

  6. Area and energy efficient VLSI architectures for low-density parity-check decoders using an on-the-fly computation 

    E-Print Network [OSTI]

    Gunnam, Kiran Kumar

    2009-05-15

    performance of the proposed TDMP decoder using OMS(j=3,k=6,p=347,q=0) Array LDPC code of length N=2082 and (j=5,k=25,p=61,q=0) array LDPC code of length N=1525.. ................................ ?74 7.1 Operation of CNU (a) no time-division multiplexing... of the proposed fixed-code decoder architectures ........................... 9 3.1 Occupation of resources for a decoding iteration in terms of clock cycles .............. 26 3.2 Snapshot of partial sum registers in p CNUs operating in parallel to compute p R...

  7. Check exemption claimed: NOTE: This certificate is for business only, not to be used for private purposes, under penalty of law. The hotel operator may request a govern-

    E-Print Network [OSTI]

    government or Texas government official exempt from state, city, and county taxes. Includes US govern- ment agencies and its employees traveling on official business, Texas state officials or employees who present in Section 61.003, Texas Education Code. Beginning October 1, 2003, non-Texas institutions of higher

  8. help to identify plagiarised work.) It is the responsibility of supervisors to ensure that these reports are checked for any indication of plagiarism or collusion. Each report will

    E-Print Network [OSTI]

    Sidorov, Nikita

    to the students. Full information about the formal appeals procedure is given in Regulation XIX (Academic Appeals means. Further information about the formal complaints procedure is given in similarities have been found online or in the repository of student work, with links to original sources

  9. PM PEM’s Pre-Measurement Allowance – On-Road Evaluation and Investigation

    E-Print Network [OSTI]

    Durbin, T; Jung, H; Cocker III, D R; Johnson, K

    2009-01-01

    FID PM balance PM filter temperature CVS propane check PMfilter sample flow propane check PM sample flow meter PMPM filter temperature CVS propane check PM filter sample

  10. PayFlex Systems USA, Inc. P.O. Box 3039

    E-Print Network [OSTI]

    . Select One: Checking Account Savings Account Financial Institution: Name ________________ Attach: voided check for checking accounts OR savings deposit slip for savings accounts Form

  11. As you prepare for your upcoming beam time, please be aware that construction is planned to update SLAC Gate 17 with RFID proximity card access hardware and to change the stairs next to the Security hut to an ADA compliant ramp. Please forward this to your proposal collaborators (and ensure that all users have registered and completed training before they arrive). This construction is scheduled to begin Tuesday 5/28 and be completed by 6/28. During this construction, access to the LCLS and SSRL buildings and experimental facilities will be provided as follows: VEHICLES ONLY THROUGH GATE 17 5/28-6/28 0600-1530 (6 am-3:30 pm) Construction Zone. Only VEHICLE traffic will be allowed access through Gate 17 and flagman will provide traffic control. 1530-1800 (3:30-6:00 pm) Assumes construction will have stopped for the day; both traffic lanes will be open for vehicles. 1800-0600 (6 pm-6 am) As now, Gate 17 will be closed or barricaded overnight. PEDESTRIANS ONLY THROUGH GATE 16 5/28-6/28 The pedestrian turnstile at Gate 16A will not change. The turnstile is available for pedestrian use 24/7 as long as the individual has a valid SLAC ID badge (and there is a guard at Gate 30 to 'buzz' them through). 0700-1600 (6 am-4 pm) Pedestrians who would normally walk through Gate 17 will instead follow the detour to Gate 16 swing gate which will be unlocked and staffed by Security. A valid SLAC ID badge is needed to enter; new users without IDs will be allowed to proceed for check-in and badging after confirmation with the User Research Administration Office (see detour map attached). FYI - After the construction is completed and proximity card readers are fully functional, users and staff will enter Gates 17 and 30 using an activated RFID proximity card. More details to follow.

    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 DBiomass and Biofuels Biomass and BiofuelsArunNovember

  12. As you prepare for your upcoming beam time, please be aware that construction is planned to update SLAC Gate 17 with RFID proximity card access hardware and to change the stairs next to the Security hut to an ADA compliant ramp. Please forward this to your proposal collaborators (and ensure that all users have registered and completed training before they arrive). This construction is scheduled to begin Tuesday 5/28 and be completed by 6/28. During this construction, access to the LCLS and SSRL buildings and experimental facilities will be provided as follows: VEHICLES ONLY THROUGH GATE 17 5/28-6/28 0600-1530 (6 am-3:30 pm) Construction Zone. Only VEHICLE traffic will be allowed access through Gate 17 and flagman will provide traffic control. 1530-1800 (3:30-6:00 pm) Assumes construction will have stopped for the day; both traffic lanes will be open for vehicles. 1800-0600 (6 pm-6 am) As now, Gate 17 will be closed or barricaded overnight. PEDESTRIANS ONLY THROUGH GATE 16 5/28-6/28 The pedestrian turnstile at Gate 16A will not change. The turnstile is available for pedestrian use 24/7 as long as the individual has a valid SLAC ID badge (and there is a guard at Gate 30 to 'buzz' them through). 0700-1600 (6 am-4 pm) Pedestrians who would normally walk through Gate 17 will instead follow the detour to Gate 16 swing gate which will be unlocked and staffed by Security. A valid SLAC ID badge is needed to enter; new users without IDs will be allowed to proceed for check-in and badging after confirmation with the User Research Administration Office (see detour map attached). FYI - After the construction is completed and proximity card readers are fully functional, users and staff will enter Gates 17 and 30 using an activated RFID proximity card. More details to follow.

    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 DBiomass and Biofuels Biomass and

  13. High-level verification of system designs

    E-Print Network [OSTI]

    Kundu, Sudipta

    2009-01-01

    Re?nement Checking of CSP Programs 6.8.2 SPARK: High-Levelcompression for model- checking csp or how to check 1020state-of-the-art tool to check CSP re? nements. The approach

  14. ALS Beamline Design Requirements - Revision 1

    E-Print Network [OSTI]

    Heimann, Phil

    2010-01-01

    Mechanical Qualification Final check for seismic safety andqualification to check for hazards related to motorized motions and seismic

  15. ChemCam follows the 'Yellowknife Road' to Martian wet area

    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 dCheckJanuary

  16. Research Highlight

    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 wouldMassR&D100 WinnersAffiliatesMadden-Julian Oscillation Heating: to TiltChecking Up on

  17. Research Highlight

    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 wouldMassR&D100 WinnersAffiliatesMadden-Julian Oscillation Heating: to TiltChecking Up onARM

  18. Research Highlight

    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 wouldMassR&D100 WinnersAffiliatesMadden-Julian Oscillation Heating: to TiltChecking Up

  19. Research Highlight

    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 wouldMassR&D100 WinnersAffiliatesMadden-Julian Oscillation Heating: to TiltChecking

  20. Women @ Energy: Vassiliki-Alexandra (Vanda) Glezakou | Department of Energy

    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 GasAdjustmentsShirleyEnergyThe U.S.Lacledeutilities.EnergyKirstin AlberiComputerMathews isUlrikeCheck out

  1. Women @ Energy: Virginia Dale | Department of Energy

    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 GasAdjustmentsShirleyEnergyThe U.S.Lacledeutilities.EnergyKirstin AlberiComputerMathews isUlrikeCheck

  2. Tax Credits, Rebates & Savings | Department of Energy

    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 NaturalDuke EnergyRenewable Energy andPuget Sound Energy-SavingsCityHVACProgress Energy Florida- Home Energy Check Audit and

  3. Tax Credits, Rebates & Savings | Department of Energy

    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 NaturalDuke EnergyRenewable Energy andPuget Sound Energy-SavingsCityHVACProgress Energy Florida- Home Energy Check Audit

  4. Tax Credits, Rebates & Savings | Department of Energy

    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 NaturalDuke EnergyRenewable Energy andPuget Sound Energy-SavingsCityHVACProgress Energy Florida- Home Energy Check

  5. Tax Credits, Rebates & Savings | Department of Energy

    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 NaturalDuke EnergyRenewable Energy andPuget Sound Energy-SavingsCityHVACProgress Energy Florida- Home Energy CheckLaclede

  6. Appliances and Electronics | Department of Energy

    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 GasAdjustmentsShirley Ann JacksonDepartment of Energy Facilities By E-mail: You can send an email to theCheckChoose

  7. Top down parsing Types of parsers

    E-Print Network [OSTI]

    Lu, Jianguo

    -terminal static boolean checkS() { int savedPointer = pointer; if (checkA() && checkB()) return true; pointer = savedPointer; return false; } static boolean checkA() { int savedPointer = pointer; if (nextToken().equals(`a') && checkA()) return true; pointer = savedPointer; return true; } SAB AaA| 8 //BbB|b static boolean check

  8. Well, maybe not in the wider world, but in the Hopkins Universe we're on something of a roll. If you doubt me, check out the latest issue of the Arts and Sciences

    E-Print Network [OSTI]

    ­ there's more. Pp. 17 through 23 showcase faculty research on poor urban families, which it seems we of years I've been writing endlessly about all the energy and excitement surrounding faculty appointments on their own, and they do stress the department in various ways, the most notable being the space squeeze

  9. The only official copy is on-line at the SHSD IH Group website. Before using a printed copy, verify that it is current by checking the document issue date on the website.

    E-Print Network [OSTI]

    Homes, Christopher C.

    Representative or Technician to obtain approval to enter radiological areas. Verify with the appropriate Facility or FS Representative for the facility). 4.2 Area Access: Contact the appropriate Facility Support Support Representative or Technician if a Work Permit or Radiological Work Permit is needed

  10. Course Check List for Regional Development Majors (B.S.) Social and Behavioral Sciences 2010 & Forward. The Regional Development Major consists of a minimum of 36 units (minimum 21 upper division) as specified below.

    E-Print Network [OSTI]

    : Geographical Research Methods ______ GEOG 403: Applications of Geographic Information Systems ______ GEOG 416A: Computer Cartography ______ GEOG 417: Geographic Information Systems for Natural and Social Sciences Resource Assessment ______ Classes with prerequisites GEOG 416C: Urban Geographic Information Systems (P

  11. The only official copy of this file is the one on-line. Before using a printed copy, verify that it is the most current version by checking the document issue date on the EBC Operations Support website.

    E-Print Network [OSTI]

    Homes, Christopher C.

    Self-Assessment Plan-Rev 0 Page 1 BROOKHAVEN NATIONAL LABORATORY Department/Division/Project NUMBER LS-SAP/measure the progress being made toward achieving its objectives and in providing assurances that critical systems objectives, BNL environmental and OSH priorities, evolving Laboratory Management System Initiatives

  12. The College reserves the right to make changes in application deadlines and requirements for admission, curriculum, standards for advancement and graduation, tuition, fees, and rules and regulations. Please check back

    E-Print Network [OSTI]

    Meyers, Steven D.

    , Methadone, Propoxyphene, Methaqualone. Technical Standards: The PharmD degree signifies that the holder candidates must meet the health and technical standards requisite for admission and participation for admission, curriculum, standards for advancement and graduation, tuition, fees, and rules and regulations

  13. Include special punctuation or format of legal name for diploma Yes No Check YES if you have capitalization, punctuation, accent marks, or spacing in your legal name that you wish to include on your official diploma but

    E-Print Network [OSTI]

    , passport, marriage license, social security card. If a degree has already been awarded, only a court order or more of the following pieces of identification: state driver's license or ID card, legal court document to be Awarded Bachelor's Master's/Doctorate Law/Medicine/Dentistry Term and Year of Award Year _________ Fall

  14. Medium negotiation, in or out of the power game in police institution: a case study of police check-up encounters in the An-Nan District of southern Taiwan 

    E-Print Network [OSTI]

    Lee, Wan-Hsuan

    2011-11-23

    Although research in bilingual studies has widely investigated language alternation in various settings, very few studies probe into bilingual conversation in specific institutional contexts, in which the power relations ...

  15. Virginia Institute of Marine Science Employee Check Out Form 08/04/14 This form must be signed, or an email attached from the authorized department representative listed below.

    E-Print Network [OSTI]

    Lewis, Robert Michael

    prior to processing your leave buyout. (See Instructions on Reverse) Chart of Accounts V Banner ID Date Resources, via VIMS Mail Room, leave buyout will not be processed. 1) 1. Cashier All cash advances

  16. We placed 102 seed traps at 12 levels along a 45-m high tower, with the three upper levels above the tallest trees (33 m). Traps were checked at weekly or biweekly intervals.

    E-Print Network [OSTI]

    Lauwereyns, Jan

    . We calculated statistics of wind velocities (vertical, longitudinal and lateral) inside the canopy at the study site), for at least 100 seeds per species. We incorporated temporal variation in wind conditions by running the model for all 1,271 half-hour averages of u* and wind direction recorded by the upper

  17. Enclosed is a confirmation that indicates the camp session(s) in which you have enrolled your child, receipt of payment, location of registration, and check-in times. This Summer Sports Camp News

    E-Print Network [OSTI]

    only) GOLF Golf shoes, clubs, bag, umbrella, rain gear, towel, sunscreen, swimsuit, 2 dozen golf balls

  18. Quality monitored distributed voting system

    DOE Patents [OSTI]

    Skogmo, D.

    1997-03-18

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

  19. Quality monitored distributed voting system

    DOE Patents [OSTI]

    Skogmo, David (Albuquerque, NM)

    1997-01-01

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

  20. March 9, 2011, Human Resource Services Office of Sustainability

    E-Print Network [OSTI]

    Sin, Peter

    a review of criminal records, reference checks, and verification of education. · Background Screening the end of FY · Dates will be communicated in April #12;Background Checks #12;Background Checks · Criminal

  1. San Joaquin River Up-Stream DO TMDL Project Task 4: Monitoring Study Interim Task Report #3

    E-Print Network [OSTI]

    2007-01-01

    to 08/18/06. Temperature Check 14 SLD Continuous monitoringto 08/18/06. Temperature Check 12 SLD Continuous monitoringto 08/18/06. Temperature Check 18 SLD Continuous monitoring

  2. Minor Change Procedure 9317 Number: Revision 01

    E-Print Network [OSTI]

    Nair, Sankar

    -survey operational checks on survey meter (e.g., battery, condition, and calibration due date checks). 6.1.2.2 Note

  3. PM PEM’s On-Road Investigation – With and Without DPF Equipped Engines

    E-Print Network [OSTI]

    Durbin, T; Jung, H; Cocker III, D R; Johnson, K

    2009-01-01

    with 6 connections). pass Propane CVS verification pass,FID PM balance PM filter temperature CVS propane check PMfilter sample flow propane check PM sample flow meter PM

  4. Department of Energy Office of Science Transportation Overview

    Office of Environmental Management (EM)

    and Development Sealed Sources: range from small calibration check sources to neutron gamma irradiation sources ll l b h k Small calibration check sources more common...

  5. BOSTON COLLEGE CHILDREN'S CENTER PARENT HANDBOOK 2014

    E-Print Network [OSTI]

    Huang, Jianyu

    .......................................................................................................... 5 Criminal Record and DSS check................................................................................................... 3 Children's Records and Assessment

  6. Disclaimer: The materials in this guide are provided for informational purposes only. The use of

    E-Print Network [OSTI]

    Sun, Yi

    ................................................................15 F. Part 6­Information for Criminal Records Check .................................................................3 a. Criminal Activity

  7. BOSTON COLLEGE CHILDREN'S CENTER PARENT HANDBOOK 2013-2014

    E-Print Network [OSTI]

    Huang, Jianyu

    .......................................................................................................... 5 Criminal Record and DSS check................................................................................................... 3 Children's Records and Assessment

  8. POST-DOCTORAL STUDENT GENERAL INFORMATION

    E-Print Network [OSTI]

    Dennett, Daniel

    ...............................................................8 CRIMINAL BACKGROUND CHECK POLICY.........................................................................................................................36 MEANINGFUL USE STATEMENT ­ ELECTRONIC HEALTH RECORDS (EHR

  9. Division of Human Resources Criminal History

    E-Print Network [OSTI]

    Meyers, Steven D.

    include a local criminal records check through local law enforcement agencies. The typical turnaround timeDivision of Human Resources Criminal History Background Check Procedures Questions (813) 9742970 HR Services/Background Checks Rev. 12/2012 Criminal History Background Check The University of South Florida

  10. Secondary Education Graduate Program Manual

    E-Print Network [OSTI]

    Hayden, Nancy J.

    Faculty 8 III: Field Experience Overview of Field Experience 9 Criminal Records Check 10 Requirements

  11. AFTER Trip Form Today's Date:________________ Name: ______________________________________________ Account # ____________________

    E-Print Network [OSTI]

    Indiana University

    If something was prepaid by IU, please provide original receipt *Remember to check "Notifications" in One

  12. FSU Thagard Student Health Center Nutrition Clinic Date: __________Sem_________ Year in School: ________ Sex: F M Age: ______ Ht: __________ Wt: _______ Race_________________________________________

    E-Print Network [OSTI]

    Weston, Ken

    ________________________ Check your nutrition-related concerns: aesthetic reasons anemia anorexia nervosa binge (indulge

  13. Restoration of aquatic habitat and fish passage degraded by widening of Indian Highway 58 in Garhwal Himalaya

    E-Print Network [OSTI]

    Sharma, Ramesh C.

    2005-01-01

    underground water penetration alongside endangered sections of the highway - Construction of check dams

  14. Team China Transforms Shipping Containers into a Solar-Powered House

    Broader source: Energy.gov [DOE]

    Team China is turning shipping containers into their 2011 Solar Deacthlon home design. Check it out!

  15. Verification and Performance Evaluation of Timed Game Strategies

    E-Print Network [OSTI]

    David, Alexandre

    statistical model checking to evaluate various performance aspects of the synthesized strategy. For this by or derived from model-checking. Two re- markable ones are controller synthesis and statistical model checking handling uncertainties of the environment. Statistical model- checking (SMC) [14], based on statistical

  16. 4-H Club Officer Handbook - Treasurer 

    E-Print Network [OSTI]

    Howard, Jeff W.

    2006-08-09

    tasks: making payments, writing checks, making deposits, preparing bank statements and keeping other records....

  17. Biology of the Pitvipers by J. A. Campbell; E. D. Brodie, Review by: Michael V. Plummer

    E-Print Network [OSTI]

    Plummer, Michael V.

    by checking all appropriately titled references in the bibli- ography. The inclusion of investigators' names

  18. POLICY NUMBER: 2001-03 September 24, 2009

    E-Print Network [OSTI]

    POLICY NUMBER: 2001-03 September 24, 2009 POLICY: BACKGROUND & SANCTIONS CHECKS POLICY STATEMENT to submit to a background check or sanctions check are not considered for employment, placement or engagement. All individuals about whom information is discovered through the background and sanctions checks

  19. OSC -DIRECT DEPOSIT OF SALARY ENROLLMENT/CHANGE/CANCELLATION FORM AC 2772 (Rev.6/04)

    E-Print Network [OSTI]

    Artemov, Sergei N.

    : Account Type 1. Savings Checking 2. Savings Checking 3. Savings Checking Add ()()()()() Chg ()()()()() Can in Section D. Section C: Must be completed by your Financial Institution if directing funds into a savings. NAME OF FINANCIAL INSTITUTION_________________________________Account Type Savings Checking Depositor

  20. Woody Biomass Harvesting and Processing Tax Credit (Corporate)

    Broader source: Energy.gov [DOE]

    Note: The application period for this program is closed, check the program website for future openings.