National Library of Energy BETA

Sample records for mediawiki wiki check

  1. How do I push or pull bulk wiki pages from OpenEI mediawiki instance...

    Open Energy Info (EERE)

    on this Please check out http:en.openei.orgcommunityblogopenei-downloadupload-automation-scripts Rmckeel on 10 October, 2012 - 11:00 Groups Menu You must login in order to...

  2. MediaWiki API

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

    euquery empty to list all external links Can be empty, or One value: http, https, ftp, irc, gopher, telnet, nntp, worldwind, mailto, news, svn, git, mms Default: euquery - Search...

  3. MediaWiki API

    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 ViewMayo, Maryland: Energy Resources Jump to:Electric Coop, IncSouthVirginia:Medford, Maine:xml

  4. Semantic Mediawiki | OpenEI Community

    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 SECTION J APPENDIX E LIST OFAMERICA'SHeavyAgency (IRENA)OptionsEquivalentBScirado BrasilSemantic Mediawiki

  5. V-236: MediaWiki CentralAuth Extension Authentication Bypass...

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

    an error when handling auto-logins and can be exploited to bypass the authentication mechanism by providing a valid username within the "centralauthUser" cookie. IMPACT: Security...

  6. MediaWiki Open-Source Software as Infrastructure for Electronic Resources Outreach

    E-Print Network [OSTI]

    Jackson, Millie; Blackburn, Jonathan D.; McDonald, Robert H.

    2007-01-01

    Jonathan Blackburn (MLIS) is the Web Development LibrarianRobert H. McDonald (MMus, MLIS) is the Project Manager for

  7. How do I push or pull bulk wiki pages from OpenEI mediawiki instance? |

    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 SECTION J APPENDIX E LISTStar2-0057-EA JumpDuimen RiverScoring Tool Jump to:Ethanol LLCJump to:|

  8. Semantic MediaWiki GeoChart | OpenEI Community

    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 SECTION J APPENDIX ECoop Inc Jump to:Newberg,EnergyEastCarbonOpenSchulthess GroupSmartSellafield

  9. V-236: MediaWiki CentralAuth Extension Authentication Bypass Vulnerability

    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 FuelsofProgram: Report1538-1950 TimelineUtility-Scale Solar throughVulnerabilityLogin|

  10. Discussion Boards, Blogs, Wikis & Journals Discussion Boards......................................................................................................................... 2

    E-Print Network [OSTI]

    Balasuriya, Sanjeeva

    MyUni - Discussion Boards, Blogs, Wikis & Journals Discussion Boards ............................................................................ 5 Blogs.............................................................................................................................................. 7 Create a Blog

  11. Campus Pack Blogs, Wikis & Journals August 2, 2014 Release

    E-Print Network [OSTI]

    Yorke, James

    Campus Pack Blogs, Wikis & Journals August 2, 2014 Release Campus Pack has introduced a new version Navigation Navigate through the wiki (blog, journal) pages by clicking the "Pages" button in the upper left. All of the pages will be listed. Click the "Add New Page" button to add pages to the blog, wiki

  12. Design wiki: a system for design sharing

    E-Print Network [OSTI]

    Design wiki: a system for design sharing Wael A. Abdelhameed, Yoshihiro Kobayashi #12;Wael of Bahrain. His research areas are 3D Modeling Systems, Computing Architecture, Virtual Reality, Design Process, Visual Design Thinking and Digital and Manual Media Interaction. Yoshihiro Kobayashi is a Faculty

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

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

  15. Impact of a dermatology wiki website on dermatology education

    E-Print Network [OSTI]

    2015-01-01

    end of your education? _______________________ What is yourwebsite on dermatology education *Chante Karimkhani BA 1 , *The Dermatology Education Wiki (dermwiki) website serves as

  16. Brede Wiki: Neuroscience data structured in a wiki Finn Arup Nielsen

    E-Print Network [OSTI]

    data can be extracted and represented in SQL. From an SQL database specialized search can be per and links. Links are constructed in the template definitions. #12;' & $ % SQL of template data SQL can in SQL. Two kinds of SQL tables are constructed from the Brede Wiki template data: 1. One master table

  17. NAMA Database Wiki | 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 SECTION J APPENDIX ECoop Inc Jump to: navigation,Mereg GmbHMontebalitoMtMxEnergyDatabase Wiki Jump to:

  18. ClimateTechWiki | 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:ProtectionClimateTechWiki Jump to:

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

  20. Web 2.0 Wiki technology : enabling technologies, community behaviors, and successful business techniques and models

    E-Print Network [OSTI]

    Davidi, Ilana

    2007-01-01

    Many technologies fall under the umbrella of what is commonly known as "Web 2.0," including the Wiki, a software product which allows multiple users to review and edit documents online. Like all Web 2.0 technologies, Wikis ...

  1. WikiSysop's blog | OpenEI Community

    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-EnhancingEtGeorgia: EnergyMaryland:MeadowWikiSysop's blog Home > Blogs WikiSysop's

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

  3. Teaching Engineering with Wikis* BUGRAHAN YALVAC and MEHMET C. AYAR

    E-Print Network [OSTI]

    Wilensky, Uri

    an asynchronous and egalitarian learning medium, to have students negotiate and construct knowledge, and to have environments offer to the traditional teaching-learning context is the online communication medium. Using is an epistemologically different practice from students writing individual papers. A wiki-supported learning environment

  4. A fielded wiki for personality genetics Finn rup Nielsen

    E-Print Network [OSTI]

    data from genetic association studies on Alzheimer, schizophre- nia and Parkinson diseasesA fielded wiki for personality genetics Finn Årup Nielsen DTU Informatics Technical University in the personality genetics domain. Papers in this domain typically report the mean and standard devi- ation

  5. One level deeper: Polymorphism wiki Finn Arup Nielsen

    E-Print Network [OSTI]

    ., 2008) about genes in Wikipedia on PLoS Biology web-site. 1 Details First name : Finn °Arup Last name of the encyclopedia. In a recent work ("Clustering Scientific Citations in Wikipedia", Wikimania conference 2008) I., and Su, A. I. (2008). A gene wiki for community annotation of gene function. PLoS Biology, 6(7):5175. 1

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

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

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

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

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

  11. An Investigation into the use of wikis for collaborative writing in L2 academic writing workshops. A pilot study 

    E-Print Network [OSTI]

    Chetty, Gillian

    2006-01-01

    Although public wikis have proven to be successful for collaborative writing projects, very few studies have investigated their use in L2 classes. This study sets out to explore the use of wikis for collaborative writing ...

  12. Assessing Collaborative Undergraduate Student Wikis and SVN with Technology-based Instrumentation

    E-Print Network [OSTI]

    Kim, Jihie

    Assessing Collaborative Undergraduate Student Wikis and SVN with Technology-based Instrumentation, involving the use of computer-based tools, including tools made available by the course instructor as well, a freely available revision control system, and Brainkeeper, a commercial Wiki product. Students also used

  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. mediawiki | OpenEI Community

    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 SECTION J APPENDIX ECoop IncIowa (UtilityMichigan)data book Homefuelleasing Homemaps Home Jweers'smax

  17. OpenEI Community - mediawiki

    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 SECTION J APPENDIXsourceII JumpQuarterly Smart Grid Data available for download onst,/0 enBigWaterResult

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

  19. T2Ku: Building a Semantic Wiki of Mathematics

    E-Print Network [OSTI]

    Pan, Minqi

    2012-01-01

    We introduce T2Ku, an open source project that aims at building a semantic wiki of mathematics featuring automated reasoning(AR) techniques. We want to utilize AR techniques in a way that truly helps mathematical researchers solve problems in the real world, instead of building another ambitious yet useless system. By setting this as our objective, we exploit pragmatic design decisions that have proven feasible in other projects, while still employs a loosely coupled architecture to allow better inference programs to be integrated in the future. In this paper, we state the motivations and examine state-of-the-art systems, why we are not satisfied with those systems and how we are going to improve. We then describe our architecture and the way we implemented the system. We present examples showing how to use its facilities. T2Ku is an on-going project. We conclude this paper by summarizing the development progress and encouraging the reader to join the project.

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

  1. From Exam to Education: The Math Exam/Educational Resources wiki

    E-Print Network [OSTI]

    Fournier, John J.F.

    From Exam to Education: The Math Exam/Educational Resources wiki Abstract: The Math Educational), aimed at providing math education resources for students and instructors at UBC. In this paper, we, and a brief description of how the project was implemented. Keywords: educational learning resource, exam

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

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

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

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

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

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

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

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

  10. OpenEI Community - Semantic Mediawiki

    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 SECTION J APPENDIX ECoop Inc Jump to:Newberg, Oregon:OGE EnergyOklahoma: EnergyOpenOpenEIper39/0 en City

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Xie, Xiaoliang Sunney

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

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

  8. Oil reserves -Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Oil_reserves 1 of 14 5/16/2006 2:49 AM

    E-Print Network [OSTI]

    Dahlquist, Kam D.

    Oil reserves - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Oil_reserves 1 of 14 5/16/2006 2:49 AM Oil reserves From Wikipedia, the free encyclopedia Oil reserves refer to portions of oil in place that are recoverable under economic constraints. In comparison, oil in place, or STOOIP, meaning

  9. The SolarWiki Solar energy is the only inexhaustible energy source abundant enough to satisfy all the energy needs of our planet, but

    E-Print Network [OSTI]

    The SolarWiki Solar energy is the only inexhaustible energy source abundant enough to satisfy all the energy needs of our planet, but is only practical if an extensive solar-based infrastructure can of this infrastructure that efficiently harnesses solar energy is one of the greatest scientific, technological, economic

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

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

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

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

  14. Alan J. H. McGaughey and Jeremy J. Michalek Department of Mechanical Engineering, Carnegie Mellon University

    E-Print Network [OSTI]

    McGaughey, Alan

    provides (i) logistical benefits to the instructor compared to a traditional web page, and (ii capabilities and high operational reliability; 2. the installation and maintenance processes are simple, maintenance, and updating; and 4. MediaWiki offers an integrated math-formula display function similar

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

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

    SciTech Connect (OSTI)

    MISKA, C.R.

    2000-10-23

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  10. Semantic Mediawiki Semantic Forms update | OpenEI Community

    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 SECTION J APPENDIX ECoop Inc Jump to:Newberg,EnergyEastCarbonOpenSchulthess GroupSmartSellafieldSemantic

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  9. Optimizing ZigBee Security using Stochastic Model Checking

    E-Print Network [OSTI]

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

    2012-01-01

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

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

    E-Print Network [OSTI]

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

    2012-01-01

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  18. wiki | OpenEI Community

    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 SECTION J APPENDIX E LIST OFAMERICA'SHeavyAgencyTendo NewYanbu, Saudideveloper Homeroadmap Homeutilitywiki

  19. OpenEI Community - wiki

    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 SECTION J APPENDIX ECoop Inc Jump to:Newberg, Oregon:OGE EnergyOklahoma:Visualizing OpenEIHow to create

  20. A 200 kyr Pleistocene Lacustrine Record from the Valles Caldera...

    Open Energy Info (EERE)

    cannot be used as a page name in this wiki.; 09192007 Published New Mexico Geological Society, 2007 DOI Not Provided Check for DOI availability: http:...

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

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

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

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

    E-Print Network [OSTI]

    TOTAL 15 TOTAL 16 2nd Year Fall 2nd Year Spring 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

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

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

    E-Print Network [OSTI]

    TOTAL 15 TOTAL 16 2nd Year Fall 2nd Year Spring 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

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

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

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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Howat, Ian M.

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

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

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

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

  12. MediaWiki:Mainpage | 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 ViewMayo, Maryland: Energy Resources Jump to:Electric Coop, IncSouthVirginia:Medford,Mainpage Jump

  13. MediaWiki:Sidebar | 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 ViewMayo, Maryland: Energy Resources Jump to:Electric Coop,

  14. Nama Database Wiki | 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 ViewMayo, Maryland:NPI Ventures Ltd Jump to: navigation, search59Naknek, Alaska: Energy

  15. MediaWiki:Addsection | 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 SECTION J APPENDIX ECoop Inc Jump to: navigation, searchScotland JumpPlantationBiofuelOregon:

  16. MediaWiki:Edit | 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 SECTION J APPENDIX ECoop Inc Jump to: navigation, searchScotland JumpPlantationBiofuelOregon:Edit Jump to:

  17. MediaWiki:Ipboptions | 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 SECTION J APPENDIX ECoop Inc Jump to: navigation, searchScotland JumpPlantationBiofuelOregon:Edit

  18. MediaWiki:Recentchangestext | 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 SECTION J APPENDIX ECoop Inc Jump to: navigation, searchScotlandRecentchangestext Jump to: navigation,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  3. foldal blogok frumok szavazsok HupWiki /frum friss

    E-Print Network [OSTI]

    Bencsáth, Boldizsár

    IRC A HUP hivatalos IRC csatornája, a #hup.hu Címlap Egy hónapja ismert a Kaminsky-DNS probléma - hol

  4. Wiki(pedia) and neuroinformatics Finn Arup Nielsen

    E-Print Network [OSTI]

    , Polen, Tyskland, Belgien, Estland 2006: Skabelon:Aktuelle begivenheder 2006, FC København, Fodbold, Tour

  5. Implementation of a Multilevel Wiki for Cross-Domain Collaboration

    E-Print Network [OSTI]

    Information Grid (GIG) vision calls for a highly flexible multilevel environment. The Monterey Security

  6. MediaWiki:Deletereason-dropdown | 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 ViewMayo, Maryland: Energy Resources Jump to:Electric Coop, IncSouthVirginia:Medford,

  7. MediaWiki:Mainpage-description | 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 ViewMayo, Maryland: Energy Resources Jump to:Electric Coop, IncSouthVirginia:Medford,Mainpage

  8. MediaWiki:Smw import foaf | 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 ViewMayo, Maryland: Energy Resources Jump to:Electric Coop,Smw import foaf Jump to: navigation,

  9. Montana 319 Projects (Nonpoint Source Programs) Wiki | Open Energy

    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 ViewMayo, Maryland: Energy ResourcesDec(Pritchett, 2004)Michigan: EnergyNew0 Permit Database

  10. Montana Total Maximum Daily Load Development Projects Wiki | Open Energy

    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 ViewMayo, Maryland: Energy ResourcesDec(Pritchett,GroundwaterEnergy.10Open EnergyInformation

  11. Montana Watershed Restoration Plans Wiki | 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 ViewMayo, Maryland: EnergyInformation Montana Watershed Protection Section Contacts

  12. MediaWiki:Hidden-category-category | 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 SECTION J APPENDIX ECoop Inc Jump to: navigation, searchScotland JumpPlantationBiofuelOregon:Edit Jump

  13. MediaWiki:Ipbreason-dropdown | 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 SECTION J APPENDIX ECoop Inc Jump to: navigation, searchScotland

  14. MediaWiki:Pagedescription-view-mainpage | 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 SECTION J APPENDIXsource HistoryScenariosMarysville Mt GeothermalMaunaInformation

  15. MediaWiki:Pagetitle-view-mainpage | 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 SECTION J APPENDIXsource HistoryScenariosMarysville Mt

  16. Wiki-based Techno Economic Analysis of a Lignocellulosic Biorefinery -

    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 WithTelecentricNCubicthe FOIA? The FOIA,DepartmentWhoWhy:

  17. Powerpedia Games Encourages Employees to Enhance Internal Wiki | Department

    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 PartiesBuilding energyDepartment ofofWednesday, April 29,Powering the Futureof

  18. Geothermal Exploration Case Studies on OpenEI (Presentation)

    SciTech Connect (OSTI)

    Young, K.; Bennett, M.; Atkins, D.

    2014-03-01

    The U.S. Geological Survey (USGS) resource assessment (Williams et al., 2008) outlined a mean 30 GWe of undiscovered hydrothermal resource in the western United States. One goal of the U.S. Department of Energy's (DOE) Geothermal Technology Office (GTO) is to accelerate the development of this undiscovered resource. DOE has focused efforts on helping industry identify hidden geothermal resources to increase geothermal capacity in the near term. Increased exploration activity will produce more prospects, more discoveries, and more readily developable resources. Detailed exploration case studies akin to those found in oil and gas (e.g. Beaumont and Foster, 1990-1992) will give developers central location for information gives models for identifying new geothermal areas, and guide efficient exploration and development of these areas. To support this effort, the National Renewable Energy Laboratory (NREL) has been working with GTO to develop a template for geothermal case studies on the Geothermal Gateway on OpenEI. In 2012, the template was developed and tested with two case studies: Raft River Geothermal Area (http://en.openei.org/wiki/Raft_River_Geothermal_Area) and Coso Geothermal Area (http://en.openei.org/wiki/Coso_Geothermal_Area). In 2013, ten additional case studies were completed, and Semantic MediaWiki features were developed to allow for more data and the direct citations of these data. These case studies are now in the process of external peer review. In 2014, NREL is working with universities and industry partners to populate additional case studies on OpenEI. The goal is to provide a large enough data set to start conducting analyses of exploration programs to identify correlations between successful exploration plans for areas with similar geologic occurrence models.

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

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

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

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

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

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

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

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

  7. Home News Blogs Forums Wiki Members More Current page: News / News

    E-Print Network [OSTI]

    Leigh, David A.

    & Phosphating degreasers and surface treatment for metal glass rubber plastic etc www to make artifici muscles, surfaces that change their properties in response to electricity or light Properties Database Ion Beam Parts & Acces Mark I/II, Drichuk, Hollow Cathode, CSC Platens, Filame Mung. Page

  8. Exploring Volunteered Geographic Information (VGI) for Emergency Management: Toward a Wiki GIS Framework 

    E-Print Network [OSTI]

    Xu, Chen

    2011-10-21

    The past three years have witnessed unprecedented growth of user-generated volunteered geographic information (VGI) on the Web. Although scholars, decision makers, and citizens have recognized the potential value of VGI in emergency management...

  9. Het Maritieme Waarnemers logbook "WikiLog" Sarah North, UK Met Office & Frits Koek, KNMI

    E-Print Network [OSTI]

    Koek, Frits

    door een vallende ster of een UFO die langs de nachtelijke hemel vloog of werd uw schip omgeven door

  10. WikiPop -Personalized Event Detection System Based on Wikipedia Page View Statistics

    E-Print Network [OSTI]

    Nørvåg, Kjetil

    effectively notify him about the upcoming release of the documentary film re- lated to his favorite artist

  11. Calling on a million minds for community annotation in WikiProteins

    E-Print Network [OSTI]

    Mons, Barend; Ashburner, Michael; Chichester, Christine; van Mulligen, Erik; Weeber, Marc; den Dunnen, Johan T.; Musen, Marc; Cockerill, Matthew; Hermjakob, Henning; Packer, Abel; Pacheco, Roberto; Lewis, Suzanna; Berkeley, Alfred; Melton, William; Barris, Nickolas; Borner, Katy; Meijssen, Gerard; Moeller, Erik; Roes, Peter Jan; Mons, Albert; van Ommen, Gert; Wales, Jimmy; Bairoch, Amos

    2008-05-28

    -etching primers such as 'Clearfil Liner Bond 2' [PMID: 9522695, 12601887], on the Clb1 gene in the fungal pathogen Ustilago maydis [PMID: 14679309] and on cal- cineurin B-like proteins, such as CLB1 in Arabidopsis [PMID: 14617077]. For computational meta... profile' has been constructed and, subsequently, an Author Knowlet. These will be augmented by a highly curated database from Latin America, CV Lattes [27], which contains considerable overlap with the PubMed Author collection, but will also enrich...

  12. How to create formatted blocks to hold OpenEI wiki content | OpenEI

    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 SECTION J APPENDIX E LISTStar2-0057-EA JumpDuimen RiverScoring Tool Jump to:Ethanol LLCJump to:|Develop

  13. Sandia Energy - Key Hydrogen Report Now Available on OpenEnergyInfo Wiki

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust, High-Throughput Analysis ofSample SULIColinEnergyComputationalJBEI(Jon)JoshuaKelley

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

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

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

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

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

  19. Specifying and Checking Unix Security Constraints

    E-Print Network [OSTI]

    Tygar, Doug

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

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

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

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

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

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

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

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

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

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

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

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

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

  12. Geothermal Regulatory Roadmap | OpenEI Community

    Open Energy Info (EERE)

    developer Type Term Title Author Replies Last Post sort icon Blog entry developer New Robust References Jweers 1 8 Aug 2013 - 09:12 Blog entry developer Semantic Mediawiki...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  18. CONTENT MODEL HOW-TO

    Energy Science and Technology Software Center (OSTI)

    003241MLTPL00 Content Model Guidelines  https://github.com/usgin/usginspecs/wiki/Content-Model-Guidelines 

  19. Wiki-based Tool for Requirements Engineering according to the ProjectIT Approach David de Almeida Ferreira, and Alberto Rodrigues da Silva

    E-Print Network [OSTI]

    da Silva, Alberto Rodrigues

    , inconsistent, incomplete, or ambiguous requirements, outcome in quality problems and high costs to correct them with failure, or even abandoned. Studies on soft- ware's quality emphasize that many of these aspects could be eliminated, or at least mitigated, if given more attention to the early stages of the process, such as those

  20. Practical Session -Grid'5000 Spring School 2010 Thursday, 8th April 2010 Put some Green in your Grid'5000 experiments

    E-Print Network [OSTI]

    Lefèvre, Laurent

    Practical Session - Grid'5000 Spring School 2010 Thursday, 8th April 2010 Put some Green in your Grid'5000 experiments https://www.grid5000.fr/mediawiki/index.php/Put_Some_Green_In_Your_Experiments Introduction This practical session is focused on energy aspects in Grid'5000. This session is based on the 150

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

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

  3. New Technologies Power Wearable Devices through Body Power or...

    Open Energy Info (EERE)

    New Technologies Power Wearable Devices through Body Power or the Environment Home > Groups > No Battery Wearables WikiSysop's picture Submitted by WikiSysop(15) Member 12 August,...

  4. Erin Gill, city of Knoxville sustainability director, on Aug...

    Open Energy Info (EERE)

    Erin Gill, city of Knoxville sustainability director, on Aug. 13, 2014, explains a competition entered by the city with a 5 mil Home WikiSysop's picture Submitted by WikiSysop(15)...

  5. TRL Computer System User’s Guide

    SciTech Connect (OSTI)

    Engel, David W.; Dalton, Angela C.

    2014-01-31

    We have developed a wiki-based graphical user-interface system that implements our technology readiness level (TRL) uncertainty models. This document contains the instructions for using this wiki-based system.

  6. SEDS

    Energy Science and Technology Software Center (OSTI)

    002859IBMPC00 Stochastic Energy Deployment System (SEDS) World Oil Model (WOM)  https://seds.nrel.gov/wiki/OilModule 

  7. mutation and crossover for texts! CAUSAL TREES

    E-Print Network [OSTI]

    de Weerdt, Mathijs

    control for wikis Victor Grishchenko, Ural State University, Russia 001 000 T 000 000 002 001 e 005 003

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  11. Jefferson Lab Experimental Hall D

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

    Information Hall D General Information Hall D Meetings Calendar (Regina) Hall D Civil - selected drawings (pdf) Hall D Basic Equipment Description on Hall D Wiki JLab Experimental...

  12. FOAMSearch.net: A custom search engine for emergency medicine and critical care

    E-Print Network [OSTI]

    2015-01-01

    of free online educational resources by Canadian emergencya rapid expansion 1 and educational resources are becom- ingmany novel medical educational resources such as wikis,

  13. CONTENT MODEL HOW-TO

    Energy Science and Technology Software Center (OSTI)

    003240MLTPL00 Defining a new information exchange  https://github.com/usgin/usginspecs/wiki/Defining-New-Information-Exchanges-and-Editing-Existing-Exchanges 

  14. Chemistry Archive Draft Catalogue ACKNOWLEDGMENTS

    E-Print Network [OSTI]

    Chan, Hue Sun

    .ieeeghn.org/wiki/index.php/Oral-History:Joseph_Giordmaine Dr Penny McLeod-Smith (donation of glassware, burners, etc. (IMGs 4419-4429)) Colin Bayley papers

  15. Mechanical and Electrical Properties of Modified Graphene Devices

    E-Print Network [OSTI]

    ZHANG, HANG

    2012-01-01

    works demonstrate that modified graphene structures providehttp://en.wikipedia.org/wiki/Graphene#Potential_applicationsin detail sample (graphene) preparation, localization and

  16. Personnaliser son environnement GNU/Linux TP / TD

    E-Print Network [OSTI]

    Richer, Jean-Michel

    -tools) et faites une capture d'écran d'une arborescence dépliée. http://doc.fedora-fr.org/wiki/GNOME_3

  17. SAS Honors Seminar 259: Extraterrestrial Life

    E-Print Network [OSTI]

    Baker, Andrew J.

    (s) on at least some of your subject matter #12; Again: Wikipedia is not a reference! http://en.wikipedia.org/wiki/Roswell_UFO

  18. SAS Honors Seminar 256: Extraterrestrial Life

    E-Print Network [OSTI]

    Baker, Andrew J.

    (s) on at least some of your subject matter #12; Again: Wikipedia is not a reference! http://en.wikipedia.org/wiki/Roswell_UFO

  19. JLab Users Group

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

    UserResearcher Information print version UG Resources Background & Purpose Users Group Wiki By Laws Board of Directors Board of Directors Minutes Directory of Members Events...

  20. Laser Inertial Fusion-based Energy: Neutronic Design Aspects of a Hybrid Fusion-Fission Nuclear Energy System

    E-Print Network [OSTI]

    Kramer, Kevin James

    2010-01-01

    outlook, October 2007. 1.1 [3] Peak oil wikipedia, the freeen.wikipedia.org/wiki/Peak_oil#cite_note-mkinghubbert1956-0.

  1. Developing our human capital : a mixed-method study of teacher use of online communities

    E-Print Network [OSTI]

    Clark, Rebecca Peterson

    2010-01-01

    through use of technology (blogs, wikis, forums, Moodle anda variety of technologies including nings, blogs, forums anddown menus. Technology tools such as media, blogs, groups,

  2. Talking Math, Blogging Math

    E-Print Network [OSTI]

    Mathews, Linda Marie

    2009-01-01

    that technology such as discussion boards and blogs allowthat technology such as discussion boards and blogs allowblogs, wikis, podcasts, and other emerging web technologies.

  3. Feasibility of Tablet Computer Screening for Opioid Abuse in the Emergency Department

    E-Print Network [OSTI]

    Weiner, Scott G.; Horton, Laura C.; Green, Traci C.; Butler, Stephen F.

    2015-01-01

    Wikipedia. App Inventor for Android. Available at: http://org/wiki/App_Inventor_for_Android. Accessed Oct 15, 2014.inch tablet running the Android operating system (PC709

  4. Statistics and the Modern Student

    E-Print Network [OSTI]

    Gould, Robert

    2010-01-01

    en.wikipedia.org/wiki/Citizen_science, viewed May 23, 2010).citizen scientist" has been in use long enough in science

  5. Statistics and the Modern Student

    E-Print Network [OSTI]

    Robert Gould

    2011-01-01

    en.wikipedia.org/wiki/Citizen_science, viewed May 23, 2010).citizen scientist" has been in use long enough in science

  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