Sample records for operational checks meet

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

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

    E-Print Network [OSTI]

    Heinemann, Detlev

    , shading by surrounding objects, or inverter errors lead to energy losses that can be high and costly method to avoid unnecessary energy losses and therefore prevents operators from decisive financial losses a technical description of the PV system once to the PVSAT-2 service. This description contains the major

  3. A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking

    E-Print Network [OSTI]

    Tomita, Takashi; Yonezaki, Naoki; 10.4204/EPTCS.73.9

    2011-01-01T23:59:59.000Z

    Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively. In PCTL and CSL, the possibility of executions satisfying some temporal properties can be quantitatively represented by the probabilistic extension of the path quantifiers in their basic Computation Tree Logic (CTL), however, path formulae of them are expressed via the same operators in CTL. For this reason, both of them cannot represent formulae with quantitative temporal properties, such as those of the form "some properties hold to more than 80% of time points (in a certain bounded interval) on the path." In this paper, we introduce a new temporal operator which expressed the notion of frequency of events, and define probabilistic frequency temporal logic (PFTL) based on CTL\\star. As a result, we can easily represent the temporal properties of behavior in probabilistic systems. However, it is difficult to...

  4. Operating Staff Council Meeting Minutes Wednesday, July 14, 2010

    E-Print Network [OSTI]

    New Hampshire, University of

    Aviza, Ann Boylan, Slava Bruder (Vice Chair), Lisa Canfield, Monique Couillard (Chair), Laurrie Anne Bylaws. Discuss, revise/vote on any changes. #12;Monique suggested we look over the bylaws of the Operating Staff Council (last revised in Aug. 2008). Any changes to the bylaws require a 2/3 majority vote

  5. Check valve

    DOE Patents [OSTI]

    Upton, H.A.; Garcia, P.

    1999-08-24T23:59:59.000Z

    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.

  6. Check valve

    DOE Patents [OSTI]

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

    1999-08-24T23:59:59.000Z

    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.

  7. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image of RodDepartmentMeetingsMeetings

  8. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings Sign In AboutMeetings

  9. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings Sign InMeetings Sign

  10. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image of RodDepartmentMeetings Sign In

  11. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image of RodDepartmentMeetings Sign

  12. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image of RodDepartmentMeetings

  13. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings Sign In About |

  14. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings Sign In About

  15. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings Sign In

  16. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |IsLove Your Home andDispositionMechanicalAbout Us >Meet

  17. Thayer Council Meeting January 25, 2011

    E-Print Network [OSTI]

    Lotko, William

    system. Renovating the MEMC website. TCC TOC and TFC to start new websites. o Operations club ­ new club increased to 5 days a week. New products launched. Check out the website! · Energy Journal Club o Tour to provide funds. If not will vote at next meeting. TABLED. 3. Dartmouth Energy Journal Club a. $100 for 2

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

  19. Trip report, Interagency Manufacturing Operations Group (IMOG) Steering Committee meeting, November 29, 1989

    SciTech Connect (OSTI)

    Butterworth, R.R.

    1989-12-06T23:59:59.000Z

    As the Subgroup Chairman for the Process Automation Control Technology Subgroup of IMOG, I was requested to attend the annual Steering Committee Meeting held this year at the Allied-Signal Kansas City Plant and summarize the past year's activities of the Subgroup. The next IMOG Steering Committee Meeting will be held November 14 and 15, 1990 in Los Alamos. The next Process Automation Control Technology Subgroup Meeting will be held in June, 1990 in Rocky Flats.

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

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

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

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

  4. PURPOSE: This product provides simulation capabilities to allow water resource managers to meet operational and water quality objectives in a basin wide approach under the System-Wide

    E-Print Network [OSTI]

    US Army Corps of Engineers

    Manage- ment System (CWMS). ERDC TN-SWWRP-11-2 February 2011 Meeting Water Quality and Water Control operational and water quality objectives in a basin wide approach under the System-Wide Water Resources the impact of water quality in reservoir operations system decision-making. As a result, integration

  5. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Yuan Feng; Nengkun Yu; Mingsheng Ying

    2013-11-14T23:59:59.000Z

    Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations. So, it is indispensable to develop techniques of verifying and debugging quantum cryptographic systems. Model-checking has proved to be effective in the verification of classical cryptographic protocols, but an essential difficulty arises when it is applied to quantum systems: the state space of a quantum system is always a continuum even when its dimension is finite. To overcome this difficulty, we introduce a novel notion of quantum Markov chain, specially suited to model quantum cryptographic protocols, in which quantum effects are entirely encoded into super-operators labelling transitions, leaving the location information (nodes) being classical. Then we define a quantum extension of probabilistic computation tree logic (PCTL) and develop a model-checking algorithm for quantum Markov chains.

  6. Model checking quantum Markov chains

    E-Print Network [OSTI]

    Feng, Yuan; Ying, Mingsheng

    2012-01-01T23:59:59.000Z

    Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations. So, it is indispensable to develop techniques of verifying and debugging quantum cryptographic systems. Model-checking has proved to be effective in the verification of classical cryptographic protocols, but an essential difficulty arises when it is applied to quantum systems: the state space of a quantum system is always a continuum even when its dimension is finite. To overcome this difficulty, we introduce a novel notion of quantum Markov chain, specially suited to model quantum cryptographic protocols, in which quantum effects are entirely encoded into super-operators labelling transitions, leaving the location information (nodes) being classical. Then we define a quantum extension of probabilistic computation tree logic (PCTL) and develop a model-checking algorithm for quantum Markov c...

  7. W02106010008 rock check dam

    E-Print Network [OSTI]

    W-SMA-14.1 5.169 Acres W02106010008 rock check dam W02106010009 rock check dam W02106010010 rock check dam W02106010011 rock check dam W02106010012 rock check dam W02103010018 earthen berm W02103010016 dam Established vegetation Seed and mulch Sediment trap/basin Gabion Cap SWMU boundary SMA drainage

  8. International Topical Meeting on Nuclear Thermal-Hydraulics, Operation and Safety (NUTHOS-9) N9P0302 Kaohsiung, Taiwan, September 9-13, 2012

    E-Print Network [OSTI]

    Haviland, David

    The 9th International Topical Meeting on Nuclear Thermal-Hydraulics, Operation and Safety (NUTHOS-9 Kudinov Division of Nuclear Power Safety, Royal Institute of Technology (KTH), Roslagstullsbacken 21, SE proportional to terminal melt spread thickness. At certain thickness, the melt layer becomes non

  9. STEP Intern Reference Check Sheet

    Broader source: Energy.gov [DOE]

    STEP Intern Reference Check Sheet, from the Tool Kit Framework: Small Town University Energy Program (STEP).

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

  11. Nuclear Physics: Meetings

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

    Talks Archived Talks Additional Information Computing at JLab Operations Logbook Physics Topics: Meetings Talks given at the Science & Technology Review 2004 Larry Cardman:...

  12. Check Estimates and Independent Costs

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

    1997-03-28T23:59:59.000Z

    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.

  13. Accumulation of operational history through emulation test to meet proven technology requirement for newly developed I and C technology

    SciTech Connect (OSTI)

    Yeong Cheol, Shin; Sung Kon, Kang [Nuclear Environment Technology Institute (NETEC), Korea Hydro and Nuclear Power(KHNP) P.O. Box Youseong-gu Daejeon (Korea, Republic of); Han Seong, Son [ENESYS Co., Ltd. 3F, Pianetta Bldg., 337-2, Jangdae-dong, Yuseong-gu, Daejeon (Korea, Republic of)

    2006-07-01T23:59:59.000Z

    As new advanced digital I and C technology with potential benefits of higher functionality and better cost effectiveness is available in the market, NPP (Nuclear Power Plant) operators are inclined to use the new technology for the construction of new plant and the upgrade of existing plants. However, this new technology poses risks to the NPP operators at the same time. These risks are mainly due to the poor reliability of newly developed technology. KHNP's past experiences with the new equipment shows many cases of reliability problems. And their consequences include unintended plant trips, lowered acceptance of the new digital technology by the plant I and C maintenance crew, and increased licensing burden in answering for questions from the nuclear regulatory body. Considering the fact that the risk of these failures in the nuclear plant operation is far greater than those in other industry, nuclear power plant operators want proven technology for I and C systems. This paper presents an approach for the emulation of operational history through which a newly developed technology becomes a proven technology. One of the essential elements of this approach is the feedback scheme of running the new equipment in emulated environment, gathering equipment failure, and correcting the design(and test bed). The emulation of environment includes normal and abnormal events of the new equipment such as reconfiguration of control system due to power failure, plant operation including full spectrum of credible scenarios in an NPP. Emulation of I and C equipment execution mode includes normal operation, initialization and termination, abnormal operation, hardware maintenance and maintenance of algorithm/software. Plant specific simulator is used to create complete profile of plant operational conditions that I and C equipment is to experience in the real plant. Virtual operating crew technology is developed to run the simulator scenarios without involvement of actual operators at the emulated environment. Verification and validation are performed for detecting problems of the new technology. Verification of the equipment is done in two ways, one is to evaluate the features of the equipment according to the criteria derived from good practices of well proven I and C products and the second is to evaluate the features of the equipment by I and C experts. Validations are done in two ways, one is to validate the functions and performance of the equipment and the other is to validate the robustness of the equipment by accumulation operational experience. (authors)

  14. Public Meetings

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

    Public Meetings Individual Permit: Public Meetings Subscribe to receive notifications for semiannual Individual Permit for Storm Water public meetings. Contact Environmental...

  15. Expression equivalence checking using interval analysis

    E-Print Network [OSTI]

    Ghodrat, Mohammad Ali; Givargis, Tony; Nicolau, Alex

    2006-01-01T23:59:59.000Z

    Z. Zhou and W. Burleson, “Equivalence checking of datapathsusing combinational equivalence for extensible processor,”et al. : EXPRESSION EQUIVALENCE CHECKING USING INTERVAL

  16. An Overview of strategic measures to assess workforce needs and ensure technology transfer to meet current and future nuclear power operations

    SciTech Connect (OSTI)

    Vincenti, J.R. [acuri.net, 1344 Curtin Street, State College, PA (United States); Stigers, R.A. [Senior Health Physicist-Radwaste, PPL Susquehanna, Berwick, PA (United States)

    2007-07-01T23:59:59.000Z

    Between 1956 and 1989, the number of operating commercial nuclear power plants in the United States increased from none to 109. With the exception of a few plants that were still in final construction, no new nuclear power plants were ordered in the United States as the new millennium began. In 2005, the federal government pronounced the need for new electric power generating systems during the first quarter of the 21. century. The need comes from a desire to curb our reliance on fossil fuels, as well as to provide for a cleaner environment. One of those fuel systems noted was nuclear energy. Given the time between the last active period of nuclear power plant development and construction, there is a need to supply a talented and well-prepared workforce to operate the new plants. It will also be necessary to assess the needs of our current fleet of operating nuclear power plants, of which many are in the process of re-licensing, yet also facing an aging plant workforce. This paper will review and discuss measures to assess diverse workforce needs and technology transfer to meet current licensing requirements as that of future nuclear power plant development in the United States. (authors)

  17. Integrity Checking for Uncertain Data Hendrik Decker

    E-Print Network [OSTI]

    Martinenghi, Davide

    , and to check them by making use of well-known methods for integrity checking. In the remainder of the paper, weIntegrity Checking for Uncertain Data Hendrik Decker Instituto Tecnol´ogico de Inform´atica E as semantic integrity constraints. Thus, imposing and checking such constraints provides a better control over

  18. Pet Groomer? Check this out....

    E-Print Network [OSTI]

    New Hampshire, University of

    Want to be a Pet Groomer? Check this out.... Costs for Students Registering through UNH Continuing. For more information and an application, contact: Thompson School of Applied Science Pet Grooming Diploma Program in Pet Grooming University of New Hampshire Thompson School of Applied Science Applied Animal

  19. Panel: Microgrid Research and Field Testing IEEE PES General Meeting, 24-28 June 2007, Tampa, FL 1 In general, a microgrid can operate in both the grid-connected

    E-Print Network [OSTI]

    Panel: Microgrid Research and Field Testing IEEE PES General Meeting, 24-28 June 2007, Tampa, FL 1 Abstract In general, a microgrid can operate in both the grid-connected mode and the islanded mode where the microgrid is interfaced to the main power system by a fast semiconductor switch called static switch, (SS

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

  1. Model-Checking A Tutorial Introduction

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Model-Checking A Tutorial Introduction Markus M¨uller-Olm1 , David Schmidt2 , and Bernhard Steffen1

  2. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

    University of Edinburgh Edinburgh EH9 3JZ, UK email: cps@uk.ac.ed.dcs 1 Introduction Model checking is a very to view this method as essentially algorithmic, and consequently a very fruitful relationship between that in the nite-state case these two approaches, model checking as essentially algorithmic and model checking

  3. Local Model Checking Games (Extended Abstract)

    E-Print Network [OSTI]

    Stirling, Colin

    University of Edinburgh Edinburgh EH9 3JZ, UK email: cps@uk.ac.ed.dcs 1 Introduction Model checking is a very to view this method as essentially algorithmic, and consequently a very fruitful relationship between that in the finite­state case these two approaches, model checking as essentially algorithmic and model checking

  4. Dynamic Testing of Check Valves William Rahmeyer

    E-Print Network [OSTI]

    Rahmeyer, William J.

    the web site http://www.engineering.usu.edu/Departments/cee/Faculty/rahm/check.html INTRODUCTION The twoDynamic Testing of Check Valves William Rahmeyer Professor of Civil and Environmental Engineering rahmeyer@fs.uwrl.usu.edu http://www.engineering.usu.edu/Departments/cee/Faculty/rahm/check.html #12

  5. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)IntegratedSpeeding access toTestPhysicsParticipantsPartnersC.Payroll Check Direct

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

  7. Static Consistency Checking for Distributed Specifications

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Static Consistency Checking for Distributed Specifications Christian Nentwich, Wolfgang Emmerich, UK {c.nentwich,w.emmerich,a.finkelstein}@cs.ucl.ac.uk Abstract Software engineers building a complex

  8. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

    Fortuna: Model Checking Priced Probabilistic Timed Automata Jasper Berendsen, David N. Jansen.O. Box 9010, 6500 GL Nijmegen, the Netherlands Abstract. We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real

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

  10. 2011 Meeting

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

    and accuracy of nuclide transport models implemented in the Cyder repository analysis library. 2012 Fuel Cycle Technologies Annual Review Meeting Transactions Report 54 4.4...

  11. Meeting Residential Ventilation Standards

    E-Print Network [OSTI]

    ventilation standards, including American Society of Heating, Refrigerating, and Air-conditioning EngineersLBNL 4591E Meeting Residential Ventilation Standards Through Dynamic Control of Ventilation Systems (ASHRAE) Standard 62.2, specify continuous operation of a defined mechanical ventilation system to provide

  12. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are8COaBulkTransmissionSitingProcess.pdf Jump to:ar-80m.pdf Jump to: navigation,camdirsept.pdf JumpNotify98.pdf

  13. SMT-based Bounded Model Checking with Difference Logic Constraints

    E-Print Network [OSTI]

    Bersani, Marcello M; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; Pietro, Pierluigi San

    2010-01-01T23:59:59.000Z

    Traditional Bounded Model Checking (BMC) is based on translating the model checking problem into SAT, the Boolean satisfiability problem. This paper introduces an encoding of Linear Temporal Logic with Past operators (PLTL) into the Quantifier-Free Difference Logic with Uninterpreted Functions (QF-UFIDL). The resulting encoding is a simpler and more concise version of existing SATbased encodings, currently used in BMC. In addition, we present an extension of PLTL augmented with arithmetic relations over integers, which can express unbounded counters; as such, the extended logic is more expressive than PLTL. We introduce suitable restrictions and assumptions that are shown to make the verification problem for the extended logic decidable, and we define an encoding of the new logic into QF-UFIDL. Finally, a performance comparison with the SAT-based approach on purely PLTL examples shows significant improvements in terms of both execution time and memory occupation.

  14. Completeness and Complexity of Bounded Model Checking #

    E-Print Network [OSTI]

    Ouaknine, Joël

    of an exponent between this procedure and standard LTL model checking. We discuss ways to bridge this gap by the Semiconductor Research Corporation (SRC) under contract no. 99­TJ­684, the National Science Foundation (NSF

  15. Completeness and Complexity of Bounded Model Checking

    E-Print Network [OSTI]

    Ouaknine, Joël

    of an exponent between this procedure and standard LTL model checking. We discuss ways to bridge this gap reaches some pre-computed threshold, which indicates that This research is supported by the Semiconductor

  16. Practical API Protocol Checking with Access Permissions

    E-Print Network [OSTI]

    for a large Java standard API with our approach. We also specify several other Java APIs and identify standard APIs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 4.2 ProtocolPractical API Protocol Checking with Access Permissions Kevin Bierhoff Nels E. Beckman Jonathan

  17. Asserting and Checking Determinism for Multithreaded Programs

    E-Print Network [OSTI]

    Sen, Koushik

    Asserting and Checking Determinism for Multithreaded Programs Jacob Burnim EECS Department, UC provided that copies are not made or distributed for profit or commercial advantage and that copies bear

  18. Meetings - SRSCRO

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch > The EnergyCenter (LMI-EFRC)MaRIETechnologies |meetings SRSCRO Meetings

  19. User Meeting Awards

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

    User Meeting Awards web banner ALS User Meeting Awards See the 2013 User Meeting Awards Winners Home Agenda Awards Exhibitors Lodging Posters Registration Transportation Workshops...

  20. ModelChecking A Tutorial Introduction

    E-Print Network [OSTI]

    Schmidt, David A.

    Model­Checking A Tutorial Introduction Markus M¨uller­Olm 1 , David Schmidt 2 , and Bernhard to provide a practitioner with a basis she #12; 2 Markus M¨uller­Olm, David Schmidt, and Bernhard Steffen x=0

  1. Fortuna: Model Checking Priced Probabilistic Timed Automata

    E-Print Network [OSTI]

    Vaandrager, Frits

    Fortuna: Model Checking Priced Probabilistic Timed Automata Jasper Berendsen, David N. Jansen, the Netherlands Email: jasperb,dnjansen,fvaan @cs.ru.nl Abstract--We introduce FORTUNA, the first tool for model of probabilistic timed automata (PTAs) with cost-rates and discrete cost increments on states. FORTUNA is able

  2. Keep new concepts Check cognition level

    E-Print Network [OSTI]

    Chaudhuri, Surajit

    point "cold" topic "hot" topicTop HealthScience Nuclear Energy Safety& Accidents Concepts at time point· Keep new concepts · Check cognition level = number of news {Japan, nuclear, disaster · Multilingual Wikipedia history analysis Japan footballteam national nuclear disaster Set of candidates per time

  3. CRADA CHECKLIST For Your Convenience, check off

    E-Print Network [OSTI]

    Baker, Chris I.

    CRADA CHECKLIST For Your Convenience, check off: CRADA Clearance form fill in everything (except CRADA #); put "N/A" or "0" when box is not applicable make sure that the person-year box totals match, disease states, etc. must be listed if they are to be considered part of the CRADA research (you cannot

  4. Model Checking User Interfaces Abigail Cauchi

    E-Print Network [OSTI]

    Pace, Gordon J.

    Model Checking User Interfaces Abigail Cauchi Dept of Computer Science University of Malta acau0004@um.edu.mt Gordon Pace Dept of Computer Science University of Malta gordon.pace@um.edu.mt Sandro Spina Dept of Computer Science University of Malta sandro.spina@um.edu.mt Abstract User interfaces

  5. AD CONTENT CHECK LIST: o Company logo

    E-Print Network [OSTI]

    Zakharov, Vladimir

    AD CONTENT CHECK LIST: o Company logo o Address o Contact Info: Phone, web site, and/or e-mail o that will perfectly reflect your image! Acceptable Formats For Logos/Graphics/Photos High-Res (300 dpi) PDF, EPS

  6. Staff meeting

    SciTech Connect (OSTI)

    None

    2010-04-06T23:59:59.000Z

    I would like to invite all members of the CERN Personnel to a meeting on Wednesday 16 January 2008 at 3:00 p.m. Main Auditorium (bldg 500) to convey my best wishes for the new year, to review CERN’s activities during 2007 and to present the perspectives for 2008, the year of the LHC start-up. Closed-circuit transmission of the meeting will be available in the Council Chamber and in the AB Auditorium (Meyrin), the AB Auditorium (Prévessin), the IT Auditorium (Bldg. 31) and the AT Auditorium (Bldg. 30). Simultaneous translation into English will be available in the main Auditorium. Best wishes for the festive season! Robert AYMAR

  7. Staff meeting

    ScienceCinema (OSTI)

    None

    2011-10-06T23:59:59.000Z

    I would like to invite all members of the CERN Personnel to a meeting on Wednesday 16 January 2008 at 3:00 p.m. Main Auditorium (bldg 500) to convey my best wishes for the new year, to review CERN?s activities during 2007 and to present the perspectives for 2008, the year of the LHC start-up. Closed-circuit transmission of the meeting will be available in the Council Chamber and in the AB Auditorium (Meyrin), the AB Auditorium (Prévessin), the IT Auditorium (Bldg. 31) and the AT Auditorium (Bldg. 30). Simultaneous translation into English will be available in the main Auditorium. Best wishes for the festive season! Robert AYMAR

  8. FTCP Face to Face Meeting- March 29, 2011

    Broader source: Energy.gov [DOE]

    Meeting hosted by FTCP Chair and FTCP Deputy Chair with FTCP Agents and other FTCP personnel in attendance. Meetings consisted of FAQ Standards updates, FTCP Operational Goals discussion, NTC Activities and guest speaker presentations to FTCP group.

  9. FTCP Face to Face Meeting- September 13, 2011

    Broader source: Energy.gov [DOE]

    Meeting hosted by FTCP Chair and FTCP Deputy Chair with FTCP Agents and other FTCP personnel in attendance. Meetings consisted of FAQ Standards updates, FTCP Operational Goals discussion, NTC Activities and guest speaker presentations to FTCP group.

  10. FTCP Face to Face Meeting- May 15, 2012

    Broader source: Energy.gov [DOE]

    Meeting hosted by FTCP Chair and FTCP Deputy Chair with FTCP Agents and other FTCP personnel in attendance. Meetings consisted of FAQ Standards updates, FTCP Operational Goals discussion, NTC Activities and guest speaker presentations to FTCP group.

  11. FTCP Face to Face Meeting- March 30, 2010

    Broader source: Energy.gov [DOE]

    Meeting hosted by FTCP Chair and FTCP Deputy Chair with FTCP Agents and other FTCP personnel in attendance. Meetings consisted of FAQ Standards updates, FTCP Operational Goals discussion, NTC Activities and guest speaker presentations to FTCP group.

  12. Probabilistic Model Checking and PowerAware Computing Marta Kwiatkowska Gethin Norman David Parker

    E-Print Network [OSTI]

    Oxford, University of

    operating system control, can be switched either on and off or between several power states of varying powerProbabilistic Model Checking and Power­Aware Computing #3; Marta Kwiatkowska Gethin Norman David­aware computing aims either to maximise the per­ formance of a system under certain constraints on its power

  13. Probabilistic Model Checking and Power-Aware Computing Marta Kwiatkowska Gethin Norman David Parker

    E-Print Network [OSTI]

    Oxford, University of

    operating system control, can be switched either on and off or between several power states of varying powerProbabilistic Model Checking and Power-Aware Computing Marta Kwiatkowska Gethin Norman David Parker-aware computing aims either to maximise the per- formance of a system under certain constraints on its power

  14. Optimized synthesis of concurrently checked controllers

    SciTech Connect (OSTI)

    Leveugle, R.; Saucier, G. (Institut National Polytechnique de Grenoble, CSI Lab., 38000 Grenoble (FR))

    1990-04-01T23:59:59.000Z

    Dedicated controllers (or FSM's) with concurrent checking capabilities are of prime importance in highly dependable applications. This paper presents a new method for introducing on-line test facilities in a controller with a very low overhead. This on-line test consists in detecting illegal paths in the control flow graph. These illegal paths may be due either to permanent faults or to transient errors. The state code flow is compacted through polynomial division. An implicit justifying signature method is applied at the state code level and ensures identical signatures before each join node of the control flow graph. The signatures are then independent of the path followed previously in the graph and the comparison to reference data is greatly facilitated. This property is obtained by a clever state assignment, nearly without area overhead. The controllers can then be checked by signature analysis, either by a built-in monitor or by an external checker.

  15. Pre-resistance-welding resistance check

    DOE Patents [OSTI]

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

    1991-01-01T23:59:59.000Z

    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.

  16. Meeting Summary and Memo: Quarry Residuals Operable Unit Regulators Meeting.

    Office of Legacy Management (LM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA group currentBradleyTableSelling CorpNewCF INDUSTRIES,L? .-IGYS,:?' _.JI' ;i.\'3

  17. Meeting Agenda

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 111 1,613 122Commercial602 1,39732onMake Your Next Road Trip FuelMarilyn L.Energy Dr.Meet

  18. Meeting Minutes

    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 DataDepartment of Energy Your Density Isn't YourTransport(FactDepartment3311, 3312), OctoberMay 18-19, 2004 Meeting Materials:September 23,

  19. MEETING OVERVIEW

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently Asked Questions forCheney suggesting a billVehicles |LynnJacksonville 1999 Meeting

  20. MEETING OVERVIEW

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently Asked Questions forCheney suggesting a billVehicles |LynnJacksonville 1999 MeetingLas

  1. Meetings Workshops

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings SignFiscal

  2. AUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES

    E-Print Network [OSTI]

    Tronci, Enrico

    AUTOMATIC GENERATION OF OPTIMAL CONTROLLERS THROUGH MODEL CHECKING TECHNIQUES Giuseppe Della Penna Keywords: Controller Synthesis, Controller Optimization, Model Checking, Nonlinear Systems Abstract: We INTRODUCTION Control systems (or, shortly, controllers) are small hardware/software components that control

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

    to make a safety check of your house or apartment. Review it with everyone in the house or apartment. Ask ash trays throughout the house? o Do you check for smoldering cigarette butts in the furniture alarm(s) every month? o Do you replace the battery of your battery operated smoke alarm every year? #12

  4. Mining Complex Boolean Expressions for Sequential Equivalence Checking

    E-Print Network [OSTI]

    Ramakrishnan, Naren

    Mining Complex Boolean Expressions for Sequential Equivalence Checking Neha Goel, Michael S. Hsiao-flops in a sequential circuit for sequential equivalence checking. In contrast to traditional learning methods, our be arbitrary boolean expressions and can thus prune a large don't care space during equivalence checking

  5. Printed by LAAS-CNRS Planning via Model Checking

    E-Print Network [OSTI]

    Thiébaux, Sylvie

    Pho Printed by LAAS-CNRS Workshop Planning via Model Checking F. Kabanza S. Thiébaux Toulouse, April 23, 2002 #12;#12;Proceedings of the AIPS-02 Workshop on Planning via Model-Checking Toulouse Rune Jensen, Carnegie Mellon University, USA i #12;#12;Foreword Model checking is currently one

  6. Electricity Advisory Committee Meeting, July 12, 2011 - Meeting...

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

    Meeting minutes and transcript for the July 12, 2011 meeting of the Electricity Advisory Committee. EAC Meeting Minutes - July 12, 2011.pdf EAC Meeting Transcript - July 12,...

  7. Electricity Advisory Committee Meeting, March 10, 2011 - Meeting...

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

    0, 2011 - Meeting Minutes and Transcript Electricity Advisory Committee Meeting, March 10, 2011 - Meeting Minutes and Transcript Meeting minutes and transcript for the March 10,...

  8. Electricity Advisory Committee Meeting, June 11-12, 2012 - Meeting...

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

    1-12, 2012 - Meeting Minutes and Transcripts Electricity Advisory Committee Meeting, June 11-12, 2012 - Meeting Minutes and Transcripts Meeting minutes and transcripts for the June...

  9. Electricity Advisory Committee Meeting, January 24, 2014 - Meeting...

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

    January 24, 2014 - Meeting Summary and Transcript Electricity Advisory Committee Meeting, January 24, 2014 - Meeting Summary and Transcript Meeting summary and transcript for the...

  10. Santa Claus Meets Hypergraph Matchings Arash Asadpour

    E-Print Network [OSTI]

    Santa Claus Meets Hypergraph Matchings Arash Asadpour , Uriel Feige , and Amin Saberi June 17, 2008 94305, USA. saberi@stanford.edu 1 #12;extensively in computer science, operations research, economics

  11. A VSLI design rule check program generator

    E-Print Network [OSTI]

    Harwood, Ann Elizabeth Gelber

    1985-01-01T23:59:59.000Z

    A VLSI DESIGN RULE CHECK PROGRAM GENERATOR A Thesis bi ANN ELIZABETH GELBER HARWOOD Submitted to the Graduate College of Texas A8cM University in partial fulhllment of the requirement for the degree of MASTER OF SCIENCE December 1985 Major... TO VLSI DESIGN AT TEXAS A8cM UNIVERSITY" 64 70 TABLE OF CONTENTS (Continued) Page APPENDIX C APPENDIX D APPENDIX E VITA LYRA RULESET FOR T. I. DESIGN RULES AMRULES RULESET FOR MAKEDRC PROGRAM LISTINGS 82 86 , 121 LIST OF TABLES Table I...

  12. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand JumpConceptual Model, clickInformation SmyrnaNewClayClearSpotYork:Trust JumpA)ClimateCHECK Jump

  13. DOE Environmental Impact Statement Public Scoping Meeting on...

    Energy Savers [EERE]

    operate, maintain, and connect a new electric transmission line across the U.S.- Canada border in northeastern New York. The meetings will enable the public to provide...

  14. ORSSAB monthly meeting

    Broader source: Energy.gov [DOE]

    This month's ORSSAB board meeting will focus on the ETTP Zone 1 soils proposed plan. The meeting is open to the public.

  15. Joint Operations Weapons Operations Group (JOWOG) 34 meeting - proceedings

    SciTech Connect (OSTI)

    NONE

    1995-12-01T23:59:59.000Z

    This conference held at LLNL deals with the site issues, and the computer networking of the US DOE National Laboratories.

  16. The Cogeneration Plant: Meeting Long-Term Objectives

    E-Print Network [OSTI]

    Greenwood, R. W.

    In order to meet economic objectives of cogeneration projects, reliable operation must be achieved. The key to successful operation is proper preparation beginning at the economic justification stage and continuing through conceptual design...

  17. AGU Fall Meeting 2014

    Broader source: Energy.gov [DOE]

    The American Geophysical Union's 47th Annual Fall Meeting will showcase groundbreaking research in the geosciences.

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

    E-Print Network [OSTI]

    Devlin, Patrick M

    2015-01-03T23:59:59.000Z

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

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

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

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

  20. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability

    E-Print Network [OSTI]

    Bersani, Marcello M; Frigeri, Achille; Pradella, Matteo; Rossi, Matteo

    2010-01-01T23:59:59.000Z

    An important problem that arises during the execution of service-based applications concerns the ability to determine whether a running service can be substituted with one with a different interface, for example if the former is no longer available. Standard Bounded Model Checking techniques can be used to perform this check, but they must be able to provide answers very quickly, lest the check hampers the operativeness of the application, instead of aiding it. The problem becomes even more complex when conversational services are considered, i.e., services that expose operations that have Input/Output data dependencies among them. In this paper we introduce a formal verification technique for an extension of Linear Temporal Logic that allows users to include in formulae constraints on integer variables. This technique applied to the substitutability problem for conversational services is shown to be considerably faster and with smaller memory footprint than existing ones.

  1. Designing programs that check their work \\Lambda Manuel Blum

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    Designing programs that check their work \\Lambda Manuel Blum Comp. Sci. Division U. of California Classification D.2.4 F.2.0 F.3.1 G.3 Abstract A program correctness checker is an algorithm for checking the output of a computation. That is, given a program and an instance on which the program is run

  2. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Checking NFA equivalence with bisimulations up to congruence Filippo Bonchi CNRS, ENS Lyon--We introduce bisimulation up to congruence as a technique for proving language equivalence of non algorithm. I. INTRODUCTION Checking language equivalence of finite automata is a clas- sical problem

  3. Using Model Checking for Analyzing Distributed Power Control Problems

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    1 Using Model Checking for Analyzing Distributed Power Control Problems Thomas Brihaye, Marc. Realizing that the distributed power control (PC) problem can be modeled by a timed game between a given Distributed power control, game theory, interference channel, model checking, timed games, verification

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

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

  6. Using Distinguishing and UIO Sequences Together in a Checking Sequence

    E-Print Network [OSTI]

    Yanikoglu, Berrin

    Using Distinguishing and UIO Sequences Together in a Checking Sequence M. Cihan Yalcin1 and Husnu Abstract. If a finite state machine M does not have a distinguishing sequence, but has UIO sequences for its states, there are methods to produce a checking sequence for M. However, if M has a distinguishing

  7. Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences

    E-Print Network [OSTI]

    Jourdan, Guy-Vincent

    Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences Robert M. Hierons of a preset dis- tinguishing sequence for constructing checking sequences. It has been shown that an adaptive distinguishing sequence is sufficient for these methods. This result is significant because adaptive

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

  9. FINGERPRINTING AND CRIMINAL HISTORY RECORD CHECK ANIMAL CARE LAB

    E-Print Network [OSTI]

    Eirinaki, Magdalini

    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

  10. Electricity Advisory Committee Meeting Notice of Open Meeting...

    Energy Savers [EERE]

    Meeting March 10, 2011: Federal Register Notice Volume 76, No. 38 - Feb. 25, 2011 Electricity Advisory Committee Meeting Notice of Open Meeting March 10, 2011: Federal Register...

  11. Electricity Advisory Committee Meeting Notice of Open Meeting...

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

    Meeting October 29, 2010: Federal Register Notice Volume 75, No. 192 - Oct. 5, 2010 Electricity Advisory Committee Meeting Notice of Open Meeting October 29, 2010: Federal Register...

  12. Effective Meetings for County Officials: Using Parliamentary Procedure and Other Practices 

    E-Print Network [OSTI]

    Gilmartin, John A.; Avery, Richard O.; Cartrite, Eric S.

    2000-02-29T23:59:59.000Z

    for the program and have it set up and checked out. 8. If possible, seat the audience with their backs to the entrance. Windows with distracting views should be covered. Provide an Agenda The old saying ?time is money? certainly applies to meetings. A group... of educational administrators in a large school system determined the cost of a typical meeting. They were shocked to find out that, with a full staff pres- ent, the cost was $50 per minute. To make a meeting effective, efficient and productive, a meeting agenda...

  13. Advanced Fuels Campaign Cladding & Coatings Meeting Summary

    SciTech Connect (OSTI)

    Not Listed

    2013-03-01T23:59:59.000Z

    The Fuel Cycle Research and Development (FCRD) Advanced Fuels Campaign (AFC) organized a Cladding and Coatings operational meeting February 12-13, 2013, at Oak Ridge National Laboratory (ORNL). Representatives from the U.S. Department of Energy (DOE), national laboratories, industry, and universities attended the two-day meeting. The purpose of the meeting was to discuss advanced cladding and cladding coating research and development (R&D); review experimental testing capabilities for assessing accident tolerant fuels; and review industry/university plans and experience in light water reactor (LWR) cladding and coating R&D.

  14. Presentations Scientific Meetings

    E-Print Network [OSTI]

    Frangakis, Constantine

    ", invited, American Statistical Associ- ation, Annual Meeting (JSM), Minneapolis, August 2005. "Partially: motivation definition and implementation", (with Li F and Varadhan R), American Statistical Association", invited, American Statistical Association, Annual Meeting, Indianapolis, IN, 2000. "Compliance

  15. NARUC Summer Committee Meetings

    Office of Energy Efficiency and Renewable Energy (EERE)

    At the NARUC Summer Committee Meetings, you will meet utility regulators from every State in the U.S., along with federal and international officials. This is a wonderful opportunity for learning...

  16. Electricity Advisory Committee Meeting, June 5-6, 2013 - Meeting...

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

    Meeting summaries and transcripts for the June 5-6, 2013 meeting of the Electricity Advisory Committee. EAC Meeting Summary June 5, 2013 EAC Meeting Summary June 6, 2013 EAC...

  17. Electricity Advisory Committee Meeting, March 5-6, 2012 - Meeting...

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

    Meeting minutes and transcripts for the March 5-6, 2012 meeting of the Electricity Advisory Committee. EAC Meeting Minutes March 5, 2012.pdf EAC Meeting Minutes March 6, 2012.pdf...

  18. Electricity Advisory Committee Meeting, June 16-17, 2014 - Meeting...

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

    Meeting summaries and transcripts for the June 16-17, 2014 meeting of the Electricity Advisory Committee. EAC Meeting Summary June 16, 2014 EAC Meeting Summary June 17, 2014 EAC...

  19. Electricity Advisory Committee Meeting, March 12-13, 2014 - Meeting...

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

    Meeting minutes and transcripts for the March 12-13, 2014 meeting of the Electricity Advisory Committee. EAC Meeting Minutes March 12, 2014 EAC Meeting Minutes March 13, 2014 EAC...

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

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

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

  1. NASEO 2015 Annual Meeting

    Broader source: Energy.gov [DOE]

    The National Association of State Energy Officials (NASEO) Annual Meeting will be held in San Diego, California.

  2. SPECTR System Operational Test Report

    SciTech Connect (OSTI)

    W.H. Landman Jr.

    2011-08-01T23:59:59.000Z

    This report overviews installation of the Small Pressure Cycling Test Rig (SPECTR) and documents the system operational testing performed to demonstrate that it meets the requirements for operations. The system operational testing involved operation of the furnace system to the design conditions and demonstration of the test article gas supply system using a simulated test article. The furnace and test article systems were demonstrated to meet the design requirements for the Next Generation Nuclear Plant. Therefore, the system is deemed acceptable and is ready for actual test article testing.

  3. When Model Checking Met Deduction Computer Science Laboratory

    E-Print Network [OSTI]

    Clarke, Edmund M.

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

  4. Checking Herbrand Equalities and Beyond Markus Muller-Olm1

    E-Print Network [OSTI]

    Müller-Olm, Markus

    Checking Herbrand Equalities and Beyond Markus M¨uller-Olm1 , Oliver R¨uthing1 , and Helmut Seidl2 M¨uller-Olm, Oliver R¨uthing, and Helmut Seidl This deficiency is still present in the algorithm

  5. Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Flexible Consistency Checking Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein Department of Computer Science University College London Gower Street, London, WC1E 6BT UK {c.nentwich,w.emmerich

  6. 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 4. The Vehicle Fleet Is Dominated by Newer Vehicles______________ 8 5. More Recent Vehicle Models

  7. Specifying and Checking Semantic Atomicity for Multithreaded Programs

    E-Print Network [OSTI]

    Necula, George

    Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula or commercial advantage and that copies bear this notice and the full citation on the first page. To copy

  8. EXPERIMENT 5 FTIR Instrument Operation and Calibration

    E-Print Network [OSTI]

    Nazarenko, Alexander

    EXPERIMENT 5 FTIR Instrument Operation and Calibration OBJECTIVE 1. To become acquainted with the operation of the FTIR spectrometer and with calibration of the wavelength scale. 2. To prepare reference guide. You will use a polystyrene film standard to check the wavelength calibration. INTRODUCTION

  9. Aeroderivative Gas Turbines Can Meet Stringent NOx Control Requirements

    E-Print Network [OSTI]

    Keller, S. C.; Studniarz, J. J.

    AERODERIVATIVE GAS TURBINES CAN MEET STRINGENT NOx CONTROL REQUIREMENTS S. C. Keller, Manager Cogeneration Sales & Market Development General Electric Company Marine & Industrial Engines Cincinnati, Ohio ABSTRACT Gas Turbines operating... in the United States are required to meet federally mandated emission standards. This article will discuss how General Electric's 1M industrial aeroderivative gas turbines are meeting NOx requirements as low as 25 parts per ~tllion usi-ng steam injection...

  10. 2014 Smart Grid R&D Program Peer Review Meeting Microgrid...

    Energy Savers [EERE]

    GridLAB-D by PNNL: checks engineering feasibility for islanded operations * DER-CAM by LBNL: analyze financial benefits and emissions while grid-connected 2 December 2008...

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

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

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

    E-Print Network [OSTI]

    Gagnon, Pauline

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

  14. A computer test bench for checking and adjusting the automatic regulators of generator excitation systems

    SciTech Connect (OSTI)

    Dovganyuk, I. Ya.; Labunets, I. A.; Plotnikova, T. V.; Sokur, P. V. [Affiliate of the 'NTTs Elektroenergetiki' Company - Scientific Research Institute of Electric Power (VNIIE) (Russian Federation)

    2008-05-15T23:59:59.000Z

    A computer test bench for testing and debugging natural samples of the automatic excitation regulation systems of generators, the protection units and the power part of the excitation system is described. The bench includes a personal computer with specialized input-output circuit boards for analog and digital signals, and enables the time and cost involved in developing and checking control systems to be reduced considerably. The program employed operates in real time and enables the automatic excitation regulators of synchronous generators and generators with longitudinal-transverse excitation in a specific power system to be adjusted.

  15. SME Annual Meeting Feb. 26-28, Denver, Colorado

    E-Print Network [OSTI]

    Saylor, John R.

    SME Annual Meeting Feb. 26-28, Denver, Colorado 1 Copyright © 2001 by SME Preprint 01-114 EFFECTS of operating conditions that included multiple drum heights and the use of side and underboom sprays. #12;SME Annual Meeting Feb. 26-28, Denver, Colorado 2 Copyright © 2001 by SME TEST FACILITY Gallery Testing

  16. Essential Services Meeting Summary

    SciTech Connect (OSTI)

    HCTT CHE

    2010-03-01T23:59:59.000Z

    This summary of proceedings report focuses on an end-of-grant meeting at which grantees for Project Area 5 were convened.

  17. ORSSAB Monthly Board Meeting

    Broader source: Energy.gov [DOE]

    The ORSSAB Monthly Board meeting is open to the public. This month, participants will be briefed on the East Tennessee Technology Park Zone 1 Soils Proposed Plan.

  18. ORSSAB monthly board meeting

    Broader source: Energy.gov [DOE]

    The ORSSAB monthly board meeting is open to the public. This month, participants will receive an update on the U-233 Project.

  19. ORSSAB monthly board meeting

    Broader source: Energy.gov [DOE]

    Board members and participants will hear a presentation and updates about "Sufficient Waste Disposal Capacity on the Oak Ridge Reservation." The meeting is open to the public.

  20. OPSI Annual Meeting

    Broader source: Energy.gov [DOE]

    The Organization of PJM States, Inc. (OPSI) is hosting its annual meeting in Chicago, IL, on October 13-14, 2014.

  1. ORSSAB Montly Meeting

    Broader source: Energy.gov [DOE]

    This meeting is open to the public, and the board will discuss the Oak Ridge Environmental Management program's FY 2016 budget and prioritization.

  2. CEE Winter Program Meeting

    Broader source: Energy.gov [DOE]

    Consortium for Energy Efficiency (CEE) is hosting their Winter Program Meeting, a two-day conference held in Long Beach, California.

  3. Joint News Release ELEVENTH ITER NEGOTIATIONS MEETING

    E-Print Network [OSTI]

    of Science and Technology of China Department of International Co-operation Luo Delong luodl@mail.most.govJoint News Release ELEVENTH ITER NEGOTIATIONS MEETING CHENGDU , CHINA, 24OCTOBER 2005 Delegations from China, European Union, Japan, the Republic of Korea, the Russian Federation and the United States

  4. Proceedings of the CSNI specialists meeting on fuel-coolant interactions

    SciTech Connect (OSTI)

    None

    1994-03-01T23:59:59.000Z

    A specialists meeting on fuel-coolant interactions was held in Santa Barbara, CA from January 5-7, 1993. The meeting was sponsored by the United States Nuclear Regulatory Commission in collaboration with the Committee on the Safety of Nuclear Installation (CSNI) of the OECD Nuclear Energy Agency (NEA) and the University of California at Santa Barbara. The objectives of the meeting are to cross-fertilize on-going work, provide opportunities for mutual check points, seek to focus the technical issues on matters of practical significance and re-evaluate both the objectives as well as path of future research. Individual papers have been cataloged separately.

  5. Instructions to obtain the FBI background check Long-Stay Valencia Students The FBI Background Check is the first step in a two-part process. The FBI Background Check takes 4-6

    E-Print Network [OSTI]

    Hull, Elaine

    Instructions to obtain the FBI background check Long-Stay Valencia Students The FBI Background Check is the first step in a two-part process. The FBI Background Check takes 4-6 weeks for processing form, fingerprint card and payment--to the following address: FBI CJIS Division ­ Record Request 1000

  6. Spring 2014 National Transportation Stakeholder Forum Meeting...

    Office of Environmental Management (EM)

    Spring 2014 National Transportation Stakeholder Forum Meeting, Minnesota Spring 2014 National Transportation Stakeholder Forum Meeting, Minnesota NTSF 2014 Meeting Agenda...

  7. 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-01T23:59:59.000Z

    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)

  8. Electricity Advisory Committee (EAC) - Archived Meetings 2008...

    Office of Environmental Management (EM)

    (EAC) - Archived Meetings 2008 - 2014 Electricity Advisory Committee (EAC) - Archived Meetings 2008 - 2014 Past meetings of the Electricity Advisory Committee (EAC) 2014 Meetings:...

  9. Electricity Advisory Committee - 2015 Meetings | Department of...

    Energy Savers [EERE]

    - 2015 Meetings Electricity Advisory Committee - 2015 Meetings Electricity Advisory Committee - 2015 Meetings MARCH 26 & 27, 2015 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE...

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

  11. National Hydrogen Vision Meeting Proceedings

    Fuel Cell Technologies Publication and Product Library (EERE)

    This document provides presentations and summaries of the notes from the National Hydrogen Vision Meeting''s facilitated breakout sessions. The Vision Meeting, which took place November 15-16, 2001, k

  12. A Construction of Quantum Stabilizer Codes Based on Syndrome Assignment by Classical Parity-Check Matrices

    E-Print Network [OSTI]

    Ching-Yi Lai; Chung-Chin Lu

    2007-12-02T23:59:59.000Z

    In quantum coding theory, stabilizer codes are probably the most important class of quantum codes. They are regarded as the quantum analogue of the classical linear codes and the properties of stabilizer codes have been carefully studied in the literature. In this paper, a new but simple construction of stabilizer codes is proposed based on syndrome assignment by classical parity-check matrices. This method reduces the construction of quantum stabilizer codes to the construction of classical parity-check matrices that satisfy a specific commutative condition. The quantum stabilizer codes from this construction have a larger set of correctable error operators than expected. Its (asymptotic) coding efficiency is comparable to that of CSS codes. A class of quantum Reed-Muller codes is constructed, which have a larger set of correctable error operators than that of the quantum Reed-Muller codes developed previously in the literature. Quantum stabilizer codes inspired by classical quadratic residue codes are also constructed and some of which are optimal in terms of their coding parameters.

  13. Revising Specifications with CTL Properties using Bounded Model Checking

    E-Print Network [OSTI]

    Finger, Marcelo

    Revising Specifications with CTL Properties using Bounded Model Checking No Author Given that inconsistencies arise between the formal specification and some desired property. Belief Revision deals. In this paper, we propose the use of belief revision techniques in order to deal with inconsistencies in formal

  14. ES&H Safety Walk Around Check List

    E-Print Network [OSTI]

    Knowles, David William

    ES&H Safety Walk Around Check List for Managers Lab Work Environment (Labs & Storage Areas) Are all Waste x4644 Health Services x6266 Industrial & Shop Safety, including Machine Guarding x7170 Radiation shields or face shield) available for dispensing super cold liquids (cryogens like liquid nitrogen

  15. Checking NFA equivalence with bisimulations up to congruence

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Checking NFA equivalence with bisimulations up to congruence Filippo Bonchi Damien Pous CNRS, ENS introduce bisimulation up to congruence as a technique for proving language equivalence of non Language Equivalence, Automata, Bisimulation, Coin- duction, Up-to techniques, Congruence, Antichains. 1

  16. The Perfect ``Spy'' for Model-Checking Cryptoprotocols

    E-Print Network [OSTI]

    Roscoe, Bill

    its inference system, in the process algebra CSP. Techniques for keeping the state space within Processes (CSP), as are specifications such as confidentiality. The model checking exploits (and has in turn attractive decomposition would provide a two-state process for each possible ``fact'', essentially

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

    E-Print Network [OSTI]

    sustainable living guide. I - Courtesy of R.Millar ConsumptionCheck it out! #12;- 1 - | P a g e Making sustainable choices are beneficial not only to the nature from beginner to advanced sustainability practices, so you can do you! Enjoy the B.U. Be Green

  18. Coded modulation with Low Density Parity Check codes

    E-Print Network [OSTI]

    Narayanaswami, Ravi

    2001-01-01T23:59:59.000Z

    This thesis proposes the design of Low Density Parity Check (LDPC) codes for cases where coded modulation is used. We design these codes by extending the idea of Density Evolution (DE) that has been introduced as a powerful tool to analyze LDPC...

  19. Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking

    E-Print Network [OSTI]

    Bollig, Benedikt

    Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking Benedikt,cyriac,gastin,zeitoun}@lsv.ens-cachan.fr Abstract. We develop a general framework for the design of temporal logics for concurrent recursive programs. A program execution is modeled as a partial order with multiple nesting relations. To specify

  20. Check BMail account University sends all official communications

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    Binghamton email account (BMail) at bmail.binghamton.edu. Check financial aid application status online · Log) · An insurance company, scholarship program, loan company or other third party may require student and/or family will be reflected. · To access NSC, log into BU BRAIN,"Records" tab. · For complete details and how-to steps go

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

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

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

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

    E-Print Network [OSTI]

    B. Feuerbacher

    2003-09-04T23:59:59.000Z

    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.

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

    E-Print Network [OSTI]

    Vardi, Moshe Y.

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

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

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

  8. Eoeective Recognizability and Model Checking of Reactive Fioeo Automata

    E-Print Network [OSTI]

    Sutre, Grégoire

    Electre. For this, we deøne a particular behavioral model for Electre programs, Reactive Fioeo Au­ tomata speciøed with the reactive language Electre [CR95]. A reactive pro­ gram is supposed to reactEoeective Recognizability and Model Checking of Reactive Fioeo Automata G. Sutre 1 , A. Finkel 1

  9. National propane safety week caps fifth anniversary of GAS Check

    SciTech Connect (OSTI)

    Prowler, S.

    1990-09-01T23:59:59.000Z

    This paper reports on National Propane Safety Week. The publicity encompassed everything from preventative maintenance to safe winter storage of cylinders. This campaign focused much of its attention on GAS (gas appliance system) Check, the propane industry's most well-known safety program.

  10. Conformance Checking of Interacting Processes With Overlapping Instances

    E-Print Network [OSTI]

    van der Aalst, Wil

    basic metric is fitness telling whether M can replay every observed execution of S. In case M cannot checking techniques assume rather simple models where process instances can be considered in isolation and isolate executions of such a process, and classical modeling languages are no longer applicable [8

  11. Equivalence Checking for Function Pipelining in Behavioral Synthesis

    E-Print Network [OSTI]

    Xie, Fei

    on subtle design invariants. Function pipelining (a.k.a. system-level pipelining) is an important, correct-by-construction abstraction of function pipeline; thus, instead of developing pipelineEquivalence Checking for Function Pipelining in Behavioral Synthesis Kecheng Hao, Sandip Ray

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

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

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

  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. Modular SMT Proofs for Fast Reflexive Checking inside Coq

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Modular SMT Proofs for Fast Reflexive Checking inside Coq Fr´ed´eric Besson, Pierre methodology for exchanging unsatisfia- bility proofs between an untrusted SMT solver and a sceptical proof assistant with computation capabilities like Coq. We advocate modu- lar SMT proofs that separate boolean

  18. Page 1 September 2014EMC'2014 Software Model Checking

    E-Print Network [OSTI]

    Clarke, Edmund M.

    Page 1 September 2014EMC'2014 Dynamic Software Model Checking Patrice Godefroid Microsoft Research #12;Page 2 September 2014EMC'2014 Ed Clarke: A man, An idea... · LASER'2011 summer school (Elba island, Italy) #12;Page 3 September 2014EMC'2014 Ed Clarke: A man, An idea... · LASER'2011 summer school (Elba

  19. A Simplified Model Of QuickCheck Automata Kevin Falzon

    E-Print Network [OSTI]

    Pace, Gordon J.

    A Simplified Model Of QuickCheck Automata Kevin Falzon University of Malta kfal0002@um.edu.mt Gordon J. Pace University of Malta gordon.pace@um.edu.mt ABSTRACT Placing guarantees on a program in this publication is partially funded by the Strategic Educational Pathways Scholarship (Malta). The scholarship

  20. Effective 4-H Meetings

    E-Print Network [OSTI]

    Howard, Jeff W.

    2005-05-10T23:59:59.000Z

    As a 4-H volunteer, you will have different functions. An especially important task is to prepare interesting and effective meetings where youth can obtain the greatest educational benefit while having fun. This publication outlines effective...

  1. ORSSAB monthly board meeting

    Broader source: Energy.gov [DOE]

    Board members and participants will hear a presentation and updates about the "Y-12 Mercury Cleanup Strategy and Plan for a Y-12 Water Treatment Plant." The meeting is open to the public.

  2. ORSSAB monthly board meeting

    Broader source: Energy.gov [DOE]

    Board members and participants will hear a presentation and updates about the "Selection of a Remediation Strategy for Trench 13 in Melton Valley." The meeting is open to the public.

  3. ORSSAB Monthly Board Meeting

    Broader source: Energy.gov [DOE]

    The September meeting will include a briefing on the DOE Oak Ridge Geographical Information System, the land use manager, and the Oak Ridge Environmental Information System, their functions, and...

  4. ORSSAB monthly board meeting

    Broader source: Energy.gov [DOE]

    The ORSSAB monthly board meeting is open to the public. The board will receive an update on the Community Reuse Organization of East Tennessee efforts at the East Tennessee Technology Park.

  5. QER Stakeholder Meeting

    Office of Environmental Management (EM)

    summation QER Stakeholder Meeting June 19, 2014 Adnan Mansour, PhD GE Power & Water, Water & Process Technologies Email: Adnan.Mansour@ge.com Phone: 1 215 633 4120 Introduction My...

  6. 130517 - Public Meeting - Notepad

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

    is intended to be built whether or not Page 4 130517 - Public Meeting 6 the Baja WindEnergia Sierra Project is constructed. 7 Now, before I begin calling on speakers, I'm 8...

  7. NARUC Winter Committee Meetings

    Broader source: Energy.gov [DOE]

    The National Association of Regulatory Utilities Commissioners (NARUC) Winter Committee Meetings offers its members and attendees the latest information from U.S. federal policymakers, consumer advocates, industry officials, and other stakeholders.

  8. MOTOR VEHICLE RECORD AUTHORIZATION This form authorizes Parking and Transportation (PTS) Fleet Services to conduct a motor vehicle record check to

    E-Print Network [OSTI]

    Kirschner, Denise

    MOTOR VEHICLE RECORD AUTHORIZATION This form authorizes Parking and Transportation (PTS) ­ Fleet Services to conduct a motor vehicle record check to verify eligibility to operate University of Michigan (U-M) vehicles. Form Instructions: · Complete each section of the form · Print and fax

  9. Mutation Operators for Specifications Paul E. Black

    E-Print Network [OSTI]

    Perkins, Richard A.

    . The other part is temporal logic expressions over states and execution paths. Conceptually, a model checker generate complete test suites via mutation analysis. We define an extensive set of mutation operators method using a combination of model checking and mutation analysis to automatically produce tests from

  10. PLASMAQUEST STANDARD OPERATING PROCEDURE CORAL Name: Plasmaquest

    E-Print Network [OSTI]

    Reif, Rafael

    PLASMAQUEST STANDARD OPERATING PROCEDURE CORAL Name: Plasmaquest Model Number: 145 Location: TRL. PROCEDURE: Check reservations in CORAL to insure that you reserved the correct machine in the correct, if this is the case. `Engage' the machine in CORAL for the equipment that you are about to use; use this command

  11. the uva meets china the uva meets china6 7 The UvA meets China

    E-Print Network [OSTI]

    van Rooij, Robert

    the uva meets china the uva meets china6 7 The UvA meets China Amsterdam University Press 9789089646156 The UvA meets China Collaboration with China has been designated a key strategic target contributions by various authors from both China and the Netherlands, particularly Amsterdam, on a wide range

  12. Removable check valve for use in a nuclear reactor

    DOE Patents [OSTI]

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

    1988-01-01T23:59:59.000Z

    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.

  13. Formalization of the data flow diagram rules for consistency check

    E-Print Network [OSTI]

    Ibrahim, Rosziati; 10.5121/ijsea.2010.1406

    2010-01-01T23:59:59.000Z

    In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the model of a system. DFD is used in defining the requirements in a graphical view. In this paper, we focus on DFD and its rules for drawing and defining the diagrams. We then formalize these rules and develop the tool based on the formalized rules. The formalized rules for consistency check between the diagrams are used in developing the tool. This is to ensure the syntax for drawing the diagrams is correct and strictly followed. The tool automates the process of manual consistency check between data flow diagrams.

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

    E-Print Network [OSTI]

    Anoymous,

    1984-01-01T23:59:59.000Z

    DC \\1\\245.7 '13 Fbiterned 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..., Stripes, Checks and Figured Designs) Extension Clothing Specialists The Texas A&M University System Patterned fabrics provide an interesting di mension to anyone's wardrobe. In a garment or as an accent, patterned fabrics are colorful and ex citing...

  15. Fuel Cell Projects Kickoff Meeting Nancy Garland

    E-Print Network [OSTI]

    35 36 37 38 39 40 41 42 43 44 45 ) / ) j ) ) ) / FY 2015FY 2011 Membranes Meeting All Targets Cell Program 9 Key Targets 9 Barriers 9 Tasks 9 Milestones 9 Partners 9 Budget 9 Agenda #12;Managers System (80 kWe · $45/kW by 2010 · $30/kW by 2015 · 5,000 hours durability by 2010 (80OC) ) Operating

  16. SEE ADDENDUM IS CHECKED CODE 18a. PAYMENT WILL BE MADE BY CODE

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

    SEE ADDENDUM IS CHECKED CODE 18a. PAYMENT WILL BE MADE BY CODE FACILITY CODE 17b. CHECK IF REMITTANCE IS DIFFERENT AND PUT SUCH ADDRESS IN OFFER OFFEROR 00146 Casper WY 82601 Shale...

  17. Meetings & Minutes

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings Sign InMeetingsFiscal

  18. Meetings and Workshops

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings SignFiscalMeetings

  19. DIVING OPERATIONS 30.A GENERAL

    E-Print Network [OSTI]

    US Army Corps of Engineers

    as in the contract, using the particular diving techniques and equipment to be used under the contract. Divers shall demonstrate that at least one (1) of the four (4) qualification dives was performed in the last 6 months prior to the start of dive operations. The DDC will ensure USACE divers meet the training and qualification

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

  1. Conformance Checking with Constraint Logic Programming: The Case of Feature Models

    E-Print Network [OSTI]

    Egyed, Alexander

    . On the semantic level, a PLM is defined as the collection of all the product models that can be derived from it. Therefore checking the conformance of the PLM is equivalent to checking the conformance of all the product of a PLM. Despite the importance of PLM conformance checking, very few research works have been published

  2. Turbo Codes are Low Density Parity Check Codes David J. C. MacKay

    E-Print Network [OSTI]

    MacKay, David J.C.

    Turbo Codes are Low Density Parity Check Codes David J. C. MacKay July 8, 1998--- Draft 0.2, not for distribution! (First draft written July 5, 1998) Abstract Turbo codes and Gallager codes (also known as low note that the parity check matrix of a Turbo code can be written as low density parity check matrix

  3. Instructions to obtain apostille certification of the FBI background check (Valencia Year-Long Students)

    E-Print Network [OSTI]

    Hull, Elaine

    Instructions to obtain apostille certification of the FBI background check (Valencia Year-Long Students) Once you have received the FBI background check. You will need to proceed with step two, obtain not waste time submitting your FBI Background Check for certification. 1.) Complete the DS-4194 Request

  4. Director's Report Policy Committee MeetingPolicy Committee Meeting

    E-Print Network [OSTI]

    Director's Report Policy Committee MeetingPolicy Committee Meeting 9 October 20039 October 2003 received, one from16 proposals were received, one from Argentina.Argentina. The total pool (including

  5. Stakeholder Consortium Meeting

    E-Print Network [OSTI]

    Keinan, Alon

    Stakeholder Consortium Meeting March 22, 2013 Susan Riha Director, NYS Water Resources Institute of regional water planning / inefficiencies "Build it they will come" has resulted in significant excess Resources Institute #12;#12;NYS POTW Design Flows 0 5 10 15 20 25 30 35 40 1910 1920 1930 1940 1950 1960

  6. 2014 CSAC Meeting Presentations | Department of Energy

    Energy Savers [EERE]

    CSAC Meeting Presentations 2014 CSAC Meeting Presentations August, 2014 DOE Construction Safety Advisory Committee Meeting "Welcome and Introductions" - Craig Schumann, Chair "OSHA...

  7. Electricity Advisory Committee (EAC) - 2013 Meetings | Department...

    Energy Savers [EERE]

    Electricity Advisory Committee (EAC) - 2013 Meetings Electricity Advisory Committee (EAC) - 2013 Meetings MARCH 6 & 7, 2013 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE This...

  8. Meeting Federal Energy Security Requirements

    Broader source: Energy.gov [DOE]

    Presentation—given at at the Fall 2012 Federal Utility Partnership Working Group (FUPWG) meeting—discusses the opportunity to increase the scope of federal-utility partnerships for meeting energy security requirements.

  9. Midwest Hydro Users Group Meeting

    Broader source: Energy.gov [DOE]

    The Midwest Hydro Users Group will be holding their annual Fall meeting on November 12th and 13th in Wausau, Wisconsin.  An Owners-only meeting on the afternoon of the 12th followed by a full...

  10. Operations & Maintenance

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

    Operations and Maintenance Operations OASIS: OATI (Note: this site is not hosted by Western and requires a digital certificate and login for full access.) Contact Information...

  11. Operations & Maintenance

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

    Rates Operations & Maintenance Operations OASIS: WACM (Note: this site is not hosted by Western and requires a digital certificate and login for full access.) wesTTrans Common...

  12. 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-01T23:59:59.000Z

    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.

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

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 111 1,613 122Commercial602 1,39732onMakeEducation Programs Business EnclavePositive Pay and Check

  14. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHigh SchoolIn12electron 9 5 - -/e),,s - 6157Bioenergy09913User Check-In

  15. check list for those with one abnormal BeLPT

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently20,000 Russian Nuclear Warheads|ofEventsWorkshopY-12a Multi-User Network Testbed3CHECK

  16. San Francisco QER Meeting Video

    Broader source: Energy.gov [DOE]

    Watch videos from the June 19, 2014, Quadrennial Energy Review public stakeholder meeting in San Francisco, California.

  17. PERMIT FOR WELDING AND CUTTING OPERATIONS INSTRUCTIONS: This permit must be completed for all operations involving open

    E-Print Network [OSTI]

    Papautsky, Ian

    PERMIT FOR WELDING AND CUTTING OPERATIONS INSTRUCTIONS: This permit must be completed for all/Area: Description of Work to be Performed: (check where appropriate) Welding Cutting Soldering Burning Type OF ACCIDENTAL FIRES DUE TO WELDING OR CUTTING OPERATIONS 1: Do not perform cutting or welding work where an open

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

    E-Print Network [OSTI]

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

    2011-01-01T23:59:59.000Z

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

  19. ARM - Meetings and Presentations

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625govInstrumentstdmadap Documentation TDMADAP : XDCnarrowbandheat flux ARMMeasurements Related LinksMeetings and

  20. ARM - Meetings and Presentations

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625govInstrumentstdmadap Documentation TDMADAP : XDCnarrowbandheat flux ARMMeasurements Related LinksMeetings

  1. Technical Meeting: Physical Characterization of Connected Buildings...

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

    - United Technologies Industry Presentation - AHRI Industry Presentation - Honeywell Industry Presentation - Johnson Controls DOE - Meeting Summary Deck Meeting Summary...

  2. Postdoctoral Research Awards Annual Research Meeting: Joseph...

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

    Joseph Mondloch Postdoctoral Research Awards Annual Research Meeting: Joseph Mondloch Postdoctoral Research Awards Annual Research Meeting: Joseph Mondloch poster presentation....

  3. Building a Sustainable Future FACILITIES & OPERATIONS

    E-Print Network [OSTI]

    Building a Sustainable Future FACILITIES & OPERATIONS #12;A Laboratory on a Mission ...to meet: The Environmental Technology Building and National Security Building house more than 650 staff members. #12;Pacific capacity "The Facilities & Operations organization is dedicated to safely and sustainably building

  4. Nordic electricity congestion's arrangement as a model for Europe : physical constraints or operators' opportunism?

    E-Print Network [OSTI]

    Glachant, Jean-Michel

    2002-01-01T23:59:59.000Z

    Congestion on power grids seems a physical reality, a "hard" fact easy to check. Our paper models a different idea: congestion signal may be distorted by transmission system operators (TSOs), which puts the European ...

  5. Bisimulations Meet PCTL Equivalences for Probabilistic Automata

    E-Print Network [OSTI]

    Song, Lei; Godskesen, Jens Chr

    2011-01-01T23:59:59.000Z

    Probabilistic automata (PA) have been successfully applied in the formal verification of concurrent and stochastic systems. Efficient model checking algorithms have been studied, where the most often used logics for expressing properties are based on PCTL and its extension PCTL*. Various behavioral equivalences are proposed for PAs, as a powerful tool for abstraction and compositional minimization for PAs. Unfortunately, the behavioral equivalences are well-known to be strictly stronger than the logical equivalences induced by PCTL or PCTL*. This paper introduces novel notions of strong bisimulation relations, which characterizes PCTL and PCTL* exactly. We also extend weak bisimulations characterizing PCTL and PCTL* without next operator, respectively. Thus, our paper bridges the gap between logical and behavioral equivalences in this setting.

  6. HR Public meeting

    ScienceCinema (OSTI)

    None

    2011-10-06T23:59:59.000Z

    Cher(e)s collègues, En collaboration avec le Département HR, le Directeur général a le plaisir de vous convier à une réunion publique qui se tiendra le vendredi 25 juin 2010 à 9h30 dans l?Amphithéâtre principal (Bâtiment 500)*. Un café d?accueil y sera servi à partir de 9h. Cette réunion abordera les thèmes suivants : ? Valeurs de l?Organisation (Directeur général) ? Code de Conduite (Directeur général / Anne-Sylvie Catherin) ? Création du nouveau rôle d?Ombudsperson (Vincent Vuillemin) Ces présentations seront suivies d?une séance de questions-réponses. Nous espérons vous retrouver nombreux le 25 juin ! Meilleures salutations, Anne-Sylvie Catherin Chef du Département des Ressources humaines *Cette réunion sera retransmise simultanément dans l?Amphithéâtre BE de Prévessin (Bâtiment 864) et également disponible à l?adresse suivante : http://webcast.cern.ch -------------------------------------------------------- Dear colleagues, In collaboration with HR Department, the Director-General would like to invite you to an information meeting which will be held on Friday 25 June 2010 at 9:30 am in the Main Auditorium (Building 500)*. A welcome coffee will be available from 9:00 am. During this meeting, information will be given about: ? Organization?s values (Director-General) ? Code of Conduct (Director-General / Anne-Sylvie Catherin) ? New Ombudsperson role (Vincent Vuillemin) These presentations will be followed by a questions & answers session. We look forward to seeing you all on 25 June! Best regards, Anne-Sylvie Catherin Head, Human Resources Department *This meeting will be simultaneously retransmitted in BE Auditorium (Building 864) and available at the following address: http://webcast.cern.ch.

  7. Electricity Advisory Committee Meeting, December 11, 2008: Meeting...

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

    Transcript of the Electricity Advisory Committee Meeting held on December 11, 2008 including a discussion and approval of the final energy storage technologies white paper,...

  8. Joint Meeting on Hydrogen Delivery Modeling and Analysis Meeting...

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

    Meeting on Hydrogen Delivery Modeling and Analysis FreedomCAR and Fuels Partnership Hydrogen Delivery, Storage and Fuel Pathway Integration Tech Teams May 8-9, 2007 Energetics...

  9. LLW Forum meeting report

    SciTech Connect (OSTI)

    NONE

    1996-08-01T23:59:59.000Z

    This report summarizes the Low-Level Radioactive Waste Forum (LLW Forum) meeting on May 29 through May 31, 1996.The LLW Forum is an association of state and compact representatives, appointed by governors and compact commissions, established to facilitate state and compact implementation of the Low-Level Waste Policy Act of 1980 and the Low-Level Radioactive Waste Policy Amendments Act of 1985 and to promote the objectives of low-level radioactive waste regional compacts. The LLW forum provides an opportunity for state and compact officials to share information with one another and to exchange views with officials of federal agencies and other interested parties.

  10. Meet the CAMS Staff

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch > The EnergyCenter (LMI-EFRC)MaRIETechnologies | BlandineMediaMediaaMeet

  11. Meetings and Workshops

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch > The EnergyCenter (LMI-EFRC)MaRIETechnologies |meetings SRSCRO

  12. Meetings and Workshops

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch > The EnergyCenter (LMI-EFRC)MaRIETechnologies |meetings SRSCROMeetings

  13. ALS User Meeting Archives

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del(ANL-IN-03-032)8Li (59AJ76) (See theDoctoral Fellowship inALSALSALS TechniqueMeeting

  14. PDSF Announcements and Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)IntegratedSpeeding access toTest andOptimize832 2.860 2.864 2.867039 J - 1TankMeetings

  15. Meetings | 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy ChinaofSchaeferApril 1,(EAC) Richard2015 RD WorkshopEnergy UseMeeting,E. Surash, P.E.The

  16. Meeting and Presentation Materials

    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 DataDepartment of Energy Your Density Isn't YourTransport(FactDepartment3311, 3312), OctoberMay 18-19, 2004 MeetingDepartment 1) Agenda 2)

  17. Meeting and Presentation Materials

    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 DataDepartment of Energy Your Density Isn't YourTransport(FactDepartment3311, 3312), OctoberMay 18-19, 2004 MeetingDepartment 1) Agenda 2)A

  18. Meeting_Summary.pdf

    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 DataDepartment of Energy Your Density Isn't YourTransport(FactDepartment3311, 3312), OctoberMay 18-19, 2004 MeetingDepartmentE.Modi, David

  19. 2013 User Meeting Awards

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch >InternshipDepartment ofAugust 2011OctoberSeptember 2013333 User Meeting

  20. 2013 User Meeting Awards

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch >InternshipDepartment ofAugust 2011OctoberSeptember 2013333 User Meeting3

  1. Meeting and Presentation Materials

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 1112011 Strategic2 OPAM Flash2011-12Approvedof6,Projects38, 1) Agenda 2) Presentations: a.MEETING

  2. Meeting Summary Notes

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently Asked Questions forCheneyNovember 5-6, 2001 Meeting Materials: NovemberNational

  3. 2011 User Meeting Agenda

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del(ANL-IN-03-032) -Less isNFebruary 2004August 2011 Wed,2011 Cost of1 User Meeting

  4. Meetings & Minutes

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings Sign

  5. Meetings & Minutes

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings SignFiscal Year 2013

  6. Meetings & Minutes

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings SignFiscal Year

  7. Meetings & Minutes

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings SignFiscal YearFiscal

  8. Meetings (pbl/contracts)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings SignFiscal YearFiscal

  9. Meetings and Workshops- 2015

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image ofMeetings

  10. HEP 2012 Meeting Materials

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC) EnvironmentalGyroSolé(tm) Harmonic Engine GyroSolé(tm)HDFView HDFViewHEP Meeting

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

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

    o Order of 10 August 1984 relating to the quality of design, construction, operation and decommissioning of nuclear installations (so called quality order); o Order of 26 November...

  12. Integrated Operation Scenarios ITPA Topical Group Meeting | Princeton

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes | National Nuclear Security Administration Facebook TwitterPlasma

  13. A Split-Decoding Message Passing Algorithm for Low Density Parity Check Decoders

    E-Print Network [OSTI]

    Mohsenin, Tinoosh; Baas, Bevan M.

    2010-01-01T23:59:59.000Z

    Shi, R. (2008). Sliced message passing: High throughputWang, Z. (2007). Efficient message passing ar- chitectureparity check codes under message-passing decoding. IEEE

  14. Rg 0961u Form 24 for 12/08/2012 Crew rest. Comm checks

    E-Print Network [OSTI]

    :00-12:15 CDR ARED ­ flywheel cylinder removal 12:10-12:20 FE-1 Soyuz VHF2 check via Groundstation #33 Tagup

  15. University Research Consortium annual review meeting program

    SciTech Connect (OSTI)

    NONE

    1996-07-01T23:59:59.000Z

    This brochure presents the program for the first annual review meeting of the University Research Consortium (URC) of the Idaho National Engineering Laboratory (INEL). INEL is a multiprogram laboratory with a distinctive role in applied engineering. It also conducts basic science research and development, and complex facility operations. The URC program consists of a portfolio of research projects funded by INEL and conducted at universities in the United States. In this program, summaries and participant lists for each project are presented as received from the principal investigators.

  16. 2014 OLED Stakeholder Meeting Report

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

    ... 16 1 1. Introduction The 2014 Organic Light Emitting Diode (OLED) Stakeholder Meeting was convened by the U.S. Department of Energy (DOE)...

  17. Enclosures STC Stakeholder Meeting Presentation

    Broader source: Energy.gov [DOE]

    This presentation outlines the goals of the Enclosures Standing Technical Committee, as presented at the Building America Spring 2012 Stakeholder meeting on February 29, 2012, in Austin, Texas.

  18. [Minor revisionposted 12/6/12 (replaces 10/6/10 edition)] Operating Policy and Procedure

    E-Print Network [OSTI]

    Rock, Chris

    of this Operating Policy/Procedure (OP) is to establish a standard procedure for controlled access, securityOP 61.07 [Minor revision­posted 12/6/12 (replaces 10/6/10 edition)] Operating Policy and Procedure employees required to perform operational #12;December 6, 2012 Page 2 OP 61.07 checks and maintenance

  19. HMSC Sustainability Committee 9/7/06 Meeting Minutes (Draft)

    E-Print Network [OSTI]

    HMSC Sustainability Committee 9/7/06 Meeting Minutes (Draft) In attendance: Todd Bridgeman, Jim in sustainability in the local community -- several grass-roots initiatives have been launched to get local businesses and municipalities to learn about sustainability and incorporate it into planning and operations

  20. Research Management Board Meeting 24 September 2003 -Alice Holt Present: Prof J Lynch

    E-Print Network [OSTI]

    will re-consider and incorporate some of the suggestions. A joint HoB meeting will be convened on 14 operating performance to date. The FY started with an expected shortfall of £195k which he considered

  1. 2006 Fall Meeting Search Results

    E-Print Network [OSTI]

    Zreda, Marek

    2006 Fall Meeting Search Results Cite abstracts as Author(s) (2006), Title, Eos Trans. AGU, 87 browsers. The iCronus project intends to create a publicly accessible website that contains published and weathering DE: 5475 Tectonics (8149) SC: Tectonophysics [T] MN: 2006 Fall Meeting #12;

  2. Engineering Awards Committee Meeting Minutes

    E-Print Network [OSTI]

    Islam, M. Saif

    Engineering Awards Committee Meeting Minutes Tuesday, February 14, 2006, 9:00 a.m., room 1007 Khaled Abdel-Ghaffar opened the meeting with discussion on the Zuhair A. Munir Best Dissertation Award, and these will be posted to the secure web site for the Awards Committee to review. A suggestion was made that depending

  3. Engineering Awards Committee Meeting Minutes

    E-Print Network [OSTI]

    Islam, M. Saif

    Engineering Awards Committee Meeting Minutes November 10, 2010, 10:00 a.m., room 1007 Kemper Hall regarding the Dean's Distinguished Lecture Series and the Dean's request that the Awards Committee provide nominations for the DDLS. A meeting was called on 10/27/10 by Dean White, and attended by Awards Committee

  4. Engineering Awards Committee Meeting Minutes

    E-Print Network [OSTI]

    Islam, M. Saif

    Engineering Awards Committee Meeting Minutes May 24, 2007, 9:00 a.m., room 1007 Kemper Hall Yeh for Atul Parikh, Xin Liu and Mohamed Hafez. The meeting began with a brief review of the awards involved separate reviewing subcommittees for each faculty award. The discussion of each faculty award

  5. Electricity Advisory Committee Meeting, September 24-25, 2014...

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

    Meeting summaries and transcripts for the September 24-25, 2014 meeting of the Electricity Advisory Committee. EAC Meeting Summary September 24, 2014 EAC Meeting Summary September...

  6. Electricity Advisory Committee Meeting, October 19-20, 2011 ...

    Energy Savers [EERE]

    Electricity Advisory Committee Meeting, October 19-20, 2011 - Meeting Minutes and Transcripts Electricity Advisory Committee Meeting, October 19-20, 2011 - Meeting Minutes and...

  7. Electricity Advisory Committee Meeting, October 15-16, 2012 ...

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

    15-16, 2012 - Meeting Summaries and Transcripts Electricity Advisory Committee Meeting, October 15-16, 2012 - Meeting Summaries and Transcripts Meeting summaries and transcripts...

  8. DECEMBER 11, 2008 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE...

    Energy Savers [EERE]

    EAC 2008 Meetings DECEMBER 11, 2008 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE DECEMBER 11, 2008 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE DECEMBER 11, 2008 MEETING OF...

  9. Meeting Materials: July 29-30, 1999 | Department of Energy

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

    July 29-30, 1999 Meeting Materials: July 29-30, 1999 NEAC Meeting Embassy Suites Hotel Arlington, Virginia Meeting Minutes More Documents & Publications Meeting Materials: March...

  10. Meeting Materials: Nov 17-18, 1998 | Department of Energy

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

    Nov 17-18, 1998 Meeting Materials: Nov 17-18, 1998 NEAC Meeting Hyatt Regency Crystal City Arlington, Virginia Meeting Minutes More Documents & Publications Meeting Materials:...

  11. MAY 20, 2008 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE |...

    Energy Savers [EERE]

    Services Electricity Advisory Committee Archived Meetings 2008-2014 EAC 2008 Meetings MAY 20, 2008 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE MAY 20, 2008 MEETING OF...

  12. September 25 & 26, 2008 Meeting of the Electricity Advisory Committee...

    Energy Savers [EERE]

    Meetings 2008-2014 EAC 2008 Meetings September 25 & 26, 2008 Meeting of the Electricity Advisory Committee September 25 & 26, 2008 Meeting of the Electricity Advisory...

  13. Checking e-service consistency using Description Logics Luigi Dragone

    E-Print Network [OSTI]

    Rosati, Riccardo

    specification and a suitable operational semantics of the e-service contract, on which we define functional representation. On the other hand, there is a strong requirement on the well- foundedness of the service contract

  14. Full sequential equivalence checking by state space traversal has been shown to be unpractical for large

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Abstract: Full sequential equivalence checking by state space traversal has been shown, Simulation, SAT) to transform the sequential equivalence checking problem into a combinational equivalence successful in general, they are not able to reach proof of equivalence in presence of complex transformations

  15. Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1

    E-Print Network [OSTI]

    Young, R. Michael

    Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1 , D. Richard. In this paper, we propose a new general approach for property verification for access control models via model checking. The approach defines a standardized structure for access control models, providing for both

  16. ASI Student Research Grant Application 2013-2014 Keep this Check List for your records.

    E-Print Network [OSTI]

    de Lijser, Peter

    handing in your Research Grant Application to ASI Leader and Program Development, TSU 269, please check to spending funds. 3. Recipients must submit a Grant Compliance Report to ASI Leader and Program Development1 ASI Student Research Grant Application 2013-2014 Keep this Check List for your records. Before

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

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

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

  20. Page 1 of 14 5/2010 LBNL Construction Safety Check List

    E-Print Network [OSTI]

    Knowles, David William

    Page 1 of 14 5/2010 LBNL Construction Safety Check List Safety Check List MUST be posted at the job (LBNL) Project Manager for review and final approval the LBNL Construction Safety Engineer must reviewed performing work at LBNL. These items and all other requirements in the contractual documents will be enforced

  1. CONCATENATED CODES BASED ON MULTIDIMENSIONAL PARITY-CHECK CODES AND TURBO CODES

    E-Print Network [OSTI]

    Wong, Tan F.

    CONCATENATED CODES BASED ON MULTIDIMENSIONAL PARITY-CHECK CODES AND TURBO CODES John M. Shea, Florida Abstract--Turbo-codes provide communications near capac- ity when very large interleavers (and parity-check code can be used as an outer code with a turbo code as an inner code in a serial

  2. Checking pi-Calculus Structural Congruence is Graph Isomorphism V. Khomenko , R. Meyer,

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

    . Khomenko , R. Meyer, TECHNICAL REPORT SERIES No. CS-TR-1100 May, 2008 #12;TECHNICAL REPORT SERIES No. CS and Roland Meyer Abstract We show that the problems of checking pi-Calculus structural congruence (pi, England. #12;Bibliographical details KHOMENKO, V., MEYER, R. Checking pi-Calculus Structural Congruence

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

  4. Electricity Advisory Committee (EAC) - 2010 Meeting | Department...

    Energy Savers [EERE]

    0 Meeting Electricity Advisory Committee (EAC) - 2010 Meeting OCTOBER 29, 2010 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE Date: Friday, October 29, 2010 8:00 a.m. - 3:00 p.m....

  5. Executive Committee meeting | Department of Energy

    Office of Environmental Management (EM)

    meeting Executive Committee meeting June 24, 2015 6:00PM to 7:00PM EDT The meeting is open to the public. Location: DOE Information Center 1 Science.Gov Way Oak Ridge, TN 37830...

  6. CMI Meeting September 2014 | Critical Materials Institute

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

    CMI Meeting September 2014 The Critical Materials Institute will have its second annual meeting September 9-11, 2014, at The Ames Laboratory in Ames, IA. The meeting will include...

  7. Network design and fleet allocation model for vessel operation

    E-Print Network [OSTI]

    Li, Xiaojing, S.M. Massachusetts Institute of Technology

    2006-01-01T23:59:59.000Z

    Containership operators in the U.S. are confronted with a number of problems in the way they make critical fleet allocation decisions to meet the increase of shippers' demands. Instead of the empirical approach, this ...

  8. ITPA Joint Meeting on Control, St. Petersburg, Russia, 14/07/2003 R. A. Pitts, Centre de Recherches en Physique des Plasmas Some requirements and possibilities for the

    E-Print Network [OSTI]

    Baseline ITER divertor and edge plasma operating scenario #12;ITPA Joint Meeting on Control, St. PetersburgITPA Joint Meeting on Control, St. Petersburg, Russia, 14/07/2003 R. A. Pitts, Centre de Recherches de Recherches en Physique des Plasmas #12;ITPA Joint Meeting on Control, St. Petersburg, Russia, 14

  9. Building America Residential Energy Efficiency Stakeholders Meeting...

    Energy Savers [EERE]

    Energy Efficiency Stakeholders Meeting: March 2011 Building America Residential Energy Efficiency Stakeholders Meeting: March 2011 On this page, you may link to the summary report...

  10. Building America Residential Buildings Energy Efficiency Meeting...

    Energy Savers [EERE]

    Building America Residential Buildings Energy Efficiency Meeting: July 2010 Building America Residential Buildings Energy Efficiency Meeting: July 2010 On this page, you may link...

  11. Host a Meeting | Argonne National Laboratory

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

    Host a meeting Blue Jeans is a cloud-based video, web, and audio collaboration solution available to Argonne employees for hosting meetings. Blue Jeans works for both...

  12. Spring 2015 National Transportation Stakeholders Forum Meeting...

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

    Spring 2015 National Transportation Stakeholders Forum Meeting, New Mexico The Spring 2015 meeting of the National Transportation Stakeholders Forum will be held on May 12-14, 2015...

  13. Building America Expert Meeting: Delivering Better, Cheaper,...

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

    meeting was conducted by Building America Industrialized Housing Partnership and Gas Technology Institute on November 16, 2010, in Chicago, Illinois. Meeting objectives included: *...

  14. Building America Expert Meeting: Retrofit Implementation - A...

    Energy Savers [EERE]

    Building America Expert Meeting: Retrofit Implementation - A Neighborhood at a Time Building America Expert Meeting: Retrofit Implementation - A Neighborhood at a Time This report...

  15. Quadrennial Energy Review Stakeholder Meeting - New Orleans,...

    Energy Savers [EERE]

    Quadrennial Energy Review Stakeholder Meeting - New Orleans, May 27, 2014 Quadrennial Energy Review Stakeholder Meeting - New Orleans, May 27, 2014 May 21, 2014 - 5:03pm Addthis...

  16. MENTOR MEET New Student/Company Information

    E-Print Network [OSTI]

    MENTOR MEET New Student/Company Information Venture Connection Mentor Meet Info ________ Mentoring ________ Funding ________ NEXT STEPS - Office use Mentor: Actions Who By Date Other

  17. Spring 2013 National Transportation Stakeholders Forum Meeting...

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

    Forum Spring 2013 National Transportation Stakeholders Forum Meeting, New York Spring 2013 National Transportation Stakeholders Forum Meeting, New York Spring 2013...

  18. Residential Energy Efficiency Research Planning Meeting Summary...

    Energy Savers [EERE]

    Residential Energy Efficiency Research Planning Meeting Summary Report Residential Energy Efficiency Research Planning Meeting Summary Report This report summarizes key findings...

  19. Federal Utility Partnership Working Group Meeting Chairman's...

    Office of Environmental Management (EM)

    Meeting Chairman's Corner Federal Utility Partnership Working Group Meeting Chairman's Corner Presentation-given at the Fall 2012 Federal Utility Partnership Working Group (FUPWG)...

  20. Federal Utility Partnership Working Group Meeting: Washington...

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

    Federal Utility Partnership Working Group Meeting: Washington Update fupwgspring12unruh.pdf More Documents & Publications Federal Utility Partnership Working Group Meeting:...

  1. Federal Utility Partnership Working Group Meeting: Washington...

    Energy Savers [EERE]

    Federal Utility Partnership Working Group Meeting: Washington Update Federal Utility Partnership Working Group Meeting: Washington Update Presentation-given at the Fall 2012...

  2. Postdoctoral Research Awards Annual Research Meeting: Padmaja...

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

    Padmaja Gunda Postdoctoral Research Awards Annual Research Meeting: Padmaja Gunda Poster Presentation at 2012 EERE Annual Research Meeting, Postdoctoral Research Awards, from the...

  3. Postdoctoral Research Awards Annual Research Meeting: Brandon...

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

    Brandon Mercado Postdoctoral Research Awards Annual Research Meeting: Brandon Mercado Poster Presentation at 2012 EERE Annual Research Meeting, Postdoctoral Research Awards, from...

  4. Notes from the O'Leary Meeting

    E-Print Network [OSTI]

    Smith, Kevin C. MD

    1995-01-01T23:59:59.000Z

    Highlights of the O'Leary Meeting by Kevin Smith M.D.December 1995 Volume 1, Number 2 O'Leary Meeting XX at Mayo

  5. Building America Expert Meeting: Recommendations for Applying...

    Energy Savers [EERE]

    Building America Expert Meeting: Recommendations for Applying Water Heaters in Combination Space and Domestic Water Heating Systems Building America Expert Meeting: Recommendations...

  6. July 18, 2014 Commission Meeting Minutes

    Broader source: Energy.gov [DOE]

    This meeting was the inaugural meeting of the Commission to Review the Effectiveness of the National Energy Laboratories (Commission). The Commission members heard opening remarks by Secretary...

  7. Visiting Committee Meeting Meeting of April 24, 2003

    E-Print Network [OSTI]

    Borenstein, Elhanan

    Quigley. Also in attendance were CFR faculty Dean Bruce Bare, Bob Edmonds, Jim Fridley, Gerard Schreuder Quigley noted that it would be useful to have budgetary information distributed in advance of the meeting

  8. CFCC working group meeting: Proceedings

    SciTech Connect (OSTI)

    NONE

    1995-12-31T23:59:59.000Z

    The theme of the meeting was ``A Path to Commercialization`` and discussion was devoted to addressing the nearest-term products and the time frame for implementation. The objectives of the meeting were to identify the barriers to commercialization, methods to overcome these barriers, and the actions required to achieve success. The meeting was planned to bring together government agencies and industry customers and, suppliers to discuss and conclude where the CFCC Program is today, where it is going, and how they plan to get there. It was also planned to join component developers with end users who can describe systems needs and projected schedules for introducing CFCC components in industrial applications.

  9. Operating Costs

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

    1997-03-28T23:59:59.000Z

    This chapter is focused on capital costs for conventional construction and environmental restoration and waste management projects and examines operating cost estimates to verify that all elements of the project have been considered and properly estimated.

  10. Wide common mode input operational amplifier with serially programmable output offset

    E-Print Network [OSTI]

    Li, Wendi, M. Eng. Massachusetts Institute of Technology

    2009-01-01T23:59:59.000Z

    Operational amplifiers continue to develop to meet modern demands on performance. This document describes an operational amplifier designed for a highly specific telecommunications application - to serve as the buffer ...

  11. EIS-0458: Scoping Meeting Transcript

    Broader source: Energy.gov [DOE]

    Transcript of the public scoping meeting on the draft EIS for the proposed loan guarantee for the First Solar Topaz Solar Farm Project in San Luis Obispo County, CA.

  12. 2014 CAMD User Meeting Announcement

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

    in the process of commissioning the storage ring with the newly installed 7.5 tesla multipole wiggler. The meeting will be held at the LTRC Transportation Training and Education...

  13. Massachusetts Wind Working Group Meeting

    Broader source: Energy.gov [DOE]

    The meeting will feature a panel presentation and discussion on Shadow-Flicker, as well as updates related to the Community Wind Outreach Initiative.   Panel speakers so far include: Elizabeth King...

  14. 2011 CAMD User Meeting Announcement

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

    Friday, April 15th, 2011 LSU AgCenter and CAMD Conference Room The 2011 LSU-CAMD User Meeting will be held on Friday, April 15. This year, the morning session will be held on...

  15. 2012 CAMD User Meeting Announcement

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

    Hall (LSU AgCenter) and Nelson Hall The 2012 LSU-CAMD User Meeting will be held on Friday, April 27th. This year, the morning and afternoon sessions will be held on campus in Room...

  16. atlasUserMeeting14

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

    GRETINA Mario Cromaz, LBNL Work supported under contract number DE-AC02-05CH11231. 2014 ATLAS User's Meeting ANL - May 15-16, 2014 The GRETINA Spectrometer 2 * first generation...

  17. Soybean (2010 JGI User Meeting)

    ScienceCinema (OSTI)

    Stacey, Gary

    2011-04-26T23:59:59.000Z

    Gary Stacey, associate director of the National Center for Soybean Biotechnology at the University of Missouri, gives a talk simply titled "Soybean" on March 24, 2010 at the 5th Annual DOE JGI User Meeting

  18. CSREES Nutrient Management Working Meeting

    E-Print Network [OSTI]

    planning process ­ Nutrient management training ­ P-Indexes and tools developed ­ Educational materials #12Welcome CSREES Nutrient Management Working Meeting May 4 and 5, 2004 Atlanta, GA #12;University Objectives · Information Sharing Among States ­ Nutrient management regulations ­ Nutrient management

  19. Operational Effectiveness in Use fo BAS

    E-Print Network [OSTI]

    Bobker, M.; Joseph, M.; Ascazubi, M.; Brown, T.; Thorpe, K.; Essman, J.

    2013-01-01T23:59:59.000Z

    , making it an under-utilized resource. We do not have an established industry baseline of how operators use BAS nor what best practices might be. An ASHRAE research project is surveying operators to investigate desirable ?dashboard? interfaces...-to-machine feedback is most advanced in the area of Demand Response, where initiation of a special mode activates prioritized load-shedding to meet a pre- determined kw level. The major controls manufacturers have prototypes for machine-to- machine oversight...

  20. Safe Operating Procedure SAFETY PROTOCOL: Rb-86

    E-Print Network [OSTI]

    Farritor, Shane

    of hazardous and/or radioactive wastes are to be followed. Rb- 86 waste should be segregated from all otherSafe Operating Procedure (2/10) SAFETY PROTOCOL: Rb-86 this safety protocol or submit an alternative and equivalent procedure that you develop to meet your unique

  1. October 9, 2014- SEAB Task Force Meeting

    Broader source: Energy.gov [DOE]

    SECRETARY OF ENERGY ADVISORY BOARDTask Force Meeting on Technology Development for Environmental Management (EM)

  2. Checking Your Blood Sugar The only way to be sure your blood sugar is "just right" is to

    E-Print Network [OSTI]

    Checking Your Blood Sugar The only way to be sure your blood sugar is "just right" is to check it. Your blood sugar can be high and you may feel fine. If your blood sugar is high, it is damaging your blood vessels and hurting your body, even if you feel fine. #12; How can you check your blood sugar? One

  3. Operations Videos

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)IntegratedSpeeding access toTest and EvaluationOperational ManagementCenterOperations

  4. Proceedings of national avian-wind power planning meeting 2

    SciTech Connect (OSTI)

    NONE

    1998-02-01T23:59:59.000Z

    This meeting was the second in a series. The purposes of this meeting were to: (1) provide information on avian/wind power interactions that will help meet the needs of regulators, researchers, and other stakeholders concerned with responsible development and permitting of wind plants; (2) create dialogue among regulators, researchers and other stakeholders to help all parties understand the role that research can play in responsible development and permitting of wind plants, and allow researchers to understand the relevance of their research to the process; and (3) propose research projects and the appropriate sponsorship. The meeting began with oral presentations and discussions of nine White Papers on the theory and methods for studying and understanding impacts. The Proceedings include the written version of each of the nine White Papers, plus a summary of the oral discussion associated with each paper. The second part of the meeting consisted of four working group sessions: (1) site evaluation and pre-permit research and planning; (2) operational monitoring; (3) modeling and forecasting, including population dynamics models; and (4) avian behavior and mortality reduction. The Proceedings includes a summary of the discussions on these topics, including each working group`s recommendations for future research or associated activities. A final plenary session drew together the main recommendations.

  5. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security

    E-Print Network [OSTI]

    Abi-Antoun, Marwan

    Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security Marwan Abi Science Carnegie Mellon University Pittsburgh, PA 15213 Center for Software Excellence Abstract Threat Foundation. #12;Keywords: Threat modeling, data flow diagrams, reflexion models, architecture-level security

  6. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security

    E-Print Network [OSTI]

    Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security Marwan Abi Science Carnegie Mellon University Pittsburgh, PA 15213 # Center for Software Excellence Abstract Threat Foundation. #12; Keywords: Threat modeling, data flow diagrams, reflexion models, architecture­level security

  7. Checking Design Constraints at Run-time Using OCL and AspectJ

    E-Print Network [OSTI]

    Cheon, Yoonsik

    Roach, and Cuauhtemoc Munoz TR #09-35 December 2009 Keywords: design constraints, runtime checking Design Constraints at Run-time Using OCL and AspectJ Yoonsik Cheon (1) , Carmen Avila (1) , Steve Roach

  8. On the NP-hardness of checking matrix polytope stability and continuous-time switching stability

    E-Print Network [OSTI]

    Gurvits, Leonid

    Motivated by questions in robust control and switched linear dynamical systems, we consider the problem checking whether all convex combinations of k matrices in R[superscript ntimesn] are stable. In particular, we are ...

  9. See What the Astronauts Saw Check out photographs of Apollo missions to the

    E-Print Network [OSTI]

    See What the Astronauts Saw Check out photographs of Apollo missions to the Moon throughout the 1st rock within the wall near the bronze Moon model. It was retrieved by Apollo 15 astronauts. · What does

  10. Operation Poorman

    SciTech Connect (OSTI)

    Pruvost, N.; Tsitouras, J.

    1981-03-18T23:59:59.000Z

    The objectives of Operation Poorman were to design and build a portable seismic system and to set up and use this system in a cold-weather environment. The equipment design uses current technology to achieve a low-power, lightweight system that is configured into three modules. The system was deployed in Alaska during wintertime, and the results provide a basis for specifying a mission-ready seismic verification system.

  11. Operating Strategies

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's Possible for RenewableSpeeding accessSpeedingOctoberResearchOpen→ globalOPERATING PLAN

  12. Operations Office

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's Possible for RenewableSpeeding accessSpeedingOctoberResearchOpen→ globalOPERATING

  13. Operational Demonstration Program

    Broader source: Energy.gov [DOE]

    This program is currently closed. Applications were due in February 2012. Additional funding rounds have not yet been announced. Check the program web site for the latest available information.

  14. CFCC working group meeting: Proceedings

    SciTech Connect (OSTI)

    NONE

    1997-12-31T23:59:59.000Z

    This report is a compilation of the vugraphs presented at this meeting. Presentations covered are: CFCC Working Group; Overview of study on applications for advanced ceramics in industries for the future; Design codes and data bases: The CFCC program and its involvement in ASTM, ISO, ASME, and military handbook 17 activities; CFCC Working Group meeting (McDermott Technology); CFCC Working Group meeting (Textron); CFCC program for DMO materials; Developments in PIP-derived CFCCs; Toughened Silcomp (SiC-Si) composites for gas turbine engine applications; CFCC program for CVI materials; Self-lubricating CFCCs for diesel engine applications; Overview of the CFCC program`s supporting technologies task; Life prediction methodologies for CFCC components; Environmental testing of CFCCs in combustion gas environments; High-temperature particle filtration ORNL/DCC CRADA; HSCT CMC combustor; and Case study -- CFCC shroud for industrial gas turbines.

  15. Cycling operation of fossil plants

    SciTech Connect (OSTI)

    Devendorf, D.; Kulczycky, T.G. (Niagara Mohawk Power Corp., Syracuse, NY (USA))

    1991-05-01T23:59:59.000Z

    A necessity for many utilities today is the cycling of their fossil units. Fossil plants with their higher fuel costs are being converted to cycling operation to accommodate daily load swings and to decrease the overall system fuel costs. For a large oil-fired unit, such as Oswego Steam Station Unit 5, millions of dollars can be saved annually in fuel costs if the unit operates in a two-shift mode. However, there are also penalties attributable to cycling operation which are associated with availability and thermal performance. The objectives of Niagara Mohawk Power Corporation were to minimize the losses in availability and performance, and the degradation in the life of the equipment by incorporating certain cycling modifications into the unit. The objective of this project was to evaluate the effectiveness of three of these cycling modifications: (1) the superheater and turbine bypass (Hot Restart System), (2) the use of variable pressure operation, and (3) the full-flow condensate polishing system. To meet this objective, Unit 5 was tested using the cycling modifications, and a dynamic mathematical model of this unit was developed using the Modular Modeling System (MMS) Code from EPRI. This model was used to evaluate various operating modes and to assist in the assessment of operating procedures. 15 refs., 41 figs., 22 tabs.

  16. IBRD Operational Decision Framework

    SciTech Connect (OSTI)

    Greenwalt, R; Hibbard, W; Raber, E; Carlsen, T; Folks, K; MacQueen, D; Mancieri, S; Bunt, T; Richards, J; Hirabayashi-Dethier, J

    2010-11-12T23:59:59.000Z

    The IBRD Operational Decision Framework in this document is an expansion of an emerging general risk management framework under development by an interagency working group. It provides the level of detail necessary to develop a general Consequence Management Guidance Document for biological contamination remediation and restoration. It is the intent of this document to support both wide area and individual site remediation and restoration activities. This product was initiated as a portion of the IBRD Task 1 Systems Analysis to aid in identification of wide area remediation and restoration shortcomings and gaps. The draft interagency general risk management framework was used as the basis for the analysis. The initial Task 1 analysis document expanded the draft interagency framework to a higher level of resolution, building on both the logic structure and the accompanying text explanations. It was then employed in a qualitative manner to identify responsible agencies, data requirements, tool requirements, and current capabilities for each decision and task. This resulted in identifying shortcomings and gaps needing resolution. Several meetings of a joint LLNL/SNL working group reviewed and approved the initial content of this analysis. At the conclusion of Task 1, work continued on the expanded framework to generate this Operational Decision Framework which is consistent with the existing interagency general risk management framework. A large LLNL task group met repeatedly over a three-month period to develop the expanded framework, coordinate the framework with the biological remediation checklist, and synchronize the logic with the Consequence Management Plan table of contents. The expanded framework was briefed at a large table top exercise reviewing the interagency risk management framework. This exercise had representation from major US metropolitan areas as well as national agencies. This product received positive comments from the participants. Upon completion of the Operational Decision Framework, another joint LLNL/SNL working group conducted a day-long review. Identified modifications were made to the document, resulting in the included product.

  17. SPACE PLANNING & OPERATIONS UNIVERSITY OF PENNSYLVANIA SCHOOL OF MEDICINE

    E-Print Network [OSTI]

    Bushman, Frederic

    SPACE PLANNING & OPERATIONS UNIVERSITY OF PENNSYLVANIA SCHOOL OF MEDICINE Policy & Procedure a centralized scheduling system managed by Space Planning & Operations (SPO) with the intention of maximizing use of available space to meet educational space demands. Purpose: The purpose of this policy

  18. Operational Excellence

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch > TheNuclear Astrophysics One ofSpeedingthis site » OpenOperational

  19. Operations 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's Possible for RenewableSpeeding accessSpeedingOctoberResearchOpen→ globalOPERATING Who We

  20. Electric and Hybrid Vehicle Program; Site Operator Program

    SciTech Connect (OSTI)

    Warren, J.F.

    1992-01-01T23:59:59.000Z

    Activities during the first quarter centered around integrating the new participants into the program. A meeting of the Site Operators, in conjunction with the first meeting of the Electric Vehicle Users Task Force, was held in October. A second meeting of the Task Force was held in December. During these meetings the new contractual requirements were explained to the participants. The Site Operator Data Base was distributed and explained. The Site Operators will begin using the data base in December 1991 and will supply the operating and maintenance data to the INEL on a monthly basis. The Operators requested that they be able to have access to the data of the other Operators and it was agreed that they would be provided this on floppy disk monthly from the INEL. Presentations were made to the DOE sponsored Automotive Technology Development-Contractors Coordination Meeting in October. An overview of the program was given by EG G. Representatives from Arizona Public Service, Texas A M University, and York Technical College provided details of their programs and the results and future goals. Work was begun on commercializing the Versatile Data Acquisition System (VDAS). A Scope of Work has been written for a Cooperative Research and Development Agreement (CRADA) to be submitted to the USABC. If implemented, the CRADA will provide funds for the development and commercialization of the VDAS. Participants in the Site Operator Program will test prototypes of the system within their fleets, making the data available to the USABC and other interested organizations. The USABC will provide recommendations on the data to be collected. Major activities by the majority of the Operators were involved with the continued operation and demonstration of existing vehicles. In addition, several of the operators were involved in identifying and locating vehicles to be added to their fleets. A list of the vehicles in each Site Operator fleet is included as Appendix A to this report.

  1. Proceedings of the fourth users meeting for the advanced photon source

    SciTech Connect (OSTI)

    Not Available

    1992-02-01T23:59:59.000Z

    The Fourth Users Meeting for the Advanced Photon Source (APS) was held on May 7--8, 1991 at Argonne National Laboratory. Scientists and engineers from universities, industry, and national laboratories came to review the status of the facility and to look ahead to the types of forefront science that will be possible when the APS is completed. The presentations at the meeting included an overview of the project; critical issues for APS operation; advances in synchrotron radiation applications; users perspectives, and funding perspectives. The actions taken at the 1991 Business Meeting of the Advanced Photon Source Users Organization are also documented.

  2. Invite Paper Fall Technical Meeting

    E-Print Network [OSTI]

    Gomez, Alessandro

    within which it is sensible to make predictions, combustion is here to stay. In addition to oil1 Invite Paper Fall Technical Meeting of the Eastern States Section of the Combustion Institute: A Laboratory-Scale Benchmark for Turbulent Combustion Studies Alessandro Gomez Department of Mechanical

  3. TTCC Meeting Baton Rouge, LA

    E-Print Network [OSTI]

    MCO TTCC Meeting 08APR2008 Baton Rouge, LA trinity-cms.com #12;Front Matter & Chapters 1 through 3 · Initial control chart 3s limits were developed from the MCO demonstration project testing data · Sorted sampling worksheets that were used for the MCO demo. projects · Appendix B ­ How-to copy NOAA forecast data

  4. Digital Libraries - Meeting the Challenges

    E-Print Network [OSTI]

    Warner, Beth Forrest

    2001-02-27T23:59:59.000Z

    Digital Libraries – Meeting the Challenges Beth Forrest Warner Digital Library Challenges Are … … not just Digital Library challenges They are many of the same challenges facing libraries and scholarly communication in general... learning contexts In short, change … … leading to new organizational structures Challenges of Definition and Purpose What are Digital Libraries?? What’s their purpose?? A Digital Library Is: Selected and managed...

  5. Engineering Awards Committee Meeting Minutes

    E-Print Network [OSTI]

    Islam, M. Saif

    Engineering Awards Committee Meeting Minutes October 19, 2006, 10:00 a.m., room 1007 Kemper Hall of business was a discussion on the change of dates for award calls. Committee members agreed to the proposed change that has the Zuhair Best Dissertation Award deadline in Winter quarter and the Engineering Awards

  6. Engineering Awards Committee Meeting Minutes

    E-Print Network [OSTI]

    Islam, M. Saif

    Engineering Awards Committee Meeting Minutes Wednesday, October 29, 2008, 2:00 p.m. in room 1007 of the award calls starting with the Zuhair A. Munir Best Dissertation award and continuing with the four engineering faculty awards. The dissertation award call will go out on December 3rd and final nominations have

  7. June 16 & 17, 2014 Meeting of the Electricity Advisory Committee...

    Energy Savers [EERE]

    June 16 & 17, 2014 Meeting of the Electricity Advisory Committee June 16 & 17, 2014 Meeting of the Electricity Advisory Committee June 16 & 17, 2014 Meeting of the Electricity...

  8. July 12, 2011 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE ...

    Energy Savers [EERE]

    July 12, 2011 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE July 12, 2011 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE July 12, 2011 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE...

  9. MARCH 10, 2011 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE...

    Energy Savers [EERE]

    MARCH 10, 2011 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE MARCH 10, 2011 MEETING OF THE ELECTRICITY ADVISORY COMMITTEE MARCH 10, 2011 MEETING OF THE ELECTRICITY ADVISORY...

  10. October 2 & 3, 2013 Meeting of the Electricity Advisory Committee...

    Energy Savers [EERE]

    October 2 & 3, 2013 Meeting of the Electricity Advisory Committee October 2 & 3, 2013 Meeting of the Electricity Advisory Committee Note: This meeting has been cancelled The...

  11. March 12 & 13, 2014 Meeting of the Electricity Advisory Committee...

    Energy Savers [EERE]

    March 12 & 13, 2014 Meeting of the Electricity Advisory Committee March 12 & 13, 2014 Meeting of the Electricity Advisory Committee March 12 & 13, 2014 Meeting of the Electricity...

  12. January 24, 2014 Teleconference Meeting of the Electricity Advisory...

    Energy Savers [EERE]

    Services Electricity Advisory Committee Archived Meetings 2008-2014 EAC 2014 Meetings January 24, 2014 Teleconference Meeting of the Electricity Advisory Committee...

  13. March 6 & 7, 2013 Meeting of the Electricity Advisory Committee...

    Energy Savers [EERE]

    Services Electricity Advisory Committee Archived Meetings 2008-2014 EAC 2013 Meetings March 6 & 7, 2013 Meeting of the Electricity Advisory Committee March 6 & 7, 2013...

  14. September 15, 2014 Lab Commission Meeting Minutes

    Broader source: Energy.gov [DOE]

    This meeting was the second meeting of the Commission to Review the Effectiveness of the National Energy Laboratories (Commission). The Commission members heard opening remarks by Co-Chairs TJ...

  15. QER Public Meeting: Petroleum Product Transmission & Distribution

    Broader source: Energy.gov [DOE]

    May 27, 2014 Public Meeting: Petroleum Product Transmission & Distribution (including CO2/EOR) On May 27, 2014, the DOE will hold a public meeting in New Orleans, Louisiana. The May 27, 2014 public meeting will feature facilitated panel discussions, followed by an open microphone session. Persons desiring to speak during the 6 open microphone session at the public meeting should come prepared to speak for no more than 3 minutes and will be accommodated on a first- come, first- serve basis, according to the order in which they register to speak on a sign-in sheet available at the meeting location, on the morning of the meeting. In advance of the meeting, DOE anticipates making publicly available a briefing memorandum providing useful background information regarding the topics under discussion at the meeting. DOE will post this memorandum on its website: http://energy.gov

  16. 1999 AERA Annual Meeting Montreal, Quebec, Canada

    E-Print Network [OSTI]

    Larkin, Teresa L.

    1999 AERA Annual Meeting Montreal, Quebec, Canada 1 Evaluating the Effectiveness of On styles. #12;1999 AERA Annual Meeting Montreal, Quebec, Canada 2 Method: This study was initiated to allow

  17. Transcription of conference room meetings: an investigation 

    E-Print Network [OSTI]

    Hain, Thomas; Dines, John; Garau, Giulia; Karafiat, Martin; Moore, Darren; Wan, Vincent; Ordelman, Roeland; Renals, Steve

    2005-01-01T23:59:59.000Z

    The automatic processing of speech collected in conference style meetings has attracted considerable interest with several large scale projects devoted to this area. In this paper we explore the use of various meeting ...

  18. ANS 2006 WINTER MEETING & Nuclear Technology Expo

    E-Print Network [OSTI]

    Krings, Axel W.

    Development Workshop: Digital Instrumentation Upgrades 52 DOE Nuclear Criticality Safety Program 53ANS 2006 WINTER MEETING & Nuclear Technology Expo "Ensuringthe (TOFE) 5th International Topical Meeting on Nuclear Plant Instrumentation, Controls, and Human Machine

  19. Expert Meeting Report: Foundations Research Results

    SciTech Connect (OSTI)

    Ojczyk, C.; Huelman, P.; Carmody, J.

    2013-05-01T23:59:59.000Z

    In the Expert Meeting Plan, the NorthernSTAR Team proposed to host two Expert Meetings in calendar year 2011. Invitees to the meetings would include experts in the current field of study, other BA team members, and representatives from DOE and NREL. They will invite leading industry experts to present at these meetings. The Expert Meetings will focus on key systems areas that will be required to meet the Building America performance goals and shall be sufficiently narrow in scope that specific conclusions, action items, and delegation of future tasks can be identified and completed. The two expert meeting topics are 'Foundations' and 'Window Retrofit.' The first session is designed as a webinar only and the second will be a live meeting.

  20. The Quadrennial Energy Review (QER) Public Meetings

    Broader source: Energy.gov [DOE]

    DOE will host the stakeholder engagement meetings listed below. DOE will announce the dates and locations of the meetings in the Federal Register and on this website as soon as they are confirmed.

  1. Meeting the challenge of MTBE biodegradation

    SciTech Connect (OSTI)

    Eweis, J.B.; Chang, D.P.Y.; Schroeder, E.D.; Scow, K.M. [Univ. of California, Davis, CA (United States); Morton, R.L.; Caballero, R.C. [Los Angeles County Sanitation Districts, Carson, CA (United States). Joint Water Pollution Control Plant

    1997-12-31T23:59:59.000Z

    Oxygenated and reformulated gasolines have been developed in response to air pollution control regulations targeted at reducing carbon monoxide emissions and photochemical air pollution. The 1990 Clean Air Act Amendments required the addition of fuel oxygenates to gasoline in areas where the level of carbon monoxide exceeded national ambient air quality standards. In the South Coast Air Basin gasoline containing oxygenated compounds has been in use since the late 1980`s. One oxygenated fuel additive most often selected by producers to meet the requirements is methyl tert-butyl ether (MTBE). However, large production numbers associated with MTBE production, combined with the compound`s high water solubility, chemical stability, and toxicity, make it a potentially important groundwater pollutant. The County Sanitation District of Los Angeles, Joint Water Pollution Control Plant in Carson, California is one of the few wastewater treatment plants in the nation that receives refinery wastewater discharge. It has operated several pilot-scale compost-based biofilters for control of various volatile organic contaminants throughout the plant since a 1991 joint study with the University of California, Davis. After one year of operation, one of the biofilters spontaneously developed the ability to degrade MTBE. The paper describes the collaborative efforts to determine the feasibility of transferring the degrading microbial population from the solid to liquid phase, without loss of activity, and to determine some of the environmental requirements necessary for survival of the microbial culture.

  2. Reactor operation environmental information document

    SciTech Connect (OSTI)

    Haselow, J.S.; Price, V.; Stephenson, D.E.; Bledsoe, H.W.; Looney, B.B.

    1989-12-01T23:59:59.000Z

    The Savannah River Site (SRS) produces nuclear materials, primarily plutonium and tritium, to meet the requirements of the Department of Defense. These products have been formed in nuclear reactors that were built during 1950--1955 at the SRS. K, L, and P reactors are three of five reactors that have been used in the past to produce the nuclear materials. All three of these reactors discontinued operation in 1988. Currently, intense efforts are being extended to prepare these three reactors for restart in a manner that protects human health and the environment. To document that restarting the reactors will have minimal impacts to human health and the environment, a three-volume Reactor Operations Environmental Impact Document has been prepared. The document focuses on the impacts of restarting the K, L, and P reactors on both the SRS and surrounding areas. This volume discusses the geology, seismology, and subsurface hydrology. 195 refs., 101 figs., 16 tabs.

  3. Electricity Advisory Committee Meeting Presentations October...

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

    Interconnection-Wide Transmission Planning Processes Electricity Advisory Committee Meeting Presentations October 2011 - Interconnection-Wide Transmission Planning Processes Panel...

  4. Agenda: High Temperature Membrane Working Group Meeting

    Broader source: Energy.gov [DOE]

    Agenda for the High Temperature Membrane Working Group (HTMWG) meeting on May 18, 2009, in Arlington, Virginia

  5. Humidity Implications for Meeting Residential Ventilation Requirements

    E-Print Network [OSTI]

    1 LBNL-62182 Humidity Implications for Meeting Residential Ventilation Requirements Iain S. Walker for Meeting Residential Ventilation Requirements ABSTRACT In 2003 ASHRAE approved the nation's first residential ventilation standard, ASHRAE Standard 62.2. Because meeting this standard can significantly change

  6. Meeting Summary, Economic Development Panel, Business Meeting No.31

    SciTech Connect (OSTI)

    Kevin Bryan

    2003-06-18T23:59:59.000Z

    OAK-B135 The objectives of the meeting were as follows: (1) Learn more about and discuss economic impacts of wind power development in the U.S, highlighting the NWCC report, ''Assessing the Economic Impacts of Wind Power Development''; (2) Learn more about and discuss wind integration costs and the impacts of recent studies on wind energy development; and (3) Review activities and products planned for FY 2004.

  7. Fast reactor safety: proceedings of the international topical meeting. Volume 1

    SciTech Connect (OSTI)

    Not Available

    1985-07-01T23:59:59.000Z

    The emphasis of this meeting was on the safety-related aspects of fast reactor design, analysis, licensing, construction, and operation. Relative to past meetings, there was less emphasis on the scientific and technological basis for accident assessment. Because of its broad scope, the meeting attracted 217 attendees from a wide cross section of the design, safety analysis, and safety technology communities. Eight countries and two international organizations were represented. A total of 126 papers were presented, with contributions from the United States, France, Japan, the United Kingdom, Germany, and Italy. Sessions covered in Volume 1 include: impact of safety and licensing considerations on fast reactor design; safety aspects of innovative designs; intra-subassembly behavior; operational safety; design accommodation of seismic and other external events; natural circulation; safety design concepts; safety implications derived from operational plant data; decay heat removal; and assessment of HCDA consequences.

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

    SciTech Connect (OSTI)

    Oji, L. N.

    2013-03-07T23:59:59.000Z

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

  9. 1M. Panahi, S. Skogestad ' Optimal Operation of a CO2 Capturing Plant for a Wide Range of Disturbances' Optimal Operation of a CO2 Capturing

    E-Print Network [OSTI]

    Skogestad, Sigurd

    1M. Panahi, S. Skogestad ' Optimal Operation of a CO2 Capturing Plant for a Wide Range of Disturbances' Optimal Operation of a CO2 Capturing Plant for a Wide Range of Disturbances Mehdi Panahi Sigurd Skogestad 18.10.2011 AIChE Annual Meeting #12;2M. Panahi, S. Skogestad ' Optimal Operation of a CO2

  10. Exascale Workshop Panel Report Meeting

    SciTech Connect (OSTI)

    Khaleel, Mohammad A.

    2010-07-01T23:59:59.000Z

    The Exascale Review Panel consists of 12 scientists and engineers with experience in various aspects of high-performance computing and its application, development, and management. The Panel hear presentations by several representatives of the workshops and town meetings convened over the past few years to examine the need for exascale computation capability and the justification for a U.S. Department of Energy (DOE) program to develop such capability. This report summarizes information provided by the presenters and substantial written reports to the Panel in advance of the meeting in Washington D.C. on January 19-20, 2010. The report also summarizes the Panel's conclusions with regard to the justification of a DOE-led exascale initiative.

  11. Draft Advanced Nuclear Energy Solicitation Public Meeting Presentation...

    Office of Environmental Management (EM)

    Draft Advanced Nuclear Energy Solicitation Public Meeting Presentation Draft Advanced Nuclear Energy Solicitation Public Meeting Presentation Draft Advanced Nuclear Solicitation...

  12. Geothermal Resources Council Annual Meeting - Doug Hollett Presentatio...

    Office of Environmental Management (EM)

    Resources Council Annual Meeting - Doug Hollett Presentation, October 2011 Geothermal Resources Council Annual Meeting - Doug Hollett Presentation, October 2011 Keynote...

  13. SMOV3B WFPC2 UV Contamination Monitoring and Throughput Check

    E-Print Network [OSTI]

    Sirianni, Marco

    1 SMOV3B WFPC2 UV Contamination Monitoring and Throughput Check A. M. Koekemoer, S. Gonzaga, L is potentially susceptible to significant decreases as a result of contaminants deposited on the cold CCD windows intensive monitoring of this contamination using the F170W filter, to ensure that the throughput never

  14. Master of Architecture Check Sheet Professional M.Arch. II & III

    E-Print Network [OSTI]

    Master of Architecture Check Sheet Professional M.Arch. II & III Apply on-line at: https in architecture (not to exceed 500 words). _____ One unofficial copy of the transcript where the undergraduate results. KU's Institution Code is 6871 and the Department Code for Architecture is 4401. International

  15. PERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING

    E-Print Network [OSTI]

    Boyer, Edmond

    of the plant with a timed discrete model of the controller. We will also show, using a basic examplePERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING Bruno Denis (1 Systems (DES) and Hybrid Dynamic Systems (HDS) are quite substantial, especially as regards the controller

  16. MetaGame: An Animation Tool for Model-Checking Games

    E-Print Network [OSTI]

    Müller-Olm, Markus

    MetaGame: An Animation Tool for Model-Checking Games Markus M¨uller-Olm1 and Haiseung Yoo2 1 Fern-Verlag Berlin Heidelberg 2004 #12;164 Markus M¨uller-Olm and Haiseung Yoo careful investigation of the cause

  17. MetaGame: An Animation Tool for ModelChecking Games

    E-Print Network [OSTI]

    Müller-Olm, Markus

    MetaGame: An Animation Tool for Model­Checking Games Markus MË?uller­Olm 1# and Haiseung Yoo 2 1, pp. 163--167, 2004. c # Springer­Verlag Berlin Heidelberg 2004 #12; 164 Markus MË?uller­Olm

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

  19. A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded Systems

    E-Print Network [OSTI]

    Gupta, Rajesh

    A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded, and laptops, controlling power dissipation is an important system design issue [2]. This is either because enforced at the system level. In [3], a system modeling ap- proach for dynamic power management strategy

  20. Model-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens

    E-Print Network [OSTI]

    Ryan, Mark

    of sophisticated access control systems, such as those which can be described using our model, is indirect pathsModel-checking Access Control Policies Dimitar P. Guelev Mark Ryan Pierre Yves Schobbens July 9, 2004 Abstract We present a model of access control which provides fine-grained data-dependent control

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

    E-Print Network [OSTI]

    Abolmaesumi, Purang

    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) Kingston Public Library Genealogy Information: www.kfpl.ca/ and http://www.kfpl.ca/genealogy

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

    E-Print Network [OSTI]

    LaValle, Steven M.

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

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

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

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

    E-Print Network [OSTI]

    Sivakumar, Suresh

    2001-01-01T23:59:59.000Z

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

  6. Light-Tightness Quality Check for Curtis Schmidt 8-inch Shutters Tyler W. Behm,1,

    E-Print Network [OSTI]

    Light-Tightness Quality Check for Curtis Schmidt 8-inch Shutters Tyler W. Behm,1, J.P. Rheault,1 light is "leaked" through a closed CCD shutter. We find that by orienting the actuator towards the CCD 1 in 250,000 at most. I. INTRODUCTION Light-tightness is an important quality in shutters. Poor

  7. Automated Environment Generation for Software Model Checking Oksana Tkachuk, Matthew B. Dwyer

    E-Print Network [OSTI]

    Pasareanu, Corina

    Automated Environment Generation for Software Model Checking Oksana Tkachuk, Matthew B. Dwyer programs or about program components, an abstract model of the environment can be essential in enabling environment behavior with sound abstractions of environment implemen­ tations to form a model

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

  9. 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 for managing the data reliability would incur huge storage cost. To address this issue, in this paper we present a novel cost-effective data reliability management mechanism named PRCR, which proactively checks

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

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

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

  13. 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 word-level information in theories richer than propositional logic and using SMT solvers for the generated verification conditions. Here, we investigate the application of dif- ferent SMT solvers

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

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University by encoding word-level information in theories richer than propositional logic and using SMT solvers for the gener- ated verification conditions. Here, we investigate the application of different SMT solvers

  15. An Optimization Approach for Effective Formalized fUML Model Checking

    E-Print Network [OSTI]

    Doran, Simon J.

    An Optimization Approach for Effective Formalized fUML Model Checking Islam Abdelhalim, Steve that makes use of a restricted CSP model (because it follows certain formalization rules) to optimize; the first one provides optimization advice to the modeller, while the second one au- tomatically applies

  16. Advanced Unbounded CTL Model Checking Based on AIGs, BDD Sweeping, And Quantifier

    E-Print Network [OSTI]

    Manolios, Panagiotis "Pete"

    and gates and inverters Simple data structure Every Boolean function can be represented by an AIG 5 Florian Networks of 2-input and gates and inverters Simple data structure Every Boolean function can be representedAdvanced Unbounded CTL Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling

  17. Model Checking Large Software Specifications William Chan Richard J. Anderson Paul Beame Steve Burns

    E-Print Network [OSTI]

    Beame, Paul

    Model Checking Large Software Specifications William Chan Richard J. Anderson Paul Beame Steve methods for achieving acceptable performance, and giving a sum­ mary of the properties analyzed. Based.J. Anderson, P. Beame, F. Modugno, D. Notkin, and J.D. Reese are with the Department of Computer Science

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

  19. Bonus Symmetry and the Operator Product Expansion of N=4 Super-Yang-Mills

    E-Print Network [OSTI]

    Kenneth Intriligator; Witold Skiba

    1999-05-04T23:59:59.000Z

    The superconformal group of N=4 super-Yang-Mills has two types of operator representations: short and long. We conjecture that operator product expansions for which at least two of the three operators are short exactly respect a bonus U(1)_Y R-symmetry, which acts as an automorphism of the superconformal group. This conjecture is for arbitrary gauge group G and gauge coupling g_{YM}. A consequence is that n\\leq 4-point functions involving only short operators exactly respect the U(1)_Y symmetry, as has been previously conjectured based on AdS duality. This, in turn, would imply that all n\\leq 3 -point functions involving only short operators are not renormalized, as has also been previously conjectured and subjected to perturbative checks. It is argued that instantons are compatible with our conjecture. Some perturbative checks of the conjecture are presented and SL(2,Z) modular transformation properties are discussed.

  20. Focus Group Meeting (Topical Meeting) | 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy Chinaof EnergyImpactOnSTATEMENT8.pdf MoreRevised GuidelinesTraining Meeting

  1. Focus Group Meeting (Topical Meeting) | 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 DataDepartment of Energy Your Density Isn't YourTransport inEnergy0.pdf Flash2010-60.pdf2 DOE Hydrogen andMeeting Date: June 11, 2009

  2. Focus Group Meeting (Topical Meeting) | 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 DataDepartment of Energy Your Density Isn't YourTransport inEnergy0.pdf Flash2010-60.pdf2 DOE Hydrogen andMeeting Date: June 11,

  3. Focus Group Meeting (Topical Meeting) | 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 DataDepartment of Energy Your Density Isn't YourTransport inEnergy0.pdf Flash2010-60.pdf2 DOE Hydrogen andMeeting Date: June 11,Training

  4. ORSSAB Meeting - Annual Meeting August 2014 | 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 onYouTube YouTube Note: Since the.pdfBreaking ofOilNEWResponse to Time-BasedDecember 23,Misc Cases TOREMUserORSSAB Meeting

  5. Meeting Minutes from Automated Home Energy Management System Expert Meeting

    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 DataDepartment of Energy Your Density Isn't YourTransport(FactDepartment3311, 3312), OctoberMay 18-19, 2004 Meeting Materials:September

  6. Meetings

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

    NT Redispatch Short-term ATC Methodology Transmission Commercial Project Integration Roadmap BPA Transmission Commercial Initiatives August 8, 2013 Agenda Transmission Project...

  7. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image of RodDepartment

  8. Meetings

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville PowerCherries 82981-1cnHighand Retrievals from aRod Eggert Image of

  9. Last Updated 8/12/2013 Page 1 of 2 Meeting Room 2 Meeting Room 3 Meeting Room 4 Meeting Room 5 Meeting Room 6

    E-Print Network [OSTI]

    Minnesota, University of

    Meeting Room 6 8:00 a.m.-12:00 noon Intro to LID Rainwater Harvesting 1:00-5:00 p.m. Advances in Design Strategies for Achieving Water Quality Goals Publications and Approaches for Mainstreaming LID LID Modeling Cities Light Rail Monitoring Bioretention and Rainwater Harvesting Systems Urban Trees as a LID Source

  10. LAPTOP COMPUTER CHECKOUT POLICY There are two laptop computers that can be checked out by faculty who need them for

    E-Print Network [OSTI]

    Selmic, Sandra

    LAPTOP COMPUTER CHECKOUT POLICY There are two laptop computers that can be checked out by faculty policy which was adopted by College Council: (1) The pool laptop computers can be checked out for no more than 2 weeks at a time. (2) Reservation requests for portable computers should be submitted at least 1

  11. EMAB Meetings | 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 onYouTube YouTube Note: Since the YouTube|6721 Federal Register / Vol.6: RecordJune 20, 2013MeetingEMMay 2014 EMAB

  12. FTCP Meetings | Department of Energy

    Office of Environmental Management (EM)

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 1112011 Strategic Plan| Department of.pdf6-OPAM FLASH2011-16-OPAMYoung,02,ConferenceMeetings FTCP

  13. Commission Meetings | 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy China U.S. DepartmentEnergy This partAs the DepartmentSchoolsLargeDepartmentMeetings

  14. FNAL Users Meeting Morgan Wascko

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist. Category UC-lFederal ColumbiaASCR2FOR THEFNAL Users Meeting

  15. NERSC User Group Meeting 2014

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Saleshttp://www.fnal.gov/directorate/nalcal/nalcal02_07_05_files/nalcal.gif Directorate - Events:00---9:30 Registration aMeeting 2014

  16. Final Meeting Summary Page 1

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New Mexico Feb.Information 91, 2015 FINAL MEETING SUMMARY

  17. Final Meeting Summary Page 1

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New Mexico Feb.Information 91, 2015 FINAL MEETING SUMMARYMarch

  18. Final Meeting Summary Page 1

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New Mexico Feb.Information 91, 2015 FINAL MEETING

  19. Final Meeting Summary Page 1

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New Mexico Feb.Information 91, 20159, 2012 FINAL MEETING

  20. Final Meeting Summary Page 1

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New Mexico Feb.Information 91, 20159, 2012 FINAL MEETING9,

  1. Final Meeting Summary Page 1

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power AdministrationField8,Dist.New Mexico Feb.Information 91, 20159, 2012 FINAL MEETING9,6,

  2. Meeting Agenda | 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 DataDepartment of Energy Your Density Isn't YourTransport(FactDepartment3311, 3312), October 20122Technologies61-2008Medium-Agenda Meeting

  3. Work Control Center Operating Procedure page 1 D-NSTX-OP-AD-129 Rev.OO

    E-Print Network [OSTI]

    Princeton Plasma Physics Laboratory

    Responsibilities: 7 5.0 Flow Chart of Work Package Processing: 9 7.0 Work Control Center Meetings: 12 7.1 Plan and Operations Division Energy Conversion System!Motor Control Division Environmental Restoration & Waste

  4. Operation of water supply reservoirs for flood mitigation : hydrologic and institutional considerations

    E-Print Network [OSTI]

    Craney, Patrick Wayne

    1996-01-01T23:59:59.000Z

    Additional demands are being placed upon reservoirs to meet a variety of diverse needs. These demands require efficient management of the limited storage through reservoir operations. This efficiency is most critical with water supply reservoirs...

  5. Report of GWC participation at Torino, Italy 2 Meeting of MatER (WTERT-Italy), 12-14 September

    E-Print Network [OSTI]

    such plants in Naples and in Parma). The Gasification Plant (Thermoselect) in Rome does not operate, the other new under development Gasification Plant in Albano is on #12; 2 stand-by. 2. WGER meeting operation. He also provided updated information regarding the new Plasma Gasification by Europlasma

  6. 2013 Building America Research Planning Meeting Summary

    SciTech Connect (OSTI)

    Metzger, C. E.; Hunt, S.

    2014-02-01T23:59:59.000Z

    The Building America (BA) Research Planning Meeting was held October 28-30, 2013, in Washington, DC. This meeting provides one opportunity each year for the research teams, national laboratories and Department of Energy (DOE) managers to meet in person to share the most pertinent information and collaboration updates. This report documents the presentations, highlights key program updates, and outlines next steps for the program.

  7. Fast reactor safety: proceedings of the international topical meeting. Volume 2. [R

    SciTech Connect (OSTI)

    Not Available

    1985-07-01T23:59:59.000Z

    The emphasis of this meeting was on the safety-related aspects of fast reactor design, analysis, licensing, construction, and operation. Relative to past meetings, there was less emphasis on the scientific and technological basis for accident assessment. Because of its broad scope, the meeting attracted 217 attendees from a wide cross section of the design, safety analysis, and safety technology communities. Eight countries and two international organizations were represented. A total of 126 papers were presented, with contributions from the United States, France, Japan, the United Kingdom, Germany, and Italy. Sessions covered in Volume 2 include: safety design concepts; operational transient experiments; analysis of seismic and external events; HCDA-related codes, analysis, and experiments; sodium fires; instrumentation and control/PPS design; whole-core accident analysis codes; and impact of safety design considerations on future LMFBR developments.

  8. Number 371 November / December 2010 The season of wintertime operations is here, along with

    E-Print Network [OSTI]

    , checking oil and tire pressure. The checklist procedures were not performed in the standard order and were or procedures 14 Airport facility or procedure 12 Company policies 1 Maintenance procedure 2 TOTAL 46 SituationNumber 371 November / December 2010 The season of wintertime operations is here, along with another

  9. FUPWG Meeting Agenda - Providence, Rhode Island | Department...

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

    PDFs. Download Adobe Reader. Tuesday, April 13, 2010 FUPWG held a utility energy service contract (UESC) workshop prior to the Spring 2010 meeting. The workshop materials are...

  10. 2014 Geothermal Resources Council Annual Meeting

    Broader source: Energy.gov [DOE]

    The Annual Meeting attracts geothermal industry stakeholders worldwide and provides opportunity to participate in presentations on geothermal research, exploration, development, and utilization.

  11. Electricity Advisory Committee Meeting Presentations October...

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

    Tuesday, October 16, 2012 Electricity Advisory Committee Meeting Presentations October 2012 - Tuesday, October 16, 2012 The Department of Energy's Electricity Advisory Committee...

  12. Electricity Advisory Committee Meeting Presentations June 2012...

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

    Tuesday, June 12, 2012 Electricity Advisory Committee Meeting Presentations June 2012 - Tuesday, June 12, 2012 The Department of Energy's Electricity Advisory Committee held a...

  13. Electricity Advisory Committee Meeting Presentations June 2014...

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

    Colburn, RAP More Documents & Publications Agenda, June 16 & 17, 2014 Meeting of the Electricity Advisory Committee Fact Sheet: Community Energy Storage for Grid Support (October...

  14. Electricity Advisory Committee Meeting Presentations June 2012...

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

    Center for Energy Workforce Development - Ann Randazzo More Documents & Publications Electricity Advisory Committee Meeting Presentations March 2012 - Monday, March 5, 2012 EAC...

  15. Electricity Advisory Committee Meeting Presentations March 2015...

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

    Thursday, March 26, 2015 Electricity Advisory Committee Meeting Presentations March 2015 - Thursday, March 26, 2015 The Department of Energy's Electricity Advisory Committee held a...

  16. Electricity Advisory Committee Meeting Presentations March 2014...

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

    Wednesday, March 12, 2014 Electricity Advisory Committee Meeting Presentations March 2014 - Wednesday, March 12, 2014 The Department of Energy's Electricity Advisory Committee held...

  17. Electricity Advisory Committee Meeting Presentations June 2014...

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

    Monday, June 16, 2014 Electricity Advisory Committee Meeting Presentations June 2014 - Monday, June 16, 2014 The Department of Energy's Electricity Advisory Committee held a...

  18. Electricity Advisory Committee Meeting Presentations June 2013...

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

    Wednesday, June 5, 2013 Electricity Advisory Committee Meeting Presentations June 2013 - Wednesday, June 5, 2013 The Department of Energy's Electricity Advisory Committee held a...

  19. Electricity Advisory Committee Meeting Presentations March 2014...

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

    Thursday, March 13, 2014 Electricity Advisory Committee Meeting Presentations March 2014 - Thursday, March 13, 2014 The Department of Energy's Electricity Advisory Committee held a...

  20. Electricity Advisory Committee Meeting Presentations March 2012...

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

    Department of Energy's Electricity Advisory Committee held a meeting on Monday, March 5 and Tuesday, March 6 at the Ronald Reagan Building, 1300 Pennsylvania Ave. NW, Washington,...

  1. Diatom Genomics (2009 JGI User Meeting)

    ScienceCinema (OSTI)

    Ambrust, Ginger

    2011-04-25T23:59:59.000Z

    Ginger Armbrust from the University of Washington spoke about diatom genomics on March 26, 2009 at the DOE JGI User Meeting

  2. Building America Expert Meeting: Interior Insulation Retrofit...

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

    Building Science Corporation team held an Expert Meeting on Interior Insulation Retrofit of Mass Masonry Wall Assemblies on July 30, 2011, at the Westford Regency Hotel in...

  3. Building America Expert Meeting: Transforming Existing Buildings...

    Energy Savers [EERE]

    Transforming Existing Buildings through New Media--An Idea Exchange Building America Expert Meeting: Transforming Existing Buildings through New Media--An Idea Exchange This report...

  4. Building America Expert Meeting: Foundations Research Results...

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

    NorthernSTAR Building America Partnership held an expert meeting on Foundations Research Results on November 15, 2011 at the University Hotel Minneapolis on the campus of the...

  5. ATF Users Meeting 2002 Max.ppt

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

    at the CAP Steering Committee and ATF Users Meeting January 31 - February 1, 2002 Accelerator and Fusion Research Division Center for Beam Physics e - Atom at rest Atom...

  6. Quadrennial Energy Review Stakeholder Meeting #6: Pittsburgh...

    Office of Environmental Management (EM)

    Main Points: 1. Welcome to Carnegie Mellon University and today's Quadrennial Energy Review (QER) public meeting. The Scott Institute for Energy Information (Scott...

  7. EAC Meeting Summary October 16, 2012

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

    US Department of Energy MATT ROSENBAUM, US Department of Energy, OE ELAINE ULRICH, Solar Energy Technologies Program, DOE Other Meeting Participants: MICHAEL BRAIRTON, ITC...

  8. Building America Expert Meeting: Simplified Space Conditioning...

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

    11, 2011, at the Seaport Hotel in Boston, Massachusetts on the topic of simplified space conditioning systems in low load homes. This meeting provided a forum for...

  9. Ocean Viral Metagenomics (2010 JGI User Meeting)

    ScienceCinema (OSTI)

    Rohwer, Forest

    2011-04-26T23:59:59.000Z

    Forest Rohwer from San Diego State University talks about "Ocean Viral Metagenomics" on March 25, 2010 at the 5th Annual DOE JGI User Meeting

  10. NERSC/DOE BER Requirements Meeting Logistics

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

    Logistics Hotel Information Location The workshop was held at the Hilton Washington DCRockville Executive Meeting Center. Address is 1750 Rockville Pike, Rockville, Maryland,...

  11. Conferences and Meetings | Department of Energy

    Energy Savers [EERE]

    Program R&D Program Market-Based Programs SSL Basics Using LEDs Information Resources Conferences & Meetings Past Conferences Presentations Publications Webcasts Videos Tools...

  12. Electro Catalytic Oxidation (ECO) Operation

    SciTech Connect (OSTI)

    Morgan Jones

    2011-03-31T23:59:59.000Z

    The power industry in the United States is faced with meeting many new regulations to reduce a number of air pollutants including sulfur dioxide, nitrogen oxides, fine particulate matter, and mercury. With over 1,000 power plants in the US, this is a daunting task. In some cases, traditional pollution control technologies such as wet scrubbers and SCRs are not feasible. Powerspan's Electro-Catalytic Oxidation, or ECO{reg_sign} process combines four pollution control devices into a single integrated system that can be installed after a power plant's particulate control device. Besides achieving major reductions in emissions of sulfur dioxide (SO{sub 2}), nitrogen oxides (NOx), fine particulate matter (PM2.5) and mercury (Hg), ECO produces a highly marketable fertilizer, which can help offset the operating costs of the process system. Powerspan has been operating a 50-MW ECO commercial demonstration unit (CDU) at FirstEnergy Corp.'s R.E. Burger Plant near Shadyside, Ohio, since February 2004. In addition to the CDU, a test loop has been constructed beside the CDU to demonstrate higher NOx removal rates and test various scrubber packing types and wet ESP configurations. Furthermore, Powerspan has developed the ECO{reg_sign}{sub 2} technology, a regenerative process that uses a proprietary solvent to capture CO{sub 2} from flue gas. The CO{sub 2} capture takes place after the capture of NOx, SO{sub 2}, mercury, and fine particulate matter. Once the CO{sub 2} is captured, the proprietary solution is regenerated to release CO{sub 2} in a form that is ready for geological storage or beneficial use. Pilot scale testing of ECO{sub 2} began in early 2009 at FirstEnergy's Burger Plant. The ECO{sub 2} pilot unit is designed to process a 1-MW flue gas stream and produce 20 tons of CO{sub 2} per day, achieving a 90% CO{sub 2} capture rate. The ECO{sub 2} pilot program provided the opportunity to confirm process design and cost estimates, and prepare for large scale capture and sequestration projects. The objectives of this project were to prove at a commercial scale that ECO is capable of extended operations over a range of conditions, that it meets the reliability requirements of a typical utility, and that the fertilizer co-product can be consistently generated, providing ECO with an economic advantage over conventional technologies currently available. Further objectives of the project were to show that the ECO system provides flue gas that meets the inlet standards necessary for ECO{sub 2} to operate, and that the outlet CO{sub 2} and other constituents produced by the ECO{sub 2} pilot can meet Kinder-Morgan pipeline standards for purposes of sequestration. All project objectives are consistent with DOE's Pollution Control Innovations for Power Plants program goals.

  13. Quality Control Quantification (QCQ): A Tool to Measure the Value of Quality Control Checks in Radiation Oncology

    SciTech Connect (OSTI)

    Ford, Eric C., E-mail: eford@uw.edu [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States); Terezakis, Stephanie; Souranis, Annette; Harris, Kendra [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States)] [Department of Radiation Oncology and Molecular Radiation Sciences, Johns Hopkins University, Baltimore, Maryland (United States); Gay, Hiram; Mutic, Sasa [Department of Radiation Oncology, Washington University, St. Louis, Missouri (United States)] [Department of Radiation Oncology, Washington University, St. Louis, Missouri (United States)

    2012-11-01T23:59:59.000Z

    Purpose: To quantify the error-detection effectiveness of commonly used quality control (QC) measures. Methods: We analyzed incidents from 2007-2010 logged into a voluntary in-house, electronic incident learning systems at 2 academic radiation oncology clinics. None of the incidents resulted in patient harm. Each incident was graded for potential severity using the French Nuclear Safety Authority scoring scale; high potential severity incidents (score >3) were considered, along with a subset of 30 randomly chosen low severity incidents. Each report was evaluated to identify which of 15 common QC checks could have detected it. The effectiveness was calculated, defined as the percentage of incidents that each QC measure could detect, both for individual QC checks and for combinations of checks. Results: In total, 4407 incidents were reported, 292 of which had high-potential severity. High- and low-severity incidents were detectable by 4.0 {+-} 2.3 (mean {+-} SD) and 2.6 {+-} 1.4 QC checks, respectively (P<.001). All individual checks were less than 50% sensitive with the exception of pretreatment plan review by a physicist (63%). An effectiveness of 97% was achieved with 7 checks used in combination and was not further improved with more checks. The combination of checks with the highest effectiveness includes physics plan review, physician plan review, Electronic Portal Imaging Device-based in vivo portal dosimetry, radiation therapist timeout, weekly physics chart check, the use of checklists, port films, and source-to-skin distance checks. Some commonly used QC checks such as pretreatment intensity modulated radiation therapy QA do not substantially add to the ability to detect errors in these data. Conclusions: The effectiveness of QC measures in radiation oncology depends sensitively on which checks are used and in which combinations. A small percentage of errors cannot be detected by any of the standard formal QC checks currently in broad use, suggesting that further improvements are needed. These data require confirmation with a broader incident-reporting database.

  14. Hydrogen Storage Systems Analysis Working Group Meeting Argonne National Laboratory DC Offices

    E-Print Network [OSTI]

    at Savannah River National Laboratory (Don Anton and Bruce Hardy, SRNL) Based on the operating conditionsHydrogen Storage Systems Analysis Working Group Meeting Argonne National Laboratory DC Offices 955 by Romesh Kumar Argonne National Laboratory and Laura Verduzco Sentech, Inc. February 28, 2007 #12;SUMMARY

  15. 2014 CAMD Users Meeting Schedule

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

    and Program Status at CAMD 8:50 - 9:15 Daren Launey, LSU-CAMD, "Storage Ring; The Multipole Wiggler and Operational Status" 9:15 - 9:40 Henry Bellamy, LSU-CAMD, "New High-Field...

  16. Bounded Model Checking of Multi-threaded Software using SMT solvers

    E-Print Network [OSTI]

    Cordeiro, Lucas

    2010-01-01T23:59:59.000Z

    The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an extension of the ESBMC model checker to support the verification of multi-threaded software with shared variables and locks using bounded model checking (BMC) based on Satisfiability Modulo Theories (SMT). We describe three approaches to model check multi-threaded software and our modelling of the synchronization primitives of the Pthread library. In the lazy approach, we generate all possible interleavings and call the BMC procedure on each of them individually, until we either find a bug, or have systematically explored all interleavings. In the schedule recording approach, we encode all possible interleavings into one single formula and then exploit the high speed of the SMT solvers. In the underapproximation-widening approach, we reduce the state space by abstracting the number of state variables and interleavings from the proofs o...

  17. Tuesday, June 24 P. M. noon -4:30 BEAN Registration/Check-in

    E-Print Network [OSTI]

    Bordenstein, Seth

    Tuesday, June 24 P. M. noon - 4:30 BEAN Registration/Check-in 5:00 - 7:00 CAR Dinner 7:30 PLC Welcome Gathering 8:30 BEAN Lead Chaperone/Conductor/Interns mtg. 10:00 BEAN Lights out Wednesday, June 25:45 PLC Rehearsal II 5:00 - 6:30 CAR Dinner 7:00 ­ 9:00 CLC Sharing Our Songs Concert I 9:15 ­ 9:45 BEAN

  18. Model-Checking the Higher-Dimensional Modal mu-Calculus

    E-Print Network [OSTI]

    Lange, Martin; 10.4204/EPTCS.77.6

    2012-01-01T23:59:59.000Z

    The higher-dimensional modal mu-calculus is an extension of the mu-calculus in which formulas are interpreted in tuples of states of a labeled transition system. Every property that can be expressed in this logic can be checked in polynomial time, and conversely every polynomial-time decidable problem that has a bisimulation-invariant encoding into labeled transition systems can also be defined in the higher-dimensional modal mu-calculus. We exemplify the latter connection by giving several examples of decision problems which reduce to model checking of the higher-dimensional modal mu-calculus for some fixed formulas. This way generic model checking algorithms for the logic can then be used via partial evaluation in order to obtain algorithms for theses problems which may benefit from improvements that are well-established in the field of program verification, namely on-the-fly and symbolic techniques. The aim of this work is to extend such techniques to other fields as well, here exemplarily done for process...

  19. Exploration Of Activity Measurements And Equilibrium Checks For Sediment Dating Using Thick-Window Germanium Detectors

    SciTech Connect (OSTI)

    Warner, Jacob A.; Gladkis, Laura G.; Timmers, Heiko [School of Physical, Environmental and Mathematical Sciences, University of New South Wales at the Australian Defence Force Academy, Canberra ACT 2602 (Australia); Fitzsimmons, Kathryn E. [Department of Human Evolution, Max Planck Institute for Evolutionary Anthropology, Deutscher Platz 6, D-04103 Leipzig (Germany); Reynolds, Eva M. [Research School of Earth Sciences, Australian National University, Canberra ACT 0200 (Australia)

    2011-06-01T23:59:59.000Z

    Activity measurements on sediment samples for trapped-charge geological dating using gamma-ray spectroscopy are an important verification of the field-site dose rate determination. Furthermore gamma-ray spectroscopy can check if the natural decay series are in secular equilibrium which is a crucial assumption in such dating. Typically the activities of leading members of the Thorium and Uranium decay series are measured, which requires Germanium detectors with thin windows and good energy resolution in order to effectively detect the associated low energy gamma-rays. Such equipment is not always readily available. The potential of conventional Germanium detectors with thick entrance window has been explored towards routine gamma-ray spectroscopy of sediment samples using higher energy gamma-rays. Alternative isotopes, such as Ac-228 and Pb-212 for the Thorium series, and Pa-234m, Ra-226 and Bi-214 for the Uranium series, have been measured in order to determine the mass-specific activity for the respective series and possibly provide a check of secular equilibrium. In addition to measurements of the K-40 activity, with the alternative approach, the activities of both decay series can be accurately determined. The secular equilibrium condition may be tested for the Thorium series. Measurement accuracy for Pa-234m is, however, not sufficient to permit also a reliable check of equilibrium for the Uranium series.

  20. Guide to good practices for operations aspects of unique processes

    SciTech Connect (OSTI)

    NONE

    1998-12-01T23:59:59.000Z

    This Guide to Good Practices is written to enhance understanding of, and provide direction for, Operations Aspects of Facility Chemistry and Unique Processes, Chapter XIII of Department of Energy (DOE) Order 5480.19, Conduct of Operations Requirements for DOE Facilities. The practices in this guide should be considered when planning or reviewing employee training and facility management programs. Contractors are advised to adopt procedures that meet the intent of DOE Order 5480.19. Operations Aspects of Unique Processes is an element of an effective Conduct of Operations program. The complexity and array of activities performed in DOE facilities dictate the necessity for all personnel to coordinate interrelated activities affecting unique processes.

  1. Mechanical Working Group meeting minutes

    SciTech Connect (OSTI)

    Not Available

    1992-12-01T23:59:59.000Z

    This documents contains the minutes and viewgraphs from the October 27--28, 1992 meeting on the subject of power generation and delivery systems for military applications. Attendees represented the US Air Force and NASA. The thermal management panel reported on the capillary pump loop test facility, thermal control systems and compressors, and the oxygen heat pipe flight experiment. The aerospace power panel reported on the integrated power unit for the more electric airplane, the solar dynamic power system, the modular high temperature gas cooled reactor-gas-turbine program, the multi-megawatt CBC power system, and analytical modeling for heat pipe performance. The terrestrial power panel reported on a free piston stirling engine power generation system, fuel cell vehicles, and the advanced gas turbine project.

  2. A Meeting Perspective and Advances in Standards

    SciTech Connect (OSTI)

    Chain, Patrick [Los Alamos National Laboratory

    2010-06-04T23:59:59.000Z

    Patrick Chain, a DOE JGI scientist at Los Alamos National Laboratory, looks back on previous SFAF meetings and gives an update on the genome standards first publicly proposed in 2009 on June 4, 2010 at the "Sequencing, Finishing, Analysis in the Future" meeting in Santa Fe, NM

  3. NAC Technology and Innovation Committee Meeting Report

    E-Print Network [OSTI]

    Christian, Eric

    NAC Technology and Innovation Committee Meeting Report Esther Dyson Chair, NAC Technology and Innovation Committee August 6, 2010 0 #12;Technology and Innovation Agenda Aug. 3rd Meeting · OCT Update ­ R programs ­ P. Desai · OCT/ESMD Technology Coordination ­ J. Reuther · Overview of ESMD New Technology

  4. Resource assessment/commercialization planning meeting

    SciTech Connect (OSTI)

    None

    1980-01-24T23:59:59.000Z

    The U.S. Department of Energy, Division of Geothermal Energy and Division of Geothermal Resource Management, sponsored a Resource Assessment/Commercialization Planning meeting in Salt Lake City on January 21-24, 1980. The meeting included presentations by state planning and resource teams from all DOE regions. An estimated 130 people representing federal, state and local agencies, industry and private developers attended.

  5. GRADUATE COUNCIL MEETING 19 October 2011

    E-Print Network [OSTI]

    Omiecinski, Curtis

    Issues ­ James Nemes, Chair Committee on Programs and Courses ­ C. Andrew Cole, Chair Items, 2011, at 3:30 p.m. in 102 Kern Graduate Building. Dr. Henry Foley, Vice President for Research and Dean of the Graduate School, chaired the meeting. The minutes of the meeting of May 11, 2011, were approved. Dr. Foley

  6. Library Reserved Room Policy All Meeting Spaces

    E-Print Network [OSTI]

    Mather, Patrick T.

    Library Reserved Room Policy All Meeting Spaces Room reservation To make a reservation for any Library meeting space, complete the room reservation form at http://library.syr.edu/services/space/form-findroom.php. In order to provide equitable access to library spaces, the Library may impose limitations on frequency

  7. UCIME Group Meeting March 9, 2001

    E-Print Network [OSTI]

    Clarke, Keith

    a briefing on the coupled modeling system to a joint meeting of the Cities of Carpinteria, Montecito and Santa Barbara (7:00pm, a public meeting at Carpinteria City Hall) and finally for two different groups, specifically nutrient loading on streams and to the ocean. The study area will be the Carpinteria Creek

  8. Energy Management of Chiller Plant for Improved Efficiency and Operation

    E-Print Network [OSTI]

    Alexander, D. P.; Rice, L. S.

    while meeting the operational requirements of plant chillers. The chiller energy management is an integrated part of total energy management system including the boilers. A uniform display is used for boilers, chillers, compressors, etc. Specific... displayed and organized so that the plant is easily manageable. With the outdated equipment, a major control system failure could generate discomfort. Furthermore, more manual observation and adjustments were required to provide a trouble-free operation...

  9. Guide to good practices for operations aspects of unique processes

    SciTech Connect (OSTI)

    Not Available

    1993-06-01T23:59:59.000Z

    This Guide to Good Practices is written to enhance understanding of, and provide direction for, Operations Aspects of Facility Chemistry and Unique Process, Chapter 13 of Department of Energy (DOE) Order 5480.19, ``Conduct of Operations Requirements for DOE Facilities.`` The practices in this guide should be considered when planning or reviewing employee training and facility management programs. Contractors are advised to adopt procedures that meet the intent of DOE Order 5480.19.

  10. RHIC Operation and Plans for Upgrades Wolfram Fischer

    E-Print Network [OSTI]

    Ã? design 10Ã? achieved #12;Wolfram Fischer 7 Achieved parameters Mode No of bunches Ions/bunch [ 1 0 9] enhanced luminosity 60e9 Au intensity design luminosity Beamexperiments #12;Wolfram Fischer 10 RHIC Run-41 RHIC Operation and Plans for Upgrades Wolfram Fischer C-AD Machine Advisory Committee Meeting 10

  11. Emergency Management Fundamentals and the Operational Emergency Base Program

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

    2007-07-11T23:59:59.000Z

    The Guide provides information about the emergency management fundamentals imbedded in the requirements of DOE O 151.1C, as well as acceptable methods of meeting the requirements for the Operational Emergency Base Program, which ensures that all DOE facilities have effective capabilities for all emergency response. Cancels DOE G 151.1-1, Volume 1.

  12. Notice of Public Meeting, Federal Register, 66 FR 50177, October...

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

    Public Meeting, Federal Register, 66 FR 50177, October 2, 2001 Notice of Public Meeting, Federal Register, 66 FR 50177, October 2, 2001 Document displays a notice of public meeting...

  13. Effective Date: Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: Revision- Check the JPSS MIS Server at https-00043 Effective Date: April 22, 2011 Revision - Check the JPSS MIS Server at https SDR ATBD 474-00043 Effective Date: April 22, 2011 Revision - i Check the JPSS MIS Server at https

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

    E-Print Network [OSTI]

    Reif, Rafael

    1. Check Equipment Reservations in Coral to ensure that you reserved the correct machine to honor them, if this is the case. 2. Engage the tool in Coral for the equipment that you are about to use protectors and acid gloves. 5. Perform pre-check of wet bench 1. Check the Coral indicator LED in the upper

  15. The performance check between whole building thermal performance criteria and exterior wall measured clear wall R-value, thermal bridging, thermal mass, and airtightness

    SciTech Connect (OSTI)

    Kosny, J.; Christian, J.E.; Desjarlais, A.O. [Oak Ridge National Lab., TN (United States). Buildings Technology Center; Kossecka, E. [Polish Academy of Sciences (Poland); Berrenberg, L. [American Polysteel Forms (United States)

    1998-06-01T23:59:59.000Z

    At the last IEA Annex 32 meeting it was proposed that the annex develop the links between level 1 (the whole building performance) and level 2 (the envelope system). This paper provides a case study of just that type of connection. An exterior wall mockup is hot box tested and modeled in the laboratory. Measurements of the steady state and dynamic behavior of this mockup are used as the basis to define the thermal bridging, thermal mass benefit and air tightness of the whole wall system. These level two performance characteristics are related to the whole building performance. They can be analyzed by a finite difference modeling of the wall assembly. An equivalent wall theory is used to convert three dimensional heat flow to one dimensional terms that capture thermal mass effects, which in turn are used in a common whole building simulation model. This paper illustrates a performance check between the thermal performance of a Massive ICF (Insulating Concrete Form) wall system mocked up (level 2) and Whole Building Performance criteria (level 1) such as total space heating and cooling loads (thermal comfort).

  16. Operations and compositions in transrecursive operators

    SciTech Connect (OSTI)

    Burgin, M.S.; Borodyanskii, Yu.M.

    1995-03-01T23:59:59.000Z

    The present study is a continuation of a study focusing on introduction and analysis of operations on transrecursive operators, which are similar to the operators considered in the theory of algorithms. Such operations may be standard product of algorithms) or special ({alpha}-disjunction and {alpha}-iteration. In some respects, these operations in the class of transrecursive operators are similar to their traditional analogs. In other respects, however, they are essentially different. For instance, they may have different types and modes. Specific features of operations on transrecursive operators are attributable to explicit omission of some restrictions on their construction compared with the construction of algorithms. The standard approaches to mathematical modeling of the concept of algorithm assume a number of essential restrictions. Specifically, they assume finiteness of (1) the input data arriving during a finite time interval; (2) the list of rules underlying the operations of the algorithm; (3) the transformations executed by a single operation; (4) the description of each rule; (5) the time to execute one operation; (6) the time to execute one operation; (7) the number of cycles that the algorithm executes in order to realize the mapping. In application to Turing machines, these restrictions imply finiteness of the initial word, finiteness of the command table of the read head, and ultimate stopping when the result is obtained after finitely many steps. Various classes of transrecursive operators are constructed by dropping various combinations of the {open_quotes}finiteness{close_quotes} restrictions. Two classes of transrecursive operators - the limit (inductive) Turing machines and transalgorithms - have been obtained by dropping respectively the assumption of finiteness of the number of execution cycles and the assumption of finiteness of the list of rules.

  17. Operating Permits (New Jersey)

    Broader source: Energy.gov [DOE]

    The owner or operator of a facility subject to this article shall obtain and maintain an operating permit for the facility. The owner or operator of a facility subject to this article shall ensure...

  18. Cogeneration Operational Issues

    E-Print Network [OSTI]

    Williams, M.

    operations. Other operational issues also include utility transmission planning, generation planning and fuel mix decisions. All of these operational problems have an impact on the ratepayer in regard to quality of electric service and future rates. Both...

  19. Cancer Evaluation The following questions are about today's program. Place a check (T) in front of the answer.

    E-Print Network [OSTI]

    EAT SMART Cancer Evaluation The following questions are about today's program. Place a check (T the information from this program. # I have or have had cancer. YES NO As you answer each question, think about

  20. Heart Health Evaluation The following questions are about today's program. Place a check (T) in front of the answer.

    E-Print Network [OSTI]

    EAT SMART Heart Health Evaluation The following questions are about today's program. Place a check not planning to use the information in this program. # I have heart disease or high blood pressure. YES

  1. 1058 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 53, NO. 3, MARCH 2007 Generalized Low-Density Parity-Check Codes

    E-Print Network [OSTI]

    Ping, Li

    represented by an extrinsic mutual information transfer (EXIT) chart. Simulation results show-Hadamard codes. Index Terms--Code optimization, extrinsic mutual informa- tion transfer (EXIT) chart, generalized check (SPC) codes using bipartite graphs. For

  2. Heat Transfer Operators Associated with Quantum Operations

    E-Print Network [OSTI]

    Ç. Aksak; S. Turgut

    2011-04-14T23:59:59.000Z

    Any quantum operation applied on a physical system is performed as a unitary transformation on a larger extended system. If the extension used is a heat bath in thermal equilibrium, the concomitant change in the state of the bath necessarily implies a heat exchange with it. The dependence of the average heat transferred to the bath on the initial state of the system can then be found from the expectation value of a hermitian operator, which is named as the heat transfer operator (HTO). The purpose of this article is the investigation of the relation between the HTOs and the associated quantum operations. Since, any given quantum operation on a system can be realized by different baths and unitaries, many different HTOs are possible for each quantum operation. On the other hand, there are also strong restrictions on the HTOs which arise from the unitarity of the transformations. The most important of these is the Landauer erasure principle. This article is concerned with the question of finding a complete set of restrictions on the HTOs that are associated with a given quantum operation. An answer to this question has been found only for a subset of quantum operations. For erasure operations, these characterizations are equivalent to the generalized Landauer erasure principle. For the case of generic quantum operations however, it appears that the HTOs obey further restrictions which cannot be obtained from the entropic restrictions of the generalized Landauer erasure principle.

  3. Building Operator Certification

    E-Print Network [OSTI]

    Lilley, D.

    2013-01-01T23:59:59.000Z

    Building Operator Certification Energy Efficiency through Operator Training CATEE December 18, 2013 – San Antonio, TX Dennis Lilley, CEM, PMP ESL-KT-13-12-49 CATEE 2013: Clean Air Through Energy Efficiency Conference, San Antonio, Texas Dec. 16...-18 Building Operator Certification Energy Efficiency through Operator Training What is Building Operator Certification? Industry-recognized credential in energy efficient building operation practices Created with 100 industry experts Launched in 1996 9...

  4. Effective Date: September 19, 2012 Check the JPSS MIS Server at https://jpssmis.gsfc.nasa.gov/frontmenu_dsp.cfm to verify that this is the correct version prior to use.

    E-Print Network [OSTI]

    Effective Date: September 19, 2012 Revision ­ Check the JPSS MIS Server at https-00323 Effective Date: September 19, 2012 Revision ­ i Check the JPSS MIS Server at https: September 19, 2012 Revision ­ ii Check the JPSS MIS Server at https

  5. Operation and Maintenance

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

    Operations and Maintenance Operations OASIS: WALC-DSW (Note: this site is not hosted by Western and requires a digital certificate and login for full access.) Contact Information...

  6. Operations Information for Studies

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

    Operations Information for Studies This page contains historical information about hydropower operations. Reclamation UC Region 24-Month Studies FY2009 Load Information (pdf) SLIP...

  7. Operations Cost Allocation Project

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

    Operations Consolidation Project Operations Consolidation Project (OCP) Cost Allocation Presentation - September 20, 2011 OCP Cost Allocation Customer Presentation List of Acronyms...

  8. Operations Research Analyst

    Broader source: Energy.gov [DOE]

    The incumbent in this position will serve as an Operations Research Analyst in the Generation Scheduling (PGS). The Operations Research Analyst is responsible for analytical work that involves...

  9. Building America Expert Meeting: Recommended Approaches to Humidity...

    Energy Savers [EERE]

    Building America Expert Meeting: Recommended Approaches to Humidity Control in High Performance Homes Building America Expert Meeting: Recommended Approaches to Humidity Control in...

  10. Fuel Reformer, LNT and SCR Aftertreatment System Meeting Emissions...

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

    Reformer, LNT and SCR Aftertreatment System Meeting Emissions Useful Life Requirements Fuel Reformer, LNT and SCR Aftertreatment System Meeting Emissions Useful Life Requirements...

  11. Offshore Resource Assessment and Design Conditions Public Meeting...

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

    Resource Assessment and Design Conditions Public Meeting Summary Report Offshore Resource Assessment and Design Conditions Public Meeting Summary Report Report from DOE's June 2011...

  12. Public Meeting Attendee List: Sustainable Design Standards for...

    Office of Environmental Management (EM)

    Public Meeting Attendee List: Sustainable Design Standards for Federal Buildings Public Meeting Attendee List: Sustainable Design Standards for Federal Buildings This document is...

  13. PIA - 10th International Nuclear Graphite Specialists Meeting...

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

    10th International Nuclear Graphite Specialists Meeting registration web site PIA - 10th International Nuclear Graphite Specialists Meeting registration web site More Documents &...

  14. April 30 Public Meeting: Physical Characterization of Smart and...

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

    April 30 Public Meeting: Physical Characterization of Smart and Grid-Connected Commercial and Residential Building End-Use Equipment and Appliances April 30 Public Meeting:...

  15. Hydrogen Storage Systems Analysis Meeting: Summary Report, March...

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

    Meeting: Summary Report, March 29, 2005 Hydrogen Storage Systems Analysis Meeting: Summary Report, March 29, 2005 This report highlights DOE's systems analysis work related to...

  16. Hydrogen Storage Systems Anlaysis Working Group Meeting, December...

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

    Anlaysis Working Group Meeting, December 12, 2006 Hydrogen Storage Systems Anlaysis Working Group Meeting, December 12, 2006 This document provides a summary of the Hydrogen...

  17. Hydrgoen Storage Systems Analysis Working Group Meeting Summary...

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

    Hydrgoen Storage Systems Analysis Working Group Meeting Summary Report Hydrgoen Storage Systems Analysis Working Group Meeting Summary Report Summary report from the May 17, 2007...

  18. SMART Wind Consortium Composites Subgroup Virtual Meeting: Advanced...

    Energy Savers [EERE]

    SMART Wind Consortium Composites Subgroup Virtual Meeting: Advanced Manufacturing of Wind Turbine Blades SMART Wind Consortium Composites Subgroup Virtual Meeting: Advanced...

  19. Electricity Advisory Committee Notice of Open Meeting September...

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

    More Documents & Publications Federal Register Notice for March 27-28, 2014 Meeting Electricity Advisory Committee Notice of Open Meeting October 2 and 3, 2013: Federal Register...

  20. Electricity Advisory Committee Notice of Open Meeting June 16...

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

    Register. EAC Notice of Open Meeting June 16-17, 2014 More Documents & Publications Electricity Advisory Committee Notice of Open Meeting June 5 and 6, 2013: Federal Register...