National Library of Energy BETA

Sample records for formal consultation section

  1. SECTION THIRTY SEVEN Consultants Section Thirty Seven Consultants, Inc.

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i nAandSummaryDIST OF COLUMBIANorth Pitt Street, Alexandria,J-1 SECTION JTHIRTY

  2. ENDANGERED SPECIES ACT: SECTION 7 CONSULTATION BIOLOGICAL OPINION

    E-Print Network [OSTI]

    from the following information sources: · Request by BP Exploration (Alaska), Inc. (BPXA) for a LOA (USFWS), depending upon the protected species that may be affected. Formal consultations on most listed Division (NMFS PRl) requested formal consultation on regulations and subsequent Letter ofAuthorization (LOA

  3. ENDANGERED SPECIES ACT -SECTION 7 CONSULTATION BIOLOGICAL OPINION

    E-Print Network [OSTI]

    would connect the island with the Trans Alaska Pipeline System. Liberty Island would be located in Foggy Island [Consultation No. F/AKR/2001/00889] Consulting Agency: National Marine Fisheries Service, Alaska these systems of knowledge. The Liberty Prospect is in Federal Outer Continental Shelf (OCS) waters of Foggy

  4. ACHP - Consultation with Indian Tribes in the Section 106 Review...

    Open Energy Info (EERE)

    106 Review Process: a Handbook Jump to: navigation, search OpenEI Reference LibraryAdd to library PermittingRegulatory Guidance - GuideHandbook: ACHP - Consultation with Indian...

  5. Sub-barrier Fusion Cross Sections with Energy Density Formalism

    E-Print Network [OSTI]

    F. Muhammad Zamrun; K. Hagino; N. Takigawa

    2006-06-07

    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.

  6. Software Verification and Validation for Commercial Statistical Packages Utilized by the Statistical Consulting Section of SRTC

    SciTech Connect (OSTI)

    Edwards, T.B.

    2001-01-16

    The purpose of this report is to provide software verification and validation (v and v) for the statistical packages utilized by the Statistical Consulting Section (SCS) of the Savannah River Technology Center (SRTC). The need for this v and v stems from the requirements of the Quality Assurance (QA) programs that are frequently applicable to the work conducted by SCS. This document is designed to comply with software QA requirements specified in the 1Q Manual Quality Assurance Procedure 20-1, Revision 6. Revision 1 of this QA plan adds JMP Version 4 to the family of (commercially-available) statistical tools utilized by SCS. JMP Version 3.2.2 is maintained as a support option due to features unique to this version of JMP that have not as yet been incorporated into Version 4. SCS documents that include JMP output should provide a clear indication of the version or versions of JMP that were used. The IBM Personal Computer 300PL and 300XL are both Pentium II based desktops. Therefore, th e software verification and validation in this report is valid interchangeably between both platforms. As new computing platforms, statistical packages, or revisions to existing packages are introduced into the Statistical Consulting Section, the appropriate problems from this report are to be re-evaluated, and this report is to be revised to address their verification and validation.

  7. Software verification and validation for commercial statistical packages utilized by the statistical consulting section of SRTC

    SciTech Connect (OSTI)

    Edwards, T.B.

    2000-03-22

    The purpose of this report is to provide software verification and validation for the statistical packages used by the Statistical Consulting Section (SCS) of the Savannah River Technology Center. The need for this verification and validation stems from the requirements of the Quality Assurance programs that are frequently applicable to the work conducted by SCS. The IBM Personal Computer 300PL and 300XL are both Pentium II based desktops. Therefore the software verification and validation in this report is valid interchangeably between both platforms. As new computing platforms, statistical packages, or revisions to existing packages are reevaluated using these new tools, this report is to be revised to address their verification and validation.

  8. ACHP - Consultation with Indian Tribes in the Section 106 Review Process: a

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EAand Dalton JumpProgram |RecentSulfonate as aEnergy1ACE-II: Areas

  9. Employment of Experts and Consultants

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

    2006-11-06

    To maintain a system of controls and oversight necessary for the DOE to assure compliance with 5, U.S.C. Section 3109, "Employment of Experts and Consultants, Temporary or Intermittent"; Title 5, Code of Federal Regulations, Part 304, "Expert and Consultant Appointments"; and all other relevant rules, regulations, and DOE directives. Supersedes DOE O 3304.1A, Employment of Experts and Consultants, dated 6-23-92.

  10. Endangered Species Consultation Handbook

    E-Print Network [OSTI]

    Endangered Species Consultation Handbook Procedures for Conducting" " Consz~ltationand Conference Service March 1998 Final #12;FOREWORD It gives us great pleasure to introduce the final Section 7 Handbook Service employees. The Handbook provides internal guidance and establishes national policy for conducting

  11. SECTION THIRTY SEVEN Consultants Section Thirty Seven Consultants...

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

    legislation and possible advances in renewable technologies, specifically solar PV & energy storage. Generation Developers or Renewable Generation Developers are mostly supported...

  12. Technical Consultant Contract

    Broader source: Energy.gov [DOE]

    Technical Consultant Contract, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  13. Communications Consultant RFP

    Broader source: Energy.gov [DOE]

    Communications Consultant RFP, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  14. Evaluation Consultant RFP

    Broader source: Energy.gov [DOE]

    Evaluation Consultant RFP, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  15. Communication Consultant Contract

    Office of Energy Efficiency and Renewable Energy (EERE)

    Communication Consultant Contract, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  16. Technical Consultant Report Template

    Broader source: Energy.gov [DOE]

    Technical Consultant Report Template, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  17. Selecting a Consulting Forester 

    E-Print Network [OSTI]

    Taylor, Eric; Foster, C. Darwin

    2005-10-19

    Landowners often need professional help after a weather-related disaster has damaged timber stands. A consulting forester can help a landowner develop management strategies that fit the landowner's objectives. This publication includes a checklist...

  18. Wellcome Trust CONSULTATION RESPONSE Ofqual: A level Reform Consultation

    E-Print Network [OSTI]

    Rambaut, Andrew

    Wellcome Trust CONSULTATION RESPONSE Ofqual: A level Reform Consultation September 2012 1 Ofqual: A Level Reform Consultation Response by the Wellcome Trust September 2012 Key Points National Subject to university. We are therefore pleased to respond to this consultation on reforming A levels. Our comments

  19. Hamilton Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIXsource History View NewGuam: Energy Resources JumpConsulting Jump to: navigation, search

  20. ENERGY REVIEW Consultation Document

    E-Print Network [OSTI]

    ENERGY REVIEW Consultation Document JANUARY 2006 Our Energy Challenge Securing clean, affordable energy for the long-term #12;Our Energy Challenge Securing clean, affordable energy for the long term #12;OUR ENERGY CHALLENGE ­ SECURING CLEAN, AFFORDABLE ENERGY FOR THE LONG TERM ii Why is the government

  1. Formal Object Oriented Analysis: The Practical Issues

    E-Print Network [OSTI]

    Gibson, J. Paul

    .5: The Practicalities of Building a Formal Model This section begins by listing a set of critreria which an analysis method (as opposed to set of models) must ful l. Then it de nes a skeleton method for building a formal, which analysts can rely on to help make di cult development decisions. Section 4.6: gure=FormAnal-Chp4

  2. Consulting and short LSTAT PILLARS

    E-Print Network [OSTI]

    Davis, Jesse

    with Master of Statistics UHasselt · Protocol agreement KU Leuven - UcL #12;Current Admission Committee · MiaLStat's Consulting and short courses #12;LSTAT PILLARS · Master of Science in Statistics Program's Education Master of Statistics and more #12;LStat and Education · Rooted in Research and Consulting · Varied

  3. California Energy Commission CONSULTANT REPORT

    E-Print Network [OSTI]

    roofs and the energy requirement for renovated lighting systems to meet the new 2013 energyCalifornia Energy Commission CONSULTANT REPORT IMPACT ANALYSIS California's 2013 Building Energy Efficiency Standards JULY 2013 CEC4002013008 CALIFORNIA ENERGY COMMISSION Edmund G. Brown Jr

  4. Grupo Energia Consult | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EA Jump to:ofEniaElectricHydroLegalAlto AlegreConsiag JumpConsult Jump

  5. Verve Solar Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop IncIowa (Utility Company) JumpGTZUtility RatesComercioElectric Coop JumpConsulting

  6. P Consult Bratislava | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIXsourceII JumpQuarterly Smart GridNorth Carolina: Energy Resources Jump to:Consult

  7. Former NERSC Consultant Mentors Math, Computer Science Students

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

    Former NERSC Consultant Mentors Math, Computer Science Students Former NERSC Consultant Mentors Math, Computer Science Students March 10, 2015 Frank Hale, a former consultant in...

  8. Necessity of integral formalism

    E-Print Network [OSTI]

    Yong Tao

    2011-10-06

    To describe the physical reality, there are two ways of constructing the dynamical equation of field, differential formalism and integral formalism. The importance of this fact is firstly emphasized by Yang in case of gauge field [Phys. Rev. Lett. 33 (1974) 445], where the fact has given rise to a deeper understanding for Aharonov-Bohm phase and magnetic monopole [Phys. Rev. D. 12 (1975) 3845]. In this paper we shall point out that such a fact also holds in general wave function of matter, it may give rise to a deeper understanding for Berry phase. Most importantly, we shall prove a point that, for general wave function of matter, in the adiabatic limit, there is an intrinsic difference between its integral formalism and differential formalism. It is neglect of this difference that leads to an inconsistency of quantum adiabatic theorem pointed out by Marzlin and Sanders [Phys. Rev. Lett. 93 (2004) 160408]. It has been widely accepted that there is no physical difference of using differential operator or integral operator to construct the dynamical equation of field. Nevertheless, our study shows that the Schrodinger differential equation (i.e., differential formalism for wave function) shall lead to vanishing Berry phase and that the Schrodinger integral equation (i.e., integral formalism for wave function), in the adiabatic limit, can satisfactorily give the Berry phase. Therefore, we reach a conclusion: There are two ways of describing physical reality, differential formalism and integral formalism; but the integral formalism is a unique way of complete description.

  9. Funder Consultation Program Ming-Chia Lai, Mechanical Engineering

    E-Print Network [OSTI]

    Finley Jr., Russell L.

    Funder Consultation Program 2014 Ming-Chia Lai, Mechanical Engineering Consultation: Chiping Li Engineering Consultation: Office of Naval Research Program Director Chandan Reddy, Computer Science, Biomedical Engineering Consultation: Rosmarie Hunziker (NIH), Athanassios Sambanis (NSF), Joseph Akkara (NSF

  10. Enviros Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTIONRobertsdale, AlabamaETEC GmbH JumpEllenville,Power Corp Jump to: navigation,Enviros Consulting Jump

  11. Endangered Species Act Section 7 Consultation Handbook | Open Energy

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTIONRobertsdale, AlabamaETEC GmbH JumpEllenville, New York:Corporation JumpEncap DevelopmentOpen

  12. Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to Ofqual's GCSE reform consultation -August 2013

    E-Print Network [OSTI]

    Rambaut, Andrew

    Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to Ofqual's GCSE reform consultation - August 2013 1 Ofqual: GCSE reform consultation Response by the Wellcome Trust August 2013 Key points and indirect practical assessment in its reform proposals. The total contribution of direct and indirect

  13. LIBRARY STAFF CONSULTATIVE COMMITTEE DIVISION OF INFORMATION

    E-Print Network [OSTI]

    LIBRARY STAFF CONSULTATIVE COMMITTEE DIVISION OF INFORMATION THE AUSTRALIAN NATIONAL UNIVERSITY DRAFT MINUTES A meeting of the Library Staff Consultative Committee was held on 4 June 2012 commencing on the Library/SIS and Roxanne will meet with her in a fortnight. Admin Review ­ The Library/SIS will have

  14. DEPARTMENT OF FACILITIES MANAGEMENT PRIME CONSULTANT'S AGREEMENT

    E-Print Network [OSTI]

    deYoung, Brad

    for the construction and completion of the Project, or the approved Construction Cost Budget, whichever cost identified Consultant's Agreement (October 2013 Rev 2.2).doc PRIME CONSULTANT'S AGREEMENT INDEX 1. DEFINITIONS 2. PROJECT DESIGN STAFF 6. PROJECT MANAGEMENT/CONSTRUCTION MANAGEMENT 7. REIMBURSABLE EXPENSES 8. FEES 9

  15. Thomas Van Dam Principal, Nichols Consulting Engineers

    E-Print Network [OSTI]

    Thomas Van Dam Principal, Nichols Consulting Engineers Transportation Research Group TVanDam-cost, widespread availability, versatility, and hallmark longevity, hydraulic cement concrete (HCC) is the most in a variety of applications, including bridges, hydraulic structures, retaining walls, barriers, curbs

  16. Formalizing the concept of sound.

    SciTech Connect (OSTI)

    Kaper, H. G.; Tipei, S.

    1999-08-03

    The notion of formalized music implies that a musical composition can be described in mathematical terms. In this article we explore some formal aspects of music and propose a framework for an abstract approach.

  17. Biofame Consulting Group Co Ltd | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental JumpInformationBio-Gas Technologies, LLC JumpBiofame Consulting Group Co Ltd

  18. Relicensing: Adding an extra stage of consultation

    SciTech Connect (OSTI)

    Sullivan, M.G. (Montana Power Company, Butte, MT (United States))

    1992-09-01

    Recognizing the value of getting public feedback about its hydro facilities, Montana Power Company is voluntarily going one step beyond FERC's prescribed three-stage consultation process during relicensing of its Missouri-Madison hydro project. Montana Power's attempt to get all the players in the game led the utility to add an extra step to FERC's three-step consultation process for relicensing a hydro project. The additional step gave the utility an opportunity to learn more about the needs and concerns of the public and resource agencies. Simultaneously, it allowed the public an opportunity to gain a better understanding of Montana Power, the project, relicensing, and hydroelectricity in general. The three steps of FERC's consultation process require the applicant to meet with agencies and the public; to perform studies and write a draft application; and to file a final application with FERC and the consulting agencies. The public is given a chance to make comments about the project at each stage of the process. Montana Power started the relicensing process for its Missouri-Madison Project (FERC No. 2188) in the summer of 1989. The license for the project will expire in November 1994. After completing the meetings with the agencies and the public in the first step, Montana Power decided to add an extra stage of consultation with the agencies and public before writing the draft application.

  19. Eisenbach Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EA Jump to:of the NationalDynetekofEcogeoEdipower

  20. MAKE Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavyAgency (IRENA) JumpLiterature Review HomeM-7 Technologies

  1. Rappaport Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop Inc Jump to:Newberg,Energy LLCALLETEREFU Elektronik GmbHRahusRamkyRangeRappaport

  2. ST Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EA EIS Report UrlNM-bRenewableSMUD Wind Farm Jump to: navigation,SRTSSCST

  3. BTM Consult | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EAandAmminex AAustriaBiofuels Brasil Jump to: navigation,BROAD USABSSTBTM

  4. Climate Consultant | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoopButtePower Ventures Jump to: navigation, search Name: ClearClimate CareInc Jump

  5. PE Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIXsourceII JumpQuarterly Smart GridNorth Carolina: Energy Resources JumpPACE FinancingPE

  6. Photon Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIXsourceII JumpQuarterly Smart GridNorthInformationPersuPlanPhotoSolar Jump

  7. A general theory of formality

    E-Print Network [OSTI]

    Beck, Andrew Edward

    2011-01-01

    4 Formality and Programming Languages . . . . 4.1 Hardwarebetween programming languages, programming, and computers is1969] Sammet, J. (1969). Programming Languages: History and

  8. CONSULTING FIELD PROJECTS -MARKETING Summer 2015

    E-Print Network [OSTI]

    Snider, Barry B.

    1 CONSULTING FIELD PROJECTS - MARKETING BUS 195(a) Summer 2015 Weekly team meetings: Monday problems, assessing client marketing challenges and opportunities and generally adding value to the client's marketing operations. The course culminates in a final client presentation before the semester ends

  9. Department for Education: Secondary School Accountability Consultation

    E-Print Network [OSTI]

    Rambaut, Andrew

    aspects of schools' performance cannot easily be measured but are nevertheless important. School1 Department for Education: Secondary School Accountability Consultation Response by the Wellcome for schools. We have embarked on a programme of work to help improve school governance ­ details can be found

  10. The Right-Price Consultants Julie Swann

    E-Print Network [OSTI]

    Swann, Julie L.

    The Right-Price Consultants Julie Swann October 2002 To appear in Cases in Revenue Management Eds, a number of industries have turned towards innovative pricing strategies such as revenue management or dynamic pricing to manage their inventory effectively. Firms are employing such varied tools as dynamic

  11. National Strategy for the Arctic Tribal Consultation Session...

    Energy Savers [EERE]

    Tribal Consultation Session: Fairbanks National Strategy for the Arctic Tribal Consultation Session: Fairbanks February 19, 2015 9:30AM to 10:30AM AKST Fairbanks, Alaska BLM...

  12. STEP Energy Coach and Technical Consultant Job Descriptions

    Broader source: Energy.gov [DOE]

    STEP Energy Coach and Technical Consultant Job Descriptions, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  13. Draft Minutes _ 5 February 2013 LIBRARY STAFF CONSULTATIVE COMMITTEE

    E-Print Network [OSTI]

    THE AUSTRALIAN NATIONAL UNIVERSITY DRAFT MINUTES A meeting of the Library Staff Consultative Committee was heldDraft Minutes _ 5 February 2013 LIBRARY STAFF CONSULTATIVE COMMITTEE DIVISION OF INFORMATION Servcies non AV to Facilities and Services. Glen Munday will stay on the Library Staff Consultative

  14. Mycle Schneider Consulting Independent Analysis on Energy and Nuclear Policy

    E-Print Network [OSTI]

    Laughlin, Robert B.

    Mycle Schneider Consulting Independent Analysis on Energy and Nuclear Policy 45, allée des deux Mycle Schneider International Consultant on Energy and Nuclear Policy Paris, May 2009 This research the Author Mycle Schneider works as independent international energy nuclear policy consultant. Between 1983

  15. Meister Consultants Group | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History ViewMayo, Maryland: Energy Resources Jump to:Electric Coop,SmwMeister Consultants Group Jump to:

  16. Just Hot Resources Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History View NewTexas: Energy ResourcesOrder atHills,New York:Just Hot Resources Consulting Jump to:

  17. Northwest Hydraulic Consultants | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QAsource History ViewMayo, Maryland:NPI VenturesNew Hampshire:sourceNortheastNOVEC)Northvale,Hydraulic Consultants

  18. DISPUTES & INVESTIGATIONS ECONOMICS FINANCIAL ADVISORY MANAGEMENT CONSULTING 2012 Navigant Consulting, Inc. .

    E-Print Network [OSTI]

    Consulting, Inc. . Can IOU Demand Response Programs Facilitate Integration of Wind and Solar Energy Needed) renewable energy makes controlling power system frequency and maintain grid stability harder, because on wind & solar are increasingly concerned about renewable energy integration. Use of DR Programs

  19. Building Reliable Software Applied Formal Methods

    E-Print Network [OSTI]

    Zimmerman, Daniel M.

    Institute of Technology University of Washington Tacoma #12;Outline · Applied Formal Methods · Correctness

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

    E-Print Network [OSTI]

    M. V. T. Machado

    2009-05-27

    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.

  1. Executive Order 13175: Consultation and Coordination with Indian...

    Office of Environmental Management (EM)

    7249 Federal Register Vol. 65, No. 218 Thursday, November 9, 2000 Title 3- The President Executive Order 13175 of November 6, 2000 Consultation and Coordination With Indian Tribal...

  2. EPA - GUIDE ON CONSULTATION AND COLLABORATION WITH INDIAN TRIBAL...

    Office of Environmental Management (EM)

    with Indian Tribal Governments." 65 Fed. Reg. 67249 (Nov. 9, 2000). The new Order strengthens the policy on tribal consultation expressed in Executive Order 13084 of...

  3. ACHP's Recommended Approach for Consultation on Recovery of Significan...

    Open Energy Info (EERE)

    Archaeological Sites Jump to: navigation, search OpenEI Reference LibraryAdd to library Web Site: ACHP's Recommended Approach for Consultation on Recovery of Significant...

  4. Leslie Matrix I Formal Demography

    E-Print Network [OSTI]

    Leslie Matrix I Formal Demography Stanford Summer Short Course 2006 James Holland Jones Department of Anthropological Sciences Stanford University August 8, 2006 1 #12;Outline 1. Matrix Dynamics 2. Matrix Powers 3 and Eigenvectors Stanford Summer Short Course: Leslie Matrix I 2 #12;A Simple Example Assume 2 Age

  5. Asynchronous Remote Medical Consultation for Ghana

    E-Print Network [OSTI]

    Luk, Rowena; Aoki, Paul M

    2008-01-01

    Computer-mediated communication systems can be used to bridge the gap between doctors in underserved regions with local shortages of medical expertise and medical specialists worldwide. To this end, we describe the design of a prototype remote consultation system intended to provide the social, institutional and infrastructural context for sustained, self-organizing growth of a globally-distributed Ghanaian medical community. The design is grounded in an iterative design process that included two rounds of extended design fieldwork throughout Ghana and draws on three key design principles (social networks as a framework on which to build incentives within a self-organizing network; optional and incremental integration with existing referral mechanisms; and a weakly-connected, distributed architecture that allows for a highly interactive, responsive system despite failures in connectivity). We discuss initial experiences from an ongoing trial deployment in southern Ghana.

  6. AT&TSecurity Consulting Information Assurance Federal Information Security

    E-Print Network [OSTI]

    Fisher, Kathleen

    AT&TSecurity Consulting Information Assurance ­ Federal Information Security Management Act (FISMA requirements under the Federal Information Security Management Act of 2002, of general support systems the security controls for the information system. The AT&T Consulting methodology is based on National

  7. Draft Minutes _2 October 2012 LIBRARY STAFF CONSULTATIVE COMMITTEE

    E-Print Network [OSTI]

    THE AUSTRALIAN NATIONAL UNIVERSITY DRAFT MINUTES A meeting of the Library Staff Consultative Committee was heldDraft Minutes _2 October 2012 LIBRARY STAFF CONSULTATIVE COMMITTEE DIVISION OF INFORMATION.00-11.30am in Hedley Bull Lecture Theatre 1 for affected staff. 4.2 Late Opening Hours The Library extended

  8. Draft Minutes _30 November 2012 LIBRARY STAFF CONSULTATIVE COMMITTEE

    E-Print Network [OSTI]

    THE AUSTRALIAN NATIONAL UNIVERSITY DRAFT MINUTES A meeting of the Library Staff Consultative Committee was heldDraft Minutes _30 November 2012 LIBRARY STAFF CONSULTATIVE COMMITTEE DIVISION OF INFORMATION was undertaken for the Library service in August 2012. In summary the Library performed highest on the category

  9. Draft Minutes _ 5 February 2013 LIBRARY STAFF CONSULTATIVE COMMITTEE

    E-Print Network [OSTI]

    THE AUSTRALIAN NATIONAL UNIVERSITY DRAFT MINUTES A meeting of the Library Staff Consultative Committee was heldDraft Minutes _ 5 February 2013 LIBRARY STAFF CONSULTATIVE COMMITTEE DIVISION OF INFORMATION and welcomed Heather Jenks, Associate Director, Information Services ANU Library. b. LSCC revised terms

  10. A Multilingual Usage Consultation Tool Based on Internet Searching

    E-Print Network [OSTI]

    Nakagawa, Hiroshi

    present a usage consultation tool, based on Internet searching, for language learners. When a user enters terms in dictionar- ies. Another way to search for information on usage is to use the KWIC (Key WordA Multilingual Usage Consultation Tool Based on Internet Searching -More than a search engine, less

  11. Hyperspherical harmonic formalism for tetraquarks

    E-Print Network [OSTI]

    J. Vijande; N. Barnea; A. Valcarce

    2006-10-11

    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.

  12. NRC Perspectives on Waste Incidental to Reprocessing Consultations and Monitoring - 13398

    SciTech Connect (OSTI)

    McKenney, Christepher A.; Suber, Gregory F.; Felsher, Harry D.; Mohseni, Aby

    2013-07-01

    Section 3116 of the Ronald W. Reagan National Defense Authorization Act for Fiscal Year 2005 (NDAA) requires the U.S. Department of Energy (DOE) to consult with the U.S. Nuclear Regulatory Commission (NRC) for certain non-high level waste (HLW) determinations. The NDAA also requires NRC to monitor DOE's disposal actions related to those determinations to assess compliance with NRC regulations in 10 CFR Part 61, Subpart C. The NDAA applies to DOE activities that will remain within the States of South Carolina and Idaho. DOE has chosen to, under DOE Order 435.1, engage in consultation with NRC for similar activities in the State of Washington and New York, however, the NRC has no monitoring responsibilities. In 2007, the NRC developed a draft Final Report for Interim Use entitled, NUREG-1854: NRC Staff Guidance for Activities Related to U.S. Department of Energy Waste Determinations. Since the law was enacted, the DOE and NRC have consulted on three waste determinations within the affected States: (1) the Saltstone Disposal Facility at the Savannah River Site (SRS) within the State of South Carolina in 2005, (2) the INTEC Tank Farm at the Idaho National Laboratory within the State of Idaho in 2006, and (3) the F Tank Farm at SRS in 2011. After the end of consultation and issuance by DOE of the final waste determination, monitoring began at each of these sites, including the development of monitoring plans. In addition to the NDAA sites, DOE has requested NRC consultation support on both individual tanks and the entire C Tank Farm at the Hanford Nuclear Reservation in the State of Washington. DOE also requested consultation of waste determinations performed on the melter and related feed tanks at the West Valley site in New York that would be disposed offsite. In the next few years, NRC and DOE will consult on the last of the NDAA waste determinations for a while, the H Tank Farm waste determination at SRS. DOE may identify other activities in the future but largely NRC's role will change from doing both consultation and monitoring to being focused on monitoring activities within NDAA. DOE has identified other activities at the Hanford Nuclear Reservation that would continue consultation activities but outside of the NDAA in the future. During the past seven years of consultations and monitoring a number of lessons learned about the process, communication issues, and technical guidance have been identified. With the change in focus from reviewing initial performance assessments and draft waste determinations to long-term monitoring (e.g., individual waste tank closure, at F Tank Farm or complete tank farm closure at INTEC expected in the near future), the NRC is going to revise and update its guidance over the next few years to reflect the lessons learned and the change in focus. In addition to the lessons learned, improvements in the guidance will have to account possible rule and guidance changes underway within Part 61. This paper will discuss the initial plans, approaches, and time lines to revise the guidance within NUREG-1854, including opportunities for public involvement. (authors)

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

  14. Formal Concept Analysis in Geology 1 7 Formal Concept Analysis in Geology

    E-Print Network [OSTI]

    Belohlavek, Radim

    Formal Concept Analysis in Geology 1 7 Formal Concept Analysis in Geology: Attribute Tables-attribute knowledge is vague (fuzzy), which is typical of sciences like geology, biology etc. Basically, formal of fuzzy data and its possible applications in geological and related sciences. The presen- #12;Formal

  15. LIBRARY STAFF CONSULTATIVE COMMITTEE THE AUSTRALIAN NATIONAL UNIVERSITY

    E-Print Network [OSTI]

    LIBRARY STAFF CONSULTATIVE COMMITTEE THE AUSTRALIAN NATIONAL UNIVERSITY DRAFT 2013 (see http://anulib.anu.edu.au/intranet/committees/library and Records c. Libraries (branches ­ Art & Music, Chifley, Hancock, Law, Menzies) d

  16. LIBRARY STAFF CONSULTATIVE COMMITTEE THE AUSTRALIAN NATIONAL UNIVERSITY

    E-Print Network [OSTI]

    LIBRARY STAFF CONSULTATIVE COMMITTEE THE AUSTRALIAN NATIONAL UNIVERSITY DRAFT AGENDA. Unilinc d. Membership ­ addition of Library communications staff member e. Solving our Budget Challenges 5 and Records c. Libraries (branches ­ Art & Music, Chifley, Hancock, Law, Menzies) d. Information Literacy

  17. 2014 Navigant Consulting, Inc. Assessing Demand Response (DR)

    E-Print Network [OSTI]

    © 2014 Navigant Consulting, Inc. Assessing Demand Response (DR) Program Potential for the Seventh;Assessing Demand Response (DR) Program Potential for the Seventh Power Plan Page i Updated Final Report

  18. National Strategy for the Arctic Region Tribal Consultation Session...

    Energy Savers [EERE]

    Arctic Region Tribal Consultation Session: Dutch HarborUnalaska February 27, 2015 10:00AM to 12:00PM EST Unalaska, Alaska Unalaska Public Library 64 Eleanor Dr. Unalaska, AK 99685...

  19. National Strategy for the Arctic Region Tribal Consultation and...

    Office of Environmental Management (EM)

    Consultation and Stakeholder Outreach Session: Kotzebue February 23, 2015 10:00AM to 12:00PM AKST Kotzebue, Alaska Northwest Arctic Heritage Center 171 3rd Ave. Kotzebue, AK 9975...

  20. The Role of the Consultant in Marketing Industrial Heat Pumps 

    E-Print Network [OSTI]

    Gilbert, J. S.; Niess, R. C.

    1987-01-01

    OF THE CONSULTANT IN MARKETING INDUSTRIAL HEAT PUMPS Joel S. Gilbert & Richard C. Niess Dames & Moore, Bethesda, Maryland ABSTRACT This paper explores the role that a consultant can play in the acceptance of applied heat pumps by industry (the key word... is "industry?). Unfor tunately, there are very few engineers in practice today with expertise in this specialized area of energy conservation technology. In this discussion, we will define the indus trial heat pump, review experience and training...

  1. Survey of Existing Tools for Formal Verification.

    SciTech Connect (OSTI)

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

    2014-12-01

    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.

  2. AMBA-ARM7 Formal Verification Platform

    E-Print Network [OSTI]

    Susanto, K.W.

    Susanto,K.W. Melham,T.F. To appear at the 5th International Conference on Formal Engineering Methods 2003. pp 20 Springer Verlag

  3. SECTION I

    National Nuclear Security Administration (NNSA)

    Section I, Page 53 (1) An unmanufactured construction material mined or produced in the United States; (2) A construction material manufactured in the United States, if- (i) The...

  4. Section B

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

    124 B-i PART I - THE SCHEDULE SECTION B - SUPPLIES OR SERVICES AND PRICESCOSTS TABLE OF CONTENTS B.1 TYPE OF CONTRACT - ITEMS BEING ACQUIRED ......

  5. Mechanical formalism for tissue dynamics

    E-Print Network [OSTI]

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

    2014-12-23

    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.

  6. Formal Specification of Operating System Operations

    E-Print Network [OSTI]

    Black, Paul E.

    Formal Specification of Operating System Operations Dan Zhou Department of Computer Science.black@nist.gov This paper describes the development of a formal specification for a secure operating system architecture operations. We also provide a uniform environment for system commands that change the security state

  7. Time Fractional Formalism: Classical and Quantum Phenomena

    E-Print Network [OSTI]

    Hosein Nasrolahpour

    2012-03-18

    In this review, we present some fundamental classical and quantum phenomena in view of time fractional formalism. Time fractional formalism is a very useful tool in describing systems with memory and delay. We hope that this study can provide a deeper understanding of the physical interpretations of fractional derivative.

  8. A Formal Framework for Java Separate Compilation

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    A Formal Framework for Java Separate Compilation Davide Ancona, Giovanni Lagorio, and Elena Zucca,lagorio,zuccag@disi.unige.it Abstract. We de#12;ne a formal notion, called compilation schema, allow- ing to specify di#11;erent possibilities for performing the overall process of Java compilation, which includes type-checking of source

  9. Monitor-Based Formal Specification of PCI

    E-Print Network [OSTI]

    Dill, David L.

    111 Monitor-Based Formal Specification of PCI Monitor-Based Formal Specification of PCI Kanna ContributionsContributions zWith our methodology, zProtocols are more easily specified ­PCI protocol specified zGood debugging strategies ­PCI Protocol Bugs Discovered #12;444 Copyright by Kanna Shimizu 2002777 Methodology

  10. Functional Arabic Morphology Formal System and Implementation

    E-Print Network [OSTI]

    Cerveny, Vlastislav

    from the open-source Buckwalter lexicon and is enhanced with information sourcing from the syntacticFunctional Arabic Morphology Formal System and Implementation Otakar Smrz Doctoral Thesis Prague 2007 INSTITUTE OF FORMAL AND APPLIED LINGUISTICS FACULTY OF MATHEMATICS AND PHYSICS CHARLES UNIVERSITY

  11. Managing Information Fusion with Formal Concept Analysis

    E-Print Network [OSTI]

    Winckler, Marco Antonio Alba

    Information Fusion with Formal Concept Analysis 105 Table 1. Information dataset given by sources m1 m2 g1 [1Managing Information Fusion with Formal Concept Analysis Zainab Assaghir1 , Mehdi Kaytoue1 , Amedeo of numerical information provided by several sources (databases, ex- perts...). Merging pieces of information

  12. Collapse in Formal Argumentation Systems Martin Caminada

    E-Print Network [OSTI]

    Utrecht, Universiteit

    -fields such as nonmonotonic reasoning, inconsistency-tolerant reasoning, multiple-source information systems, natural languageCollapse in Formal Argumentation Systems Martin Caminada Utrecht University Abstract Over the last decennia, many systems for formal argumentation have been defined. The problem, however

  13. Formal Aspects of Computing (1995) 7(E): 30--65 fl 1995 BCS Formal Aspects

    E-Print Network [OSTI]

    Smith, Graeme

    1995-01-01

    Formal Aspects of Computing (1995) 7(E): 30--65 c fl 1995 BCS Formal Aspects of Computing A Fully of existing specification lan­ guages have been extended to incorporate object­oriented concepts [DKR91b, SBC, however, is only possible once a formal semantics of the incorporated object­oriented features has been

  14. BSMB Carbon Consult | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar Energy LLC Jump to:Greece: EnergyMontana)District Office JumpBRMFBSABSC

  15. ABI Energy Consultancy Services | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavyAgencyTendo NewYanbu,Information on WorldwideSystems JumpABI

  16. Projekt Consult Gmbh | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop Inc Jump to:Newberg,Energy LLCALLETE Inc d b a Minnesota Power Smart Grid

  17. Green Source Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EA Jump to:ofEniaElectricHydro Electric

  18. Gryphon Energy Consultants | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EA Jump to:ofEniaElectricHydroLegalAltoOlho DaguaSolantisGryphon Energy

  19. KOE Environmental Consultancy Inc | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EAInvervar Hydro JumpHuari Silicon MaterialJunco NovoNewhlerKCPKGBKOE

  20. Trintek Energy Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop IncIowa (Utility Company) Jump to: navigation,PowerNetworks JumpSystems

  1. Property:NEPA Consultant | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to: navigation,PropertyPartner7WebsiteCertReqsApplicationAttachments

  2. Quantum Consulting s founders | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EA EIS Report Url JumpTechnology JumpPrueba 1VenturePzero

  3. REB Research Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EA EIS Report UrlNM-b < RAPID‎ | RoadmapAK-abFD-aRAcell Solar ASRCMREB

  4. SPOK EMU Consult | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EA EIS Report UrlNM-bRenewableSMUD Wind Farm Jump to: navigation, searchSPOK

  5. Sinton Consulting Inc | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EA EIS ReportEurope GmbH Jump to:Idaho-Utah |Renovables SCR Jump

  6. Summit Blue Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EA EIS ReportEuropeEnergy Information Recent Flow TestingSummit Blue

  7. Alternative Energy Consultants | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EAand DaltonSolarOpen5All HomeAlphakat GmbHNepal:

  8. Carbon Market Brasil Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmentalBowerbank,Cammack Village, Arkansas:Fund for Spanish Firms FC2E JumpLimitingMarket

  9. BrasCarbon Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmentalBowerbank, Maine: Energy Resources JumpMassachusetts: EnergyBrant, New

  10. China Building Design Consultants | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmentalBowerbank,CammackFLIR JumpMaine:WestTexas: Energy ResourcesRenewableChimayo,Building

  11. Loria Emerging Energy Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIXsource History ViewInformationWindsCompressedListguided wavesLoneLorain County,2Loria

  12. ENF Energy Consultancy | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoopButtePower VenturesInformation9)askDoubleEERE - Energy DataEIQENEL SaltENF

  13. Business Excellence Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop IncIowaWisconsin:PontiacInformationAssessmentExplorationButteBusch

  14. Bicon Namibia Consulting Engineers | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavy Electricals Ltd BHEL Jump to: navigation, search Name:Bicon

  15. Doreen Walker Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavy Electricals Ltd BHELEuropeLagePower JumpDongmyeong Jeonyeon

  16. Streamlining ESA Section 7 Consultations: Bedell Street Bridge Project, Del Rio, Texas

    E-Print Network [OSTI]

    Arnold, Allison; Rumancik, Clarence; Kucera, Charlotte

    2007-01-01

    Affairs Division of the Texas Department of Transportationto the 2005 transportation bill, Texas and four other statesAdministration and the Texas Department of Transportation (

  17. Section CC

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

    ID GFSI GFSI Due Contract Section GF0028 DOE-RL will approve and execute all real estate actions to acquire, utilize, and dispose of real property assets. As required...

  18. Section J

    Energy Savers [EERE]

    M-1 Section J Appendix M Key Design, Licensing and Site Management M&O Milestone Chart Activity Planned Date Develop and Submit CD-2 (25%-30%) 082009 Submission of Construction...

  19. Section J

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterestedReplacement-2-AA-1ResearchUniversityPreparedAwardsAchievementSectionSectionL-1

  20. IS CARS REALLY CONFIDENTIAL? Counseling, consultation, and team-building

    E-Print Network [OSTI]

    New Mexico, University of

    IS CARS REALLY CONFIDENTIAL? Counseling, consultation, and team-building are all confidential processes within the limits of applicable law and ethical guidelines when conducted by CARS staff. The intent of CARS is not to intrude into the private lives of our clients, but rather to provide services

  1. PROVOST'S INSTRUCTIONAL DEVELOPMENT FUND Application for Funding of Consultant Costs

    E-Print Network [OSTI]

    Meade, Douglas B.

    for teaching and/or research. Strong interest in this seminar has already been expressed from facultyPROVOST'S INSTRUCTIONAL DEVELOPMENT FUND Application for Funding of Consultant Costs Submitted by, Lincoln). Proposed activities during these visits include: ffl an interdisciplinary seminar

  2. Department of Health consultation: `Legislation to encourage medical innovation'

    E-Print Network [OSTI]

    Rambaut, Andrew

    1 Department of Health consultation: `Legislation to encourage medical innovation' Response from · We support the broad aim of the Bill in ensuring that patients have access to innovative, safe are currently being deterred from medical innovation due to fear of litigation, which is the main premise

  3. National Strategy for the Arctic Region Tribal Consultation Session: Barrow

    Broader source: Energy.gov [DOE]

    The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.

  4. National Strategy for the Arctic Region Tribal Consultation Session: Nome

    Broader source: Energy.gov [DOE]

    The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.

  5. National Strategy for the Arctic Region Tribal Consultation Session: Bethel

    Broader source: Energy.gov [DOE]

    The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.

  6. National Strategy for the Arctic Tribal Consultation Session: Fairbanks

    Broader source: Energy.gov [DOE]

    The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.

  7. Research Summary Consultation and community involvement in forest planning

    E-Print Network [OSTI]

    Research Summary Consultation and community involvement in forest planning: research in Cranborne of the Forestry Commission's `Long-Term Forest Plan' process. It also builds on various investigations into stakeholder analysis and the use of participatory tools in relation to Forest Design Plans (FDPs). The NFNF

  8. CONSULTATION RESPONSE Wellcome Trust response to RCUK Large Facilities Roadmap

    E-Print Network [OSTI]

    Rambaut, Andrew

    CONSULTATION RESPONSE Wellcome Trust response to RCUK Large Facilities Roadmap December 2007 Page 1 of 4 RCUK Large Facilities Roadmap Response by the Wellcome Trust December 2007 1. The Wellcome Trust is pleased to have the opportunity to feed into the process of prioritising the RCUK Large Facilities Roadmap

  9. CONSULTATION RESPONSE Wellcome Trust response to Sustainable Food

    E-Print Network [OSTI]

    Rambaut, Andrew

    CONSULTATION RESPONSE Wellcome Trust response to Sustainable Food March 2011 Page 1 of 2 House of Commons Environmental Audit Committee: Sustainable Food Inquiry Response by the Wellcome Trust March 2011 Introduction 1. The relationship between food security and climate change is complex and an increasing priority

  10. The University of Oklahoma Independent Contractor or Consultant Guidelines

    E-Print Network [OSTI]

    Oklahoma, University of

    The University of Oklahoma Independent Contractor or Consultant Guidelines Purpose .................................................................................. 7 #12;University of Oklahoma Independent Contractor Guidelines - (Revised 11/2012) pg. 2 Purpose) for the University of Oklahoma and is the result of collaboration between Human Resources and Financial Services

  11. CONSULTATION RESPONSE Wellcome Trust response to `Bioengineering Inquiry'

    E-Print Network [OSTI]

    Rambaut, Andrew

    CONSULTATION RESPONSE Wellcome Trust response to `Bioengineering Inquiry' December 2009 Page 1 of 4 Commons Science and Technology Committee: Inquiry into Bioengineering in the UK Response by the Wellcome by the Committee, in each of the three areas of research identified in the call for evidence. 3. Bioengineering

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

  13. A Formal Model of Auditor Independence Risk

    E-Print Network [OSTI]

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

    2002-01-01

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

  14. Motivation and Outline PAW OEP Formalism and Implementation

    E-Print Network [OSTI]

    Holzwarth, Natalie

    Motivation and Outline PAW OEP Formalism and Implementation Conclusion Implementation #12;Motivation and Outline PAW OEP Formalism and Implementation Conclusion Motivation and Outline Motivation 1 The optimized effective potential (OEP) or exact exchange (EXX) formalism is a method which can

  15. On the Compilability and Expressive Power of Propositional Planning Formalisms

    E-Print Network [OSTI]

    Nebel, Bernhard

    On the Compilability and Expressive Power of Propositional Planning Formalisms Bernhard Nebel and plans can be expressed in a particular formalism by introducing the notion of ``compilation schemes'' between planning formalisms. Such compilation schemes restrict the growth of planning domains

  16. SECTION J

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterestedReplacement-2-AA-1 SECTION J APPENDIX A ADVANCE UNDERSTANDING ON HUMAN

  17. SECTION J

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterestedReplacement-2-AA-1 SECTION J APPENDIX A ADVANCE UNDERSTANDING ON HUMAND-1

  18. SECTION J

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterestedReplacement-2-AA-1 SECTION J APPENDIX A ADVANCE UNDERSTANDING ON HUMAND-1

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

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

    and Nevada Governor Sandoval Formalize Working Group to Advance Shared Interests at Nevada National Security Site Energy Secretary Moniz and Nevada Governor Sandoval Formalize...

  20. Section Number:

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OF APPLICABLE DIRECTIVES Pursuant to the contract clause entitled, "Laws,

  1. SECTION J

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterestedReplacement-2-AA-1 SECTION J APPENDIX A ADVANCE UNDERSTANDING ON HUMAND-1 J-F-1

  2. SECTION J

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterestedReplacement-2-AA-1 SECTION J APPENDIX A ADVANCE UNDERSTANDING ON HUMAND-1J-1

  3. SECTION J

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterestedReplacement-2-AA-1 SECTION J APPENDIX A ADVANCE UNDERSTANDING ON HUMAND-1J-1K-1

  4. Renewable Energy Engineering Consulting AG REECON AG | Open Energy

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page onRAPID/Geothermal/Exploration/ColoradoRemsenburg-Speonk, New York: Energy Resources JumpInformation Consulting AG

  5. ART ICULO Toward Formalizing NonMonotonic Reasoning in

    E-Print Network [OSTI]

    Kreinovich, Vladik

    , however, have di#culty formalizing, e.g., the standard physicists' argument that a kettle on a cold stove formalism that can formalize this type of reasoning. This formalism also explains ``physical induction'' (if, a cold kettle placed on a cold stove will never start boil­ ing by itself. However, from the traditional

  6. Does Formalized Scoring and Feedback Improve Resident Documentation Skills?

    E-Print Network [OSTI]

    Nauss, M D; Jaskulka, B

    2014-01-01

    111 Does Formalized Scoring and Feedback Improve Residentand any associated symptoms? Does the HPI contain pertinent

  7. A Process Modelling Framework for Formal Validation of Panama Canal System Operations

    E-Print Network [OSTI]

    Austin, Mark

    1 A Process Modelling Framework for Formal Validation of Panama Canal System Operations John) and will even provide for continued operations while sections of the canal system are undergoing maintenance. Design for automation in large-scale system operations is challenging because in addition to making sure

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

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

  10. New formalism for QCD parton showers

    E-Print Network [OSTI]

    Stefan Gieseke; Philip Stephens; Bryan Webber

    2003-10-09

    We present a new formalism for parton shower simulation of QCD jets, which incorporates the following features: invariance under boosts along jet axes, improved treatment of heavy quark fragmentation, angular-ordered evolution with soft gluon coherence, more accurate soft gluon angular distributions, and better coverage of phase space. It is implemented in the new HERWIG++ event generator.

  11. Weak rigidity in the PPN formalism

    SciTech Connect (OSTI)

    del Olmo, V.; Olivert, J.

    1987-04-01

    The influence of the concept of weakly rigid almost-thermodynamic material schemes on the classical deformations is analyzed. The methods of the PPN approximation are considered. In this formalism, the equations that characterize the weak rigidity are expressed. As a consequence of that, an increase of two orders of magnitude in the strain rate tensor is obtained.

  12. Informal Formal WBA of Important Incidents

    E-Print Network [OSTI]

    Ladkin, Peter B.

    , it is precise and captures the intuitive meaning of `cause' well enough for formal failure analysis. We justify757 controlled ight into terrain (CFIT) accident in Buga, near Cali, Colombia in late 1995 in mountainous terrain. Continued descent took them into a mountain, and the GPWS (Ground Proximity Warning

  13. NASA/TM2009215726 Formally Verified Practical

    E-Print Network [OSTI]

    Muñoz, César A.

    NASA/TM­2009­215726 Formally Verified Practical Algorithms For Recovery From Loss of Separation of Aerospace, Hampton, Virginia June 2009 #12;The NASA STI Program Office . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientific

  14. Conservation-dissipation formalism of irreversible thermodynamics

    E-Print Network [OSTI]

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

    2014-07-21

    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.

  15. Washington State University -Vancouver Formal Minor

    E-Print Network [OSTI]

    in an Information Society COMJOUR 360: Writing For Television COM 105 [HUM]: Communication in Global Contexts Technologies COMSOC 421 [DIVR, T]: Intercultural Com & Globalization COM 440: Media Ethics COMSOC 476. _______________________________________________________________________ _______________________ Student Signature Date Formal Minor Communications; 3/3/15 The minor in Communication requires a minimum

  16. A Lagrangian formalism for nonequilibrium thermodynamics

    E-Print Network [OSTI]

    François Gay-Balmaz; Hiroaki Yoshimura

    2015-10-03

    In this paper, we present a Lagrangian formalism for nonequilibrium thermodynamics. This formalism is an extension of the Hamilton principle in classical mechanics that allows the inclusion of irreversible phenomena in both discrete and continuum systems (i.e., systems with finite and infinite degrees of freedom). The irreversibility is encoded into a nonlinear nonholonomic constraint given by the expression of entropy production associated to all the irreversible processes involved. Hence from a mathematical point of view, our variational formalism may be regarded as a generalization of the Lagrange-d'Alembert principle used in nonholonomic mechanics. In order to formulate the nonholonomic constraint, we associate to each irreversible process a variable called the thermodynamic displacement. This allows the definition of a corresponding variational constraint. Our theory is illustrated with various examples of discrete systems such as mechanical systems with friction, matter transfer, electric circuits, chemical reactions, and diffusion across membranes. For the continuum case, the variational formalism is naturally extended to the setting of infinite dimensional nonholonomic Lagrangian systems and is expressed in material representation, while its spatial version is obtained via a nonholonomic Lagrangian reduction by symmetry. In the continuum case, our theory is systematically illustrated by the example of a multicomponent viscous heat conducting fluid with chemical reactions and mass transfer.

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

  18. Modelling Lexical Databases with Formal Concept Analysis

    E-Print Network [OSTI]

    Priss, Uta

    . The primary lexical database used in this paper is Roget's International Thesaurus [Roget 1962 and formal ontologies. We are using the following relational database versions of Roget's Thesaurus: ­ RIT11: a relational database version of Roget's Thesaurus [Roget 1911] which was compiled by the second author based

  19. Policy on agreements with external consultants and firms 1 Current Revision: 01/2013 Policy on agreements with external consultants and

    E-Print Network [OSTI]

    Hammack, Richard

    Policy on agreements with external consultants and firms 1 Current Revision: 01/2013 Policy on agreements with external consultants and firms Policy Type: Local Responsible Office: Development and Alumni Relations Initial Policy Approved: 05/2009 Revised Policy Approved: 1/2013 Policy Statement

  20. Easy Carbon Consultancy Co Ltd | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTIONRobertsdale, AlabamaETEC GmbH Jump to:Providence, Rhode Island:Connecticut: EnergyCarbon Consultancy

  1. Energy Consult Projektgesellschaft mbH | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTIONRobertsdale, AlabamaETEC GmbH JumpEllenville, NewLtd EIL JumpAutomation Systems IncConsult

  2. Published as: Aerts, D., Broekaert, J. and Gabora, L., 1999, "Formal and Informal Representations of Science", Foundations of Science, 4, 1-2.

    E-Print Network [OSTI]

    Aerts, Diederik

    of Science", Foundations of Science, 4, 1-2. Editorial: Formal and Informal Representations of Science in alternative formats. In the 'Informal Aspects of Foundations of Science' section we present two examplesPublished as: Aerts, D., Broekaert, J. and Gabora, L., 1999, "Formal and Informal Representations

  3. SECTION 331: From JPL to USC

    E-Print Network [OSTI]

    Zhou, Chongwu

    Splosion Consulting, LLC Estee Lauder, Inc. Everfocus Electronics Corp. Exxon Mobil Corporation Fujitsu

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

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

  6. On formal and automatic security verification of WSN transport protocols

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    On formal and automatic security verification of WSN transport protocols Ta Vinh Thong1 thong, we address the problem of formal and automated security verification of WSN transport protocols

  7. Using Medical Devices to Teach Formal Modeling Orieta Celiku

    E-Print Network [OSTI]

    Garlan, David

    of educational materials designed to give students the nec- essary experience to infuse formal modeling.5 year program. The course is designed to give students the necessary ex- perience to infuse formal

  8. Chiral anomaly in the Schwinger-Symanzik formalism

    SciTech Connect (OSTI)

    Dittrich, W.; Reuter, M.

    1985-03-15

    It is shown how chiral anomalies appear nonperturbatively in the Schwinger-Symanzik functional formalism of quantum field theory.

  9. Formal analysis of design process dynamics TIBOR BOSSE,1

    E-Print Network [OSTI]

    Bosse, Tibor

    Formal analysis of design process dynamics TIBOR BOSSE,1 CATHOLIJN M. JONKER,2 AND JAN TREUR1 1, 2009) Abstract This paper presents a formal analysis of design process dynamics. Such a formal analysis of design processes. The analysis was geared toward the identification of dynamic design properties

  10. WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL?

    E-Print Network [OSTI]

    Fitelson, Branden

    WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL? by John Gordon MacFarlane A.B., Philosophy, Harvard, Distinguished Service Professor of Philosophy #12;ii WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL? John Gordon. The distinction between formal and material does not appear to coincide with the more familiar contrasts between

  11. 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 a free energy formalism to the study of the equilibrium properties of neutral and charged particles adsorption onto two parallel adsorbing surfaces. Another advantage of the free energy formalism lays

  12. Hamilton-Jacobi Formalism for Tachyon Inflation

    E-Print Network [OSTI]

    A. Aghamohammadi; A. Mohammadi; T. Golanbari; Kh. Saaidi

    2015-02-26

    Tachyon inflation is reconsidered by using the recent observational data obtained from Planck-2013 and BICEP2. The Hamilton-Jacobi formalism is picked out as a desirable approach in this work, which allows one to easily obtain the main parameters of the model. The Hubble parameter is supposed as a power-law and exponential function of the scalar field, and each case is considered separately. The constraints on the model, which come from observational data, are explained during the work. The results show a suitable value for the tensor spectral index and an appropriate form of the potential.

  13. Modified Hamiltonian formalism for Regge Teitelboim Cosmology

    E-Print Network [OSTI]

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

    2014-12-10

    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.

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

  15. Draft Minutes LSCC Meeting 2 April 2012 LIBRARY STAFF CONSULTATIVE COMMITTEE

    E-Print Network [OSTI]

    OF INFORMATION THE AUSTRALIAN NATIONAL UNIVERSITY DRAFT MINUTES A meeting of the Library Staff ConsultativeDraft Minutes ­ LSCC Meeting 2 April 2012 LIBRARY STAFF CONSULTATIVE COMMITTEE DIVISION as University Librarian. She has been visiting libraries and other areas to meet library staff. She has also

  16. Draft Minutes LSCC Meeting 6 August 2012 LIBRARY STAFF CONSULTATIVE COMMITTEE

    E-Print Network [OSTI]

    OF INFORMATION THE AUSTRALIAN NATIONAL UNIVERSITY DRAFT MINUTES A meeting of the Library Staff ConsultativeDraft Minutes ­ LSCC Meeting ­ 6 August 2012 LIBRARY STAFF CONSULTATIVE COMMITTEE DIVISION of Menzies Library. Rebecca Wong is leading planning for an Official opening of 50th Anniversary and events

  17. UWM Research Planning Report Kohls Group Consulting2 Table of Contents Page

    E-Print Network [OSTI]

    Saldin, Dilano

    · · #12;UWM Research Planning Report Kohls Group Consulting2 Table of Contents Page Executive for development of an implementation plan. These recommendations are the work products of eight subcommittees. The subcommittees met from #12;UWM Research Planning Report Kohls Group Consulting3 January to April 2011. Each

  18. WELLCOME TRUST CONSULTATION RESPONSE Wellcome Trust response to the Reform of the National Curriculum in England

    E-Print Network [OSTI]

    Rambaut, Andrew

    WELLCOME TRUST CONSULTATION RESPONSE Wellcome Trust response to the Reform of the National Curriculum in England April 2013 1 Department for Education: Reform of the National Curriculum in England CONSULTATION RESPONSE Wellcome Trust response to the Reform of the National Curriculum in England April 2013 2

  19. MAT 750: Statistical Consulting Professor Hyune-Ju Kim 304E Carnegie

    E-Print Network [OSTI]

    McConnell, Terry

    and B. Ripley, Springer Applied Statistics and the SAS programming Language, 5th edition, R. Cody and JMAT 750: Statistical Consulting Instructor Professor Hyune-Ju Kim 304E Carnegie 443-1494, 443:00 p.m.-2:00 p.m. Course Objective: The goal is to develop skills needed by a statistical consultant

  20. Microsoft Word - Texas A&M Final EA 09-01-2010.doc

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

    historic sites. Appendix B contains a letter from DOE to the Texas State Historic Preservation Officer in relation to formal consultation pursuant to Section 106 of the...

  1. A Meta-Analysis of School-Based Problem-Solving Consultation Outcomes: A Review from 1986 to 2009 

    E-Print Network [OSTI]

    Davis, Cole

    2012-10-19

    attesting to its promise, the current state of school-based problem consultation effectiveness was not known. This study sought to update the school-based problem-solving consultation effectiveness literature as measured by conducting a meta...

  2. On the vierbein formalism of general relativity

    E-Print Network [OSTI]

    T. Mei

    2007-12-06

    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.

  3. Proposal for the award of a contract for civil engineering consultancy services for a possible CERN neutrino facility

    E-Print Network [OSTI]

    2013-01-01

    Proposal for the award of a contract for civil engineering consultancy services for a possible CERN neutrino facility

  4. Proposal for the award of three contracts for the provision of civil engineering and architectural consultancy services

    E-Print Network [OSTI]

    2013-01-01

    Proposal for the award of three contracts for the provision of civil engineering and architectural consultancy services

  5. Approved Module Information for BMM656, 2014/5 Module Title/Name: Marketing Consultancy Module Code: BMM656

    E-Print Network [OSTI]

    Neirotti, Juan Pablo

    Approved Module Information for BMM656, 2014/5 Module Title/Name: Marketing Consultancy Module Code: MSc in Market Research and Consultancy. Available to Exchange Students? Not Specified Module Learning Information Module Aims: The Marketing Consultancy module offers a unique learning experience

  6. The Pegg-Barnett Formalism and Covariant Phase Observables

    E-Print Network [OSTI]

    Pekka Lahti; Juha-Pekka Pellonpaa

    2001-06-15

    We compare the Pegg-Barnett (PB) formalism with the covariant phase observable approach to the problem of quantum phase and show that PB-formalism gives essentially the same results as the canonical (covariant) phase observable. We also show that PB-formalism can be extended to cover all covariant phase observables including the covariant phase observable arising from the angle margin of the Husimi Q-function.

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

    E-Print Network [OSTI]

    Strub, Damon

    1988-01-01

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

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

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

    News Media Contact (202) 586-4940 Energy Secretary Moniz and Nevada Governor Sandoval Formalize Working Group to Advance Shared Interests at Nevada National Security Site...

  9. NRC Waste Incidental to Reprocessing Program: Overview of Consultation and Monitoring Activities at the Idaho National Laboratory and the Savannah River Site - What We Have Learned - 12470

    SciTech Connect (OSTI)

    Suber, Gregory [Nuclear Regulatory Commission (United States)

    2012-07-01

    In 2005 the U.S. Nuclear Regulatory Commission (NRC) began to implement a new set of responsibilities under the Ronald W. Reagan National Defense Authorization Act (NDAA) of Fiscal Year 2005. Section 3116 of the NDAA requires the U.S. Department of Energy (DOE) to consult with the NRC for certain non-high level waste determinations and also requires NRC to monitor DOE's disposal actions related to those determinations. In Fiscal Year 2005, the NRC staff began consulting with DOE and completed reviews of draft waste determinations for salt waste at the Savannah River Site. In 2006, a second review was completed on tank waste residuals including sodium-bearing waste at the Idaho Nuclear Technology and Engineering Center Tank Farm at the Idaho National Laboratory. Monitoring Plans were developed for these activities and the NRC is actively monitoring disposal actions at both sites. NRC is currently in consultation with DOE on the F-Area Tank Farm closure and anticipates entering consultation on the H-Area Tank Farm at the Savannah River Site. This paper presents, from the NRC perspective, an overview of how the consultation and monitoring process has evolved since its conception in 2005. It addresses changes in methods and procedures used to collect and develop information used by the NRC in developing the technical evaluation report and monitoring plan under consultation and the implementation the plan under monitoring. It will address lessons learned and best practices developed throughout the process. The NDAA has presented significant challenges for the NRC and DOE. Past and current successes demonstrate that the NDAA can achieve its intended goal of facilitating tank closure at DOE legacy defense waste sites. The NRC believes many of the challenges in performing the WD reviews have been identified and addressed. Lessons learned have been collected and documented throughout the review process. Future success will be contingent on each agencies commitment to consistently apply the lessons learned and continue to create an open and collaborative work environment to maintain the process of continuous improvement. (authors)

  10. Colloquium: Mechanical formalisms for tissue dynamics

    E-Print Network [OSTI]

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

    2015-09-29

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

  11. 15.928 Strategic Management and Consulting Proseminar: Theoretical Foundations, Spring 2003

    E-Print Network [OSTI]

    Schulmeyer, Gerhard Hans

    Provides students with strategic frameworks and a broad exposure to business matters that affect strategic management and the consulting industry. To fulfill that objective, the Proseminar invites distinguished executives ...

  12. Edward B. Brothers EFS Consultants, 3 Sunset West. Ithaca. New York '4850

    E-Print Network [OSTI]

    Edward B. Brothers EFS Consultants, 3 Sunset West. Ithaca. New York '4850 Eric D. Prince Dennis W for this family are almost nonexis- tent (Prince et al. 1987), yet age and growth data are important for stock

  13. Formal Theory Building Using Automated Reasoning Tools Applied Logic Laboratory

    E-Print Network [OSTI]

    Kamps, Jaap

    Formal Theory Building Using Automated Reasoning Tools Jaap Kamps Applied Logic Laboratory-order logic and existing automated rea- soning tools for formal theory building, and illustrates, automated reasoning provides some valuable tools for this endeavor. This paper discusses the use of first

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

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

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

  17. Process Transition Networks: A Formal Graphical Knowledge Representation Tool

    E-Print Network [OSTI]

    Process Transition Networks: A Formal Graphical Knowledge Representation Tool Jacek Malec \\Lambda@ida.liu.se Abstract A formal definition of Process Transition Networks (PTNs), recently introduced by Sande­ wall [San with Petri net theory. PTNs are first introduced informally, fol­ lowed by syntactic and semantic

  18. Component Tools: Application and Integration of Formal Methods

    E-Print Network [OSTI]

    Kindler, Ekkart

    Component Tools: Application and Integration of Formal Methods Ekkart Kindler, Vladimir Rubin, and they are supported by different and, in many cases, incompatible tools. Therefore, most applications of formal would have many benefits. The Component Tools project aims at easing the application and the inte

  19. Formal Methods Technology Transfer: A View from NASA

    E-Print Network [OSTI]

    Caldwell, James

    Formal Methods Technology Transfer: A View from NASA James L. Caldwell Flight Electronics Technology Division NASA Langley Research Center Hampton, Virginia 23681 26 February 1996 Abstract Since 1988 NASA Langley Research Center has supported a formal methods research group. From its inception

  20. FORMAL MODELING AND ANALYSIS OF THE MODBUS PROTOCOL

    E-Print Network [OSTI]

    Dutertre, Bruno

    is a communication protocol widely used in SCADA systems and dis- tributed control applications. We present formal for systematic and extensive testing of Modbus devices. Keywords: SCADA Protocol, Modbus, Test-case Generation, Formal Methods 1. Introduction A distributed digital control system--sometimes called a SCADA system

  1. Planning in Action Formalisms based on DLs: First Results

    E-Print Network [OSTI]

    Baader, Franz

    Planning in Action Formalisms based on DLs: First Results Maja Milici´c Institut f¨ur Theoretische started work on inte- grating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We prove that the plan existence problem is decidable for actions described in fragments

  2. Goals in a Formal Theory of Commonsense Psychology

    E-Print Network [OSTI]

    Hobbs, Jerry R.

    Goals in a Formal Theory of Commonsense Psychology Jerry R. HOBBS and Andrew GORDON University of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we, intactness, and importance. Keywords. Goals, commonsense psychology, commonsense reasoning, intention

  3. A Symbiotic Relationship Between Formal Methods and Security

    E-Print Network [OSTI]

    Formal methods owes much to the security community. In the United States, the National Security AgencyA Symbiotic Relationship Between Formal Methods and Security Jeannette M. Wing December 1998 CMU by the ONR and NSF, entitled Workshops on Computer Security, Fault Tolerance, and Software Assurance: From

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

  5. FORMALIZATION OF SITUATION Kenneth Baclawski Mieczyslaw K. Kokar

    E-Print Network [OSTI]

    Baclawski, Kenneth B.

    a formal basis for situation awareness that draws on sources and makes use of techniques from the logic2 FORMALIZATION OF SITUATION AWARENESS Kenneth Baclawski Mieczyslaw K. Kokar College of Computer Versatile Information Systems Western New England College Framingham, Massachusetts Springfield

  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. A Formal Foundation for Process Modeling Christopher Menzel Michael Gruninger

    E-Print Network [OSTI]

    Menzel, Christopher

    77840-4237 College Park, MD 20742 cmenzel@tamu.edu gruning@cme.nist.gov Abstract: Process modeling is ubiquitous in business and industry. While a great deal of effort has been devoted to the formal is ubiquitous in business and industry. While a great deal of effort has been devoted to the formal

  8. $^{64}$Ni+$^{64}$Ni fusion reaction calculated with the density-constrained time-dependent Hartree-Fock formalism

    E-Print Network [OSTI]

    A. S. Umar; V. E. Oberacker

    2007-09-25

    We study fusion reactions of the $^{64}$Ni+$^{64}$Ni system using the density-constrained time-dependent Hartree-Fock (TDHF) formalism. In this formalism the fusion barriers are directly obtained from TDHF dynamics. In addition, we incorporate the entrance channel alignments of the slightly deformed (oblate) $^{64}$Ni nuclei due to dynamical Coulomb excitation. We show that alignment leads to a fusion barrier distribution and alters the naive picture for defining which energies are actually sub-barrier. We also show that core polarization effects could play a significant role in fusion cross section calculations.

  9. Transforming PLC Programs into Formal Models for Verification Purposes

    E-Print Network [OSTI]

    Darvas, D; Blanco, E

    2013-01-01

    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.

  10. Consultative Group on International Agricultural Research | Open Energy

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar EnergyLawler,CoalConcordia

  11. Bordeaux International Energy Consulting, LLC | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar Energy LLC JumpBiossence Jump to:

  12. BLM Manual 8120 - Tribal Consultation Under Cultural Resources | Open

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EAandAmminex AAustria GeothermalInformationColor

  13. Hybrid Formalism, Supersymmetry Reduction, and Ramond-Ramond Fluxes

    E-Print Network [OSTI]

    William D. Linch III; Brenno Carlini Vallilo

    2006-07-19

    The supersymmetric hybrid formalism for Type II strings is used to study partial supersymmetry breaking in four and three dimensions. We use worldsheet techniques to derive effects of internal Ramond-Ramond fluxes such as torsions, superpotentials and warping.

  14. Secret Ninja Formal Methods Joseph R. Kiniry1

    E-Print Network [OSTI]

    Zimmerman, Daniel M.

    , University of Washington, Tacoma, Tacoma, Washington 98402, USA, dmz@acm.org Abstract. The use of formal of Technology, Radboud University Nijmegen, University College Dublin, and the University of Washington, Tacoma

  15. Formal Support for an Informal Business Modelling Method 

    E-Print Network [OSTI]

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

    2000-01-01

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

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

    E-Print Network [OSTI]

    Reindl, Donald F.

    2007-01-01

    singular abstraction under Spanish influence (cf. Popinceanu 1963: 84) – although this does not preclude the influence of both languages. Similarly, Swed- ish apparently borrowed its (now defunct) formal pronoun Ni (in the form I, prior to n-prothesis...

  17. A consistent formalism for the Thomas-Ehrman Level Displacement

    E-Print Network [OSTI]

    J. J. He; A. St. J. Murphy

    2007-04-26

    Usage of the Thomas-Ehrman Level Displacement formalism has been examined. Mistakes and inconsistencies are found in several papers, being repeated in subsequent works. Here, we present a complete formalism with a consistent set of definitions. Full algorithms are made available, both as a {\\tt FORTRAN} source file and as a user-friendly Visual Basic executable tool, available for download on the World Wide Web.

  18. Effectively Given Spaces, Domains, and Formal Dieter Spreen

    E-Print Network [OSTI]

    Spreen, Dieter

    given spaces as formal spaces Definition A formal topology S = (S, , , Pos) with preorder, short and subsets of S, and a predicate Pos, called positivity, over S such that the following conditions hold: #12 U)u V U = { c S | (u U)c u } (monotonicity) Pos(a) a U (u U)Pos(u) (positivity) Pos(a) a U a U

  19. Consultative Group on International Agricultural Research (CGIAR) | Open

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar EnergyLawler,CoalConcordia ElectricConstellationNewEnergy,ConstllationEnergy

  20. Cosmo Consulting India Pvt Ltd | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar EnergyLawler,CoalConcordiaConsumer ConnectionCoralCorvalence JumpCosmo

  1. Beijing Keji Consulting Service Ltd | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar Energy LLC Jump to:Greece:Bajo enInformation ThreeLtd |Jingyi CenturyKeji

  2. CECIC Blue Sky Investment Consulting Management Co Ltd | Open Energy

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar Energy LLC JumpBiossenceBrunswick, Maine:IAEAT Jump

  3. Alternative Energy Systems Consulting Inc AESC | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar Energy LLC Jump to: navigation, search Name: Alliance StarAlte

  4. Redphoenix Consultancy Pvt Ltd RCPL | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop Inc Jump to:Newberg,Energy LLCALLETEREFURecent content in EnergyRedRedphoenix

  5. Green Capital Consulting Company GCCC | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EA Jump to:ofEniaElectricHydro Electric CoGreen Button in the

  6. Houston BioFuels Consultants | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EA JumpDuimen RiverScoring Tool Jump to:Ethanol LLC

  7. Shanghai Yangtze Delta Investment Consultancy Co Ltd | Open Energy

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop Inc JumpHeter Battery Technology Co Ltd Jump to:TechnicalShenneng

  8. Residential Building Industry Consulting Services | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EA EIS Report UrlNM-bRenewable Energy RFPsLtdEnergyResidential Building

  9. StrateGen Consulting LLC | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EA EIS ReportEurope GmbHSoloPageBeforeCreek Wind Farm JumpProject II

  10. AAEN Consulting Engineers A S | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EAand Dalton JumpProgram |RecentSulfonate as aEnergy1 Jump3-500

  11. ACHP's Recommended Approach for Consultation on Recovery of Significant

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EAand Dalton JumpProgram |RecentSulfonate as aEnergy1ACE-II:ACHP

  12. Avant Garde Engineers Consultant Pvt ltd | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental Jump to:EAandAmminex AAustria Geothermal Region Jump to:Auxin

  13. CDM Technical Consultation of Guizhou | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmentalBowerbank, Maine:Kansas: Energy Resources Jump to:Energy IncTool Jump to:

  14. Beijing Tianqing Power International CDM Consulting | Open Energy

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION JEnvironmental JumpInformation Beaufort County, SouthBeckerPark,EEDTLN GreenSinohytec

  15. GEC Graeber Engineering Consultants GmbH | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoopButtePowerEdistoWhiskeyFootprint VenturesColorado:Georgia:FutureG2 Energy

  16. Adena Energy and Environmental Consulting, LLC | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop IncIowaWisconsin: Energy Resources JumpAdelan UK Ltd Jump to:Maryland:

  17. Beijing Haohua Rivers International Water Engineering Consulting Co Ltd |

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop IncIowaWisconsin: EnergyYorkColorado StateWindIncExploration/Exploitation Tool?

  18. ACHP - Recommended Approach for Consultation on Recovery of Significant

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX ECoop IncIowa (UtilityMichigan)data bookresult9) JumpMultipleSprings Logo:ACAL

  19. National Wind Assessments formerly Romuld Wind Consulting | Open Energy

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIXsourceII Jump to: navigation,National Marine Fisheries Service Jump

  20. Pan Oekoteam Production and Consulting | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIXsourceII JumpQuarterly Smart GridNorth Carolina: EnergyIncPan African Technologies

  1. Consolidated Energy Consultants Ltd CECL | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavy Electricals Ltd BHELEurope Limited JumpAG Jump

  2. Consulting Kontor GmbH | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavy Electricals Ltd BHELEurope Limited JumpAG JumpConsorcio E

  3. Enercon Financial Consultancy Private Limited | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavy Electricals LtdEcowind Jump to:Elkem SolarEnercon Financial

  4. W. David Montgomery Senior Vice President NERA Economic Consulting

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OF APPLICABLEStatutoryinEnableVisualization &IdahoLLCVoteControl

  5. ENDF/B-VII.1 Nuclear Data for Science and Technology: Cross Sections, Covariances, Fission Product Yields and Decay Data

    E-Print Network [OSTI]

    Danon, Yaron

    ENDF/B-VII.1 Nuclear Data for Science and Technology: Cross Sections, Covariances, Fission Product Jozef Stefan Institute, Jamova 39, 1000 Ljubljana, Slovenia 11 Nuclear Research and Consultancy Group, P 2011) The ENDF/B-VII.1 library is our latest recommended evaluated nuclear data file for use in nuclear

  6. Math 341, Section 101: Computational Methods Spring 2005, TuTh 12:15 pm, MP 012

    E-Print Network [OSTI]

    Minkoff, Susan E.

    selected sections from Chapters 1­10. Grades: Paper and Pencil Homework 20% Computer Homework 25% Midterm). The final exam will be comprehensive although material covered after the midterm will be emphasized. To read the full Student Academic Conduct Policy, consult the UMBC Student Handbook, the Faculty Handbook

  7. August 1999 Radiation Safety Manual Section 2 Licensing and Regulatory Controls

    E-Print Network [OSTI]

    Sniadecki, Nathan J.

    Nuclear Regulatory Commission (NRC) has entered into a formal agreement with the State of WashingtonAugust 1999 Radiation Safety Manual Section 2 ­ Licensing and Regulatory Controls UW Environmental Health and Safety Page 2-1 Section 2 Licensing and Regulatory Controls Contents A. Regulations

  8. 14655 Section D

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

    D Contract No. DE-AC06-05RL14655 A000 PART I - THE SCHEDULE SECTION D PACKAGING AND MARKING TABLE OF CONTENTS D.1 PACKAGING......

  9. Special Section on RFID

    E-Print Network [OSTI]

    Engels, Daniel W.

    The eight articles in this special section describe state-of-the-art technologies and tools and one application of RFID.

  10. Lesson 35, Section 6

    E-Print Network [OSTI]

    Lesson 34, Section 6.5. Application Problems Using Rational Equations. Define a Variable; Develop A Plan; Write an Equation; Solve and Answer the Question.

  11. Company Name Company Website Area of Expertise AMEC Environment & Infrastructure www.amec.com Environmental consulting and engineering

    E-Print Network [OSTI]

    Eberhard, Marc O.

    .amec.com Environmental consulting and engineering American Construction Company www.americanconstco.com Construction.brownandcaldwell.com Environmental Engineering Catena Consulting Engineers www.catenaengineers.com Structural Engineering CEE Science and Technology Golder Associates www.golder.com Environmental/Civil/Geotech Engineering Services

  12. Supporting Information for Endangered Species Act Compliance for Old and Middle River (OMR) Flow Management Consultation Framework

    E-Print Network [OSTI]

    River (OMR) Flow Management Consultation Framework Methods and Modeling Conceptual models of impacts when models were run on February 6, 2015. These flows do not necessarily reflect current forecast and Middle River (OMR) Flow Management Consultation Framework Table 2. Actual hydrodynamic characteristics

  13. Puerto Rico Aqueduct and Sewer Authority General Consulting Services and Technical Support

    E-Print Network [OSTI]

    Gilbes, Fernando

    Puerto Rico Aqueduct and Sewer Authority General Consulting Services and Technical Support permitting and environmental compliance related activities on behalf of the Puerto Rico Aqueduct and Sewer and Sewer Authority. Project Manager for two $400,000 Brownfields community-wide redevelopment projects

  14. Renewable Energy Consulting Companies 2GreenEnergy http://2greenenergy.com/

    E-Print Network [OSTI]

    McGaughey, Alan

    Renewable Energy Consulting Companies 2GreenEnergy http://2greenenergy.com/ Alternative Matters://www.renewableenergyworld.com/rea/companies/eefg-energy- efficiency-funding-group Enable Energy http://enable-energy.com/ ETA-Florence Renewable Energies http://web2.etaflorence.it/cms/index.php?page=home&hl=en_US Florida Alliance for Renewable Energy (FARE) http

  15. CONSULTATION RESPONSE Wellcome Trust response to `NHS Chief Executive Innovation Review'

    E-Print Network [OSTI]

    Rambaut, Andrew

    CONSULTATION RESPONSE Wellcome Trust response to `NHS Chief Executive Innovation Review' September 2011 Page 1 of 6 Department of Health: NHS Chief Executive Innovation Review Response by the Wellcome Trust September 2011 Summary 1. Developing an innovative culture in the National Health Service (NHS

  16. Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to the role of School Governing Bodies

    E-Print Network [OSTI]

    Rambaut, Andrew

    clear and readily understood high-level data about the performance of the school, accessed independently of the school management. This should include both quantitative data such as examination performance and lessWellcome Trust CONSULTATION RESPONSE Wellcome Trust response to the role of School Governing Bodies

  17. National Strategy for the Arctic Region Tribal Consultation and Stakeholder Outreach Session: Kotzebue

    Broader source: Energy.gov [DOE]

    The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.

  18. National Strategy for the Arctic Region Tribal Consultation Session: Dutch Harbor/Unalaska

    Broader source: Energy.gov [DOE]

    The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.

  19. PSC Docket 06-241 Summary and review of Agency consultant's (IC's) "INTERIM REPORT ON

    E-Print Network [OSTI]

    Firestone, Jeremy

    's or the IC's prior analysis. Delmarva has opposed all long-term power purchase agreements (PPAs) and has POWER IRP IN RELATION TO RFP", submitted by Agency Consultant, 4 April 2007 These review comments power will be needed for Delmarva, due to expected load growth, and retirements of existing fossil power

  20. Response to West Cumbria MRWS consultation: Why a deep nuclear waste repository should not be

    E-Print Network [OSTI]

    Response to West Cumbria MRWS consultation: Why a deep nuclear waste repository should not be sited geological nuclear waste repository. There a suspicion of predetermination because the only district that has. National and international guidance on how best to select potential sites for deep geological nuclear waste

  1. OFQUAL Consultation on A-Level Reform Response from the London Mathematical Society

    E-Print Network [OSTI]

    Abrahams, I. David

    1 OFQUAL Consultation on A-Level Reform Response from the London Mathematical Society The present administration signalled clearly when in opposition that they wished to `reform' the existing A level structure by academics over a number of years. The consequent `reform' is therefore a matter of profound importance

  2. Parameterized post-Newtonian formalism for multimetric gravity

    E-Print Network [OSTI]

    Manuel Hohmann

    2014-06-14

    We discuss the post-Newtonian limit of multimetric gravity theories with $N \\geq 2$ metric tensors and a corresponding number of standard model copies, and construct an extension of the parameterized post-Newtonian (PPN) formalism. This extended formalism allows a characterization of multimetric gravity theories by a set of constant parameters. The multimetric PPN parameters we derive are a superset of the standard PPN parameters, which have been measured using high-precision experiments in the solar system. We apply our formalism to a class of theories which we previously discussed in the context of cosmology and gravitational waves, and which feature an accelerating expansion of the universe. A comparison between our results and the measured PPN parameters shows that multimetric gravity is fully compatible with solar system observations.

  3. Sectional device handling tool

    DOE Patents [OSTI]

    Candee, Clark B. (Monroeville, PA)

    1988-07-12

    Apparatus for remotely handling a device in an irradiated underwater environment includes a plurality of tubular sections interconnected end-to-end to form a handling structure, the bottom section being adapted for connection to the device. A support section is connected to the top tubular section and is adapted to be suspended from an overhead crane. Each section is flanged at its opposite ends. Axially retractable bolts in each bottom flange are threadedly engageable with holes in the top flange of an adjacent section, each bolt being biased to its retracted position and retained in place on the bottom flange. Guide pins on each top flange cooperate with mating holes on adjacent bottom flanges to guide movement of the parts to the proper interconnection orientation. Each section carries two hydraulic line segments provided with quick-connect/disconnect fittings at their opposite ends for connection to the segments of adjacent tubular sections upon interconnection thereof to form control lines which are connectable to the device and to an associated control console.

  4. Relating the RNS and Pure Spinor Formalisms for the Superstring

    E-Print Network [OSTI]

    Nathan Berkovits

    2001-04-27

    Recently, the superstring was covariantly quantized using the BRST-like operator $Q = \\oint \\lambda^\\alpha d_\\alpha$ where $\\lambda^\\alpha$ is a pure spinor and $d_\\alpha$ are the fermionic Green-Schwarz constraints. By performing a field redefinition and a similarity transformation, this BRST-like operator is mapped to the sum of the Ramond-Neveu-Schwarz BRST operator and $\\eta_0$ ghost. This map is then used to relate physical vertex operators and tree amplitudes in the two formalisms. Furthermore, the map implies the existence of a $b$ ghost in the pure spinor formalism which might be useful for loop amplitude computations.

  5. Relating the RNS and Pure Spinor Formalisms for the Superstring

    E-Print Network [OSTI]

    Berkovits, N

    2001-01-01

    Recently, the superstring was covariantly quantized using the BRST-like operator $Q = \\oint \\lambda^\\alpha d_\\alpha$ where $\\lambda^\\alpha$ is a pure spinor and $d_\\alpha$ are the fermionic Green-Schwarz constraints. By performing a field redefinition and a similarity transformation, this BRST-like operator is mapped to the sum of the Ramond-Neveu-Schwarz BRST operator and $\\eta_0$ ghost. This map is then used to relate physical vertex operators and tree amplitudes in the two formalisms. Furthermore, the map implies the existence of a $b$ ghost in the pure spinor formalism which might be useful for loop amplitude computations.

  6. THE USE OF A FORMAL SIMULATOR TO VERIFY A SIMPLE REAL TIME CONTROL PROGRAM

    E-Print Network [OSTI]

    Boyer, Robert Stephen

    in a variable crosswind. To formalize the specification we define a mathematical function which models

  7. An Introduction to the Application of Formal Theories to GIS Thomas Bittner and Andrew U. Frank

    E-Print Network [OSTI]

    Bittner, Thomas

    An Introduction to the Application of Formal Theories to GIS Thomas Bittner and Andrew U. Frank methods to geographic space. We model GIS as formal systems of logic. This allows to apply methods notions of formal systems and formal theories. We use a running example from the context of GIS. 1

  8. Spin Description in the Star Product and the Path Integral Formalism

    E-Print Network [OSTI]

    S. Odendahl; P. Henselder

    2007-05-24

    The spin can be described in the star product formalism by extending the bosonic Moyal product in the fermionic sector. The fermionic star product is then the Clifford product of geometric algebra and it is possible to formulate the fermionic star product formalism in analogy to the bosonic star product formalism. For the fermionic star product description of spin, one can then establish the relation to other approaches that describe spin with fermionic variables, i.e. the operator formalism and the path integral formalism. It is shown that the fermionic star product formalism and the fermionic path integral formalism are related in analogy to their bosonic counterparts.

  9. International Conference on FormalInternational Conference on Formal ModellingModelling andand Analysis of Timed SystemsAnalysis of Timed Systems 20052005

    E-Print Network [OSTI]

    Liberzon, Daniel

    International Conference on FormalInternational Conference on Formal ModellingModelling andand, SwedenFORMATS 2005, Uppsala, Sweden #12;International Conference on FormalInternational Conference on the specification language Interface to Theorem Provers Simulator Model checking #12;International Conference

  10. Tool Support for Test-Driven Development Using Formal Specifications

    E-Print Network [OSTI]

    Peters, Dennis

    the developer writes a failing automated test case that defines a desired improvement or new function, then produces code to pass that test and finally refactors the new code to acceptable standards. The stepsTool Support for Test-Driven Development Using Formal Specifications Shadi Alawneh and Dennis

  11. Environmental and Resource Studies (ERS) Program Formal Degree Options

    E-Print Network [OSTI]

    Fox, Michael

    major, or minor B.Sc. in Water Sciences 4 years; single major B.Sc. in Environmental Chemistry 3 or 4Environmental and Resource Studies (ERS) Program Formal Degree Options Bachelor of Environmental-University DegreesOffered through the ERS Program B.Sc. in Environmental & Resource Science 4 years; single/joint1

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

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

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

  15. Formalizing Style to Understand Descriptions of Software Architecture

    E-Print Network [OSTI]

    of interaction between those components, global system properties (such as throughput and latency), and life­cycleFormalizing Style to Understand Descriptions of Software Architecture Gregory Abowd Robert Allen of Software Architecture,'' Proc. SIGSOFT'93: Foundations of Software Engineering, December 1993. Abstract

  16. An Overview of A Formal Framework For Managing Mathematics

    E-Print Network [OSTI]

    Farmer, William M.

    An Overview of A Formal Framework For Managing Mathematics William M. Farmer (wmfarmer 1280 Main Street West Hamilton, Ontario L8S 4K1, Canada 04 February 2003 Abstract. Mathematics is a process of creating, exploring, and connecting mathematical mod- els. This paper presents an overview

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

  18. Stochastic Activity Networks: Formal Definitions and William H. Sanders1

    E-Print Network [OSTI]

    Sanders, William H.

    of stochastic Petri nets. We first precisely define activity networks. Activity networks are the nonStochastic Activity Networks: Formal Definitions and Concepts William H. Sanders1 and John F. Meyer@eecs.umich.edu Abstract. Stochastic activity networks have been used since the mid- 1980s for performance, dependability

  19. GENERATION OF TRANSITION CLASS MODELS FROM FORMAL QUEUEING NETWORK DESCRIPTIONS

    E-Print Network [OSTI]

    Strelen, Christoph

    stochastic Petri nets (GSPN), UltraSAN [8] for stochastic activity networks, a class of stochastic Petri netsGENERATION OF TRANSITION CLASS MODELS FROM FORMAL QUEUEING NETWORK DESCRIPTIONS Johann Christoph-mail: strelen@cs.uni-bonn.de KEYWORDS Queueing Networks, Tools, Multi-Paradigm Models, Gener- ation, Markov

  20. Associative and Formal Concepts School of Library and Information Science,

    E-Print Network [OSTI]

    Priss, Uta

    Associative and Formal Concepts Uta Priss School of Library and Information Science, Indiana or category-based approaches com- pete with the "classical" theory of classification. In information science to be considered simultaneously for knowledge representation systems. This paper investigates the relationship

  1. AN ANALYSIS PROCESS FOR IDENTIFYING AND FORMALIZING LMS INSTRUCTIONAL LANGUAGE

    E-Print Network [OSTI]

    Laforcade, Pierre

    AN ANALYSIS PROCESS FOR IDENTIFYING AND FORMALIZING LMS INSTRUCTIONAL LANGUAGE Aymen Abedmouleh. Abstract: Today, the LMS systems require some reengineering works or some additional design approaches designing their learning scenarios. In this paper, we propose an LMS centered instructional design approach

  2. Quantum Nonsymmetric Gravity and The Superfiber Bundle Formalism

    E-Print Network [OSTI]

    Mebarki, N

    1999-01-01

    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.

  3. NASA/TP2004213015 Formal Verification of a Conflict

    E-Print Network [OSTI]

    Muñoz, César A.

    NASA/TP­2004­213015 Formal Verification of a Conflict Resolution and Recovery Algorithm Jeffrey~noz National Institute of Aerospace, Hampton, Virginia April 2004 #12;The NASA STI Program Office . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science

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

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

  6. Formal property verification in a conformance testing framework

    E-Print Network [OSTI]

    Fainekos, Georgios E.

    Formal property verification in a conformance testing framework Houssam Abbas School of Electrical to develop a sequence of system models of different fidelity and complexity, each appropriate for a particular design or verification task. In such a sequence, one model is often derived from the other

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

    E-Print Network [OSTI]

    some kinetic energy as well as some potential energy change along the way. Question: What doespage - 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

  8. Music acquisition: effects of enculturation and formal training on

    E-Print Network [OSTI]

    Trainor, Laurel J.

    #12;Music acquisition: effects of enculturation and formal training on development Erin E. Hannon1 Street West, Hamilton, ON L8S 4K1, Canada Musical structure is complex, consisting of a small set on recent findings, we propose that music acquisition begins with basic features, such as peripheral

  9. Anlise Formal de SistemasUma abordagem orientada a linguagem

    E-Print Network [OSTI]

    Ayala-Rincón, Mauricio

    assíncrono.Algoritmos distribuídos formam exemplos importantes em computação, uma área com bastante investimento em análise formal. · O que é eleição de líder? Eleição de líder é um algoritmo distribuído ou modelo de um sistema. Para o algoritmos de eleição de líder o que, em geral, se deseja saber é se um

  10. Formal Development and Verification of a Distributed Railway Control System

    E-Print Network [OSTI]

    Peleska, Jan - Fachbereich 3

    Formal Development and Verification of a Distributed Railway Control System Anne E. Haxthausen 1@informatik.uni­bremen.de Abstract. In this article we introduce the concept for a distributed rail­ way control system and present the sys­ tem model into a domain model describing the physical system in absence of control

  11. Centre for Software Certification Formalizing and Verifying Function Blocks

    E-Print Network [OSTI]

    Lawford, Mark

    and effective guidelines as to what constitutes acceptable evidence of software quality, and how to achieve itMcMaster Centre for Software Certification Formalizing and Verifying Function Blocks using TabularMaster Centre for Software Certification The Need for Certification Software is essential to more and more

  12. Context Interchange: New Features and Formalisms for the Intelligent Integration

    E-Print Network [OSTI]

    Bressan, Stéphane

    mediated data access to both traditional and web-based information sources. Categories and Subject information sources and receivers has grown at an unprecedented rate in the last few years, contributedContext Interchange: New Features and Formalisms for the Intelligent Integration of Information

  13. A Formalization of a Hierarchical Model for RISC Processors

    E-Print Network [OSTI]

    Tahar, Sofiène

    reactor control etc., where design errors could lead to loss of life and expensive property. Hence@ira.uka.de Abstract. Since microprocessors are used in many areas of real­time control, the use of formal methods in the case of embedded computers for safety­critical systems, such as aircraft, spacecraft and nuclear

  14. Angular Velocity Operator and Barnett-Pegg Formalism

    E-Print Network [OSTI]

    Ramandeep S. Johal

    1997-07-14

    We define a new operator within Barnett-Pegg formalism for phase angle. The physical predictions for this operator correspond to those expected of an angular velocity operator. Examples studied are particle on a circle with and without magnetic field and quantum harmonic oscillator.

  15. Refinement of Hybrid Systems from Formal Models to Design Languages

    E-Print Network [OSTI]

    Cengarle, María Victoria

    of high-level design of a control system, it is highly desirable to use representations that accuratelyRefinement of Hybrid Systems from Formal Models to Design Languages Jan Romberg Systems & Software Abstract System-level design for discrete-continuous embedded systems is a complex and error- prone task

  16. Unlocking the Semantics of Roget's Thesaurus Using Formal Concept Analysis

    E-Print Network [OSTI]

    Old, L. John

    Unlocking the Semantics of Roget's Thesaurus Using Formal Concept Analysis L. John Old School of Computing, Napier University, j.old(at)napier.ac.uk Abstract. Roget's Thesaurus is a semantic dictionary: implications and Type-10 chain components. 1 Introduction Like The Bible and Shakespeare, Roget's Thesaurus

  17. Non-Involutive Constrained Systems and Hamilton-Jacobi Formalism

    E-Print Network [OSTI]

    M. C. Bertin; B. M. Pimentel; C. E. Valcárcel

    2008-05-05

    In this work we discuss the natural appearance of the Generalized Brackets in systems with non-involutive (equivalent to second class) constraints in the Hamilton-Jacobi formalism. We show how a consistent geometric interpretation of the integrability conditions leads to the reduction of degrees of freedom of these systems and, as consequence, naturally defines a dynamics in a reduced phase space.

  18. FOCLASA 2009 Formalizing Adaptation On-the-Fly

    E-Print Network [OSTI]

    de Vink, Erik

    FOCLASA 2009 Formalizing Adaptation On-the-Fly S. Andovaa , L.P.J. Groenewegen1,b , J. Stafleub & E and new control in view of unforeseen adaptation. After addition McPal starts coordinating migration accordingly, adapting the system towards to-be collaboration. Once done, McPal removes obsolete control

  19. Finite anticanonical transformations in field-antifield formalism

    E-Print Network [OSTI]

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

    2015-07-09

    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. The properties of the generating functionals of the Green functions subjected to finite anticanonical transformations are considered.

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

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

  2. D-Branes in the Green-Schwarz Formalism

    E-Print Network [OSTI]

    N. D. Lambert; P. C. West

    1999-06-08

    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.

  3. Applications of formal model choice to archaeological chronology building

    E-Print Network [OSTI]

    Sahu, Sujit K

    Applications of formal model choice to archaeological chronology building Sujit K. Sahu, Faculty important than in the analysis and interpretation of chronological data, especially when information from several sources must be drawn together. Di#11;erent statistical models may, however, provide widely di#11

  4. Generation of certifiably correct programs from formal models Alexei Iliasov

    E-Print Network [OSTI]

    Southampton, University of

    design meets all the criteria of the respective specification - a formal rendering of a requirements a code generator to a safety-critical design one should expect software that is error-free1 . This mode of safety-critical systems, such as IEC 61508, require a justification for any tool used in a development

  5. Design of Embedded Systems: Formal Models, Validation, and Synthesis

    E-Print Network [OSTI]

    Grosu, Radu

    critical situations, where reliability and safety are more important criteria than performance. TodayDesign of Embedded Systems: Formal Models, Validation, and Synthesis S. Edwards, L. Lavagno, E. A. Lee, and A. Sangiovanni-Vincentelli November 5, 1999 Abstract This paper addresses the design

  6. Modeling Cyber Conflicts Using an Extended Petri Net Formalism

    SciTech Connect (OSTI)

    Zakrzewska, Anita N; Ferragut, Erik M

    2011-01-01

    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.

  7. Intern experience at Walter P. Moore & Associates, consulting engineers: a report 

    E-Print Network [OSTI]

    Arguello Carazo, Francisco Xavier, 1953-

    2013-03-13

    accumula? ted as a consulting structural engineer, the intern was involved in other professional development activities such as conducting a seminar for the office staff on earthquake damage. ACKNOWLEDGEMENTS Many individuals assisted me... ARGUELLO CARAZO Submitted to the College of Engineering of Texas A & M University in partial fulfillment of the requirement for the degree of DOCTOR OF ENGINEERING August 1979 Major Subject: Interdisciplinary Engineering A Report by FRANCISCO XAVIER...

  8. An analysis of the use of consultants to perform engineering tasks 

    E-Print Network [OSTI]

    Nordstrom, Eric Martin

    1985-01-01

    AN ANALYSIS OF THE USE OF CONSULTANTS TO PERFORM ENGINEERING TASKS A Thesis by ERIC MARTIN NORDSTROM Submitted to the Graduate College of Texas ASM University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE... Limitations 56 CHAPTER VII. SUMMARY AND CONCLUSIONS 62 REFERENCES APPENDIX A. DISTRICT QUESTIONNAIRE OUTLINE 64 66 APPENDIX B. CRC QUESTIONNAIRE 68 APPENDIX C. HISTORICAL DATA 70 APPENDIX D. PREDICTIVE COST RELATIONSHIPS 73 APPENDIX E. ONGOING PROJECT...

  9. Intern experience at Raba-Kistner Consultants, Inc.: an internship report 

    E-Print Network [OSTI]

    Johnson, William T.

    2013-03-13

    were submitted during the course of the internship. This final report is not a compilation of the interim reports. This report discusses in detail the activities of the author, documents the work performed and establishes that the objectives.... The final part contains two chapters which evaluate the internship and summarize the report. CHAPTER II THE INTERNSHIP FIRM AND THE INTERNSHIP POSITION INTRODUCTION The internship of the author was fulfilled with the firm of Raba-Kistner Consultants...

  10. A Jones matrix formalism for simulating 3D Polarised Light Imaging of brain tissue

    E-Print Network [OSTI]

    Menzel, Miriam; De Raedt, Hans; Reckfort, Julia; Amunts, Katrin; Axer, Markus

    2015-01-01

    The neuroimaging technique 3D Polarised Light Imaging (3D-PLI) provides a high-resolution reconstruction of nerve fibres in human post-mortem brains. The orientations of the fibres are derived from birefringence measurements of histological brain sections assuming that the nerve fibres - consisting of an axon and a surrounding myelin sheath - are uniaxial birefringent and that the measured optic axis is oriented in direction of the nerve fibres (macroscopic model). Although experimental studies support this assumption, the molecular structure of the myelin sheath suggests that the birefringence of a nerve fibre can be described more precisely by multiple optic axes oriented radially around the fibre axis (microscopic model). In this paper, we compare the use of the macroscopic and the microscopic model for simulating 3D-PLI by means of the Jones matrix formalism. The simulations show that the macroscopic model ensures a reliable estimation of the fibre orientations as long as the polarimeter does not resolve ...

  11. Unambiguous Formalism for Higher-Order Lagrangian Field Theories

    E-Print Network [OSTI]

    Campos, Cedric M; de Diego, David Martin; Vankerschaver, Joris

    2009-01-01

    The aim of this paper is to propose an unambiguous intrinsic formalism for higher-order field theories which avoids the arbitrariness in the generalization of the conventional description of field theories, which implies the existence of different Cartan forms and Legendre transformations. We propose a differential-geometric setting for the dynamics of a higher-order field theory, based on the Skinner and Rusk formalism for mechanics. This approach incorporates aspects of both, the Lagrangian and the Hamiltonian description, since the field equations are formulated using the Lagrangian on a higher-order jet bundle and the canonical multisymplectic form on its dual. As both of these objects are uniquely defined, the Skinner-Rusk approach has the advantage that it does not suffer from the arbitrariness in conventional descriptions. The result is that we obtain a unique and global intrinsic version of the Euler-Lagrange equations for higher-order field theories. Several examples illustrate our construction.

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

    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.

  13. Thermostatistics of small systems: Exact results in the microcanonical formalism

    E-Print Network [OSTI]

    Miranda, E N

    2015-01-01

    Several approximations are made to study the microcanonical formalism that are valid in the thermodynamics limit. Usually it is assumed that: 1)Stirling approximation can be used to evaluate the number of microstates; 2) the surface entropy can be replace by the volumen entropy; and 3)derivatives can be used even if the energy is not a continuous variable. It is also assumed that the results obtained from the microcanonical formalism agree with those from the canonical one. However, it is not clear if these assumptions are right for very small systems (10-100 particles). To answer this questions, two systems with exact solutions (the Einstein model of a solid and the two-level system)have been solve with and without these approximations.

  14. Thermostatistics of small systems: Exact results in the microcanonical formalism

    E-Print Network [OSTI]

    E. N. Miranda; Dalia S. Bertoldi

    2015-09-04

    Several approximations are made to study the microcanonical formalism that are valid in the thermodynamics limit. Usually it is assumed that: 1)Stirling approximation can be used to evaluate the number of microstates; 2) the surface entropy can be replace by the volumen entropy; and 3)derivatives can be used even if the energy is not a continuous variable. It is also assumed that the results obtained from the microcanonical formalism agree with those from the canonical one. However, it is not clear if these assumptions are right for very small systems (10-100 particles). To answer this questions, two systems with exact solutions (the Einstein model of a solid and the two-level system)have been solve with and without these approximations.

  15. Consulting Services

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News PublicationsAuditsCluster Compatibilitydefaultin[NiFe]-hydrogenase models: Development

  16. Section D - G

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankADVANCED MANUFACTURINGEnergy BillsNo.Hydrogen4 » Searchwith First JamesofAward SECTION B SUPPLIES ANDC

  17. Section I: Contract Clause

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankADVANCED MANUFACTURINGEnergy BillsNo.Hydrogen4 » Searchwith First JamesofAward SECTION B SUPPLIES

  18. Towards a formalization of teamwork with resource constraints Praveen Paruchuri, Milind Tambe, Fernando Ordonez

    E-Print Network [OSTI]

    Kraus, Sarit

    - der resource constraints. Recently there has been a signifi- cant interest in formalizations constraints. Incorporating resource constraints into distributed MDP frameworks is difficult, sinceTowards a formalization of teamwork with resource constraints Praveen Paruchuri, Milind Tambe

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

  20. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware

    E-Print Network [OSTI]

    Southampton, University of

    COMPUTING SCIENCE Formal Modelling and Analysis of Business Information Applications with Fault to prove properties of models of business protocols and expose weaknesses of certain middleware.. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware [By] J

  1. Introduction to nuclear fusion Modelling Finite volume scheme Formal asymptotics Summary Magnetized Target Fusion: Insights from

    E-Print Network [OSTI]

    Fournier, John J.F.

    Introduction to nuclear fusion Modelling Finite volume scheme Formal asymptotics Summary Magnetized, Committee Member November 28, 2014 Michael Lindstrom Magnetized Target Fusion #12;Introduction to nuclear Target Fusion #12;Introduction to nuclear fusion Modelling Finite volume scheme Formal asymptotics

  2. Entrepreneurial dreams, harsh realities: Aspirations and mobility in informal and formal retail jobs in Mexico

    E-Print Network [OSTI]

    Denham, Diana; Tilly, Chris

    2013-01-01

    modern  retailers such as Walmart dominating the formal other goods, owned by Walmart  California Vinos y Licores 

  3. Section L, Paragraph L-4

    National Nuclear Security Administration (NNSA)

    D SECTION L ATTACHMENT D CROSS REFERENCE MATRIX Section L Section M Offeror's Proposal Criterion 1: PAST PERFORMANCE L-15 (a) M-3 (a) Criterion 2: SITE ORGANIZATION AND...

  4. A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage

    E-Print Network [OSTI]

    Southampton, University of

    A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage Jean-Christophe Deprez1.fitzgerald@newcastle.ac.uk Abstract. After several decades, formal methods are gaining ground in Industry. However, as pointed out areas, most notably in collecting evidence on the use of formal methods and tools in Industry

  5. Derivation of ontological relations using formal methods in a situation awareness scenario

    E-Print Network [OSTI]

    Baclawski, Kenneth B.

    translated to a formal method language called MetaSlang. Having all information expressed in a formal method in this study. Keywords: situation awareness, ontology, formal method, information fusion, relation derivation on Multi-sensor, Multi-source Information Fusion, pages 298-309, Orlando, April 2003. #12;2. SITUATION

  6. PART III - SECTION J

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal GasAdministration Medal of HonorPoster SessionPrograms |Y-12 reduces water usageE SECTION

  7. SECTION J, APPENDIX B - PEP

    National Nuclear Security Administration (NNSA)

    SECTION J APPENDIX B PERFORMANCE EVALUATION PLAN Replaced by Mods 002, 016, 020, 029, 0084 Intentionally left blank for Internet posting purposes. Section J, Appendix B, Page 1...

  8. Title 18 CFR 4.38 Consultation Requirements | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page| Open Energy Information Serbia-EnhancingEt Al., 2013)Open EnergyTinox Jump to:, ChapterEnergyEnergy8 Consultation

  9. Section 1: Contact Information Section 2: Employment History

    E-Print Network [OSTI]

    Section 1: Contact Information Section 2: Employment History Section 3: Educational History Section 4: Additional Required Information Employment Application The Ernest Orlando Lawrence Berkeley! Specific information about current job opportunities at LBNL may be found at http://cjo.lbl.gov/. Please

  10. Harmonic Superspace Gaugeon Formalism for the ABJM Theory

    E-Print Network [OSTI]

    Mir Faizal

    2012-07-12

    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.

  11. IU China Office Manager IU International Consulting and ResearchChina, LLC

    E-Print Network [OSTI]

    Robeson, Scott M.

    o Ordering and maintaining office inventory of supplies. Write formal and informal correspondence but are not intended to be a total listing of responsibilities. Qualifications: 1. Baccalaureate degree required, and presentation (for example, Microsoft Office Word, Excel, Outlook, and PowerPoint applications) 4. A minimum

  12. Formal Verification of UI Using the Power of a Recent Tool Raquel Oliveira 1,2,3

    E-Print Network [OSTI]

    of a formal language called LNT and ergonomic properties are formally defined using temporal logics written verification; temporal logic; ergonomic properties; process language ACM Classification Keywords H.5, [13] proposes four ways of evaluation: formally by some analysis techniques, automatically

  13. The Confluent System Formalism: II. The Growth History of Objects

    E-Print Network [OSTI]

    Alberto Manrique; Eduard Salvador-Sole

    1996-03-09

    With the present paper we conclude the presentation of a semianalytical model of hierarchical clustering of bound virialized objects formed by gravitational instability from a random Gaussian field of density fluctuations. In paper I, we introduced the basic tool, the so-called ``confluent system'' formalism, able to follow the evolution of bound virialized objects in the peak model. This was applied to derive the mass function of objects. In the present paper, we calculate other important quantities characterizing the growth history of objects. This model is compared with a similar one obtained by Lacey \\& Cole (1993) following the Press \\& Schechter (1974) approach. The interest of the new modeling presented here is twofold: 1) it is formally better justified as far as peaks are more reasonable seeds of objects than the indetermined regions in the Press \\& Schechter prescription, and 2) it distinguishes between merger and accretion enabling us to unambiguously define the formation and destruction of objects and to estimate growth rates and characteristic times not available in the previous approach.

  14. Operator Mapping between RNS and Extended Pure Spinor Formalisms for Superstring

    E-Print Network [OSTI]

    Yuri Aisaka; Yoichi Kazama

    2003-08-26

    An explicit operator mapping in the form of a similarity transformation is constructed between the RNS formalism and an extension of the pure spinor formalism (to be called EPS formalism) recently proposed by the present authors. Due to the enlarged field space of the EPS formalism, where the pure spinor constraints are removed, the mapping is completely well-defined in contrast to the one given previously by Berkovits in the original pure spinor (PS) formalism. This map provides a direct demonstration of the equivalence of the cohomologies of the RNS and the EPS formalisms and is expected to be useful for better understanding of various properties of the PS and EPS formalisms. Furthermore, the method of construction, which makes systematic use of the nilpotency of the BRST charges, should find a variety of applications.

  15. Operator Mapping between RNS and Extended Pure Spinor Formalisms for Superstring

    E-Print Network [OSTI]

    Aisaka, Y; Kazama, Yoichi

    2003-01-01

    An explicit operator mapping in the form of a similarity transformation is constructed between the RNS formalism and an extension of the pure spinor formalism (to be called EPS formalism) recently proposed by the present authors. Due to the enlarged field space of the EPS formalism, where the pure spinor constraints are removed, the mapping is completely well-defined in contrast to the one given previously by Berkovits in the original pure spinor (PS) formalism. This map provides a direct demonstration of the equivalence of the cohomologies of the RNS and the EPS formalisms and is expected to be useful for better understanding of various properties of the PS and EPS formalisms. Furthermore, the method of construction, which makes systematic use of the nilpotency of the BRST charges, should find a variety of applications.

  16. Theme Issue "Trends in Formal Description Techniques" In the 80s, we witnessed the development and international standardization of the Formal

    E-Print Network [OSTI]

    Bredereke, Jan - Fachbereich 3

    Page 1 Theme Issue "Trends in Formal Description Techniques" Editorial In the 80s, we witnessed the development and international standardization of the Formal Description Techniques (FDTs) Estelle, LOTOS underwent substantial extensions, while the Estelle and LOTOS standards remained relatively stable

  17. Response to Consultation on the UK implementation of the Directive on the enforcement of intellectual property rights (2004/48/EC) 

    E-Print Network [OSTI]

    Brown, Abbe; Waelde, Charlotte

    Response by Brown and Waelde to the Patent Office's consultation on the UK implementation of the directive on the enforcement of intellectual property rights 2004/48/EC

  18. Great Plains ASPEN model development: Phosam section. Final topical report

    SciTech Connect (OSTI)

    Stern, S.S.; Kirman, J.J.

    1985-02-01

    An ASPEN model has been developed of the PHOSAM Section, Section 4600, of the Great Plains Gasification Plant. The bases for this model are the process description given in Section 6.18 of the Great Plains Project Management Plan and the Lummus Phosam Schematic Process Flow Diagram, Dwg. No. SKD-7102-IM-O. The ASPEN model that has been developed contains the complete set of components that are assumed to be in the gasifier effluent. The model is primarily a flowsheet simulation that will give the material and energy balance and equipment duties for a given set of process conditions. The model is unable to predict fully changes in process conditions that would result from load changes on equipment of fixed sizes, such as a rating model would predict. The model can be used to simulate the steady-state operation of the plant at or near design conditions or to design other PHOSAM units. Because of the limited amount of process information that was available, several major process assumptions had to be made in the development of the flowsheet model. Patent literature was consulted to establish the ammonia concentration in the circulating fluid. Case studies were made with the ammonia content of the feed 25% higher and 25% lower than the base feed. Results of these runs show slightly lower recoveries of ammonia with less ammonia in the feed. As expected, the duties of the Stripper and Fractionator reboilers were higher with more ammonia in the feed. 63 references.

  19. Mathematical formalism of physics of systems with motivation

    E-Print Network [OSTI]

    Ihor Lubashevsky; Natalia Plawinska

    2011-04-08

    The paper discusses fundamental problems in mathematical description of social systems based on physical concepts, with so-called statistical social systems being the main subject of consideration. Basic properties of human beings and human societies that distinguish social and natural systems from each other are listed to make it clear that individual mathematical formalism and physical notions should be developed to describe such objects rather then can be directly inherited from classical mechanics and statistical physics. As a particular example systems with motivation are considered. Their characteristic features are analyzed individually and the appropriate mathematical description is proposed. Finally the paper concludes that the basic elements necessary for describing statistical social systems or, more rigorously, systems with motivation are available or partly developed in modern physics and applied mathematics.

  20. Quantum interference within the complex quantum Hamilton-Jacobi formalism

    E-Print Network [OSTI]

    Chia-Chun Chou; Angel S. Sanz; Salvador Miret-Artes; Robert E. Wyatt

    2010-05-26

    Quantum interference is investigated within the complex quantum Hamilton-Jacobi formalism. As shown in a previous work [Phys. Rev. Lett. 102, 250401 (2009)], complex quantum trajectories display helical wrapping around stagnation tubes and hyperbolic deflection near vortical tubes, these structures being prominent features of quantum caves in space-time Argand plots. Here, we further analyze the divergence and vorticity of the quantum momentum function along streamlines near poles, showing the intricacy of the complex dynamics. Nevertheless, despite this behavior, we show that the appearance of the well-known interference features (on the real axis) can be easily understood in terms of the rotation of the nodal line in the complex plane. This offers a unified description of interference as well as an elegant and practical method to compute the lifetime for interference features, defined in terms of the average wrapping time, i.e., considering such features as a resonant process.

  1. Formal Developments for Lattice QCD with Applications to Hadronic Systems

    E-Print Network [OSTI]

    Zohreh Davoudi

    2014-09-05

    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.

  2. SECTION A: STUDENT INFORMATION ______________________________________________________________________ 93#____________________________________

    E-Print Network [OSTI]

    Lewis, Robert Michael

    , as Amended, you have the right to withhold the disclosure of "Directory Information." a. Student's name bSECTION A: STUDENT INFORMATION # __________________@_________________________ (______)______________ ________/________/_________ Email Address Phone # Effective Date of this Request SECTION B: ADDITIONAL INFORMATION The items listed

  3. Author's Instruction for ME354 Formal Lab Report Author's Name

    E-Print Network [OSTI]

    Sniadecki, Nathan J.

    instructions. Example: Uniaxial tensile tests of reduced gage section tensile specimens (Fig. 1) were conducted (6061-T6), a ductile polymer (polycarbonate), and a brittle polymer (PMMA). All tensile specimens were

  4. 79773Federal Register / Vol. 73, No. 250 / Tuesday, December 30, 2008 / Proposed Rules must consult with us under section 7 of

    E-Print Network [OSTI]

    associated with pulp mills, wood pellet manufacturing, residential, commercial, or industrial development

  5. Gravitoelectromagnetic inflation from a 5D vacuum state: a new formalism

    E-Print Network [OSTI]

    Alfredo Raya; Jose Edgar Madriz Aguilar; Mauricio Bellini

    2007-05-22

    We propose a novel formalism for inflation from a 5D vacuum state which could explain both, seeds of matter and magnetic fields in the early universe.

  6. Solar Proton Burning Process Revisited within a Covariant Model Based on the Bethe-Salpeter Formalism

    E-Print Network [OSTI]

    L. P. Kaptari; B. Kämpfer; E. Grosse

    2000-01-14

    A covariant model based on the Bethe-Salpeter formalism is proposed for investigating the solar proton burning process $pp\\to De^+\

  7. By-Law on ad hoc Consultation with MAUT [Approved April 16, 2015 Council Meeting] MAUT supports collegial governance and open communication and welcomes invitation from

    E-Print Network [OSTI]

    Shoubridge, Eric

    1 By-Law on ad hoc Consultation with MAUT [Approved April 16, 2015 Council Meeting] Preamble MAUT-Law concerns ad hoc requests for consultation with MAUT. It does not concern participation of MAUT governed by the MAUT Constitution and/or University Regulations. Principles and process An ad hoc

  8. NIFES Consulting Group, NIFES House, Sinderland Road, Broadheath, Altrincham, Cheshire, WA14 5HQ Tel: 0161 928 5791 | Fax: 0161 926 8718| www.nifes.co.uk

    E-Print Network [OSTI]

    NIFES Consulting Group, NIFES House, Sinderland Road, Broadheath, Altrincham, Cheshire, WA14 5HQ Tel: 0161 247 1408 E-mail: j.hindley@mmu.ac.uk Prepared by: Mr S. Elkin NIFES Consulting Group, NIFES considered for implementation at the campus. However the seven year payback criteria communicated to NIFES

  9. These recommendations are for West Virginia conditions (maximum altitude, 4,000 feet). For canning directions in other locations, consult

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    spoilage and allow for tenderizing. If the meat is to be held longer than 2 to 3 days, freeze it at 0). For canning directions in other locations, consult your county Extension office. Fresh or frozen meats the pressure canner. The number of jars you can fill with meat or poultry depends upon the size of pieces

  10. Building Design for Moderate Seismic Regions Peter J. Cheever, LeMessurier Consultants, Cambridge, MA, pcheever@lemessurier.com

    E-Print Network [OSTI]

    Hines, Eric

    Building Design for Moderate Seismic Regions Authors: Peter J. Cheever, LeMessurier Consultants which result in most buildings being designed for Seismic Design Category C, including special seismic detailing consistent with the 1992 AISC Seismic Provisions. Spectral design acceleration values

  11. Woodfuel Use Update 1 I Wood fuel use in Scotland 2009 I Hudson Consulting I August 2009

    E-Print Network [OSTI]

    .1.3. Other Industry/Commercial Heat Only Wood Fuel Use 3.2. Pellet plants 3 in previous reports: Virgin wood fibre Imported fibre (in the form of wood pellets) Recycled fibre EnergyWoodfuel Use Update 1 I Wood fuel use in Scotland 2009 I Hudson Consulting I August 2009 Woodfuel

  12. Woodfuel Usage Update 1 I Wood fuel use in Scotland 2011 I Hudson Consulting I September 2011

    E-Print Network [OSTI]

    by 2012 and beyond. The use of recycled fibre is forecast to increase to 40% in 2012. 8. Four wood pellet in forecast demand for wood to be used for pellet production of 140k odt/yr in 2011. 9. The total of woodWoodfuel Usage Update 1 I Wood fuel use in Scotland 2011 I Hudson Consulting I September 2011

  13. OSU Student Health Services Travel Clinic Prices, 2015-2016 Travel Consult prices and length of appointment

    E-Print Network [OSTI]

    Tullos, Desiree

    OSU Student Health Services Travel Clinic Prices, 2015-2016 Travel Consult prices and length. Prices listed below are subject to change based on vaccine or medication price increases. Vaccines prices, and region of travel all impact vaccine recommendations. Vaccine prices below include a $14 injection fee. Td

  14. Summary Recommendations of Review of Statistical Research Methods Training and Research Support (including the Statistical Consulting Unit)

    E-Print Network [OSTI]

    Botea, Adi

    (including the Statistical Consulting Unit) Training in statistics for postgraduates R1: The senior a co-ordinated approach to the statistical training of postgraduate students. R2: If the senior, and which is designed to capture postgraduates in programs where statistics training is not routinely

  15. Drell-Yan production and Lam-Tung relation in the Color Glass Condensate formalism

    E-Print Network [OSTI]

    Francois Gelis; Jamal Jalilian-Marian

    2006-09-06

    We study the Drell-Yan production cross section and structure functions in proton (deuteron)-nucleus collisions using the Color Glass Condensate formalism. The nucleus is treated in the Color Glass Condensate framework which includes both higher twist effects due to the inclusion of multiple scatterings and leading twist pQCD shadowing due to the small x resummation, while the proton (or deuteron) is treated within the DGLAP improved parton model. In particular, the Drell-Yan structure functions are used in order to investigate the Lam-Tung relation at small x, which is known to be identically zero at leading twist up to Next-to-Leading order, and is thus a good playground for studying higher twist effects. In agreement with this, we find that violations of this relation are more important for low momentum and invariant mass of the Drell-Yan pair, and also in the region of rapidity that corresponds to smaller values of x in the nucleus.

  16. Integration of Formal Job Hazard Analysis & ALARA Work Practice

    SciTech Connect (OSTI)

    NELSEN, D.P.

    2002-09-01

    ALARA work practices have traditionally centered on reducing radiological exposure and controlling contamination. As such, ALARA policies and procedures are not well suited to a wide range of chemical and human health issues. Assessing relative risk, identifying appropriate engineering/administrative controls and selecting proper Personal Protective Equipment (PPE) for non nuclear work activities extends beyond the limitations of traditional ALARA programs. Forging a comprehensive safety management program in today's (2002) work environment requires a disciplined dialog between health and safety professionals (e.g. safety, engineering, environmental, quality assurance, industrial hygiene, ALARA, etc.) and personnel working in the field. Integrating organizational priorities, maintaining effective pre-planning of work and supporting a team-based approach to safety management represents today's hallmark of safety excellence. Relying on the mandates of any single safety program does not provide industrial hygiene with the tools necessary to implement an integrated safety program. The establishment of tools and processes capable of sustaining a comprehensive safety program represents a key responsibility of industrial hygiene. Fluor Hanford has built integrated safety management around three programmatic attributes: (1) Integration of radiological, chemical and ergonomic issues under a single program. (2) Continuous improvement in routine communications among work planning/scheduling, job execution and management. (3) Rapid response to changing work conditions, formalized work planning and integrated worker involvement.

  17. Quantum optimal control theory in the linear response formalism

    SciTech Connect (OSTI)

    Castro, Alberto; Tokatly, I. V. [Institute for Biocomputation and Physics of Complex Systems (BIFI) and Zaragoza Center for Advanced Modelling (ZCAM), University of Zaragoza, ES-50009 Zaragoza (Spain); Nano-Bio Spectroscopy Group and ETSF Scientific Development Centre, Departamento de Fisica de Materiales, Universidad del Pais Vasco UPV/EHU, ES-20018 San Sebastian, Spain and (Spain); IKERBASQUE, Basque Foundation for Science, ES-48011 Bilbao (Spain)

    2011-09-15

    Quantum optimal control theory (QOCT) aims at finding an external field that drives a quantum system in such a way that optimally achieves some predefined target. In practice, this normally means optimizing the value of some observable, a so-called merit function. In consequence, a key part of the theory is a set of equations, which provides the gradient of the merit function with respect to parameters that control the shape of the driving field. We show that these equations can be straightforwardly derived using the standard linear response theory, only requiring a minor generalization: the unperturbed Hamiltonian is allowed to be time dependent. As a result, the aforementioned gradients are identified with certain response functions. This identification leads to a natural reformulation of QOCT in terms of the Keldysh contour formalism of the quantum many-body theory. In particular, the gradients of the merit function can be calculated using the diagrammatic technique for nonequilibrium Green's functions, which should be helpful in the application of QOCT to computationally difficult many-electron problems.

  18. SECTION J, APPENDIX A - SOW

    National Nuclear Security Administration (NNSA)

    and improve the industrial competitiveness and national security of the United States. Section J, Appendix A, Page 19 (Replaced Mod 002; Modified Mod 016; Replaced Mod...

  19. SECTION J, APPENDIX A - SOW

    National Nuclear Security Administration (NNSA)

    and improve the industrial competitiveness and national security of the United States. Section J, Appendix A, Page 17 Request for Proposal No. DE-SOL-0007749 CHAPTER...

  20. PART III-SECTION J

    National Nuclear Security Administration (NNSA)

    During Transition. The Contractor shall invoice for reimbursement of Transition Plan costs in accordance with Section G, G-7, Invoicing for Transition Costs, paragraph (b)....

  1. Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software

    E-Print Network [OSTI]

    Farenc, Christelle

    Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive a formal framework for the development of interactive software that bridges the gap between ergonomic development process from requirements to model­based execution. It also embeds ergonomic knowledge

  2. Synchronous Dependency Insertion Grammars A Grammar Formalism for Syntax Based Statistical MT

    E-Print Network [OSTI]

    Synchronous Dependency Insertion Grammars A Grammar Formalism for Syntax Based Statistical MT Yuan formalism specifically designed for syntax-based sta- tistical machine translation. The synchro- nous between lan- guages, which many other synchronous grammars are unable to model. A Depend- ency Insertion

  3. A Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

    E-Print Network [OSTI]

    Boyer, Edmond

    and complexity of system on chip (SoC) designs. Powerful formal verification methods have been playing, model checking for complex designs may be beyond the power of available tools and computing resourceA Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu

  4. FDL: A Prototype Formal Digital Library Description and Draft Reference Manual

    E-Print Network [OSTI]

    Kreitz, Christoph

    FDL: A Prototype Formal Digital Library ­ Description and Draft Reference Manual ­ Stuart Allen Library (FDL). We designed the system and assembled the prototype as part of a research project sponsored by the Office of Naval Research entitled Building Interactive Digital Libraries of Formal Algorithmic Knowledge

  5. Formal Proof of a Wave Equation Resolution Scheme: the Method Error

    E-Print Network [OSTI]

    Mayero, Micaela

    -dimensional acoustic wave equation are well-known to be convergent. We present a comprehensive formalization words: partial differential equation, acoustic wave equation, nu- merical scheme, Coq formal proofs 1 propagation models, the acoustic wave equation in a one-dimensional space domain, for it is a prototype model

  6. Two levels interchange format in XML for Petri Nets and other graph-based formalisms

    E-Print Network [OSTI]

    Gribaudo, Marco

    to describe Petri Nets and other graph-based formalisms such as queueing networks and Markov chains. TwoTwo levels interchange format in XML for Petri Nets and other graph-based formalisms Andrea Valente to model Petri Nets and other graph based model speci cation formalismsis presented. In particular

  7. Enabling the usage of formal methods by creation of convenient tools.

    E-Print Network [OSTI]

    Turau, Volker

    Enabling the usage of formal methods by creation of convenient tools. Boris Gruschko, Friedrich H. The creation of formal specifications for these systems lacks the extensive support by tools vendors. This re- sults in lack of sophisticated tools, which help the developer to overcome the initial training

  8. Crystalline Dieudonn'e module theory via formal and rigid geometry

    E-Print Network [OSTI]

    de Jong, A. Johan

    Crystalline Dieudonn'e module theory via formal and rigid geometry ................................................................ 85 Introduction Let S be a base scheme in characteristic p. Consider the crystalline Dieudonn] * *and [MM]. In [B] and [BBM] Grothendieck's formalism of crystalline sites and crystals* * is devel

  9. ARTABILITATION ICMC PANEL PAPER DENMARK 2007: NON-FORMAL REHABILITATION VIA IMMERSIVE

    E-Print Network [OSTI]

    Miranda, Eduardo Reck

    ARTABILITATION ICMC PANEL PAPER DENMARK 2007: NON-FORMAL REHABILITATION VIA IMMERSIVE INTERACTIVE Rehabilitation, Royal Hospital for Neuro-disability, UK; Eduardo Miranda, University of Plymouth, UK; EvaAbilitation Panel on non-formal rehabilitation via immersive interactive music environments. Issues covered

  10. On the Formal Verification of Embedded Software Using Multiway Decision Graphs

    E-Print Network [OSTI]

    Tahar, Sofiène

    . Recently attention has been given to the verification of embedded systems using formal methods and Claesen [10] suggested a methodology for modeling both the software and hardware of an embedded system1 On the Formal Verification of Embedded Software Using Multiway Decision Graphs Subhashini

  11. Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant

    E-Print Network [OSTI]

    Bryant, Randal E.

    1 Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant Department presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM processors, uses features such as a 5-stage

  12. A Formal Definition of Culture Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, and Fausto Giunchiglia

    E-Print Network [OSTI]

    of culture(s) existing in various communities. 1 Introduction The advent of Web 2.0 lead to an explosiveA Formal Definition of Culture Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, and Fausto. In this paper, we propose a formal definition of culture of a set of agents. It generalizes existing definitions

  13. A Formal Approach to Three-Way Merging of EMF Models Bernhard Westfechtel

    E-Print Network [OSTI]

    Westfechtel, Bernhard

    A Formal Approach to Three-Way Merging of EMF Models Bernhard Westfechtel Applied Computer Science a formal ap- proach to three-way merging of models in the EMF frame- work which may be applied to instances detect and resolve merge con- flicts. Furthermore, we present a merge algorithm which produces a valid

  14. Formally Reasoning About Security Issues in P2P Protocols: A Case Study

    E-Print Network [OSTI]

    Valencia, Frank D.

    Universidad Javeriana Cali, Colombia aaaristizabal@puj.edu.co, {halopez,crueda}@cic.puj.edu.co 2 CNRS property against outsider attacks. By formally modeling and analyzing a real-world, yet informally. In this paper we present a formal specification of MUTE, a protocol for P2P systems, modelled in the SPL process

  15. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware

    E-Print Network [OSTI]

    Southampton, University of

    Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware properties of models of business pro- tocols and expose weaknesses of certain middleware con- figurations is that of gaining the bene- fits of formal modelling and analysis in the development of SOA-based business

  16. Formal and Precise Derivation of the Green Functions for a Simple Potential

    E-Print Network [OSTI]

    2 + V (r) #19; #27;(r; E) = E#27;(r; E) ; (1.4) as their basic source of information. The di#11Formal and Precise Derivation of the Green Functions for a Simple Potential R. de la Madrid #3;yz March 15, 2001 Abstract In formal scattering theory, Green functions are obtained as solutions of a dis

  17. Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code

    E-Print Network [OSTI]

    Poshyvanyk, Denys

    Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA in queries written by the programmer to relevant parts of the source code, presented as a ranked list

  18. A path integral formalism for the closure of autonomous statistical systems

    E-Print Network [OSTI]

    Richard Kleeman

    2015-03-25

    Recently a path integral formalism has been proposed by the author which gives the time evolution of moments of slow variables in a Hamiltonian statistical system. That formalism is extended here to deal with a more general autonomous dynamical system. An immediate practical application to forced dissipative turbulent systems is thus now possible.

  19. R-Matrix Evaluation of {sup 16}O neutron cross sections up to 6.3 MeV

    SciTech Connect (OSTI)

    Sayer, R.O.; Leal, L.C.; Larson, N.M.; Spencer, R.R.; and Wright, R.Q.

    2000-08-01

    In this paper the authors describe an evaluation of {sup 16}O neutron cross sections in the resolved resonance region with the multilevel Reich-Moore R-matrix formalism. Resonance analyses were performed with the computer code SAMMY [LA98] which utilizes Bayes' method, a generalized least squares technique.

  20. Table Of Contents Section: Page

    E-Print Network [OSTI]

    US Army Corps of Engineers

    EM 385-1-1 XX Sep 13 i Section 2 SANITATION Table Of Contents Section: Page 02.A General Water......................................................... 2-1 02.D Non-Potable Water and openings. 02.C DRINKING WATER #12;EM 385-1-1 XX Sep 13 2-2 02.C.01 An adequate supply of potable water

  1. This document summarizes discussions and consultations held in the Department of Physiology and Pharmacology as part of a formal planning process for the years 2012-16. It builds

    E-Print Network [OSTI]

    Lennard, William N.

    considerable change in the funding models for research and education, the way we deliver our teaching programs. These changes present challenges and provide exciting opportunities for growth and renewal. It is imperative and reputation in translational research. Strength in this area and in preclinical models is instrumental

  2. Woodfuel Usage Update 1 I Wood fuel use in Scotland 2010 I Hudson Consulting I October 2010

    E-Print Network [OSTI]

    .1.3. Other Industry/Commercial Heat Only (using up to 1,000 odt/yr) 3.1.4. Total Wood Fuel Use 3.2. Pellet categories are used: Virgin wood fibre (chip and sawmill co-product) UK Pellet Recycled fibre Energy cropsWoodfuel Usage Update 1 I Wood fuel use in Scotland 2010 I Hudson Consulting I October 2010

  3. Qurz 10 SOLUTIONS, SECTION ALL

    E-Print Network [OSTI]

    jony2_000

    Qurz 10 SOLUTIONS, SECTION ALL. If C is the line segment from (0, 0) to (3, 5), then fc 3x2ds :7. A16 B25 C45 D65 E.75. Solution. To parametrize the line we ...

  4. Marine Ecological Processes Online section

    E-Print Network [OSTI]

    Hill, Jeffrey E.

    Marine Ecological Processes Online section FAS 6272 (3 credits) Fall 2014 Course Description, behavior, population dynamics, and community structure in marine and estuarine ecosystems. Prerequisite will have: · Examined how ecological processes operate in the marine environment · Compared how ecological

  5. Formalism for Simulation-based Optimization of Measurement Errors in High Energy Physics

    E-Print Network [OSTI]

    Yuehong Xie

    2009-04-29

    Miminizing errors of the physical parameters of interest should be the ultimate goal of any event selection optimization in high energy physics data analysis involving parameter determination. Quick and reliable error estimation is a crucial ingredient for realizing this goal. In this paper we derive a formalism for direct evaluation of measurement errors using the signal probability density function and large fully simulated signal and background samples without need for data fitting and background modelling. We illustrate the elegance of the formalism in the case of event selection optimization for CP violation measurement in B decays. The implication of this formalism on choosing event variables for data analysis is discussed.

  6. The Role of Castes in Formal Specification of MAS School of Computing and Mathematical Sciences, Oxford Brookes University

    E-Print Network [OSTI]

    Zhu, Hong

    The Role of Castes in Formal Specification of MAS Hong Zhu School of Computing and Mathematical of classes, castes introduced in the formal specification language SLAB provide a language facility that provides modularity in the formal specification of multiagent systems. A caste represents a set of agents

  7. A Formal Model for Verifying the Impact of Stealthy Attacks on Optimal Power Flow in Power Grids

    E-Print Network [OSTI]

    Wang, Yongge

    - mal Power Flow; Formal Model 1. INTRODUCTION Power system control centers employ a numberA Formal Model for Verifying the Impact of Stealthy Attacks on Optimal Power Flow in Power Grids the integrity of OPF and undermine the economic and secure system operation. We present a formal verification

  8. Developing Embedded/Real-Time and Cyber-Physical Systems: Functional Reactive Programming, RTL-based Formal Verification, Response Time

    E-Print Network [OSTI]

    Cheng, Albert M. K.

    , specification, modeling, scheduling, and formal verification of real- time, embedded, and cyber-physical systems-based Formal Verification, Response Time Analysis, and Power-Aware Scheduling Albert M. K. Cheng Real reactive programming, RTL (real-time logic)-based formal verification, response time analysis, and power

  9. Generalised BRST symmetry and gaugeon formalism for perturbative quantum gravity: Novel observation

    SciTech Connect (OSTI)

    Upadhyay, Sudhaker

    2014-05-15

    In this paper the novel features of Yokoyama gaugeon formalism are stressed out for the theory of perturbative quantum gravity in the Einstein curved spacetime. The quantum gauge transformations for the theory of perturbative gravity are demonstrated in the framework of gaugeon formalism. These quantum gauge transformations lead to renormalised gauge parameter. Further, we analyse the BRST symmetric gaugeon formalism which embeds more acceptable Kugo–Ojima subsidiary condition. Further, the BRST symmetry is made finite and field-dependent. Remarkably, the Jacobian of path integral under finite and field-dependent BRST symmetry amounts to the exact gaugeon action in the effective theory of perturbative quantum gravity. -- Highlights: •We analyse the perturbative gravity in gaugeon formalism. •The generalisation of BRST transformation is also studied in this context. •Within the generalised BRST framework we found the exact gaugeon modes in the theory.

  10. Formal Specification of Operating System Operations Dan Zhou Paul E. Black

    E-Print Network [OSTI]

    Black, Paul E.

    Formal Specification of Operating System Operations Dan Zhou- fication of a secure operating system architecturepandritsising the objects and* * subjects of operating systems. We security-related operations in higher-orderalogicltheoremso specify security co* *nditions

  11. INTEGRATING A FORMAL SPECIFICATION COURSE WITH A SOFIWARE PROJECTS COURSE VIA AN EDITING TOOL

    E-Print Network [OSTI]

    Gamble, R. F.

    .F. Gamble Department of Mathematical and Computer Sciences The University of Tulsa Tulsa, OK 74104 email of Tulsa currently includes two courses: a formal specification course taught with the language Z [12

  12. Combining Formal Methods and Safety Analysis -The ForMoSA Approach

    E-Print Network [OSTI]

    Reif, Wolfgang

    and quantitative analysis. The For- MoSA approach combines these techniques to answer these safety rele- vant level of con- fidence formal methods from software engineering have been used. Safety rele- vant

  13. Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1

    E-Print Network [OSTI]

    Aiken, Alex

    Crowd-scale Interactive Formal Reasoning and Analytics Ethan Fast1 , Colleen Lee1 , Alex Aiken1 , Michael Bernstein1 , Daphne Koller1 , Eric Smith2 Stanford University1 , Kestrel Institute2 {ethan

  14. Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis

    E-Print Network [OSTI]

    AlTurki, Musab; 10.4204/EPTCS.36.2

    2010-01-01

    Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc, including a rewriting logic semantics developed by the authors. Orc also has a fully fledged implementation in Java with functional programming features. However, as with descriptions of most distributed languages, there exists a fairly substantial gap between Orc's formal semantics and its implementation, in that: (i) programs in Orc are not easily deployable in a distributed implementation just by using Orc's formal semantics, and (ii) they are not readily formally analyzable at the level of a distributed Orc implementation. In this work, we overcome problems (i) and (ii) for Orc. Specifically, we describe an implementation technique based on rewriting logic and Maude that narrows this gap considerably. The enabling feature of this technique is Maude's support for external objects through TCP sockets. We describe how sockets are used to i...

  15. A critical review on modelling formalisms and simulation tools in computational biosystems

    E-Print Network [OSTI]

    Machado, Daniel

    Integration of different kinds of biological processes is an ultimate goal for whole-cell modelling. We briefly review modelling formalisms that have been used in Systems Biology and identify the criteria that must be ...

  16. Making the numbers : agency in computer-generated formal representations of sales work

    E-Print Network [OSTI]

    Cunha, José João Marques de Oliveria Vieira da

    2006-01-01

    This research builds on the literature on information technology and organizations to suggest an alternative to the current understanding of the production of computer-generated formal representations of work. This literature ...

  17. For Immediate Release --Tuesday, February 12, 2013 University of Lethbridge formalizes linkages with

    E-Print Network [OSTI]

    Morris, Joy

    (403) 330-4609 cell phone/media calls (403) 382-7173 office/voicemail (403) 329 of Lethbridge formalizes linkages with Ukrainian institutions · Effects of radiation radiation. Earlier today, Vice-President (Research) Dan Weeks signed, on behalf

  18. Formal Measures in Informal Management: Can a Balanced Scorecard Change a Culture?

    E-Print Network [OSTI]

    Gibbons, Robert S.

    We extend traditional agency theory by exploring the roles for formal measures when managerial behavior is not governed by rules, formulas, or contracts. Part I describes relational incentive contracts with informal weights ...

  19. Applications of the Generalized DDA Formalism and the Nature of Polarized Light in Deep Oceans 

    E-Print Network [OSTI]

    You, Yu

    2010-01-16

    The first part of this study is focused on numerical studies of light scattering from a single microscopic particle using the Discrete Dipole Approximation (DDA) method. The conventional DDA formalism is generalized to ...

  20. FORMALIZATION OF HOUSING IN SAN JOSE, COSTA RICA: A community pathway to legal incorporation

    E-Print Network [OSTI]

    Velazquez, Melissa Renee

    2008-07-31

    This work explores urban informal housing and development strategies with a process centered purpose in the urban core of San José, Costa Rica. It seeks to explain how communities obtain change in formal housing status and move toward legal...

  1. GRAPHICS PROGRAMMING Section A Java

    E-Print Network [OSTI]

    Hill, Gary

    GRAPHICS PROGRAMMING Section A ­ Java 1 - Introduction 2 - Installation & First Programs 3 - GUI: Layout Managers 9 - GUI: JMenu Gary Hill December 2003 Java 1 of 1 #12;GRAPHICS PROGRAMMING 1, sample applications, and support for Java standards. Get started quickly using the included tutorials

  2. Marine Ecological Processes Online section

    E-Print Network [OSTI]

    Hill, Jeffrey E.

    Marine Ecological Processes Online section FAS 4270 (3 credits) Fall 2012 Course Description The course covers the ecology of marine organisms and habitats with focus on how general ecological principles and those unique to the marine environment drive patterns and processes. Prerequisite: Two

  3. Section H: Special Contract 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 Data Center Home Page on Delicious RankADVANCED MANUFACTURINGEnergy BillsNo.Hydrogen4 » Searchwith First JamesofAward SECTION B SUPPLIES ANDCH

  4. Turbine airfoil having outboard and inboard sections

    DOE Patents [OSTI]

    Mazzola, Stefan; Marra, John J

    2015-03-17

    A turbine airfoil usable in a turbine engine and formed from at least an outboard section and an inboard section such that an inner end of the outboard section is attached to an outer end of the inboard section. The outboard section may be configured to provide a tip having adequate thickness and may extend radially inward from the tip with a generally constant cross-sectional area. The inboard section may be configured with a tapered cross-sectional area to support the outboard section.

  5. The Use of Standard Forms by a Small to Mid-Size Consulting Company

    E-Print Network [OSTI]

    Cotter, Erik

    2009-05-15

    . 9. How often do you require a retainer from the client as part of contracts? Response Percent Response Count Never 75.9% 22 25% of contracts 6.9% 2 50% of contracts 0.0% 0 75% of contracts 0.0% 0 100% of contracts 0.0% 0 N/A, I am...………………………….………………………………………………32 Case Study 7: Company D……….……………………….…….……………………………………………………35 Case Study 8: Company E Contract…………….…………………….…….……………………………………36 Case Study 9: Company F General Conditions……….………………………….…………………………37 Section 4: Conclusions...

  6. SECTION J, APPENDIX B - PEP

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal GasAdministration Medal01 Sandia4) August 20123/%2A en NNSAReference to Mod 0108C SECTION

  7. Section 999 Program Library | Department of Energy

    Energy Savers [EERE]

    Offshore Drilling Section 999 Program Library Section 999 Program Library Cost-Shared Program Publications October 2, 2013 UDAC Meeting - October 2013 October 2, 2013 URTAC...

  8. Interagency ADR Workplace Section Education Programs

    Broader source: Energy.gov [DOE]

    The Interagency Alternative Dispute Resolution Working Group (IADRWG) Workplace Conflict Management Section (“Workplace Section”) provides guidance on “best practices” in ADR program development,...

  9. Time-dependent Internal DFT formalism and Kohn-Sham scheme

    E-Print Network [OSTI]

    J. Messud

    2009-11-05

    We generalize to the time-dependent case the stationary Internal DFT / Kohn-Sham formalism presented in Ref. [14]. We prove that, in the time-dependent case, the internal properties of a self-bound system (as an atomic nuclei) are all defined by the internal one-body density and the initial state. We set-up a time-dependent Internal Kohn-Sham scheme as a practical way to compute the internal density. The main difference with the traditional DFT / Kohn-Sham formalism is the inclusion of the center-of-mass correlations in the functional.

  10. Skinner-Rusk Unified Formalism for Optimal Control Systems and Applications

    E-Print Network [OSTI]

    M. Barbero-Liñan; A. Echeverria-Enriquez; D. Martin de Diego; M. C. Muñoz-Lecanda; N. Roman-Roy

    2007-10-18

    A geometric approach to time-dependent optimal control problems is proposed. This formulation is based on the Skinner and Rusk formalism for Lagrangian and Hamiltonian systems. The corresponding unified formalism developed for optimal control systems allows us to formulate geometrically the necessary conditions given by Pontryagin's Maximum Principle, provided that the differentiability with respect to controls is assumed and the space of controls is open. Furthermore, our method is also valid for implicit optimal control systems and, in particular, for the so-called descriptor systems (optimal control problems including both differential and algebraic equations).

  11. Libélula Consulting Company of Peru | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar2-0057-EAInvervarLeeds, UnitedLiberty Power Corp. Place: Rhode IslandLidulula

  12. © Marketing Edge Consulting Group and TargetGov Successful Marketing Tactics

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'S FUTURE.EnergyWoodenDate RecCompetition and Reliability In

  13. EECH Group AG formerly European Energy Consult Holding P T Technology AG |

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OFAMERICA'SHeavy Electricals Ltd BHELEuropeLagePowerTimo JV JumpEDGE EnergyOpen

  14. Peer-to-Peer Consultations: Ancillary Services Peer Exchange with India: Experience from South Africa, Europe & the United States (Fact Sheet)

    SciTech Connect (OSTI)

    Not Available

    2014-05-01

    In support of national and subnational decision makers, the 21st Century Power Partnership regularly works with country partners to organize peer-to-peer consultations on critical issues. In March 2014, 21CPP collaborated with the Regulatory Assistance Project - India to host two peer-to-peer exchanges among experts from India, South Africa, Europe, and the United States to discuss the provision of ancillary services, particularly in the context of added variability and uncertainty from renewable energy. This factsheet provides a high level summary of the peer-to-peer consultation.

  15. Formal Measures of Learning in a Secondary School Mobile Robotics Course

    E-Print Network [OSTI]

    Formal Measures of Learning in a Secondary School Mobile Robotics Course Illah R. Nourbakhsh, Emily Hamner The Robotics Institute Carnegie Mellon University Pittsburgh, USA {illah, etf Pittsburgh, USA {crowleyk+, kaw16+}@pitt.edu Abstract--During the summer of 2002, Robotic Autonomy was taught

  16. Formal Methods: State of the Art and Future Edmund M. Clarke and Jeannette M. Wing

    E-Print Network [OSTI]

    Descriptors: B.1.2 [Hardware]: Control Structure Performance Analysis and Design Aids---Formal models; B.1.4 [Hardware]: Microprogram Design Aids---Verification; B.2.2 [Arithmetic and Logic Structures]: Performance Analysis and Design Aids---Verifi­ cation; B.3.3 [Memory Structures]: Performance Analysis and Design Aids

  17. Analyzing a Controller of a Power Distribution Unit Using Formal Methods

    E-Print Network [OSTI]

    Groote, Jan Friso

    to apply formal verification. The system included two previously uncovered errors, detected via model the clinical users the expected behavior of the system. As a result of the behavioral verification, two regarding required changes to the powering status of the system. If the PDU does not function correctly

  18. Formal Verification Integration Approach for Faiez Zalila, Xavier Cregut, and Marc Pantel

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    critical systems. In this context, model validation and verification (V&V) activities are key features) for the verification of safety critical embedded systems has produced very good results and raised the inter- est the benefits of these power- ful methods. More precisely, we propose a language to formally express system

  19. Supporting Information Variation of formal hydrogen bonding networks within electronically delocalized pi-

    E-Print Network [OSTI]

    Ferguson, Andrew

    S1 Supporting Information Variation of formal hydrogen bonding networks within electronically (HBTU), Wang resins, and Fmoc-protected amino acids were obtained from Advanced ChemTech. Benzotriazol-1 ionization. Samples were prepared in a 1:1 methanol/water with 1% ammonium hydroxide solution and were run

  20. EJC file no.: EJC 039/2004 Formal specification method for systems

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    and opens issues on the way to industrial practice. KEY WORDS: Systems Engineering, Automation Engineering applications. Industrial automation standards, such as the safety-related IEC 615081 , strongly recommendEJC file no.: EJC 039/2004 Formal specification method for systems automation Jean-François Pétin

  1. Formal Results Regarding Metric-Space Techniques for the Study of Astrophysical Maps

    E-Print Network [OSTI]

    Fred C. Adams; Jennifer J. Wiseman

    1994-04-20

    We extend a newly developed formal system for the description of astrophysical maps. In this formalism, we consider the difference between maps to be the distance between elements of a pseudometric space (the space of all such maps). This ansatz allows us to measure quantitatively the difference between any two maps and to order the space of all maps. For each physical characteristic of interest, this technique assigns an ``output'' function to each map; the difference between the maps is then determined from the difference between their corresponding output functions. In this present study, we show that the results of this procedure are invariant under a class of transformations of the maps and the domains of the maps. In addition, we study the propagation of errors (observational uncertainties) through this formalism. We show that the uncertainties in the output functions can be controlled provided that the signal to noise ratios in the original astrophysical maps are sufficiently high. The results of this paper thus increase the effectiveness of this formal system for the description, classification, and analysis of astrophysical maps.

  2. Off-shell BRST-VSUSY superalgebra for D=4 BF theories in the superconnection formalism

    E-Print Network [OSTI]

    Aidaoui, A

    2006-01-01

    We propose the superconnection formalism to construct the off-shell BRST-VSUSY superalgebra for D=4 BF theories. The method is based on the natural introduction of physical fields as well as auxiliary fields via superconnections and their associated supercurvatures defined on a superspace. We also give a prescription to build the off-shell BRST-VSUSY exact quantum action.

  3. Off-shell BRST-VSUSY superalgebra for D=4 BF theories in the superconnection formalism

    E-Print Network [OSTI]

    A. Aidaoui; M. Tahiri

    2006-07-13

    We propose the superconnection formalism to construct the off-shell BRST-VSUSY superalgebra for D=4 BF theories. The method is based on the natural introduction of physical fields as well as auxiliary fields via superconnections and their associated supercurvatures defined on a superspace. We also give a prescription to build the off-shell BRST-VSUSY exact quantum action.

  4. NASA/TM-2010-216706 Formal Verification of Air Traffic

    E-Print Network [OSTI]

    Narkawicz, Anthony J.

    June 2010 NASA/TM-2010-216706 Formal Verification of Air Traffic Conflict Prevention Bands Ecole polytechnique, France #12;NASA STI Program . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA scientific and technical information

  5. NASA/TM-2004-212999 Formal Modeling and Analysis of a Preliminary

    E-Print Network [OSTI]

    Butler, Ricky W.

    March 2004 NASA/TM-2004-212999 Formal Modeling and Analysis of a Preliminary Small Aircraft, Virginia Sara Kalvala University of Warwick, United Kingdom #12;The NASA STI Program Office . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science

  6. NASA/CP-2010-216215 Proceedings of the Second NASA Formal

    E-Print Network [OSTI]

    Muñoz, César A.

    April 2010 NASA/CP-2010-216215 Proceedings of the Second NASA Formal Methods Symposium Edited by César Muñoz NASA Langley Research Center, Hampton, Virginia #12;NASA STI Program . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA

  7. A Formal Approach for Network Security Management Based on Qualitative Risk Analysis

    E-Print Network [OSTI]

    Wang, Yongge

    A Formal Approach for Network Security Management Based on Qualitative Risk Analysis Mohammad Emails: {mrahman4,ealshaer}@uncc.edu Abstract--The risk analysis is an important process for en- forcing security risk low. In this paper, we first present a declarative model for the qualitative risk analysis

  8. Joint propagation of probability and possibility in risk analysis: Towards a formal framework

    E-Print Network [OSTI]

    Winckler, Marco Antonio Alba

    Joint propagation of probability and possibility in risk analysis: Towards a formal framework Ce by propagating uncertainty in risk analysis when some input parameters are stochastic and perfectly observable to the output of some function of interest from the risk analysis model can be either represented by a fuzzy

  9. cis,cis-[(bpy)2RuV Catalyzes Water Oxidation Formally

    E-Print Network [OSTI]

    Baik, Mu-Hyun

    @indiana.edu Abstract: The mechanism of the catalytic oxidation of water by cis,cis-[(bpy)2Ru(OH2)]2O4+ to givecis,cis-[(bpy)2RuV O]2O4+ Catalyzes Water Oxidation Formally via in Situ Generation of Radicaloid molecular dioxygen was investigated using Density Functional Theory (DFT). A series of four oxidation

  10. FormalismIndependent Parser Evaluation with CCG and DepBank Stephen Clark

    E-Print Network [OSTI]

    Curran, James R.

    . Curran School of Information Technologies University of Sydney NSW 2006, Australia james and Joshi, 2003), CCG (Hockenmaier and Steed­ man, 2002; Clark and Curran, 2004b), and variants of phrase al., 2006), and formalism­ specific dependencies (Clark and Curran, 2004b). This variety

  11. Formalism-Independent Parser Evaluation with CCG and DepBank Stephen Clark

    E-Print Network [OSTI]

    Curran, James R.

    . Curran School of Information Technologies University of Sydney NSW 2006, Australia james and Joshi, 2003), CCG (Hockenmaier and Steed- man, 2002; Clark and Curran, 2004b), and variants of phrase al., 2006), and formalism- specific dependencies (Clark and Curran, 2004b). This variety

  12. Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter

    E-Print Network [OSTI]

    Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter helicopter and its onboard embedded computing system for flight control and real-time transmission and application services for an unmanned helicopter. It will be used for responding to disasters such as forest

  13. Seminario Informal (mas Formal!) 2006 Estrategias da Teoria de Reescrita em PVS

    E-Print Network [OSTI]

    Ayala-Rincón, Mauricio

    4o Semin´ario Informal (mas Formal!) 2006 Estrat´egias da Teoria de Reescrita em PVS: considerac Reescrita Porque Estrat´egias em PVS s~ao Importantes Conclus~ao e Trabalho Futuro Andr´e Luiz Galdino

  14. A Formal Verification Method of Function Block Diagram Kwang Yong Koh1

    E-Print Network [OSTI]

    Jee, Eunkyoung

    control systems in chemical processing plants, nuclear power plants or traffic control systems [1A Formal Verification Method of Function Block Diagram Kwang Yong Koh1 , Poong Hyun Seong1 , Eun Engineering, KAIST 2 Division of Computer Science, Department of Electrical Engineering and Computer Science

  15. FORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY MODELING

    E-Print Network [OSTI]

    Xu, Haiping

    that DRBD provides a powerful tool for system reliability modeling, and our proposed verification approachFORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY-scale computer-based systems. KEY WORDS Reliability modeling, dynamic reliability block diagrams (DRBD), Object

  16. Patterns for Representing FMEA in Formal Specification of Control Systems Ilya Lopatkin, Alexei Iliasov,

    E-Print Network [OSTI]

    Southampton, University of

    Patterns for Representing FMEA in Formal Specification of Control Systems Ilya Lopatkin, Alexei, Finland {Yuliya.Prokhorova, Elena.Troubitsyna}@abo.fi Abstract -- Failure Modes and Effects analysis (FMEA) is a widely used technique for inductive safety analysis. FMEA provides engineers with valuable information

  17. Formal Safety analysis of a radiobased railroad crossing using Deductive CauseConsequence

    E-Print Network [OSTI]

    Reif, Wolfgang

    #ects analysis (FMEA) and fault tree analysis (FTA). We apply the method to a real world case study: a radio (DCCA). This technique is a formal generalization of well­known safety analysis methods like FMEA [10 by analyzed) than traditional FMEA. We show, that the results of DCCA have the same semantics as those

  18. Equifinality of formal (DREAM) and informal (GLUE) bayesian approaches in hydrologic modeling?

    SciTech Connect (OSTI)

    Vrugt, Jasper A [Los Alamos National Laboratory; Robinson, Bruce A [Los Alamos National Laboratory; Ter Braak, Cajo J F [NON LANL; Gupta, Hoshin V [NON LANL

    2008-01-01

    In recent years, a strong debate has emerged in the hydrologic literature regarding what constitutes an appropriate framework for uncertainty estimation. Particularly, there is strong disagreement whether an uncertainty framework should have its roots within a proper statistical (Bayesian) context, or whether such a framework should be based on a different philosophy and implement informal measures and weaker inference to summarize parameter and predictive distributions. In this paper, we compare a formal Bayesian approach using Markov Chain Monte Carlo (MCMC) with generalized likelihood uncertainty estimation (GLUE) for assessing uncertainty in conceptual watershed modeling. Our formal Bayesian approach is implemented using the recently developed differential evolution adaptive metropolis (DREAM) MCMC scheme with a likelihood function that explicitly considers model structural, input and parameter uncertainty. Our results demonstrate that DREAM and GLUE can generate very similar estimates of total streamflow uncertainty. This suggests that formal and informal Bayesian approaches have more common ground than the hydrologic literature and ongoing debate might suggest. The main advantage of formal approaches is, however, that they attempt to disentangle the effect of forcing, parameter and model structural error on total predictive uncertainty. This is key to improving hydrologic theory and to better understand and predict the flow of water through catchments.

  19. An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy

    E-Print Network [OSTI]

    Ferré, Sébastien

    An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy Peggy Cellier1 , S the data set is not structured. When an attribute taxonomy exists, existing techniques produce a com- pleted context with all attributes deduced from the taxonomy. Usual algorithms can then be applied

  20. FACULTY HIRING AND TERMINATION 4.1 REQUIREMENTS FOR CONDUCTING FORMAL FACULTY SEARCHES

    E-Print Network [OSTI]

    the position holder brings the full funding. In these cases there can be no commitment, expressed or implied by the supervisor, the Department Head, the Dean, and at least two members of the department. Formal review of the request into the academic/strategic plan for the unit, 3) fit of the request into the strategic plan

  1. Formal Verification of Robot Movements -a Case Study on Home Service Robot SHR100

    E-Print Network [OSTI]

    Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100 Moonzoo Kim, Kyo of Technology Suwon, South Korea twinclee@samsung.com Abstract-- Home service robots have received much atten- tion from both academia and industry because home service robots have wide range of potential

  2. Draft Chapter for Handbook on Logic of Normative Title: The Formalization of Practical Reasoning

    E-Print Network [OSTI]

    Thomason, Richmond H.

    Draft Chapter for Handbook on Logic of Normative Systems Title: The Formalization of Practical encompasses a small part of practical reasoning, which is concerned with selecting, commit- ting to of practical reasoning is not in place, the materials for developing such a logic are now available. 2

  3. Equivalence of Two-Loop Superstring Amplitudes in the Pure Spinor and RNS Formalisms

    E-Print Network [OSTI]

    Nathan Berkovits; Carlos R. Mafra

    2005-10-14

    The pure spinor formalism for the superstring has recently been used to compute massless four-point two-loop amplitudes in a manifestly super-Poincare covariant manner. In this paper, we show that when all four external states are Neveu-Schwarz, the two-loop amplitude coincides with the RNS result.

  4. Equivalence of Two-Loop Superstring Amplitudes in the Pure Spinor and RNS Formalisms

    E-Print Network [OSTI]

    Berkovits, N; Berkovits, Nathan; Mafra, Carlos R.

    2006-01-01

    The pure spinor formalism for the superstring has recently been used to compute massless four-point two-loop amplitudes in a manifestly super-Poincare covariant manner. In this paper, we show that when all four external states are Neveu-Schwarz, the two-loop amplitude coincides with the RNS result.

  5. Expressions for frictional and conservative force combinations within the dissipative Lagrange-Hamilton formalism

    E-Print Network [OSTI]

    Charles E. Smith

    2006-01-18

    Dissipative Lagrangians and Hamiltonians having Coulomb, viscous and quadratic damping,together with gravitational and elastic terms are presented for a formalism that preserves the Hamiltonian as a constant of the motion. Their derivations are also shown. The resulting L's and H's may prove useful in exploring new types of damped quantum systems.

  6. A Modified Cable Formalism for Modeling Neuronal Membranes at High Frequencies

    E-Print Network [OSTI]

    Destexhe, Alain

    A Modified Cable Formalism for Modeling Neuronal Membranes at High Frequencies Claude Be a power-law structure at high frequencies (.50 Hz) with a slope of ;À2.5. This type of frequency scaling to the fact that the membrane resistance is short-circuited by the capacitance for high frequencies

  7. An Application of the Deutsch-Jozsa Algorithm to Formal Languages and the Word Problem in

    E-Print Network [OSTI]

    Severini, Simone

    An Application of the Deutsch-Jozsa Algorithm to Formal Languages and the Word Problem in Groups and nontrivial words in groups given by finite presenta- tions, under the promise that a word is of a certain some consequences for the word problem in groups with a particular kind of presentation. 1 The Deutsch

  8. Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination

    E-Print Network [OSTI]

    the design phase. The formal analysis of the mixed digital-analog nature of hybrid systems r, and robots. Designing reliable hybrid systems is a challenging task. Control theoretic tools enable. A game-theoretic approach to designing controllers for hybrid systems with a hierarchical structure

  9. Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project

    E-Print Network [OSTI]

    Southampton, University of

    , initially in the four sectors which are key to European industry and society. Paper [2] written whenDeployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project) on Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability [1

  10. Fault tree construction of hybrid system requirements using qualitative formal method

    E-Print Network [OSTI]

    specifying requirements for software controlling hybrid systems and conducting safety analysis, engineersFault tree construction of hybrid system requirements using qualitative formal method Jang-Soo Leea , Sung-Deok Chab,* a Instrumentation and Control, Human Factors Division, Korea Atomic Energy Research

  11. Verificacion formal y eficiencia: un caso de estudio aplicado a la unificacion de terminos *

    E-Print Network [OSTI]

    Alonso, José A.

    ´ecnica Superior de Ingenier´ia Inform´atica, Universidad de Sevilla Avda. Reina Mercedes, s/n. 41012 Sevilla, Espa definici´on y verificaci´on formal de un algoritmo de unificaci´on de t´erminos de primer orden, usando es hebra simple en ACL2 hace posible compaginar en un mismo entorno la definici´on de algoritmos con

  12. Inverse electronic scattering from shifted projections within the Fresnel-Kirchhoff formalism

    E-Print Network [OSTI]

    Mayer, Alexandre

    Inverse electronic scattering from shifted projections within the Fresnel-Kirchhoff formalism A is that of Fresnel-Kirchhoff, which describes the sample as a two-dimensional mask. By processing simultaneously-dimensional nanometric sample that is observed in Fresnel conditions with an electron energy of 40 eV. The parameters

  13. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware

    E-Print Network [OSTI]

    Southampton, University of

    Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware and the open Rodin tools platform to prove properties of models of business protocols and expose weaknesses are critical to the func- tioning of many businesses; designing them to be dependable is a challenging

  14. Algorithms for the splitting of formal series; applications to alien differential calculus

    E-Print Network [OSTI]

    Dumas, Jean-Guillaume

    Algorithms for the splitting of formal series; applications to alien differential calculus Fr effective calculations with ´Ecalle's alien derivations for these series. We apply our techniques to some of alien derivations on these series, generalizing the ones made in [8] for equation of rank

  15. Towards formal testing of jet engine Rolls-Royce BR725 Greg Holland1

    E-Print Network [OSTI]

    Schlingloff, Holger

    Towards formal testing of jet engine Rolls-Royce BR725 Greg Holland1 , Temesghen Kahsai2 , Markus-Royce BR725 is a newly designed jet engine for ultra-long- range and high-speed business jets-Royce. 1 Introduction Jet engines belong to the safety critical systems of an air plane. Their control

  16. Ontological Investigation of Ecosystem Hierarchies and Formal Theory for Multiscale Ecosystem

    E-Print Network [OSTI]

    Bittner, Thomas

    Classifications Alexandre Sorokine1 , Thomas Bittner2 , and Chris Renschler3 1 Geography Department, University) and Geography Department, University at Buffalo, rensch@buffalo.edu Summary. This paper presents a formalized mapping of natural resources such as soils, lands, forests, vegetation and many others and implies close

  17. Formalizing and Operationalizing Industrial Standards Dominik Dietrich, Lutz Schroder and Ewaryst Schulz

    E-Print Network [OSTI]

    Schröder, Lutz

    Formalizing and Operationalizing Industrial Standards Dominik Dietrich, Lutz Schr¨oder and Ewaryst Schulz DFKI Bremen, Germany .@dfki.de Abstract. Industrial standards establish of industrial standards; (ii) formulate a semantics of this language in terms of a translation into the higher

  18. BRIEF REPORTS AND COMMENTS This section is intended for the publication of (1) brief reports which do not require the formal structure of regular journal

    E-Print Network [OSTI]

    - ditional information, the secondary ion yield per primary event must be large, so that for a single primary as a primary source. The fission fragments have mass in the range of 95­ 160 amu with kinetic energies of 60. In addition, the primary particles should address only a small region of the sample surface so that sample

  19. The Generalized Nuclear Contact and its Application to the Photoabsorption Cross-Section

    E-Print Network [OSTI]

    Ronen Weiss; Betzalel Bazak; Nir Barnea

    2015-11-15

    Using the zero-range model, it was demonstrated recently that Levinger's quasi-deuteron model can be utilized to extract the nuclear neutron-proton contact. Going beyond the zero-range approximation and considering the full nuclear contact formalism, we rederive here the quasi-deuteron model for the nuclear photoabsorption cross-section and utilize it to establish relations and constrains for the general contact matrix. We also define and demonstrate the importance of the diagonalized nuclear contacts, which can be also relevant to further applications of the nuclear contacts.

  20. The Generalized Nuclear Contact and its Application to the Photoabsorption Cross-Section

    E-Print Network [OSTI]

    Weiss, Ronen; Barnea, Nir

    2015-01-01

    Using the zero-range model, it was demonstrated recently that Levinger's quasi-deuteron model can be utilized to extract the nuclear neutron-proton contact. Going beyond the zero-range approximation and considering the full nuclear contact formalism, we rederive here the quasi-deuteron model for the nuclear photoabsorption cross-section and utilize it to establish relations and constrains for the general contact matrix. We also define and demonstrate the importance of the diagonalized nuclear contacts, which can be also relevant to further applications of the nuclear contacts.

  1. A formally fourth-order accurate compact scheme for 3D Poisson equation in cylindrical and spherical

    E-Print Network [OSTI]

    Lai, Ming-Chih

    A formally fourth-order accurate compact scheme for 3D Poisson equation in cylindrical- pact Fourth-Order Poisson Solver on Polar Geometry, J. Comput. Phys., 182, 337-345 (2002)) to three the partial differential equations of Fourier coefficients are solved by a formally fourth-order accurate

  2. MonitorBased Formal Specification of PCI Kanna Shimizu 1 , David L. Dill 1 , and Alan J. Hu 2

    E-Print Network [OSTI]

    Dill, David L.

    Monitor­Based Formal Specification of PCI Kanna Shimizu 1 , David L. Dill 1 , and Alan J. Hu 2 1@cs.stanford.edu http://radish.stanford.edu/pci 2 Dept. of Computer Science, Univ. of British Columbia, Canada ajh specification is demonstrated by formally specifying a large subset of the PCI 2.2 standard and finding several

  3. DOI 10.1007/s00165-005-0071-z Formal Aspects of Computing (2005) 17: 461483

    E-Print Network [OSTI]

    Clarke, Edmund M.

    2005-01-01

    DOI 10.1007/s00165-005-0071-z BCS © 2005 Formal Aspects of Computing (2005) 17: 461­483 Formal a framework for model checking concurrent software systems which incorporates both states and events. Contrary incorporated within complex software systems. In many instances, errors in such systems can have dramatic

  4. Note: this is a web-based PDF publication revised on 10/8/12 that is regularly updated. Consult http://extension.psu.edu/water to

    E-Print Network [OSTI]

    Boyer, Elizabeth W.

    from mercaptan; a chemical odorant added to methane by a gas company before distribution to help1 Note: this is a web-based PDF publication revised on 10/8/12 that is regularly updated. Consult http://extension.psu.edu/water to download the most recent version. Methane gas is the main component

  5. Nuclear Research & Consultancy Group (NRG) develops and provides sustainable nuclear technology for energy, environment, and health. NRG offers a wide range of services to energy

    E-Print Network [OSTI]

    Lindken, Ralph

    Nuclear Research & Consultancy Group (NRG) develops and provides sustainable nuclear technology organizations and various branches of industry - including the nuclear, financial services and medical sectors: Better prediction of the flow and heat transfer in liquid metal cooled nuclear reactors will contribute

  6. Nuclear Research & Consultancy Group (NRG) develops and provides sustainable nuclear technology for energy, environment, and health. NRG offers a wide range of services to energy

    E-Print Network [OSTI]

    Vuik, Kees

    for energy, environment, and health. NRG offers a wide range of services to energy utilities, governmentNuclear Research & Consultancy Group (NRG) develops and provides sustainable nuclear technology organizations and various branches of industry - including the nuclear, financial services and medical sectors

  7. Real-Time Android RealTime DSP AB is a consultant firm, supplying expertise within the areas embedded systems and

    E-Print Network [OSTI]

    Svenningsson, Josef

    Real-Time Android RealTime DSP AB is a consultant firm, supplying expertise within the areas The Android platform is widely used for smartphones running all sorts of applications. Though most-time demands. Since Android is based on a Linux kernel, which is not made for real-time applications, you

  8. An integrated, ontology-driven approach to constructing observational databases for research

    E-Print Network [OSTI]

    2015-01-01

    consults SNOMED CT, NCI Thesaurus History & physical;to other ontologies NCI Thesaurus Basic Formal Ontology

  9. Part IV: Section D: Packaging and Marketing

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

    D PACKAGING AND MARKING DE-AC36-08GO28308 Modification M801 Section D - Page ii PART I SECTION D PACKAGING AND MARKING TABLE OF CONTENTS D.1 Packaging 1 D.2 Marking 1...

  10. Part V: Section H: Special Contract Requirements

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

    DE-AC36-08GO28308 Modification M801 Section H - Page 2 of 50 PART I SECTION H SPECIAL CONTRACT REQUIREMENTS TABLE OF CONTENTS H.1 No Third Party Beneficiaries...

  11. SECTION FOUR Site Design Guidelines Bicycle Systems

    E-Print Network [OSTI]

    Stuart, Steven J.

    SECTION FOUR Site Design Guidelines Bicycle Systems 26 4, the following should be considered when designa ng bicycle routes on roadways: Vehicular speed limits; SECTION FOUR Site Design Guidelines Bicycle Systems 27 4.2 BIKE LANES Bike lanes

  12. GRAPHICS PROGRAMMING SECTION D -JAVA 3D

    E-Print Network [OSTI]

    Hill, Gary

    GRAPHICS PROGRAMMING SECTION D - JAVA 3D 1SECTION D - GRAPHICS 3-D........................................................................................... 2 30 Graphics 3D: Introduction to Java 3D........................................................................................ 78 ©Gary Hill September 2004 Java 3-D 1 of 13 #12;GRAPHICS PROGRAMMING SECTION D - GRAPHICS 3-D 30

  13. Human Subjects Section 6. Protection of Human

    E-Print Network [OSTI]

    Heller, Barbara

    Human Subjects Section 6. Protection of Human Subjects This section is required for applicants answering "yes" to the question "Are human subjects involved?" on the R&R Other Project Information form subjects applicants must provide a justification in this section for the claim that no human subjects

  14. Operator formalism for b-c systems with $?=1$ on general algebraic curves

    E-Print Network [OSTI]

    F. Ferrari; J. Sobczyk

    1995-01-27

    In this letter we develope an operator formalism for the $b-c$ systems with conformal weight $\\lambda=1$ defined on a general closed and orientable Riemann surface. The advantage of our approach is that the Riemann surface is represented as an affine algebraic curve. In this way it is possible to perform explicit calculations in string theory at any perturbative order. Besides the obvious applications in string theories and conformal field theories, (the $b-c$ systems at $\\lambda=1$ are intimately related to the free scalar field theory), the operator formalism presented here sheds some light also on the quantization of field theories on Riemann surfaces. In fact, we are able to construct explicitly the vacuum state of the $b-c$ systems and to define creation and annihilation operators. All the amplitudes are rigorously computed using simple normal ordering prescriptions as in the flat case.

  15. Reconciling taxonomy and phylogenetic inference: formalism and algorithms for describing discord and inferring taxonomic roots

    E-Print Network [OSTI]

    Matsen, Frederick A

    2011-01-01

    Although taxonomy is often used informally to evaluate the results of phylogenetic inference and find the root of phylogenetic trees, algorithmic methods to do so are lacking. In this paper we formalize these procedures and develop algorithms to solve the relevant problems. In particular, we introduce a new algorithm that solves a "uncoloring" problem for expressing the difference between the taxonomy and phylogeny at a given rank. This algorithm improves upon the current best algorithm in terms of asymptotic complexity for the parameter regime of interest; we also describe a branch-and-bound algorithm that saves orders of magnitude in computation on real data sets. We also develop a formalism and an algorithm for rooting phylogenetic trees according to a taxonomy. All of these algorithms are implemented in freely-available software.

  16. Cho-Duan-Ge decomposition of QCD in the constraintless Clairaut-type formalism

    E-Print Network [OSTI]

    Michael L. Walker; Steven Duplij

    2015-03-15

    We apply the recently derived constraintless Clairaut-type formalism to the Cho-Duan-Ge decomposition in SU(2) QCD. We find nontrivial corrections to the physical equations of motion and that the contribution of the topological degrees of freedom is qualitatively different from that found by treating the monopole potential as though it were dynamic. We also find alterations to the field commutation relations that undermine the particle interpretation in the presence of the chromomonopole condensate.

  17. A Solution to the Missing Link in the Press-Schechter Formalism

    E-Print Network [OSTI]

    Masahiro Nagashima

    2001-08-29

    The Press-Schechter (PS) formalism for mass functions of the gravitationally collapsed objects is reanalyzed. It has been suggested by many authors that the PS mass function agrees well with the mass function given by $N$-body simulations, while many too simple assumptions are contained in the formalism. In order to understand why the PS formalism works well we consider the following three effects on the mass function: the filtering effect of the density fluctuation field, the peak ansatz in which objects collapse around density maxima, and the spatial correlation of density contrasts within a region of a collapsing halo because objects have non-zero finite volume. According to the method given by Yano, Nagashima & Gouda (YNG) who used an integral formula proposed by Jedamzik, we resolve the missing link in the PS formalism, taking into account the three effects. While YNG showed that the effect of the spatial correlation alters the original PS mass function, in this paper, we show that the filtering effect almost cancels out the effect of the spatial correlation and that the original PS is almost recovered by combining these two effects, particularly in the case of the top-hat filter. On the other hand, as for the peak ansatz, the resultant mass functions are changed dramatically and not in agreement especially at low-mass tails in the cases of the Gaussian and the sharp $k$-space filters. We show that these properties of the mass function can be interpreted in terms of the kernel probability $P(M_{1}| M_{2})$ in the integral formula qualitatively.

  18. Study of fusion dynamics using Skyrme energy density formalism with different surface corrections

    E-Print Network [OSTI]

    Ishwar Dutt; Narinder K. Dhiman

    2010-11-19

    Within the framework of Skyrme energy density formalism, we investigate the role of surface corrections on the fusion of colliding nuclei. For this, the coefficient of surface correction was varied between 1/36 and 4/36, and its impact was studied on about 180 reactions. Our detailed investigations indicate a linear relationship between the fusion barrier heights and strength of the surface corrections. Our analysis of the fusion barriers advocate the strength of surface correction of 1/36.

  19. The hybrid Seiberg-Witten map, its $?$-exact expansion and the antifield formalism

    E-Print Network [OSTI]

    C. P. Martin; David G. Navarro

    2015-09-18

    We deduce an evolution equation for an arbitrary hybrid Seiberg-Witten map for compact gauge groups by using the antifield formalism. We show how this evolution equation can be used to obtain the hybrid Seiberg-Witten map as an expansion, which is $\\theta$-exact, in the number of ordinary fields. We compute explicitly this expansion up to order three in the number of ordinary gauge fields and then particularize it to case of the Higgs of the noncommutative Standard Model.

  20. Shape invariance and the exactness of quantum Hamilton-Jacobi formalism

    E-Print Network [OSTI]

    Charles Cherqui; Yevgeny Binder; Asim Gangopadhyaya

    2007-09-25

    Quantum Hamilton-Jacobi Theory and supersymmetric quantum mechanics (SUSYQM) are two parallel methods to determine the spectra of a quantum mechanical systems without solving the Schr\\"odinger equation. It was recently shown that the shape invariance, which is an integrability condition in SUSYQM formalism, can be utilized to develop an iterative algorithm to determine the quantum momentum functions. In this paper, we show that shape invariance also suffices to determine the eigenvalues in Quantum Hamilton-Jacobi Theory.

  1. A relativistic formalism for computation of irrotational binary stars in quasi equilibrium states

    E-Print Network [OSTI]

    Masaru Shibata

    1998-04-23

    We present relativistic hydrostatic equations for obtaining irrotational binary neutron stars in quasi equilibrium states in 3+1 formalism. Equations derived here are different from those previously given by Bonazzola, Gourgoulhon, and Marck, and have a simpler and more tractable form for computation in numerical relativity. We also present hydrostatic equations for computation of equilibrium irrotational binary stars in first post-Newtonian order.

  2. On the breaking and restoration of symmetries within the nuclear energy density functional formalism

    E-Print Network [OSTI]

    T. Duguet; J. Sadoudi

    2010-10-19

    We review the notion of symmetry breaking and restoration within the frame of nuclear energy density functional methods. We focus on key differences between wave-function- and energy-functional-based methods. In particular, we point to difficulties encountered within the energy functional framework and discuss new potential constraints on the underlying energy density functional that could make the restoration of broken symmetries better formulated within such a formalism. We refer to Ref.~\\cite{duguet10a} for details.

  3. Formalized Quantum Stochastic Processes and Hidden Quantum Models with Applications to Neuron Ion Channel Kinetics

    E-Print Network [OSTI]

    Alan Paris; George Atia; Azadeh Vosoughi; Stephen Berman

    2015-10-31

    A new class of formal latent-variable stochastic processes called hidden quantum models (HQM's) is defined in order to clarify the theoretical foundations of ion channel signal processing. HQM's are based on quantum stochastic processes which formalize time-dependent observation. They allow the calculation of autocovariance functions which are essential for frequency-domain signal processing. HQM's based on a particular type of observation protocol called independent activated measurements are shown to to be distributionally equivalent to hidden Markov models yet without an underlying physical Markov process. Since the formal Markov processes are non-physical, the theory of activated measurement allows merging energy-based Eyring rate theories of ion channel behavior with the more common phenomenological Markov kinetic schemes to form energy-modulated quantum channels. Using the simplest quantum channel model consistent with neuronal membrane voltage-clamp experiments, activation eigenenergies are calculated for the Hodgkin-Huxley K+ and Na+ ion channels. It is also shown that maximizing entropy under constrained activation energy yields noise spectral densities approximating $S(f) \\sim 1/f^\\alpha$, thus offering a biophysical explanation for the ubiquitous $1/f$-type in neurological signals.

  4. Canonical formalism for a 2n-dimensional model with topological mass generation

    SciTech Connect (OSTI)

    Deguchi, Shinichi [Institute of Quantum Science, College of Science and Technology, Nihon University, Chiyoda-ku, Tokyo 101-8308 (Japan)

    2008-12-15

    The four-dimensional model with topological mass generation that was found by Dvali, Jackiw, and Pi has recently been generalized to any even number of dimensions (2n dimensions) in a nontrivial manner in which a Stueckelberg-type mass term is introduced [S. Deguchi and S. Hayakawa, Phys. Rev. D 77, 045003 (2008)]. The present paper deals with a self-contained model, called here a modified hybrid model, proposed in this 2n-dimensional generalization and considers the canonical formalism for this model. For the sake of convenience, the canonical formalism itself is studied for a model equivalent to the modified hybrid model by following the recipe for treating constrained Hamiltonian systems. This formalism is applied to the canonical quantization of the equivalent model in order to clarify observable and unobservable particles in the model. The equivalent model (with a gauge-fixing term) is converted to the modified hybrid model (with a corresponding gauge-fixing term) in a Becchi-Rouet-Stora-Tyutin-invariant manner. Thereby it is shown that the Chern-Pontryagin density behaves as an observable massive particle (or field). The topological mass generation is thus verified at the quantum-theoretical level.

  5. SNL RML recommended dosimetry cross section compendium

    SciTech Connect (OSTI)

    Griffin, P.J.; Kelly, J.G.; Luera, T.F.; VanDenburg, J.

    1993-11-01

    A compendium of dosimetry cross sections is presented for use in the characterization of fission reactor spectrum and fluence. The contents of this cross section library are based upon the ENDF/B-VI and IRDF-90 cross section libraries and are recommended as a replacement for the DOSCROS84 multigroup library that is widely used by the dosimetry community. Documentation is provided on the rationale for the choice of the cross sections selected for inclusion in this library and on the uncertainty and variation in cross sections presented by state-of-the-art evaluations.

  6. Electron ionization of open/closed chain isocarbonic molecules relevant in plasma processing: Theoretical cross sections

    SciTech Connect (OSTI)

    Patel, Umang R., E-mail: umangpatel193@yahoo.ca [Gandhinagar Institute of Technology, Moti Bhoyan, Gandhinagar-382721, Gujarat (India); Sardar Patel University, Vallabh Vidyanagar-388120, Gujarat (India); Joshipura, K. N.; Pandya, Siddharth H. [Sardar Patel University, Vallabh Vidyanagar-388120, Gujarat (India)] [Sardar Patel University, Vallabh Vidyanagar-388120, Gujarat (India); Kothari, Harshit N. [Universal College of Engineering and Technology, Moti Bhoyan, Gandhinagar-382721, Gujarat (India)] [Universal College of Engineering and Technology, Moti Bhoyan, Gandhinagar-382721, Gujarat (India)

    2014-01-28

    In this paper, we report theoretical electron impact ionization cross sections from threshold to 2000 eV for isocarbonic open chain molecules C{sub 4}H{sub 6}, C{sub 4}H{sub 8}, C{sub 4}F{sub 6} including their isomers, and closed chain molecules c-C{sub 4}H{sub 8} and c-C{sub 4}F{sub 8}. Theoretical formalism employed presently, viz., Complex Scattering Potential-ionization contribution method has been used successfully for a variety of polyatomic molecules. The present ionization calculations are very important since results available for the studied targets are either scarce or none. Our work affords comparison of C{sub 4} containing hydrocarbon versus fluorocarbon molecules. Comparisons of the present ionization cross sections are made wherever possible, and new ionization data are also presented.

  7. Expandable mixing section gravel and cobble eductor

    DOE Patents [OSTI]

    Miller, Arthur L. (Kenyon, MN); Krawza, Kenneth I. (Lakeville, MN)

    1997-01-01

    In a hydraulically powered pump for excavating and transporting slurries in hich it is immersed, the improvement of a gravel and cobble eductor including an expandable mixing section, comprising: a primary flow conduit that terminates in a nozzle that creates a water jet internal to a tubular mixing section of the pump when water pressure is applied from a primary supply flow; a tubular mixing section having a center line in alignment with the nozzle that creates a water jet; a mixing section/exit diffuser column that envelopes the flexible liner; and a secondary inlet conduit that forms an opening at a bas portion of the column and adjacent to the nozzle and water jet to receive water saturated gravel as a secondary flow that mixes with the primary flow inside of the mixing section to form a combined total flow that exits the mixing section and decelerates in the exit diffuser.

  8. SECTION 2 -HOSPITAL SALARY (salary paid to the employee by the hospital) SECTION 1 -PERSONAL DETAILS

    E-Print Network [OSTI]

    Tobar, Michael

    SECTION 2 - HOSPITAL SALARY (salary paid to the employee by the hospital) SECTION 1 - PERSONAL Location UWA School SECTION 4 - UWA SALARY (salary paid to the employee by the University) SECTION 3 - HOSPITAL SUPERANNUATION A base hospital salary amount (including a supplementary clinical loading) plus

  9. SECTION 3161 ANNOUNCEMENT: New Draft Workforce Restructuring...

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

    policies of" Section 3161 of the National Defense Authorization Act for Fiscal Year 1993 to mitigate the impact of any potential workforce reductions on contractor employees at...

  10. Cross-Section Fluctuations in Chaotic Scattering

    E-Print Network [OSTI]

    B. Dietz; H. L. Harney; A. Richter; F. Schaefer; H. A. Weidenmueller

    2009-12-22

    For the theoretical prediction of cross-section fluctuations in chaotic scattering, the cross-section autocorrelation function is needed. That function is not known analytically. Using experimental data and numerical simulations, we show that an analytical approximation to the cross-section autocorrelation function can be obtained with the help of expressions first derived by Davis and Boose. Given the values of the average S-matrix elements and the mean level density of the scattering system, one can then reliably predict cross-section fluctuations.

  11. Guest editorial special section on RFID

    E-Print Network [OSTI]

    Sarma, Sanjay Emani

    The eight articles in this special section describe state-of-the-art technologies and tools and one application of RFID.

  12. Software Patent Litigation ABA Section of Litigation

    E-Print Network [OSTI]

    Shamos, Michael I.

    1 Software Patent Litigation ABA Section of Litigation Intellectual Property Litigation Committee............................................................ 2 II. Infringement issues specific to software patents Relating to Software Patents.........................................................15 POSSIBLE ISSUES

  13. Math 265, Section 32: Elementary Linear Algebra

    E-Print Network [OSTI]

    Math 265, Section 32: Elementary Linear Algebra. Course Information. Professor: Kiril Datchev Email: kdatchev@purdue.edu. Lectures: Tuesday and Thursday ...

  14. Specification and Verification of Synchronous Hardware using LOTOS. In Jianping Wu, Samuel T. Chanson, Quiang Gao, editors, Proc. Formal Methods

    E-Print Network [OSTI]

    Turner, Ken

    . Chanson, Quiang Gao, editors, Proc. Formal Methods for Protocol Engineering and Distributed Systems (FORTE, University of Stirling, Stirling FK9 4LA, Scotland Keywords: Digital Logic, Hardware Description, LOTOS

  15. Structural Representation and Matching of Articulatory Speech Structures based on the Evolving Transformation System (ETS) Formalism [2] 

    E-Print Network [OSTI]

    Gutkin, Alexander; Gay, David R

    A formal structural representation of speech consistent with the principles of combinatorial structure theory is presented in this paper. The representation is developed within the Evolving Transformation System (ETS) ...

  16. Synthesis of FBD-based PLC design from NuSCR formal specification Junbeom Yooa,*, Sungdeok Chaa

    E-Print Network [OSTI]

    being used in developing reactor protection system (RPS) for nuclear power plants in Korea reserved. Keywords: Formal requirements specification; Design specification; PLC; FBD; Nuclear power plant software such as emergency shutdown system for nuclear power plants, regulation authorities require safety

  17. The role of non-formal education in combating the HIV epidemic in the Philippines and Taiwan

    E-Print Network [OSTI]

    Morisky, Donald E.; Lyu, Shu-Yu; Urada, Lianne A.

    2009-01-01

    15–49) HIV infection in Taiwan till year 2003. Formosanaddition treatment, Taipei, Taiwan. The role of non-formalH. S. (2007). HIV-1 in Taiwan. The Lancet, 369(9562), 623–

  18. Tunneling time calculations for general finite wavepackets based on the presence time formalism

    E-Print Network [OSTI]

    O. del Barco; M. Ortuño; V. Gasparian

    2015-05-31

    We analyze the tunneling time problem via the presence time formalism. With this method we reproduce previous results for very long wavepackets and we are able to calculate the tunneling time for general wavepackets of arbitrary shape and length. The tunneling time for a general wavepacket is equal to the average over the energy components of the standard phase time. With this approach we can also calculate the time uncertainty. We have checked that the results obtained with this approach agree extremely well with numerical simulations of the wavepacket evolution.

  19. Barnett-Pegg formalism of angle operators, revivals, and flux lines

    E-Print Network [OSTI]

    Arul Lakshminarayan

    2000-06-29

    We use the Barnett-Pegg formalism of angle operators to study a rotating particle with and without a flux line. Requiring a finite dimensional version of the Wigner function to be well defined we find a natural time quantization that leads to classical maps from which the arithmetical basis of quantum revivals is seen. The flux line, that fundamentally alters the quantum statistics, forces this time quantum to be increased by a factor of a winding number and determines the homotopy class of the path. The value of the flux is restricted to the rational numbers, a feature that persists in the infinite dimensional limit.

  20. Studying conformally flat spacetimes with an elastic stress energy tensor using 1+3 formalism

    E-Print Network [OSTI]

    I. Brito; M. P. Machado Ramos

    2015-01-12

    Conformally flat spacetimes with an elastic stress energy tensor given by a diagonal trace-free anisotropic pressure tensor are investigated using 1+3 formalism. We show how the null tetrad Ricci components are related to the pressure components and energy density. The 1+3 Bianchi and Jacobi identities and Einstein field equations are written for this particular case. In general the commutators must be considered since they supply potentially new information on higher order derivatives of the 1+3 quantities. We solve the system for the non rotating case which consist of ODEs of a spatial coordinate.