Sample records for future links check

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  2. Fast, linked, and open the future of taxonomic publishing for plants ... 1 Fast, linked, and open the future of taxonomic

    E-Print Network [OSTI]

    Renner, Susanne

    ­ the future of taxonomic publishing for plants: launching the journal PhytoKeys Lyubomir Penev1 , W. John 4 Kunming Institute of Botany, Chinese Academy of Scien- ces, Heilongtan, Kunming, Yunnan 650204 ­ the future of taxonomic publishing for plants: launching the journal PhytoKeys. PhytoKeys 1: 1­14. doi: 10

  3. Radiation Effects Research Foundation Links Past and Future | Department of

    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 742EnergyOn April 23, 2014, an OHASeptember 2010In addition to 1 |D I S P URFIofJohn Schueler

  4. Links

    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 5Let us countLighting Useful Links BIOSYNC:

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

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A By A

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

  9. Future

    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 742EnergyOnItem NotEnergy,ARMFormsGasReleaseSpeechesHall ATours,Dioxide and Methane |science

  10. V00306010057 rock check dam

    E-Print Network [OSTI]

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

  11. LEED LINKS MENTOR TRAINING PROGRAM LEED LINKS Mentor Program

    E-Print Network [OSTI]

    Evans, Paul G.

    LEED LINKS MENTOR TRAINING PROGRAM LEED LINKS Mentor Program Provides ongoing support for new of LEED LINKS: LEED LINKS Community Building Academic Check-Ins Involvement Check-Ins Mentor-Mentee One-on-Ones A word from the LEED LINKS mentor "I thoroughly enjoyed my time as a mentor for LEED

  12. V01406010015 rock check dam

    E-Print Network [OSTI]

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

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

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

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

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

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

  18. An Introduction to Model Checking

    E-Print Network [OSTI]

    Wolper, Pierre

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

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

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

    E-Print Network [OSTI]

    Prinz, Friedrich B.

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

  1. Checking PDSF Quotas

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625govInstrumentstdmadapInactiveVisiting the TWPSuccessAlamosCharacterization of Selective BindingD.Charting

  2. xlinkit: A Consistency Checking and Smart Link Generation Service

    E-Print Network [OSTI]

    Finkelstein, Anthony

    , Wolfgang Emmerich and Anthony Finkelstein Department of Computer Science University College London Gower Street, London, WC1E 6BT UK {c.nentwich,l.capra,w.emmerich,a.finkelstein}@cs.ucl.ac.uk xlinkit@acm.org. #12;2 · C. Nentwich, L. Capra, W. Emmerich and A. Finkelstein reference to a simple example

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

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

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

  6. Cool Links

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

    Cool Links Explore Science Explore Explore these Topics Activities Videos Cool Links Favorite Q&A invisible utility element Cool Links Los Alamos National Laboratory links Los...

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

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

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

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

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

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

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

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

  15. Related Links | National Nuclear Security Administration

    National Nuclear Security Administration (NNSA)

    About Us Our Programs Defense Programs Future Science & Technology Programs Advanced Simulation and Computing and Institutional R&D Programs Related Links Related Links...

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

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

  18. Check Aid Status & Loans on ISIS

    E-Print Network [OSTI]

    Fang, Yuguang "Michael"

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

  19. Links - 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) - CenterLinks Berkeley Lab Links:links

  20. European Strategy for Future Neutrino Physics

    ScienceCinema (OSTI)

    None

    2011-10-06T23:59:59.000Z

    A workshop to discuss the possibilities for future neutrino investigations in Europe and the links to CERN.

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

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

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

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

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

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

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

  8. Related Links

    Broader source: Energy.gov [DOE]

    The links below provide useful algae resources and are organized by categories. Beyond this page, learn more about BETO's Algae Program R&D by visiting the Information Resources page.

  9. This Letter presented projections of future sea-level rise based on simulations of the past 22,000 years of sea-level history using a simple, empirical model linking sea-level rise to global mean-temperature anomalies. One of the main conclusions of the L

    E-Print Network [OSTI]

    Siddall, Mark

    This Letter presented projections of future sea-level rise based on simulations of the past 22,000 years of sea-level history using a simple, empirical model linking sea-level rise to global mean of sea-level rise during the twenty-first century that are reported in the Fourth Assessment Report

  10. Cool Links

    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,625govInstrumentstdmadapInactiveVisitingContract Management Fermi Site Office (FSO) FSOConverting Biomass toCool Links

  11. Related Links

    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 Press Releases 2014References by Websitehome / Related Links

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

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

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

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

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

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

  18. Relevant Links

    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 Press Releases 2014References by Websitehome / Related

  19. Training Links

    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 SolStrengthening a solidSynthesisAppliances » TopTours SignTrackingTraining

  20. MIDC: Links

    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 9November 6, In this3,OfficeWITH AT65-OCT. 5,

  1. MSDS Links

    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 and It'll Love YouTokamak |MPC EquipmentGlossary

  2. HELPFUL LINKS

    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 HDFView

  3. Faculty Links - Links - Cyclotron Institute

    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) Environmental Assessments (EA)Budget » FY 2014FacilitiesSheet 300Office

  4. Page 11, Links

    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 RenewableSpeedingBiomassPPPO Website DirectoryCommunityFuture Use PaducahPage of111

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

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

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

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

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

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

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

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

  13. Framtidens lantbruk / Future Agriculture Future Agriculture

    E-Print Network [OSTI]

    Framtidens lantbruk / Future Agriculture Future Agriculture ­ Livestock, Crops and Land Use Report from a multidisciplinary research platform. Phase I (2009 ­ 2012) #12;Future Agriculture ­ Livestock Waldenström Utgivningsår: 2012, Uppsala Utgivare: SLU, Framtidens lantbruk/Future Agriculture Layout: Pelle

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

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

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

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

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

    E-Print Network [OSTI]

    Pientka, Brigitte

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

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

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

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

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

  3. Check Out - Combustion Energy Frontier Research Center

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office511041clothAdvanced Materials Advanced. C o w l i t z CPlasma of the Rotating 2015 FAQ Useful Links

  4. GoldLink Finance Account Request ETSU Office of Information Technology

    E-Print Network [OSTI]

    Karsai, Istvan

    GoldLink Finance Account Request Form ETSU Office of Information Technology 424 Roy Nicks Hall, Box _____________________________ Section 2. GoldLink Finance Departmental Account Applications. Check all that apply. Temporary employees requesting that a GoldLink Finance departmental account with the name

  5. Sustainable Future

    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'sis Taking Over Our InstagramStructureProposed Action Title: Sustainable Environment

  6. ARM - Future Trends

    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,006Datastreamstwrcam40m DocumentationJanuary 9, 2009 [Events, Feature StoriesgovCampaignsSurfacegovFrontFuture

  7. Future Mobility in Maryland

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 Approved:AdministrationAnalysisDarby/%2AO 474.2Y-12 Press98918,FUTURE

  8. Future City Competition

    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) Environmental AssessmentsGeoffrey Campbell is theOpportunities HighFusionFusionFuture

  9. Geothermal: Related Links

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

    Related Links Geothermal Technologies Legacy Collection HelpFAQ | Site Map | Contact Us HomeBasic Search About Publications Advanced Search New Hot Docs News Related Links...

  10. Forging the Link: Linking the Economic Incentives

    E-Print Network [OSTI]

    Forging the Link: Linking the Economic Incentives of Low Impact Development with Community on the economic incentives of LID to address the local decisional realities of community watershed protection in nature but details the economic incentives to LID. It is best suited for audiences seeking to understand

  11. Check Heat Transfer Surfaces | 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 platformBuilding RemovalCSSDepartment of Energy5-4-20129Burner Air to

  12. Las Conchas Challenge Grant Fund checks awarded

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |Is Your Home asLCLSLaboratoryRowland

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

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

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

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

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

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

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

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

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

  2. Active stewardship: sustainable future

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

    Active stewardship: sustainable future Active stewardship: sustainable future Energy sustainability is a daunting task: How do we develop top-notch innovations with some of the...

  3. Living a Sustainable Future

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

    solve the energy crisis through biological methods, including genetically engineering algae and cyanobacteria. Create a Sustainable Future: Living Living a Sustainable Future How...

  4. Hydrogen Storage Related Links

    Broader source: Energy.gov [DOE]

    The following resources provide details about DOE-funded hydrogen storage activities, research plans and roadmaps, models and tools, and additional related links.

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Lu, Jianguo

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  12. Renewable Electricity Futures Study

    E-Print Network [OSTI]

    Renewable Electricity Futures Study Exploration of High-Penetration Renewable Electricity Futures PDF Volume 4 PDF #12;Renewable Electricity Futures Study Edited By Hand, M.M. National Renewable Citations Renewable Electricity Futures Study (Entire Report) National Renewable Energy Laboratory. (2012

  13. Links - 88-Inch Cyclotron

    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) - CenterLinks Berkeley Lab Links: Nuclear

  14. Links - Cyclotron Institute

    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) - CenterLinks Berkeley Lab Links: Faculty

  15. Sector 30 - useful links

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

    Useful Links Sector 30 Printing from your laptop at the beamline Data retrival onsite from ftp:ftp.xray.aps.anl.govpubsector30 Sector Orientation Form HERIX experiment header...

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

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

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

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

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

  1. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    Hand, M. M.

    2012-09-01T23:59:59.000Z

    This presentation summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050.

  2. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    Mai, T.

    2012-10-01T23:59:59.000Z

    This presentation library summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050.

  3. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    Mai, T.

    2012-11-01T23:59:59.000Z

    This presentation summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050.

  4. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    Mai, T.

    2013-04-01T23:59:59.000Z

    This presentation summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050.

  5. CHARTING BC'S ECONOMIC FUTURE

    E-Print Network [OSTI]

    Kavanagh, Karen L.

    CHARTING BC'S ECONOMIC FUTURE discussionguide 100communityconversations #12;1 Thank you for agreeing to participate in this Community Conversation about BC's economic future. Each year Simon Fraser is "Charting BC's Economic Future". Faced with an increasingly competitive global economy, it is more important

  6. Renewable Electricity Futures Study

    E-Print Network [OSTI]

    Renewable Electricity Futures Study Executive Summary NREL is a national laboratory of the U for Sustainable Energy, LLC. Volume 2 PDF Volume 3 PDF Volume 1 PDF Volume 4 PDF #12;Renewable Electricity Futures. National Renewable Energy Laboratory Suggested Citations Renewable Electricity Futures Study (Entire Report

  7. Renewable Electricity Futures Study

    E-Print Network [OSTI]

    Renewable Electricity Futures Study End-use Electricity Demand Volume 3 of 4 Volume 2 PDF Volume 3;Renewable Electricity Futures Study Edited By Hand, M.M. National Renewable Energy Laboratory Baldwin, S. U Sandor, D. National Renewable Energy Laboratory Suggested Citations Renewable Electricity Futures Study

  8. Renewable Electricity Futures Study

    E-Print Network [OSTI]

    Renewable Electricity Futures Study Bulk Electric Power Systems: Operations and Transmission by the Alliance for Sustainable Energy, LLC. #12;Renewable Electricity Futures Study Edited By Hand, M.M. National Suggested Citations Renewable Electricity Futures Study (Entire Report) National Renewable Energy Laboratory

  9. FUTURE LOGISTICS LIVING LABORATORY

    E-Print Network [OSTI]

    Heiser, Gernot

    FUTURE LOGISTICS LIVING LABORATORY Delivering Innovation The Future Logistics Living Lab that will provide logistics solutions for the future. The Living Lab is a demonstration, exhibition and work space by a group of logistics companies, research organisations, universities, and IT providers that includes NICTA

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

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

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

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

  14. Nuclear Data Links

    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 Renewable Energy:Nanowire3627 Federal Register /7 This is aLinks to Useful Online

  15. ARM - Quick Links

    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 :ProductsVaisala CL51 ceilometergovPublicationsPublications4936Links

  16. ARM - Related Links

    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 :ProductsVaisala CL51Instruments Related Links RHUBC-IIActRecovery

  17. Links (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-1cnHigh SchoolIn12electron 9 5Let us countLighting Useful Links BIOSYNC:DOE

  18. Wind Power Link

    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 SolStrengtheningWildfires may contribute more to globalWind Power Links These other

  19. Future Heating | 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 being directedAnnual Siteof Energy 2,AUDIT REPORTEnergyFarms A S JumpWindfarmFundicion Nodular del NorteFuture

  20. The Future of Home Heating

    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.pdfBreakingMayDepartmentTest for PumpingThe Facts on Gas Prices:The FirstThe Future

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

  2. Energy Implications of Alternative Water Futures

    E-Print Network [OSTI]

    Keller, Arturo A.

    Energy Implications of Alternative Water Futures First Western Forum on Energy & Water water, energy, and GHG emissions. Water-related energy use is expected to rise. Conservation canWaterUse(MAF) Historical Use More Resource Intensive Less Resource Intensive Current Trends #12;Water and Energy Link

  3. Resources & Links

    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 PossibleRadiation Protection TechnicalResonant Soft X-Ray Scattering of0 Resource

  4. Bisfuel links - Photosynthesis tag

    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,625govInstrumentstdmadapInactiveVisiting the TWPSuccess Stories Site Map Printable

  5. Bisfuel links - 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,625govInstrumentstdmadapInactiveVisiting the TWPSuccess Stories Site Map PrintablePresentations

  6. Bisfuel links - Seminars

    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,625govInstrumentstdmadapInactiveVisiting the TWPSuccess Stories Site Map

  7. On quantization of Regge links

    E-Print Network [OSTI]

    V. Khatsymovsky

    1993-11-01T23:59:59.000Z

    In quantum Regge calculus areas of timelike triangles possess discrete spectrum. This is because bivectors of these triangles are variables canonically conjugate to orthogonal connection matrices varying in the compact group. (The scale of quantum of this spectrum is nothing but Plankian one). This is checked in simple exactly solvable model - dimensionally reduced in some way Regge calculus.

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

  9. My Amazing Future 2012

    ScienceCinema (OSTI)

    None

    2013-05-28T23:59:59.000Z

    Idaho National Laboratory's My Amazing Future program gives 8th grade women the opportunity to experience careers in science and engineering.

  10. Future City Competition

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

    Competition is an unique opportunity for middle school children to combine skills in engineering, environmental science, and art to create a vision for the future. Exercising your...

  11. Helpful Links - Hanford Site

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItem NotEnergy,ARMFormsGasReleaseSpeechesHallNot Logged3 HanfordHarry S.Heat

  12. NREL: News - Related Links

    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 CodesTransparency Visit |Infrastructure TheSolar1855 m,NREL:3014Related

  13. Comments on: Links

    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,625govInstrumentstdmadapInactiveVisiting the TWPSuccessAlamosCharacterization2Climate,CobaltColdin679April

  14. News Links | Jefferson Lab

    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 Renewable Energy:Nanowire Solar541,9337,2 Revealing nanorodSize Doesn't5.8.6.7. News

  15. Link Alpha A

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinear

  16. Link Alpha B

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B C D E

  17. Link Alpha C

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B C D Ec

  18. Link Alpha D

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B C D

  19. Link Alpha E

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B C De A

  20. Link Alpha F

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B C De

  1. Link Alpha G

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B C Deg

  2. Link Alpha H

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B C Degh

  3. Link Alpha I

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B C

  4. Link Alpha J

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cj A B

  5. Link Alpha K

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cj A

  6. Link Alpha L

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cj Al

  7. Link Alpha M

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cj Alm

  8. Link Alpha N

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cj

  9. Link Alpha O

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cjo A

  10. Link Alpha P

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cjo Ap

  11. Link Alpha Q

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cjo

  12. Link Alpha R

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cjor A

  13. Link Alpha S

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cjor

  14. Link Alpha T

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cjort

  15. Link Alpha V

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B Cjortv

  16. Link Alpha W

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A B

  17. Link Alpha Y

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A By A B C

  18. Link Alpha Z

    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 |Is Your HomeLatestCenter (LMI-EFRC) -Choices toLeeLinearb A By A B

  19. Nuclear Data Links

    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 CodesTransparencyDOE Project TapsDOE Directives,838

  20. CAMD Nanofabrication Links

    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 Office511041clothAdvanced Materials Advanced. C o w l i t z C o . C l a r k C o . C l a r24Microfabrication

  1. CAMD Nanofabrication Links

    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 Office511041clothAdvanced Materials Advanced. C o w l i t z C o . C l a r k C o . C l a

  2. WIPP - Related Links

    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 >Internship Program TheSiteEureka Analytics andWFRNewsWindPrivacy

  3. A-Z Link

    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 742EnergyOnItem NotEnergy, science,SpeedingWu,IntelligenceYou are70 Years ofAA-Z Index A B C D E

  4. AlumniLink

    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,625govInstrumentstdmadapInactiveVisiting the TWP TWPAlumni Alumni PARC/I-CARES CERTIFICATE IN RENEWABLE ENERGY

  5. Bisfuel links - EFRC

    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,625govInstrumentstdmadapInactiveVisiting the TWPSuccess Stories Site Map Printable VersiondiironArizonaEFRC

  6. Bisfuel links - Professional organizations

    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,625govInstrumentstdmadapInactiveVisiting the TWPSuccess Stories Site Map PrintablePresentationsProfessional

  7. Bisfuel links - Research centers

    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,625govInstrumentstdmadapInactiveVisiting the TWPSuccess Stories Site Map PrintablePresentationsProfessionalResearch

  8. Bisfuel links - Video

    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,625govInstrumentstdmadapInactiveVisiting the TWPSuccess Stories Site MapSolar energy newsVideo

  9. astro_links.dvi

    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'sis Taking Over OurThe Iron SpinPrincetonUsingWhatY-12ZeroVariations ofSenior Accelerator

  10. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    Mai, T.

    2012-08-01T23:59:59.000Z

    This presentation summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050. It was presented in a Power Systems Engineering Research Center webinar on September 4, 2012.

  11. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    Hand, M.; Mai, T.

    2012-08-01T23:59:59.000Z

    This presentation library summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050. It was presented in an Union of Concerned Scientists webinar on June 12, 2012.

  12. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    Mai, T.

    2012-08-01T23:59:59.000Z

    This presentation summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050. This presentation was presented in a Wind Powering America webinar on August 15, 2012 and is now available through the Wind Powering America website.

  13. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    Hand, M.

    2012-10-01T23:59:59.000Z

    This presentation library summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050. It is being presented at the Utility Variable-Generation Integration Group Fall Technical Workshop on October 24, 2012.

  14. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    Hand, M. M.

    2012-08-01T23:59:59.000Z

    This presentation library summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050. It was presented in a webinar given by the California Energy Commission.

  15. The Hanford Story: Future

    Broader source: Energy.gov [DOE]

    The Future Chapter of the Hanford Story illustrates the potential and possibilities offered by a post-cleanup Hanford. From land use plans and preservation at Hanford to economic development and tourism opportunities, the Future chapter touches on a variety of local economic, cultural and environmental perspectives.

  16. Multilevel DC link inverter

    DOE Patents [OSTI]

    Su, Gui-Jia

    2003-06-10T23:59:59.000Z

    A multilevel DC link inverter and method for improving torque response and current regulation in permanent magnet motors and switched reluctance motors having a low inductance includes a plurality of voltage controlled cells connected in series for applying a resulting dc voltage comprised of one or more incremental dc voltages. The cells are provided with switches for increasing the resulting applied dc voltage as speed and back EMF increase, while limiting the voltage that is applied to the commutation switches to perform PWM or dc voltage stepping functions, so as to limit current ripple in the stator windings below an acceptable level, typically 5%. Several embodiments are disclosed including inverters using IGBT's, inverters using thyristors. All of the inverters are operable in both motoring and regenerating modes.

  17. Facilitation Guide Forging the Link

    E-Print Network [OSTI]

    Facilitation Guide Forging the Link: Linking the Economic Incentives of Low Impact Development of the economic incentives as well as how LID plays a role in helping communities adapt to changes in climate. Now heard? What about inconsistent? #12;Forging the Link: Linking the Economic Benefits of Low Impact

  18. Recents results and future measurements for few body problems in Hall A

    SciTech Connect (OSTI)

    Alexandre Camsonne

    2011-08-01T23:59:59.000Z

    I will summarize the latest results in Hall A linked to Few-Body problems and the future measurements planned after the 12 GeV upgrade.

  19. The Fenno-Skan HVDC link commissioning

    SciTech Connect (OSTI)

    Nyman, A. (Swedish State Power Board, Vaellingby (Sweden)); Jaeaeskelaeinen, K.; Vaitomaa, M. (Imatran Voima OY, Vantaa (Finland)); Jansson, B.; Danielsson, K.G. (ABB Power Systems, Ludvika (Sweden))

    1994-01-01T23:59:59.000Z

    The commissioning of the Fenno-Skan HVDC link between Finland and Sweden, with the longest submarine dc cable in the world, is described. The main pre-commissioning activities, important for an efficient commissioning, are discussed together with time schedules and suitable organization forms. The procedures to test special control features, such as subsynchronous oscillation (SSO) damping control are presented. The full scale network interaction tests which are an important part of the commissioning are also discussed. These tests succeeded very well and provided a lot of information about the system behavior for future operation and planning purposes.

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

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

  2. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    DeMeo, E.

    2012-08-01T23:59:59.000Z

    This presentation library summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050. It was presented at Wind Powering America States Summit. The Summit, which follows the American Wind Energy Association's (AWEA's) annual WINDPOWER Conference and Exhibition, provides state Wind Working Groups, state energy officials, U.S. Energy Department and national laboratory representatives, and professional and institutional partners an opportunity to review successes, opportunities, and challenges for wind energy and plan future collaboration.

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

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOriginEducationVideo »Usage »DownloadSolarSequestration |FutureGenCarbon CaptureResearch

  4. Future Grid: The Environment Future Grid Initiative White Paper

    E-Print Network [OSTI]

    Future Grid: The Environment Future Grid Initiative White Paper Power Systems Engineering Research Center Empowering Minds to Engineer the Future Electric Energy System #12;Future Grid: The Environment Prepared for the Project "The Future Grid to Enable Sustainable Energy Systems" Funded by the U

  5. Agency Links Agency Links and Proposal Development Resources

    E-Print Network [OSTI]

    Mather, Patrick T.

    Agency Links - 1 - Agency Links and Proposal Development Resources National Institutes of Health NIH Peer Review: Grants & Cooperative Agreements (2013) Resources for applicants Parent Application Development Checklist from OSP Search for NSF grant recipients Writing aids / Resources Proposal Development

  6. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    Hand, M. M.

    2012-08-01T23:59:59.000Z

    This presentation library summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050. It was presented to the 2012 Western Conference of Public Service Commissioners, during their June, 2012, meeting. The Western Conference of Public Service Commissioners is a regional association within the National Association of Regulatory Utility Commissioners (NARUC).

  7. Buying Hedge with Futures

    E-Print Network [OSTI]

    Welch, Mark; Kastens, Terry L.

    2009-01-07T23:59:59.000Z

    Agricultural Economist, Kansas State University Agricultural Experiment Station and Cooperative Extension Service. Many bulk purchasers of agricultural com- modities need price risk management tools to help stabilize input prices. Livestock feeders... anticipating future feed needs or grain export- ers making commitments to sell grain are two users of agricultural commodities who could benefit from input price management strate- gies. A common tool is a buying, or long, hedge using futures. Producers...

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

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

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

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

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

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

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

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

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

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

  18. Present and Future Computing Requirements for PETSc

    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 forPortsmouth/Paducah ProjectPRE-AWARD ACCOUNTINGQuantitativeComputationaland Future

  19. Water for future Mars astronauts?

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

    Water for future Mars astronauts? Water for future Mars astronauts? Within its first three months on Mars, NASA's Curiosity Rover saw a surprising diversity of soils and sediments...

  20. Balanced link for dry coal extrusion pumps

    DOE Patents [OSTI]

    Bebejian, Maral

    2013-10-22T23:59:59.000Z

    A link which defines a link body that includes a multiple of link plates integral with a link body, the link body disposed at least partially forward of a forward edge of the multiple of link plates.

  1. The Link Collections A Register of Papers of Edwin A. Link, Marion Clayton Link, The

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    Description of Series Correspondence (19391981) Enclosures (19411979) Advertising Brochures and Company Charts, Diagrams, and Maps Financial Records Legal Documents Legislation Logs and Journals. Link Advertising Brochures and Company Publications E.A. Link Announcements, Business Cards

  2. Renewable Electricity Futures (Presentation)

    SciTech Connect (OSTI)

    Mai, T.

    2012-08-01T23:59:59.000Z

    This presentation library summarizes findings of NREL's Renewable Electricity Futures study, published in June 2012. RE Futures investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050. It was presented at the 2012 RE AMP Annual Meeting. RE-AMP is an active network of 144 nonprofits and foundations across eight Midwestern states working on climate change and energy policy with the goal of reducing global warming pollution economy-wide 80% by 2050.

  3. Introduction to Futures Markets

    E-Print Network [OSTI]

    Mintert, James R.; Welch, Mark

    2009-01-07T23:59:59.000Z

    are some terms and definitions. Figure 1. Marking-to-Market Buyer and Seller Accounts at Exchange Clearinghouse. Buyer (Long) Date Action Price Day 1 Buy at $6.00/bu Day 2 No action (but price increases) $6.10/bu $0.10/bu gain x 5,000 bu... $500 gain from day 1 Seller (Short) Date Action Price Day 1 Sell at $6.00/bu Day 2 No action (but price increases) $6.10/bu $0.10/bu loss x 5,000 bu $500 loss from day 1 Long A buyer of a futures contract. Someone who buys a futures...

  4. Future Fixed Target Facilities

    SciTech Connect (OSTI)

    Melnitchouk, Wolodymyr

    2009-01-01T23:59:59.000Z

    We review plans for future fixed target lepton- and hadron-scattering facilities, including the 12 GeV upgraded CEBAF accelerator at Jefferson Lab, neutrino beam facilities at Fermilab, and the antiproton PANDA facility at FAIR. We also briefly review recent theoretical developments which will aid in the interpretation of the data expected from these facilities.

  5. Quantum motor and future

    E-Print Network [OSTI]

    Evgeny G. Fateev

    2013-01-20T23:59:59.000Z

    In a popular language, the possibilities of the Casimir expulsion effect are presented, which can be the basis of quantum motors. Such motors can be in the form of a special multilayer thin film with periodic and complex nanosized structures. Quantum motors of the type of the Casimir platforms can be the base of transportation, energy and many other systems in the future.

  6. Protective link for superconducting coil

    DOE Patents [OSTI]

    Umans, Stephen D. (Belmont, MA)

    2009-12-08T23:59:59.000Z

    A superconducting coil system includes a superconducting coil and a protective link of superconducting material coupled to the superconducting coil. A rotating machine includes first and second coils and a protective link of superconducting material. The second coil is operable to rotate with respect to the first coil. One of the first and second coils is a superconducting coil. The protective link is coupled to the superconducting coil.

  7. Partners and related links | EMSL

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

    are the organizations with which EMSL maintains closest relationships in high performance computing and software development. Partners Note: The links below leave this site...

  8. FUTURES with Jaime Escalante

    SciTech Connect (OSTI)

    NONE

    1996-08-01T23:59:59.000Z

    The United States Department of Energy awarded the Foundation for Advancements in Science and Education (FASE) $826,000 as support to produce the second set of FUTURES segments consisting of 12, 15-minute programs. The programs provide motivation for students to study math by connecting math to the work place and real-life problem scenarios. The programs are broadcast in 50 states through PBS Elementary and Secondary Service (E/SS). The grant term ended on December 16, 1993 and this final report documents program and financial activity results. The 12 episodes are titled: Animal Care, Meteorology, Mass Communication, Advanced Energy, Oceanography, Graphic Design, Future Habitats, Environmental Science & Technology, Fitness & Physical Performance, Interpersonal Communications, Advanced Transportation and Product Design. Each program addresses as many as ten careers or job types within the broader field named. Minority and gender-balanced role models appear throughout the programs.

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

  10. The Climate Impacts LINK Project

    E-Print Network [OSTI]

    Feigon, Brooke

    The Climate Impacts LINK Project The Climatic Research Unit, University of East Anglia Funded by the UK Department of the Environment, Transport and the Regions, Contract Ref EPG 1/1/68 The Climate Impacts LINK Project: Applying Results from the Hadley Centre's Climate Change Experiments for Climate

  11. Superfluid 4 He weak links

    E-Print Network [OSTI]

    Packard, Richard E.

    from the response of the cell to a step in the chemical potential difference across the array. When present a "Chemical potential battery" for superfluid 4He weak link cells, whereby a constant heater power in this dissertation represent a breakthrough in super- fluid 4He weak link research, and provide a big step

  12. Future directions for QCD

    SciTech Connect (OSTI)

    Bjorken, J.D.

    1996-10-01T23:59:59.000Z

    New directions for exploring QCD at future high-energy colliders are sketched. These include jets within jets. BFKL dynamics, soft and hard diffraction, searches for disoriented chiral condensate, and doing a better job on minimum bias physics. The new experimental opportunities include electron-ion collisions at HERA, a new collider detector at the C0 region of the TeVatron, and the FELIX initiative at the LHC.

  13. Steganography: Past, Present, Future

    SciTech Connect (OSTI)

    Judge, J C

    2001-12-01T23:59:59.000Z

    Steganography (a rough Greek translation of the term Steganography is secret writing) has been used in various forms for 2500 years. It has found use in variously in military, diplomatic, personal and intellectual property applications. Briefly stated, steganography is the term applied to any number of processes that will hide a message within an object, where the hidden message will not be apparent to an observer. This paper will explore steganography from its earliest instances through potential future application.

  14. Buildings of the Future

    Broader source: Energy.gov [DOE]

    The U.S. Department of Energy (DOE) and the Pacific Northwest National Laboratory are developing a vision for future buildings—at least one hundred years from today—based on the collective views of thought leaders. As part of this effort, we will explore technology and demographic trends that could revolutionize the built environment across energy, water, environment, resilient design, health, security, and productivity.

  15. Energy Management System Implementation … Do and Check

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page onYouTube YouTube Note: Since the YouTube|6721 FederalTexas Energy Incentive Programs,Energy Literacy EnergyW3-3 Advanced

  16. Tools for Viewing and Quality Checking ARM Data

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over OurThe Iron Spin Transition in2, 2003Tool of tomorrow today Tool ofEnergy

  17. Check Burner Air to Fuel Ratios | 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 platformBuilding RemovalCSSDepartment of Energy5-4-20129Burner Air to Fuel

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

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

    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 OPAM615_CostNSAR - TProcuringDepartment of EnergyU.N.Realistic

  20. New Employee Check in Packet | The Ames Laboratory

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's Possible for Renewable Energy:Nanowire Solar541,9337, 2011R - 445 CU - 2 3NewNew3 New EddyofNew

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

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office511041clothAdvanced Materials Advanced. C o w l i t z CPlasma of the Rotating

  2. Unitarity check in gravitational Higgs mechanism | SciTech Connect

    Office of Scientific and Technical Information (OSTI)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItem Not Found Item Not Found The item youThe DiscoveryFuels andTechnicalboundaries

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

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn April 23, 2014, an OHASeptember 2010 | Department ofPlant | Department ofDepartment of

  4. Index of /research/alcator/documentation/20150629 Riv wat check

    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 SchoolIn Other News CommunityPortal8 [ICO] Name Last629 Riv wat

  5. Active stewardship: sustainable future

    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,625govInstrumentstdmadapInactiveVisiting the TWP TWP Related LinksATHENA AccountManagement |ARQ A

  6. Links

    Broader source: Energy.gov [DOE]

    More Legal Research ResourcesEnergy Law NetLegal Citation Style GuideNuclear Regulatory LegislationOpen CRSPublic Library of LawTreatiesU.S. Code Classification TablesU.S. Congressional Documents...

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

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

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

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

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

  12. Links - MST - UW Plasma Physics

    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) - CenterLinks Berkeley Lab Links:

  13. links | netl.doe.gov

    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 SolStrengtheningWildfires mayYuan T.External Links External Links This page

  14. Bioenergy: America's Energy Future

    ScienceCinema (OSTI)

    Nelson, Bruce; Volz, Sara; Male, Johnathan; Wolfson, Johnathan; Pray, Todd; Mayfield, Stephen; Atherton, Scott; Weaver, Brandon

    2014-08-12T23:59:59.000Z

    Bioenergy: America's Energy Future is a short documentary film showcasing examples of bioenergy innovations across the biomass supply chain and the United States. The film highlights a few stories of individuals and companies who are passionate about achieving the promise of biofuels and addressing the challenges of developing a thriving bioeconomy. This outreach product supports media initiatives to expand the public's understanding of the bioenergy industry and sustainable transportation and was developed by the U.S. Department of Energy Bioenergy Technologies Office (BETO), Oak Ridge National Laboratory, Green Focus Films, and BCS, Incorporated.

  15. Bioenergy: America's Energy Future

    SciTech Connect (OSTI)

    Nelson, Bruce; Volz, Sara; Male, Johnathan; Wolfson, Johnathan; Pray, Todd; Mayfield, Stephen; Atherton, Scott; Weaver, Brandon

    2014-07-31T23:59:59.000Z

    Bioenergy: America's Energy Future is a short documentary film showcasing examples of bioenergy innovations across the biomass supply chain and the United States. The film highlights a few stories of individuals and companies who are passionate about achieving the promise of biofuels and addressing the challenges of developing a thriving bioeconomy. This outreach product supports media initiatives to expand the public's understanding of the bioenergy industry and sustainable transportation and was developed by the U.S. Department of Energy Bioenergy Technologies Office (BETO), Oak Ridge National Laboratory, Green Focus Films, and BCS, Incorporated.

  16. Linked Deposit Loan Program (Kentucky)

    Broader source: Energy.gov [DOE]

    The Linked Deposit Program provides loan financing for small businesses of up to $100,000 for up to 7 years. The State Investment Commission invests funds from the state's Abandoned Property Cash...

  17. Ising-link Quantum Gravity

    E-Print Network [OSTI]

    Tom Fleming; Mark Gross; Ray Renken

    1994-01-04T23:59:59.000Z

    We define a simplified version of Regge quantum gravity where the link lengths can take on only two possible values, both always compatible with the triangle inequalities. This is therefore equivalent to a model of Ising spins living on the links of a regular lattice with somewhat complicated, yet local interactions. The measure corresponds to the natural sum over all 2^links configurations, and numerical simulations can be efficiently implemented by means of look-up tables. In three dimensions we find a peak in the ``curvature susceptibility'' which grows with increasing system size. However, the value of the corresponding critical exponent as well as the behavior of the curvature at the transition differ from that found by Hamber and Williams for the Regge theory with continuously varying link lengths.

  18. Milk Futures, Options and Basis

    E-Print Network [OSTI]

    Haigh, Michael; Stockton, Matthew; Anderson, David P.; Schwart Jr., Robert B.

    2001-10-12T23:59:59.000Z

    The milk futures and options market enables producers and processors to manage price risk. This publication explains hedging, margin accounts, basis and how to track it, and other fundamentals of the futures and options market....

  19. Present and Future Computing

    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 forPortsmouth/Paducah ProjectPRE-AWARD ACCOUNTINGQuantitative

  20. The research programme Future Agriculture

    E-Print Network [OSTI]

    The research programme Future Agriculture ­ livestock, crops and land use Welcome to a lunch.slu.se/futureagriculture For questions, please contact KatarinaVrede (katarina.vrede@slu.se) About Future Agriculture ­ livestock, crops and land use The changes and challenges facing agriculture in the future will be substantial, not only

  1. SetLink the CERN Document Server Link Manager

    E-Print Network [OSTI]

    Le Meur, Jean-Yves

    2000-01-01T23:59:59.000Z

    This paper analyses the problems encountered by electronic libraries to cope with long term keeping of on-line documents. What is thebest solution not to fill in a library system with non persistent addresses ? Different possible solutions are studied, based on theexperience of the CERN Document Server and its library. This paper will stress the importance of using a Link Manager for any long term Web server. It will explain how the CERN SetLink Link Manager is designed to handle a wide range of document types and formats, from photos in JPEG to eprints in PDF. It will also focus onother possibilities offered by using such an application, like automatic figures extraction or concatenation, full text searching andon-the-fly format conversions.

  2. Keynote Address: Future Vision | 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(FactDepartment ofLetter Report:40PM to 2:05PM PDT PacificFuture Vision Keynote

  3. GreenFuture Renewables | 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 being directedAnnual Siteof Energy 2,AUDIT REPORTEnergyFarms A SUKHydrogen Company Jump to:SolarGreenFuture

  4. Better Buildings for a Brighter Future

    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 Your Destiny: The Future of Bad CholesteroliManage Presentation3 DATE: March 14,6 (Annual

  5. Future scientists advance to national level

    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) Environmental AssessmentsGeoffrey Campbell is theOpportunitiesThe Future of

  6. Summary and Future Plans | 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'tOriginEducationVideoStrategic Safety Goals Strategicthe Department of EnergyReport:and Future

  7. Future Sulfur Dioxide Emissions

    SciTech Connect (OSTI)

    Smith, Steven J.; Pitcher, Hugh M.; Wigley, Tom M.

    2005-12-01T23:59:59.000Z

    The importance of sulfur dioxide emissions for climate change is now established, although substantial uncertainties remain. This paper presents projections for future sulfur dioxide emissions using the MiniCAM integrated assessment model. A new income-based parameterization for future sulfur dioxide emissions controls is developed based on purchasing power parity (PPP) income estimates and historical trends related to the implementation of sulfur emissions limitations. This parameterization is then used to produce sulfur dioxide emissions trajectories for the set of scenarios developed for the Special Report on Emission Scenarios (SRES). We use the SRES methodology to produce harmonized SRES scenarios using the latest version of the MiniCAM model. The implications, and requirements, for IA modeling of sulfur dioxide emissions are discussed. We find that sulfur emissions eventually decline over the next century under a wide set of assumptions. These emission reductions result from a combination of emission controls, the adoption of advanced electric technologies, and a shift away from the direct end use of coal with increasing income levels. Only under a scenario where incomes in developing regions increase slowly do global emission levels remain at close to present levels over the next century. Under a climate policy that limits emissions of carbon dioxide, sulfur dioxide emissions fall in a relatively narrow range. In all cases, the relative climatic effect of sulfur dioxide emissions decreases dramatically to a point where sulfur dioxide is only a minor component of climate forcing by the end of the century. Ecological effects of sulfur dioxide, however, could be significant in some developing regions for many decades to come.

  8. Energy for the Future

    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 742EnergyOnItem NotEnergy,ARMFormsGasReleaseSpeeches Energy Speeches RSS June 25, 2015FeaturesEnergy

  9. NYMEX Futures Prices

    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 CodesTransparency VisitSilver Toyota PriusNSR KeyNUG NUCLEARNX » NX

  10. Keck Futures Initiative

    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 beamJoin2015JustKate BannanNational Academies Keck

  11. Living a Sustainable Future

    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 5Let usNuclear SecurityTechnology |LivingLiving a

  12. Nuclear and Particle Futures

    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 CodesTransparencyDOE Project TapsDOERecoveryNuclearLife Cycle |

  13. OSCARS-Future-Tech

    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 CodesTransparencyDOENurseResourcesThe Value News and4 Go Article

  14. Energy for the Future

    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, 2000Consumption SurveyEnergy Storage EnergyD Energy and(Daily Press)

  15. FORGING THE FUTURE

    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 THEFNAL8 CONTACT: from

  16. Create a Sustainable Future

    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 Administration would likeConstitution4 Department of Energy CarlsbadWinter Crayt he C ray

  17. Forming the Future

    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.pdf Flash2006-52.pdf0.pdfDepartment of Energy's FinancialForestSurveillance - - - -

  18. Materials for the Future

    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 andDisposition |Materials and

  19. Future Physics | Jefferson Lab

    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.Newof EnergyFunding Opportunity fromFusionacroscopic I

  20. Future of Transportation

    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.Newof EnergyFunding Opportunity fromFusionacroscopic

  1. LTS Related Links - Hanford Site

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: 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 - 16,3/14 LOWRelated Links About Us

  2. The Future of Biofuels | Department of Energy

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

    The Future of Biofuels The Future of Biofuels Addthis Description Secretary Chu discusses why feedstock grasses such as miscanthus could be the future of biofuels. Speakers...

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

  4. James Smith: Building the Energy Future Shaping the Future Lecture

    E-Print Network [OSTI]

    Mumby, Peter J.

    James Smith: Building the Energy Future Shaping the Future Lecture James Smith was appointed been involved in Shell business in a number of Middle Eastern countries and in the US. James Smith `ought'to do in response and assess what society will `choose'to do in reality. James Smith will identify

  5. Breaking information-thermodynamics link

    E-Print Network [OSTI]

    Robert Alicki

    2014-06-23T23:59:59.000Z

    The information-thermodynamics link is revisited, going back to the analysis of Szilard's engine. It is argued that instead of equivalence rather complementarity of physical entropy and information theoretical one is a correct concept. Famous Landauer's formula for a minimal cost of information processing is replaced by a new one which takes into account accuracy and stability of information encoding. Two recent experiments illustrating the information-energy conversion are critically discussed.

  6. MAJOR CONFORMED CONTRACTS LINKS Site/Project Contract Link Idaho

    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,Projects | DepartmentLow-TemperatureMAMA-60MAJOR

  7. Future Steelmaking Processes

    SciTech Connect (OSTI)

    Prof. R. J. Fruehan

    2004-09-20T23:59:59.000Z

    There is an increasing demand for an ironmaking process with lower capital cost, energy consumption and emissions than a blast furnace. It is the hypothesis of the present work that an optimized combination of two reasonable proven technologies will greatly enhance the overall process. An example is a rotary hearth furnace (RHF) linked to a smelter (e.g., AISI, HIsmelt). The objective of this research is to select promising process combinations, develop energy, materials balance and productivity models for the individual processes, conduct a limited amount of basic research on the processes and evaluate the process combinations. Three process combinations were selected with input from the industrial partners. The energy-materials and productivity models for the RHF, smelter, submerged arc furnace and CIRCOFER were developed. Since utilization of volatiles in coal is critical for energy and CO{sub 2} emission reduction, basic research on this topic was also conducted. The process models developed are a major product developed in this research. These models can be used for process evaluation by the industry. The process combinations of an RHF-Smelter and a simplified CIRCOFER-Smelter appear to be promising. Energy consumption is reduced and productivity increased. Work on this project is continuing using funds from other sources.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    E-Print Network [OSTI]

    Meyers, Steven D.

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

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

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

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

    E-Print Network [OSTI]

    SMT-Based Bounded Model Checking for Embedded ANSI-C Software Lucas Cordeiro University 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

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

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

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

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

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

    E-Print Network [OSTI]

    Uppsala Universitet

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

  16. The Future of Geothermal Energy

    E-Print Network [OSTI]

    Laughlin, Robert B.

    The Future of Geothermal Energy Impact of Enhanced Geothermal Systems (EGS) on the United States in the 21st Century #12;The Future of Geothermal Energy Impact of Enhanced Geothermal Systems (EGS and Renewable Energy, Office of Geothermal Technologies, Under DOE Idaho Operations Office Contract DE-AC07-05ID

  17. Rights, Obligations, and Future Generations

    E-Print Network [OSTI]

    Strole, Donald

    the right to use whatever we can regardless of the effects such action may have on future persons.2 On the other extreme are people who argue that future generations are entitled to a polution free environment, vast food reserves, and an abundance...

  18. Department of Energy Idaho - Links

    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 742EnergyOnItem NotEnergy,ARMFormsGas SeparationsRelevantDOEDelegations Current ByCommonInside

  19. NREL: Energy Analysis - Related Links

    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 CodesTransparency Visit | NationalWebmaster To

  20. EIA - Related Links for Transportation

    Annual Energy Outlook 2013 [U.S. Energy Information Administration (EIA)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 122 40Coal Stocks at1,066,688 760,877Southwest Region About U.S. NaturalStorage

  1. Related Links | 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 2015of 2005UNS Electric,RM ExitPropertySeptemberofsituationBeginning

  2. Links | National Nuclear Security Administration

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 groupTubahq.na.govSecurity Administration Leader, LosSigned | NationalAbout

  3. Links | National Nuclear Security Administration

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 groupTubahq.na.govSecurity Administration Leader, LosSigned |

  4. Related Links | 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 Strategic2 OPAM615_CostNSAR -Department of Energyasto the NRC Committee on

  5. Related Links | 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 Strategic2 OPAM615_CostNSAR -Department of Energyasto the NRC Committee onInformation

  6. Website Policies / Important Links | Geothermal

    Office of Scientific and Technical Information (OSTI)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItem Not Found Item Not Found The item youTheWSRC-TR-97-0100 ControlledScientific

  7. Website Policies / Important Links | DOEpatents

    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 SolStrengthening aTurbulenceUtilizeRuralthe emergency response assets of

  8. Website Policies / Important Links | DOEpatents

    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 SolStrengthening aTurbulenceUtilizeRuralthe emergency response assets ofDOepatents

  9. Related Links | 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 742EnergyOn April 23, 2014, an OHASeptember 2010InJanuary 29,3, 2012VisitorsThis page providesThe

  10. Related Links | 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 742EnergyOn April 23, 2014, an OHASeptember 2010InJanuary 29,3, 2012VisitorsThis page

  11. Fermilab at Work | Physics Links

    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. 13, 2013 NAME:Job Opportunities Join thePolicies

  12. AlumniLink: January 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. DOE Office511041cloth DocumentationProductsAlternative FuelsSanta Fe Metro FleetAlternativeAluminaSolarAlumni

  13. AlumniLink: July 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. DOE Office511041cloth DocumentationProductsAlternative FuelsSanta Fe Metro FleetAlternativeAluminaSolarAlumni

  14. AlumniLink: March 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. DOE Office511041cloth DocumentationProductsAlternative FuelsSanta Fe Metro FleetAlternativeAluminaSolarAlumni

  15. AlumniLink: May 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. DOE Office511041cloth DocumentationProductsAlternative FuelsSanta Fe Metro FleetAlternativeAluminaSolarAlumni

  16. AlumniLink: November 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: National5Sales for4,645U.S. DOE Office511041cloth DocumentationProductsAlternative FuelsSanta Fe Metro FleetAlternativeAluminaSolarAlumni

  17. AlumniLink: September 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: National5Sales for4,645U.S. DOE Office511041cloth DocumentationProductsAlternative FuelsSanta Fe Metro FleetAlternativeAluminaSolarAlumni

  18. Beryllium Related Links - Hanford Site

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625govInstrumentstdmadapInactiveVisiting the TWP TWPAlumniComplex historianBenefitsProgram InformationRelated

  19. Bisfuel links - Arizona State University

    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,625govInstrumentstdmadapInactiveVisiting the TWPSuccess Stories Site Map Printable VersiondiironArizona State

  20. Bisfuel links - Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625govInstrumentstdmadapInactiveVisiting the TWPSuccess Stories Site Map Printable VersiondiironArizona

  1. Bisfuel links - Solar energy news

    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,625govInstrumentstdmadapInactiveVisiting the TWPSuccess Stories Site MapSolar energy news

  2. astro_links2.dvi

    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'sis Taking Over OurThe Iron SpinPrincetonUsingWhatY-12ZeroVariations ofSenior AcceleratorApril 6,

  3. TAMU Websites - Links - Cyclotron Institute

    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 SolStrengthening a solid ...SuccessSurprisingSynchrotronsPlasma Physics

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

  5. PIPELINES AS COMMUNICATION NETWORK LINKS

    SciTech Connect (OSTI)

    Kelvin T. Erickson; Ann Miller; E. Keith Stanek; C.H. Wu; Shari Dunn-Norman

    2005-03-14T23:59:59.000Z

    This report presents the results of an investigation into two methods of using the natural gas pipeline as a communication medium. The work addressed the need to develop secure system monitoring and control techniques between the field and control centers and to robotic devices in the pipeline. In the first method, the pipeline was treated as a microwave waveguide. In the second method, the pipe was treated as a leaky feeder or a multi-ground neutral and the signal was directly injected onto the metal pipe. These methods were tested on existing pipeline loops at UMR and Batelle. The results reported in this report indicate the feasibility of both methods. In addition, a few suitable communication link protocols for this network were analyzed.

  6. Linked and Knotted Gravitational Radiation

    E-Print Network [OSTI]

    Amy Thompson; Joe Swearngin; Dirk Bouwmeester

    2014-08-15T23:59:59.000Z

    We show that the torus knot topology is inherent in electromagnetic and gravitational radiation by constructing spin-$N$ fields based on this topology from the elementary states of twistor theory. The twistor functions corresponding to the elementary states admit a parameterization in terms of the poloidal and toroidal winding numbers of the torus knots, allowing one to choose the degree of linking or knotting of the associated field configuration. Using the gravito-electromagnetic formalism, we show that the torus knot structure is exhibited in the tendex and vortex lines for the analogous linearized gravitational solutions. We describe the topology of the gravitational fields and its physical interpretation in terms of the tidal and frame drag forces of the gravitational field.

  7. The Future of Microbial Genomics

    SciTech Connect (OSTI)

    Kyrpides, Nikos [Genome Biology group at the DOE Joint Genome Institute

    2010-06-02T23:59:59.000Z

    Nikos Kyrpides, head of the Genome Biology group at the DOE Joint Genome Institute discusses current challenges in the field of microbial genomics on June 2, 2010 at the "Sequencing, Finishing, Analysis in the Future" meeting in Santa Fe, NM

  8. Israel Careers ACCELERATE YOUR FUTURE

    E-Print Network [OSTI]

    Rimon, Elon

    Lithography Control products within the product lifecycle process including defining requirements, settingIsrael Careers ACCELERATE YOUR FUTURE Product Marketing Manager Job Description: Product Marketing Manager at the Optical Metrology Division is responsible for product strategy and customer interface

  9. Future Fuels: Issues and Opportunities

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

    R Y S L E R G R O U P Fuel Quality Issues * Cetane * Lubricity * Aromatics * Sulfur * Biodiesel - adequate quality standards needed * GTL, CTL, and BTL -- The Future 9142005 2 C...

  10. Texas Industries of the Future

    E-Print Network [OSTI]

    Ferland, K.

    The purpose of the Texas Industries of the Future program is to facilitate the development, demonstration and adoption of advanced technologies and adoption of best practices that reduce industrial energy usage, emissions, and associated costs...

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

  12. Gas futures can help independents manage their risks

    SciTech Connect (OSTI)

    Treat, J.E.; Rogers, M.C. (Booz-Allen and Hamilton Inc., San Francisco, CA (US))

    1990-10-22T23:59:59.000Z

    The advent of natural gas futures trading presents the natural gas industry with a powerful tool and a formidable challenge. On the one hand, producers, pipelines, local distribution companies (LDCs), end-users, and marketers can use gas futures to hedge against price risk, protecting companies against abnormal price spikes, stabilizing cash flows, enabling companies to write long-term contracts, and facilitating planning. Gas futures can also be used in combination with oil futures to hedge against fuel switching. On the other hand, the introduction of natural gas futures trading will dramatically reshape the natural gas business. Natural gas companies from smaller independent producers to large end-users will be forced to adapt. Short-term price volatility will tend to increase. At the same time, long-term price volatility should decline. Information flows will increase. Oil and gas prices may become more closely linked. Futures prices will become benchmarks for formula-priced contracts. Increased longer-term and mid-month contracting will reduce the current reliance on month-end spot market contracts. And new players will enter the natural gas business. As a result of these trends, natural gas companies will need to adopt new strategies, systems, and organizational structures in order to remain competitive.

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

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

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

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

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

  18. FutureGen Project Report

    SciTech Connect (OSTI)

    Cabe, Jim; Elliott, Mike

    2010-09-30T23:59:59.000Z

    This report summarizes the comprehensive siting, permitting, engineering, design, and costing activities completed by the FutureGen Industrial Alliance, the Department of Energy, and associated supporting subcontractors to develop a first of a kind near zero emissions integrated gasification combined cycle power plant and carbon capture and storage project (IGCC-CCS). With the goal to design, build, and reliably operate the first IGCC-CCS facility, FutureGen would have been the lowest emitting pulverized coal power plant in the world, while providing a timely and relevant basis for coal combustion power plants deploying carbon capture in the future. The content of this report summarizes key findings and results of applicable project evaluations; modeling, design, and engineering assessments; cost estimate reports; and schedule and risk mitigation from initiation of the FutureGen project through final flow sheet analyses including capital and operating reports completed under DOE award DE-FE0000587. This project report necessarily builds upon previously completed siting, design, and development work executed under DOE award DE-FC26- 06NT4207 which included the siting process; environmental permitting, compliance, and mitigation under the National Environmental Policy Act; and development of conceptual and design basis documentation for the FutureGen plant. For completeness, the report includes as attachments the siting and design basis documents, as well as the source documentation for the following: • Site evaluation and selection process and environmental characterization • Underground Injection Control (UIC) Permit Application including well design and subsurface modeling • FutureGen IGCC-CCS Design Basis Document • Process evaluations and technology selection via Illinois Clean Coal Review Board Technical Report • Process flow diagrams and heat/material balance for slurry-fed gasifier configuration • Process flow diagrams and heat/material balance for dry-fed gasifier configuration • Full capital cost report and cost category analysis (CAPEX) • Full operating cost report and assumptions (OPEX) Comparative technology evaluations, value engineering exercises, and initial air permitting activities are also provided; the report concludes with schedule, risk, and cost mitigation activities as well as lessons learned such that the products of this report can be used to support future investments in utility scale gasification and carbon capture and sequestration. Collectively, the FutureGen project enabled the comprehensive site specific evaluation and determination of the economic viability of IGCC-CCS. The project report is bound at that determination when DOE formally proposed the FutureGen 2.0 project which focuses on repowering a pulverized coal power plant with oxy-combustion technology including CCS.

  19. Brainstorming Apps for a Clean Energy Future | 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 Your Destiny: The FutureCommentsEnergyandapproximatelyBoostingand Capacity2009

  20. BATT Program- Summary and Future Plans | 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 Your Destiny: The FutureComments fromof Energy Automationj. Indirect

  1. Aftertreatment Modeling Status, Futur Potential, and Application Issues |

    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 Your Destiny: The Future of1Albuquerque, NM - Building America Top Innovation |

  2. Advanced Diesel Common Rail Injection System for Future Emission

    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 Your Destiny: The Future of1 AAccelerated agingDepartment of

  3. Physics Needs for Future Accelerators

    E-Print Network [OSTI]

    Lykken, J D

    2000-01-01T23:59:59.000Z

    Contents: 1. Prologomena to any meta future physics 1.1 Physics needs for building future accelerators 1.2 Physics needs for funding future accelerators 2. Physics questions for future accelerators 2.1 Crimes and misapprehensions 2.1.1 Organized religion 2.1.2 Feudalism 2.1.3 Trotsky was right 2.2 The Standard Model as an effective field theory 2.3 What is the scale of new physics? 2.4 What could be out there? 2.5 Model-independent conclusions 3. Future accelerators 3.1 What is the physics driving the LHC? 3.2 What is the physics driving the LC? 3.2.1 Higgs physics is golden 3.2.2 LHC won't be sufficient to unravel the new physics as the TeV scale 3.2.3 LC precision measurements can pin down new physics scales 3.3 Why a Neutrino Factory? 3.4 Pushing the energy frontier

  4. Physics Needs for Future Accelerators

    E-Print Network [OSTI]

    Joseph D. Lykken

    2000-01-30T23:59:59.000Z

    Contents: 1. Prologomena to any meta future physics 1.1 Physics needs for building future accelerators 1.2 Physics needs for funding future accelerators 2. Physics questions for future accelerators 2.1 Crimes and misapprehensions 2.1.1 Organized religion 2.1.2 Feudalism 2.1.3 Trotsky was right 2.2 The Standard Model as an effective field theory 2.3 What is the scale of new physics? 2.4 What could be out there? 2.5 Model-independent conclusions 3. Future accelerators 3.1 What is the physics driving the LHC? 3.2 What is the physics driving the LC? 3.2.1 Higgs physics is golden 3.2.2 LHC won't be sufficient to unravel the new physics as the TeV scale 3.2.3 LC precision measurements can pin down new physics scales 3.3 Why a Neutrino Factory? 3.4 Pushing the energy frontier

  5. Edmund G. Brown Jr. LIGHTING CALIFORNIA'S FUTURE

    E-Print Network [OSTI]

    Edmund G. Brown Jr. Governor LIGHTING CALIFORNIA'S FUTURE: SMART LIGHT-EMITTING DIODE LIGHTING's Future: Smart LightEmitting Diode Lighting in Residential Fans. California Energy Commission, PIER

  6. Future of the Lakes Scenarios for the Future of

    E-Print Network [OSTI]

    about what to do today. We try to anticipate the future when making decisions, but plans are always as a type of war game analysis. Scenario planning later became a part of business planning. The oil company Royal Dutch/Shell further developed scenario planning, which played a role in that company's success

  7. FUTURE POWER GRID INITIATIVE Decision Support for Future

    E-Print Network [OSTI]

    data to generate and share mission-critical analysis and insights. November 2012 PNNL-SA-90020 Gariann Gelston Pacific Northwest National Laboratory (509) 372-4480 gariann.gelston@pnnl.gov Angie Dalton Pacific Northwest National Laboratory (509) 371-6607 angela.dalton@pnnl.gov ABOUT FPGI The Future Power Grid

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

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

  10. Developmental Plasticity Links Local Adaptation and Evolutionary

    E-Print Network [OSTI]

    Badyaev, Alex

    Developmental Plasticity Links Local Adaptation and Evolutionary Diversification in Foraging, University of Arizona, Tucson, Arizona Developmental plasticity is thought to reconcile the constraining role morphology into adulthood, providing an opportunity to directly examine the links between plasticity of bone

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

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

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

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

  15. Cross-check of ex-situ and in-situ metrology of a bendable temperature stabilized KB mirror

    SciTech Connect (OSTI)

    Yuan, Sheng Sam; Goldberg, Kenneth A.; Yashchuk, Valeriy V.; Celestre, Richard; McKinney, Wayne R.; Morrison, Gregory; Macdougall, James; Mochi, Iacopo; Warwick, Tony

    2010-09-15T23:59:59.000Z

    At the Advanced Light Source (ALS), we are developing broadly applicable, high-accuracy, in-situ, at-wavelength wavefront slope measurement techniques for Kirkpatrick-Baez (KB) mirror nano-focusing. In this paper, we report an initial cross-check of ex-situ and in-situ metrology of a bendable temperature stabilized KB mirror. This cross-check provides a validation of the in-situ shearing interferometry currently under development at the ALS.

  16. Options for Kentucky's Energy Future

    SciTech Connect (OSTI)

    Larry Demick

    2012-11-01T23:59:59.000Z

    Three important imperatives are being pursued by the Commonwealth of Kentucky: ? Developing a viable economic future for the highly trained and experienced workforce and for the Paducah area that today supports, and is supported by, the operations of the US Department of Energy’s (DOE’s) Paducah Gaseous Diffusion Plant (PGDP). Currently, the PGDP is scheduled to be taken out of service in May, 2013. ? Restructuring the economic future for Kentucky’s most abundant indigenous resource and an important industry – the extraction and utilization of coal. The future of coal is being challenged by evolving and increasing requirements for its extraction and use, primarily from the perspective of environmental restrictions. Further, it is important that the economic value derived from this important resource for the Commonwealth, its people and its economy is commensurate with the risks involved. Over 70% of the extracted coal is exported from the Commonwealth and hence not used to directly expand the Commonwealth’s economy beyond the severance taxes on coal production. ? Ensuring a viable energy future for Kentucky to guarantee a continued reliable and affordable source of energy for its industries and people. Today, over 90% of Kentucky’s electricity is generated by burning coal with a delivered electric power price that is among the lowest in the United States. Anticipated increased environmental requirements necessitate looking at alternative forms of energy production, and in particular electricity generation.

  17. Future Directions for Magnetic Sensors

    E-Print Network [OSTI]

    and Engineering Laboratory Magnetic tunnel junction (MTJ) sensors are rapidly becoming the technology of choiceFuture Directions for Magnetic Sensors: HYBRIDMATERIALS Our goal is to develop the scientific expertise needed to allow modeling and simulation to become the driving force in improving magnetic sensors

  18. Envision your future in engineering

    E-Print Network [OSTI]

    Dyer, Bill

    , or construction or to persist in your program As you read about a woman's experience of overcoming health issues and construction, and on the future of our society cannot be overstated With great pride, Heidi Sherick Assistant various national laboratories, including the Gran Sasso Laboratory. After traveling, we went to Princeton

  19. Future Prospects of Synthetic Fuels 

    E-Print Network [OSTI]

    Fryback, M. G.

    1982-01-01T23:59:59.000Z

    It is important for the future of this nation to reach the goal of demonstrated definition and quantification of the parameters which influence the ability to use this country's vast resources of coal and oil shale for production of synthetic fuels...

  20. Future Prospects of Synthetic Fuels

    E-Print Network [OSTI]

    Fryback, M. G.

    1982-01-01T23:59:59.000Z

    It is important for the future of this nation to reach the goal of demonstrated definition and quantification of the parameters which influence the ability to use this country's vast resources of coal and oil shale for production of synthetic fuels...

  1. Water Requirements for Future Energy production in California

    E-Print Network [OSTI]

    Sathaye, J.A.

    2011-01-01T23:59:59.000Z

    FOR FUTURE ENERGY PRODUCTION STATE'S PERSPECTIVE. CALIFORNIAREQUIREMENTS FOR FUTURE ENERGY PRODUCTION IN CALIFORNIAREQUIREMENTS POR FUTURE ENERGY PRODUCTION IN CALIFORNIA

  2. Water Requirements for Future Energy production in California

    E-Print Network [OSTI]

    Sathaye, Jayant A.; Ritschard, R.L.

    1977-01-01T23:59:59.000Z

    FOR FUTURE ENERGY PRODUCTION STATE'S PERSPECTIVE. CALIFORNIAREQUIREMENTS FOR FUTURE ENERGY PRODUCTION IN CALIFORNIAREQUIREMENTS POR FUTURE ENERGY PRODUCTION IN CALIFORNIA

  3. Evaluation of emerging parallel optical link technology for high energy physics

    SciTech Connect (OSTI)

    Chramowicz, J.; Kwan, S.; Prosser, A.; Winchell, M.; /Fermilab

    2012-01-01T23:59:59.000Z

    Modern particle detectors utilize optical fiber links to deliver event data to upstream trigger and data processing systems. Future detector systems can benefit from the development of dense arrangements of high speed optical links emerging from industry advancements in transceiver technology. Supporting data transfers of up to 120 Gbps in each direction, optical engines permit assembly of the optical transceivers in close proximity to ASICs and FPGAs. Test results of some of these parallel components will be presented including the development of pluggable FPGA Mezzanine Cards equipped with optical engines to provide to collaborators on the Versatile Link Common Project for the HI-LHC at CERN.

  4. An Adaptive Entanglement Distillation Scheme Using Quantum Low Density Parity Check Codes

    E-Print Network [OSTI]

    K. H. Ho; H. F. Chau

    2008-07-14T23:59:59.000Z

    Quantum low density parity check (QLDPC) codes are useful primitives for quantum information processing because they can be encoded and decoded efficiently. Besides, the error correcting capability of a few QLDPC codes exceeds the quantum Gilbert-Varshamov bound. Here, we report a numerical performance analysis of an adaptive entanglement distillation scheme using QLDPC codes. In particular, we find that the expected yield of our adaptive distillation scheme to combat depolarization errors exceed that of Leung and Shor whenever the error probability is less than about 0.07 or greater than about 0.28. This finding illustrates the effectiveness of using QLDPC codes in entanglement distillation.

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

    E-Print Network [OSTI]

    Yuri I. Ozhigov

    2015-06-17T23:59:59.000Z

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

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

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

  8. Bright Future NW Energy Coalition

    E-Print Network [OSTI]

    quickly set CO2 emission limits and establish mechanisms to meet them. But the Northwest must not waitAs Usual We have two choices for providing our electrical needs by 2050. We can either develop more of ourCoal Energy Efficiency/CHP 6¢/kWh With this extra 1,500 aMW in Bright Future we can power more electric

  9. New Optical Link Technologies for HEP Experiments

    E-Print Network [OSTI]

    P. Delurgio; W. Fernando; B. Salvachua; D. Lopez; R. Stanek; D. Underwood

    2011-09-30T23:59:59.000Z

    As a concern with the reliability and mass of current optical links in LHC experiments, we are investigating CW lasers and light modulators as an alternative to VCSELs. In addition we are developing data links in air, utilizing steering by MEMS mirrors and optical feedback paths for the control loop. Laser, modulator, and lens systems used are described, as well as two different electronic systems for a free space steering feedback loop. Our prototype system currently operates at 1.25 Gb/s, but could be upgraded. This link works over distances of order meters. Such links might enable one to move communication lasers (e.g. VCSELs) and optical fibers out of tracking detectors, for reasons such as reliability and power consumption. Some applications for free space data links, such as local triggering and data readout and trigger-clock distribution and links for much longer distances are also discussed.

  10. Maps of crude oil futures

    SciTech Connect (OSTI)

    Masters, C.D.

    1986-05-01T23:59:59.000Z

    The Crude Oil Futures presentation shows their concept of the quantity of oil possibly present (the combination of conventional demonstrated reserves plus undiscovered recoverable resources) within the areas outlined. The Crude Oil Futures is not as an exploration map but as a perspective on the distribution of world oil. The occurrence of oil is, after all, a function of particular geologic factors that are not everywhere present. Furthermore, large amounts of oil can occur only where the several necessary independent variables (geologic factors) combine optimally. In the Western Hemisphere, similar minimal crude oil futures are shown for North America and South America. This similarity is a reflection not of similar geology but rather of the fact that most of the oil has already been produced from North America, whereas South America as a whole (except for Venezuela) possesses a geology less likely to produce oil. In Europe, Africa, and Asia, four regions are dominant: the Middle East, Libya, North Sea, and west Siberia. Paleogeography and source rock distribution were keys to this distribution - the Middle East and Libya reflecting the Tethyan association, and the North Sea and west Siberia benefitting from the Late Jurassic marine transgression into geographic environments where ocean circulation was restricted by tectonic events.

  11. Career Mentor Link For all queries related to the Career Mentor Link

    E-Print Network [OSTI]

    Tobar, Michael

    Career Mentor Link For all queries related to the Career Mentor Link program, contact: Jo Hocking Career Mentor Link Coordinator The University of Western Australia M302, 35 Stirling Highway, Crawley WA.careers.uwa.edu.au CRICOS Provider Code: 00126G CC.005.2009 FAQs What are the time commitments? The Career Mentor Link

  12. Career Mentor Link For all queries related to the Career Mentor Link

    E-Print Network [OSTI]

    Tobar, Michael

    Career Mentor Link For all queries related to the Career Mentor Link programme, contact: Jo Hocking Career Mentor Link Coordinator The University of Western Australia M302, 35 Stirling Highway, Crawley WA! Career Mentor Link ­ Singapore is open to currently enrolled final year UWA students who are returning

  13. Helpful links for materials transport, safety, etc.

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

    Helpful links for materials transport, safety, etc. relating to experiment safety at the APS. Internal Reference Material: Transporting Hazardous Materials "Natural" radioactivity...

  14. Geothermal: Website Policies and Important Links

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

    Website Policies and Important Links Geothermal Technologies Legacy Collection HelpFAQ | Site Map | Contact Us HomeBasic Search About Publications Advanced Search New Hot Docs...

  15. ,"New Mexico - West Dry Natural Gas Expected Future Production (Billion Cubic Feet)"

    U.S. Energy Information Administration (EIA) 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy Sources andPlant Liquids, Expected Future7,Dry Natural Gas Expected Future

  16. ,"New Mexico Natural Gas Plant Liquids, Expected Future Production (Million Barrels)"

    U.S. Energy Information Administration (EIA) 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National and Regional Data; Row: NAICS Codes; Column: Energy Sources andPlant Liquids, Expected Future7,DryPlant Liquids, Expected Future

  17. Capping of Water Wells for Future Use

    E-Print Network [OSTI]

    Lesikar, Bruce J.; Mechell, Justin

    2007-09-04T23:59:59.000Z

    . Use a light to check the inside of the casing. If you can move the casing around by pushing against it, the casing is probably deteriorating. If you need assis- Bruce Lesikar and Justin Mechell* * Professor and Extension Program Leader for Bio...

  18. Track with overlapping links for dry coal extrusion pumps

    DOE Patents [OSTI]

    Saunders, Timothy; Brady, John D

    2014-01-21T23:59:59.000Z

    A chain for a particulate material extrusion pump includes a plurality of links, each of the plurality of links having a link body and a link ledge, wherein each link ledge of the plurality of links at least partially overlaps the link body of an adjacent one of the plurality of links.

  19. Channel coding for high speed links

    E-Print Network [OSTI]

    Blitvic, Natasa

    2008-01-01T23:59:59.000Z

    This thesis explores the benefit of channel coding for high-speed backplane or chip-to-chip interconnects, referred to as the high-speed links. Although both power-constrained and bandwidth-limited, the high-speed links ...

  20. An operational link between MUBs and SICs

    E-Print Network [OSTI]

    Roberto Beneduci; Tom Bullock; Paul Busch; Claudio Carmeli; Teiko Heinosaari; Alessandro Toigo

    2013-09-24T23:59:59.000Z

    We exhibit an operational connection between mutually unbiased bases and symmetric infomationally complete positive operator-valued measures. Assuming that the latter exists, we show that there is a strong link between these two structures in all prime power dimensions. We also demonstrate that a similar link cannot exists in dimension 6.

  1. Disulfide-Linked Protein Folding Pathways

    E-Print Network [OSTI]

    Bardwell, James

    Disulfide-Linked Protein Folding Pathways Bharath S. Mamathambika1,3 and James C. Bardwell2,3, 1 of protein folding is difficult because it involves the identification and characterization of folding to protein folding in vitro and in vivo. 211 Click here for quick links to Annual Reviews content online

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

  3. Self-organized network design by link survivals and shortcuts

    E-Print Network [OSTI]

    Hayashi, Yukio

    2011-01-01T23:59:59.000Z

    One of the challenges for future infrastructures is how to design a network with high efficiency and strong connectivity at low cost. We propose self-organized geographical networks beyond the vulnerable scale-free structure found in many real systems. The networks with spatially concentrated nodes emerge through link survival and path reinforcement on routing flows in a wireless environment with a constant transmission range of a node. In particular, we show that adding some shortcuts induces both the small-world effect and a significant improvement of the robustness to the same level as in the optimal bimodal networks. Such a simple universal mechanism will open prospective ways for several applications in wide-area ad hoc networks, smart grids, and urban planning.

  4. PLANS FOR FUTURE MEGAWATT FACILITIES.

    SciTech Connect (OSTI)

    ROSER,T.

    2004-10-13T23:59:59.000Z

    Proton accelerators producing beam powers of up to 1 MW are presently either operating or under construction and designs for Multi-Megawatt facilities are being developed. High beam power has applications in the production of high intensity secondary beams of neutrons, muons, kaons and neutrinos as well as in nuclear waste transmutation and accelerator-driven sub-critical reactors. Each of these applications has additional requirements on beam energy and duty cycle. This paper will review how present designs for future Multi-Megawatt facilities meet these requirements and will also review the experience with present high power facilities.

  5. Market characteristics of future oil tanker operations

    E-Print Network [OSTI]

    Willemann, Simmy Dhawan

    2014-01-01T23:59:59.000Z

    This work analyzes the market characteristics of future oil tanker operations with a particular emphasis on those aspects which will have a potential impact on the design of future vessels. The market analysis model used ...

  6. Hedging Milk with BFP Futures and Options

    E-Print Network [OSTI]

    Anderson, David P.; McCorkle, Dean; Schwart Jr., Robert B.; Jones, Rodney

    1999-06-23T23:59:59.000Z

    Basic Formula Price (BFP) milk futures and options can be used to hedge, or lock in, milk prices in order to manage milk price fluctuations. This publication offers information on futures contracts, basis, cash settlement and margin call. There also...

  7. Arbitrage free cointegrated models in gas and oil future markets

    E-Print Network [OSTI]

    Benmenzer, Grégory; Jérusalem, Céline

    2007-01-01T23:59:59.000Z

    In this article we present a continuous time model for natural gas and crude oil future prices. Its main feature is the possibility to link both energies in the long term and in the short term. For each energy, the future returns are represented as the sum of volatility functions driven by motions. Under the risk neutral probability, the motions of both energies are correlated Brownian motions while under the historical probability, they are cointegrated by a Vectorial Error Correction Model. Our approach is equivalent to defining the market price of risk. This model is free of arbitrage: thus, it can be used for risk management as well for option pricing issues. Calibration on European market data and numerical simulations illustrate well its behavior.

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

    E-Print Network [OSTI]

    Prabhakar, Abhiram

    2001-01-01T23:59:59.000Z

    &, randomly constrn(t(&d panty-check inatrix at, thv, d&x o&1&&r can hc prohil&it. ivc in somr. applicatio&is. &Vh(:n a systvn& has a svt. of &liffcr&&nt LDI'(, ' codv&n each of t, hc parity-vhvrk matri?s nc&. 'd t, o hv, storvd in the rcceivcr. Anot h& r...)(Lkc(vtr, k)) L=l, k fr ('2. 1fi) Vr stprr(L, L(Tm )) = g srpn(LL, (l:r&, .)) k=1 kgr ('2. 17) Thc Eq. 2. 17 must hv. vomput&. &1 for a111=1. 2. p ? 1 and an cfficicnt, approach is nscd. First rkc fin&1 two &tuarititi&ls i&)1 arid Sl givvrl )ly Pg k...

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

    E-Print Network [OSTI]

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

    2014-01-01T23:59:59.000Z

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

  10. Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking

    E-Print Network [OSTI]

    Cordeiro, Lucas; Marques-Silva, Joao

    2009-01-01T23:59:59.000Z

    The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. In this context, SAT-based bounded model checking has been successfully applied to discover subtle errors, but for larger applications, it often suffers from the state space explosion problem. This paper describes a new approach called continuous verification to detect design errors as quickly as possible by looking at the Software Configuration Management (SCM) system and by combining dynamic and static verification to reduce the state space to be explored. We also give a set of encodings that provide accurate support for program verification and use different background theories in order to improve scalability and precision in a completely automatic way. A case study from the telecommunications domain shows that the proposed approach improves the error-detection capability and reduces the overall verification time by...

  11. National Engineers Week: Future City Competition

    SciTech Connect (OSTI)

    None

    2011-01-01T23:59:59.000Z

    2011 Future Cities Competition inspires students all across South Carolina to pursue careers in environmental protection and engineering.

  12. National Engineers Week: Future City Competition

    ScienceCinema (OSTI)

    None

    2012-06-14T23:59:59.000Z

    2011 Future Cities Competition inspires students all across South Carolina to pursue careers in environmental protection and engineering.

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

  14. Present and Future Computing Requirements

    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 forPortsmouth/Paducah ProjectPRE-AWARD ACCOUNTINGQuantitativeComputational Cosmology DES

  15. Urologic robots and future directions

    E-Print Network [OSTI]

    Mozer, Pierre; Stoianovici, Dan; 10.1097/MOU.0b013e32831cc1ba

    2008-01-01T23:59:59.000Z

    PURPOSE OF REVIEW: Robot-assisted laparoscopic surgery in urology has gained immense popularity with the daVinci system, but a lot of research teams are working on new robots. The purpose of this study is to review current urologic robots and present future development directions. RECENT FINDINGS: Future systems are expected to advance in two directions: improvements of remote manipulation robots and developments of image-guided robots. SUMMARY: The final goal of robots is to allow safer and more homogeneous outcomes with less variability of surgeon performance, as well as new tools to perform tasks on the basis of medical transcutaneous imaging, in a less invasive way, at lower costs. It is expected that improvements for a remote system could be augmented in reality, with haptic feedback, size reduction, and development of new tools for natural orifice translumenal endoscopic surgery. The paradigm of image-guided robots is close to clinical availability and the most advanced robots are presented with end-use...

  16. Coal: Energy for the future

    SciTech Connect (OSTI)

    NONE

    1995-05-01T23:59:59.000Z

    This report was prepared in response to a request by the US Department of energy (DOE). The principal objectives of the study were to assess the current DOE coal program vis-a-vis the provisions of the Energy Policy Act of 1992 (EPACT), and to recommend the emphasis and priorities that DOE should consider in updating its strategic plan for coal. A strategic plan for research, development, demonstration, and commercialization (RDD and C) activities for coal should be based on assumptions regarding the future supply and price of competing energy sources, the demand for products manufactured from these sources, technological opportunities, and the need to control the environmental impact of waste streams. These factors change with time. Accordingly, the committee generated strategic planning scenarios for three time periods: near-term, 1995--2005; mid-term, 2006--2020; and, long-term, 2021--2040. The report is divided into the following chapters: executive summary; introduction and scope of the study; overview of US DOE programs and planning; trends and issues for future coal use; the strategic planning framework; coal preparation, coal liquid mixtures, and coal bed methane recovery; clean fuels and specialty products from coal; electric power generation; technology demonstration and commercialization; advanced research programs; conclusions and recommendations; appendices; and glossary. 174 refs.

  17. Toward an energy surety future.

    SciTech Connect (OSTI)

    Tatro, Marjorie L.; Jones, Scott A.; Covan, John Morgan; Kuswa, Glenn W.; Menicucci, David F.; Robinett, Rush D. III (.; )

    2005-10-01T23:59:59.000Z

    Because of the inevitable depletion of fossil fuels and the corresponding release of carbon to the environment, the global energy future is complex. Some of the consequences may be politically and economically disruptive, and expensive to remedy. For the next several centuries, fuel requirements will increase with population, land use, and ecosystem degradation. Current or projected levels of aggregated energy resource use will not sustain civilization as we know it beyond a few more generations. At the same time, issues of energy security, reliability, sustainability, recoverability, and safety need attention. We supply a top-down, qualitative model--the surety model--to balance expenditures of limited resources to assure success while at the same time avoiding catastrophic failure. Looking at U.S. energy challenges from a surety perspective offers new insights on possible strategies for developing solutions to challenges. The energy surety model with its focus on the attributes of security and sustainability could be extrapolated into a global energy system using a more comprehensive energy surety model than that used here. In fact, the success of the energy surety strategy ultimately requires a more global perspective. We use a 200 year time frame for sustainability because extending farther into the future would almost certainly miss the advent and perfection of new technologies or changing needs of society.

  18. People Strategy Fit for Our Future

    E-Print Network [OSTI]

    People Strategy Fit for Our Future People Strategy 2011-2016 #12;#12;Fit for Our Future Tim. The implications of the Comprehensive Spending Review settlements in each country will mean big changes for many of our people. Fit for Our Future: People Strategy 2011-2016 | 1 The Executive Board and the rest of my

  19. Control and Protection Paradigms of the Future

    E-Print Network [OSTI]

    a strong foundation of practice in system regulation and protective relaying on which to build; howeverControl and Protection Paradigms of the Future Future Grid Thrust Area 2 White Paper Power Systems White Paper Control and Protection Paradigms of the Future Project Team C.L. DeMarco, C.A. Baone, B

  20. ENERGY WHITE PAPER Our energy future -

    E-Print Network [OSTI]

    ENERGY WHITE PAPER Our energy future - creating a low carbon economy and consumers. And we stand up for fair and open markets in the UK, Europe and the world. #12;Our energy future ENERGY WHITE PAPER Our energy future - creating a low carbon economy 1 Foreword

  1. Better Buildings Case Competition Helps Develop Future Clean Energy Leaders

    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 Your Destiny: The FutureCommentsEnergy Christopher|for Consumers anymore | Department|

  2. Biodiesel ASTM Update and Future Technical Needs | 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 Your Destiny: The FutureCommentsEnergyand SustainedBio-Oil Deployment in the 2015

  3. Biomass 2008: Fueling Our Future Conference | 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 Your Destiny: The FutureCommentsEnergyandapproximately 10 wt%inandWBS 1.2.3.3 Biomass

  4. Blue Ribbon Commission on America's Nuclear Future Charter | Department of

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn't Your Destiny: The FutureCommentsEnergyandapproximately 10| DepartmentinMay5,

  5. Breakout Session: Future of CSP: Challenges and Opportunities | Department

    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 Your Destiny: Theof Energy Future of CSP: Challenges and Opportunities Breakout Session:

  6. Brighter Future for Kentucky Manufacturing Plants | 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 Your Destiny: Theof Energy Future of CSP: ChallengesEnergy For PersonsBright

  7. Building a Greener, More Resilient Future in Washington State | Department

    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 Your Destiny: Theof Energy FutureDepartment of EnergyRoland RisserDepartmentBuilding aof

  8. Oklahoma Dry Natural Gas Expected Future Production (Billion Cubic Feet)

    U.S. Energy Information Administration (EIA) 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghurajiConventionalMississippi"site. IfProved(Million Barrels)21 4.65per9 0ProvedExpected Future

  9. FutureCarbon GmbH | 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 being directedAnnualPropertyd8c-a9ae-f8521cbb8489InformationFrenchtown, New Jersey:TransitYorkshireFuture

  10. California Dry Natural Gas Expected Future Production (Billion Cubic Feet)

    Annual Energy Outlook 2013 [U.S. Energy Information Administration (EIA)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 122 40Coal Stocks at CommercialDecadeReserves (MillionExpected Future Production

  11. California Federal Offshore Dry Natural Gas Expected Future Production

    Annual Energy Outlook 2013 [U.S. Energy Information Administration (EIA)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 122 40Coal Stocks at CommercialDecadeReserves (MillionExpected Future(Million(Billion

  12. Florida Dry Natural Gas Expected Future Production (Billion Cubic Feet)

    Annual Energy Outlook 2013 [U.S. Energy Information Administration (EIA)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 122 40Coal Stocks at1,066,688Electricity Use asFeet)SecondProductionExpected Future

  13. Kansas Dry Natural Gas Expected Future Production (Billion Cubic Feet)

    Annual Energy Outlook 2013 [U.S. Energy Information Administration (EIA)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 122 40Coal Stocks at1,066,688ElectricityLessApril 2015YearYear JanProvedExpected Future

  14. Future Directions in Engines and Fuels | 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.pdfTechnologies ProgramOutfittedof6 * SeptemberResearch onFuture

  15. Future Energy Zone Private Ltd FEZ | 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 being directedAnnual SiteofEvaluating A PotentialJumpGermanFife EnergyFreightFulong WindFusermann JumpFutrexFuture

  16. FutureGen Industrial Alliance Inc | 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 being directedAnnual SiteofEvaluating A PotentialJumpGermanFife EnergyFreightFulong WindFusermann(EPA).FutureGen

  17. Arkansas Dry Natural Gas Expected Future Production (Billion Cubic Feet)

    Annual Energy Outlook 2013 [U.S. Energy Information Administration (EIA)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 122 40Coal Stocks at CommercialDecade Year-0 Year-1Year JanDecadeExpected Future

  18. Michigan Dry Natural Gas Expected Future Production (Billion Cubic Feet)

    Gasoline and Diesel Fuel Update (EIA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 for On-Highway4,1,50022,3,,,,6,1,9,1,50022,3,,,,6,1,Decade EnergyTennesseeYearUndergroundCubic Feet)Expected Future

  19. Mississippi Dry Natural Gas Expected Future Production (Billion Cubic Feet)

    Gasoline and Diesel Fuel Update (EIA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 for On-Highway4,1,50022,3,,,,6,1,9,1,50022,3,,,,6,1,Decade1 Source: Office of Fossil Energy,off) Shale ProductionExpected Future

  20. Montana Dry Natural Gas Expected Future Production (Billion Cubic Feet)

    Gasoline and Diesel Fuel Update (EIA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 for On-Highway4,1,50022,3,,,,6,1,9,1,50022,3,,,,6,1,Decade1 Source: Office of Fossil Energy,off)ThousandProductionExpected Future

  1. The Electricity Transmission System Future Vision & Grid Challenges

    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 742EnergyOn April 23,EnergyChicopeeTechnology Performance April 7,U.Future Vision & Grid

  2. The Future of Housing-Today | 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 742EnergyOn April 23,EnergyChicopeeTechnology Performance April 7,U.Future5 Budget12CEM5 inEvery

  3. Texas Dry Natural Gas Expected Future Production (Billion Cubic Feet)

    U.S. Energy Information Administration (EIA) 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 onYou are nowTotal" (Percent) Type: Sulfur Content API GravityDakota" "Fuel, quality", 2013,Iowa"Dakota"Year JanExpected Future Production (Billion Cubic

  4. Texas State Offshore Dry Natural Gas Expected Future Production (Billion

    U.S. Energy Information Administration (EIA) 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 onYou are nowTotal" (Percent) Type: Sulfur Content API GravityDakota" "Fuel, quality", 2013,Iowa"Dakota"Year JanExpected FutureReservesBarrels) Crude

  5. The Future is Now for Advanced Vehicles | 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.pdfBreakingMayDepartmentTest for PumpingThe Facts on Gas Prices:The FirstThe Future is

  6. The Future of Housing-Today | 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.pdfBreakingMayDepartmentTest for PumpingThe Facts on Gas Prices:The FirstThe FutureThe

  7. Massachusetts is Winding the Future | 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 20122 DOE Hydrogenis Winding the Future

  8. The Future of Public Transport - In Pursuit of Zero Emissions

    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'tOriginEducationVideoStrategic| DepartmentDepartmentTheEnergy TheClean The Future of Public

  9. Louisiana Dry Natural Gas Expected Future Production (Billion Cubic Feet)

    Gasoline and Diesel Fuel Update (EIA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 for On-Highway4,1,50022,3,,,,6,1,9,1,50022,3,,,,6,1,Decade EnergyTennesseeYear Jan Next MECS willProvedExpected Future Production

  10. Louisiana--North Natural Gas Plant Liquids, Expected Future Production

    Gasoline and Diesel Fuel Update (EIA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 for On-Highway4,1,50022,3,,,,6,1,9,1,50022,3,,,,6,1,Decade EnergyTennesseeYear Jan Next(Million Barrels) Expected Future

  11. The Future of Fuel and Refueling | GE Global Research

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over Our InstagramStructureProposedPAGESafetyTed5,AuditThe FiveBiofuels AnFuture of Fuel

  12. The Future of Renewable Energy | GE Global Research

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over Our InstagramStructureProposedPAGESafetyTed5,AuditThe FiveBiofuels AnFuture

  13. Future of 3D Printing | GE Global Research

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC) Environmental AssessmentsGeoffrey Campbell is theOpportunitiesThe Future of Additive

  14. 3-D Combustion Simulation Strategy Status, Future Potential, and

    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 Your Destiny: The Future of BadTHEEnergyReliability2015 Peer Review. d r a mfor Euro

  15. FutureCamp GmBH | 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 Jump1946865°, -86.0529604°Wisconsin: EnergyEnterprisesFutureMarket

  16. Status and Future of TRANSCOM | 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 Strategic2Uranium Transferon the Passing of Admiral James D. Watkinsand Future of

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

    E-Print Network [OSTI]

    Impact of ANSI X9.24-1:2009 Key Check Value on ISO/IEC 9797-1:2011 MACs Tetsu Iwata1 and Lei Wang2 of the zero block, and is assumed to be publicly known data for verification. ISO/IEC 9797-1:2011 illustrates check value with the ISO/IEC 9797-1 MACs. Keywords: ANSI X9.24-1:2009, key check value, ISO/IEC 9797

  18. Tracking Topology Dynamicity for Link Prediction in Intermittently Connected Wireless Networks

    E-Print Network [OSTI]

    Zayani, Mohamed-Haykel; Slama, Ines; Zeghlache, Djamal

    2012-01-01T23:59:59.000Z

    Through several studies, it has been highlighted that mobility patterns in mobile networks are driven by human behaviors. This effect has been particularly observed in intermittently connected networks like DTN (Delay Tolerant Networks). Given that common social intentions generate similar human behavior, it is relevant to exploit this knowledge in the network protocols design, e.g. to identify the closeness degree between two nodes. In this paper, we propose a temporal link prediction technique for DTN which quantifies the behavior similarity between each pair of nodes and makes use of it to predict future links. We attest that the tensor-based technique is effective for temporal link prediction applied to the intermittently connected networks. The validity of this method is proved when the prediction is made in a distributed way (i.e. with local information) and its performance is compared to well-known link prediction metrics proposed in the literature.

  19. Applications of Emerging Parallel Optical Link Technology to High Energy Physics Experiments

    SciTech Connect (OSTI)

    Chramowicz, J.; Kwan, S.; Prosser, A.; Winchell, M.; /Fermilab

    2011-09-01T23:59:59.000Z

    Modern particle detectors depend upon optical fiber links to deliver event data to upstream trigger and data processing systems. Future detector systems can benefit from the development of dense arrangements of high speed optical links emerging from the telecommunications and storage area network market segments. These links support data transfers in each direction at rates up to 120 Gbps in packages that minimize or even eliminate edge connector requirements. Emerging products include a class of devices known as optical engines which permit assembly of the optical transceivers in close proximity to the electrical interfaces of ASICs and FPGAs which handle the data in parallel electrical format. Such assemblies will reduce required printed circuit board area and minimize electromagnetic interference and susceptibility. We will present test results of some of these parallel components and report on the development of pluggable FPGA Mezzanine Cards equipped with optical engines to provide to collaborators on the Versatile Link Common Project for the HI-LHC at CERN.

  20. Small Business Linked Deposit Program (Oklahoma)

    Broader source: Energy.gov [DOE]

    The Small Business Linked Deposit Program provides below-market interest rates for qualified small businesses and certified industrial parks through local financing sources. Loans are for a two...

  1. Linked Deposit Loan Program (West Virginia)

    Broader source: Energy.gov [DOE]

    The Linked Deposit Loan Program is targeted at small, private firms with 50 or fewer employees and gross annual revenues of $5 million or less comes. This loan offered through the West Virginia...

  2. Linked Investment Program for Commercial Enterprises (Maine)

    Broader source: Energy.gov [DOE]

    The Linked Investment Program for Commercial Enterprises reduces a borrower’s interest rate. The Maine State Treasurer makes a certificate of deposit at up to 2% less than the prevailing rate on...

  3. Highly cross-linked nanoporous polymers

    DOE Patents [OSTI]

    Steckle, Jr., Warren P. (Los Alamos, NM); Apen, Paul G. (Los Alamos, NM); Mitchell, Michael A. (Los Alamos, NM)

    1998-01-01T23:59:59.000Z

    Condensation polymerization followed by a supercritical extraction step can be used to obtain highly cross-linked nanoporous polymers with high surface area, controlled pore sizes and rigid structural integrity. The invention polymers are useful for applications requiring separation membranes.

  4. Highly cross-linked nanoporous polymers

    DOE Patents [OSTI]

    Steckle, Jr., Warren P. (Los Alamos, NM); Apen, Paul G. (Los Alamos, NM); Mitchell, Michael A. (Los Alamos, NM)

    1997-01-01T23:59:59.000Z

    Condensation polymerization followed by a supercritical extraction step can be used to obtain highly cross-linked nanoporous polymers with high surface area, controlled pore sizes and rigid structural integrity. The invention polymers are useful for applications requiring separation membranes.

  5. Renewable Electricity Futures Study. Executive Summary

    SciTech Connect (OSTI)

    Mai, T.; Sandor, D.; Wiser, R.; Schneider, T.

    2012-12-01T23:59:59.000Z

    The Renewable Electricity Futures (RE Futures) Study investigated the challenges and impacts of achieving very high renewable electricity generation levels in the contiguous United States by 2050. The analysis focused on the sufficiency of the geographically diverse U.S. renewable resources to meet electricity demand over future decades, the hourly operational characteristics of the U.S. grid with high levels of variable wind and solar generation, and the potential implications of deploying high levels of renewables in the future. RE Futures focused on technical aspects of high penetration of renewable electricity; it did not focus on how to achieve such a future through policy or other measures. Given the inherent uncertainties involved with analyzing alternative long-term energy futures as well as the multiple pathways that might be taken to achieve higher levels of renewable electricity supply, RE Futures explored a range of scenarios to investigate and compare the impacts of renewable electricity penetration levels (30%-90%), future technology performance improvements, potential constraints to renewable electricity development, and future electricity demand growth assumptions. RE Futures was led by the National Renewable Energy Laboratory (NREL) and the Massachusetts Institute of Technology (MIT).

  6. Rub link assembly for dragline bucket

    SciTech Connect (OSTI)

    Briscoe, T.L.

    1987-09-01T23:59:59.000Z

    A rub link assembly is described for a dragline bucket adapted to be interconnected in a hoist chain for rolling movement against the bucket side comprising a relatively elongated member having a clevis at each end, each clevis being equipped with aligned openings adapted to receive bolt means for removably connecting the clevis to the hoist chain links. The member is equipped with a cylindrical collar journaled thereon between the clevises and providing a rolling bearing against the bucket side.

  7. Environmental geophysics - fad or future?

    SciTech Connect (OSTI)

    Romig, P.R. [Colorado School of Mines, Golden, CO (United States)

    1994-12-31T23:59:59.000Z

    For ten years, the oil industry has suffered cycles of downsizing, out-sourcing, and reorganization. As layoffs and early retirement have become widespread, an increasing number of geophysicists have seen the environmental business as an opportunity to stay in their chosen professions. There have been predictions that the use of geophysics for environmental mapping and characterization could spawn an industry larger than oil exploration. These predictions have come from serious financial analysts as well as from hopeful geophysicists, so they cannot be ignored. There also are reputable professionals who believe that environmentalism is a fad which will die out as soon as the next oil shortage occurs. They point to recent publicity about excessive expenditures for waste remediation as a signal of the beginning of the end. These conflicting views raise serious questions about the form and function of, and the future for, environmental geophysics. This paper reviews these views.

  8. Overview progress and future planOverview progress and future plan EAST project

    E-Print Network [OSTI]

    Overview progress and future planOverview progress and future plan ofof EAST project Yuanxi WanUnique CharacteristicCharacteristic III.III. Future planFuture plan Conten t #12;1997 The project approved by government;workshops with good quality; All magnets has been tested successfully by cooling and charging,All magnets has been

  9. While future changes in emission are the largest uncertainty on future climate change, another

    E-Print Network [OSTI]

    Allan, Richard P.

    specify concentrations and that lead to varying degrees of heating (or cooling) in the future and work outWhile future changes in emission are the largest uncertainty on future climate change, another. Above, the thick lines show different possible future scenarios (Representative Concentration Pathways

  10. Saving for the future self: Neural measures of future self-continuity predict temporal discounting

    E-Print Network [OSTI]

    Knutson, Brian

    Saving for the future self: Neural measures of future self-continuity predict temporal discounting not increased their rate of saving. In a phenomenon known as `temporal discounting', people value immediate and treat the future self differently from the present self, and so might fail to save for their future

  11. Future Use | 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 742 33Frequently20,000 RussianBy: Thomas P. D'Agostino, Undersecretary11-161-LNG |ofFuelOn June

  12. Natural Gas Futures Prices (NYMEX)

    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 CodesTransparency VisitSilver Toyota1Resourceloading new table

  13. Drivers of Future Energy Demand

    Gasoline and Diesel Fuel Update (EIA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 for On-Highway4,1,50022,3,,,,6,1,9,1,50022,3,,,,6,1,Decade Year-0E (2001)gasoline353/06) 2Yonthly Energy :and1. Total3.9Drivers

  14. IM Future | 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 being directedAnnual Siteof Energy 2,AUDIT REPORTEnergyFarms AHefeiHydroenergy Company Ltd Jump to: Jump to:

  15. Status and Future of TRANSCOM

    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 AskedEnergyIssues DOE's NuclearSpurring SolarSystem,Department

  16. Natural Gas Futures Prices (NYMEX)

    U.S. Energy Information Administration (EIA) 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTownDells,1Stocks Nov-14 Dec-14 Jan-15LiquidBG 0 20Year Jan Feb Mar682009 2010

  17. Natural Gas Futures Prices (NYMEX)

    U.S. Energy Information Administration (EIA) 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTownDells,1Stocks Nov-14 Dec-14 Jan-15LiquidBG 0 20Year Jan Feb Mar682009

  18. Natural Gas Futures Prices (NYMEX)

    U.S. Energy Information Administration (EIA) 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro IndustriesTownDells,1Stocks Nov-14 Dec-14 Jan-15LiquidBG 0 20Year Jan Feb

  19. New Mexico Future City Competition

    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 Renewable Energy:Nanowire Solar541,9337, 2011R - 445 CU -StandardsNew MexicoNewNew

  20. Water for future Mars astronauts?

    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 SolStrengthening aTurbulenceUtilizeRural PublicRatesAbout Us >Waste