Sample records for formal comment letter

  1. Comments

    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 1112011AT&T, Inc.'sEnergyTexas1. FeedstockCLEANSprings GetsComment ListingComments by the

  2. Microsoft Word - Cover letter to RRTT-IR-001 Comments.doc

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy ChinaofSchaeferApril 1,(EAC)TABLE OF CONTENTS 1 A.EnergyCR-091 12-1 CHAPTER4II: Comment8,

  3. CA IOUs Comment Letter

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy China U.S. Department ofJune 2,The BigSidingState6 (2-91)A (04-86) (All Previous

  4. Letter from Plumbing Manufacturers Institute to Department of...

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

    Letter from Plumbing Manufacturers Institute to Department of Energy re: Ex Parte Communication More Documents & Publications Supplemental Comments of the Plumbing Manufacturers...

  5. QER- Comment of American Gas Association 2

    Broader source: Energy.gov [DOE]

    Attached please find AGA's comments relating to critical issues facing the natural gas distribution industry, which we believe could be usefully addressed in the first phase of the DOE Quadrennial Energy Review (QER). Our comments as submitted here consist of a cover letter and four additional attachments. My colleague Pam Lacey has previously submitted AGA's comments relating to methane emissions under separate cover.

  6. Final environmental impact statement/report. Volume 4. Comment letters and public hearing transcripts. Northeast corridor improvement project electrication: New Haven, CT to Boston, MA

    SciTech Connect (OSTI)

    NONE

    1994-10-01T23:59:59.000Z

    This document is the final environmental impact statement and final environmental impact report (FEIS/R) on the proposal by the National Railroad Passenger Corporation (Amtrak) to complete the electrification of the Northeast Corridor main line by extending electric traction from New Haven, CT, to Boston, MA. This document (Volume IV) reprints the comments received on the DEIS/R.

  7. QER- Comment of American Gas Association 1

    Broader source: Energy.gov [DOE]

    Attached please find AGA's comments on methane emissions issues in the first phase of the DOE Quadrennial Energy Review (QER), consisting of a cover letter and attachments. Dr. Kathryn Clay will be submitting AGA's comments on other aspects of the QER. Please let me know if you have any questions.

  8. Formal Methods Formalism vs. Verification

    E-Print Network [OSTI]

    Feitelson, Dror

    lights in the room are controlled by a switch" There exists a single switch that controls all lights For each light, there exists a unique switch that controls it #12;Lesser Formal Methods Be precise - Say methods", Computer 41(3), pp. 28-34, Jan 2010 #12;Formal methods are not really being used by industry

  9. Microsoft Word - letter announcing draft contract_attachment...

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

    19 th Letter to the Region Summary of Changes BPA has Made in the Draft Contract in Response to the Public Comment Process on the Alcoa Term Sheet BPA published a term sheet...

  10. Customer Comments

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

    Forum Energy Imbalance Market Meetings Customer Comments Generator Interconnection Reform Implementation Network Integration Transmission Service (NT Service) Network Open...

  11. Comment response document for the Secretary of Energy`s ``Report to Congress on Reassessment of the Civilian Radioactive Waste Management Program``

    SciTech Connect (OSTI)

    NONE

    1990-11-01T23:59:59.000Z

    On November 29, 1989, the Secretary of Energy published his ``Report to Congress on the Reassessment of the Civilian Radioactive Waste Management Program`` (Report), and sent copies to numerous interested parties for their review and comment. This document summarizes comments received on the Report and presents the DOE`s current responses to those comments as a basis for further discussions. Included as appendixes are a list of commenters, a crosswalk showing where each comment is addressed, the comment letters themselves with specific comments delineated, and the DOE`s response to those letters. Twenty-five individuals or organizations submitted comments on the Report. The DOE identified 130 individual comments and classified them into the following seven categories: Management, Institutional, Regulatory, Transportation, Monitored Retrievable Storage, Scheduling, and Yucca Mountain. For the responses, comments were than grouped into more specific topics under each of the major headings. The DOE attempted to respond to all comments.

  12. Comment on ``Discrete Boltzmann Equation for Microfluidics''

    E-Print Network [OSTI]

    Luo, Li-Shi

    Comment on ``Discrete Boltzmann Equation for Microfluidics'' In a recent Letter [1], Li and Kwok use a lattice Boltzmann equation (LBE) for microfluidics. Their main claim is that an LBE model for microfluidics can be constructed based on the ``Bhatnagar-Gross-Kooky [sic]'' model by including ``the

  13. QER- Comment of American Gas Association 3

    Broader source: Energy.gov [DOE]

    Dear Ms. Pickett: Attached please find AGA's comments on natural gas vehicle fueling infrastructure as part of our response to the first phase of the DOE Quadrennial Energy Review (QER), consisting of a cover letter and attachments. Respectfully submitted, Kathryn Clay

  14. Hanford Advisory Board Draft Letter Topic: CRESP Comment letter

    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 EngineHIV andApril 8-9, 2015SeptemberAdvice

  15. Microsoft Word - supplemental comment letter.doc

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently Asked Questions forCheneyNovemberi CONTENTSSTATEMENT OFCONTROLS,MATTHEWSECURITY March

  16. QER- Comment of Lisa Petrie

    Broader source: Energy.gov [DOE]

    To Whom it May Concern: Attached please find my comments for the Quadrennial Energy Review. I attended the meeting and gave the comments orally, but I wasn't able to finish because of the 3-minute time limit, so I'm sending them in written form (with a couple of very small revisions). I'd also like to say that I was disappointed to find that the meeting was poorly publicized, that very few members of the general public or the environmental community were present, and that there were no environmentalists or opponents of the proposed AIM pipeline expansion project among the formal speakers. I sincerely hope that future hearings will be more balanced, in keeping with this Administration's promise of transparent government that's responsive to the needs and concerns of its citizens. Thank you so much for taking the time to read and consider my comments. Respectfully Yours, Lisa Petrie Stay-at-home mom and concerned citizen

  17. Credit for comments, comments for credit

    E-Print Network [OSTI]

    Sommer, Robert

    2007-01-01T23:59:59.000Z

    Send correspondence to Robert Sommer, Psychology Department,Comments, Comments for Credit Robert Sommer and Barbara A.Sommer University of California, Davis Abstract Credit for

  18. FORMED 2008 Formal Methods

    E-Print Network [OSTI]

    Gibson, J. Paul

    - puter science in schools. Formal methods bridge the boundary between computing and mathematics of computer science as a discipline in its own right. We give concrete examples of the type of formal methods formal methods in schools? The current state of mathematics teaching around the world is causing prob

  19. Customer Comments

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

  20. Comment on the Article "Picturing Newton's Formula for "

    E-Print Network [OSTI]

    George, Glyn

    Comment on the Article "Picturing Newton's Formula for " by Hasan Ã?nal Mathematics in School, 2012 letter of 2013 January which invalidates the derivation of the generalised form of Newton's formula, yet: Mathematics in School, 2013 Jan., vol. 42, no. 1, page 39 I enjoyed reading the extension of Newton's formula

  1. Comment on "Quantum bound states with zero binding energy"

    E-Print Network [OSTI]

    Sergio A. Hojman; Dar{\\'?}o Núñez

    1995-10-17T23:59:59.000Z

    The purpose of this Comment is to show that the solutions to the zero energy Schr\\"odinger equations for monomial central potentials discussed in a recently published Letter, may also be obtained from the corresponding free particle solutions in a straight forwardly way, using an algorithm previously devised by us. New solutions to the zero energy Schr\\"odinger equation are also exhibited.

  2. QER- Comment of America's Natural Gas Alliance 1

    Broader source: Energy.gov [DOE]

    Good morning- Please find attached a transmittal letter from Marty Durbin as well as supplemental comments from America’s Natural Gas Alliance on the April 11, 2014 meeting of the Quadrennial Energy Review entitled ‘Enhancing Energy Infrastructure Resiliency and Addressing Vulnerabilities’. Please do not hesitate to contact us with any questions. Thank you very much.

  3. Letter of Interest Example

    Broader source: Energy.gov [DOE]

    Sample letter of interest describes the FEMP Call for Technical Services for American Recovery and Reinvestment Act funds.

  4. Initial Northwest Power Act Power Sales Contracts : Final Environmental Impact Statement. Volume 4, Comments and Responses.

    SciTech Connect (OSTI)

    United States. Bonneville Power Administration.

    1992-01-01T23:59:59.000Z

    This volume of the Initial Northwest Power Act Power Sales Contracts Final Environmental Impact Statement (Final EIS) contains public comments addressing the Initial Northwest Power Act Power Sales Contracts Draft EIS, August 1990 and Bonneville Power Administration`s (BPA) responses. The Introduction provides information about the process BPA follows in addressing these comments. Part I contains a listing of the Alternative Actions evaluated in the Final EIS; Part II is organized by Alternatives and includes summaries of the comments and BPA responses; Part III provides copies of the original comments letters, and, for ease of identification, are coded in the margins according to the alternative(s) addressed.

  5. Response to the comment by N. Severijns, O. Zimmer, H.-F. Wirth and D. Rich regarding article "Observation of the neutron radiative decay" in JETP Letters 83(1) p.5

    E-Print Network [OSTI]

    R. U. Khafizov; V. A. Solovei; a; b

    2006-08-20T23:59:59.000Z

    We wouldn't like to bring up discrimination, but the tone of the commentary, which does not contain any science-based criticism or any alternative suggestions, does make one think of an unduly disrespectful attitude both towards the Russian participants and the project on radiative neutron decay itself. Here we cite our response to the commentary of our Western collaborants to the article printed in JETP Letters 83(1) p.5. We remain firm in the positions published in this article. In our last experiment we measured the relative intensity of radiative neutron decay (B.R.=(3.2+-1.6) 10-3 with C.L.=99.7% and lower energy limit of radiative gamma-quanta measured equal to 35 KeV) .

  6. Acquisition letter No. AL 2015-05 | 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 1112011AT&T, Inc.'s Reply Comments AT&T, SENSI NOT27 Acquisition Letter No.letter No. AL

  7. Search Comments

    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 Sol HomeFacebook TwitterSearch-Comments Sign In About | Careers | Contact |

  8. Customer Comments

    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 DepartmentInnovation PortalCustomer-Comments Sign

  9. Customer Comments

    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 DepartmentInnovation PortalCustomer-Comments

  10. Customer Comments

    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 DepartmentInnovationCustomerComments Sign In About |

  11. Customer Comments

    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 DepartmentInnovationCustomerComments Sign In About

  12. Customer Comments

    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 DepartmentInnovationCustomerComments Sign In

  13. Customer Comments

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

  14. Customer Comments

    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 DepartmentInnovationCustomerComments

  15. Customer Comments

    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 likeConstitution4Customer-Comments Sign In About | Careers | Contact |

  16. QER- Comment of American Natural Gas Association- FWD by John Richards

    Broader source: Energy.gov [DOE]

    John - We thought the attached might be helpful in framing things. We will of course consider submitting formal comments following the event and review of the transcript but thought the attached information might be helpful in the interim.

  17. Reply to "Comment on 'Piezonuclear decay of thorium' [Phys. Lett. A 373 (2009) 1956]" by L. Kowalski

    E-Print Network [OSTI]

    F. Cardone; R. Mignani; A. Petrucci

    2009-11-19T23:59:59.000Z

    In a paper appearing in this issue of Physics Letters A, Kowalski raises some critical comments on the experiment [F. Cardone, R. Mignani, A. Petrucci, Phys. Lett. A 373 (2009) 1956] that we carried out by cavitating a solution of thorium-228. The experiment highlighted the anomalous decay of thorium, thus confirming the results previously obtained by Urutskoev et al. by explosion of titanium foils in solutions. In this Letter, we reply to these comments. We agree with Kowalski that critical comments are one of the key factors of the process to improve the quality of experiments and the interpretation of results. However we do hope that these comments together with the details provided in the replies will promote further and better experiments which are certainly worth performing in order to shed a brighter light on this issue, as Kowalski himself suggests in his comment.

  18. QER- Comment of WIRES

    Broader source: Energy.gov [DOE]

    Attached please find the components of WIRES Comment to the QER. Please direct any questions to Jim Hoecker, below.

  19. Comment on "Accelerating cosmological expansion from shear and bulk viscosity"

    E-Print Network [OSTI]

    Giovannini, Massimo

    2015-01-01T23:59:59.000Z

    In a recent Letter [Phys. Rev. Lett. 114 091301 (2105)] the cause of the acceleration of the present Universe has been identified with the shear viscosity of an imperfect relativistic fluid even in the absence of any bulk viscous contribution. The gist of this comment is that the shear viscosity, if anything, can only lead to an accelerated expansion over sufficiently small scales well inside the Hubble radius.

  20. EM SSAB Recommendations & Letters | Department of Energy

    Office of Environmental Management (EM)

    and Letters - 2014-05 Included recommendations, letters, and other related materials. September 30, 2014 EM SSAB Recommendations and Letters - 2014-04 Included...

  1. Inducing Letter-by-letter Dyslexia in Normal Readers Daniel Fiset1

    E-Print Network [OSTI]

    Gosselin, Frédéric

    Inducing Letter-by-letter Dyslexia in Normal Readers Daniel Fiset1 , Fre´de´ric Gosselin1 , Caroline Blais1 , and Martin Arguin1,2 Abstract & Letter-by-letter (LBL) dyslexia is an acquired reading. Sequential and parallel letter processing in letter-by-letter dyslexia. Cogni- tive Neuropsychology, 19, 535

  2. CRA Comments & Responses

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

    - High-Level Liquid Waste (51105) 11 Response to CRA Comments (92005) Enclosure 1 - Computer Code VerificationTesting (92005) Inventory and Performance Assessment Reports...

  3. SPPR Project Customer Comments Summary

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

    DSW. The transfer capability provided by the project would allow delivery from a new solar generation facility to the Palo Verde Hub. Previous Meetings' Comments: Comments...

  4. QER- Comment of James Bennett

    Broader source: Energy.gov [DOE]

    Hello, The notice for the April 21 meeting was too short. The April 15 letter just found its way to me. I hope that there will be more such focused meetings in the not too distant future. If possible, please add me to your notification email list for such meetings. Comments: There is increasing conern over the routing and purpose of additional Natural Gas Pipelines in Massachusetts. There is skepticism that the pipelines will be used for export and that the any improvement in the Energy supply for New England will be shortlived due to a rapid depletion of reserves. In other words, why tear up the landscape with little benefit to the region. If the pipelines are contructed, can a restraint be placed on them to prevent export? Have the impacts of leaks and fires been properly considered? New England has heavily forrested areas and we have been having more frequent exteremly dry summers. At least one pipeline route has been suggested that would run through large wooded areas. A pipeline initiated fire would be devestating. Sincerely, Jim Bennett

  5. Microsoft Word - DOE Comment Letter.FINAL.doc

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently Asked Questions forCheneyNovember S. DEPARTMENTthe UseCR-091April 6, 2015/ 6 GEORGETOWN

  6. Microsoft Word - response public comments letters1.doc

    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 Your1 SECTION A. Revised:7, at 3:00 pm Form EIA-457AofKen

  7. Public Comments on the proposed 10 CFR Part 51 rule for renewal of nuclear power plant operating licenses and supporting documents: Review of concerns and NRC staff response. Appendices

    SciTech Connect (OSTI)

    NONE

    1996-05-01T23:59:59.000Z

    This volume contains several appendices. Appendix A contains the list of individuals and organizations providing comments at various stages of the rulemaking process. The names of commenters at the public meetings are listed in the order that they spoke at the meeting; those who submitted written comments are listed by docket number. Appendix B contains the summaries of comments made. Each comment summary is identified by a unique comment number. Appendix C presents the concerns and NRC staff responses. Each concern embodies one or more comments on similar or related issues. The associated comment numbers are referenced for each concern. The concerns are organized by topic areas. A three-letter identifier for the topic, followed by a number, is assigned to each concern.

  8. Acquisition Letter No. AL 2014-07 | 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 1112011AT&T, Inc.'s Reply Comments AT&T, SENSI NOT27 Acquisition Letter No. AL 2014-07

  9. Acquisition Letter No. AL 2015-07 | 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 1112011AT&T, Inc.'s Reply Comments AT&T, SENSI NOT27 Acquisition Letter No. AL

  10. Audit Letter Report: OAS-L-10-02

    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 from TarasaName Affiliation Ahern,5 Audit Letter

  11. Audit Letter Report: OAS-L-09-17 | 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 from TarasaName Affiliation Ahern,5 Audit Letter Report:Letter

  12. Audit Letter Report: OAS-RA-L-10-01 | 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 from TarasaName Affiliation Ahern,5 Audit LetterLetter Report:

  13. Audit Letter Report: OAS-RA-L-10-03 | 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 from TarasaName Affiliation Ahern,5 Audit LetterLetter

  14. DOE Hydrogen Transition Analysis Workshop Discussion Comments...

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

    Workshop Discussion Comments, Questions, and Action Items DOE Hydrogen Transition Analysis Workshop Discussion Comments, Questions, and Action Items Discussion comments, questions,...

  15. Comment on "How the result of a single coin toss can turn out to be 100 heads"

    E-Print Network [OSTI]

    Lev Vaidman

    2014-09-18T23:59:59.000Z

    In a recent Letter [PRL 113, 120404 (2014)] Ferrie and Combes claimed to show "that weak values are not inherently quantum, but rather a purely statistical feature of pre- and post-selection with disturbance." In this Comment I will show that this claim is not valid. It follows from Ferrie and Combes misunderstanding of the concept of weak value.

  16. Response to Review Comments

    E-Print Network [OSTI]

    Kota, S.; Haberl, J.S.; Clayton, M.; Yan, W.

    to discuss any further issues with the editor and the reviewers. Review Comments: The paper is useful in facilitating daylighting simulation: the developed prototype realized automatic building data transfer from Revit to Radiance and Daysim... the geometry information is compared before/after transfer from Revit to Radiance, not the material information. To address this comment, the following description is added to Section X on page Y: “ ESL-PA-14-07-04 ” 4 The authors should pay more...

  17. Topics for letter "s" | EMSL

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

    Development Lab Quiet Wing RadEMSL Virtual Tour Topics for letter "s" samples scale scanning scanning electron microscope scanning probe scanning tunneling microscopy...

  18. EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________

    E-Print Network [OSTI]

    Bolding, M. Chad

    Rev. 10/04 EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________ (Family Name) (First) (Middle Initial) TO BE COMPLETED BY EMPLOYER OR HIRING DEPARTMENT: Employment Department__________________________________________________ Employment Position

  19. Topics for letter "c" | EMSL

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

    Wing RadEMSL Virtual Tour Topics for letter "c" carbon carbon cycling carbon dioxide carbon sequestration Cascade catalysis catalytic reaction cation migration chemical...

  20. Topics for letter "W" | EMSL

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

    Virtual Tour Topics for letter "W" W-band pulsed EPR spectrometer Washington State Academy of Sciences Washington State University waste storage water water cycling Wiley Wiley...

  1. Topics for letter "p" | EMSL

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

    Wing RadEMSL Virtual Tour Topics for letter "p" particles patents physics plants pollution polymers pore scale postdoc postdocs postdoctoral Postdoctoral Opportunities...

  2. Summary of comments received from workshops on radiological criteria for decommissioning

    SciTech Connect (OSTI)

    Caplin, J.; Page, G.; Smith, D.; Wiblin, C. [Advanced Systems Technology, Inc., Atlanta, GA (United States)

    1994-01-01T23:59:59.000Z

    The Nuclear Regulatory Commission (NRC) is conducting an enhanced participatory rulemaking to establish radiological criteria for site cleanup and decommissioning of NRC-licensed facilities. Open public meetings were held during 1993 in Chicago, IL, San Francisco, CA, Boston, MA, Dallas, TX, Philadelphia, PA, Atlanta, GA, and Washington, DC. Interested parties were invited to provide input on the rulemaking issues before the NRC staff develops a draft proposed rule. This report summarizes 3,635 comments categorized from transcripts of the seven workshops and 1,677 comments from 100 NRC docketed letters from individuals and organizations. No analysis or response to the comments is included. The comments reflect a broad spectrum of viewpoints on the issues related to radiological criteria for site cleanup and decommissioning. The NRC also held public meetings on the scope of the Generic Environmental Impact Statement (GEIS) during July 1993. The GEIS meetings were held in Washington, DC., San Francisco, CA, Oklahoma City, OK, and Cleveland, OH. Related comments from these meetings were reviewed and comments which differed substantially from those from the workshops are also summarized in the body of the report. A summary of the comments from the GEIS scoping meetings is included as an Appendix.

  3. MNDR Comments Response and Letter: Missouri Nepartment of Natural Resources Comments on Interim Response Actions (IRAs).

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA group currentBradleyTableSelling CorpNewCF INDUSTRIES,L? .-IGYS,:?' _.J

  4. Dual axis radiographic hydrodynamic test facility. Final environmental impact statement, Volume 2: Public comments and responses

    SciTech Connect (OSTI)

    NONE

    1995-08-01T23:59:59.000Z

    On May 12, 1995, the U.S. Department of Energy (DOE) issued the draft Dual Axis Radiographic Hydrodynamic Test Facility Environmental Impact Statement (DARHT EIS) for review by the State of New Mexico, Indian Tribes, local governments, other Federal agencies, and the general public. DOE invited comments on the accuracy and adequacy of the draft EIS and any other matters pertaining to their environmental reviews. The formal comment period ran for 45 days, to June 26, 1995, although DOE indicated that late comments would be considered to the extent possible. As part of the public comment process, DOE held two public hearings in Los Alamos and Santa Fe, New Mexico, on May 31 and June 1, 1995. In addition, DOE made the draft classified supplement to the DARHT EIS available for review by appropriately cleared individuals with a need to know the classified information. Reviewers of the classified material included the State of New Mexico, the U.S. Environmental Protection Agency, the Department of Defense, and certain Indian Tribes. Volume 2 of the final DARHT EIS contains three chapters. Chapter 1 includes a collective summary of the comments received and DOE`s response. Chapter 2 contains the full text of the public comments on the draft DARHT EIS received by DOE. Chapter 3 contains DOE`s responses to the public comments and an indication as to how the comments were considered in the final EIS.

  5. QER- Comment of Diane Cray

    Broader source: Energy.gov [DOE]

    Good afternoon, Would it be possible to get a list of presenters and their written comments on meeting agenda?

  6. Formal Requirements Engineering: Learning from the students

    E-Print Network [OSTI]

    Gibson, J. Paul

    Formal Requirements Engineering: Learning from the students J. Paul Gibson, Department of Computer engineering using formal methods, where we advo- cate a multiple methods approach in which students get requirements engineering rather than become experts in one particular (formal) method. The need for formality

  7. Nuclear Safety Enforcement Letter issued to Sandia Corporation...

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

    Enforcement Letter issued to Sandia Corporation Nuclear Safety Enforcement Letter issued to Sandia Corporation 9222014 Enforcement Letter, Sandia Corporation, September 22, 2014...

  8. Summary of comments received on staff draft proposed rule on radiological criteria for decommissioning

    SciTech Connect (OSTI)

    Caplin, J.; Page, G.; Smith, D.; Wiblin, C. [Advanced Systems Technology, Inc., Rockville, MD (United States)

    1994-08-01T23:59:59.000Z

    The Nuclear Regulatory Commission (NRC) is conducting an enhanced participatory rulemaking to establish radiological criteria for the decommissioning of NRC licensed facilities. The NRC obtained comments on the scope, issues, and approaches through a series of workshops (57 FR 58727), Generic Environmental Impact Statement (GEIS) scoping meetings (58 FR 33570), a dedicated electronic bulletin board system (58 FR 37760), and written submissions. A summary of workshop and scope-meeting comments was published as NUREG/CR-6156. On February 2, 1994, the Commission published in the Federal Register (59 FR 4868) a notice that the NRC staff had prepared a ``staff draft`` proposed rule on radiological criteria for decommissioning. Copies of the staff draft were distributed to the Agreement States, participants in the earlier meetings, and other interested parties for comment. This report summarizes the comments identified from the 96 docketed letters received on the staff draft. No analysis or response is included in this report. The comments reflect a broad spectrum of viewpoints. Two subjects on which the commenters were in general agreement were (1) that the enhanced participatory rulemaking should proceed, and (2) that the forthcoming GEIS and guidance documents are needed for better understanding of the draft rule.

  9. RICAP-07: Summary comments

    E-Print Network [OSTI]

    Thomas K. Gaisser

    2008-01-29T23:59:59.000Z

    The Roma International Conference on Astroparticle Physics covered gamma-ray astronomy, air shower experiments and neutrino astronomy on three successive days. I organize my brief summary comments into four topics that cut across these three techniques. They are detector calibration, galactic sources, extra-galactic sources and cosmology.

  10. EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________

    E-Print Network [OSTI]

    Bolding, M. Chad

    Rev. 10/04 EMPLOYMENT VERIFICATION LETTER Student's Name: ________________________________________________________ (Family Name) (First) (Middle Initial) TO BE COMPLETED BY EMPLOYER OR HIRING DEPARTMENT: Employment Department_ Clemson University ________________________________ Employment Posn Title

  11. CFL Manufacturers: ENERGY STAR Letters

    Broader source: Energy.gov [DOE]

    DOE issued letters to 25 manufacturers of compact fluorescent lamps (CFLs) involving various models after PEARL Cycle 9 testing indicated that the models do not meet the ENERGY STAR specification and, therefore, are disqualified from the ENERGY STAR Program.

  12. Hyperspherical harmonic formalism for tetraquarks

    E-Print Network [OSTI]

    J. Vijande; N. Barnea; A. Valcarce

    2006-10-11T23:59:59.000Z

    We present a generalization of the hyperspherical harmonic formalism to study systems made of quarks and antiquarks of the same flavor. This generalization is based on the symmetrization of the $N-$body wave function with respect to the symmetric group using the Barnea and Novoselsky algorithm. Our analysis shows that four-quark systems with non-exotic $2^{++}$ quantum numbers may be bound independently of the quark mass. $0^{+-}$ and $1^{+-}$ states become attractive only for larger quarks masses.

  13. Outreach Letter Template for Clean Cities Coordinators Promoting...

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

    Letter Template for Clean Cities Coordinators Promoting the Workplace Charging Challenge ccoutreachlettertemplate-final.docx More Documents & Publications Outreach Letter...

  14. Verifica Formale Generazione Automatica di Test

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Verifica Formale Testing Generazione Automatica di Test Analisi Sperimentale Conclusioni Generazione Automatica di Test per Analisi di Copertura di Software Safety Critical utilizzando Bounded Model maggio 2011 M.Narizzano #12;Verifica Formale Testing Generazione Automatica di Test Analisi Sperimentale

  15. Microsoft Word - CLWR scoping Comment

    National Nuclear Security Administration (NNSA)

    Impact Statement for the Production of Tritium in a Commercial Light Water Reactor U.S. Department of Energy National Nuclear Security Administration Written Comment Form Must be...

  16. QER- Comment of Elaine Mroz

    Broader source: Energy.gov [DOE]

    Elaine Mroz Quadrennial Energy Review: Comment on the Public Meetings ‘‘Infrastructure Restraints- New England” held April 21, 2014, in Providence, RI and Hartford, CT. Please see attached file.

  17. QER- Comment of Dakota Resource Council

    Broader source: Energy.gov [DOE]

    Attached are comments from the Dakota Resource Council, a membership-based organization of North Dakotans. Thank you for the opportunity to comment on the Infrastructure Constraints.

  18. QER- Comment of Honda Motor Co., Inc.

    Broader source: Energy.gov [DOE]

    Quadrennial Energy Review : Comment on the Public Meeting “Enhancing Infrastructure Resiliency,” Held April 11, 2014, - Please provide link to where public comments are available.

  19. Letters of Outreach to Partner Communities

    Broader source: Energy.gov [DOE]

    Letters of Outreach to Partner Communities, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  20. Formal Semantics, Compilation and Execution of the GALS

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    programming, dynamic reconfiguration, weak mobility, formal model of computation, semantics, CSP, -calculus only a partial formal semantics. We believe that formal semantics is essential for faithful compilation

  1. Comments received on proposed rule on radiological criteria for decommissioning and related documents

    SciTech Connect (OSTI)

    Page, G.; Caplin, J.; Smith, D. [and others

    1996-03-01T23:59:59.000Z

    The Nuclear Regulatory Commission (NRC) is conducting an enhanced participatory rulemaking to establish radiological criteria for the decommissioning of NRC-licensed facilities. As a part of this action, the Commission published in the Federal Register (59 FR 43200), on August 22, 1994, a proposed rule on radiological criteria for decommissioning, soliciting comments both on the rule as proposed and on certain specific items as identified in its supplementary statement of considerations. A draft Generic Environmental Impact Statement (GEIS) in support of the rule, also published in August 1994 as NUREG-1496, along with its Appendix A (NUREG-1501), were also made available for comment. A staff working draft on regulatory guidance (NUREG-1500)was also made available. This report summarizes the 1,309 comments on the proposed rule and supplementary items and the 311 comments on the GEIS as excerpted from 101 docketed letters received associated in the Federal/Register notice. Comments from two NRC/Agreement-States meetings are also summarized.

  2. QER- Comment of Governors' Wind Energy Coalition

    Broader source: Energy.gov [DOE]

    Attached please find the Governors' Wind Energy Coalition's comments on the QER. Thank you. Larry Pearce

  3. QER- Comment of Northeast Gas Association

    Broader source: Energy.gov [DOE]

    Please find enclosed comments of the Northeast Gas Association regarding the Quadrennial Energy Review. Thank you.

  4. COMMENTS | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy China U.S. Department ofJune 2,The BigSidingState6Report,COMMENTS ON BEHALF OF INGAA

  5. COMMENTS | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy China U.S. Department ofJune 2,The BigSidingState6Report,COMMENTS ON BEHALF OF

  6. COMMENTS | 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 Removal OngoingCERCLA SitesCHICAGOof EnergyCOMMENTS�

  7. Understanding, formal verification, and the philosophy of mathematics

    E-Print Network [OSTI]

    Avigad, Jeremy

    helpful comments from Andrew Arana, Alan Baker, Karine Chemla, Evelyn Fox Keller, Paolo Mancosu, and Marco

  8. Audit Letter Report: OAS-L-09-15 | 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 from TarasaName Affiliation Ahern,5 Audit Letter Report:

  9. Auidit Letter Report: OAS-L-09-08 | 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 from TarasaName4ServicesTribal Renewable EnergyAuidit Letter

  10. Comments on the Request for Information on Improving Performance...

    Energy Savers [EERE]

    Comments from PNM Resources, sent October 29, 2013 Comments from the Arizona Game and Fish Department, sent October 29, 2013 Comments from Minnesota Power, sent October 30, 2013...

  11. Survey of Existing Tools for Formal Verification.

    SciTech Connect (OSTI)

    Punnoose, Ratish J.; Armstrong, Robert C.; Wong, Matthew H.; Jackson, Mayo

    2014-12-01T23:59:59.000Z

    Formal methods have come into wide use because of their effectiveness in verifying %22safety and security%22 requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.

  12. engineering LETTER FROM THE DEAN

    E-Print Network [OSTI]

    Hone, James

    exploring columbia engineering majors #12;LETTER FROM THE DEAN Making a decision about your engineering or applied science major can seem like a daunting dilemma, but, with the right approach. Although engineering is a global, interdisciplinary field, once you choose your major, it will set you

  13. Mechanical formalism for tissue dynamics

    E-Print Network [OSTI]

    Sham Tlili; Cyprien Gay; Francois Graner; Philippe Marcq; François Molino; Pierre Saramito

    2014-12-23T23:59:59.000Z

    The understanding of morphogenesis in living organisms has been renewed by tremendous progress in experimental techniques that provide access to cell-scale, quantitative information both on the shapes of cells within tissues and on the genes being expressed. This information suggests that our understanding of the respective contributions of gene expression and mechanics, and of their crucial entanglement, will soon leap forward. Biomechanics increasingly benefits from models, which assist the design and interpretation of experiments, point out the main ingredients and assumptions, and ultimately lead to predictions. The newly accessible local information thus calls for a reflection on how to select suitable classes of mechanical models. We review both mechanical ingredients suggested by the current knowledge of tissue behaviour, and modelling methods that can help generate a rheological diagram or a constitutive equation. We distinguish cell scale ("intra-cell") and tissue scale ("inter-cell") contributions. We recall the mathematical framework developped for continuum materials and explain how to transform a constitutive equation into a set of partial differential equations amenable to numerical resolution. We show that when plastic behaviour is relevant, the dissipation function formalism appears appropriate to generate constitutive equations; its variational nature facilitates numerical implementation, and we discuss adaptations needed in the case of large deformations. The present article gathers theoretical methods that can readily enhance the significance of the data to be extracted from recent or future high throughput biomechanical experiments.

  14. QER- Comment of Emily Crowell

    Broader source: Energy.gov [DOE]

    One of the Senator’s constituents dropped off comments that she wanted to pass along to your office re: the QER public meeting. For your records her contact information is below:

  15. Formally Analyzing Adaptive Flight Control Ashish Tiwari

    E-Print Network [OSTI]

    Tiwari, Ashish

    tiwari@csl.sri.com Abstract. We formally verify a direct model-reference adaptive control (MRAC) method adaptive flight control. The main source of our model is [8] and [1]. The high-level architectureFormally Analyzing Adaptive Flight Control Ashish Tiwari SRI International Menlo Park, CA 94025

  16. Formal Specification and Verification of Concurrent

    E-Print Network [OSTI]

    Berry, Daniel M.

    Formal Specification and Verification of Concurrent ProgramsCurriculum Module SEI-CM-27-1.0 #12;Formal Specification and Verification of Concurrent Programs SEI Curriculum Module SEI-CM-27-1.0 February 1993 Daniel M. Berry Technion and Software Engineering Institute Software Engineering Institute

  17. Multiverse in the Third Quantized Formalism

    E-Print Network [OSTI]

    Faizal, Mir

    2014-01-01T23:59:59.000Z

    In this paper we will analyze the third quantization of gravity in path integral formalism. We will use the time-dependent version of Wheeler-DeWitt equation to analyze the multiverse in this formalism. We will propose a mechanism for baryogenesis to occurs in the multiverse, without violating the baryon number conservation.

  18. Multiverse in the Third Quantized Formalism

    E-Print Network [OSTI]

    Mir Faizal

    2014-07-16T23:59:59.000Z

    In this paper we will analyze the third quantization of gravity in path integral formalism. We will use the time-dependent version of Wheeler-DeWitt equation to analyze the multiverse in this formalism. We will propose a mechanism for baryogenesis to occurs in the multiverse, without violating the baryon number conservation.

  19. Leucascandrolide A: A Second Generation Formal Synthesis

    E-Print Network [OSTI]

    Williams, David R.

    Leucascandrolide A: A Second Generation Formal Synthesis David R. Williams,* Samarjit Patnaik, Indiana 47405-7102 williamd@indiana.edu Received October 23, 2003 ABSTRACT A convergent, second generation formal synthesis of (+)-Leucascandrolide A (1) has been efficiently achieved by providing a flexible

  20. Enforcement Letter, Parsons Technology Development & Fabrication...

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

    Technology Development & Fabrication Complex - April 13, 2010 Enforcement Letter, Parsons Technology Development & Fabrication Complex - April 13, 2010 April 13, 2010 Issued to...

  1. NNSA Policy Letter: NAP-4B

    National Nuclear Security Administration (NNSA)

    V. REFERENCES: NNSA Policy Letter BOP-003.0501, "Deviation to DEAR 970.1504 Contract Pricing, and associated 970.521 5 clauses." Administrator National Nuclear Security...

  2. Enforcement Letter, Westinghouse Savannah River Company - November...

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

    Savannah River Site On November 14, 2003, the U.S. Department of Energy (DOE) issued a nuclear safety Enforcement Letter to Westinghouse Savannah River Company related to...

  3. POLICY GUIDANCE MEMORANDUM #29 Employment Offers Letters Performance...

    Energy Savers [EERE]

    9 Employment Offers Letters Performance Management POLICY GUIDANCE MEMORANDUM 29 Employment Offers Letters Performance Management This memorandum is to ensure compliance with DOE...

  4. Policy Flash 2014-29 Acquisition Letter 07 - Benchmark Compensation...

    Office of Environmental Management (EM)

    Letter 07 - Benchmark Compensation Amount for Individual Executive Salary Actions Policy Flash 2014-29 Acquisition Letter 07 - Benchmark Compensation Amount for Individual...

  5. LETTER TO SUCCESSFUL COMPANY OR ESCO | Department of Energy

    Office of Environmental Management (EM)

    SUCCESSFUL COMPANY OR ESCO LETTER TO SUCCESSFUL COMPANY OR ESCO Document features a letter template and sample to help Federal agencies inform an energy services company (ESCO)...

  6. ESPC ENABLE PRELIMINARY LETTER TO UNSUCCESSFUL ESCO OFFERORS...

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

    PRELIMINARY LETTER TO UNSUCCESSFUL ESCO OFFERORS GUIDE AND TEMPLATE ESPC ENABLE PRELIMINARY LETTER TO UNSUCCESSFUL ESCO OFFERORS GUIDE AND TEMPLATE Document describes the...

  7. LETTER TO UNSUCCESSFUL COMPANY OR ESCO | Department of Energy

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

    UNSUCCESSFUL COMPANY OR ESCO LETTER TO UNSUCCESSFUL COMPANY OR ESCO Document features a letter template and sample to help Federal agencies inform energy service companies (ESCOs)...

  8. Enforcement Letter, Babcock & Wilcox Technical Services Y-12...

    Energy Savers [EERE]

    Enforcement Letter, Babcock & Wilcox Technical Services Y-12, LLC - July 10, 2009 Enforcement Letter, Babcock & Wilcox Technical Services Y-12, LLC - July 10, 2009 July 10, 2009...

  9. QER- Comment of Berkshire Environmental Action Team

    Broader source: Energy.gov [DOE]

    Dear members of the Quadrennial Energy Review Task Force, Please find attached comments from the Berkshire Environmental Action Team, Inc. (BEAT) regarding the proposed natural gas pipeline expansion. Thank you for considering our comments.

  10. QER- Comment of Geotherman Energy Association (GEA)

    Broader source: Energy.gov [DOE]

    Hi the Geothermal Energy Association would like to submit the attached comments for the 2014 QER process. Thanks,

  11. QER- Comment of National Resource Defense Council

    Broader source: Energy.gov [DOE]

    Please accept this paper as a comment into the QER record on siting energy and transmission resources.

  12. QER- Comment of Institute for Energy Research

    Broader source: Energy.gov [DOE]

    The Institute for Energy Research would like to submit a comment for the DOE's Quadrennial Energy Review. You will find the comment attached, and we would like to be listed as: Institute for Energy Research 1155 15th St Nw, Suite 1900 Washington, D.C. 20005 Thank you for the opportunity to comment!

  13. Formalisms for IT Management Process Representation

    E-Print Network [OSTI]

    , they apply suggestions and best practices found in document collections like the eTOM or the ITIL. Formal without human interaction. For ITIL, candidates include parts of the service support processes, e.g. parts

  14. NASA/TM2009215726 Formally Verified Practical

    E-Print Network [OSTI]

    Butler, Ricky W.

    Hanover, MD 21076­1320 #12;NASA/TM­2009­215726 Formally Verified Practical Algorithms For Recovery From) National Technical Information Service (NTIS) 7115 Standard Drive 5285 Port Royal Road Hanover, MD 21076

  15. Formal Semantics for Interacting UML subsystems

    E-Print Network [OSTI]

    Jurjens, Jan

    or attack need to exclude possible weaknesses. Problem: correctness in conflict with cost. Thorough methods, substates, internal activities. Here: simplified. Jan J¨urjens, TU Munich: Formal Semantics for Interacting

  16. A formal ontology for industrial maintenance

    E-Print Network [OSTI]

    Boyer, Edmond

    strategies (preventive maintenance, predictive maintenance, corrective maintenance), to managing operators1 A formal ontology for industrial maintenance Authors: 1- Dr. Mohamed Hedi KARRAY, LGP The rapid advancement of information and communication technologies has resulted in a variety of maintenance

  17. A Formal Model of Auditor Independence Risk

    E-Print Network [OSTI]

    Turner, Jerry L.; Mock, Theodore J.; Srivastava, Rajendra P.

    2002-01-01T23:59:59.000Z

    Although the published literature on auditor independence is extensive, an accepted comprehensive theory, framework or model of auditor independence risk does not exist. This paper develops a formal model of auditor ...

  18. Formal Specification of Operating System Operations

    E-Print Network [OSTI]

    Black, Paul E.

    and Engineering Florida Atlantic University Boca Raton, FL 33431 dan@cse.fau.edu Paul E. Black National (1987)]* *. Formal spec- ifications enables us to describe OS policies clearly and precisely. It also

  19. Formal Specification of Operating System Operations

    E-Print Network [OSTI]

    Black, Paul E.

    and Engineering Florida Atlantic University Boca Raton, FL 33431 dan@cse.fau.edu Paul E. Black National Institute system se­ curity policies in the higher­order logic theorem prover, HOL98 [Gordon (1987)]. Formal spec

  20. Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes

    E-Print Network [OSTI]

    Moeller, Ralf

    Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes Sofia be formally derived using abduction over domain knowledge represented in an ontology. The approach uses rules, and formalizes the multimedia interpretation process using a combined abduction and deduction

  1. FORMAL HERMENEUTICS BASED ON FREGE DUALITY Oleg Prosorov

    E-Print Network [OSTI]

    Prosorov, Oleg B.

    FORMAL HERMENEUTICS BASED ON FREGE DUALITY Oleg Prosorov Steklov Institute of Mathematics, St interpretation theory called formal hermeneutics in our previous works (1997, 2001, 2002, 2003, 2004, our formal hermeneutics intends to reveal the mathematical structures that underlie the natural

  2. Universiteitsbibliotheek Utrecht Appendix G1 MODEL LETTERS

    E-Print Network [OSTI]

    Utrecht, Universiteit

    Universiteitsbibliotheek Utrecht Appendix G1 MODEL LETTERS In order to request permission's Office Academiegebouw (University Hall) Domplein 29 3512 JE Utrecht Tel 0031 - (0)30 -253 8259 #12;Universiteitsbibliotheek Utrecht Model Letter 1 Permission of the publisher to incorporate the doctoral thesis

  3. Pergamon Tetrahedron Letters 0 (1999) 15 TETRAHEDRON

    E-Print Network [OSTI]

    Shelnutt, John A.

    1999-01-01T23:59:59.000Z

    Pergamon Tetrahedron Letters 0 (1999) 1­5 TETRAHEDRON LETTERS Novel dodecaarylporphyrins: synthesis An investigation of the synthesis of dodecaarylporphyrins using the Suzuki coupling reaction of arylboronic acids appropriately substituted pyrroles. Recently, Chan et al.11 reported the application of the Suzuki coupling

  4. Letter from Commonwealth of Virginia to ENSR International Detailing...

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

    ENSR International Detailing Responses to Comments made Concerning the Modified Protocol for Downwash Modeling-Mirant Potomac River, LLC. The comments are addressed for the most...

  5. Enforcement Letters | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page onYouTube YouTube Note: Since the YouTube|6721 FederalTexas Energyof 2005 atDepartment of Energy April14Letters

  6. Comments on "Microscale flow visualization"

    E-Print Network [OSTI]

    A. Kwang-Hua Chu

    2005-10-22T23:59:59.000Z

    We make comments on the presentation of Sinton's paper (Microfluidics and Nanofluidics {\\bf 1}: 2, 2004) about the microscale flow visualization since the effects of the roughness along the microfabricated wall upon the current macroflow visualization methods could be significant and cannot be neglected in microdomain and even nanodomain.

  7. QER- Comment of Southern Company

    Broader source: Energy.gov [DOE]

    Southern Company Services, Inc., as agent for Alabama Power Company, Georgia Power Company, Gulf Power Company, and Mississippi Power Company, (collectively, “Southern Companies”), are pleased to hereby provide their comments to the Department of Energy as it prepares the Quadrennial Energy Review. If there is anything else that we can do in this regard, please feel free to contact us.

  8. QER- Comment of Mitsubishi Electric

    Broader source: Energy.gov [DOE]

    Dear Karen: On behalf of Brian Heery, president and CEO of Mitsubishi Electric Power Products, attached are comments regarding the Quadrennial Energy Review. As a US-based manufacturer of large transformers and other energy infrastructure technologies, we welcome the opportunity to meet with you on issues affecting the Nation’s transmission grid.

  9. Thermodynamic formalism of water uptakes on solid porous adsorbents for adsorption cooling applications

    SciTech Connect (OSTI)

    Sun, Baichuan; Chakraborty, Anutosh, E-mail: AChakraborty@ntu.edu.sg [School of Mechanical and Aerospace Engineering, Nanyang Technological University, 50 Nanyang Avenue, Singapore 639798 (Singapore)

    2014-05-19T23:59:59.000Z

    This Letter presents a thermodynamic formulation to calculate the amount of water vapor uptakes on various adsorbents such as zeolites, metal organic frameworks, and silica gel for the development of an advanced adsorption chiller. This formalism is developed from the rigor of the partition distribution function of each water vapor adsorptive site on adsorbents and the condensation approximation of adsorptive water molecules and is validated with experimental data. An interesting and useful finding has been established that the proposed model is thermodynamically connected with the pore structures of adsorbent materials, and the water vapor uptake highly depends on the isosteric heat of adsorption at zero surface coverage and the adsorptive sites of the adsorbent materials. Employing the proposed model, the thermodynamic trends of water vapor uptakes on various adsorbents can be estimated.

  10. Letter

    E-Print Network [OSTI]

    Anthony Rizzie

    2011-06-09T23:59:59.000Z

    The course will include online lectures (in video and powerpoint presentations), lesson outlines, online homework, and help via email. All of this material.

  11. Letter

    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 count the ways. We've built programs7

  12. DYER ISLAND CONSERVATION TRUST LETTER OF CONCERN

    E-Print Network [OSTI]

    de Villiers, Marienne

    ..........................................................................................................................8 4 GENERAL POTENTIAL IMPACTS OF THE NPS ON THE MARINE ENVIRONMENTDYER ISLAND CONSERVATION TRUST LETTER OF CONCERN ASSOCIATED WITH THE ESTABLISHMENT OF A NUCLEAR....................................................................................................................................6 3 THE MARINE ENVIRONMENT SURROUNDING BANTAMSKLIP

  13. ATMOSPHERIC SCIENCE LETTERS Atmos. Sci. Let. (2012)

    E-Print Network [OSTI]

    Gerber, Edwin

    2012-01-01T23:59:59.000Z

    ATMOSPHERIC SCIENCE LETTERS Atmos. Sci. Let. (2012) Published online in Wiley Online Library using National Centers for Environmental Prediction/National Center for Atmospheric Research (NCEP) concentrations and sea- surface temperatures (SSTs). These integrations enable the relative role of ozone

  14. Policy Flash 2013-51 311 Notice Aquisition Letter 2013-05 Financial...

    Energy Savers [EERE]

    3-51 311 Notice Aquisition Letter 2013-05 Financial Assistance Letter 2013-03 Policy Flash 2013-51 311 Notice Aquisition Letter 2013-05 Financial Assistance Letter 2013-03...

  15. Formal Transformations and WSL Martin Ward

    E-Print Network [OSTI]

    Singer, Jeremy

    Formal Transformations and WSL Part Two Martin Ward STRL Senior Research Fellow Royal Society of Transformations #12;Types of Transformations A Syntactic Transformation changes the syntax of the program but preserves the exact sequence of operations carried out by the program. Many restructuring transformations

  16. Conservation-dissipation formalism of irreversible thermodynamics

    E-Print Network [OSTI]

    Yi Zhu; Liu Hong; Zaibao Yang; Wen-An Yong

    2014-07-21T23:59:59.000Z

    We propose a conservation-dissipation formalism (CDF) for coarse-grained descriptions of irreversible processes. This formalism is based on a stability criterion for non-equilibrium thermodynamics. The criterion ensures that non-equilibrium states tend to equilibrium in long time. As a systematic methodology, CDF provides a feasible procedure in choosing non-equilibrium state variables and determining their evolution equations. The equations derived in CDF have a unified elegant form. They are globally hyperbolic, allow a convenient definition of weak solutions, and are amenable to existing numerics. More importantly, CDF is a genuinely nonlinear formalism and works for systems far away from equilibrium. With this formalism, we formulate novel thermodynamics theories for heat conduction in rigid bodies and non-isothermal compressible Maxwell fluid flows as two typical examples. In these examples, the non-equilibrium variables are exactly the conjugate variables of the heat fluxes or stress tensors. The new theory generalizes Cattaneo's law or Maxwell's law in a regularized and nonlinear fashion.

  17. Recent Topics in Formal Epistemology [ Home ] [ Syllabus

    E-Print Network [OSTI]

    Fitelson, Branden

    Recent Topics in Formal Epistemology [ Home ] [ Syllabus ] Professor Time & Place Branden Fitelson as the semester unfolds... 09/07/11: No readings for this week. I'm just going over the syllabus (and a few other Epistemology: Syllabus http://fitelson.org/topics/syllabus.html 1 of 2 9/6/11 1:40 AM #12;09/14/11: No meeting

  18. A Rough Logic Formalism for Fuzzy Controllers

    E-Print Network [OSTI]

    Lin, Tsau Young

    logic. 1. Introduction In complex systems, such as power systems, control sub­systems are the most of transformations of mathematical models. It starts with a symbolic model that describes the control system in termsA Rough Logic Formalism for Fuzzy Controllers: A Hard and Soft Computing View T.Y. Lin Department

  19. Formal Verification of Hybrid Systems Rajeev Alur

    E-Print Network [OSTI]

    Alur, Rajeev

    -1-4503-0714-7/11/10 ...$5.00. mathematical model for design of embedded control systems is hybrid systems that combines for dynamical systems. Such models can capture both the controller -- the system under design, and the plant@cis.upenn.edu ABSTRACT In formal verification, a designer first constructs a model, with mathematically precise semantics

  20. Teaching Formal Methods: Lessons to learn

    E-Print Network [OSTI]

    Gibson, J. Paul

    methods in software engineering? Communication Implementation Problem System (Program) Mathematics-Les-Nancy, France Abstract. Formal methods should be taught as part of any degree in computing science or soft- ware engineering. We believe that discrete mathematics is the foundation upon which software development can

  1. 2013, . 28, . 1?? IS LANGRANGIAN FORMALISM ADEQUATELY

    E-Print Network [OSTI]

    Kreinovich, Vladik

    2013, . 28, . 1­?? 000.000 IS LANGRANGIAN FORMALISM ADEQUATELY DESCRIBING ENERGY CONSERVATION? V. Kreinovich, O. Kosheleva In most physical theories, total energy is conserved. For example, when the kinetic energy of a particle decreases, the potential energy increases accord- ingly. For some physical

  2. Formalizing Information Security Knowledge Stefan Fenz

    E-Print Network [OSTI]

    Formalizing Information Security Knowledge Stefan Fenz Vienna University of Technology Vienna ontology which provides an on- tological structure for information security domain knowl- edge. Besides of the considered organization is incorporated. An evaluation conducted by an information security expert team has

  3. Maintenance and Prevention: Formalization and Fixpoint Characterization

    E-Print Network [OSTI]

    Maintenance and Prevention: Formalization and Fixpoint Characterization Munindar P. Singh Maintenance and prevention are important concepts in the science of intel­ ligent systems, yet serious research attention. Maintenance and prevention are duals of each other, but cannot be reduced

  4. Formal Methods and Cryptography Michael Backes1

    E-Print Network [OSTI]

    Backes, Michael

    Formal Methods and Cryptography Michael Backes1 , Birgit Pfitzmann2 , and Michael Waidner3 1 Saarland University, Saarbr¨ucken, Germany, backes@cs.uni-sb.de 2 IBM Research, Rueschlikon, Switzerland methods for distributed systems have a notion of secure channels as a basic communication mechanism

  5. QER- Comment of Airlines for America

    Broader source: Energy.gov [DOE]

    Attached please find the comments of Airlines for America concerning the October 6 meeting, energy infrastructure. Please contact the undersigned if you have any questions.

  6. QER- Comment of Energy Innovation 5

    Broader source: Energy.gov [DOE]

    Hello, Please accept these papers as comments into the QER record for the public meeting on finance and market incentives. Thank you, Hallie

  7. QER- Comment of Energy Innovation 2

    Broader source: Energy.gov [DOE]

    Hello, Please accept these papers as comments into the QER record for the August 8th public meeting on infrastructure constraints. Thank you, Hallie

  8. Recommendation 192: Comments on Remediation Effectiveness Report

    Broader source: Energy.gov [DOE]

    The ORSSAB Recommendations and Comments on the Draft 2010 Remediation Effectiveness Report for the U.S. Department of Energy Oak Ridge Reservation.

  9. QER- Comment of American Gas Association 4

    Broader source: Energy.gov [DOE]

    From: Peterson, Christopher (EIA)Sent: Tuesday, October 14, 2014 12:11 PMTo: Pierpoint, LaraSubject: FW: AGA comments to QER: Natural Gas Emissions Section

  10. QER- Comment of Energy Innovation 4

    Broader source: Energy.gov [DOE]

    Hello, Please accept this paper as comment into the QER record for the August 21st public meeting on infrastructure siting. Thank you, Hallie

  11. QER- Comment of Energy Innovation 3

    Broader source: Energy.gov [DOE]

    Hello, Please accept this paper as comment into the QER record for the August 11th public meeting on state, local and tribal issues. Thank you, Hallie

  12. Microsoft Word - 2012 RCRA CRP comment table.docx

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

    Hazardous Waste Facility Permit Public Comments to Community Relations Plan Annual Summary of Comments for July 2011 through August 2012 Last saved on: 8242012 Annual Summary of...

  13. Public Meetings and Comment Deadlines | Department of Energy

    Energy Savers [EERE]

    and Comment Deadlines Activity Meeting Date Comment Period Close Rulemaking Page Energy Conservation Program: Energy Conservation Standards for High-Intensity Discharge Lamps;...

  14. US Department of Energy Public Participation Policy Comment Response Document

    SciTech Connect (OSTI)

    Not Available

    1994-08-01T23:59:59.000Z

    Niney-nine respondents provided comments to DOE on its ``Draft Public Involvement Policy`` (Dec. 1, 1993). Their comments and DOE`s responses are listed.

  15. Initial Comments of Honeywell, Inc. on Policy and Logistical...

    Office of Environmental Management (EM)

    Initial Comments of Honeywell, Inc. on Policy and Logistical Challenges in Implementing Smart Grid Solutions Initial Comments of Honeywell, Inc. on Policy and Logistical Challenges...

  16. Toward Energy Efficient Municipalities: General Comments on Policy...

    Energy Savers [EERE]

    Energy Efficient Municipalities: General Comments on Policy and Logistical Challenges to Smart Grid Implementation Toward Energy Efficient Municipalities: General Comments on...

  17. City Utilities of Springfield Missouri Comments on Smart Grid...

    Energy Savers [EERE]

    Utilities of Springfield Missouri Comments on Smart Grid RFI: Addressing Policy and Logistical Challenges City Utilities of Springfield Missouri Comments on Smart Grid RFI:...

  18. Request for Comments on the Electric Grid Integration Technical...

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

    Comments on the Electric Grid Integration Technical Workshops Summaries: Federal Register Notice Volume 78, No. 35 - Feb. 21, 2013 Request for Comments on the Electric Grid...

  19. Comments of the Institute for Market Transformation on the Dept...

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

    submits these comments on the Department of Energy's notice of proposed rulemaking on Energy Efficiency and Sustainable Design Standards for New Federal Buildings. Comments of...

  20. NBP RFI: Data Access, Third Party Use, and Privacy- Comments...

    Energy Savers [EERE]

    Use, and Privacy- Comments of Oncor Electric Deliverty Company LLC NBP RFI: Data Access, Third Party Use, and Privacy- Comments of Oncor Electric Deliverty Company LLC Oncor...

  1. HPBA Comments NOPR on Energy Conservation Standards for Direct...

    Office of Environmental Management (EM)

    HPBA Comments NOPR on Energy Conservation Standards for Direct Heating Equipment HPBA Comments NOPR on Energy Conservation Standards for Direct Heating Equipment The Hearth, Patio...

  2. Comments Received on Proposed Rulemaking for regulation implementing...

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

    DOE published a Notice of Proposed Rulemaking for regulation implementing section 216(h). Comments on the proposed rule were originally due on January 27, 2012. The comment...

  3. QER - Comment of Dairyland Power Cooperative - FWD by John Richards...

    Energy Savers [EERE]

    - Comment of Dairyland Power Cooperative - FWD by John Richards QER - Comment of Dairyland Power Cooperative - FWD by John Richards From: Richards, John Sent: Tuesday, August 19,...

  4. NNSA Seeking Comments on Consolidated IT and Cyber Security Support...

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

    NNSA Seeking Comments on Consolidated IT and Cyber Security Support Services Draft NNSA Seeking Comments on Consolidated IT and Cyber Security Support Services Draft July 17, 2013...

  5. Public Comment re NOI on Convention on Supplementary Compensation...

    Energy Savers [EERE]

    NOI on Convention on Supplementary Compensation for Nuclear Damage Public Comment re NOI on Convention on Supplementary Compensation for Nuclear Damage ENERGYSOLUTIONS' Comment in...

  6. Uranium Leasing Program Draft PEIS Public Comment Period Extended...

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

    Uranium Leasing Program Draft PEIS Public Comment Period Extended to May 31, 2013 Draft ULPEIS comment extension community notification041813 (3).pdf More Documents & Publications...

  7. COMMENTS OF THE MICHIGAN PUBLIC SERVICE COMMISSION STAFF TO REQUEST...

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

    COMMENTS OF THE MICHIGAN PUBLIC SERVICE COMMISSION STAFF TO REQUEST FOR INFORMATION REGARDING SMART GRID POLICY COMMENTS OF THE MICHIGAN PUBLIC SERVICE COMMISSION STAFF TO REQUEST...

  8. City of Fort Collins Comment on Information Collection Extension...

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

    2011 City of Fort Collins Comment on Information Collection Extension, October 2011 The City of Fort Collins provided comments to the Department of Energy's notice of intent to...

  9. Pepco and PJM Interconnection Comments on District of Columbia...

    Energy Savers [EERE]

    Pepco and PJM Interconnection Comments on District of Columbia Public Service Commission, Docket No. EO-05-01 Comments and Answer to Requests for Rehearing Pepco and PJM...

  10. Enhanced Geothermal Systems Documents for Public Comment - Now...

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

    Enhanced Geothermal Systems Documents for Public Comment - Now Closed Enhanced Geothermal Systems Documents for Public Comment - Now Closed February 28, 2012 - 3:41pm Addthis ****...

  11. Letter to NeuroscienceLetter to Neuroscience ACROLEIN INFLICTS AXONAL MEMBRANE DISRUPTION AND

    E-Print Network [OSTI]

    Shi, Riyi

    Letter to NeuroscienceLetter to Neuroscience ACROLEIN INFLICTS AXONAL MEMBRANE DISRUPTION, IN 47907-1244, USA Key words: free radicals, lipid peroxidation. We have examined the e¡ect of acrolein found that 200 WM acrolein, but not 50 WM, induced a time-dependent loss of compound action potential

  12. Formale Sprachen Wintersemester 2005/2006

    E-Print Network [OSTI]

    Vollmer, Heribert

    Menge aller ersten H¨alften von W¨ortern aus L ist. Zeigen Sie, dass f¨ur jede regul¨are Sprache L auch in einen Endzustand gelangt. Beweis von (1) durch Induktion ¨uber die L¨ange von w: · IA: |w| = 0, d.h wFormale Sprachen Wintersemester 2005/2006 Theoretische Informatik Universit¨at Hannover L¨osung von

  13. 2003 CS 647b Report Transmittal Letter to Dick Cheney

    Broader source: Energy.gov [DOE]

    2003 CS 647b Report Transmittal Letter to Dick Cheney This letter is in response to the annual Competitive Sourcing reporting requirement contained in section 647(b) of Division F of the...

  14. Policy Flash 20 Acquisition Letter 2014-05/Financial Acquisition...

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

    301 Contract Award letter FY2014 March 5.pdf Attachment 2A1 DOE Section 301 Financial Assistance Letter FY2014 March 5 2014.pdf Attachment 2A2 DOE Section 301 Financial Assistance...

  15. QER- Comment of Process Gas Consumer Group

    Broader source: Energy.gov [DOE]

    Hello, Attached are comments offered by the Process Gas Consumers Group in response to the August 25, 2014 Federal Register Notice soliciting comments on issues related to the Quadrennial Energy Review. Please let us know if you have any questions or would like any additional information.

  16. QER- Comment of American Hydrogen Northeast, Inc.

    Broader source: Energy.gov [DOE]

    Dear Sir or Madam, Attached please find the Hydrogen Association and the American Hydrogen Northeast,inc's Comments on the first round of QER review. I wish to thank Secretary Moniz and Senator Reed for attending the Providence hearing and providing this opportunity to submit these comments.

  17. Interactive comment on “Comment on: “Possiblesource of ancient carbon in phytolith concentratesfrom harvested grasses” by G. M. Santoset al. (2012)” by L. A. Sullivan and J. F. Parr

    E-Print Network [OSTI]

    Santos, G. M; Alexandre, A.; Southon, J. R; Treseder, K. K; Corbineau, R.; Reyerson, P. E

    2012-01-01T23:59:59.000Z

    Discussions BGD 9, C6114–C6124, 2012 InteractiveComment Interactive comment on “Comment on: “Possible sourceRes. , 35, 222–233, 1991. Interactive Comment Levin, I. ,

  18. Sandia aids FBI in investigation of anthrax letters

    ScienceCinema (OSTI)

    Paul Kotula and Joe Michael

    2010-01-08T23:59:59.000Z

    Paul Kotula and Joe Michael of Sandia National Laboratories discuss their work in the FBI anthrax letters investigation.

  19. Sandia aids FBI in investigation of anthrax letters

    SciTech Connect (OSTI)

    Paul Kotula and Joe Michael

    2008-11-19T23:59:59.000Z

    Paul Kotula and Joe Michael of Sandia National Laboratories discuss their work in the FBI anthrax letters investigation.

  20. A methodology integrating formal and informal software development

    E-Print Network [OSTI]

    a methodology integrating formal and informal soft- ware development. By distinguishing several dimensions Our methodology covers requirements engineering and logical system design. It is particularly suitedA methodology integrating formal and informal software development Barbara Paech Institut fur

  1. A Formal model to aid documenting and harmonizing of information

    E-Print Network [OSTI]

    Zheng, Yuliang

    A Formal model to aid documenting and harmonizing of information security requirements Jussipekka Information security development, harmonization of information security, organizational modeling 1 INTRODUCTION A formal top down model to harmonize and document information security requirements shall

  2. Taking Formal into areas unaccustomed to it Ganesh Gopal

    E-Print Network [OSTI]

    performance optimizations. Our interest is in contributing formal methods for high performance computing, his group has tailored Formal Methods to benefit High Performance Computing practitioners. Specific technical challenges in building large-scale high- performance and reliable high performance computing

  3. Letter to the Editor Comment on: "Electricity generation by Enterobacter cloacae

    E-Print Network [OSTI]

    less microbial fuel cell" by Samrot et al. The authors have conducted two-chamber microbial fuel cell in a microbial fuel cell. Appl Environ Microbiol 2009;75(11):3673e8. [3] Logan BE. Microbial fuel cells. Hoboken of the internal resistance distribution of microbial fuel cells. Environ Sci Technol 2008;42(21):8101e7. Farzaneh

  4. Microsoft Word - Cover letter to RRTT-IR-001 Comments.doc

    Energy Savers [EERE]

    Respectfully submitted, s Amanda Riggs Conner Amanda Riggs Conner American Electric Power Service Corporation 801 Pennsylvania Ave, N.W. Suite 320 Washington, DC 20004...

  5. Cover Letter for Motion to Intervene and Comments of the District...

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

    Station and Proposed Mirant Compliance Plan Answer of Potomac Electric Power Company and PJM lnterconnection, L.L.C. to the October 6, 2005 motion filed by the Virginia Department...

  6. Letter to the editor Comment on ``Radon-222 signatures of natural ventilation regimes in an underground

    E-Print Network [OSTI]

    Yu, K.N.

    fraction of radon progeny in human bronchial airways with bifurcation geometry. International Journal-B tree due to radon progeny. International Journal of Radiation Biology 77, 559­565. Nikezic, D., Yu, K for radon progeny. Radiation and Environmental Biophysics 40, 207­211. Nikezic, D., Yu, K.N., 2002a

  7. FINAL CA IOU Comment Letter RFI Regulatory Burden | Department of Energy

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 1112011 Strategic Plan| Department of Energy 088:EnergyFAR27.pdfFEFEMP26 - In the112 -

  8. Cover Letter for Motion to Intervene and Comments of the District of

    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,613PortsmouthBartlesvilleAbout » Contact Us ContactPractices inCostsCourseColumbia

  9. Cover Letter for Motion to Intervene and Comments of the District 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: Theof"Wave theJuly 30, 2013Department ofU.S.for thePartnersUraniumColumbia

  10. Microsoft Word - SF-#384484-v1-CvD_-_Cover_Letter_for_DOE_RFI_Comments.docx

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently Asked Questions forCheneyNovemberi CONTENTS Executive U.S.and Geochemical3G-1 SECTION

  11. Overhead Piping / Asbestos Removal. Letter transmits response to comments on the overhead piping and asbestos removal.

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA group currentBradleyTableSelling7 AugustAFRICAN .METALS~ c3ppY-.I ' Y{OoEr' $1 ;-

  12. Letter: EPA Comments on Interim Response Actions (IRA's). IR-700-704-1.02.

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA group currentBradleyTableSelling CorpNewCF INDUSTRIES,L? .-I I2 m.m\ LILTS PlanI9

  13. Formal property verification in a conformance testing framework

    E-Print Network [OSTI]

    2014-09-08T23:59:59.000Z

    Computer Engineering. Arizona ... then propose two computational methods for approximating this .... signals of two systems was mathematically formalized via.

  14. QER- Comment of Tate Sullivan

    Broader source: Energy.gov [DOE]

    Thank you. From: QERcomments [mailto:QERcomments@Hq.Doe.Gov] Sent: Thursday, May 29, 2014 4:14 PM To: Tate Sullivan, CLSA Subject: RE: QER Public Meeting: Petroleum Product Transmission & Distribution Tate, You can find the panelists' statements and other information, including a link to a video of meetings when available, at www.energy.gov/qer. We will post transcripts for all meetings, which will include the facilitated discussion and any public comments given during the open mic, on the same website in the weeks following each meeting. All comments we receive through this email will eventually become public, but not until later this fall. Regards, Karen Karen G. Wayland, Ph.D. Deputy Director for State, Local and Tribal Cooperation Energy Policy and Systems Analysis U.S. Department of Energy 1000 Independence Ave. SW Washington, DC 20585 From: Tate Sullivan, CLSA Sent: Wednesday, May 28, 2014 10:47 AM To: QERcomments Subject: QER Public Meeting: Petroleum Product Transmission & Distribution Are any of the presentations or comments during this public meeting going to be released in electronic form? Have they been released? Is there a replay available of the event? Thank you. Tate Sullivan, CFA CLSA Americas, LLC Vice President CLSA is committed to reducing consumption for a better environment and is ISO14001 certified. The content of this communication is subject to CLSA Legal and Regulatory Notices These can be viewed at https://www.clsa.com/disclaimer.html or sent to you upon request. CLSA is committed to reducing consumption for a better environment and is ISO14001 certified. The content of this communication is subject to CLSA Legal and Regulatory Notices These can be viewed at https://www.clsa.com/disclaimer.html or sent to you upon request.

  15. QER- Comment of Jerry Toenyes

    Broader source: Energy.gov [DOE]

    Thank you for the opportunity to comment on the Quadrennial Energy Review (QER), specifically the water/energy nexus. Unfortunately there is little relationship between water operations and power generation in decisions involving the Federal hydropower facilities located in California. Power is the lowest priority of the various project purposes met by the Federal projects and does not receive consideration in short term and long term planning. Water only flows through Federal power plants while it is being released by the dams to meet other project purposes.

  16. QER- Comment of Tate Sullivan

    Broader source: Energy.gov [DOE]

    Are any of the presentations or comments during this public meeting going to be released in electronic form? Have they been released? Is there a replay available of the event? Thank you. Tate Sullivan, CFA CLSA Americas, LLC Vice President CLSA is committed to reducing consumption for a better environment and is ISO14001 certified. The content of this communication is subject to CLSA Legal and Regulatory Notices These can be viewed at https://www.clsa.com/disclaimer.html or sent to you upon request.

  17. Applying Formal Methods Informally# Matt Bishop Brian Hay Kara Nance

    E-Print Network [OSTI]

    Bishop, Matt

    and development phases, and then the entire program must be re­evaluated. T us, formal met ods are used been met. Even t oug formal met ods are widely seen as impractical, t ere is muc wisdom, produce programs wit muc less assurance t an t e application of full formal met ods

  18. Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering Gabriela Ar´evalo, St in "International Conference on Formal Concept Analysis (ICFCA '05) (2005)" #12;Lessons Learned in Applying Formal artifacts. In this paper we describe our approach, outline three case studies, and draw various lessons from

  19. NBP RFI: Data Access, Third Party Use and Privacy- Comments of...

    Energy Savers [EERE]

    Use and Privacy- Comments of Baltimore Gas & Electric Company NBP RFI: Data Access, Third Party Use and Privacy- Comments of Baltimore Gas & Electric Company Comments from...

  20. Surface-integral formalism of deuteron stripping

    E-Print Network [OSTI]

    A. M. Mukhamedzhanov; D. Y. Pang; C. A. Bertulani; A. S. Kadyrov

    2014-08-24T23:59:59.000Z

    The purpose of this paper is to develop an alternative theory of deuteron stripping to resonance states based on the surface integral formalism of Kadyrov et al. [Ann. Phys. 324, 1516 (2009)] and continuum-discretized coupled channels (CDCC). First we demonstrate how the surface integral formalism works in the three-body model and then we consider a more realistic problem in which a composite structure of target nuclei is taken via optical potentials. We explore different choices of channel wave functions and transition operators and show that a conventional CDCC volume matrix element can be written in terms of a surface-integral matrix element, which is peripheral, and an auxiliary matrix element, which determines the contribution of the nuclear interior over the variable $r_{nA}$. This auxiliary matrix element appears due to the inconsistency in treating of the $n-A$ potential: this potential should be real in the final state to support bound states or resonance scattering and complex in the initial state to describe $n-A$ scattering. Our main result is formulation of the theory of the stripping to resonance states using the prior form of the surface integral formalism and CDCC method. It is demonstrated that the conventional CDCC volume matrix element coincides with the surface matrix element, which converges for the stripping to the resonance state. Also the surface representation (over the variable $r_{nA}$ of the stripping matrix element enhances the peripheral part of the amplitude although the internal contribution doesn't disappear and increases with increase of the deuteron energy. We present calculations corroborating our findings for both stripping to the bound state and the resonance.

  1. Half a Century of Physical Review Letters

    ScienceCinema (OSTI)

    Robert Garisto

    2010-01-08T23:59:59.000Z

    Fifty years ago, Sam Goudsmit started an experiment: the journal Physical Review Letters.  Since 1958, the experiment has thrived. PRL has gone through many changes, published many important papers, and become a leader in international scientific publication.  I will trace the rise of PRL from its early 20th century roots as "Letters to the Editor," through changes in editorial process and advents of new technology. Along the way I'll show what has gone on behind the scenes, and give a glimpse of our plans for the future.  I'll also give some advice to would-be authors and referees, illustrated with interesting correspondence we've received.

  2. Half a Century of Physical Review Letters

    SciTech Connect (OSTI)

    Garisto, Robert (Physical Review Letters) [Physical Review Letters

    2008-10-15T23:59:59.000Z

    Fifty years ago, Sam Goudsmit started an experiment: the journal Physical Review Letters. Since 1958, the experiment has thrived. PRL has gone through many changes, published many important papers, and become a leader in international scientific publication. I will trace the rise of PRL from its early 20th century roots as 'Letters to the Editor,' through changes in editorial process and advents of new technology. Along the way I'll show what has gone on behind the scenes, and give a glimpse of our plans for the future. I'll also give some advice to would-be authors and referees, illustrated with interesting correspondence we've received.

  3. Half a Century of Physical Review Letters

    SciTech Connect (OSTI)

    Robert Garisto

    2008-10-15T23:59:59.000Z

    Fifty years ago, Sam Goudsmit started an experiment: the journal Physical Review Letters.  Since 1958, the experiment has thrived. PRL has gone through many changes, published many important papers, and become a leader in international scientific publication.  I will trace the rise of PRL from its early 20th century roots as "Letters to the Editor," through changes in editorial process and advents of new technology. Along the way I'll show what has gone on behind the scenes, and give a glimpse of our plans for the future.  I'll also give some advice to would-be authors and referees, illustrated with interesting correspondence we've received.

  4. Letter to Successful Company | 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:40PMDepartment ofs oLetter from theof

  5. Letter to Unsuccessful Company | 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:40PMDepartment ofs oLetter from theofUnsuccessful

  6. Formal Derivation of Concurrent Garbage Collectors

    E-Print Network [OSTI]

    Pavlovic, Dusko; Smith, Douglas R

    2010-01-01T23:59:59.000Z

    Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and-prove verification or on the application of domain-specific templates and transformations. We show how to derive the upper reaches of a family of concurrent garbage collectors by refinement from a formal specification, emphasizing the application of domain-independent design theories and transformations. A key contribution is an extension to the classical lattice-theoretic fixpoint theorems to account for the dynamics of concurrent mutation and collection.

  7. Modified Hamiltonian formalism for Regge Teitelboim Cosmology

    E-Print Network [OSTI]

    Pinaki Patra; Md. Raju; Gargi Manna; Jyoti Prasad Saha

    2014-12-10T23:59:59.000Z

    The Ostrogradski approach for the Hamiltonian formalism of higher derivative theory is not satisfactory because of the reason that the Lagrangian cannot be viewed as a function on the tangent bundle to coordinate manifold. In this article, we have used an alternative approach which leads directly to the Lagrangian which, being a function on the tangent manifold, gives correct equation of motion; no new coordinate variables need to be added. This approach can be directly used to the singular (in Ostrogradski sense) Lagrangian. We have used this method for the Regge Teitelboim (RT) minisuperspace cosmological model. We have obtained the Hamiltonian of the dynamical equation of the scale factor of RT model.

  8. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS -FORMAL METHODS FOR EMBEDDED SYSTEMS DESIGN, NOVEMBER 2008 1 Formal Methods for Systems Engineering Behavior

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    2008 1 Formal Methods for Systems Engineering Behavior Models Charlotte Seidner and Olivier H. Roux on formal methods such as model checking since such techniques, however powerful and mature, are deemed too and integrating a formal verification tool within a development platform for system design for defense

  9. QER- Comment of Sander Resources

    Broader source: Energy.gov [DOE]

    Good morning. I wanted to follow up on our discussion regarding Section 4.4 of the briefing document used for the QER event on Energy Infrastructure Financing. Per my earlier comments, information in that section does not accurately reflect the business model of pipelines, and particularly for the "midstream" sector, or those gathering and processing activities and intrastate pipelines. Further, it does not accurately describe the "utility" designation of these lines or how or why these designations are used. It is also important to note that the reference to "take-or-pay" contracts is particularly concerning as those types of contracts are prohibited in many states as I understand it. I have attached an updated redline version of that section that addresses the issues. I would be more than happy to work with someone to correct the language if the suggested language does not work for any reason. Thank you for your consideration of the comments and proposed changes. Please let me know if you have any questions or if I can be of further assistance.

  10. QER- Comment of Brian West

    Broader source: Energy.gov [DOE]

    Hello, Thanks for the invitation to the QER workshop. Here are a couple of comments that I was probably unable to fully articulate in the main session, although I did try to make some of these points in the breakout session: When considering alternatives and policy that drives alternative fuel use, it is important to learn from Policy successes and failures. Policy drivers put in place in Thailand, Brazil, and Sweden have been successful in transitions to greater alternative fuel use. US policy for Flex Fuel Vehicles has been largely unsuccessful at encouraging alternative fuel use. The fuel economy credit for the OEMs to build FFVs was generous but encouraged only modest production; nonetheless there are over 15M FFVs on the road. However, they use very little ethanol fuel due to cost ($/mile), range, etc. Natural Gas has a very real value proposition (lower $/gge) so fleet owners have good financial incentive to make the switch, even if investments are required. One participant commented that infrastructure costs are small compared to costs of imported oil. I agree with this statement. One presenter mentioned (a city?) with a law that requires infrastructure to support future EV charging be installed in any new parking garage. Great idea. (Better to have and not need than need and not have, especially when cost differential is small on the front end and very large on the back end). In the US we install about 20,000-40,000 new fuel dispensers per year (according to Gilbarco/Wayne). It would be a horrible missed opportunity to not put policy in place that encourages/requires E25 or E85-compatible dispensers. With a successful policy driver, in the next five years the nation could have over 100,000 ethanol-compatible dispensers in place, ready for a new High Octane Fuel (that could very likely contain more than 10 or 15% ethanol). Thanks Brian H. West Fuels, Engines, and Emissions Research Center Oak Ridge National Laboratory http://www.ornl.gov/ http://feerc.ornl.gov/ http://www.fueleconomy.gov/ From: Tillemann, Levi Sent: Thursday, July 03, 2014 3:52 PM To: West, Brian H. Subject: AMR/QER Technical Workshop Dear Brian: On behalf of the Department of Energy's Office of Energy Policy and Systems Analysis (EPSA) I want to thank you for your participation at the June 20th AMR/QER Alternative Transportation Refueling Infrastructure technical workshop. Your contribution in the breakout sessions and general discussion sessions provided valuable insight that will help inform EPSA during the QER process going forward. During the course of the workshop, detailed notes were taken. These have been anonymized and will be made publically available to you and the general public in the coming weeks. Once they are posted, we will provide you with a link for accessing them online. We encourage you to submit additional comments regarding infrastructure for transmission, storage or distribution of alternative transportation fuels to qercomments@hq.doe.gov. For more information about the QER's stakeholder meeting locations, areas of analysis and public comments you can visit the QER website at: http://energy.gov/epsa/initiatives/quadrennial-energy-review-qer. Please feel free to contact me or Sallie Gilbert (sallie.gilbert@hq.doe.gov) if you have additional questions. I will be leaving the DOE August 1, thereafter you may contact Renee Picket (adonica.pickett@hq.doe.gov) or Carla Frisch (carla.frisch@hq.doe.gov) with questions or comments. Thank you again for making the workshop a great success. I look forward to working together with all of you on these issues in the future. Best regards, Levi Tillemann, Ph.D. Special Advisor, EPSA US Department of Energy

  11. QER- Comment of California Air Resources Board

    Broader source: Energy.gov [DOE]

    Good evening - Attached is a letter regarding the subject above. If you have any questions or concerns, please contact me at 916.322.5840 or via email at mnichols@arb.ca.gov. Thank you

  12. Supplemental Comments of the Plumbing Manufacturers Instititute...

    Energy Savers [EERE]

    No. EERE-2010-BT-NOA-0016 Letter Response from the Plumbing Manufacturers Institute (PMI), Docket No. EERE-2010-BT-NOA-0016 - Notice of Availability of Interpretive Rule on the...

  13. GREEK LETTERS Learn the names of Greek letters not just the obvious ones like alpha,

    E-Print Network [OSTI]

    Lozano-Robledo, Alvaro

    GREEK LETTERS Learn the names of Greek letters ­ not just the obvious ones like alpha, beta, and pi A ´ (alpha) a B ´ (beta) b ´µµ (gamma) g ´ (delta) d E ´o (epsilon) e Z ´ (zeta) z H ´ (eta) ee ´ (theta atom ´o book ´o basic Bo ´ Boston µ´ geometry ´ language ´ French µo´ democracy ´o tooth ´ energy E

  14. Comments from the City of Alexandria in Support of the Comments...

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

    to Commence Planned Transmission Outages More Documents & Publications Response from PEPCO to the Comments from the Virginia Department of Environmental Quality on PEPCO's...

  15. RESEARCH LETTERS Vibrating insoles and balance

    E-Print Network [OSTI]

    Collins, James J.

    , and such changes have been associated with diminished motor performance. Input noise can enhance sensory and motor be substantially reduced through the application of mechanical noise to the feet via vibrating insoles. We usedRESEARCH LETTERS Vibrating insoles and balance control in elderly people Attila A Priplata, James B

  16. Canadian Nuclear Astrophysics Institute Letter of Intent

    E-Print Network [OSTI]

    Herwig, Falk

    nuclear physics data as well as astronomical observations, both of which are critically needed in order 1 Canadian Nuclear Astrophysics Institute Letter of Intent Final version April 29, 2011), astrophysics and nuclear physics theory and computational simulation (TC) as well as nuclear physics

  17. ATMOSPHERIC SCIENCE LETTERS Atmos. Sci. Let. (2013)

    E-Print Network [OSTI]

    Lee, Sukyoung

    2013-01-01T23:59:59.000Z

    ATMOSPHERIC SCIENCE LETTERS Atmos. Sci. Let. (2013) Published online in Wiley Online Library Sciences, Seoul National University, Seoul, South Korea *Correspondence to: C. Yoo, Center for Atmosphere). A number of studies have shown that the MJO plays an important role in modulating the extratropical cir

  18. Reply to the Comment of X. Ji on "Do gluons carry half of the nucleon momentum?" [PRL 103:062001 (2009)

    E-Print Network [OSTI]

    Xiang-Song Chen; Wei-Min Sun; Xiao-Fu Lü; Fan Wang; T. Goldman

    2009-11-02T23:59:59.000Z

    We affirm that the proper momentum defined in [PRL 103:062001 (2009)] does respect exact gauge symmetry and is as measurable as the kinetic momentum. The physical part of the gauge field is also as measurable as the electromagnetic field. The Comment of Ji [arXiv:0910.5022] is due to a misunderstanding of our work, and a typical confusion of our gauge-invariant formalism with the specific Coulomb-gauge calculation.

  19. QER- Comment of Cloud Peak Energy Inc

    Broader source: Energy.gov [DOE]

    Dear Ms Pickett Please find attached comments from Cloud Peak Energy as input to the Department of Energy’s Quadrennial Energy Review. If possible I would appreciate a confirmation that this email has been received Thank you.

  20. QER- Comment of Husch Blackwell LLP

    Broader source: Energy.gov [DOE]

    Good afternoon, Today, WIRES (www.wiresgroup.com) is submitting the attached communication to the United States Secretary of Energy pertaining to the Quadrennial Energy Review. Your comments are welcome and can be sent to me.

  1. The Year in Review: Comments from the

    E-Print Network [OSTI]

    Firestone, Jeremy

    1 The Year in Review: Comments from the Executive Director The President's Diversity Initiative.udel.edu/udaily/2013/oct/historic-diversity-100212.html. Year in Review 1 Staffing and space 1 Disabilities Support 2

  2. QER- Comment of Skibo Systems LLC

    Broader source: Energy.gov [DOE]

    Paul M. Klemencic, Skibo Systems LLC: Comments regarding the current state of all major energy markets, addressing customer costs and needs, infrastructure, market controls and optimization, and build out of green energy sources.

  3. QER- Comment of ND Ethanol Council

    Broader source: Energy.gov [DOE]

    To whom it may concern, Attached please find comments from the North Dakota Ethanol Council regarding infrastructure constraints in preparation for the OER Public Meeting, which will be held in Bismarck, N.D., on August 8. Sincerely, Deana Wies

  4. QER- Comment of National Propane Gas Association

    Broader source: Energy.gov [DOE]

    Ladies and Gentlemen: Please find attached the QER comments of the National Propane Gas Association. Please feel to contact us if we can provide further information. Thank you for your attention to our submission.

  5. QER- Comment of ALLETE Clean Energy

    Broader source: Energy.gov [DOE]

    Please accept the attached comments for docketing. These are submitted on behalf of ALLETE Clean Energy. If you have any questions or need anything further, please do not hesitate to contact me. Many thanks,

  6. PalgravePrecautionary Draft -Comments Solicited

    E-Print Network [OSTI]

    Niebur, Ernst

    PalgravePrecautionary Draft - Comments Solicited Precautionary Saving and Precautionary Wealth This is an entry for The New Palgrave Dictionary of Economics, 2nd Ed. Keywords: Precautionary saving, prudence, consumption function, buffer stock saving Archive http

  7. Energy Citations Database (ECD) - Alerts Comments

    Office of Scientific and Technical Information (OSTI)

    Alerts Comments If you have a question about Energy Citations Database Alerts, we recommend you check frequently asked questions. If your question still has not been answered or if...

  8. COMMENTS

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy China U.S. Department ofJune 2,The BigSidingState6Report, March003MEAM,ofCO2COGRB-1

  9. COMMENTS

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy China U.S. Department ofJune 2,The BigSidingState6Report, March003MEAM,ofCO2COGRB-1-1

  10. COMMENTS

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy China U.S. Department ofJune 2,The BigSidingState6Report, March003MEAM,ofCO2COGRB-1-14

  11. COMMENTS

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742Energy China U.S. Department ofJune 2,The BigSidingState6Report, March003MEAM,ofCO2COGRB-1-14

  12. COMMENTS

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed offOCHCO OverviewAttachments EnergyFebruary 29CNG Exports by Truck out of the U.S.TRANSPORTATION-1

  13. Formalization, Primitive Concepts, and Purity John T. Baldwin

    E-Print Network [OSTI]

    Baldwin, John T.

    based primarily on the papers of Hallet [17] and Arana-Mancosuo [3]. In an appendix written with William Paolo Mancosu for introducing me to this topic and acknowledge helpful comments from Andrew Arana, Phil

  14. QER- Comment of Sempra Energy 3

    Broader source: Energy.gov [DOE]

    Sempra Energy, on behalf of its subsidiaries, San Diego Gas and Electric Company (SDG&E), Southern California Gas Company, (SoCalGas) and Sempra U.S. Gas & Power1, respectfully submit the attached comments to the Department of Energy. The attached document provides Sempra Energy’s comments regarding the U.S. Department of Energy’s Quadrennial Energy review meeting on natural gas and electricity interdependence.

  15. QER- Comment of Quebec Government Office

    Broader source: Energy.gov [DOE]

    Hello, I am pleased to forward the attached QER comments on behalf of Québec’s Delegate General in New York. These comments from the Government of Québec relate to Part II of the New England Regional Infrastructure Constraints Public Meeting on April 21st, 2014. Thank you for allowing the Government of Québec to participate in this important initiative. Please do not hesitate to reach out should you have further questions. Best regards, Tim

  16. QER- Comment of Sempra Energy 2

    Broader source: Energy.gov [DOE]

    Sempra Energy, on behalf of its subsidiaries, San Diego Gas and Electric Company (SDG&E), Southern California Gas Company, (SoCalGas) and Sempra U.S. Gas & Power1, respectfully submit the attached comments to the Department of Energy. The attached document provides Sempra Energy’s comments regarding the U.S. Department of Energy’s Quadrennial Energy review meeting on natural gas transmission, storage and distribution.

  17. QER- Comment of Sempra Energy 1

    Broader source: Energy.gov [DOE]

    Sempra Energy, on behalf of its subsidiaries, San Diego Gas and Electric Company (SDG&E), Southern California Gas Company, (SoCalGas) and Sempra U.S. Gas & Power, respectfully submit the attached comments to the Department of Energy. The attached document provides Sempra Energy’s comments regarding the U.S. Department of Energy’s Quadrennial Energy review meeting on electricity transportation, distribution and storage in the west.

  18. On the vierbein formalism of general relativity

    E-Print Network [OSTI]

    T. Mei

    2007-12-06T23:59:59.000Z

    Both the Einstein-Hilbert action and the Einstein equations are discussed under the absolute vierbein formalism. Taking advantage of this form, we prove that the "kinetic energy" term, i.e., the quadratic term of time derivative term, in the Lagrangian of the Einstein-Hilbert action is non-positive definitive. And then, we present two groups of coordinate conditions that lead to positive definitive kinetic energy term in the Lagrangian, as well as the corresponding actions with positive definitive kinetic energy term, respectively. Based on the ADM decomposition, the Hamiltonian representation and canonical quantization of general relativity taking advantage of the actions with positive definitive kinetic energy term are discussed; especially, the Hamiltonian constraints with positive definitive kinetic energy term are given, respectively. Finally, we present a group of gauge conditions such that there is not any second time derivative term in the ten Einstein equations.

  19. Stabilizer Formalism for Operator Quantum Error Correction

    E-Print Network [OSTI]

    Poulin, D

    2005-01-01T23:59:59.000Z

    Operator quantum error correction is a recently developed theory that provides a generalized framework for active error correction and passive error avoiding schemes. In this paper, we describe these codes in the language of the stabilizer formalism of standard quantum error correction theory. This is achieved by adding a "gauge" group to the standard stabilizer definition of a code. Gauge transformations leave the encoded information unchanged; their effect is absorbed by virtual gauge qubits that do not carry useful information. We illustrate the construction by identifying a gauge symmetry in Shor's 9-qubit code that allows us to remove 3 of its 8 stabilizer generators, leading to a simpler decoding procedure without affecting its essential properties. This opens the path to possible improvement of the error threshold of fault tolerant quantum computing. We also derive a modified Hamming bound that applies to all stabilizer codes, including degenerate ones.

  20. Stabilizer Formalism for Operator Quantum Error Correction

    E-Print Network [OSTI]

    David Poulin

    2006-06-14T23:59:59.000Z

    Operator quantum error correction is a recently developed theory that provides a generalized framework for active error correction and passive error avoiding schemes. In this paper, we describe these codes in the stabilizer formalism of standard quantum error correction theory. This is achieved by adding a "gauge" group to the standard stabilizer definition of a code that defines an equivalence class between encoded states. Gauge transformations leave the encoded information unchanged; their effect is absorbed by virtual gauge qubits that do not carry useful information. We illustrate the construction by identifying a gauge symmetry in Shor's 9-qubit code that allows us to remove 4 of its 8 stabilizer generators, leading to a simpler decoding procedure and a wider class of logical operations without affecting its essential properties. This opens the path to possible improvements of the error threshold of fault-tolerant quantum computing.

  1. QER- Comment of Kountoupes | Denham

    Broader source: Energy.gov [DOE]

    Karen, at the risk of flooding your inbox, I wanted to share these utility related questions from another group that I work with – the LPPC. I’m pretty sure you know them, they have an interesting take on issues as they are the public’s who own the majority of transmission and generation. The LPPC will be working to submit formal stuff, but I thought based on our other conversation that you might appreciate getting some additional input for your first forum and background and such.

  2. Comment/Rebuttal Comments on "Electrorheology Leads to Efficient Combustion" by

    E-Print Network [OSTI]

    Gülder, Ömer L.

    Comment/Rebuttal Comments on "Electrorheology Leads to Efficient Combustion" by Tao et al. O¨ mer L of combustion in general and internal combustion (IC) engine combustion technology in particular. Given posit that "because combustion starts at the interface between fuel and air and most harmful emissions

  3. New Construction of ?-Operator in Field-Antifield Formalism

    E-Print Network [OSTI]

    P. M. Lavrov; O. V. Radchenko

    2007-08-31T23:59:59.000Z

    It is proven that the nilpotent $\\Delta$-operator in the field-antifield formalism can be constructed in terms of an antisymplectic structure only.

  4. Industrial structures : an analysis and transformation of their formal characteristics

    E-Print Network [OSTI]

    Strub, Damon

    1988-01-01T23:59:59.000Z

    Industrial structures such as blast furnaces, oil refineries, gravel crushers etc. are often beautiful and fascinating. Furthermore, they exemplify certain formal and organizational characteristics which could be incorporated ...

  5. Energy Secretary Moniz and Nevada Governor Sandoval Formalize...

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

    of Understanding (MOU) to formalize the senior-level Nevada National Security Site (NNSS) Working Group, previously established to address issues of interest related to the NNSS....

  6. Motion to intervene and comments of the energy services group...

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

    intervene and comments of the energy services group of Hydro-Quebec and H.Q. Energy Services (U.S.) Inc, on FE 99-1 Motion to intervene and comments of the energy services group of...

  7. Reply To "Comment on 'Quantum Convolutional Error-Correcting Codes' "

    E-Print Network [OSTI]

    H. F. Chau

    2005-06-02T23:59:59.000Z

    In their comment, de Almedia and Palazzo \\cite{comment} discovered an error in my earlier paper concerning the construction of quantum convolutional codes (quant-ph/9712029). This error can be repaired by modifying the method of code construction.

  8. Public Comment re Section 934 of the Energy Independence and...

    Energy Savers [EERE]

    Section 934 of the Energy Independence and Security Act of 2007 Public Comment re Section 934 of the Energy Independence and Security Act of 2007 Public Comment by the Uranium...

  9. CEQ Extends Comment Period on Revised Draft Guidance on Consideration...

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

    comment period on its revised draft guidance on consideration of greenhouse gas (GHG) emissions and the effects of climate change in NEPA reviews. The comment period now ends on...

  10. Emailed Comments of Elizabeth Chimento RE: Pepco Scheduled Line...

    Office of Environmental Management (EM)

    Emailed Comments of Elizabeth Chimento RE: Pepco Scheduled Line Repair Dec. 1-20, 2006 Emailed Comments of Elizabeth Chimento RE: Pepco Scheduled Line Repair Dec. 1-20, 2006 Docket...

  11. Active Financial Assistance Letters | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative Fuels DataEnergyDepartment ofATVM LoanActive Financial Assistance Letters Active

  12. Enforcement Letter, Wise Services, LLC - July 10, 2014 | Department...

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

    related to a track hoe operated by a Wise Services employee that struck a fiber optics line at DOE's Portsmouth Gaseous Diffusion Plant. Enforcement Letter issued to Wise...

  13. Letter from Commonwealth to Mirant Potomac River Concerning Serious...

    Energy Savers [EERE]

    to Mirant Potomac River Concerning Serious Violations of the National Ambient Air Quality Standards for Sulfur Dioxide Letter from Commonwealth to Mirant Potomac River Concerning...

  14. Letter from Pepco Holdings Regarding the Reliability of Electric...

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

    from Pepco Holdings Regarding the Reliability of Electric Service in the District of Columbia Letter from Pepco Holdings Regarding the Reliability of Electric Service in the...

  15. Policy Flash 2015-14 Acquisition Letter 2015-03/Financial Acquisition...

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

    Subject to Energy and Water Development and Related Agencies Appropriations Act, 201 Policy Flash 2015-14 Acquisition Letter 2015-03Financial Acquisition Letter 2015-02...

  16. Post-Closure Inspection Letter Report for Corrective Action Units on the Nevada National Security Site

    SciTech Connect (OSTI)

    Boehlecke, Robert F.

    2013-05-28T23:59:59.000Z

    This letter serves as the post-closure inspection letter report for corrective action units on the Nevada Naational Security Site for calendar year 2012.

  17. Policy Flash 2013-64 Acquisition Letter 10 and Class Deviation...

    Energy Savers [EERE]

    4 Acquisition Letter 10 and Class Deviation for Nondisplacement of Qualified Workers Policy Flash 2013-64 Acquisition Letter 10 and Class Deviation for Nondisplacement of Qualified...

  18. QER- Comment of Association of Oil Pipe Lines

    Broader source: Energy.gov [DOE]

    Please find attached AOPL's comments to DOE's safety discussion in preparation for the New Orleans, LA public meeting. Thanks, John

  19. QER- Comment of Office of Franklin County Commissioner Paula Brooks

    Broader source: Energy.gov [DOE]

    Please see the attached comments from Franklin County, Ohio Commissioner Paula Brooks on the Quadrennial Energy Review.

  20. QER- Comment of Debra Walworth

    Broader source: Energy.gov [DOE]

    To Whom It May Concern: I want to state upfront that my name is the only thing I want disclosed in my comments--please do not disclose my address or any other personal contact information to the extent to the law. I attended the QER in North Dakota, and want to thank the entire delegation for coming to North Dakota. I found it very interesting and informative. I would like to support the basic idea of a complete energy package that includes oil, coal, wind, solar and bio-fuels. I understand that coal and oil are under a lot of scrutiny for environmental affects. However, we (as a country) are not in a position to stop the use of any of our energy resources. At this point in time, to do so, in my opinion, would be harmful to our country's national security. I feel the dramatic mandates being placed on coal to make other energy resources competitive, is counter-intuitive to national security and future development of alternative energy resources. North Dakota has lead the nation in environmental strategies for clean air, clean water, and clean environment. We also produce a lot of energy from coal. I think the national energy policy should take common sense steps towards the national energy policy that includes all energy resources, instead of knee-jerk reactions from misunderstood and lop-sided actions. Thank you for the opportunity to provide input on this very important topic. Sincerely, Debra Walworth

  1. QER- Comment of Laurel Greenberg

    Broader source: Energy.gov [DOE]

    To the Energy Review Task Force, I am a resident of Boston and also have property in Cummington, Mass. I am commenting specifically on a proposed gas pipeline by Kinder Morgan through the state of Massachusetts, but also generically on energy policy in New England. I am against building another gas pipeline in Massachusetts. The environmental and ecological risk of running a high pressure gas pipeline through conservation land, pristine nature, important water reservoirs, and residents farms and properties is great, and not where we as stewards of the earth should be putting our efforts. We should heed the findings that climate change is upon us and to the recommendations that we must curtail global warming emissions (like methane) and promote and support renewable energy. We should pay attention to recent independent findings that hydraulic fracturing has serious environmental problems, contributes to global warming, is harming water supplies, causes earthquakes, and is not a safe, secure, renewable method of obtaining energy. In summary, as leaders in environmental policy, we in New England should not be encouraging the production of fracked gas by building a conduit for that gas through our states. Laurel Greenberg

  2. QER- Comment of Philip Saunders

    Broader source: Energy.gov [DOE]

    Dear Sir/Madam: Please oppose the Northeast Expansion of the Tennessee Gas Pipeline. For reasons having to do with climate change, which I don't need to explain to you, it is not in our interest to be enabling further carbon combustion here or anywhere else in the world. Natural gas is not needed in Mass. as a "bridge" fuel. Mass. is making good progress toward lowering CO2 emissions, and with continued declines in the cost of photovoltaic installations, changes in net meter regulations, and expansion of offshore wind power, Mass. can produce enough renewable energy to replace the electric power lost from the closure of coal-fired plants. To the extent that gas through the proposed pipeline will be exported, I see no reason for Mass. to bear the burden of providing natural gas to China and others. The pipeline would inevitably go through wetlands, conservation land, land trust land, and agriculturally restricted land, which owners, donors, and taxpayers have gone to great lengths and expense over the generations to protect. All of this would be undone and wasted, merely so Kinder Morgan could increase its bottom line. We'd be paying the price and they would be reaping the profit. Federal approvals for the project should be withheld. Thank you for allowing me to comment. Very truly yours, Philip Saunders, Jr., Ph.D. ___________________________ PHILIP SAUNDERS ASSOCIATES Economic and Financial Analysis

  3. Formal Specification and Testing of a Management Architecture

    E-Print Network [OSTI]

    Derrick, John

    . The aim of our work is to test the applicability of FDTs to managed object specification by formallyFormal Specification and Testing of a Management Architecture G. P. A. Fernandes \\Lambda and J systems management to supply and maintain services required by users has led to a demand for management

  4. Model Transformations Require Formal Semantics Zekai Demirezen, 2

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Model Transformations Require Formal Semantics 1 Yu Sun, 1 Zekai Demirezen, 2 Tomaz Lukman, 3 limitations of model transformation, with a specific emphasis on model optimization. A primary shortcoming that can be found in many model transformation approaches and tools is the lack of formal semantics

  5. Formalizing Concepts for Efficacy-aware Business Process Modeling

    E-Print Network [OSTI]

    Ulm, Universität

    Formalizing Concepts for Efficacy-aware Business Process Modeling Matthias Lohrmann and Manfred.lohrmann,manfred.reichert}@uni-ulm.de Abstract. In business process design, business objective models can ful- fill the role of formal business process management concepts yet. Moreover, process models are currently not sufficiently

  6. Phylogeny, Genealogy, and the Linnaean Hierarchy: Formal Proofs

    E-Print Network [OSTI]

    New South Wales, University of

    Phylogeny, Genealogy, and the Linnaean Hierarchy: Formal Proofs Rex Kwok University of New South in the con- text of a phylogenetic tree. However, the only possible source for a phylogeny is a genealogy. This paper presents formal definitions for phylogenetic terms in a genealog- ical context and shows

  7. Rational transformations of formal power series Manfred Droste

    E-Print Network [OSTI]

    Zhang, Guo-Qiang

    Rational transformations of formal power series Manfred Droste Institut f¨ur Algebra, Technische and investigate two types of transformations for formal power series. We characterize when these transformations for algebraic optimization problems, cf. [17] and in the `max-plus-community' [5]. Regular language operations

  8. Formal Verification of Infinite State Systems Using Boolean Methods #

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant School automated formal verification tools are based on a bit­level model of computation, where a set of Boolean state variables encodes the system state. Using powerful inference engines, such as Binary Decision

  9. Formal Verification of Infinite State Systems Using Boolean Methods

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant School automated formal verification tools are based on a bit-level model of computation, where a set of Boolean state variables encodes the system state. Using powerful inference engines, such as Binary Decision

  10. Formal Methods: Past, Present, and Future Jeannette M. Wing

    E-Print Network [OSTI]

    (Schlumberger) . Medical: cyclotron controller (Washington) . Nuclear: experimental breeder reactor (Argonne . State machines . Theories . Languages . Programs . Hardware #12; 5 Properties of Formal Specifications of the logical theory. Part 2, 32.1.6 In summary, the practical options for Formal Arguments of verification

  11. Reducing Uncertainty: A Formal Theory of Organizations in Action 1

    E-Print Network [OSTI]

    Amsterdam, University of

    Reducing Uncertainty: A Formal Theory of Organizations in Action 1 Jaap Kamps and L'aszl'o P presents a formal reconstruction of James D. Thompson's classic contribution to organization theory---a heretofore unknown implication of the theory. #12; 1 Introduction Thompson's Organizations in Action

  12. PDMI PREPRINT --5/2003 FORMAL HERMENEUTICS AND FREGE DUALITY

    E-Print Network [OSTI]

    Prosorov, Oleg B.

    PDMI PREPRINT -- 5/2003 FORMAL HERMENEUTICS AND FREGE DUALITY Oleg PROSOROV Petersburg Department to develop the formal hermeneutics intended to be a kind of discourse interpretation theory. Our approach hermeneutics as we understand it. Classification MS2000 : 03B65, 68Q55, 68T50, 91F20 Key words and phrases

  13. The Formalization of a Simple Hardware Description Language

    E-Print Network [OSTI]

    Boyer, Robert Stephen

    has been formalized using the Boyer­Moore logic. Instead of representing circuits as formulas of a particular logic, combinational circuits are represented by list constants in the Boyer­Moore logic. A good. This formalization was carried out with the Boyer­Moore logic and its associated mechanical theorem prover [Boyer

  14. Telephone Flat Geothermal Development Project Environmental Impact Statement Environmental Impact Report. Final: Comments and Responses to Comments

    SciTech Connect (OSTI)

    None

    1999-02-01T23:59:59.000Z

    This document is the Comments and Responses to Comments volume of the Final Environmental Impact Statement and Environmental Impact Report prepared for the proposed Telephone Flat Geothermal Development Project (Final EIS/EIR). This volume of the Final EIS/EIR provides copies of the written comments received on the Draft EIS/EIR and the leady agency responses to those comments in conformance with the requirements of the National Environmental Policy Act (NEPA) and the California Environmental Quality Act (CEQA).

  15. QER- Comment of Larry Goodman

    Broader source: Energy.gov [DOE]

    Dear QER Review Task Force & DOE Analysis Team: My name is Larry Goodman. I am a resident of Hebron NH and I am very aware of the significant energy issues facing New England. First of all, thank you for this well timed and necessary conference. The points raised in your 11 page "energy constraints" document are basically identical to the points raised by ISO-NE in their comprehensive January, 17th 2014 letter to Secretary Bose of FERC. Clearly the issues of reliability, affordability and the ability to perform during scarcity conditions are critical to NE'S energy future. As ISO-NE's document to FERC stated: "a structural bias in the FCM to clear less reliable resources is eroding reliability over time." I am particularly concerned with non-dispatchable "renewable" generation sources that require huge transmission resources and are unable to ever replace baseload power generation anywhere in the IS0-NE footprint. You are undoubtedly very familiar with the New England Wind Integration Study { NEWIS }. As you know this very comprehensive document looked at wind's potential role in New England and it was authored by three companies directly involved, financially, with industrial scale wind. Now that both you and ISO-NE have focused on performance metrics as they impact dispatchable and predictable reliability, allow me to highlight the following from the NEWIS: "The capacity value of wind is dominated by the wind performance during just a few hours of the year when load demand is high." "Wind delivers minimum production in peak load months." "No conventional generation is eliminated as wind is added." And, since natural gas is clearly the baseload source that NE relies on most, please consider the following: "Although displacement of fossil fuel generation might be one of the objectives of regional energy policies, a consequence is that it { wind } may radically change the market economics for all resources on the system but especially for the natural gas fired resources that are displaced." "Capacity prices from these {gas} plants will likely need to increase if they are to remain economically viable. Higher onpeak/offpeak price differential is created." The impact of more emphasis on a non-dispatchable "renewable" that can only displace gas, not coal or oil in NE, is expected to result in higher prices for gas and/or gas plant closings. {NEWIS} You know better than I do obviously that we can't afford higher prices or to lose any natural gas capacity. ISO-NE's letter to FERC was clear in its purpose and intent. There are plenty of renewable options in New England that can deliver dispatchable baseload power. " Increased wind generation will displace {minimally} other supply side resources {gas} and reduce the flexibility of the dispatchable generation mix." This is exactly what we don't need in New England! Wind is, apparently, the most expensive and least effective way to reduce carbon in New England. There are more effective and efficient renewable options that can deliver during scarcity conditions and do not play havoc with the reliability and affordability of the Grid. Industrial scale wind in NE is a dinosaur. Please do not allow it to continue to receive preferential treatment at the expense of the ratepayers in NE and at the expense of the safety and reliability of the grid itself. Thank you. Sincerely, Larry Goodman

  16. Final Environmental Impact Statement for the construction and operation of Claiborne Enrichment Center, Homer, Louisiana (Docket No. 70-3-70). Volume 2, Public comments and NRC response

    SciTech Connect (OSTI)

    Zeitoun, A. [Science Applications International Corp., Germantown, MD (United States)

    1994-08-01T23:59:59.000Z

    The Final Environmental Impact Statement (FEIS) (Volume 1), was prepared by the Nuclear Regulatory Commission (NRC) in accordance with regulation 10 CFR Part 51, which implements the National Environmental Policy Act (NEPA), to assess the potential environmental impacts for licensing the construction and operation of a proposed gaseous centrifuge enrichment facility to be built in Claiborne Parish, Louisiana by Louisiana Energy Services, L.P. (LES). The proposed facility would have a production capacity of about 866 metric tons annually of up to 5 weight percent enriched UF{sub 6}, using a proven centrifuge technology. Included in the assessment are co on, both normal operations and potential accidents (internal and external events), and the eventual decontamination and decommissioning of the site. In order to help assure that releases from the operation of the facility and potential impacts on the public are as low as reasonably achievable, an environmental monitoring program was developed by LES to detect significant changes in the background levels of uranium around the site. Other issues addressed include the purpose and need for the facility, the alternatives to the proposed action, potential disposition of the tails, the site selection process, and environmental justice. The NRC staff concludes that the facility can be constructed and operated with small and acceptable impacts on the public and the environment, and proposes to issue a license to the applicant, Louisiana Energy Services, to authorize construction and operation of the proposed facility. The letters in this Appendix have been divided into three sections. Section One contains letters to which the NRC responded by addressing specific comments. Section Two contains the letters that concerned the communities of Forest Grove and Center Springs. Section Three is composed of letters that required no response. These letters were generally in support of the facility.

  17. QER- Comment of America's Wetland Foundation

    Broader source: Energy.gov [DOE]

    Thank you for the opportunity to make oral remarks on behalf of the America¹s WETLAND Foundation in New Orleans on May 27, 2014 during the public comment period at the meeting held by the U.S. Department of Energy as the Secretariat for the Quadrennial Energy Review (QER). In follow up, attached is a summation of those comments, along with three reports released by the Foundation for your review that will provide information helpful to the committee. Please do not hesitate to contact me if there are questions or if more information is desired, Sidney Coffee

  18. Microsoft Word - Public Letter regarding Alcoa 12-08 unsigned...

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

    to limit BPA's financial exposure, while providing Alcoa an opportunity to sustain its smelter operations at the Intalco Plant. The comments provided at this time will be an...

  19. BALKAN PHYSICS LETTERS c Bogazici University Press 27 October 2008

    E-Print Network [OSTI]

    Gagnon, Pauline

    BALKAN PHYSICS LETTERS c Bogazici University Press 27 October 2008 BPL, X (X), pp. X - X (2008? In Turkey, like elsewhere in the Balkans, there is a higher proportion of women physicists than in other, ATLAS collaborators must have contributed to the ex- #12;2 BALKAN PHYSICS LETTERS periment for at least

  20. Writing Mentor Letters Greg Siegle, Ph.D.

    E-Print Network [OSTI]

    Siegle, Greg J.

    Writing Mentor Letters Greg Siegle, Ph.D. 9/24/2014 You may be asked to draft letters about you from your mentor. Think of this as an opportunity and not a shirked responsibility. This is your mentor of your mentors' belief in you. Hints: Do not be modest ­ your mentors should know you, be enthusiastic

  1. Date [Rev 10/99] Name [MODEL LETTER OF INTENT

    E-Print Network [OSTI]

    Baker, Chris I.

    Date [Rev 10/99] Name [MODEL LETTER OF INTENT] Title Company Name Address Reference: Proposed CRADA CRADA Dear _____________________: Per our discussions, this Letter of Intent confirms our understanding and Development Agreement (CRADA) by the CRADA Subcommittee and approval by the Director, National Institute

  2. Reply to the "Comment on 'Piezonuclear decay of thorium' [Phys. Lett. A 373 (2009) 1956]" [Phys. Lett. A 373 (2009) 3795] by G. Ericsson et al

    E-Print Network [OSTI]

    F. Cardone; R. Mignani; A. Petrucci

    2009-10-13T23:59:59.000Z

    In a paper appearing in this issue of Physics Letters A, Ericsson et al. raise some critical comments on the experiment [F. Cardone, R. Mignani, A. Petrucci, Phys. Lett. A 373 (2009) 1956] we carried out by cavitating a solution of thorium-228, which evidenced its anomalous decay behaviour, thus confirming the results previously obtained by Urutskoev et al. by explosion of titanium foils in solutions. In this Letter, we reply to these comments. In our opinion, the main shortcomings of the criticism by the Swedish authors are due to their omitting of inserting our experiment in the wider research stream of piezonuclear reactions, and to the statistical analysis they used, which does not comply with the rules generally accepted for samples with small numbers. However, apart from any possible theoretical speculation, there is the basic fact that two different experiments (ours and that by Urutskoev et al.), carried out independently and by different means, highlight an analogous anomaly in the decay of thorium subjected to pressure waves. Such a convergence of results shows that it is worth to further carry on experimental investigations, in order to get either a confirmation or a disproof of the induced-pressure anomalous behaviour of radioactive nuclides even different from thorium.

  3. Transforming PLC Programs into Formal Models for Verification Purposes

    E-Print Network [OSTI]

    Darvas, D; Blanco, E

    2013-01-01T23:59:59.000Z

    Most of CERN’s industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testing is already applied to find errors, but this method has limitations. In this work an approach is proposed to transform automatically PLC programs into formal models, with the goal of applying formal verification to ensure their correctness. We target model checking which is a precise, mathematical-based method to check formalized requirements automatically against the system.

  4. Letter report to Pete Sanders, DOE:

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA group currentBradleyTableSelling7111AWell:F E ,"^ I 1'DataS11973TextLetter

  5. LETTER TEMPLATE TO PROJECTS ON HOLD

    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 toLED Lighting Facts LEDLEDsfirst

  6. Acquisition Letters Archives | Department of Energy

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed off Energy.gov. Are you0 ARRA Newsletters 20103-03 AUDITProducts &Acquisition LetterAcquisition

  7. QER- Comment of PSEG Services Corporation

    Broader source: Energy.gov [DOE]

    Attached please find the comments and responses of the PSEG Companies (Public Service Electric and Gas Company, PSEG Power LLC and PSEG Long Island LLC) to the questions raised by the U.S. Department of Energy. Should you have any questions or problems regarding the attached document, please do not hesitate to contact me.

  8. QER- Comment of Portland General Electric

    Broader source: Energy.gov [DOE]

    Thanks, Karen. As per our email exchange earlier this week, we're attaching prepared comments from PGE to support the statement Jim Piro offered at the QER public meeting in Portland this past summer. We appreciate your flexibility on the submission deadline! Please let me know if you need anything else from us.

  9. Critical in PROJECT TITLE COMMENTS BPA NPCC

    E-Print Network [OSTI]

    PLANNING AND CONSERVATION COUNCIL AND BONNEVILLE POWER ADMINISTRATION "RANKINGS" FOR PROJECTS UNDER in annual planning budget and feasibility of approach to achieve efficiencies. BPA reduced by $250PROJECT NUMBER (BiOp Critical in Italics) PROJECT TITLE COMMENTS BPA NPCC 35019 Develop

  10. QER- Comment of Allen Young 2

    Broader source: Energy.gov [DOE]

    Here is a comment from me on the issue of energy infrastructure in Massachusetts. I will address only one issue: the proposed Kinder Morgan pipelines from Albany to Dracut. I am absolutely opposed to the construction of this pipeline and here are my reasons

  11. QER- Comment of Western Environmental Law Center

    Broader source: Energy.gov [DOE]

    To whom it may concern, I provided the following comments at the public meeting in Santa Fe, NM on 8/11/14: My name is Thomas Singer, and I am a Senior Policy Advisor at the Western Environmental Law Center.

  12. QER- Comment of State Energy Advisory Board

    Broader source: Energy.gov [DOE]

    Dear Melanie: As you are aware, QER is an area of focus for STEAB and we are working directly with EPSA on it. Attached, please find a copy of the State Energy Advisory Board's response to the Office of Energy Policy and Systems Analysis. Please feel free to contact me with any questions or comments.

  13. Solar cells with a twist Comments ( 35)

    E-Print Network [OSTI]

    Rogers, John A.

    Solar cells with a twist Article Comments ( 35) JULIE STEENHUYSEN REUTERS OCTOBER 7, 2008 AT 9:58 AM EDT CHICAGO -- U.S. researchers have found a way to make efficient silicon-based solar cells of buildings as opportunities for solar energy," Prof. Rogers said in a telephone interview. Solar cells, which

  14. QER- Comment of ISO New England, Inc.

    Broader source: Energy.gov [DOE]

    Attached please find comments from ISO New England President & CEO Gordon van Welie on the US Department of Energy’s Quadrennial Energy Review. If you are unable to open or access the attached PDF for whatever reason, please contact me at the number below. Thank you,

  15. QER- Comment of Don Ogden

    Broader source: Energy.gov [DOE]

    To the Quadrennial Energy Review Task Force and Energy Policy Systems Analysis Staff: We are unable to attend today's public meeting in Hartford, CT. With only four working days advanced notice of this event we find it difficult to believe that any real effort has been made on your part to reach out to the public for their input. Be that as it may, we want to take this opportunity to comment on the very subject of this meeting. The only true energy related "Infrastructure constraints" we are aware of here in New England are those experienced by corporate entities who seek to export our precious resources to other nations for profit. This, of course, is not at all in the public's interest. Certainly you recall all the efforts our goverment put into establishing "Energy Independence"? That phrase has, and continues to be the watchword heard throughout our nation. Why now, when so-called "Energy Independence" has yet to be established, would we choose to enable private corporations to export gas and oil to other countries at our expense? Further, why is it that corporations and their supporters in government are not actively seeking to repair the massive and dangerous leaks in our existing pipelines? How can corporations and government agencies who reportedly oversee energy corporations even consider building new pipelines when the existing ones are in so need of repair? With this in mind, the only "constraints" we are aware of are the lack of constraints on energy corporations run amok, forever seeking more profits at the expense of the public good. Please recall your mission: "The mission of the Energy Department is to ensure America's security and prosperity by addressing its energy, environmental and nuclear challenges through transformative science and technology solutions." Such security is only possible if we plan ahead for future generations in the midst of the Climate Crisis. Selling off our energy resources to other nations until they are depleted is not in keeping with that mission. Allowing existing energy infrastructure to leak methane and other elements into our compromised atmosphere is not in keeping with that mission. Let's have some of those "transformative solutions", let's put every effort into limiting gas & oil leaks and keeping our energy resources here at home. Don Ogden, producer/co-host The Enviro Show WXOJ-LP & WMCB

  16. QER- Comment of American Water

    Broader source: Energy.gov [DOE]

    Dear QER Team; Thank you for the opportunity to provide comments to the Quadrennial Energy Review Task Force to discuss the water and energy nexus, advances in water innovative technologies, and the impact of climate change on water issues. On behalf of American Water, I wish to submit the following White Papers which we have prepared on these critical issues: Innovations in Energy Use Sustainability and Resiliency Planning for Water Utilities One Water Water/Energy Correlation The Value of Water Challenges in the Water Industry: Climate Change Challenges in the Water Industry: Meeting Demand in the West Innovation Solutions Within the Water Industry: Desalination Innovation Solutions Within the Water Industry: Going Green Innovation Solutions Within the Water Industry: Water Reuse Bridging the Water Innovation Gap. Founded in 1886, American Water is the largest publicly traded U.S. water and wastewater utility company. With headquarters in Voorhees, NJ, the company employs approximately 6,600 dedicated professionals who provide drinking water, wastewater and other related services to an estimated 14 million people in more than 40 states. Please feel free to contact me if you have any questions or if there is any way American Water can be helpful to your mission. Respectfully Yours, Martin (See attached file: White Papers.pdf) Martin D. Kerckhoff Vice President and Divisional General Counsel Central Division American Water CONFIDENTIAL & PRIVILEGED COMMUNICATION This email and any attachments hereto constitute a legally confidential communication from the Legal Department of American Water. The information contained herein is subject to attorney-client privilege and is for the sole use of the intended original addressee. If you are not the intended original addressee, you are hereby notified that any reading, disclosure, copying, distribution, use, or taking of any action in reliance on the contents contained herein is strictly prohibited. If you have received this message in error, please immediately notify us at 314.966.2241 and delete this message from your system. WARNING: Although American Water has taken reasonable precautions to ensure that no viruses are present in this email, it is the responsibility of the recipient to ensure that it is virus free. No responsibility is accepted by American Water for any loss or damage arising in any way from the receipt and/or use of this email.

  17. Formal Support for an Informal Business Modelling Method 

    E-Print Network [OSTI]

    Chen-Burger, Jessica; Robertson, Dave; Stader, Justine

    2000-01-01T23:59:59.000Z

    Business modelling methods are popular but, since they operate primarily in the early stages of software lifecycles, most are informal. This paper describes how we have used a conventional formal notation (first order predicate logic) in combination...

  18. Slovene Ultra-Formal Address: Borrowing, Innovation, and Analysis

    E-Print Network [OSTI]

    Reindl, Donald F.

    2007-01-01T23:59:59.000Z

    osvetlile pojav, ki je prisoten v ve? slovanskih jezikih. Slovene has a system of address that differs from the basic binary address system of many European languages by grammatically distinguishing up to four levels of formality (informal, semiformal...

  19. Challenges in Applying Formal Methods An SME View

    E-Print Network [OSTI]

    Southampton, University of

    Challenges in Applying Formal Methods An SME View Mathieu Clabaut Systerel, Aix-en-Provence, France classical B and event B to design safety related systems in an SME. 1 Activities Systerel is an SME doing

  20. Una introduccion al Analisis Formal de Conceptos en PVS

    E-Print Network [OSTI]

    Alonso, José A.

    Una introducci´on al An´alisis Formal de Conceptos en PVS Jos´e A. Alonso, J. Borrego, M.J. Hidalgo, F.J. Mart´in y J.L. Ruiz www.cs.us.es/{~jalonso, ~jborrego, ~mjoseh, ~fmartin, ~jruiz} Dpto. de una formalizaci´on en PVS del An´alisis Formal de Conceptos. Inicialmente, formalizamos la noci´on de

  1. B&W Pantex Enforcement Letter

    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 Charges k.AwardeeB l

  2. Letter report: Cold crucible melter assessment

    SciTech Connect (OSTI)

    Elliott, M.L.

    1996-03-01T23:59:59.000Z

    One of the activities of the PNL Vitrification Technology Development (PVTD) Project is to assist the Tank Waste Remediation Systems (TWRS) Program in determining which melter systems should be performance tested for potential implementation in the high-level waste (HLW) vitrification plant. The Richland Operations Office (RL) has recommended that the Cold Crucible Melter (CCM) be evaluated as a candidate ``next generation`` melter. As a result, the CCM System Evaluation cost account was established under the PVTD Project so that the CCM could be initially assessed on a high-priority basis. This letter report summarizes a brief initial review and assessment of the CCM. Using the recommendations made in this document, Westinghouse Hanford Company (WHC) and RL will make a decision regarding the urgency of performance testing the CCM. If the decision is favorable, a subcontract will be negotiated for performance testing of a CCM using Hanford HLW simulants in a pilot-scale facility. Because of the aggressive nature of the schedule, the CCM evaluation was not rigorous. The evaluation consisted of a literature review and interviews with proponents of the technology during a recent trip to France. This letter report summarizes the evaluation and makes recommendations regarding further work in this area.

  3. Comments, Protests and Interventions for Alaska LNG Project LLC...

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

    Begich and Congressman Don Young, Alaska Congressional Delegation Letter in Support of LNG Export Application 2. 102414 Pentair Vavles & Controls, Randy Akers, Technical Sales...

  4. Chapter 5 Comments on Draft Environmental Assessment and Responses

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

    EA. The following letters were received: A. United States Department of the Interior, Fish and Wildlife Service, Ecological Services, Colorado Field Office, LeRoy W. Carlson,...

  5. The cover letter, also known as the letter of application, is uniformly requested in academic job postings and is an important document. You should spend ample time writing and proofreading targeted letters for each job. As with

    E-Print Network [OSTI]

    Kaminsky, Werner

    The cover letter, also known as the letter of application, is uniformly requested in academic job letters for each job. As with all of your materials, have a faculty member in your department look over for a position that is not a direct match with your previous experiences. o The job description does not request

  6. The cover letter, also known as the letter of application, is uniformly requested in academic job postings and is an important document. You should spend ample time writing and proofreading targeted letters for each job. As with

    E-Print Network [OSTI]

    Manchak, John

    The cover letter, also known as the letter of application, is uniformly requested in academic job letters for each job. As with all of your materials, have a faculty member in your department look over are applying for a position that is not a direct match with your previous experiences. o The job description

  7. LETTERS TO THE EDITOR The Letters to the Editor section is divided into four categories entitled Communications, Notes, Comments, and Errata.

    E-Print Network [OSTI]

    Levis, Robert J.

    methods, such as, electron energy loss spectros- copy and infrared reflection-absorption spectroscopy. For chemisorption systems, the region near the minima of a surface-adsorbate PES can be probed by spec- troscopic

  8. Letter and Response Summary: Removal of PCB Transformers. Letter transmits response summary for the comments from the Missouri Department of Natural Resources.

    Office of Legacy Management (LM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA group currentBradleyTableSelling CorpNewCF INDUSTRIES,L? .-I I2 m.m\ LILTS PlanI9

  9. Comment on "Pulsar Velocities and Neutrino Oscillations"

    E-Print Network [OSTI]

    Y. -Z. Qian

    1997-05-08T23:59:59.000Z

    In a recent Letter, Kusenko and Segre proposed a new mechanism to explain the observed proper motions of pulsars. Their mechanism was based on the asymmetric neutrino emission induced by neutrino oscillations in the protoneutron star magnetic field. In this note I point out that their estimate of the asymmetry in the neutrino emission is incorrect. A proper calculation shows that their mechanism at least requires a magnetic field of 10**16 G in order to produce the observed average pulsar velocity.

  10. RedSeal Comments on "Smart Grid RFI: Addressing Policy and Logistical...

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

    RedSeal Comments on "Smart Grid RFI: Addressing Policy and Logistical Challenges. RedSeal Comments on "Smart Grid RFI: Addressing Policy and Logistical Challenges. RedSeal Comments...

  11. MICHIGANSTATEUNIVERSITYTheGraduateSchool CoverLettersPhDCareerServices

    E-Print Network [OSTI]

    are apply- ing to; conveying interest in the position and why you are interested. Essentials: Why you think for written credentials http://www.csp.msu.edu/resources-tools/index.html Resume/Cover Letters (Stanford

  12. LETTER TO A LAW STUDENT INTERESTED IN SOCIAL JUSTICE

    E-Print Network [OSTI]

    Zhou, Pei

    LETTER TO A LAW STUDENT INTERESTED IN SOCIAL JUSTICE WILLIAM P. QUIGLEY* Dear Bridgette: I am. For further reading on this topic, see William P. Quigley, Revolution- ary Lawyering: Addressing the Root

  13. Year in Review Letter from the President 2

    E-Print Network [OSTI]

    Year in Review 2010 #12;#12;Contents Letter from the President 2 Open for Business 4 Community one filled with success and promise for Old Dominion University. As you'll see in this Year in Review

  14. Letter from the Wind Program Director: May 2014 | Department...

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

    May 2014 Letter from the Wind Program Director: May 2014 March 28, 2014 - 4:52pm Addthis The spring edition of the Wind Program Newsletter comes at quite a busy and exciting time...

  15. Comments of the National Rural Electric Cooperative Association...

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

    approximately 65 generation and transmission (-G&T) Cooperatives that supply wholesale power to their distribution Cooperative member-owners. Comments of the National...

  16. Comments of the Southern Environmental Law Center and the American...

    Energy Savers [EERE]

    Emergency Order and allow federal and state regulators the discretion to enforce binding air pollution control laws. Comments of the Southern Environmental Law Center and the...

  17. U.S. Department of Energy - Quadrennial Energy Review Comments...

    Energy Savers [EERE]

    Department of Energy - Quadrennial Energy Review Comments Provided by Canadian Hydrogen Fuel Cell Association- Submitted October 10, 2014 U.S. Department of Energy - Quadrennial...

  18. Comments of Tendril Networks, Inc. on DOE Request for Information...

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

    Consumers and the Smart Grid: Data Access, Third Party Use and Privacy Comments of the Demand Response and Smart Grid Coalition on DOE's Implementing the National Broadband Plan...

  19. Tendril RFI Comments - 11.1.10 - DRAFT

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

    a software and hardware solution that enables residential home energy management and demand response. Therefore, our comments will primarily address issues that affect...

  20. QER- Comment of Electric Power Supply Association 2

    Broader source: Energy.gov [DOE]

    Please find the attached comments of the Electric Power Supply Association on the Department of Energy’s Quadrennial Energy Review due October 10, 2014. Respectfully submitted,

  1. QER- Comment of Electric Power Supply Association 3

    Broader source: Energy.gov [DOE]

    Please find the attached comments of the Electric Power Supply Association on the Department of Energy’s Quadrennial Energy Review due October 10, 2014. Respectfully submitted,

  2. QER- Comment of Electric Power Supply Association 4

    Broader source: Energy.gov [DOE]

    Please find the attached comments of the Electric Power Supply Association on the Department of Energy’s Quadrennial Energy Review due October 10, 2014.

  3. QER- Comment of Electric Power Supply Association 1

    Broader source: Energy.gov [DOE]

    Please find the attached comments of the Electric Power Supply Association on the Department of Energy’s Quadrennial Energy Review due October 10, 2014. Respectfully submitted,

  4. Comments by the Energy Storage Association to the Department...

    Energy Savers [EERE]

    by the Energy Storage Association to the Department of Energy Electricity Advisory Council - March 13, 2014 Comments by the Energy Storage Association to the Department of Energy...

  5. AARP, National Consumer Law Center, and Public Citizen Comments...

    Energy Savers [EERE]

    AARP, National Consumer Law Center, and Public Citizen Comments to:DEPARTMENT OF ENERGY Smart Grid RFI: Addressing Policy and Logistical Challenges AARP, National Consumer Law...

  6. Comments on Department of Energy's Emergency Order To Resume...

    Office of Environmental Management (EM)

    Compliance Plan Docket No. EO-05-01: Riverkeeper, and the Anacostia Riverkeeper at Earth Conservation Corps, submits the following comments on the Department of Energy's...

  7. Comment on Tunable generation and adsorption of energetic compounds...

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

    Tunable generation and adsorption of energetic compounds in the vapor phase at trace levels: A tool for testing and Comment on Tunable generation and adsorption of energetic...

  8. Supplemental Comments of David K. Paylor, Director of the Commonwealth...

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

    these comments concerning the operation of the Potomac River Generation Station Power Plant ("Potomac River Power Plant" or "Plant"), owned by Mirant Potomac River, LLC...

  9. Comments of New England Electric Transmission Corporation on...

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

    out of time and comments of New England Electric Transmission Corporation, New England Hydro-Transmission Electric Company, Inc. and New England Hydro-Transmission Corporation and...

  10. QER- Comment of Large Public Power Council 2

    Broader source: Energy.gov [DOE]

    Attached please find comments by the Large Public Power Council for the record regarding the April 11th QER meeting.

  11. Public Invited to Comment on Draft Environmental Assessment for...

    Office of Environmental Management (EM)

    Environmental Assessment for the Resumption of Transient Testing of Nuclear Fuels and Materials Public Invited to Comment on Draft Environmental Assessment for the Resumption of...

  12. Comments from The Center for Democracy and Technology and the...

    Energy Savers [EERE]

    from The Center for Democracy and Technology and the Electric Frontier Foundation: Implementing the Fips in the Smart Grid Comments from The Center for Democracy and Technology and...

  13. BPA's proposed oversupply management protocol for comment, Feb...

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

    comments on a draft proposal to address seasonal electricity oversupply by paying wind energy producers to curtail their output if necessary. There is also an associated...

  14. Agency Information Collection Extension Notice of Public Comment...

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

    of Management and Budget (OMB), Department of Energy Form OE-417, ''Emergency Electric Incident and Disturbance Report.'' Comments regarding this proposed information collection...

  15. Comments of NRDC on Department of Energy Interim Final Rule:...

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

    NRDC's comments on Interim Final Rule: Energy Conservation for New Federal Commercial and Multi-Family High-Rise Residential Buildings and New Federal Low-Rise Residential...

  16. Public Comment re Convention on Supplementary Compensation for...

    Energy Savers [EERE]

    Convention on Supplementary Compensation for Nuclear Damage Contingent Cost Allocation Public Comment re Convention on Supplementary Compensation for Nuclear Damage Contingent Cost...

  17. QER- Comment of National Rural Electric Cooperative Association 4

    Broader source: Energy.gov [DOE]

    NRECA is submitting additional comments to supplement the one previously filed on October 3rd. Please let me know if you have any questions.

  18. Comments on Request For Information regarding Reducing Regulatory...

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

    Request For Information regarding Reducing Regulatory Reform issued February 3, 2011 (Federal Register Vol. 76, No. 23 Thursday, February 3, 2011 Notices). Comments on Request...

  19. Preliminary Comments on Compliance Plan and Request for Clarification...

    Energy Savers [EERE]

    Preliminary Comments on Compliance Plan and Request for Clarification or, in the Alternative, Rehearing of the District of Columbia Public Service Commission Docket No....

  20. QER- Comment of American Wind Energy Association 2

    Broader source: Energy.gov [DOE]

    QER Task Force – Attached please find brief supplemental comments that AWEA would like to submit for your consideration as you continuing drafting the QER.

  1. Comments on cathode contaminants and the LBNL test stand

    E-Print Network [OSTI]

    Bieniosek, F.; Baca, D.; Greenway, W.; Leitner, M.; Kwan, J.W.

    2006-01-01T23:59:59.000Z

    LBNL-61978 Comments oncathode contaminants and the LBNL test stand F. Bieniosek,the process of operating the LBNL DARHT cathode test stand.

  2. Plains and Eastern Clean Line Transmission Line: Comment from...

    Office of Environmental Management (EM)

    from Block Plains and Eastern Clean Line: Arkansas and Oklahoma Plains and Eastern Clean Line Transmission Line: Comment from Block Plains and Eastern Clean Line: Arkansas and...

  3. BPA Response to Comments on Oversupply Management Protocol

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

    Wind energy producers, regional utilities, interest groups and others submitted approximately 90 comments on Bonneville Power Administration's Feb. 7 proposed protocol for...

  4. BPA, Response to public comment on 2012 Oversupply Management...

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

    (Revised March 28, 2012) Wind energy producers, regional utilities, interest groups and others submitted approximately 90 comments on Bonneville Power Administration's Feb. 7...

  5. Reply to 'Comment on 'Noncommutative gauge theories and Lorentz symmetry''

    SciTech Connect (OSTI)

    Banerjee, Rabin; Chakraborty, Biswajit; Kumar, Kuldeep [S. N. Bose National Centre for Basic Sciences, JD Block, Sector 3, Salt Lake, Kolkata 700098 (India); Department of Physics, Panjab University, Chandigarh 160014 (India)

    2008-02-15T23:59:59.000Z

    This is a reply to the preceding 'Comment on 'Noncommutative gauge theories and Lorentz symmetry'', Phys. Rev. D 77, 048701 (2008) by Alfredo Iorio.

  6. QER- Comment of Large Public Power Council 1

    Broader source: Energy.gov [DOE]

    Attached are the Comments of the Large Public Power Council on the QER. Please feel to contact me if you have any questions.

  7. Comments from The National Association of Regulatory Utility...

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

    The National Association of Regulatory Utility Commissioners (NARUC) appreciates the opportunity to provide comments to the Department of Energy (DOE) on this Request for...

  8. QER- Comment of New England State Committee on Electricity

    Broader source: Energy.gov [DOE]

    Attached are comments of the New England States Committee on Electricity (NESCOE) on the QER meeting held in New England on April 21, 2014.

  9. Comments from the Virginia Department of Environmental Quality...

    Energy Savers [EERE]

    from the Virginia Department of Environmental Quality on PEPCO's Intention to Commence Planned Transmission Outages Comments from the Virginia Department of Environmental Quality...

  10. Response from PEPCO to the Comments from the Virginia Department...

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

    in the event of an interruption in electric power service to that area. Response from PEPCO to the Comments from the Virginia Department of Environmental Quality on PEPCO's...

  11. PEPCO Comments on Special Environmental Analysis For Actions...

    Energy Savers [EERE]

    PEPCO Comments on Special Environmental Analysis For Actions Taken Under U.S. Department of Energy Emergency Orders Regarding Operation of the Potomac River Generating Station in...

  12. Extension of Comment Period on the Draft Integrated, Interagency...

    Energy Savers [EERE]

    Extension of Comment Period on the Draft Integrated, Interagency Pre-Application (IIP) Process for Electric Transmission Projects Requiring Federal Authorizations Extension of...

  13. Comments from Congressman James P. Moran, 8th District of Virginia...

    Office of Environmental Management (EM)

    from Congressman James P. Moran, 8th District of Virginia Supporting the Comments from the City of Alexandria on PEPCO's Intention to Commence Planned Transmission Outages Comments...

  14. EIS-0283-S2: Notice of Extension of Public Review and Comment...

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

    and Comment Period and Announcement of an Additional Public Hearing Draft Surplus Plutonium Disposition Supplemental Environmental Impact Statement DOE has extended the comment...

  15. QER- Comment of Jennifer Markens 9

    Broader source: Energy.gov [DOE]

    To the QER committee; Over the last six months, as an average citizen, I have learned a great deal about current energy policy. We have no real news any longer, so it takes much work to find out about things that affect our lives as citizens. This opportunity for comment, for example, is really not in any sense "an opportunity for public commentary" since the U.S. public is largely uninformed in any real sense.

  16. QER- Comment of Natural Gas Supply Association

    Broader source: Energy.gov [DOE]

    TO: Quadrennial Energy Review Task Force In response to the Department of Energy’s August 25, 2014 Federal Register Notice seeking input on the Quadrennial Energy Review, attached are comments from the Natural Gas Supply Association. Thank you for this opportunity to share our views on the important issue of energy infrastructure. If we can be of further assistance, please let me know. Regards,

  17. QER- Comment of Liberty Goodwin

    Broader source: Energy.gov [DOE]

    As suggested by Sen. Jack Reed, below and attached are my comments on energy policy for now and the future: ***************************************************************************** AN OUTLINE FOR PRACTICAL & FRUITFUL ENERGY DEVELOPMENT WITH SPECIAL ATTENTION TO SENSIBLE PUBLIC INVESTMENT (Thoughts on intelligent action for energy that is abundant, affordable, associated with many jobs and economic health in New England and the nation) ** CLINGING TO OUTMODED & DESTRUCTIVE TECHNOLOGIES – WE DON'T NEED TO ARGUE ABOUT CLIMATE CHANGE TO SEE THE WAY FORWARD 1. Fossil fuels and nuclear have clear and present dangers and damaging effects, on human and environmental health. This includes the uncontestable pollution involved in production and use, and the risks of greater disasters, along with concerns about toxic waste that can contaminate our water and more. 2. Renewable sources offer a vast number of possibilities for energy production for a variety of uses. To not explore them is wasteful. To stick to same-old, same-old is foolish, and will leave us at the rear of the pack re: future energy development. **SMALL IS BEAUTIFUL – LESS RISKY – MORE PRODUCTIVE – MORE LOCAL 1 Solyndra is the bad apple that makes the point. Because something costs millions, or even billions of dollars doesn't mean it is the way to achieve huge results. The only thing that is huge about propping up mega-corporations is the risk. 2 Making the money available in far smaller amounts to a variety of solar efforts is both less risky and more promising – gives more chance of positive results. And, to anyone who can do the math – millions of small installations is as productive as one giant. 3 Smaller projects tend to be more labor-intensive – and offer local employment in a bunch of different places, benefiting the economies of all. **BENEFICIAL INNOVATION IS NOT BORN IN A CORPORATE THINK TANK, BUT IN THE MINDS OF INDIVIDUAL GENIUSES. 1. History tells us that great inventions have been developed by unknowns working in garages, bike shops, etc. We need to look beyond the elite in corporate money tanks and prestigious academia to find the gems in our own backyards. 2. One such, Paul Klinkman, has at least 50 inventions on hand, is developing several, has one patent and a few more in process, most related to alternative energy production. 3. The point is that we would find many like him – if we would only look. 4. Also, we should be seeking not just new technologies, but new business models. Check out the example from our greenhouse flyer, below. **SAVVY INVESTORS DON'T PUT THE BULK OF THEIR FORTUNES IN JUST A COUPLE OF STOCKS. THEY SPREAD THE RISK BY DIVERSIFYING. LET US BE LIKEWISE SMART IN USE OF PUBLIC MONEY 1 "Renewable energy" is not just about electricity, or even that and hot water. It is not even just those and wind, and certainly more than "solar panels". 2 We need to explore and use the many different types of alternatives, just as we do in most other aspects of our society. 3 Taking the kind of money that was allocated to Solyndra (or even to 38 Studios here in Rhode Island, and instead investing it in even 10 small projects, is a much wiser choice than betting it on another big boondoggle. **WHAT TO DO? PUT OUR MONEY INTO SUPPORT FOR WIDESPREAD USE OF CURRENT "GREEN" ENERGY TECHNOLOGY, AND EVALUATION & DEVELOPMENT OF NEW, TRULY INNOVATIVE OPTIONS 1 Make renewable energy credits available for all solar, wind and other technologies that show promise for meeting our energy needs. 2 Consider setting up an Important Innovations Center like the one described on the other side. TWO EXAMPLES OF NEW & EXCITING RESEARCH & BUSINESS MODELS A. PROPOSED NEW KSD NON-PROFIT IMPORTANT INNOVATIONS CENTER PURPOSES **Provide a place where small inventors can get help in evaluating and developing their ideas. **Provide a place which will focus specifically on inventions that have the potential to benefit the world and its people. **Provide a place which will especially focus on solutions to energy needs – and to environmental pollution and other

  18. Formal Session of the Board of Control Michigan Technological University

    E-Print Network [OSTI]

    . Appointment of Nominating Committee E. 2012-2013 Room and Board and Apartment Rental Rates F. Approval for Mac Safety Statistics G. Disposal of Surplus Property #12;VIII. Other Business IX. Public Comments X. Closed,785,603 Private Foundations 2,558,749 Gifts-in-Kind 5,268,849 Grand Total $162,396,269 2 Draft #12;3 $16 $20 $22

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

  20. Finite BRST-antiBRST Transformations in Generalized Hamiltonian Formalism

    E-Print Network [OSTI]

    Pavel Yu. Moshin; Alexander A. Reshetnyak

    2014-10-15T23:59:59.000Z

    We introduce the notion of finite BRST-antiBRST transformations for constrained dynamical systems in the generalized Hamiltonian formalism, both global and field-dependent, with a doublet $\\lambda_{a}$, $a=1,2$, of anticommuting Grassmann parameters and find explicit Jacobians corresponding to these changes of variables in the path integral. It turns out that the finite transformations are quadratic in their parameters. Exactly as in the case of finite field-dependent BRST-antiBRST transformations for the Yang--Mills vacuum functional in the Lagrangian formalism examined in our previous paper [arXiv:1405.0790[hep-th

  1. Microsoft Word - Alaska LNG Export License Letter November 14...

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

    Washington, DC 20026-4375 Sent via email to: fergas@hq.doe.gov Re: FE Docket No: 14-96-LNG To Whom It May Concern: Please accept the following comments from the Alaska State...

  2. Science fictions: Comment on Godfrey-Smith Arthur Fine

    E-Print Network [OSTI]

    Fine, Arthur

    Science+Business Media B.V. 2008 Abstract This is a comment on Peter Godfrey-Smith's, ``ModelsScience fictions: Comment on Godfrey-Smith Arthur Fine Published online: 2 December 2008 � Springer in a naturalized and deflationary framework. Keywords Hans Vaihinger Á Models Á Fictions Á Peter Godfrey-Smith Hans

  3. HUD Tribal Government to Government Consultation Policy Request for Comments

    Broader source: Energy.gov [DOE]

    The U.S. Department of Housing and Urban Development (HUD) request for comments is to enhance communication and coordination between HUD and federally recognized Indian Tribes, and to outline guiding principles and procedures under which all HUD employees are to operate with regard to federally recognized Indian or Alaska Native Tribes. Comments are due June 8, 2015.

  4. QER- Comment of PA Chamber of Business and Industry

    Broader source: Energy.gov [DOE]

    On behalf of Gene Barr, President & CEO of the Pennsylvania Chamber of Business and Industry, please find attached our comments regarding Natural Gas Transmission, Storage & Distribution, Pittsburgh, Pennsylvania July 21, 2014. Thanks in advance for the attention to our comments and for holding a hearing today in our state. All the best, Kevin

  5. QER- Comment of Lake Charles Harbor & Terminal District

    Broader source: Energy.gov [DOE]

    Good Afternoon, Please find the Lake Charles Harbor and Terminal District’s comments on Infrastructure Constraints in re: the QER Investigation hearing scheduled for Bismarck, ND on August 8, 2014. Please include these comments in the public record of the hearing. Thank you.

  6. QER- Comment of Clean Line Energy Partners LLC

    Broader source: Energy.gov [DOE]

    Hello, Clean Line Energy Partners would like to submit the attached written comments to the QER task force, in conjunction with the verbal comments Jimmy Glotfelty provided today in Newark. Thank you for your consideration, and please let us know if you would like any additional information. Sincerely, Diana Rivera

  7. CenterPoint Comments | 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 RemovalCSS LetterStateDepartment

  8. TESLA: A Formally Defined Event Specification Language Gianpaolo Cugola

    E-Print Network [OSTI]

    Cugola, Gianpaolo

    TESLA: A Formally Defined Event Specification Language Gianpaolo Cugola Dip. di Elettronica e to clearly state how the system should behave. Moving from these premises, we present TESLA, a complex event specification language. Each TESLA rule considers incoming data items as notifi- cations of events and defines

  9. Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1

    E-Print Network [OSTI]

    Smith, Douglas R.

    Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas R¨at Berlin and Fraunhofer FIRST, Berlin pepper@cs.tu-berlin.de Abstract. Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors

  10. Using Functional Languages in Formal Methods: The Pet System

    E-Print Network [OSTI]

    Peled, Doron A.

    Using Functional Languages in Formal Methods: The Pet System Elsa L. Gunter and Doron A. Peled Bell language for the back­end of our new Path Exploration Tool (Pet) [2]. This tool is intended for interactive testing of sequential and concur­ rent software. The main calculation performed by Pet is the symbolic

  11. Formal Type Soundness for Cyclone's Region System Dan Grossman

    E-Print Network [OSTI]

    Hicks, Michael

    collector. To support separate compilation, Cyclone requires programmers to write some explicit regionFormal Type Soundness for Cyclone's Region System Dan Grossman Greg Morrisett Trevor Jim Mike Hicks Yanling Wang James Cheney November 2001 Abstract Cyclone is a polymorphic, type-safe programming language

  12. Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified

    E-Print Network [OSTI]

    is that faithful models of distributed car control have both distributed systems and hybrid systems dynamics dynamics. Distributed car control follows a hybrid dynamics, because cars move continuously alongAdaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified Sarah M. Loos, Andr

  13. Nuclear DVCS within the high energy QCD color dipole formalism

    E-Print Network [OSTI]

    M. V. T. Machado

    2009-05-27T23:59:59.000Z

    In this contribution, we present a study of the coherent and incoherent nuclear DVCS process in the small-$x$ regime within the color dipole formalism. Predictions for the nuclear DVCS cross section at photon level in the collider kinematics are presented.

  14. Quantum Nonsymmetric Gravity and The Superfiber Bundle Formalism

    E-Print Network [OSTI]

    Mebarki, N

    1999-01-01T23:59:59.000Z

    The formalism of the principal superfiber-bundle is applied to quantum Nonsymmetric gravitationl theory. It is shown that the metric and Faddev-Popov fields arise as superfields components of the superconnection. Moreover,the BRST and anti-BRST transformations are shown to be the gauge transformations of parameters the ghost and anti-ghost superfields.

  15. Finite anticanonical transformations in field-antifield formalism

    E-Print Network [OSTI]

    Igor A. Batalin; Peter M. Lavrov; Igor V. Tyutin

    2015-02-19T23:59:59.000Z

    We study the role of arbitrary (finite) anticanonical transformations in the field-antifield formalism, and the gauge-fixing procedure based on the use of these transformations. Properties of generating functionals of Green functions subjected to finite anticanonical transformations are considered.

  16. ccsd00004163, Free Energy Formalism for Particle Adsorption

    E-Print Network [OSTI]

    ccsd­00004163, version 1 ­ 4 Feb 2005 Free Energy Formalism for Particle Adsorption Pierre Gosselin The equilibrium properties of particles adsorption is investigated theoretically. The model relies on a free the equilibrium physical adsorption of neutral and charged particles from solution onto two parallel adsorbing

  17. VSE: Controlling the Complexity in Formal Software Developments

    E-Print Network [OSTI]

    Siekmann, Jörg H.

    , and a sophisticated user interface. After a period of evaluation in various large applications (e.g. a booking system for radio transmissions, an access control system for nuclear power plants, and a security model for digital part of a robot control system working in a fusion reactor is re­developed [8]. We have formalized

  18. Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems

    E-Print Network [OSTI]

    Mousavi, Mohammad

    Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems M. Atif TU/Eindhoven Dept. of Computer Science P.O. Box 513, 5600 MB Eindhoven, The Netherlands m.atif@tue.nl M.R. Mousavi TU/Eindhoven Dept. of Computer Science P.O. Box 513, 5600 MB Eindhoven, The Netherlands m

  19. HOW SMOOTH IS YOUR WAVELET? WAVELET REGULARITY VIA THERMODYNAMIC FORMALISM

    E-Print Network [OSTI]

    HOW SMOOTH IS YOUR WAVELET? WAVELET REGULARITY VIA THERMODYNAMIC FORMALISM M. Pollicott and H. Weiss June 9, 2005 9:49am Abstract. A popular wavelet reference [W] states that "in theoretical and practical studies, the notion of (wavelet) regularity has been increasing in importance." Not surprisingly

  20. Formal Support for an Informal Business Modelling Method \\Lambda

    E-Print Network [OSTI]

    Chen-Burger, Yun-Heh (Jessica)

    Formal Support for an Informal Business Modelling Method \\Lambda Yun­Heh Chen­Burger, David emails: jessicac@dai.ed.ac.uk, dr@dai.ed.ac.uk September 1, 1998 Abstract Business modelling methods modelling method: IBM's Business System Devel­ opment Method (BSDM). We describe the knowledge which we

  1. Formal definition of POTENTIAL ENERGY (valid for conservative forces only)

    E-Print Network [OSTI]

    page - 16 Formal definition of POTENTIAL ENERGY (valid for conservative forces only) Given one type of conservative force F UB - UA= - = - Definition of 'Potential energy difference" conserv #12;page - 17 the definition of the "potential energy difference UB - UA " as equal to negative value of the work W done

  2. Harmonic superspace formalism and the consistent chiral anomaly

    SciTech Connect (OSTI)

    Li, W.

    1986-08-01T23:59:59.000Z

    The harmonic superspace formalism has been used to construct the consistent chiral anomaly in N = 1, d = 6 supersymmetric Yang-Mills thoery. The expressions of the gauge anomaly ..delta../sub s//sup phi/ and of the supersymmetric anomaly ..delta../sub SUSY//sup phi/ are given together with the consistent condition. 7 refs.

  3. A Formal Model of Provenance in Distributed Systems

    E-Print Network [OSTI]

    Francalanza, Adrian

    A Formal Model of Provenance in Distributed Systems Issam Souilah2 Adrian Francalanza1 Vladimiro;Motivation Trust In a Distributed System #12;Motivation Trust In a Distributed System Distribution inherent parallelism. #12;Motivation Trust In a Distributed System Distribution inherent parallelism. Distribution

  4. Formal Verification of a Microprocessor Control Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

    to the modeling and formal verification of the MESI cache coherence protocol for a system of n write-back cache a powerful alternative for dealing with these problems. In this paper we present a mathematical model on a mathematical model of the system under consideration, attempts to prove or disprove facts about the system

  5. Integrating Formal Verification into Computer Organization and Architecture Courses

    E-Print Network [OSTI]

    Ivanov, Lubomir

    to formal verification is based on the theory of - automata [5]. Given a model of the system in terms industry and have led to the development of powerful verification tools. However, the popularity facts about a mathematical model of the system under consideration. The proofs are general enough

  6. Specification and Formal Verification of Interconnect Bus Protocols Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

    and functionality of devices has brought about the need for more powerful modeling and verification tools. Classical is using first generation formal verification tools based on Symbolic Model Checking [1] and -Automata of using partial orders in modeling and verifying system behavior is in avoiding the need to study all

  7. TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS

    E-Print Network [OSTI]

    von Bochmann, Gregor

    TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS Gregor v. BOCHMANN and Omar B. BELLAL Université de Montréal Montréal, Canada Abstract: There are two aspects to testing: (1) the selection of appropriate test inputs and (2) the analysis of the observed interactions of the implementation under test

  8. Reducing Uncertainty: A Formal Theory of Organizations in Action1

    E-Print Network [OSTI]

    Kamps, Jaap

    Reducing Uncertainty: A Formal Theory of Organizations in Action1 Jaap Kamps and La´szlo´ Po contribution to organization theory, Organizations in Action. The reconstruction explicates the underlying, this theory explains why Thompson's propositions do not hold for noncomplex or "atomic" organizations (a

  9. MODELING OF NATURALLY FRACTURED RESERVOIRS BY FORMAL HOMOGENIZATION TECHNIQUES*

    E-Print Network [OSTI]

    Douglas Jr., Jim

    MODELING OF NATURALLY FRACTURED RESERVOIRS BY FORMAL HOMOGENIZATION TECHNIQUES* Todd Arbogast,y Jim in naturally fractured reservoirs. A single component in a single phase and two-component mis- cible. porous medium, double porosity, fractured reservoir, homogenization. yDepartment of Mathematics, Purdue

  10. Nordic Journal of Computing Structured Formal Development in Isabelle

    E-Print Network [OSTI]

    Lüth, Christoph - Deutschen Forschungszentrum für Künstliche Intelligenz & Fachbereich 3

    Nordic Journal of Computing Structured Formal Development in Isabelle MAKSYM BORTIN Universität powerful proof support, and include libraries formalising a considerable amount of mathematics. This is particularly useful for developing safety-critical systems Research supported by DFG under grants LU 707

  11. D-Branes in the Green-Schwarz Formalism

    E-Print Network [OSTI]

    N. D. Lambert; P. C. West

    1999-06-08T23:59:59.000Z

    We give a basic account of supersymmetric open strings and D-branes using the Green-Schwarz formalism, obtaining a manifestly spacetime supersymmetric description of their spectrum. In addition we discuss a mechanism whereby some of the D-brane states are projected out and which can lead to chiral quantum field theories on the brane.

  12. Teaching Formal Methods in Software Engineering Gavriel Yarmish, Brooklyn College

    E-Print Network [OSTI]

    Kopec, Danny

    Teaching Formal Methods in Software Engineering Gavriel Yarmish, Brooklyn College Danny Kopec, Brooklyn College Jim Aman, Xavier University Innovations in Engineering Education I Abstract Today we live there have been several known near catastrophes including the Three Mile Island Nuclear Power Station

  13. Contemporary Mathematics A topological calculus for formal power series

    E-Print Network [OSTI]

    Ray, Nige

    ^ole for products and reciprocals. Several of the underlying ideas are rooted in algebraic combinatorics, especially] in algebraic topology. Our project has been stimulated by growing interest amongst combinatorialists begin by establishing notation and conventions for formal power series, basing our treatment

  14. A TOPOLOGICAL CALCULUS FOR FORMAL POWER SERIES NIGEL RAY

    E-Print Network [OSTI]

    Ray, Nige

    ^ole for products and reciprocals. Several* * of the underlying ideas are rooted in algebraic combinatorics doubling constructions [13] in algebraic topology. Our project has been stimulated by growing interest We begin by establishing notation and conventions for formal power series, ba* *sing our treatment

  15. Formal Session of the Board of Control Michigan Technological University

    E-Print Network [OSTI]

    AGENDA Formal Session of the Board of Control Michigan Technological University 9:30 a.m. ­ August. Resignations, Retirements and Off Payroll E. Tentative 2012 Meeting Dates F. Michigan Technological University/Michigan, Retirements and Off Payroll E. Tentative 2012 Meeting Dates F. Michigan Technological University/Michigan Tech

  16. A trivial formalization of the theory of grossone

    E-Print Network [OSTI]

    A. E. Gutman; S. S. Kutateladze

    2008-12-13T23:59:59.000Z

    A trivial formalization is given for the informal reasonings presented in a series of papers by Ya.D.Sergeyev on a positional numeral system with an infinitely large base, grossone; the system which is groundlessly opposed by its originator to the classical nonstandard analysis.

  17. Evolution Styles -Formal foundations and tool support for

    E-Print Network [OSTI]

    Evolution Styles - Formal foundations and tool support for software architecture evolution David-3890 Abstract Architecture evolution is a central feature of virtually all software systems. As new market almost no assistance in reasoning about questions such as: How should we stage the evolution to achieve

  18. Formal Safety Analysis of Transportation Control Frank Ortmeier, Wolfgang Reif

    E-Print Network [OSTI]

    Reif, Wolfgang

    with only minimal risk. To ensure these requirements formal methods are a great help. The ForMoSA approach on the track. This all results in great benefits like faster travel, less energy consumption and improved maintainability. But there is also a price to pay for it. More and more software has to be integrated

  19. Formal Safety Analysis of Transportation Control Frank Ortmeier, Wolfgang Reif

    E-Print Network [OSTI]

    Reif, Wolfgang

    tolerant and to be associated with only minimal risk. To ensure these requirements formal methods, intelligent equipment on the track. This all results in great benefits like faster travel, less energy consumption and improved maintainability. But there is also a price to pay for it. More and more software has

  20. Modeling Cyber Conflicts Using an Extended Petri Net Formalism

    SciTech Connect (OSTI)

    Zakrzewska, Anita N [ORNL; Ferragut, Erik M [ORNL

    2011-01-01T23:59:59.000Z

    When threatened by automated attacks, critical systems that require human-controlled responses have difficulty making optimal responses and adapting protections in real- time and may therefore be overwhelmed. Consequently, experts have called for the development of automatic real-time reaction capabilities. However, a technical gap exists in the modeling and analysis of cyber conflicts to automatically understand the repercussions of responses. There is a need for modeling cyber assets that accounts for concurrent behavior, incomplete information, and payoff functions. Furthermore, we address this need by extending the Petri net formalism to allow real-time cyber conflicts to be modeled in a way that is expressive and concise. This formalism includes transitions controlled by players as well as firing rates attached to transitions. This allows us to model both player actions and factors that are beyond the control of players in real-time. We show that our formalism is able to represent situational aware- ness, concurrent actions, incomplete information and objective functions. These factors make it well-suited to modeling cyber conflicts in a way that allows for useful analysis. MITRE has compiled the Common Attack Pattern Enumera- tion and Classification (CAPEC), an extensive list of cyber attacks at various levels of abstraction. CAPEC includes factors such as attack prerequisites, possible countermeasures, and attack goals. These elements are vital to understanding cyber attacks and to generating the corresponding real-time responses. We demonstrate that the formalism can be used to extract precise models of cyber attacks from CAPEC. Several case studies show that our Petri net formalism is more expressive than other models, such as attack graphs, for modeling cyber conflicts and that it is amenable to exploring cyber strategies.

  1. Policy Flash 2013-62 Acquisition Letter 09 - Revision of Department...

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

    Letter 09 - Revision of Department of Energy (DOE) Order 350.1 and Special H Clause Policy Flash 2013-62 Acquisition Letter 09 - Revision of Department of Energy (DOE) Order...

  2. June 11, 2010 12:24 WSPC/INSTRUCTION FILE PPL Parallel Processing Letters

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    June 11, 2010 12:24 WSPC/INSTRUCTION FILE PPL Parallel Processing Letters c World Scientific Processing Letters 20, 4 (2010) 307-324" #12;June 11, 2010 12:24 WSPC/INSTRUCTION FILE PPL 2 Parallel

  3. Response by PJM to letters from the City of Alexandria and the...

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

    of Alexandria (the "City") have filed letters asserting an imminent breach of the Order. PJM responds to those letters and takes issue both (i) with the assertion of an imminent...

  4. Policy Flash 2014-08 ACQUISITION LETTER 2014-02: PROVISIONAL...

    Energy Savers [EERE]

    08 ACQUISITION LETTER 2014-02: PROVISIONAL PAYMENT OF FEE Policy Flash 2014-08 ACQUISITION LETTER 2014-02: PROVISIONAL PAYMENT OF FEE Questions concerning this policy flash should...

  5. Comment submitted by Whirlpool Corporation regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by Whirlpool Corporation regarding the Energy Star Verification Testing Program

  6. Energy Conservation Program for Consumer Products: Test Procedures for Furnaces and Boilers, Comment Period Extension

    Broader source: Energy.gov [DOE]

    Energy Conservation Program for Consumer Products: Test Procedures for Furnaces and Boilers, Comment Period Extension

  7. QER- Comment of GenConn Energy on behalf of UIL Holdings Corporation

    Broader source: Energy.gov [DOE]

    Provided are comments of UIL Holdings Corporation on New England Regional Infrastructure Constraints.

  8. QER- Comment of Bay Area Biosolids to Energy Coalition (BAB2E)

    Broader source: Energy.gov [DOE]

    Please Accept the attached written comments as submitted to the: Quadrennial Energy Review: Comment on Public Meeting "Water-Energy Nexus, June 19, 2014, Washington DC Please let me know that you received the comments and that they will be put on the record for this comment period Thank You Paul

  9. QER- Comment of John R. Schmidt

    Broader source: Energy.gov [DOE]

    "Quadrennial Energy Review: Comment on the Public Meeting "Enhancing Infrastructure Resiliency," held April 11, 2014, Washington, DC". Why would this meeting not be conducted live onLine? or, at least, recorded for later access. Thank you, sincerely, john r schmidt, master (lover) of Science understanding GOD president, NCAD Corporation www.NCAD.net owner, schmidtPro www.schmidtPro.com dedicated River-straddler Erlanger, KY 41018 Cincinnati, OH 45202-0931 computer engineering Network Communications Geospatial Integrative Service Business engineering schmidtPro professional green improv improving earth and health for better world earth Model Do http://emoDo.net

  10. Comments/Observations: R. Tayloe, Nuint'09

    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 like submit the following comments response NAESB Business PracticePath

  11. PFR Public Comments (rates/pfr)

    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 RenewableSpeedingBiomass and4/26/11: eliza18 emergency3 , 2 015PERIPublic Comments

  12. Letter to Chairman Darrell Issa from Eric Fygi, Deputy General Counsel-- July 24, 2013

    Broader source: Energy.gov [DOE]

    On July 24, 2013, Energy Department Deputy General Counsel Eric Fygi sent this letter to Chairman Darrell Issa.

  13. Secretary Chu Letter to 2nd US-China EE Forum

    Office of Energy Efficiency and Renewable Energy (EERE)

    English and Chinese translation of Secretary Chu's letter to participants in the 2nd US-China EE Forum.

  14. 31 January 1997 Chemical Physics Letters 265 (1997) 121-128

    E-Print Network [OSTI]

    Zare, Richard N.

    ELSEVIER 31 January 1997 Chemical Physics Letters 265 (1997) 121-128 CHEMICAL PHYSICS LETTERS for interpretation of our measurements 0009-2614/97/$17.00 Copyright © 1997 Elsevier Science B.V. All rights reserved. PH S0009-261 4(96)0 1421 -2 #12;122 S.A. Kandel et al./ Chemical Physics Letters 265 (1997) 121

  15. Last update: September 2014 www.utsc.utoronto.ca/aacc The Cover Letter

    E-Print Network [OSTI]

    Boonstra, Rudy

    , laptop, tablet or smart phone There is no standard way of writing a cover letter or resume See our cover/her consideration of your application. State the best method of contacting you (home phone, cell phone and/or email) Cover Letter Basics Marketing Yourself Resumes, cover letters, LinkedIn, and interview skills are your

  16. Declaration of Charles Wodrich in Support of Supplemental Comments...

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

    No. EERE-2010-BT-NOA-0016 Letter Response from the Plumbing Manufacturers Institute (PMI), Docket No. EERE-2010-BT-NOA-0016 - Notice of Availability of Interpretive Rule on the...

  17. Formal verification of complex properties on PLC programs

    E-Print Network [OSTI]

    Darvas, D; Voros, A; Bartha, T; Blanco Vinuela, E; Gonzalez Suarez, V M

    2014-01-01T23:59:59.000Z

    Formal verification has become a recommended practice in the safety-critical application areas. However, due to the complexity of practical control and safety systems, the state space explosion often prevents the use of formal analysis. In this paper we extend our former verification methodology with effective property preserving reduction techniques. For this purpose we developed general rule-based reductions and a customized version of the Cone of Influence (COI) reduction. Using these methods, the verification of complex requirements formalised with temporal logics (e.g. CTL, LTL) can be orders of magnitude faster. We use the NuSMV model checker on a real-life PLC program from CERN to demonstrate the performance of our reduction techniques.

  18. Quantum Field Theory in de Sitter Universe: Ambient Space Formalism

    E-Print Network [OSTI]

    Mohammad Vahid Takook

    2014-09-03T23:59:59.000Z

    Quantum field theory in the $4$-dimensional de Sitter space-time is constructed on a unique Bunch-Davies vacuum state in the ambient space formalism in a rigorous mathematical framework. This work is based on the group representation theory and the analyticity of the complexified pseudo-Riemannian manifolds. The unitary irreducible representations of de Sitter group and their corresponding Hilbert spaces are reformulated in the ambient space formalism. Defining the creation and annihilation operators, quantum field operators and their corresponding analytic two-point functions for various spin fields ($s=0,\\frac{1}{2},1,\\frac{3}{2}, 2$) have been constructed. The various spin massless fields can be constructed in terms of the massless conformally coupled scalar field in this formalism. Then the quantum massless minimally coupled scalar field operator, for the first time, is also constructed on Bunch-Davies vacuum state which preserve the analyticity. We show that the massless fields with $s\\leq 2$ can only propagate in de Sitter ambient space formalism. The massless gauge invariant field equations with $s=1, \\frac{3}{2}, 2$ are studied by using the gauge principle. The conformal quantum spin-$2$ field, based on the gauge gravity model, is studied. The gauge spin-$\\frac{3}{2}$ fields satisfy the Grassmannian algebra, and hence, naturally provoke one to couple them with the gauge spin-$2$ field and the super-algebra is automatically appeared. We conclude that the gravitational field may be constructed by three parts, namely, the de Sitter background, the gauge spin-$2$ field and the gauge spin-$\\frac{3}{2}$ field.

  19. Contextualizing Concepts using a Mathematical Generalization of the Quantum Formalism

    E-Print Network [OSTI]

    Liane Gabora; Diederik Aerts

    2004-08-06T23:59:59.000Z

    We outline the rationale and preliminary results of using the State Context Property (SCOP) formalism, originally developed as a generalization of quantum mechanics, to describe the contextual manner in which concepts are evoked, used, and combined to generate meaning. The quantum formalism was developed to cope with problems arising in the description of (1) the measurement process, and (2) the generation of new states with new properties when particles become entangled. Similar problems arising with concepts motivated the formal treatment introduced here. Concepts are viewed not as fixed representations, but entities existing in states of potentiality that require interaction with a context--a stimulus or another concept--to 'collapse' to an instantiated form (e.g. exemplar, prototype, or other possibly imaginary instance). The stimulus situation plays the role of the measurement in physics, acting as context that induces a change of the cognitive state from superposition state to collapsed state. The collapsed state is more likely to consist of a conjunction of concepts for associative than analytic thought because more stimulus or concept properties take part in the collapse. We provide two contextual measures of conceptual distance--one using collapse probabilities and the other weighted properties--and show how they can be applied to conjunctions using the pet fish problem

  20. Contextualizing concepts using a mathematical generalization of the quantum formalism

    E-Print Network [OSTI]

    Liane Gabora; Diederik Aerts

    2013-11-01T23:59:59.000Z

    We outline the rationale and preliminary results of using the state context property (SCOP) formalism, originally developed as a generalization of quantum mechanics, to describe the contextual manner in which concepts are evoked, used and combined to generate meaning. The quantum formalism was developed to cope with problems arising in the description of (i) the measurement process, and (ii) the generation of new states with new properties when particles become entangled. Similar problems arising with concepts motivated the formal treatment introduced here. Concepts are viewed not as fixed representations, but entities existing in states of potentiality that require interaction with a context-a stimulus or another concept-to 'collapse' to an instantiated form (e.g. exemplar, prototype, or other possibly imaginary instance). The stimulus situation plays the role of the measurement in physics, acting as context that induces a change of the cognitive state from superposition state to collapsed state. The collapsed state is more likely to consist of a conjunction of concepts for associative than analytic thought because more stimulus or concept properties take part in the collapse. We provide two contextual measures of conceptual distance-one using collapse probabilities and the other weighted properties-and show how they can be applied to conjunctions using the pet fish problem.

  1. Investigation Letter Report: I11IG002 | 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: I11IG002 Investigation Letter Report: I11IG002

  2. Letter to Congress RE: Office of Civilian Radioactive Waste Management's

    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:40PMDepartment ofs oLetter from the Wind

  3. Letter to EECBG Recipients on Changes to Reporting Requirements |

    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:40PMDepartment ofs oLetter from the WindDepartment

  4. Letter to SEP Recipients on Changes to Reporting Requirements | 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 YourTransport(FactDepartment ofLetter Report:40PMDepartment ofs oLetter from theof Energy

  5. Intuition in formal proof : a novel framework for combining mathematical tools 

    E-Print Network [OSTI]

    Meikle, Laura Isabel

    2014-06-27T23:59:59.000Z

    This doctoral thesis addresses one major difficulty in formal proof: removing obstructions to intuition which hamper the proof endeavour. We investigate this in the context of formally verifying geometric algorithms using ...

  6. Formalization of Semantic Annotation for Systems Interoperability in a PLM environment

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Formalization of Semantic Annotation for Systems Interoperability in a PLM environment Yongxin Liao, and etc.) in the Product Lifecycle Man- agement (PLM) environment. These formal semantic annotations) interoperability context. Keywords: Ontology, Semantic Annotation, Systems Interoperability, Business Process, PLM

  7. An Integrated Formal Approach for Developing High Quality Software for Safety-Critical Systems

    E-Print Network [OSTI]

    Ouyang, Meng

    This report presents the results of a study which devises an Integrated Formal Approach (IFA) for improving specifications of the designs of computer programs used in safety-critical systems. In this IFA, the formal ...

  8. QER - Comment of Canadian Hydrogen and Fuel Cell Association...

    Office of Environmental Management (EM)

    Canadian Hydrogen and Fuel Cell Association QER - Comment of Canadian Hydrogen and Fuel Cell Association From: Carolyn Bailey cbailey@chfca.ca Sent: Friday, October 10, 2014 2:21...

  9. Comments of the Natural Resource Defense Council on Energy Efficiency...

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

    submit these comments1 on the Department of Energy"s notice of proposed rulemaking on Energy Efficiency and Sustainable Design Standards for New Federal Buildings, 75 Fed. Reg....

  10. QER- Comment of American Wind Energy Association 1

    Broader source: Energy.gov [DOE]

    Attached please find the comments of the American Wind Energy Association (AWEA) on the QER. Please don’t hesitate to contact me if you have any questions. Thank you. Tom

  11. Response to Comments Regarding EPAct 2005 Section 242: October 2014

    Broader source: Energy.gov [DOE]

    This document contains the response to comments that were received in regards to a revised draft of the EPAct 2005 Section 242 "Hydroelectric Incentive Program" Application Guidance that was released on October 20, 2014.

  12. Comments in response to FERC rulemaking on regional transmission organizations

    E-Print Network [OSTI]

    Joskow, Paul L.

    1999-01-01T23:59:59.000Z

    On May 13, 1999, the Federal Energy Regulatory Commission (FERC) issued a Notice of Proposed Rulemaking (NOPR) on Regional Transmission Organizations (RTO). The purpose of the NOPR is to solicit comments on proposed FERC ...

  13. Microsoft Word - remote handled waste comment extension.doc

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

    extends public comment period on the Remote-handled Waste Disposition Project Environmental Assessment Jan. 26, 2009 Media contact: Brad Bugger, (208) 526-0833 In response to a...

  14. Comment on the narrow structure reported by Amaryan et al

    E-Print Network [OSTI]

    M. Anghinolfi; J. Ball; N. A. Baltzell; M. Battaglieri; I. Bedlinskiy; M. Bellis; A. S. Biselli; C. Bookwalter; S. Boiarinov; P. Bosted; V. D. Burkert; D. S. Carman; A. Celentano; S. Chandavar; P. L. Cole; V. Crede; R. De Vita; E. De Sanctis; B. Dey; R. Dickson; D. Doughty; M. Dugger; R. Dupre; H. Egiyan; A. El Alaoui; L. El Fassi; L. Elouadrhiri; P. Eugenio; G. Fedotov; M. Y. Gabrielyan; M. Garcon; G. P. Gilfoyle; K. L. Giovanetti; F. X. Girod; J. T. Goetz; E. Golovatch; M. Guidal; L. Guo; K. Hafidi; H. Hakobyan; D. Heddle; K. Hicks; M. Holtrop; D. G. Ireland; B. S. Ishkhanov; E. L. Isupov; H. S. Jo; K. Joo; P. Khetarpal; A. Kim; W. Kim; V. Kubarovsky; S. V. Kuleshov; H. Y. Lu; L. J. D. MacGregor; N. Markov; M. E. McCracken; B. McKinnon; M. D. Mestayer; C. A. Meyer; M. Mirazita; V. Mokeev; K. Moriya; B. Morrison; A. Ni; S. Niccolai; G. Niculescu; I. Niculescu; M. Osipenko; A. I Ostrovidov; K. Park; S. Park; S. Anefalos Pereira; S. Pisano; O. Pogorelko; S. Pozdniakov; J. W. Price; G. Ricco; M. Ripani; B. G. Ritchie; P. Rossi; D. Schott; R. A. Schumacher; E. Seder; Y. G. Sharabian; E. S. Smith; D. I Sober; S. S. Stepanyan; P. Stoler; W. Tang; M. Ungaro; B. Vernarsky; M. F. Vineyard; D. P. Weygand; M. H. Wood; N. Zachariou; B. Zhao

    2012-04-05T23:59:59.000Z

    The CLAS Collaboration provides a comment on the physics interpretation of the results presented in a paper published by M. Amaryan et al. regarding the possible observation of a narrow structure in the mass spectrum of a photoproduction experiment.

  15. QER- Comment of National Rural Electric Cooperative Association

    Broader source: Energy.gov [DOE]

    Please find attached comments regarding the agenda item, “RAIL - HOW A CRITICAL COMPONENT OF OUR NATION'S ENERGY INFRASTRUCTURE IS ADAPTING TO 21ST CENTURY ENERGY TRANSPORTATION CHALLENGES” submitted by Steve Sharp on behalf of Consumers United for Rail Equity.

  16. QER- Comment of National Rural Electric Cooperative Association 2

    Broader source: Energy.gov [DOE]

    Please find attached additional comments from the National Rural Electric Cooperative Association (NRECA). Thank you for the opportunity to participate. If you have questions or need additional information, please do not hesitate to contact me.

  17. QER- Comment of American Public Power Association 3

    Broader source: Energy.gov [DOE]

    Attached are APPA’s comments for the Second public QER meeting. I have tried to submit these before too, so please send me a confirmation e-mail. Thanks in advance for your consideration of my request.

  18. Comment on "Evidence for Neutrinoless Double Beta Decay"

    E-Print Network [OSTI]

    C. E. Aalseth; F. T. Avignone III; A. Barabash; F. Boehm; R. L. Brodzinski; J. I. Collar; P. J. Doe; H. Ejiri; S. R. Elliott; E. Fiorini; R. J. Gaitskell; G. Gratta; R. Hazama; K. Kazkaz; G. S. King III; R. T. Kouzes; H. S. Miley; M. K. Moe; A. Morales; J. Morales; A. Piepke; R. G. H. Robertson; W. Tornow; P. Vogel; R. A. Warner; J. F. Wilkerson

    2002-05-22T23:59:59.000Z

    We comment on the recent claim for the experimental observation of neutrinoless double-beta decay. We discuss several limitations in the analysis provided in that paper and conclude that there is no basis for the presented claim.

  19. QER- Comment of Oceti Sakowin Sioux Wind Power Project

    Broader source: Energy.gov [DOE]

    Dear Secretariat: Attached please find the Comments of the Oceti Sakowin Sioux Wind Power Project, for inclusion in the record of the QER. If any questions, please direct to the undersigned.

  20. QER- Comment of Alaska Department of Natural Resources

    Broader source: Energy.gov [DOE]

    To Whom It May Concern: Attached please find the State of Alaska Department of Natural Resources’ official comments on the Quadrennial Energy Review being conducted by the Department of Energy pursuant to Presidential Memorandum of January 9, 2014.

  1. Motion to Intervene and Comments of Public Utility District No...

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

    A motion to intervene and comments from Public Utility District No. 1 (Pend Oreille County, Washington) on PP 99-1 Notice of Intent to Amend Presidential Permit, where DOE proposes...

  2. QER- Comment of America's Natural Gas Alliance 2

    Broader source: Energy.gov [DOE]

    Good morning - Please find attached ANGA’s comments on the New England public meeting during the Quadrennial Energy Review earlier this year. Please do not hesitate to reach out if you have any questions. Thank you Sarah

  3. Natural Gas Industry Comments on Smart Grid RFI: Addressing Policy...

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

    undersigned members of the natural gas industry are pleased to submit for your consideration the following comments in response to the U.S. Department of Energy, Office of...

  4. QER- Comment of Fuel Cell and Hydrogen Energy Association

    Broader source: Energy.gov [DOE]

    To whom it may concern: Please find attached comments from the Fuel Cell and Hydrogen Energy Association on the Quadrennial Energy Review. If you have any questions or concerns, please feel free to contact me.

  5. Comments of Cisco Systems to Office of Electricity Delivery and...

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

    Security Act (EISA) of 2007 A POLICY FRAMEWORK FOR THE 21st CENTURY GRID: Enabling Our Secure Energy Future Association of Home Appliance Manufacturers Comments on Smart Grid RFI...

  6. Reply to Baur's and Bertulani's Comment

    E-Print Network [OSTI]

    Benesh, C J; Friar, J L

    1997-01-01T23:59:59.000Z

    Shortcomings of a momentum-space treatment of strong absorption, as discussed in the previous Comment [nucl-th/9611025], are only of concern at low projectile energies, $\\gamma$< 1.5. At intermediate and high energies, for which the quantum-mechanical equivalent-photon spectrum is intended, the quantum-mechanical cross sections are reduced relative to the semi-classical results whether one treats strong effects via a momentum-space or an impact-parameter (spatial) cut-off. At these energies the origin of the discrepancy between the predictions of full quantuym-mechanical and the semi-classical calulations cannot be traced to differences in the treatment of strong-interaction effects. Rather, they arise from quantum effects neglected in the semi-classical calculations.

  7. Comment on 'Nonlocality, Counterfactuals and Quantum Mechanics'

    SciTech Connect (OSTI)

    Stapp, H.P.

    1999-04-14T23:59:59.000Z

    A recent proof [H. P. Stapp, Am. J. Phys. 65, 300 (1997)], formulated in the symbolic language of modal logic, claims to show that contemporary quantum theory, viewed as a set of rules that allow us to calculate statistical predictions among certain kinds of observations, cannot be imbedded in any rational framework that conforms to the principles that (1) the experimenters' choices of which experiments they will perform can be considered to be free choices, (2) outcomes of measurements are unique, and (3) the free choices just mentioned have no backward-in-time effects of any kind. This claim is similar to Bell's theorem, but much stronger, because no reality assumption alien to quantum philosophy is used. The paper being commented on [W. Unruh, Phys. Rev. A 59, 126 (1999)] argues that some such reality assumption has been ''smuggled'' in. That argument is examined here and shown, I believe, to be defective.

  8. Formal Methods For The ReEngineering of Computing Systems \\Lambda

    E-Print Network [OSTI]

    Liu, Xiaodong

    Formal Methods For The Re­Engineering of Computing Systems \\Lambda X. Liu, H. Yang and H. Zedan@dmu.ac.uk Abstract We present a short review of formal methods and their use in the re­engineering of computing. Keywords : formal methods, re­engineering, wide spectrum language, real­time systems, refinement, reverse

  9. Lecture 16 : Definitions, theorems, proofs MTH299 Transition to Formal Mathematics Michigan State University 1 / 8

    E-Print Network [OSTI]

    Magyar, Peter

    ). MTH299 Transition to Formal Mathematics Michigan State University 2 / 8 #12;Group Axioms Definition299 Transition to Formal Mathematics Michigan State University 3 / 8 #12;Group Axioms Definition Is Z with + a group? MTH299 Transition to Formal Mathematics Michigan State University 3 / 8 #12;Group

  10. Procedural Transformation from Formal Software Requirement to PLC-based Design

    E-Print Network [OSTI]

    Procedural Transformation from Formal Software Requirement to PLC-based Design Junbeom Yoo KAIST Science #12;Procedural Transformation from Formal Software Requirement to PLC-based Design Junbeom Yoo FBD-based PLC design programs from the requirements specification written in NuSCR [11], a formal

  11. MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES

    E-Print Network [OSTI]

    Zhu, Hong

    MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE Iñaki@gbt.tfo.upm.es Keywords: Software agents, MAS Formal Specification, Modelling, Diabetes Care, Telemonitoring, Telemedicine Abstract: This paper presents the modelling and formal specification of a telemedicine system for diabetes

  12. Three-point function at finite temperature in the real-time formalism

    SciTech Connect (OSTI)

    Kobes, R. (Department of Physics, University of Winnipeg, 515 Portage Avenue, Winnipeg, Manitoba (Canada))

    1991-09-09T23:59:59.000Z

    One-particle-irreducible amputated graphs differ qualitatively at finite temperature when calculated in the imaginary-time and real-time formalisms. Here we show within the real-time formalism for the three-point function that when external propagators are attached certain amputated functions can be inferred which have a close relation to those of the imaginary-time formalism.

  13. 5 June 1998 Z .Chemical Physics Letters 289 1998 189192

    E-Print Network [OSTI]

    Wang, Zhong L.

    5 June 1998 Z .Chemical Physics Letters 289 1998 189­192 Graphitic hollow carbon calabashes Z and are constructed by graphitic carbon shells of thicknesses ;10 nm. The calabash can be hollow or filled, fullerene molecule C60 w x w xand its family 1 , carbon nano-tubes 2 , and carbon w xonion 3 has excited

  14. Inside this report 1...........................Letter from the Co-Directors

    E-Print Network [OSTI]

    Wong, Pak Kin

    change mitigation, Tree rin Valley Fever, Dengue Fever, West Nile Virus, Urban heat island, Green Letter from the Co-Directors Co-Director, Institute of the Environment Phone: (520) 626-2910 liverman@email.arizona of the Environment (IE) at the University of Arizona was established two years ago to help expand and communicate our

  15. Team NewsleTTer A Letter to Our Spon-

    E-Print Network [OSTI]

    Stuart, Steven J.

    Team NewsleTTer Volume 17 Issue 5 A Letter to Our Spon- sors and Supporters42 FSAE Michigan at their first trip to FSAE Lin- coln. A hard effort from a small team paid off in Nebraska with the first event win in team histo- ry. Read the whole recap from each competition in this issue. Competition Recap

  16. Surface Science Letters Scanning tunneling microscopy study of the anatase

    E-Print Network [OSTI]

    Diebold, Ulrike

    ; Surface structure, morphology, roughness, and topography; Low index single crystal surfaces The structureSurface Science Letters Scanning tunneling microscopy study of the anatase (1 0 0) surface NancyO2 anatase (1 0 0) surface. Natural single crystals of anatase were employed; and after several

  17. A LETTERS JOURNAL EXPLORING THE FRONTIERS OF PHYSICS

    E-Print Network [OSTI]

    Iglesias, José Roberto

    A LETTERS JOURNAL EXPLORING THE FRONTIERS OF PHYSICS OFFPRINT Coexistence of ferromagnetism in some uranium compounds, is studied in the framework of an underscreened Kondo lattice model within of another class of heavy-fermion systems, uranium compounds, whose behavior is quite different from cerium

  18. A LETTERS JOURNAL EXPLORING THE FRONTIERS OF PHYSICS

    E-Print Network [OSTI]

    Wiese, Kay Jörg

    ;Europhysics Letters (EPL) has a new online home at www.epljournal.org Take a look for the latest journal news at the level of secondary structures due to a clear separation of energy scales. Since the pioneering work to probe RNA chains is to study its behavior under an external pulling force (see fig. 1a

  19. CALL FOR PAPERS: IEEE Embedded Systems Letters Special Issue on

    E-Print Network [OSTI]

    Cheng, Albert M. K.

    manipulation of nano-structures, and space exploration. Since all these embedded systems interact directlyCALL FOR PAPERS: IEEE Embedded Systems Letters Special Issue on Rigorous Modeling and Analysis-critical monitoring and control applications. These embedded systems run real-time applications which must satisfy

  20. News Letter Institute of Advanced Energy, Kyoto University

    E-Print Network [OSTI]

    Takada, Shoji

    . Abstract definition of energy consists of two parts: Energy = Exergy +Anergy Exergy is a part of energyNews Letter Institute of Advanced Energy, Kyoto University ISSN 1342-3193 IAE-NL-2014 No.54 http -- 2,709 2013 2013 Institute of Advanced Energy, Kyoto University #12; 25 25 11 20

  1. Letter-position encoding and dyslexia Carol Whitney

    E-Print Network [OSTI]

    Cornelissen, Piers

    Letter-position encoding and dyslexia Carol Whitney University of Maryland, USA Piers Cornelissen to dyslexia. The model is extended to include a phonological route and reading acquisition. We propose and colleagues (1974), research into dyslexia has focused on phonological deficits. As discussed by Castles

  2. 22 May 1998 Z .Chemical Physics Letters 288 1998 487493

    E-Print Network [OSTI]

    Reisler, Hanna

    22 May 1998 Z .Chemical Physics Letters 288 1998 487­493 z 3 /Endoergic reactions of hyperthermal C P with methane and acetylene M.R. Scholefield, J.-H. Choi 1 , S. Goyal 2 , H. Reisler Department probing the CH product via laser induced fluores- Z . w xcence LIF 4 . Based on theoretical investigations

  3. 19 September 1997 Z .Chemical Physics Letters 276 1997 269273

    E-Print Network [OSTI]

    Zhigilei, Leonid V.

    19 September 1997 Z .Chemical Physics Letters 276 1997 269­273 On the threshold behavior in laser 8 April 1997; in final form 17 June 1997 Abstract The microscopic mechanisms of the fluence that determine the dynamics of laser ablation. q 1997 Elsevier Science B.V. The interaction of laser pulses

  4. 24 October 1997 Z .Chemical Physics Letters 278 1997 2630

    E-Print Network [OSTI]

    Nizkorodov, Sergey

    24 October 1997 Z .Chemical Physics Letters 278 1997 26­30 Infrared predissociation spectra of He, Klingelbergstrasse 80, CH-4056 Basel, Switzerland¨ ¨ Received 16 July 1997 Abstract Z . q q Infrared spectra of the n cmy1 allow for an estimation of the unknown n frequency of the HOq monomer as1 2 3020"40 cmy1 . q 1997

  5. 18 July 1997 Z .Chemical Physics Letters 273 1997 199204

    E-Print Network [OSTI]

    Nguyen, Minh Tho

    18 July 1997 Z .Chemical Physics Letters 273 1997 199­204 qP ~ 2 z /On the geometry and inversion, Celestijnenlaan 200F, B-3001 Leu�en, Belgium Received 19 May 1997 Abstract qP Z Z .Geometries of PF , PF 1997 Elsevier Science B.V. 1. Introduction The inversion of tricoordinated compounds con- Z .taining

  6. Issues in Building General Letter to Sound Rules 

    E-Print Network [OSTI]

    Black, Alan W; Lenzo, Kevin; Pagel, Vincent

    for building letter to sound (LTS) rules from a word list in a language. The technique can be fully automatic, though a small amount of hand seeding can give better results. We have applied this technique to English (UK and US), French and German. The generated...

  7. letters to nature 70 NATURE |VOL 390 |6 NOVEMBER 1997

    E-Print Network [OSTI]

    Laurent, Gilles

    letters to nature 70 NATURE |VOL 390 |6 NOVEMBER 1997 Received 11 June; accepted 11 August 1997. 1 and energy cost of flight in the white-necked raven, Corvus cryptoleucus. J. Exp. Biol. 103, 121­130 (1983, W. & Nachtigall, W. Pigeon flight in a wind tunnel. II. Gas exchange and power requirements. J. Comp

  8. Letter-of-Offer Attachment Work Authorization Documentation --I-9

    E-Print Network [OSTI]

    Sheridan, Jennifer

    Letter-of-Offer Attachment Work Authorization Documentation -- I-9 This offer of employment is contingent upon verification of the appropriate identity and employment eligibility documentation on the Form and the list of acceptable documents, please see the Forms section of the U.S. Citizenship and Immigration

  9. Weighted Logics for Nested Words and Algebraic Formal Power Series

    E-Print Network [OSTI]

    Mathissen, Christian

    2010-01-01T23:59:59.000Z

    Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study nested word series which assign to nested words elements of a semiring. We show that regular nested word series coincide with series definable in weighted logics as introduced by Droste and Gastin. For this we establish a connection between nested words and the free bisemigroup. Applying our result, we obtain characterizations of algebraic formal power series in terms of weighted logics. This generalizes results of Lautemann, Schwentick and Therien on context-free languages.

  10. Sub-barrier Fusion Cross Sections with Energy Density Formalism

    E-Print Network [OSTI]

    F. Muhammad Zamrun; K. Hagino; N. Takigawa

    2006-06-07T23:59:59.000Z

    We discuss the applicability of the energy density formalism (EDF) for heavy-ion fusion reactions at sub-barrier energies. For this purpose, we calculate the fusion excitation function and the fusion barrier distribution for the reactions of $^{16}$O with $^{154,}$$^{144}$Sm,$^{186}$W and $^{208}$Pb with the coupled-channels method. We also discuss the effect of saturation property on the fusion cross section for the reaction between two $^{64}$Ni nuclei, in connection to the so called steep fall-off phenomenon of fusion cross sections at deep sub-barrier energies.

  11. Frenet-Serret formalism for null world lines

    E-Print Network [OSTI]

    Donato Bini; Andrea Geralico; Robert T. Jantzen

    2014-08-19T23:59:59.000Z

    The Frenet-Serret curve analysis is extended from nonnull to null trajectories in a generic spacetime using the Newman-Penrose formalism, recovering old results which are not well known and clarifying the associated Fermi-Walker transport which has been left largely unexplored in the literature. This machinery is then used to discuss null circular orbits in stationary axisymmetric spacetimes using the Kerr spacetime as a concrete example, and to integrate the equations of parallel transport along null geodesics in any spacetime.

  12. Sub-barrier Fusion Cross Sections with Energy Density Formalism

    SciTech Connect (OSTI)

    Zamrun, Muhammad; Hagino, F. K.; Takigawa, N. [Department of Physics, Tohoku University, 980-8578 (Japan)

    2006-08-14T23:59:59.000Z

    We discuss the applicability of the energy density formalism (EDF) for heavy-ion fusion reactions at sub-barrier energies. For this purpose, we calculate the fusion excitation function and the fusion barrier distribution for the reactions of 16O with 154,144Sm, 186W and 208Pb with the coupled-channels method. We also discuss the effect of saturation property on the fusion cross section for the reaction between two 64Ni nuclei, in connection to the so called steep fall-off phenomenon of fusion cross sections at deep sub-barrier energies.

  13. Harmonic Superspace Gaugeon Formalism for the ABJM Theory

    E-Print Network [OSTI]

    Mir Faizal

    2012-07-12T23:59:59.000Z

    In this paper we will analyse the ABJM theory in harmonic superspace. The harmonic superspace variables will be parameterized by the coset $SU(2)/U(1)$ and thus will have manifest $\\mathcal{N} =3$ supersymmetry. We will study the quantum gauge transformations and the BRST transformations of this theory in gaugeon formalism. We will use this BRST symmetry to project out the physical sub-space from the total Hilbert space. We will also show that the evolution of the $\\mathcal{S}$-matrix is unitary for this ABJM theory in harmonic superspace.

  14. SAMPLE COVER LETTER FOR AN UNADVERTISED INTERNSHIP (If you don't have a position description to tailor your letter)

    E-Print Network [OSTI]

    Illinois at Chicago, University of

    SAMPLE COVER LETTER FOR AN UNADVERTISED INTERNSHIP (If you don't have a position description in _____________. I am seeking a ____________________ or ____________________ internship for summer, fall, spring year are impressed with the organization Statements communicating your enthusiasm for the internship opportunity

  15. Nature Macmillan Publishers Ltd 1997 letters to nature

    E-Print Network [OSTI]

    Utrecht, Universiteit

    Univ. Press, New York, 1988). 3. Moya-Sola, S. & Kohler, M. Recent discoveries of Dryopithecus shed new light on evolution of great apes. Nature 365, 543­545 (1993). 4. Moya-Sola, S. & Kohler, M. New partial, and E. Delson, M. Kohler, S. Moya-Sola and D. Pilbeam for comments and advice. This work was sup

  16. Acceleration and Particle Field Interactions of Cosmic Rays I: Formalism

    E-Print Network [OSTI]

    A. Tawfik; A. Saleh; M. T. Ghoneim; A. A. Hady

    2010-10-14T23:59:59.000Z

    The acceleration of ultra high energy cosmic rays is conjectured to occur through various interactions with the electromagnetic fields in different astrophysical objects, like magnetic matter clumps, besides the well-known shock and stochastic Fermi mechanisms. It is apparent that the latter are not depending on the particle's charge, quantitatively. Based on this model, a considerable portion of the dynamics, that derives a charged particle parallel to a magnetic field $\\mathbf{B}$ and under the influence of a force $\\mathbf{F}$, is assumed to be composed of an acceleration by a non-magnetic force $\\mathbf{F}_{\\parallel}$ and a gyromotion along $\\mathbf{B}$ direction, plus drifts in the direction of $\\mathbf{F}_{\\perp}$. The model and its formalism are introduced. Various examples for drift motions and accelerating forces are suggested. The formalism is given in a non-relativistic version. Obviously, the translation into the relativistic version is standard. In a forthcoming work, a quantitative estimation of the energy gained by charged cosmic rays in various astrophysical objects will be evaluated.

  17. Letter of Interest or Prospecting Letter You may find that you are sincerely interested in a particular organization, but they have no jobs currently

    E-Print Network [OSTI]

    Omiecinski, Curtis

    . 1. State why you are interested in working for that organization. 2. Demonstrate the skills you year at Penn State, my interest in working for an organization that shares my passion has become34 Letter of Interest or Prospecting Letter You may find that you are sincerely interested

  18. Recommendation letters are extraordinarily important during the academic job search process. You should start thinking about who your letter writers will be well in advance of application deadlines.

    E-Print Network [OSTI]

    Manchak, John

    Recommendation letters are extraordinarily important during the academic job search process. You first-hand knowledge of your skills ­ they've seen you teach, co-authored articles with you, worked academic department if you want the letters to have maximum impact. HELPING YOUR REFERENCES Start Early

  19. NWEC Comments: Environmental Costs and Benefits 1 Methodology for Determining Quantifiable Environmental Costs

    E-Print Network [OSTI]

    NWEC Comments: Environmental Costs and Benefits 1 Methodology for Determining Quantifiable Environmental Costs and Benefits Comments of the NW Energy Coalition October 31, 2014 Introduction: Applying (Council) to include a methodology for determining quantifiable environmental costs and benefits in its

  20. AFFECT Notice of Intent June 27, 2013 CO and Legal Comments July...

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

    AFFECT Notice of Intent June 27, 2013 CO and Legal Comments July 3, 2013 AFFECT Notice of Intent June 27, 2013 CO and Legal Comments July 3, 2013 Document details the Assisting...

  1. Electrolux to DOE General Counsel; Re:Request for Comment on...

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

    Re:Request for Comment on Large Capacity Clothes Washers More Documents & Publications GE to DOE General Counsel; Re:Request for Comment on Large Capacity Clothes Washers LG to...

  2. U.S. Science Journalists' Views and Uses of Online Reader Comments: A Qualitative Study 

    E-Print Network [OSTI]

    Schaefer, Mary Elizabeth

    2014-09-02T23:59:59.000Z

    publications also provide insight into how some journalists view comments. In an article on the Nieman Reports website, an NPR ombudsman recounts some of her experiences with comments, which have consisted largely of personal attacks, and addresses issues...

  3. Comment submitted by Energizer Battery Manufacturing, Inc. regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by Energizer Battery Manufacturing, Inc. regarding the Energy Star Verification Testing Program

  4. Comment submitted by Hoshizaki America, Inc. regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by Hoshizaki America, Inc. regarding the Energy Star Verification Testing Program

  5. Comment submitted by United Lighting, Inc. regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by United Lighting, Inc. regarding the Energy Star Verification Testing Program

  6. Summary and comments on the month's production and injection................. Using the production table...................................................................................

    E-Print Network [OSTI]

    #12;Summary and comments on the month's production and injection................. Using the production table................................................................................... Monthly Oil and Gas Production........................................................................ Using

  7. Comment submitted by A. O. Smith Corporation regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by A. O. Smith Corporation regarding the Energy Star Verification Testing Program

  8. Comment submitted by Hobart/ITW Food Equipment Group regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by Hobart/ITW Food Equipment Group regarding the Energy Star Verification Testing Program

  9. Comment submitted by BSH Home Appliances Corporation regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by BSH Home Appliances Corporation regarding the Energy Star Verification Testing Program

  10. Comment submitted by the Alliance for Water Efficiency (AWE) regarding the Energy Star Verification Testing Program

    Broader source: Energy.gov [DOE]

    This document is a comment submitted by the Alliance for Water Efficiency (AWE) regarding the Energy Star Verification Testing Program

  11. QER- Comment of Ariel Elan 2

    Broader source: Energy.gov [DOE]

    Thank you for your attention to my comment and those of other citizens. I am among many who experience climate disruption as an emergency, and I feel emergency measures to slow or stabilize it are not only justified, but are essential. Humanity's consumption and production of energy is what needs to change in order to stabilize our climate at any point. The sooner we accomplish this, the sooner we can reduce the suffering of billions of people, and the expenditure of billions and trillions of dollars, that are all due to climate-change impacts. It is not necessary to agree that the extraction, processing, and burning of fossil fuels has caused the atmospheric and temperature changes that have caused climate disruption. Suppose an asteroid larger than planet Earth was hurtling directly towards our planet right now. We did not "cause" the asteroid to move toward us; does that mean we should do nothing to redirect it or mitigate its impact? No one would recommend that. Climate disruption is the asteroid that could make the Earth uninhabitable for future generations of human beings. The one and only thing humanity can do that we KNOW would help to slow down its cascading and exponential increase is to reduce heat-trapping gas in our atmosphere. We can do that, no matter what we believe caused the problem. And we must.

  12. QER- Comment of Stephen Arthur 3

    Broader source: Energy.gov [DOE]

    Thank you, I appreciate being informed about the updates to the QER. I have one last request, which is that if there are additional changes to the final Washington D.C. meeting, can I be informed for stakeholder purposes. On Tue, Oct 7, 2014 at 10:13 AM, QERcomments wrote: Stephen, We held the last stakeholder meeting for this installment of the QER in New York City yesterday. The wrap up meeting in Washington will be held at a later date and will be a slightly different format, and we do not have that scheduled yet. We were not able to fit in the Iowa meeting for this installment but do anticipate holding a meeting next year on rural energy issues for the second installment of the QER. Karen Wayland Karen G. Wayland, Ph.D. Deputy Director for State, Local and Tribal Cooperation Energy Policy and Systems Analysis U.S. Department of Energy 1000 Independence Ave. SW Washington, DC 20585 From: Stephen Arthur Sent: Friday, October 03, 2014 3:27 PM To: QERcomments Subject: QER Final Meetings Good afternoon, I was simply curious about the preliminary reports about the final meeting of the QER. I know the deadline for public comments is quickly approaching and was wondering if the last meeting in New York, Iowa, and final meeting in Washington D.C. were still going to occur? Thank you. Sincerely, Stephen Arthur

  13. A calendar and transcription of selected letters by Elmer Blaney Harris: 1902-1905

    E-Print Network [OSTI]

    Bowie, Charles Caldwell

    1989-01-01T23:59:59.000Z

    similarly numbered letters. And when the numbers assigned to the letter and the envelope do not match, I have recorded the number of the envelope in parentheses immediately after the des- ignation ENV. In such cases, I have allowed the number... with the abbreviation ENV. In the course of creating this calendar, I have been able to match some of the letters with separately numbered, emp- ty envelopes with similar dates. Like the mismatched correspondence mentioned above, however, the numbers...

  14. Letter report: Evaluation of dryer/calciner technologies for testing

    SciTech Connect (OSTI)

    Sevigny, G.

    1996-02-01T23:59:59.000Z

    This letter report describes some past experiences on the drying and calcination of radioactive materials or corresponding simulants; and the information needed from testing. The report also includes an assessment of informational needs including possible impacts to a full-scale plant. This includes reliability, maintenance, and overall size versus throughput. Much of the material was previously compiled and reported by Mike Elliott of PNL {open_quotes}Melter Performance Assessment{close_quotes} and Larry Eisenstatt of SEG on contract to WHC in a letter to Rod Powell. Also, an annotated bibliography was prepared by Reagan Seymour of WHC. Descriptions of the drying and calciner technologies, development status, advantages and disadvantages of using a WFE or calciner, and recommendations for future testing are discussed in this report.

  15. On a Broken Formal Symmetry between Kinetic and Gravitational Energy

    E-Print Network [OSTI]

    Armin Nikkhah Shirazi

    2014-07-16T23:59:59.000Z

    Historically, the discovery of symmetries has played an important role in the progress of our fundamental understanding of nature. This paper will demonstrate that there exists in Newtonian theory in a spherical gravitational field a formal symmetry between the kinetic (KE) and gravitational potential energy (GPE) of a test mass. Put differently, there exists a way of expressing GPE such that the form of the mathematical expression remains invariant under an interchange of KE and GPE. When extended to relativity by a suitable assumption, it leads to a framework that bridges the general relativistic and Newtonian conceptions of gravitational energy, even though the symmetry is broken except in the infinitesimal limit. Recognizing this symmetry at infinitesimal scales makes it possible to write a relativistic equation of an individual graviton, the properties of which under under one interpretation may be unexpected.

  16. From superoperator formalism to nonequilibrium Thermo Field Dynamics

    E-Print Network [OSTI]

    Yusuke Nakamura; Yoshiya Yamanaka

    2012-11-19T23:59:59.000Z

    Emphasizing that the specification of the representation space or the quasiparticle picture is essential in nonequilibrium quantum field system, we have constructed the unique unperturbed representation of the interaction picture in the superoperator formalism. To achieve it, we put the three basic requirements (the existence of the quasiparticle picture at each instant of time, the macroscopic causality and the relaxation to equilibrium). From the resultant representation follows the formulation of nonequilibrium Thermo Field Dynamics (TFD). The two parameters, the number distribution and excitation energy, characterizing the representation, are to be determined by the renormalization condition. While we point out that the diagonalization condition by Chu and Umezawa is inconsistent with the equilibrium theory, we propose a new renormalization condition as a generalization of the on-shell renormalization on the self-energy which derives the quantum transport equation and determines the renormalized excitation energy.

  17. Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis

    E-Print Network [OSTI]

    Cimiano, P; Staab, S; 10.1613/jair.1648

    2011-01-01T23:59:59.000Z

    We present a novel approach to the automatic acquisition of taxonomies or concept hierarchies from a text corpus. The approach is based on Formal Concept Analysis (FCA), a method mainly used for the analysis of data, i.e. for investigating and processing explicitly given information. We follow Harris distributional hypothesis and model the context of a certain term as a vector representing syntactic dependencies which are automatically acquired from the text corpus with a linguistic parser. On the basis of this context information, FCA produces a lattice that we convert into a special kind of partial order constituting a concept hierarchy. The approach is evaluated by comparing the resulting concept hierarchies with hand-crafted taxonomies for two domains: tourism and finance. We also directly compare our approach with hierarchical agglomerative clustering as well as with Bi-Section-KMeans as an instance of a divisive clustering algorithm. Furthermore, we investigate the impact of using different measures wei...

  18. Conserved charges in (Lovelock) gravity in first order formalism

    SciTech Connect (OSTI)

    Gravanis, Elias [Akropoleos 1 Nicosia 2101 (Cyprus)

    2010-04-15T23:59:59.000Z

    We derive conserved charges as quasilocal Hamiltonians by covariant phase space methods for a class of geometric Lagrangians that can be written in terms of the spin connection, the vielbein, and possibly other tensorial form fields, allowing also for nonzero torsion. We then recalculate certain known results and derive some new ones in three to six dimensions hopefully enlightening certain aspects of all of them. The quasilocal energy is defined in terms of the metric and not its first derivatives, requiring 'regularization' for convergence in most cases. Counterterms consistent with Dirichlet boundary conditions in first order formalism are shown to be an efficient way to remove divergencies and derive the values of conserved charges, the clear-cut application being metrics with anti-de Sitter (or de Sitter) asymptotics. The emerging scheme is: all is required to remove the divergencies of a Lovelock gravity is a boundary Lovelock gravity.

  19. Noncommutative (supersymmetric) electrodynamics in the Yang-Feldman formalism

    SciTech Connect (OSTI)

    Zahn, Jochen [Courant Research Centre 'Higher Order Structures in Mathematics', University of Goettingen, D-37073 Goettingen (Germany)

    2010-11-15T23:59:59.000Z

    We study quantum electrodynamics on the noncommutative Minkowski space (NCQED) in the Yang-Feldman formalism. Local observables are defined by using covariant coordinates. We compute the two-point function of the interacting field strength to second order and find the infrared divergent terms already known from computations using the so-called modified Feynman rules. It is shown that these lead to nonlocal renormalization ambiguities. Also new nonlocal divergences stemming from the covariant coordinates are found. Furthermore, we study the supersymmetric extension of the model. For this, the supersymmetric generalization of the covariant coordinates is introduced. We find that the nonlocal divergences cancel. At the one-loop level, the only effect of noncommutativity is then a momentum-dependent field strength normalization. We interpret it as an acausal effect and show that its range is independent of the noncommutativity scale.

  20. Formal Developments for Lattice QCD with Applications to Hadronic Systems

    E-Print Network [OSTI]

    Zohreh Davoudi

    2014-09-05T23:59:59.000Z

    Lattice quantum chromodynamics (QCD) will soon become the primary theoretical tool in rigorous studies of single- and multi-hadron sectors of QCD. It is truly ab initio meaning that its only parameters are those of standard model. The result of a lattice QCD calculation corresponds to that of nature only in the limit when the volume of spacetime is taken to infinity and the spacing between discretized points on the lattice is taken to zero. A better understanding of these discretization and volume effects not only provides the connection to the infinite-volume continuum observables, but also leads to optimized calculations that can be performed with available computational resources. This thesis includes various formal developments in this direction, along with proposals for improvements, to be applied to the upcoming lattice QCD studies of nuclear and hadronic systems. Among these developments are i) an analytical investigation of the recovery of rotational symmetry with the use of suitably-formed smeared operators toward the continuum limit, ii) an extension of the Luscher finite-volume method to two-nucleon systems with arbitrary angular momentum, spin, parity and center of mass momentum, iii) the application of such formalism in extracting the scattering parameters of the 3S1-3D1 coupled channels, iv) an investigation of twisted boundary conditions in the single- and two-hadron sectors, with proposals for improving the volume-dependence of the deuteron binding energy upon proper choices of boundary conditions, and v) exploring the volume dependence of the masses of hadrons and light-nuclei due to quantum electrodynamic interactions, including the effects arising from particles' compositeness. The required background as well as a brief status report of the field pertinent to the discussions in this thesis are presented.