Sample records for formal consultation section

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

    Open Energy Info (EERE)

    ACHP - Consultation with Indian Tribes in the Section 106 Review Process: a Handbook Jump to: navigation, search OpenEI Reference LibraryAdd to library PermittingRegulatory...

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

    E-Print Network [OSTI]

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

    2006-06-07T23:59:59.000Z

    We discuss the applicability of the energy density formalism (EDF) for heavy-ion fusion reactions at sub-barrier energies. For this purpose, we calculate the fusion excitation function and the fusion barrier distribution for the reactions of $^{16}$O with $^{154,}$$^{144}$Sm,$^{186}$W and $^{208}$Pb with the coupled-channels method. We also discuss the effect of saturation property on the fusion cross section for the reaction between two $^{64}$Ni nuclei, in connection to the so called steep fall-off phenomenon of fusion cross sections at deep sub-barrier energies.

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

    SciTech Connect (OSTI)

    Zamrun, Muhammad; Hagino, F. K.; Takigawa, N. [Department of Physics, Tohoku University, 980-8578 (Japan)

    2006-08-14T23:59:59.000Z

    We discuss the applicability of the energy density formalism (EDF) for heavy-ion fusion reactions at sub-barrier energies. For this purpose, we calculate the fusion excitation function and the fusion barrier distribution for the reactions of 16O with 154,144Sm, 186W and 208Pb with the coupled-channels method. We also discuss the effect of saturation property on the fusion cross section for the reaction between two 64Ni nuclei, in connection to the so called steep fall-off phenomenon of fusion cross sections at deep sub-barrier energies.

  4. Employment of Experts and Consultants

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

    2006-11-06T23:59:59.000Z

    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. Cancels DOE O 3304.1A, Employment of Experts and Consultants, dated 6-23-92.

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

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

    processes. Essentially it is a coordination challenge of certainty between two different business models, the electric utility business model and the private generation developer...

  6. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn April 23, 2014, anEnergyDepartment ofNone System:Energy SEATTLED-1

  7. Communication Consultant Contract

    Broader source: Energy.gov [DOE]

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

  8. Communications Consultant RFP

    Broader source: Energy.gov [DOE]

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

  9. Evaluation Consultant RFP

    Broader source: Energy.gov [DOE]

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

  10. Technical Consultant Report Template

    Broader source: Energy.gov [DOE]

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

  11. FORMALISM FOR INCLUSION OF MEASURED REACTION CROSS SECTIONS IN STELLAR RATES INCLUDING UNCERTAINTIES AND ITS APPLICATION TO NEUTRON CAPTURE IN THE s-PROCESS

    SciTech Connect (OSTI)

    Rauscher, Thomas [Department of Physics, University of Basel, CH-4056 Basel (Switzerland)

    2012-08-10T23:59:59.000Z

    A general formalism to include experimental reaction cross sections into calculations of stellar rates is presented. It also allows us to assess the maximally possible reduction of uncertainties in the stellar rates by experiments. As an example for the application of the procedure, stellar neutron capture reactivities from KADoNiS v0.3 are revised and the remaining uncertainties shown. Many of the uncertainties in the stellar rates are larger than those obtained experimentally. This has important consequences for s-process models and the interpretation of meteoritic data because it allows the rates of some reactions to vary within a larger range than previously assumed.

  12. Consultant Affidavit | Department of Energy

    Energy Savers [EERE]

    Small Town University Energy Program (STEP). B4b Consultant Affidavit.pdf More Documents & Publications Evaluation Consultant RFP Communications Consultant RFP DOE F 580.1...

  13. Consultant Scorecard | Department of Energy

    Energy Savers [EERE]

    Energy Program (STEP). B4c Consultant Scorecard.xlsx More Documents & Publications Evaluation Consultant RFP Communications Consultant RFP University Park "STEP-UP" Proposal...

  14. Use of two-body close-coupling formalisms to calculate three-body breakup cross sections

    SciTech Connect (OSTI)

    Rescigno, T.N. [Lawrence Livermore National Laboratory, Physics Directorate, Livermore, California 94551 (United States)] [Lawrence Livermore National Laboratory, Physics Directorate, Livermore, California 94551 (United States); McCurdy, C.W.; Isaacs, W.A. [Lawrence Berkeley National Laboratory, Computing Sciences, Berkeley, California 94720 (United States)] [Lawrence Berkeley National Laboratory, Computing Sciences, Berkeley, California 94720 (United States); Baertschy, M. [Department of Applied Science, University of California--Davis, Livermore, California 94550 (United States)] [Department of Applied Science, University of California--Davis, Livermore, California 94550 (United States)

    1999-11-01T23:59:59.000Z

    We analyze the consequences of discretizing one of the two continua in three-body breakup to reduce it to a two-body close-coupling problem. We identify the origin of oscillations in the singly differential cross section in those {open_quotes}convergent close-coupling{close_quotes} calculations as lying only in the way the cross section is calculated from the wave function and not in the wave function itself. The anomalous {open_quotes}step-function{close_quotes} behavior of those calculations is derived from a stationary-phase argument. Calculations are presented on the Temkin-Poet model for electron-impact ionization of hydrogen, a breakup problem with exponential potentials, and an analytically solvable model. The anomalies associated with two-body close-coupling calculations are demonstrated using wave functions from complex exterior scaling calculations that otherwise give converged results without any anomalies. {copyright} {ital 1999} {ital The American Physical Society}

  15. Selecting a Consulting Forester

    E-Print Network [OSTI]

    Taylor, Eric; Foster, C. Darwin

    2005-10-19T23:59:59.000Z

    ER-038 5-06 Selecting a Consulting Forester Eric L. Taylor, Extension Specialist, and C. Darwin Foster, Associate Department Head and Extension Program Leader for Forestry, The Texas A&M University System A consulting forester is an independent... forest management experience does the for- ester have and in what capacity? ? In what professional or forestry-related organizations is the forester an active member? Recognized professional organizations include the Association of Consulting...

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

  17. Formal Methods Formalism vs. Verification

    E-Print Network [OSTI]

    Feitelson, Dror

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

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

  19. Communication Consultant Contract | Department of Energy

    Energy Savers [EERE]

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

  20. Technical Consultant Contract | Department of Energy

    Energy Savers [EERE]

    Program (STEP). C3c Technical Consultant Contract.pdf More Documents & Publications Communication Consultant Contract Communications Consultant RFP Loan Loss Reserve Agreement...

  1. Technical Consultant Report Template | Department of Energy

    Energy Savers [EERE]

    C3d Technical Consultant Report Template.pdf More Documents & Publications External Independent Review (EIR) Report Template Technical Consultant Contract Evaluation Consultant RFP...

  2. Technical Consultant RFP | Department of Energy

    Energy Savers [EERE]

    RFP Technical Consultant RFP Technical Consultant RFP, from the Tool Kit Framework: Small Town University Energy Program (STEP). C3b Technical Consultant RFP.pdf More Documents &...

  3. NERSC 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |IsLove Your1Allocations NERSC Allocations:CarverConsulting Services

  4. Appendix B (Documentation of Consultation)

    E-Print Network [OSTI]

    Lee, Dongwon

    #12;#12;#12;#12;Appendix B (Documentation of Consultation) PSU and LCCC have entered this agreement Provost and Dean for Enrollment Management & Admissions Penn State University #12;

  5. Appendix B: (Documentation of Consultation)

    E-Print Network [OSTI]

    Lee, Dongwon

    #12;#12;#12;#12;#12;#12;Appendix B: (Documentation of Consultation) PSU and NCC have entered Management & Admissions Penn State University #12;

  6. Document: Outside Employment/ Consulting Form

    E-Print Network [OSTI]

    Quigg, Chris

    Document: Outside Employment/ Consulting Form Document #: SO-2 Issue date: 8/21/09 Revision #: 3 on the WDRS website. OUTSIDE EMPLOYMENT/CONSULTING Fermilab employees are entitled to the same rights and privileges with respect to outside employment as other citizens. Therefore, there is no general prohibition

  7. CONSULTANT REPORT IDENTIFICATION OF LOWIMPACT

    E-Print Network [OSTI]

    CONSULTANT REPORT IDENTIFICATION OF LOWIMPACT INTERCONNECTION SITES FOR WHOLESALE electric power sources strains existing processes to safely interconnect wholesale distributed resources for wholesale photovoltaic systems on the grid. The model, which integrates transmission and distribution

  8. Appendix B: (Documentation of Consultation)

    E-Print Network [OSTI]

    Lee, Dongwon

    #12;#12;#12;#12;Appendix B: (Documentation of Consultation) PSU and WCCC have entered John J. Romano 6/30/05 John J. Romano, Ph.D. Date Vice Provost and Dean for Enrollment Management

  9. Postgraduate Studies Business Analysis & Consulting

    E-Print Network [OSTI]

    Strathclyde, University of

    and Business Analysis 7 Core Unit 2: MS922 Quantitative Business Analysis 8 Core Unit 3: MS923 Managing: MS929 Performance Measurement and Management 11 Optional Unit 3: MS927 Risk Analysis and Management1 Postgraduate Studies Business Analysis & Consulting STUDENT HANDBOOK 2014-15 The information

  10. g:\\fpdc\\contracts unit\\consultant selection and agreement forms\\consultant agreements\\owner consultant agreement final pdc.doc Page 1 of 24

    E-Print Network [OSTI]

    Dyer, Bill

    \\owner consultant agreement final pdc.doc Page 1 of 24 MONTANA STATE UNIVERSITY PLANNING, DESIGN & CONSTRUCTION 6TH forms\\consultant agreements\\owner consultant agreement final pdc.doc Page 2 of 24 TABLE OF CONTENTS PART\\consultant selection and agreement forms\\consultant agreements\\owner consultant agreement final pdc.doc Page 3 of 24 1

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

  12. STEP Energy Coach and Technical Consultant Job Descriptions ...

    Energy Savers [EERE]

    Consultant Job Descriptions.pdf More Documents & Publications Technical Consultant RFP Tool Kit Framework: Small Town University Energy Program (STEP) Technical Consultant...

  13. FORMED 2008 Formal Methods

    E-Print Network [OSTI]

    Gibson, J. Paul

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

  14. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnualProperty Edit with form History Facebook iconQuito,Jump to:RadiantRappaport Consulting Jump to:

  15. Solea 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro Industries Pvt LtdShawangunk, NewSingapore JumpSolarezo JumpSolarvestSolea Consulting Jump to:

  16. Attachment 1: NPR-3 Section 106 Consulting Parties Advisory...

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

    No. 3 Teapot Dome Class II Sampling University of Denver (D. Wells, C Carey, W Cough, Allan P. Olson); Archaeological Survey and the Wyoming Archaeological Survey,...

  17. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand JumpConceptual Model,DOEHazel Crest,Energy InformationEmily,Empower EnergyEncapOpen

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

  19. Consulting Assistance on Economic Discussion Papers

    E-Print Network [OSTI]

    Consulting Assistance on Economic Reform II Discussion Papers The objectives of the Consulting Assistance on Economic Reform (CAER II) project are to contribute to broad-based and sustainable economic, Bureau for Global Programs, Field Support and Research, Center for Economic Growth and Agricultural

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

  1. Procedures for Interagency Consultation to Avoid or Mitigate...

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

    Consultation to Avoid or Mitigate Adverse Effects on Rivers in the Nationwide Inventory Procedures for Interagency Consultation to Avoid or Mitigate Adverse Effects on...

  2. Using Consulting Skills to Improve Individual and Organizational...

    Office of Environmental Management (EM)

    Using Consulting Skills to Improve Individual and Organizational Performance Using Consulting Skills to Improve Individual and Organizational Performance June 2, 2015 7:00AM MDT to...

  3. Office Buildings: Developer's Requirements- Consultant's Solutions 

    E-Print Network [OSTI]

    Forster, P.; Arndt, J.

    2008-01-01T23:59:59.000Z

    Ein Kooperationsvortrag von Office Buildings: Developer?s Requirements ? Consultant?s Solutions Dipl.-Ing. (TU) Jens Arndt Vivico Real Estate GmbH, Frankfurt a. M., Germany Dipl.-Ing. (TU) Peter Forster Ebert-Ingenieure Berlin GmbH 8. Kongress f...?r Geb?ude- und Betriebsoptimierung - ICEBO?08 October 20/21/22 2008 ESL-IC-08-10-35a Proceedings of the Eighth International Conference for Enhanced Building Operations, Berlin, Germany, October 20-22, 2008 Seite 2 Dipl.-Ing (TU) Jens Arndt; Vivico...

  4. NIFES Consulting Group COMMERCIAL IN CONFIDENCE

    E-Print Network [OSTI]

    An energy audit has been carried out at Hollings Campus ­ Manchester Metropolitan University. This report: UKE1520 MMU Hollings Energy Audit/SE/Rel 1 Date: December 2008 NIFES Consulting Group, NIFES House.3 Brief Description of the Site 6 1.4 Acknowledgement 7 2.0 ENERGY AUDIT 8 2.1 Site Configuration 8 2

  5. FFLLOORRIIDDAA SSTTAATTEE UUNNIIVVEERRSSIITTYY NOTICE TO PROFESSIONAL CONSULTANTS

    E-Print Network [OSTI]

    Sura, Philip

    attached: 1. A completed Florida State University "Professional Qualifications Supplement," dated with, any supplier, subcontractor or consultant in excess of $50,000.00 in connection with this project Qualifications Supplement forms, descriptive project information and selection criteria may be obtained through

  6. FFLLOORRIIDDAA SSTTAATTEE UUNNIIVVEERRSSIITTYY NOTICE TO PROFESSIONAL CONSULTANTS

    E-Print Network [OSTI]

    Sura, Philip

    of application: 1. A completed Florida State University "Professional Qualifications Supplement," dated with, any supplier, subcontractor or consultant in excess of $50,000.00 in connection with this project Qualifications Supplement forms, descriptive project information, and selection criteria may be obtained through

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

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

  9. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand JumpConceptual Model, click here.Telluric SurveyChelanVermont:ChicotConsultants Place: Beijing

  10. International Development Consultants Inc | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are8COaBulkTransmissionSitingProcess.pdfGetecGtelInterias Solar Energy Jump to: navigation,MachinesEnergyConsultants

  11. International 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are8COaBulkTransmissionSitingProcess.pdfGetecGtelInterias Solar Energy Jump to:IES Jump to:PartnershipPowerConsulting

  12. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directedAnnual Siteof Energy 2,AUDIT REPORTEnergy OffshoreDeveloper - Q & ADoreen Walker Consulting

  13. Southwest Wind 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro Industries Pvt LtdShawangunk,Southeast Colorado Power AssnInformationConsulting, LLC

  14. Dale Renewables 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand JumpConceptual Model,DOE Facility Database Data and Resources11-DNA JumpRenewables Consulting Jump to:

  15. Quantum 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I GeothermalPotentialBiopowerSolidGenerationMethod Jump to:ThisPublicPutnamQuail Valley,Quantum Consulting Inc

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

    E-Print Network [OSTI]

    or customer-sited renewables Includes non-renewable alternative resources Minimum solar or customer Consulting, Inc. . Can IOU Demand Response Programs Facilitate Integration of Wind and Solar Energy Needed Renewables portfolio standard Renewables portfolio goal Solar water heating eligible * Extra credit for solar

  17. © Marketing Edge Consulting Group and TargetGov Successful Marketing...

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

    Edge Consulting Group and TargetGov Networking Opportunities * Solid Handshake * Solid eye contact * Bring business cards * Wear name tag on RIGHT * Food and drink- have your...

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

    E-Print Network [OSTI]

    M. V. T. Machado

    2009-05-27T23:59:59.000Z

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

  19. CONTRACTOR/CONSULTANT BADGE/CLEARANCE ...

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

    7643-CEC (10-2012) Supersedes (7-2012) issue OUOPII (When Completed) OUOPII (When Completed) CONTRACTORCONSULTANT BADGECLEARANCE REQUEST FORM SECTION 1: CONTRACTORCONSULTANT...

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

    E-Print Network [OSTI]

    Laughlin, Robert B.

    -2007 Mycle Schneider was part of a consultants' consortium that assessed nuclear decommissioning and wasteMycle Schneider Consulting Independent Analysis on Energy and Nuclear Policy 45, allée des deux@orange.fr Nuclear France Abroad History, Status and Prospects of French Nuclear Activities in Foreign Countries

  1. Consultation response: UK Research Integrity Office: Code of Practice for

    E-Print Network [OSTI]

    Rambaut, Andrew

    innovative biomedical research, in the UK and internationally, spending over £600 million each year, funders and Research Organisations (RO's) to work together to develop one set of standards that appliesConsultation response: UK Research Integrity Office: Code of Practice for Research Consultation

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

  3. 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 held of excellence in research and education and the University's role as a national policy resource. The planDraft Minutes _ 5 February 2013 LIBRARY STAFF CONSULTATIVE COMMITTEE DIVISION OF INFORMATION

  4. Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to Consultation on proposals to transfer functions from the Human Fertilisation

    E-Print Network [OSTI]

    Rambaut, Andrew

    Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to Consultation on proposals Fertilisation and Embryology Authority and the Human Tissue Authority Response by the Wellcome Trust September. We do not regard this option as maintaining the status quo, but as a positive step towards regulatory

  5. Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to WHO consultation on global action plan on antimicrobial resistance

    E-Print Network [OSTI]

    Rambaut, Andrew

    Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to WHO consultation on global action on antimicrobial resistance Response by the Wellcome Trust September 2014 Key Points · Antimicrobial resistance Assembly resolution on AMR in 1998, there has been little concerted progress ­ there must be a step change

  6. Formal Requirements Engineering: Learning from the students

    E-Print Network [OSTI]

    Gibson, J. Paul

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

  7. Ms. Judy Clayton, Chair Paducah Citizens Advisory Board EHI Consultant...

    Office of Environmental Management (EM)

    0 Ms. Judy Clayton, Chair Paducah Citizens Advisory Board EHI Consultants, Inc. 1 1 1 Memorial Drive Paducah, Kentucky 4200 1 Dear Ms. Clayton: Thank you for your recent letter...

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

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

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

  9. Page 1 of 2 RTI GRANTS PROGRAM CONSULTATION DOCUMENT

    E-Print Network [OSTI]

    Brownstone, Rob

    Page 1 of 2 RTI GRANTS PROGRAM CONSULTATION DOCUMENT To complement a series of meetings continue to manage the peer review process and provide grants to individual researchers and teams

  10. SECTION B

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

    FY2015 is 200,000. SECTION V - PERFORMANCE REQUIREMENTS DEFINE COMPLETION: Specify Performance Elements and describe indicators of success (qualityprogress). Include...

  11. Section B

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

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

  12. SECTION E

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

    - E8 - Electrical load list panel schedules - E9 - Details sections - EC - 480V motor control center schedules - Setroute report identifying released cables and raceway WTP...

  13. Hyperspherical harmonic formalism for tetraquarks

    E-Print Network [OSTI]

    J. Vijande; N. Barnea; A. Valcarce

    2006-10-11T23:59:59.000Z

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

  14. Verifica Formale Generazione Automatica di Test

    E-Print Network [OSTI]

    Robbiano, Lorenzo

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

  15. Formal Semantics, Compilation and Execution of the GALS

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  16. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-fTriWildcat 1 WindtheEnergySulfonate as aAAB AsiaABEEolica

  17. Section J

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOriginEducationVideo »UsageSecretary of Energy Advisory Board FollowSection 3161L-1 Section J

  18. Section J

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOriginEducationVideo »UsageSecretary of Energy Advisory Board FollowSection 3161L-1 Section JM-1

  19. Section Number:

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOriginEducationVideo »UsageSecretary of Energy Advisory Board FollowSection 3161L-1 SectionIVV

  20. OnLocation, Inc., Energy Systems Consulting Hydrogen Scenarios

    E-Print Network [OSTI]

    Delivery Analysis Meeting by Frances Wood OnLocation, Inc. Energy Systems Consulting May 9, 2007 #12;On simulates energy production, consumption, and conversion sectors ­ including hydrogen. D e m a n d C o m p o Activity Module Macroeconomic Activity Module Oil and Gas Supply Module Nat. Gas T&D Module Renewable Fuels

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

  2. Consulting Day Report 2008 Center for Nonprofit Strategy and Management

    E-Print Network [OSTI]

    Rosen, Jay

    Consulting Day Report 2008 Center for Nonprofit Strategy and Management School of Public affairs Baruch College City University of New York 2008 #12;Center for Nonprofit Strategy and Management Baruch follow. #12;Center for Nonprofit Strategy and Management Baruch College School of Public Affairs 3

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

  4. CONSULTANT REPORT The National Center for a Clean Energy

    E-Print Network [OSTI]

    CONSULTANT REPORT The National Center for a Clean Energy Workforce: A Scoping Study FEBRUARY 2011 researched several options for the development of a National Center for the Clean Energy Workforce (NCCEW a clean energy economy rooted in a skilled workforce with broad access to good green jobs, which focus

  5. Survey of Existing Tools for Formal Verification.

    SciTech Connect (OSTI)

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

    2014-12-01T23:59:59.000Z

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

  6. Study of $^{64}$Ni+$^{132}$Sn Fusion with Density Constrained TDHF Formalism

    E-Print Network [OSTI]

    A. S. Umar; V. E. Oberacker

    2007-05-09T23:59:59.000Z

    We study fusion reactions of the $^{64}$Ni+$^{132}$Sn system using the recently introduced density constrained time-dependent Hartree-Fock formalism. In this formalism the fusion barriers are directly obtained from TDHF dynamics. In addition, we incorporate the entrance channel alignment of the deformed (oblate) $^{64}$Ni nucleus due to dynamical Coulomb excitation. We discuss the influence of particle transfer and other dynamical effects on the fusion cross sections. Calculated cross sections are in very good agreement with data and other calculations.

  7. Mechanical formalism for tissue dynamics

    E-Print Network [OSTI]

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

    2014-12-23T23:59:59.000Z

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

  8. Formally Analyzing Adaptive Flight Control Ashish Tiwari

    E-Print Network [OSTI]

    Tiwari, Ashish

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

  9. Formal Specification and Verification of Concurrent

    E-Print Network [OSTI]

    Berry, Daniel M.

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

  10. Multiverse in the Third Quantized Formalism

    E-Print Network [OSTI]

    Faizal, Mir

    2014-01-01T23:59:59.000Z

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

  11. Multiverse in the Third Quantized Formalism

    E-Print Network [OSTI]

    Mir Faizal

    2014-07-16T23:59:59.000Z

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

  12. Leucascandrolide A: A Second Generation Formal Synthesis

    E-Print Network [OSTI]

    Williams, David R.

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

  13. SECTION J

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOrigin ofEnergy at Waste-to-EnergySEAB_Minutes_1_20_11.pdfSEB SecretariatJ-1 SECTION J

  14. SECTION J

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOrigin ofEnergy at Waste-to-EnergySEAB_Minutes_1_20_11.pdfSEB SecretariatJ-1 SECTION JK-1

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

  16. NASA/TM2009215726 Formally Verified Practical

    E-Print Network [OSTI]

    Butler, Ricky W.

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

  17. Formal Semantics for Interacting UML subsystems

    E-Print Network [OSTI]

    Jurjens, Jan

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

  18. A formal ontology for industrial maintenance

    E-Print Network [OSTI]

    Boyer, Edmond

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

  19. A Formal Model of Auditor Independence Risk

    E-Print Network [OSTI]

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

    2002-01-01T23:59:59.000Z

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

  20. Formal Specification of Operating System Operations

    E-Print Network [OSTI]

    Black, Paul E.

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

  1. Formal Specification of Operating System Operations

    E-Print Network [OSTI]

    Black, Paul E.

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

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

    E-Print Network [OSTI]

    Moeller, Ralf

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

  3. FORMAL HERMENEUTICS BASED ON FREGE DUALITY Oleg Prosorov

    E-Print Network [OSTI]

    Prosorov, Oleg B.

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

  4. Presidential Memorandum on Tribal Consultation | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere I Geothermal PwerPerkins County, Nebraska:Precourt Institute for Energy EfficiencyConsultation Jump to:

  5. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-f < RAPID‎SolarCityInformationStopwattch JumpStrateGen Consulting

  6. First Climate formerly Factor 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are8COaBulkTransmissionSitingProcess.pdf Jump to:ar-80m.pdfFillmore County, Minnesota:Island,Factor Consulting Jump to:

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

  8. Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis

    E-Print Network [OSTI]

    Cimiano, P; Staab, S; 10.1613/jair.1648

    2011-01-01T23:59:59.000Z

    We present a novel approach to the automatic acquisition of taxonomies or concept hierarchies from a text corpus. The approach is based on Formal Concept Analysis (FCA), a method mainly used for the analysis of data, i.e. for investigating and processing explicitly given information. We follow Harris distributional hypothesis and model the context of a certain term as a vector representing syntactic dependencies which are automatically acquired from the text corpus with a linguistic parser. On the basis of this context information, FCA produces a lattice that we convert into a special kind of partial order constituting a concept hierarchy. The approach is evaluated by comparing the resulting concept hierarchies with hand-crafted taxonomies for two domains: tourism and finance. We also directly compare our approach with hierarchical agglomerative clustering as well as with Bi-Section-KMeans as an instance of a divisive clustering algorithm. Furthermore, we investigate the impact of using different measures wei...

  9. Formal Transformations and WSL Martin Ward

    E-Print Network [OSTI]

    Singer, Jeremy

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

  10. Conservation-dissipation formalism of irreversible thermodynamics

    E-Print Network [OSTI]

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

    2014-07-21T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Fitelson, Branden

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

  12. A Rough Logic Formalism for Fuzzy Controllers

    E-Print Network [OSTI]

    Lin, Tsau Young

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

  13. Formal Verification of Hybrid Systems Rajeev Alur

    E-Print Network [OSTI]

    Alur, Rajeev

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

  14. Teaching Formal Methods: Lessons to learn

    E-Print Network [OSTI]

    Gibson, J. Paul

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

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

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

  17. Maintenance and Prevention: Formalization and Fixpoint Characterization

    E-Print Network [OSTI]

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

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

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

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

    E-Print Network [OSTI]

    Indiana University

    IU China Office Manager IU International Consulting and Research­China, LLC PRELIMINARY POSITION DESCRIPTION The IU China Office Manager will work in consultation with an Indiana University (IU) Academic Manager will be located at the IU China Office in Beijing and will be responsible for the following

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

    E-Print Network [OSTI]

    Cotter, Erik

    2009-05-15T23:59:59.000Z

    ..…………………………………………………………………………………………….9 Consulting Company A Interviews…………..………………………………………………………………………..….16 Consulting Company A Case Studies…..…………………………………………………..………………………………19 Case Study 1: City A Agreement……………….………………….………………………………………………20 Case Study 2: Company B AGC... are recommended by major engineering companies and public works associations (AWWA Construction Contract Administration). In September 2007 a set of documents called “ConsensusDOCS” were published with the intention of replacing EJCDC and AIA as the defining...

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

  3. Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to the Department for Education's reformed GCSE subject content

    E-Print Network [OSTI]

    Rambaut, Andrew

    's reformed GCSE subject content consultation - August 2013 Department for Education: Reformed GCSE subject's reformed GCSE subject content consultation. The proposed changes to science qualifications promote reform and have enclosed a copy for information. 1 ` Direct assessment' is based on the direct assessment

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

  5. Formale Sprachen Wintersemester 2005/2006

    E-Print Network [OSTI]

    Vollmer, Heribert

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

  6. June M. Merlino, Training & Organizational Development Consultant June Merlino joined NC State in April 2010 and currently serves as a training and organizational

    E-Print Network [OSTI]

    June M. Merlino, Training & Organizational Development Consultant June Merlino joined NC State in April 2010 and currently serves as a training and organizational development consultant. June offers organizational effectiveness consultations with academic, administrative leaders and teams responding to change

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

    E-Print Network [OSTI]

    Davis, Cole

    2012-10-19T23:59:59.000Z

    School-based problem-solving consultation is an indirect problem-solving process where the consultant works directly with the teacher in order to solve a current work problem of the teacher. The focus of school-based problem-solving consultation...

  8. A methodology integrating formal and informal software development

    E-Print Network [OSTI]

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

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

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

  11. Formal property verification in a conformance testing framework

    E-Print Network [OSTI]

    2014-09-08T23:59:59.000Z

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

  12. Implementation of the PR&PP methodology: the role of formal expert elicitations

    SciTech Connect (OSTI)

    Pilat, Joseph F [Los Alamos National Laboratory

    2010-01-01T23:59:59.000Z

    The application of the methodology developed by the GenIV International Forum's (GIF's) Proliferation Resistance and Physical Protection (PR&PP) Working Group is an expert elicitation. Although the framework of the methodology is structured and systematic, it does not by itself constitute or require a formal elicitation. However, formal elicitation can be utilized in the PR&PP context to provide a systematic, credible and transparent qualitative analysis and develop input for quantitative analyses. This section provides an overview of expert elicitations, a discussion of the role formal expert elicitations can play in the PR&PP methodology, an outline of the formal expert elicitation process and a brief practical guide to conducting formal expert elicitations. Expert elicitation is a process utilizing knowledgeable people in cases, for example, when an assessment is needed but physically based data is absent or open to interpretation. More specifically, it can be used to: (1) predict future events; (2) provide estimates on new, rare, complex or poorly understood phenomena; (3) integrate or interpret existing information; or (4) determine what is currently known, how well it is known or what is worth learning in a field. Expert elicitation can be informal or formal. The informal application of expert judgment is frequently used. Although it can produce good results, it often provides demonstrably biased or otherwise flawed answers to problems. This along with the absence of transparency can result in a loss of confidence when experts speak on issues. More formal expert elicitation is a structured process that makes use of people knowledgeable in certain areas to make assessments. The reason for advocating formal use is that the quality and accuracy of expert judgment comes from the completeness of the expert's understanding of the phenomena and the process used to elicit and analyze the data. The use of a more formal process to obtain, lU1derstand and analyze expert judgment has led to an improved acceptance of expert judgment because of the rigor and transparency of the results.

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

    E-Print Network [OSTI]

    Bishop, Matt

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

  15. Formal Management Review of the Safety Basis Calculations Noncompliance

    SciTech Connect (OSTI)

    Altenbach, T J

    2008-06-24T23:59:59.000Z

    In Reference 1, LLNL identified a failure to adequately implement an institutional commitment concerning administrative requirements governing the documentation of Safety Basis calculations supporting the Documented Safety Analysis (DSA) process for LLNL Hazard Category 2 and Category 3 nuclear facilities. The AB Section has discovered that the administrative requirements of AB procedure AB-006, 'Safety Basis Calculation Procedure for Category 2 and 3 Nuclear Facilities', have not been uniformly or consistently applied in the preparation of Safety Basis calculations for LLNL Hazard Category 2 and 3 Nuclear Facilities. The SEP Associated Director has directed the AB Section to initiate a formal management review of the issue that includes, but is not necessarily limited to the following topics: (1) the basis establishing Ab-006 as a required internal procedure for Safety Basis calculations; (2) how requirements for Safety Basis calculations flow down in the institutional DSA process; (3) the extent to which affected Laboratory organizations have explicitly complied with the requirements of Procedure AB-006; (4) what alternative approaches LLNL organizations has used for Safety Basis calculations and how these alternate approaches compare with Procedure AB-006 requirements; and (5) how to reconcile Safety Basis calculations that were performed before Procedure AB-006 came into existence (i.e., August 2001). The management review2 also includes an extent-of-condition evaluation to determine how widespread the discovered issue is throughout Laboratory organizations responsible for operating nuclear facilities, and to determine if implementation of AB procedures other than AB-006 has been similarly affected. In Reference 2, Corrective Action 1 was established whereby the SEP Directorate will develop a plan for performing a formal management review of the discovered condition, including an extent-of condition evaluation. In Reference 3, a plan was provided to prepare a formal management review, satisfying Corrective Action 1. An AB-006 Working Group was formed,led by the AB Section, with representatives from the Nuclear Materials Technology Program (NMTP), the Radioactive and Hazardous Waste Management (RHWM) Division, and the Packaging and Transportation Safety (PATS) Program. The key action of this management review was for Working Group members to conduct an assessment of all safety basis calculations referenced in their respective DSAs. Those assessments were tasked to provide the following information: (1) list which safety basis calculations correctly follow AB-006 and therefore require no additional documentation; (2) identify and list which safety basis calculations do not strictly follow AB-006, these include NMTP Engineering Notes, Engineering Safety Notes, and calculations by organizations external to the nuclear facilities (such as Plant Engineering), subcontractor calculations, and other internally generated calculations. Each of these will be reviewed and listed on a memorandum with the facility manager's (or designee's) signature accepting that calculation for use in the DSA. If any of these calculations are lacking the signature of a technical reviewer, they must also be reviewed for technical content and that review documented per AB-006.

  16. Surface-integral formalism of deuteron stripping

    E-Print Network [OSTI]

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

    2014-08-24T23:59:59.000Z

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

  17. Formal Derivation of Concurrent Garbage Collectors

    E-Print Network [OSTI]

    Pavlovic, Dusko; Smith, Douglas R

    2010-01-01T23:59:59.000Z

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

  18. Modified Hamiltonian formalism for Regge Teitelboim Cosmology

    E-Print Network [OSTI]

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

    2014-12-10T23:59:59.000Z

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

  19. 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, and environmental engineering courses at various engineering schools in Puerto Rico. His work experience includes of Puerto Rico, PSC. (Managing Engineer) (2005- Present) Management of environmental services including

  20. Chemistry Research Projects Available to Undergraduates Consult Individual Faculty Members' Web Sites for More Details

    E-Print Network [OSTI]

    Crawford, T. Daniel

    . · Applications to solar energy conversion or electrocatalysis. · Design and synthesis of mixedmetal and photochemical energy storage. · Particular emphasis is placed on probing the propertiesChemistry Research Projects Available to Undergraduates Consult Individual Faculty Members' Web

  1. Intern experience at Walton & Associates/Consulting Engineers, Inc.: an internship report

    E-Print Network [OSTI]

    Blaschke, J. D. (Joseph D.)

    2013-03-13T23:59:59.000Z

    This internship report describes the author's one-year internship at Walton & Associates/Consulting Engineers, Inc., (WACE) in Bryan, Texas, which occurred during [the] calendar year 1982. His primary internship objectives were to apply...

  2. Entrepreneurial Entry and Information Technology Shocks: The Unvarying Experience of IT Consultancies

    E-Print Network [OSTI]

    Lü, James Jian-Qiang

    , are examined among IT consultancies. Entry, exit, growth, and technology-related areas of business during threeEntrepreneurial Entry and Information Technology Shocks: The Unvarying Experience. #12;Entrepreneurial Entry and Information Technology Shocks: The Unvarying Experience

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

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

    E-Print Network [OSTI]

    Nordstrom, Eric Martin

    1985-01-01T23:59:59.000Z

    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... December 1985 Major Subject: Industrial Engineering AN ANALYSIS OF THE USE OF CONSULTANTS TO PERFORM ENGINEERING TASKS A Thesis by ERIC MARTIN NORDSTROM Approved as to style and content by: Alberto Garcia-Diaz (Chairman of Committee) Robert P...

  5. $^{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-25T23:59:59.000Z

    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.

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

  7. On the vierbein formalism of general relativity

    E-Print Network [OSTI]

    T. Mei

    2007-12-06T23:59:59.000Z

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

  8. Stabilizer Formalism for Operator Quantum Error Correction

    E-Print Network [OSTI]

    Poulin, D

    2005-01-01T23:59:59.000Z

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

  9. Stabilizer Formalism for Operator Quantum Error Correction

    E-Print Network [OSTI]

    David Poulin

    2006-06-14T23:59:59.000Z

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

  10. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-fTriWildcat 1 WindtheEnergySulfonate as aAAB AsiaABEEolicaSection

  11. FORMAL DEFORMATION THEORY 1. Introduction 1

    E-Print Network [OSTI]

    de Jong, A. Johan

    . Lifts of objects 50 17. Schlessinger's theorem on prorepresentable functors 52 18. Infinitesimal paper [TV10], which discusses deformation theory with groupoids but in less generality than we do here is one that satisfies the infinitesimal lifting criterion for objects, see Section 8. This is analogous

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

    E-Print Network [OSTI]

    P. M. Lavrov; O. V. Radchenko

    2007-08-31T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Strub, Damon

    1988-01-01T23:59:59.000Z

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

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

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

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

  15. Undergraduate Civil Engineering Our recent graduates hold jobs in a wide spectrum of areas such as infrastructure engineering consulting

    E-Print Network [OSTI]

    Ottino, Julio M.

    of areas such as infrastructure engineering consulting (buildings, bridges, railroads, power plants, water include Amazon, Boeing, Accenture, ARCADIS, Mass Electric Construction, General Dynamics' Electric Boat

  16. 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 National Laboratory is an equal opportunity employer committed to the development of a diverse workforce

  17. Formal Specification and Testing of a Management Architecture

    E-Print Network [OSTI]

    Derrick, John

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

  18. Model Transformations Require Formal Semantics Zekai Demirezen, 2

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

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

  1. Rational transformations of formal power series Manfred Droste

    E-Print Network [OSTI]

    Zhang, Guo-Qiang

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

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

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

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

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

    E-Print Network [OSTI]

    Amsterdam, University of

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

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

    E-Print Network [OSTI]

    Prosorov, Oleg B.

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

  7. The Formalization of a Simple Hardware Description Language

    E-Print Network [OSTI]

    Boyer, Robert Stephen

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

  8. A consultation on Forestry Commission support for sustainable woodland management in England

    E-Print Network [OSTI]

    A consultation on Forestry Commission support for sustainable woodland management in England planning Support for forestry contractors Advice and training for owners and managers Grant support to look again at the way the Forestry Commission supports sustainable woodland management in England

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

  10. CONSULTATION RESPONSE Wellcome Trust response to Copyright in the Knowledge Economy

    E-Print Network [OSTI]

    Rambaut, Andrew

    CONSULTATION RESPONSE Wellcome Trust response to Copyright in the Knowledge Economy Wellcome Trust response to Copyright in the Knowledge Economy November 2008 Page 1 of 8 European Commission: Copyright in the Knowledge Economy Response by the Wellcome Trust November 2008 1. The Wellcome Trust is pleased to have

  11. CONFERENCE REGISTRATION FORM C/Portmann Events Consulting Pty Ltd ABN: 25 094 460 474

    E-Print Network [OSTI]

    Wang, Yan

    Conference on Autonomic and Trusted Computing (ATC-09) 7th-9th July 2009, University of Queensland, BrisbaneCONFERENCE REGISTRATION FORM C/Portmann Events Consulting Pty Ltd ABN: 25 094 460 474 The Sixth International Conference on Ubiquitous Intelligence and Computing (UIC-09) And The Sixth International

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

  13. Response to WAG Consultation on the Alternative Transport Fuels in Wales Action Plan

    E-Print Network [OSTI]

    Martin, Ralph R.

    of the use of biofuels or other renewable fuels for transport at http://europa.eu.int/comm/energy/res/legislation/biofuelsResponse to WAG Consultation on the Alternative Transport Fuels in Wales Action Plan Centre of alternative transport fuels in its own policy documents, notably the Sustainable Development Action Plan 2004

  14. A Collaborative Virtual Environment for Public Consultation in the Urban Planning Process

    E-Print Network [OSTI]

    Manchester, University of

    A Collaborative Virtual Environment for Public Consultation in the Urban Planning Process Nicolas@cs.man.ac.uk Abstract This paper extends research in Collaborative Virtual Environments (CVEs) by exploring their use to the public at large. Respondents inhabit the shared environment and can engage in dialogue with other

  15. Approved Module Information for BN3370, 2014/5 Module Title/Name: Effective Management Consultancy Module Code: BN3370

    E-Print Network [OSTI]

    Neirotti, Juan Pablo

    detail of one approach i.e. Soft Systems Methodology. ? To develop useful consulting skills through? and ?soft? that are used by contemporary consulting firms. ? To give students an understanding in more options, those concerning the design and development of systems and procedures and those concerning

  16. This guidance on childhood lead screening was devel-oped by CDC in consultation with the members and

    E-Print Network [OSTI]

    preface This guidance on childhood lead screening was devel- oped by CDC in consultation with the members and consultants of the Advisory Committee on Childhood Lead poisoning prevention. The committee-care organizations, academia, and non-governmental agencies working on affordable hous- ing and public lead poisoning

  17. 14655 Section J

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

    0, Revision 4 ATTACHMENT J.10 WAGE DETERMINATIONS - SERVICE CONTRACT ACT (SCA) AND DAVIS-BACON ACT J.10-1 Plateau Remediation Contract Section J Contract No. DE-AC06-08RL14788...

  18. Building, landscape and section

    E-Print Network [OSTI]

    Johnson, Daniel B. (Daniel Bryant)

    1992-01-01T23:59:59.000Z

    All buildings have in their section a relationship to the landscape on which they are sited. Therefore we as inhabitants of these buildings may or may not have a relationship with the landscape. It is the supposition of ...

  19. Name: ) Section: ' PID:

    E-Print Network [OSTI]

    MATH 173 ' Quiz 4 Thursday Sep. 23. Name: ) Section: ' PID: Solve the problem systematically and neatly and show all your work. 1.(3pts) Find the length of the ...

  20. Transforming PLC Programs into Formal Models for Verification Purposes

    E-Print Network [OSTI]

    Darvas, D; Blanco, E

    2013-01-01T23:59:59.000Z

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

  1. Formal Support for an Informal Business Modelling Method 

    E-Print Network [OSTI]

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

    2000-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Reindl, Donald F.

    2007-01-01T23:59:59.000Z

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

  3. Challenges in Applying Formal Methods An SME View

    E-Print Network [OSTI]

    Southampton, University of

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

  4. Una introduccion al Analisis Formal de Conceptos en PVS

    E-Print Network [OSTI]

    Alonso, José A.

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

  5. 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 DataDepartment of Energy Your Density Isn'tOriginEducationVideo »UsageSecretary of Energy Advisory Board FollowSection 3161 SECTION BPART

  6. Introduction Introduction Section 1

    E-Print Network [OSTI]

    of many people. These people share a love for the Deschutes, though they value the river in many different. The voices of many of people throughout the Deschutes subbasin were heard during the subbasin planningIntroduction Introduction Section 1 Now as in the past, The Deschutes River binds the people

  7. POLICY SECTIONS POLICY OFFICE

    E-Print Network [OSTI]

    Minnesota, University of

    POLICY SECTIONS POLICY OFFICE POLICIES FORMS PROCEDURES UNIVERSITY POLICY #12;guide to WRITING POLICIES Administrative policies align opera- tions, set behavior expectations across the University system and communicate policy roles and responsibilities. You, as the policy owner or writer, have the important task

  8. Impact of infectious diseases consultation on the management of S. aureus bacteraemia in children

    E-Print Network [OSTI]

    Saunderson, R.B.; Gouliouris, Theodore; Cartwright, Edward J.; Nickerson, Emma J.; Aliyu, S.H.; O’Donnell, D. Roddy; Kelsall, Wilf; Limmathurotsakul, D.; Peacock, S.J.; Török, M. Estée

    2014-07-10T23:59:59.000Z

    positive blood cultures after 24 hours. 41,42 In the United Kingdom, there are no published guidelines on the use of echocardiography in children with SAB. The Infectious Diseases Society of America guidelines for MRSA bacteraemia recommend performing... that the consult service was beneficial. The frequency of MRSA bacteraemia was only 7.6% in our study cohort. Possible explanations for this are that MRSA bacteraemia is less common in children than in adults , and that MRSA bacteraemia rates have...

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

    E-Print Network [OSTI]

    Arguello Carazo, Francisco Xavier, 1953-

    2013-03-13T23:59:59.000Z

    Engineering A Report by FRANCISCO XAVIER ARGUELLO CARAZO August 1979 A report on an Internship Experience at Walter P. Moore & Associates, Consulting Engineers. (August 1979) Francisco Xavier Arguello Carazo, C.E., National University of Nicaragua; M.... WEST LOOP OFFICE BUILDING........................ 10 b. BAY DESIGN GARAGE................................ 14 c. BLOCK 130, HOUSTON C E NTER........................ 17 d. TEN-TEN GARAGE INFORMATION........................ 20 2. Basis for Final...

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

    E-Print Network [OSTI]

    Ibrahim, Rosziati; 10.5121/ijsea.2010.1406

    2010-01-01T23:59:59.000Z

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

  11. Finite BRST-antiBRST Transformations in Generalized Hamiltonian Formalism

    E-Print Network [OSTI]

    Pavel Yu. Moshin; Alexander A. Reshetnyak

    2014-10-15T23:59:59.000Z

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

  12. 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 DataDepartment of Energy Your Density Isn'tOriginEducationVideo »UsageSecretary of Energy Advisory Board FollowSection 3161

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

  14. Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1

    E-Print Network [OSTI]

    Smith, Douglas R.

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

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

    E-Print Network [OSTI]

    Peled, Doron A.

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

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

    E-Print Network [OSTI]

    Hicks, Michael

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

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

  18. Quantum Nonsymmetric Gravity and The Superfiber Bundle Formalism

    E-Print Network [OSTI]

    Mebarki, N

    1999-01-01T23:59:59.000Z

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

  19. Finite anticanonical transformations in field-antifield formalism

    E-Print Network [OSTI]

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

    2015-02-19T23:59:59.000Z

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

  20. ccsd00004163, Free Energy Formalism for Particle Adsorption

    E-Print Network [OSTI]

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

  1. VSE: Controlling the Complexity in Formal Software Developments

    E-Print Network [OSTI]

    Siekmann, Jörg H.

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

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

    E-Print Network [OSTI]

    Mousavi, Mohammad

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

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

    E-Print Network [OSTI]

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

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

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

    E-Print Network [OSTI]

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

  6. Harmonic superspace formalism and the consistent chiral anomaly

    SciTech Connect (OSTI)

    Li, W.

    1986-08-01T23:59:59.000Z

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

  7. A Formal Model of Provenance in Distributed Systems

    E-Print Network [OSTI]

    Francalanza, Adrian

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

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

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

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

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

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

    E-Print Network [OSTI]

    Kamps, Jaap

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

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

    E-Print Network [OSTI]

    Douglas Jr., Jim

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

  14. Nordic Journal of Computing Structured Formal Development in Isabelle

    E-Print Network [OSTI]

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

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

  15. D-Branes in the Green-Schwarz Formalism

    E-Print Network [OSTI]

    N. D. Lambert; P. C. West

    1999-06-08T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Kopec, Danny

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

  17. Contemporary Mathematics A topological calculus for formal power series

    E-Print Network [OSTI]

    Ray, Nige

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

  18. A TOPOLOGICAL CALCULUS FOR FORMAL POWER SERIES NIGEL RAY

    E-Print Network [OSTI]

    Ray, Nige

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

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

    E-Print Network [OSTI]

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

  20. A trivial formalization of the theory of grossone

    E-Print Network [OSTI]

    A. E. Gutman; S. S. Kutateladze

    2008-12-13T23:59:59.000Z

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

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

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

    E-Print Network [OSTI]

    Reif, Wolfgang

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

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

    E-Print Network [OSTI]

    Reif, Wolfgang

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

  4. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro Industries PvtStratosolarTharaldson EthanolTillson,Open EnergyTitle 18 CFR 4.38 Consultation

  5. Modeling Cyber Conflicts Using an Extended Petri Net Formalism

    SciTech Connect (OSTI)

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

    2011-01-01T23:59:59.000Z

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

  6. duragIS IT-Consulting GmbH, S1, 8-9, 68161 Mannheim Tel.: 0621 15049 0, www.duragIS.de

    E-Print Network [OSTI]

    Mannheim, Universität

    duragIS IT-Consulting GmbH, S1, 8-9, 68161 Mannheim Tel.: 0621 ­ 15049 ­ 0, www.durag-Consulting GmbH #12;duragIS IT-Consulting GmbH, S1, 8-9, 68161 Mannheim Tel.: 0621 ­ 15049 ­ 0, www.duragIS.de Our business: duragIS supports big companies like the ,,Deutsche Telekom AG" with highly qualified IT

  7. Formal verification of complex properties on PLC programs

    E-Print Network [OSTI]

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

    2014-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Mohammad Vahid Takook

    2014-09-03T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Liane Gabora; Diederik Aerts

    2004-08-06T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Liane Gabora; Diederik Aerts

    2013-11-01T23:59:59.000Z

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

  11. NRC Consultation and Monitoring at the Savannah River Site: Focusing Reviews of Two Different Disposal Actions - 12181

    SciTech Connect (OSTI)

    Ridge, A. Christianne; Barr, Cynthia S.; Pinkston, Karen E.; Parks, Leah S.; Grossman, Christopher J.; Alexander, George W. [U.S. Nuclear Regulatory Commission (United States)

    2012-07-01T23:59:59.000Z

    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 determinations. The NDAA also requires NRC to monitor DOE's disposal actions related to those determinations. In Fiscal Year 2011, the NRC staff reviewed DOE performance assessments for tank closure at the F-Tank Farm (FTF) Facility and salt waste disposal at the Saltstone Disposal Facility (SDF) at the Savannah River Site (SRS) as part of consultation and monitoring, respectively. Differences in inventories, waste forms, and key barriers led to different areas of focus in the NRC reviews of these two activities at the SRS. Because of the key role of chemically reducing grouts in both applications, the evaluation of chemical barriers was significant to both reviews. However, radionuclide solubility in precipitated metal oxides is expected to play a significant role in FTF performance whereas release of several key radionuclides from the SDF is controlled by sorption or precipitation within the cementitious wasteform itself. Similarly, both reviews included an evaluation of physical barriers to flow, but differences in the physical configurations of the waste led to differences in the reviews. For example, NRC's review of the FTF focused on the modeled degradation of carbon steel tank liners while the staff's review of the SDF performance included a detailed evaluation of the physical degradation of the saltstone wasteform and infiltration-limiting closure cap. Because of the long time periods considered (i.e., tens of thousands of years), the NRC reviews of both facilities included detailed evaluation of the engineered chemical and physical barriers. The NRC staff reviews of residual waste disposal in the FTF and salt waste disposal in the SDF focused on physical barriers to flow and chemical barriers to radionuclide release from the waste. Because the waste inventory and concentration at both sites is sufficient to generate unacceptable doses to an off-site member of the public or inadvertent intruder in the absence of engineered barriers, the NRC staff review focused on the engineering features DOE plans to put in place to limit radionuclide release. At the FTF, DOE expects that peak doses are delayed beyond a 10,000 year performance period by a combination of (1) the flow-limiting effect of the steel tank liner and (2) chemical conditions created by the stabilizing grout overlying the waste that limit the solubility of key radionuclides for tens of thousands of years. At the SDF, DOE expects that flow will be significantly limited by water shedding along the closure cap lower drainage layer and that radionuclide release will be further limited by radionuclide precipitation or sorption within the high pH, chemically reducing conditions created within the saltstone waste form. Because the performance of both facilities depends on the performance of engineered barriers for thousands of years, the reviews included a detailed evaluation of the expected long-term behavior of these barriers. As previously discussed, NRC staff reviews of DOE waste determinations during consultation are designed to evaluate the three NDAA criteria, whereas the review of an updated PA during monitoring only addresses whether the NRC staff has reasonable assurance that the planned disposal action will meet the performance objectives of 10 CFR Part 61. The NRC staff review of the Waste Determination for the FTF did not include conclusions about whether the planned disposal of residual waste at the FTF would meet the NDAA criteria because of the substantial uncertainties in the degree of waste removal DOE would achieve and other technical uncertainties. The main product of the NRC staff review of the planned FTF disposal action is the recommendation that DOE should conduct waste release experiments to increase support for key modeling assumptions related to: (1) the evolution of pH and Eh in the grouted tank syst

  12. Report of independent consultants reviewing Integrated Test Stands (ITS) performance and readiness of DARHT for construction start

    SciTech Connect (OSTI)

    Not Available

    1993-08-01T23:59:59.000Z

    Independent consultants met at Los Alamos, June 15 and 16, 1993, to review progress on the commissioning of the Integrated Test Stand (ITS) for DARHT and to provide DOE with technical input on readiness for construction of the first radiographic arm of DARHT. The consultants concluded that all milestones necessary for demonstrating the performance of the DARHT accelerator have been met and that the project is ready for construction to resume. The experimental program using ITS should be continued to quantify the comparison of experiment and theory, to test improvements on the injector insulator, and to better evaluate the interaction of the beam and the target.

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

    E-Print Network [OSTI]

    Meikle, Laura Isabel

    2014-06-27T23:59:59.000Z

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

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

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

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

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

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

    E-Print Network [OSTI]

    Liu, Xiaodong

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

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

    E-Print Network [OSTI]

    Magyar, Peter

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Zhu, Hong

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

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

    SciTech Connect (OSTI)

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

    1991-09-09T23:59:59.000Z

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

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

    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.

  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]

    management, water quality, dredging, or construction. The average cost to this type of small business over management, water quality, dredging, or construction were identified as entities that could be affected activities, construction activities, and dredging activities in areas proposed for final critical habitat

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

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

    E-Print Network [OSTI]

    energy sectors of the Scottish market) to 30 December 2010. The information gained from the study is usedWoodfuel Usage Update 1 I Wood fuel use in Scotland 2011 I Hudson Consulting I September 2011 Woodfuel Demand and Usage in Scotland Report 2011 #12;Woodfuel Usage Update 2 I Wood fuel use in Scotland

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

    E-Print Network [OSTI]

    in the commercial, industrial and electrical energy sectors of the Scottish market) to March 2009. The informationWoodfuel Use Update 1 I Wood fuel use in Scotland 2009 I Hudson Consulting I August 2009 Woodfuel Demand and Usage in Scotland Update Report to March 2009 #12;Woodfuel Use Update 2 I Wood fuel use

  8. RECOMMENDATIONS FOR SPECIALIZATIONS IN ECONOMICS Economics graduates pursue many different careers including careers in economics consulting, finance, and

    E-Print Network [OSTI]

    Gilchrist, James F.

    including careers in economics consulting, finance, and public policy. Economics graduates also go on to M Economics #12;ECO 311 Environmental Economics ECO 353 Public Finance: Federal ECO 354 Public Finance: State International Finance ECO 295 Microfinance ECO 395 Political Economy of Iraq Recommended courses beyond those

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

  10. 4600 S. Ulster St. Suite 700 Denver, Colorado 80237 (303) 740-6750 Fax (303) 740-6789 Metallurgy and Corrosion Consulting

    E-Print Network [OSTI]

    Botte, Gerardine G.

    Metallurgy and Corrosion Consulting Bruce Craig is the author and contributing author of more than seven metallurgy for projects ranging from Mobile Bay to the deep water GOM, the Rockies to Asia and the Middle independents. Dr Craig is the president of MetCorr, a corrosion and metallurgy consulting company located

  11. Weighted Logics for Nested Words and Algebraic Formal Power Series

    E-Print Network [OSTI]

    Mathissen, Christian

    2010-01-01T23:59:59.000Z

    Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study nested word series which assign to nested words elements of a semiring. We show that regular nested word series coincide with series definable in weighted logics as introduced by Droste and Gastin. For this we establish a connection between nested words and the free bisemigroup. Applying our result, we obtain characterizations of algebraic formal power series in terms of weighted logics. This generalizes results of Lautemann, Schwentick and Therien on context-free languages.

  12. Frenet-Serret formalism for null world lines

    E-Print Network [OSTI]

    Donato Bini; Andrea Geralico; Robert T. Jantzen

    2014-08-19T23:59:59.000Z

    The Frenet-Serret curve analysis is extended from nonnull to null trajectories in a generic spacetime using the Newman-Penrose formalism, recovering old results which are not well known and clarifying the associated Fermi-Walker transport which has been left largely unexplored in the literature. This machinery is then used to discuss null circular orbits in stationary axisymmetric spacetimes using the Kerr spacetime as a concrete example, and to integrate the equations of parallel transport along null geodesics in any spacetime.

  13. Harmonic Superspace Gaugeon Formalism for the ABJM Theory

    E-Print Network [OSTI]

    Mir Faizal

    2012-07-12T23:59:59.000Z

    In this paper we will analyse the ABJM theory in harmonic superspace. The harmonic superspace variables will be parameterized by the coset $SU(2)/U(1)$ and thus will have manifest $\\mathcal{N} =3$ supersymmetry. We will study the quantum gauge transformations and the BRST transformations of this theory in gaugeon formalism. We will use this BRST symmetry to project out the physical sub-space from the total Hilbert space. We will also show that the evolution of the $\\mathcal{S}$-matrix is unitary for this ABJM theory in harmonic superspace.

  14. Section 3.3 Equivalence Relations1 Section 3.3 Equivalence RelationSection 3.3 Equivalence RelationSection 3.3 Equivalence RelationSection 3.3 Equivalence Relationssss

    E-Print Network [OSTI]

    Farlow, Jerry

    Section 3.3 Equivalence Relations1 Section 3.3 Equivalence RelationSection 3.3 Equivalence RelationSection 3.3 Equivalence RelationSection 3.3 Equivalence Relationssss Purpose of SectionPurpose of SectionPurpose of SectionPurpose of Section To introduce the concept of an equivalence relationequivalence

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

  16. A unified Monte Carlo approach to fast neutron cross section data evaluation.

    SciTech Connect (OSTI)

    Smith, D.; Nuclear Engineering Division

    2008-03-03T23:59:59.000Z

    A unified Monte Carlo (UMC) approach to fast neutron cross section data evaluation that incorporates both model-calculated and experimental information is described. The method is based on applications of Bayes Theorem and the Principle of Maximum Entropy as well as on fundamental definitions from probability theory. This report describes the formalism, discusses various practical considerations, and examines a few numerical examples in some detail.

  17. Acceleration and Particle Field Interactions of Cosmic Rays I: Formalism

    E-Print Network [OSTI]

    A. Tawfik; A. Saleh; M. T. Ghoneim; A. A. Hady

    2010-10-14T23:59:59.000Z

    The acceleration of ultra high energy cosmic rays is conjectured to occur through various interactions with the electromagnetic fields in different astrophysical objects, like magnetic matter clumps, besides the well-known shock and stochastic Fermi mechanisms. It is apparent that the latter are not depending on the particle's charge, quantitatively. Based on this model, a considerable portion of the dynamics, that derives a charged particle parallel to a magnetic field $\\mathbf{B}$ and under the influence of a force $\\mathbf{F}$, is assumed to be composed of an acceleration by a non-magnetic force $\\mathbf{F}_{\\parallel}$ and a gyromotion along $\\mathbf{B}$ direction, plus drifts in the direction of $\\mathbf{F}_{\\perp}$. The model and its formalism are introduced. Various examples for drift motions and accelerating forces are suggested. The formalism is given in a non-relativistic version. Obviously, the translation into the relativistic version is standard. In a forthcoming work, a quantitative estimation of the energy gained by charged cosmic rays in various astrophysical objects will be evaluated.

  18. Cross sections for hard exclusive electroproduction of pi+ mesons on a hydrogen target

    E-Print Network [OSTI]

    HERMES Collaboration; A. Airapetian

    2007-11-29T23:59:59.000Z

    The exclusive electroproduction of pi+ mesons was studied with the Hermes spectrometer at the DESY laboratory by scattering 27.6 GeV positron and electron beams off an internal hydrogen gas target. The virtual-photon cross sections were measured as a function of the Mandelstam variable t and the squared four momentum -Q^2 of the exchanged virtual photon. A model calculation based on Generalized Parton Distributions is in fair agreement with the data at low values of |t| if power corrections are included. A model calculation based on the Regge formalism gives a good description of the magnitude and the t and Q^2 dependences of the cross section.

  19. In-medium nucleon-nucleon cross-sections with non-spherical Pauli blocking

    E-Print Network [OSTI]

    L. White; F. Sammarruca

    2014-06-14T23:59:59.000Z

    We present a formalism to solve the Bethe-Goldstone scattering equation without the use of partial wave expansion which is alternative to the one we developed in a previous work. The present approach is more suitable for the calculation of in-medium nucleon-nucleon cross sections, which are the focal point of this paper. The impact of removing the spherical approximation on the angle and energy dependence of, particularly, in-medium proton-proton and proton-neutron differential cross sections is discussed along with its potential implication.

  20. Cross sections for hard exclusive electroproduction of $\\pi^{+}$ mesons on a hydrogen target

    E-Print Network [OSTI]

    Airapetian, A; Akopov, Z; Aschenauer, E C; Augustyniak, W; Avetisian, A; Avetissian, E; Barion, L; Belostotskii, S; Bianchi, N; Blok, H P; Böttcher, H; Bonomo, C; Borisov, A; Bryzgalov, V; Burns, J; Capiluppi, M; Capitani, G P; Cisbani, E; Ciullo, G; Contalbrigo, M; Dalpiaz, P F; Deconinck, W; De Leo, R; Demey, M; De Nardo, L; De Sanctis, E; Diefenthaler, M; Di Nezza, P; Dreschler, J; Düren, M; Ehrenfried, M; Elbakian, G; Ellinghaus, F; Fabbri, R; Fantoni, A; Frullani, S; Gabbert, D; Gapienko, G; Gapienko, V; Garibaldi, F; Gavrilov, G; Karibian, V; Giordano, F; Gliske, S; Guler, H; Hadjidakis, C; Hasch, D; Hill, G; Hillenbrand, A; Hoek, M; Hristova, I; Imazu, Y; Ivanilov, A; Jackson, H E; Joosten, S; Kaiser, R; Keri, T; Kinney, E; Kiselev, A; Kopytin, M; Korotkov, V; Kravchenko, P; Krivokhizhin, V G; Lagamba, L; Lamb, R; Lapikas, L; Lehmann, I; Lenisa, P; Linden-Levy, L A; Lopez Ruiz, A; Lorenzon, W; Lu, S; Lü, X; Mahon, D; Makins, N C R; Marianski, B; Marukyan, H; Miller, C A; Miyachi, Y; Muccifora, V; Murray, M; Mussgiller, A; Nappi, E; Naryshkin, Yu; Nass, A; Negodaev, M; Nowak, W D; Pappalardo, L L; Perez-Benito, R; Pickert, N; Raithel, M; Reimer, P E; Reolon, A R; Riedl, C; Rith, K; Rock, S E; Rosner, G; Rostomyan, A; Rubacek, L; Rubin, J; Ryckbosch, D; Salomatin, Y; Schäfer, A; Schnell, G; Schüler, K P; Seitz, B; Shearer, C; Shibata, T A; Shutov, V; Stancari, M; Statera, M; Steijger, J J M; Stenzel, H; Stewart, J; Stinzing, F; Streit, J; Taroian, S; Thomas, E; Trzcinski, A; Tytgat, M; Vandenbroucke, A; Van der Nat, P B; van der Steenhoven, G; Van Haarlem, Y; Van Hulse, C; Varanda, M; Veretennikov, D; Vikhrov, V; Vilardi, I; Vogel, C; Wang, S; Yaschenko, S; Ye, H; Ye, Z; Yen, S; Yu, W; Zeiler, D; Zihlmann, B; Zupranski, P

    2008-01-01T23:59:59.000Z

    The exclusive electroproduction of pi+ mesons was studied with the Hermes spectrometer at the DESY laboratory by scattering 27.6 GeV positron and electron beams off an internal hydrogen gas target. The virtual-photon cross sections were measured as a function of the Mandelstam variable t and the squared four momentum -Q^2 of the exchanged virtual photon. A model calculation based on Generalized Parton Distributions is in fair agreement with the data at low values of |t| if power corrections are included. A model calculation based on the Regge formalism gives a good description of the magnitude and the t and Q^2 dependences of the cross section.

  1. Investigation of the influence of the neutron spectrum in determinations of integral cross-section ratios

    SciTech Connect (OSTI)

    Smith, D.L.

    1987-11-01T23:59:59.000Z

    Ratio measurements are routinely employed in studies of neutron interaction processes in order to generate new differential cross-section data or to test existing differential cross-section information through examination of the corresponding response in integral neutron spectra. Interpretation of such data requires that careful attention be given to details of the neutron spectra involved in these measurements. Two specific tasks are undertaken in the present investigation: (1) Using perturbation theory, a formula is derived which permits one to relate the ratio measured in a realistic quasimonoenergetic spectrum to the desired pure monoenergetic ratio. This expression involves only the lowest-order moments of the neutron energy distribution and corresponding parameters which serve to characterize the energy dependence of the differential cross sections, quantities which can generally be estimated with reasonable precision from the uncorrected data or from auxiliary information. (2) Using covariance methods, a general formalism is developed for calculating the uncertainty of a measured integral cross-section ratio which involves an arbitrary neutron spectrum. This formalism is employed to further examine the conditions which influence the sensitivity of such measured ratios to details of the neutron spectra and to their uncertainties. Several numerical examples are presented in this report in order to illustrate these principles, and some general conclusion are drawn concerning the development and testing of neutron cross-section data by means of ratio experiments. 16 refs., 1 fig., 4 tabs.

  2. From consultation to deliberation? Tracing deliberative norms in EIA frameworks in Swedish roads planning

    SciTech Connect (OSTI)

    Isaksson, Karolina, E-mail: karolina.isaksson@vti.s [Swedish National Road and Transport Research Institute, SE-581 95 Linkoeping (Sweden); Richardson, Tim, E-mail: tim@plan.aau.d [Department of Development and Planning, Aalborg University, Fibigerstraede 13, DK 9000, Aalborg (Denmark); Olsson, Krister, E-mail: kristero@infra.kth.s [Department of Planning and Environment, Royal Institute of Technology (KTH), 100 44 Stockholm (Sweden)

    2009-09-15T23:59:59.000Z

    This paper presents the results of an analysis of deliberative norms in the framework for Environmental Impact Assessment (EIA) in roads planning in Sweden. The more specific question is how this framework has responded to the shift towards more deliberative approaches to planning and decision making, advocated in planning theory and policy literature over the last decade. The analysis, which compares the current framework and guidance with an earlier iteration, identifies a shift towards deliberation; deliberative norms are present, and even dominate recent guidance. However, an instrumental norm permeates both the former and the current guidance, suggesting that even as a language of consultation is replaced by one of deliberation, the intention remains to secure and legitimise a smooth development pathway. Evidence from interviews with professionals working in the Swedish EIA system highlights the difficulties of navigating these uncertainties in practice. By opening up critical analysis of deliberative norms as they shape the conditions for practice, this study contributes to the continuous development of planning practice, by supporting a more normatively reflexive approach to framework-design.

  3. On a Broken Formal Symmetry between Kinetic and Gravitational Energy

    E-Print Network [OSTI]

    Armin Nikkhah Shirazi

    2014-07-16T23:59:59.000Z

    Historically, the discovery of symmetries has played an important role in the progress of our fundamental understanding of nature. This paper will demonstrate that there exists in Newtonian theory in a spherical gravitational field a formal symmetry between the kinetic (KE) and gravitational potential energy (GPE) of a test mass. Put differently, there exists a way of expressing GPE such that the form of the mathematical expression remains invariant under an interchange of KE and GPE. When extended to relativity by a suitable assumption, it leads to a framework that bridges the general relativistic and Newtonian conceptions of gravitational energy, even though the symmetry is broken except in the infinitesimal limit. Recognizing this symmetry at infinitesimal scales makes it possible to write a relativistic equation of an individual graviton, the properties of which under under one interpretation may be unexpected.

  4. From superoperator formalism to nonequilibrium Thermo Field Dynamics

    E-Print Network [OSTI]

    Yusuke Nakamura; Yoshiya Yamanaka

    2012-11-19T23:59:59.000Z

    Emphasizing that the specification of the representation space or the quasiparticle picture is essential in nonequilibrium quantum field system, we have constructed the unique unperturbed representation of the interaction picture in the superoperator formalism. To achieve it, we put the three basic requirements (the existence of the quasiparticle picture at each instant of time, the macroscopic causality and the relaxation to equilibrium). From the resultant representation follows the formulation of nonequilibrium Thermo Field Dynamics (TFD). The two parameters, the number distribution and excitation energy, characterizing the representation, are to be determined by the renormalization condition. While we point out that the diagonalization condition by Chu and Umezawa is inconsistent with the equilibrium theory, we propose a new renormalization condition as a generalization of the on-shell renormalization on the self-energy which derives the quantum transport equation and determines the renormalized excitation energy.

  5. Conserved charges in (Lovelock) gravity in first order formalism

    SciTech Connect (OSTI)

    Gravanis, Elias [Akropoleos 1 Nicosia 2101 (Cyprus)

    2010-04-15T23:59:59.000Z

    We derive conserved charges as quasilocal Hamiltonians by covariant phase space methods for a class of geometric Lagrangians that can be written in terms of the spin connection, the vielbein, and possibly other tensorial form fields, allowing also for nonzero torsion. We then recalculate certain known results and derive some new ones in three to six dimensions hopefully enlightening certain aspects of all of them. The quasilocal energy is defined in terms of the metric and not its first derivatives, requiring 'regularization' for convergence in most cases. Counterterms consistent with Dirichlet boundary conditions in first order formalism are shown to be an efficient way to remove divergencies and derive the values of conserved charges, the clear-cut application being metrics with anti-de Sitter (or de Sitter) asymptotics. The emerging scheme is: all is required to remove the divergencies of a Lovelock gravity is a boundary Lovelock gravity.

  6. Noncommutative (supersymmetric) electrodynamics in the Yang-Feldman formalism

    SciTech Connect (OSTI)

    Zahn, Jochen [Courant Research Centre 'Higher Order Structures in Mathematics', University of Goettingen, D-37073 Goettingen (Germany)

    2010-11-15T23:59:59.000Z

    We study quantum electrodynamics on the noncommutative Minkowski space (NCQED) in the Yang-Feldman formalism. Local observables are defined by using covariant coordinates. We compute the two-point function of the interacting field strength to second order and find the infrared divergent terms already known from computations using the so-called modified Feynman rules. It is shown that these lead to nonlocal renormalization ambiguities. Also new nonlocal divergences stemming from the covariant coordinates are found. Furthermore, we study the supersymmetric extension of the model. For this, the supersymmetric generalization of the covariant coordinates is introduced. We find that the nonlocal divergences cancel. At the one-loop level, the only effect of noncommutativity is then a momentum-dependent field strength normalization. We interpret it as an acausal effect and show that its range is independent of the noncommutativity scale.

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

    E-Print Network [OSTI]

    Zohreh Davoudi

    2014-09-05T23:59:59.000Z

    Lattice quantum chromodynamics (QCD) will soon become the primary theoretical tool in rigorous studies of single- and multi-hadron sectors of QCD. It is truly ab initio meaning that its only parameters are those of standard model. The result of a lattice QCD calculation corresponds to that of nature only in the limit when the volume of spacetime is taken to infinity and the spacing between discretized points on the lattice is taken to zero. A better understanding of these discretization and volume effects not only provides the connection to the infinite-volume continuum observables, but also leads to optimized calculations that can be performed with available computational resources. This thesis includes various formal developments in this direction, along with proposals for improvements, to be applied to the upcoming lattice QCD studies of nuclear and hadronic systems. Among these developments are i) an analytical investigation of the recovery of rotational symmetry with the use of suitably-formed smeared operators toward the continuum limit, ii) an extension of the Luscher finite-volume method to two-nucleon systems with arbitrary angular momentum, spin, parity and center of mass momentum, iii) the application of such formalism in extracting the scattering parameters of the 3S1-3D1 coupled channels, iv) an investigation of twisted boundary conditions in the single- and two-hadron sectors, with proposals for improving the volume-dependence of the deuteron binding energy upon proper choices of boundary conditions, and v) exploring the volume dependence of the masses of hadrons and light-nuclei due to quantum electrodynamic interactions, including the effects arising from particles' compositeness. The required background as well as a brief status report of the field pertinent to the discussions in this thesis are presented.

  8. 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 DataDepartment of Energy Your Density Isn'tOriginEducationVideo »UsageSecretary of Energy Advisory Board FollowSection 3161 SECTION

  9. A Forrester Consulting Thought Leadership Paper Commissioned By Microsoft And RSA, The Security Division Of EMC The Value Of Corporate Secrets

    E-Print Network [OSTI]

    Narasayya, Vivek

    Division Of EMC The Value Of Corporate Secrets How Compliance And Collaboration Affect Enterprise, the security division of EMC, commissioned Forrester Consulting to assess the data security practices of North

  10. Partial Hamiltonian formalism, multi-time dynamics and singular theories

    E-Print Network [OSTI]

    Duplij, Steven

    2013-01-01T23:59:59.000Z

    We formulate singular classical theories without involving constraints. Applying the action principle for the action (27) we develop a partial (in the sense that not all velocities are transformed to momenta) Hamiltonian formalism in the initially reduced phase space (with the canonical coordinates $q_{i},p_{i}$, where the number $n_{p}$ of momenta $p_{i}$, $i=1,\\...,n_{p}$ (17) is arbitrary $n_{p}\\leq n$, where $n$ is the dimension of the configuration space), in terms of the partial Hamiltonian $H_{0}$ (18) and $(n-n_{p})$ additional Hamiltonians $H_{\\alpha}$, $\\alpha=n_{p}+1,\\...,n$ (20). We obtain $(n-n_{p}+1)$ Hamilton-Jacobi equations (25)-(26). The equations of motion are first order differential equations (33)-(34) with respect to $q_{i},p_{i}$ and second order differential equations (35) for $q_{\\alpha}$. If $H_{0}$, $H_{\\alpha}$ do not depend on $\\dot{q}_{\\alpha}$ (42), then the second order differential equations (35) become algebraic equations (43) with respect to $\\dot{q}_{\\alpha}$. We interpret ...

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

    E-Print Network [OSTI]

    , Postdoctoral Appointments and Non-Chaired Visiting Faculty: Formal searches for research faculty positions the appointment is expected to last for more than one year. As initial postdoctoral appointments are normally made for one year, a formal search process for filling a postdoctoral appointment is not required. In cases

  12. Formal Analysis of Message Passing Stephen F. Siegel and Ganesh Gopalakrishnan

    E-Print Network [OSTI]

    Capecchi, Mario R.

    Formal Analysis of Message Passing Stephen F. Siegel and Ganesh Gopalakrishnan 1 Verified Software 84112, USA ganesh@cs.utah.edu http://www.cs.utah.edu/fv Abstract. The message passing paradigm underlies are involved in developing formal analysis tools and techniques for message passing programs. This paper

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

  14. Analyzing a Controller of a Power Distribution Unit using Formal Methods

    E-Print Network [OSTI]

    Groote, Jan Friso

    Analyzing a Controller of a Power Distribution Unit using Formal Methods Jan Friso Groote Eindhoven--This paper reports on the steps to formally specify and verify the behavior of a controller of a power mainly controls the distribution of power and network messages to a number of attached PCs and devices

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

    E-Print Network [OSTI]

    Bittner, Thomas

    Ontological Investigation of Ecosystem Hierarchies and Formal Theory for Multiscale Ecosystem ecosystems as a representative example of a geographic object. To achieve this goal we will develop a formalized framework for handling of the structure of ecosystem hierarchies. Our theory will be demonstrated

  16. c Copyright by Daniel Duane Deavours, 2001 FORMAL SPECIFICATION OF THE MOBIUS MODELING FRAMEWORK

    E-Print Network [OSTI]

    Illinois at Urbana-Champaign, University of

    c Copyright by Daniel Duane Deavours, 2001 #12;FORMAL SPECIFICATION OF THE M¨OBIUS MODELING of Electrical and Computer Engineering University of Illinois at Urbana-Champaign, 2001 William H. Sanders to create a general framework that supports a large variety of modeling formalisms. iii #12;In this thesis

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

  18. A Formal Method for Attack Modeling and Seyit Ahmet C amtepe and Bulent Yener

    E-Print Network [OSTI]

    Bystroff, Chris

    1 A Formal Method for Attack Modeling and Detection Seyit Ahmet C¸ amtepe and B¨ulent Yener,yener}@cs.rpi.edu TR-06-01 Abstract This paper presents a formal methodology for attack modeling and detection for networks. Our approach has three phases. First, we extend the basic attack tree approach [1] to capture (i

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

    E-Print Network [OSTI]

    Boyer, Edmond

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

  20. Formal verification of functional properties of a SCR-style software requirements specification using PVS*

    E-Print Network [OSTI]

    safety; Software requirements specification; Formal methods; Formal verification; Nuclear power plant Department and AITRC/SPIC/IIRTRC, Korea Advanced Institute of Science and Technology (KAIST), Daejon 305 September 2004 Abstract Industrial software companies developing safety-critical systems are required to use

  1. Formalization and Verification of PLC Timers in Coq Key Lab for ISS of MOE,

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Formalization and Verification of PLC Timers in Coq Hai Wan Key Lab for ISS of MOE, School used in embedded systems. A timer plays a pivotal role in PLC real-time applications. The paper presents a formalization of TON-timers of PLC programs in the theorem proving system Coq. The behavior

  2. Math 290 -Guided Practice Homework 11 1. Write a formal proof that the sequence {(-1)n

    E-Print Network [OSTI]

    Singman, David

    Math 290 - Guided Practice Homework 11 Solutions 1. Write a formal proof that the sequence {(-1)n n} n=1 is not bounded. Your proof should be built from the working definition of a sequence being unbounded. 2. Write a formal proof that the sequence (-1)n9n - 31 n n=1 is bounded. Your proof should

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

  4. An Optimization Approach for Effective Formalized fUML Model Checking

    E-Print Network [OSTI]

    Doran, Simon J.

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

  5. Formalizing properties of rst order terms in the Boyer-Moore logic ?

    E-Print Network [OSTI]

    Reina, José Luis Ruiz

    Formalizing properties of #12;rst order terms in the Boyer-Moore logic ? Jos#19;e-Luis Ruiz are formalized using Boyer-Moore logic and carried out mechanically with the Boyer-Moore theorem prover. Keywords: Automated Deduction, Boyer-Moore Theorem Prover, First Order Terms, Subsumption, Uni#12;cation, Anti-uni#12

  6. FORMAL MODELS OF QUALITY AND ISO 9000 COMPLIANCE: AN INFORMATION SYSTEMS APPROACH

    E-Print Network [OSTI]

    Fox, Mark S.

    FORMAL MODELS OF QUALITY AND ISO 9000 COMPLIANCE: AN INFORMATION SYSTEMS APPROACH Henry M. Kim, and the ISO 9003 Micro-Theory. The TOVE Quality Ontology represents a prototype formalization, researched from ISO 9000 and other quality management references, but independent of any one source. And the ISO 9003

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

    E-Print Network [OSTI]

    Richard Kleeman

    2015-03-25T23:59:59.000Z

    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.

  8. High energy neutrino cross sections

    E-Print Network [OSTI]

    M. H. Reno

    2004-10-07T23:59:59.000Z

    The theoretical status of the neutrino-nucleon cross section is reviewed for incident neutrino energies up to E_nu=10^12 GeV, including different approaches to high energy extrapolations. Nonstandard model physics may play a role at ultrahigh energies. The cases of mini-black hole production and electroweak instanton contributions are discussed as examples in the context of ultrahigh energy neutrino scattering.

  9. Formalism Locality in Quantum Theory and Quantum Gravity

    E-Print Network [OSTI]

    Lucien Hardy

    2008-04-01T23:59:59.000Z

    We expect a theory of Quantum Gravity to be both probabilistic and have indefinite causal structure. Indefinite causal structure poses particular problems for theory formulation since many of the core ideas used in the usual approaches to theory construction depend on having definite causal structure. For example, the notion of a state across space evolving in time requires that we have some definite causal structure so we can define a state on a space-like hypersurface. We will see that many of these problems are mitigated if we are able to formulate the theory in a "formalism local" (or F-local) fashion. A formulation of a physical theory is said to be F-local if, in making predictions for any given arbitrary space-time region, we need only refer to mathematical objects pertaining to that region. This is a desirable property both on the grounds of efficiency and since, if we have indefinite causal structure, it is not clear how to select some other space-time region on which our calculations may depend. The usual ways of formulating physical theories (the time evolving state picture, the histories approach, and the local equations approach) are not F-local. We set up a framework for probabilistic theories with indefinite causal structure. This, the causaloid framework, is F-local. We describe how Quantum Theory can be formulated in the causaloid framework (in an F-local fashion). This provides yet another formulation of Quantum Theory. This formulation, however, may be particularly relevant to the problem of finding a theory of Quantum Gravity.

  10. West Virginia University 1 In this section

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    West Virginia University 1 Admissions In this section: Application: · General Information · Robert

  11. CROSS SECTION EVALUATIONS FOR ENDF/B-VII.

    SciTech Connect (OSTI)

    HERMAN, M.; ROCHMAN, D.; OBLOZINSKY, P.

    2006-06-05T23:59:59.000Z

    This is the final report of the work performed under the LANL contract on neutron cross section evaluations for ENDF/B-VII (April 2005-May 2006). The purpose of the contract was to ensure seamless integration of the LANL neutron cross section evaluations in the new ENDF/B-VII library. The following work was performed: (1) LANL evaluated data files submitted for inclusion in ENDF/B-VII were checked and, when necessary, formal formatting errors were corrected. As a consequence, ENDF checking codes, run on all LANL files, do not report any errors that would rise concern. (2) LANL dosimetry evaluations for {sup 191}Ir and {sup 193}Ir were completed to match ENDF requirements for the general purpose library suitable for transport calculations. A set of covariances for both isotopes is included in the ENDF files. (3) Library of fission products was assembled and successfully tested with ENDF checking codes, processed with NJOY-99.125 and simple MCNP calculations. (4) KALMAN code has been integrated with the EMPIRE system to allow estimation of covariances based on the combination of measurements and model calculations. Covariances were produced for 155,157-Gd and also for 6 remaining isotopes of Gd.

  12. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn AprilA Approved:AdministrationAnalysis andBHoneywell9/%2ARequest forMod 002; SECTION

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

    E-Print Network [OSTI]

    Yuehong Xie

    2009-04-29T23:59:59.000Z

    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.

  14. Formal subdivision of the Quaternary System/Period: past, present, and future

    E-Print Network [OSTI]

    Head, Martin J.; Gibbard, Philip L.

    2015-06-25T23:59:59.000Z

    ; Capraro et al., this volume). 3. Chiba section in Japan (Kazaoka et al., this volume; Suganuma et al., 2015). Of the first two, the Montalbano Jonico section is expanded relative to the Valle di Manche section, but diagenesis has compromised...

  15. Beyond parallax barriers: applying formal optimization methods to multilayer automultiscopic displays

    E-Print Network [OSTI]

    Lanman, Douglas

    This paper focuses on resolving long-standing limitations of parallax barriers by applying formal optimization methods. We consider two generalizations of conventional parallax barriers. First, we consider general two-layer ...

  16. 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 Email: vishnup@ece.cmu.edu Email: alokj@cadence.com Email: randy.bryant@cs.cmu.edu Abstract This paper

  17. Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant Carnegie Mellon University School of Computer Science Pittsburgh, PA 15213 USA Randy.Bryant@cs.cmu.edu Abstract

  18. Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant

    E-Print Network [OSTI]

    Bryant, Randal E.

    Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant Carnegie Mellon University School of Computer Science Pittsburgh, PA 15213 USA Randy.Bryant@cs.cmu.edu Abstract

  19. Analysis of Path Planning Algorithms : a Formal Verification-based Approach Arash Khabbaz Saberi1

    E-Print Network [OSTI]

    Groote, Jan Friso

    Analysis of Path Planning Algorithms : a Formal Verification-based Approach Arash Khabbaz Saberi1, The Netherlands a.khabbaz.saberi@student.tue.nl, j.f.groote@tue.nl, s.keshishzadeh@tue.nl Abstract

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

  1. A Formal Ontology for Industrial Maintenance Mohamed Hedi KARRAY*, Brigitte CHEBEL-MORELLO*, Noureddine ZERHOUNI*

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    - ing to different strategies (preventive maintenance, predictive maintenance, correc- tive maintenanceA Formal Ontology for Industrial Maintenance Mohamed Hedi KARRAY*, Brigitte CHEBEL of information and communication technol- ogies has resulted in a variety of maintenance support systems

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

    SciTech Connect (OSTI)

    Upadhyay, Sudhaker, E-mail: sudhakerupadhyay@gmail.com

    2014-05-15T23:59:59.000Z

    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.

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

  4. A proof of Tsygan's formality conjecture for an arbitrary smooth manifold

    E-Print Network [OSTI]

    Dolgushev, Vasiliy A

    2005-01-01T23:59:59.000Z

    Proofs of Tsygan's formality conjectures for chains would unlock important algebraic tools which might lead to new generalizations of the Atiyah-Patodi-Singer index theorem and the Riemann-Roch-Hirzebruch theorem. Despite ...

  5. The KTY formalism and nonadiabatic contributions to the neutrino oscillation probability

    E-Print Network [OSTI]

    Yasuda, Osamu

    2014-01-01T23:59:59.000Z

    It is shown how to obtain the analytical expression for the effective mixing angle in matter using the formalism which was developed by Kimura, Takamura and Yokomakura. If the baseline of the neutrino path is long enough so that averaging over rapid oscillations is a good approximation, then with the help of Landau's method, the nonadiabatic contribution to the oscillation probability can be expressed analytically by this formalism. We give two examples in which the present method becomes useful.

  6. Proc. of 2nd IEEE Int. Conf. on Formal Engineering Methods, Dec. 1998, Brisbane, Australia Automatic Synthesis of Controllers from Formal Specifications

    E-Print Network [OSTI]

    Tronci, Enrico

    as a deterministic Finite State System (FSS) a program implementing a controller can be automatically synthesized Automatic Synthesis of Controllers from Formal Specifications Enrico Tronci 1 Dipartimento di Matematica://univaq.it/¸tronci Abstract Many safety critical reactive systems are indeed embed­ ded control systems. Usually a control

  7. Absorption cross section in Lifshitz black hole

    E-Print Network [OSTI]

    Taeyoon Moon; Yun Soo Myung

    2012-10-05T23:59:59.000Z

    We derive the absorption cross section of a minimally coupled scalar in the Lifshitz black hole obtained from the new massive gravity. The absorption cross section reduces to the horizon area in the low energy and massless limit of s-wave mode propagation, indicating that the Lifshitz black hole also satisfies the universality of low energy absorption cross section for black holes.

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

    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.

  9. The High-Energy Behavior of Photon, Neutrino and Proton Cross Sections

    E-Print Network [OSTI]

    Arguelles, Carlos A; Will, Logan; Kroll, Mike; Reno, Mary Hall

    2015-01-01T23:59:59.000Z

    By combining the color dipole model of the nucleon with the assumption that cross sections behave asymptotically as $\\ln^2(s)$, we are able to describe the data for photon, neutrino and hadron interactions with protons at all energies, $s$ is the center-of-mass energy of the interacting particles. Specifically, we extrapolate the perturbative QCD calculations into the regime of small fractional parton momenta $x$ using a color dipole description of the proton target that guarantees an asymptotic $\\ln^2(s)$ behavior of all cross sections. The ambiguity of introducing a parametrization associated with the dipole approximation is mitigated by the requirement that the saturation of the small-$x$ structure functions produces $\\ln^2(s)$-behaved asymptotic cross sections, in agreement with the data. The same formalism allows us to calculate the cross section for the hadronic pair production of charm particles. The results, in particular those for the high-energy neutrino and charm cross sections, are relevant for ev...

  10. SNL RML recommended dosimetry cross section compendium

    SciTech Connect (OSTI)

    Griffin, P.J.; Kelly, J.G.; Luera, T.F. [Sandia National Labs., Albuquerque, NM (United States)] [Sandia National Labs., Albuquerque, NM (United States); VanDenburg, J. [Science and Engineering Associates, Inc., Albuquerque, NM (United States)] [Science and Engineering Associates, Inc., Albuquerque, NM (United States)

    1993-11-01T23:59:59.000Z

    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.

  11. The appearance of coordinate shocks in hyperbolic formalisms of General Realtivity

    E-Print Network [OSTI]

    Miguel Alcubierre

    1997-03-07T23:59:59.000Z

    I consider the appearance of shocks in hyperbolic formalisms of General Relativity. I study the particular case of the Bona-Masso formalism with zero shift vector and show how shocks associated with two families of characteristic fields can develop. These shocks do not represent discontinuities in the geometry of spacetime, but rather regions where the coordinate system becomes pathological. For this reason I call them coordinate shocks. I show how one family of shocks can be eliminated by restricting the Bona-Masso slicing condition to a special case. The other family of shocks, however, can not be eliminated even in the case of harmonic slicing. I also show the results of numerical simulations in the special cases of a flat two-dimensional spacetime, a flat four-dimensional spacetime with a spherically symmetric slicing, and a spherically symmetric black hole spacetime. In all three cases coordinate shocks readily develop, confirming the predictions of the mathematical analysis. Although here I concentrate in the Bona-Masso formalism, the phenomena of coordinate shocks should arise in any other hyperbolic formalism. In particular, since the appearance of the shocks is determined by the choice of gauge, the results presented here imply that in any formalism the use of a harmonic slicing can generate shocks.

  12. From Office of the General Counsel, Columbia University If I request it, can CTV review consulting agreements between me and outside companies?

    E-Print Network [OSTI]

    Yang, Junfeng

    From Office of the General Counsel, Columbia University If I request it, can CTV review consulting to your CTV Technology Licensing Officer, or to techventures@columbia.edu. However, you should note that our review of this agreement is solely focused to ensure that its terms do not conflict with Columbia

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

  14. [Type a quote from the document or the summary of an interesting point. Juhree's career includes decades of management, consulting, strategic planning, policy

    E-Print Network [OSTI]

    Illinois at Chicago, University of

    [Type a quote from the document or the summary of an interesting point. . Juhree's career includes decades of management, consulting, strategic planning, policy development and coaching at senior levels training has also equipped staff to manage conflict, adapt to new roles and organizational changes

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

    production need improvement. In that respect, CFD predictions of the flow and heat transport in nuclear fuelNuclear Research & Consultancy Group (NRG) develops and provides sustainable nuclear technology organizations and various branches of industry - including the nuclear, financial services and medical sectors

  16. I.N. Sviatoslavsky, M.E. Sawan, E.A. Mogahed, University of Wisconsin S. Malang, Fusion Nuclear Technology Consulting, Germany

    E-Print Network [OSTI]

    Technology Consulting, Germany C.P.C. Wong, M. Friend, General Atomics S. Majumdar, Argonne National Blanket 681°C 616 °C Mixer He 480°C 660 °C HX 500 °C 500°C Outboard to turbine 681°C 500 °C586 °C 681°C

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

    of overheating of the nuclear reactor core during a severe accident, large amount of hydrogen are generatedNuclear Research & Consultancy Group (NRG) develops and provides sustainable nuclear technology for energy, environment, and health. NRG offers a wide range of services to energy utilities, government

  18. It is the responsibility of the student to meet all deadlines specified by the Department and by the Graduate School. Students should consult the Graduate School Policies and Procedures (http://www.grad.buffalo.edu/policies).

    E-Print Network [OSTI]

    Krovi, Venkat

    and by the Graduate School. Students should consult the Graduate School Policies and Procedures (http semester until graduation Not later than second semester, preferably by the end of first semester Any time or project advisor by the end of their first semester. Register for classes after consulting your academic

  19. Expandable mixing section gravel and cobble eductor

    DOE Patents [OSTI]

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

    1997-01-01T23:59:59.000Z

    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.

  20. Simultaneous Measurement of Tracer and Interdiffusion Coefficients: An Isotopic Phenomenological Diffusion Formalism for the Binary Alloy

    SciTech Connect (OSTI)

    Belova, Irina [University of Newcastle, NSW, Australia; Kulkarni, Nagraj S [ORNL; Sohn, Yong Ho [University of Central Florida; Murch, Prof. Graeme [University of Newcastle, NSW, Australia

    2013-01-01T23:59:59.000Z

    In this paper, a new development of the classic Onsager phenomenological formalism is derived using relations based on linear response theory. The development concerns the correct description of the fluxes of the atomic isotopes. The resulting expressions in the laboratory frame are surprisingly simple and consist of terms coming from the standard interdiffusion expressions and from Fick s first law where the tracer diffusion coefficient is involved thus providing a better understanding of the relationship between the two approaches - Fick s first law and the Onsager phenomenological formalism. From an experimental application perspective, the new development is applied to the binary alloy case. The formalism provides the means to obtain the interdiffusion coefficient and tracer diffusion coefficients simultaneously from analysis of the interdiffusion concentration profiles in a single experiment.

  1. Application of axiomatic formal theory to the Abraham--Minkowski controversy

    E-Print Network [OSTI]

    Crenshaw, Michael E

    2015-01-01T23:59:59.000Z

    The Abraham--Minkowski controversy refers to a long-standing inability to adequately address certain issues involving the momentum of an electromagnetic field in a linear dielectric medium. We treat continuum electrodynamics as an axiomatic formal theory based on the macroscopic Maxwell equations applied to a thermodynamically closed system consisting of an antireflection coated block of a linear dielectric material situated in free-space that is illuminated by a quasimonochromatic field. We demonstrate that the Minkowski formulation of the continuity of energy and momentum is a valid theorem of the formal theory of continuum electrodynamics that is proven false by conservation laws. Furthermore, we show that another valid theorem of continuum electrodynamics is contradicted by special relativity. Our options are: 1) that the axioms of the formal theory, the macroscopic Maxwell equations, are proven false by conservation laws and relativity, 2) that conservation and relativity are proven false by continuum el...

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

  3. {sup 16}O neutron cross section evaluation

    SciTech Connect (OSTI)

    Caro, E. [Lockheed Martin Corp., Schenectady, NY (United States)

    1998-06-01T23:59:59.000Z

    This work has resulted from a need to compute more accurately the neutron scattering cross sections and angular distributions for {sup 16}O. Several oxygen evaluations have been performed in the past with R-Matrix theory, including ENDF/B-V and ENDF/B-VI. ENDF/B-VI is an improvement over ENDF/B-V, but still underpredicts in general the forward scattering of neutrons below 2.5 MeV. R-Matrix theory is used in describing cross sections at and near the resonance energies; but may not always be adequate in describing cross sections between resonances, especially when they are widely spaced. The optical (potential well) model of the nucleus is very good in representing cross sections that vary smoothly with energy, but not at describing all of the detailed resonance cross sections. A combination of the potential well model and R-Matrix theory was used for this work to represent cross sections with isolated resonances with large spacings between them. The total neutron cross section of oxygen-16 below 3.0 MeV has widely separated resonances and a dip in the cross section at 2.35 MeV. In the vicinity of resonances, where cross sections vary rapidly with energy, R-Matrix theory has been successful in fitting experimental data. In the region between resonances, an analytical procedure with physical basis is needed that agrees with data over a wide range of energies bracketing regions where experimental measurements are lacking.

  4. Statistics of Merging Peaks of Random Gaussian Fluctuations: Skeleton Tree Formalism

    E-Print Network [OSTI]

    Hitoshi Hanami

    1999-10-02T23:59:59.000Z

    In order to study the statistics of the objects with hierarchical merging, we propose the skeleton tree formalism, which can analytically distinguish the episodic merging and the continuous accretion in the mass growth processes. The distinction was not clear in extended Press-Schechter (PS) formalism. The skeleton tree formalism is a natural extension of the peak theory which is an alternative formalism for the statistics of the bound objects. The fluctuation field smoothing with Gaussian filter produces the landscape with adding the extra-dimension of the filter resolution scale to the spatial coordinate of the original fluctuation. In the landscape, some smoothing peaks are nesting into the neighboring peaks at a type of critical points called sloping saddles appears, which can be interpreted as merging events of the objects in the context of the hierarchical structure formation. The topological properties of the landscape can be abstracted in skeleton trees, which consist of line process of the smoothing peaks and the point process of the sloping saddles. According to this abstract topological picture, in this paper, we present the concept and the basic results of the skeleton tree formalism to describe (1) the distinction between the accretion and the merger in the hierarchical structure formation from various initial random Gaussian fields; (2) the instantaneous number density of the sloping saddles which gives the instantaneous scale function of the objects with the destruction and reformation in the mergers; (3) the rates of the destruction, the reformation, and the relative accretion growth; (4) the self-consistency of the formalism for the statistics of the mass growth processes of the objects; (5) the mean growth history of the objects at the fixed mass.

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

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

  6. Casimir force between a sphere and a plane: spectral representation formalism

    E-Print Network [OSTI]

    Cecilia Noguez; C. E. Roman-Velazquez

    2003-12-10T23:59:59.000Z

    We develop a spectral representation formalism to calculate the Casimir force in the non-retarded limit, between a spherical particle and a substrate, both with arbitrary local dielectric properties. This spectral formalism allows one to do a systematic study of the force as a function of the geometrical variables separately from the dielectric properties. We found that the force does not follow a simple power-law as a function of the separation between the sphere and substrate. As a consequence, the non-retarded Casimir force is enhanced by several orders of magnitude as the sphere approaches the substrate, while at large separations the dipolar term dominates the force.

  7. NDAA Section 3116 Waste Determinations with Related Disposal...

    Office of Environmental Management (EM)

    NDAA Section 3116 Waste Determinations with Related Disposal Performance Assessments NDAA Section 3116 Waste Determinations with Related Disposal Performance Assessments Section...

  8. Section 4. Inventory Table of Contents

    E-Print Network [OSTI]

    Section 4. Inventory Table of Contents 4.1 Existing Legal Protections........................................................................................................... 14 #12;Draft Umatilla/Willow Subbasin Plan May 28, 2004 4. Inventory of Existing Activities The following section contains information derived from an inventory questionnaire that was sent

  9. FAR SIDE ONLY SECTION A-A

    E-Print Network [OSTI]

    McDonald, Kirk

    NOTES 1. WELDING SHALL BE PERFORMED IN ACCORDANCE WITH ASME SECTION IX. NO CODE STAMP REQUIRED. 2. ALL is property of 1. ALL DIMENSIONS ARE IN INCHES 2. INTERPRET DIMENSIONS AND TOLERANCES PER ASME Y14.5M 3 REQUIRED. NO RADIOGRAPHY REQUIRED. 2. ALL WELDS SHALL BE DYE PENETRANT INSPECTED. WITH ASME SECTION IX

  10. Belief Revision through the Belief Function Formalism in a MultiAgent Environment

    E-Print Network [OSTI]

    Belief Revision through the Belief Function Formalism in a Multi­Agent Environment Aldo Franco, Ancona, Abstract. To perform ``belief revision'' in a multi­agent environment, we followed two main, suggesting ways to overcome the mentioned limitations. Content Areas: belief revision, multi­agent systems

  11. Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip

    E-Print Network [OSTI]

    Joseph Fourier Grenoble-I, Université

    Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network in the high-level language CHP, by using model checking techniques provided by the CADP toolbox. Our proposal is based on an automatic translation from CHP into LOTOS, the process algebra used in CADP. A translator

  12. Formal Verification of CHP Specifications with CADP, Illustration on an Asynchronous Network-on-Chip

    E-Print Network [OSTI]

    Joseph Fourier Grenoble-I, Université

    Formal Verification of CHP Specifications with CADP, Illustration on an Asynchronous Network of the Presentation · Introduction · Translation from CHP to LOTOS · CADP toolbox overview · Verification of ANOC Context & Objective process calculus CHP Petri nets process calculus LOTOS (CEA/Leti) translation

  13. LARGE DEVIATIONS AND THE THERMODYNAMIC FORMALISM: A NEW PROOF OF THE EQUIVALENCE OF ENSEMBLES a

    E-Print Network [OSTI]

    LARGE DEVIATIONS AND THE THERMODYNAMIC FORMALISM: A NEW PROOF OF THE EQUIVALENCE OF ENSEMBLES a J The Equivalence of Ensembles In statistical mechanics the problem of the equivalence of ensembles goes back, the microcanonical measures and the grand canonical measures are equivalent; making precise the meaning

  14. Lessons Learned from a Successful Implementation of Formal Methods in an

    E-Print Network [OSTI]

    Lawford, Mark

    Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project Alan, Hamilton, Ontario, Canada L8S 4L7 Abstract. This paper describes the lessons we learned over a thirteen Generation Inc., Feb 1997--Dec 1998 c #2003 Springer­Verlag #12; 2 Lessons Learned from Successful

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

    E-Print Network [OSTI]

    Aidaoui, A

    2006-01-01T23:59:59.000Z

    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.

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

    E-Print Network [OSTI]

    A. Aidaoui; M. Tahiri

    2006-07-13T23:59:59.000Z

    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.

  17. Formal Methods for the Specification and Design of RealTime Safety Critical

    E-Print Network [OSTI]

    Ostroff, Jonathan S.

    Formal Methods for the Specification and Design of Real­Time Safety Critical Systems \\Lambda Jonathan S. Ostroff April, 1992 Abstract Safety critical computers increasingly affect nearly every aspect, designing and verifying real­time sys­ tems, so as to improve their safety and reliability. \\Lambda

  18. SC(R) 3 : Towards Usability of Formal Methods Marsha Chechik

    E-Print Network [OSTI]

    Chechik, Marsha

    to a broad range of critical systems, including control systems for nuclear power plants [69], avionics against adopting formal methods in practice, especially outside the domain of safety­ critical systems systems [76, 28, 64, 61], space systems [24, 25], and military systems [42]. The SCR notation

  19. Efficient and Formally Proven Reduction of Large Integers by Small Moduli

    E-Print Network [OSTI]

    van Eekelen, Marko

    Red can be embedded in a loop in order to reduce large integers. Some transformations are appliedEfficient and Formally Proven Reduction of Large Integers by Small Moduli LUC RUTTEN Delft-bit integers by w-bit integers, reductions of large integers by moduli M smaller than 2w-1 are often

  20. ccsd-00004163,version1-4Feb2005 Free Energy Formalism for Particle Adsorption

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    ccsd-00004163,version1-4Feb2005 Free Energy Formalism for Particle Adsorption Pierre Gosselin1 of particles adsorption is investigated theoretically. The model relies on a free energy formulation which of potentially adsorbed particles is very high. As an application we consider the equilibrium physical adsorption

  1. Business and Information System Alignment: a Formal Solution for Telecom Services

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Business and Information System Alignment: a Formal Solution for Telecom Services Jacques Simonin1 to the company strategy. The business view represents the target organization of the considered company business view of telecom services. This solution is based on the definition of a strategic alignment

  2. Probabilistic Relational Model (PRM)_based Technical Knowledge Formalization for Dependability of an Industrial System

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    to develop a decision-making aid tool which purpose is to assess the dependability and performances). In order to improve business performances, maintenance is thus directly related to risk analysis to evaluate risk analysis, maintenance and dependability. The idea of this formalization is to unify multiple

  3. A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft show that soft constraints can be used to model logical reasoning, that is deduction and abduction (and induction). In partic- ular, we focus on the abduction process and we show how it can be implemented

  4. On the Formal Analysis of a Spatio-Temporal Role-Based Access Control Model

    E-Print Network [OSTI]

    Ray, Indrakshi

    On the Formal Analysis of a Spatio-Temporal Role-Based Access Control Model Manachai Toahchoodee. For crit- ical applications, a model for spatio-temporal-based access control is needed that increases. Consequently, researchers have proposed various spatio-temporal access control models that are useful

  5. Formal Specification of an Access Control System Susan Stepney and Stephen P. Lord

    E-Print Network [OSTI]

    Stepney, Susan

    administrations pose a problem of access control. Who decides who can use what? We specify a formal model. The model, written in the Z specification language, has been developed as the access control system control systems to meet their differing requirements. A system based on the model would allow users to log

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

  7. A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    levels. Here, we are only interested in security control at the message exchanges level. 2. Background approaches of formalization are presented: process calculus models for expressing and analyzing service based-systems impor- tant security properties, like access control on services, con- fidentiality on transmitted data

  8. Formal Modeling and Evaluation of Stateful Service-based Business Process Elasticity in the

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Formal Modeling and Evaluation of Stateful Service-based Business Process Elasticity in the Cloud Based on the pay-as-you-go business principle, the Cloud computing is a new model for provisioning are being increasingly used for deploy- ing and executing business processes and particularly Service

  9. A Formal Model for A System's Attack Surface Pratyusa K. Manadhata Dilsun K. Kaynar

    E-Print Network [OSTI]

    Wing, Jeannette M.

    A Formal Model for A System's Attack Surface Pratyusa K. Manadhata Dilsun K. Kaynar Jeannette M software [18]. In this paper, we propose to use a software system's attack surface measurement as an indicator of the system's security; the larger the attack surface, the more insecure the system. We

  10. Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications

    E-Print Network [OSTI]

    Heljanko, Keijo

    C4.2 Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications and control (I&C) systems play a crucial role in the operation of nuclear power plants (NPP) and other safety is available. The use of model checking to verify two nuclear power plant related systems is described: an arc

  11. Formal Methods for First Years Faron Moller Liam O'Reilly

    E-Print Network [OSTI]

    Moller, Faron G.

    computer programs (the mathematical software) and building computers (the engineering hardware). Textbooks as bridges or aeroplanes, and a canon of mathematical methods for modelling computing systems is thereforeFormal Methods for First Years Faron Moller Liam O'Reilly Department of Computer Science Swansea

  12. Towards Formally Verifiable Resource Bounds for Real-Time Embedded Systems

    E-Print Network [OSTI]

    Dyckhoff, Roy

    aimed at the construction of formal cost models and analyses that are capable of producing verifiable impose very strong requirements on both space and time usage. This reflects the cost sensitivity of typical embedded systems designs: with high production volumes, small differences in unit hardware cost

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

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

  15. Formal Analysis and Validation of Continuous-Time Markov Chain based System Level Power Management Strategies

    E-Print Network [OSTI]

    Oxford, University of

    Formal Analysis and Validation of Continuous-Time Markov Chain based System Level Power Management that competitive analysis based power management strategies can be automatically analyzed for proving competitive bounds and for validating power management strate- gies using the SMV model checker. In this paper, we

  16. A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management

    E-Print Network [OSTI]

    Ha, Dong S.

    A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management Shrirang, tlmartin, ha}@vt.edu Abstract Recent advances in Dynamic Power Management (DPM) tech- niques have resulted in designs that support a rich set of power management options, both at the hardware and software levels

  17. Formal Analysis and Validation of ContinuousTime Markov Chain based System Level Power Management Strategies

    E-Print Network [OSTI]

    Oxford, University of

    Formal Analysis and Validation of Continuous­Time Markov Chain based System Level Power Management that competitive analysis based power management strategies can be automatically analyzed for proving competitive bounds and for validating power management strate­ gies using the SMV model checker. In this paper, we

  18. Capability & Potential for Formal Feature-oriented Reuse in Event-B

    E-Print Network [OSTI]

    debugging earlier in the software de- velopment life cycle (SDLC). It is also well known that cost of finding and fixing the bugs later in the SDLC is much more expensive than in the ear- lier requirements more time is spent in the earlier phase of SDLC while using formal modelling, significant reduction

  19. Use of Patterns in Formal Development: Systematic Transition From Problems to Architectural

    E-Print Network [OSTI]

    Choppy, Christine

    development lifecycle that derives the design of the software directly from the require­ ments and then passes present a pattern­based software lifecycle and a method that sup­ ports the systematic execution of that lifecycle. First, problem frames are used to develop a formal specification of the problem to be solved

  20. Use of Patterns in Formal Development: Systematic Transition From Problems to Architectural

    E-Print Network [OSTI]

    Choppy, Christine

    development lifecycle that derives the design of the software directly from the require- ments and then passes present a pattern-based software lifecycle and a method that sup- ports the systematic execution of that lifecycle. First, problem frames are used to develop a formal specification of the problem to be solved

  1. Discovering Concrete Attacks on Website Authorization by Formal Analysis Chetan Bansal

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    . After years of ad hoc au- thentication and authorization mechanisms for web APIs, a series of standards to the APIs and support offered by prominent social networks, such as Facebook, Twitter, and Google, on the basis of new open standards such as the OAuth 2.0 authorization protocol. A formal analysis

  2. A formal software requirements specification method for digital nuclear plant protection systems

    E-Print Network [OSTI]

    A formal software requirements specification method for digital nuclear plant protection systems of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology (KAIST Institute (KAERI), MMIS team, 150, Deokjin-dong, Yusong-gu, Taejon, South Korea Received 18 March 2003

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

    E-Print Network [OSTI]

    Charles E. Smith

    2006-01-18T23:59:59.000Z

    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.

  4. Nordic Journal of Computing 13(2006), 221 Structured Formal Development in Isabelle

    E-Print Network [OSTI]

    Johnsen, Einar Broch

    2006-01-01T23:59:59.000Z

    Nordic Journal of Computing 13(2006), 2­21 Structured Formal Development in Isabelle MAKSYM BORTIN] offer powerful proof support, and include libraries formalising a considerable amount of mathematics. This is particularly use- ful for developing safety-critical systems where a full formalisation is needed, Research

  5. Nordic Journal of Computing 13(2006), 1--20. STRUCTURED FORMAL DEVELOPMENT IN ISABELLE

    E-Print Network [OSTI]

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

    2006-01-01T23:59:59.000Z

    Nordic Journal of Computing 13(2006), 1--20. STRUCTURED FORMAL DEVELOPMENT IN ISABELLE MAKSYM#er powerful proof support, and include libraries formalising a considerable amount of mathematics. This is particularly useful for developing safety­critical systems # Research supported by DFG under grants LU 707

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

    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.

  7. A TOPOLOGICAL CALCULUS FOR FORMAL POWER SERIES Abstract. We propose geometric models for performing various computa

    E-Print Network [OSTI]

    Ray, Nige

    â??ole for products and reciprocals. Several of the underlying ideas are rooted in algebraic combinatorics, especially] in algebraic topology. Our project has been stimulated by growing interest amongst combinatorialists and conventions for formal power series, basing our treatment on that of Henrici [9]. We assume given

  8. Formally Modeling a Metal Processing Plant and its Closed Loop Speci cations

    E-Print Network [OSTI]

    Tronci, Enrico

    control systems automatic synthesis is a viable and pro table especially as far as design e ort@univaq.it, http: univaq.it tronci Abstract We present a case study on automatic synthesis of control software from formal speci cations for an indus- trial automation control system. Our aim is to compare the e

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

  10. A formal semantics of PLC programs in Coq Sidi OULD BIHA

    E-Print Network [OSTI]

    Boyer, Edmond

    A formal semantics of PLC programs in Coq Sidi OULD BIHA FORMES project, INRIA and Tsinghua University Beijing, China Sidi.Ould Biha@inria.fr Abstract--Programmable logic Controllers (PLC) are embedded) language, one of the five programing languages defined in the IEC 61131-3 standard for PLC programing

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

  12. Action Models: A Reliability Modeling Formalism for Fault-Tolerant Distributed Computing Systems

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

    Action Models: A Reliability Modeling Formalism for Fault-Tolerant Distributed Computing Systems. Introduction Model-based evaluation of the reliability of distributed systems has traditionally required expert- proach to analyze the reliability of fault-tolerant distributed systems. More in particular, we want

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

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

  15. EOC Title: Logistics Section Chief General Description The Logistics Section Chief is responsible for providing facilities, services, and

    E-Print Network [OSTI]

    Walker, Matthew P.

    LOGISTICS EOC Title: Logistics Section Chief General Description The Logistics Section Chief EOC operating requirements. Key Role & Responsibilities · Ensure the logistics function is carried out Staff for Complex Incidents Training for Section Chiefs · Logistics Section Chief Training #12;

  16. electronic reprint Acta Crystallographica Section B

    E-Print Network [OSTI]

    Brock, Carolyn P.

    electronic reprint Acta Crystallographica Section B Structural Science, Crystal Engineering page is retained. Republication of this article or its storage in electronic databases other than Science, Crystal Engineering and Materials Editors: Alexander J. Blake and Marc de Boissieu journals

  17. West Virginia University 1 In this section

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    West Virginia University 1 Minors In this section: · General Statement · Rationale · Requirements to assure that completion of a minor is appropriately recognized and posted to the student's transcript: 1

  18. Asymptotic cross sections for composite projectile reactions

    E-Print Network [OSTI]

    Neves, Andrea Marolt Pimenta

    1995-01-01T23:59:59.000Z

    , the sum of elastic, excited, and ionized states. 42 Figure 8: Our First Born calculations are plotted against the RHF and FBBP results for a lithium ion projectile 43 Figure 9: We have plotted the ratio of our First Born cross sections with the FBBP... sections to those calculated through analytic methods for a helium ion projectile. Page Figure 12: A comparison of the ratio of our First Born Approximation to those calculated through analytic methods for a lithium ion projectile...

  19. Modified Empirical Parametrization of Fragmentation Cross Sections

    E-Print Network [OSTI]

    K. Sümmerer; B. Blank

    1999-11-17T23:59:59.000Z

    New experimental data obtained mainly at the GSI/FRS facility allow to modify the empirical parametrization of fragmentation cross sections, EPAX. It will be shown that minor modifications of the parameters lead to a much better reproduction of measured cross sections. The most significant changes refer to the description of fragmentation yields close to the projectile and of the memory effect of neutron-deficient projectiles.

  20. Absorption cross section of RN black hole

    E-Print Network [OSTI]

    Sini R.; V. C. Kuriakose

    2007-08-23T23:59:59.000Z

    The behavior of a charged scalar field in the RN black hole space time is studied using WKB approximation. In the present work it is assumed that matter waves can get reflected from the event horizon. Using this effect, the Hawking temperature and the absorption cross section for RN black hole placed in a charged scalar field are calculated. The absorption cross section $\\sigma _{abs}$ is found to be inversely proportional to square of the Hawking temperature of the black hole.

  1. Benchmark single-differential ionization cross section results for the {ital s}-wave model of electron-hydrogen scattering

    SciTech Connect (OSTI)

    Baertschy, M. [Department of Applied Science, University of California--Davis, Livermore, California 94550 (United States)] [Department of Applied Science, University of California--Davis, Livermore, California 94550 (United States); Rescigno, T.N. [Lawrence Livermore National Laboratory, Livermore, California 94550 (United States)] [Lawrence Livermore National Laboratory, Livermore, California 94550 (United States); Isaacs, W.A.; McCurdy, C.W. [Lawrence Berkeley National Laboratory, Berkeley, California 94720 (United States)] [Lawrence Berkeley National Laboratory, Berkeley, California 94720 (United States)

    1999-07-01T23:59:59.000Z

    Exterior complex scaling enables one to compute the outgoing wave portion of the wave function for three charged particles without explicitly imposing the asymptotic boundary condition for three-body breakup. This technique is used in connection with a high-order finite difference scheme to provide numerically accurate single-differential ionization cross sections for the Temkin-Poet ({ital s}-wave) model of e-H scattering. These benchmark values are compared with results obtained from several recent close-coupling approaches that employ pseudostates to discretize the ionization continuum, but use a strictly two-body scattering formalism. {copyright} {ital 1999} {ital The American Physical Society}

  2. A Response to the Government's "Measuring child poverty: A consultation on better measures of child poverty" from the Centre for Research on Families and Relationships (CRFR) at The University of Edinburgh 

    E-Print Network [OSTI]

    Treanor, Morag

    2013-01-01T23:59:59.000Z

    A response to the Government’s ‘Measuring child poverty: A consultation on better measures of child poverty’ from the Centre for Research on Families and Relationships (CRFR) at the University of Edinburgh www.crfr.ac.uk...

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

    E-Print Network [OSTI]

    Matsen, Frederick A

    2011-01-01T23:59:59.000Z

    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.

  4. Symmetry analysis of radiative spacetimes with a null isotropy using GHP formalism

    E-Print Network [OSTI]

    S. Brian Edgar; Michael Bradley; M. Piedade Machado Ramos

    2014-06-30T23:59:59.000Z

    A complete and simple invariant classification of the conformally flat pure radiation metrics with a negative cosmological constant that were obtained by integration using the generalised invariant formalism is presented. We show equivalence between these metrics and the corresponding type O subclass of the more general spacetime studied by Siklos. The classification procedure indicates that the metrics possess a one degree of null isotropy freedom which has very interesting repercussions in the symmetry analysis. The Killing and homothetic vector analysis in GHP formalism is then generalised to this case were there is only one null direction defined geometrically. We determine the existing Killing vectors for the different subclasses that arise in the classification and compare these results to those obtained in the symmetry analysis performed by Siklos for a larger class of metrics with Ricci tensor representing a pure radiation field and a negative cosmological constant. It is also shown that there are no homothetic Killing vectors present.

  5. Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods

    E-Print Network [OSTI]

    Wollbold, Johannes; Ganter, Bernhard

    2008-01-01T23:59:59.000Z

    Our aim is to build a set of rules, such that reasoning over temporal dependencies within gene regulatory networks is possible. The underlying transitions may be obtained by discretizing observed time series, or they are generated based on existing knowledge, e.g. by Boolean networks or their nondeterministic generalization. We use the mathematical discipline of formal concept analysis (FCA), which has been applied successfully in domains as knowledge representation, data mining or software engineering. By the attribute exploration algorithm, an expert or a supporting computer program is enabled to decide about the validity of a minimal set of implications and thus to construct a sound and complete knowledge base. From this all valid implications are derivable that relate to the selected properties of a set of genes. We present results of our method for the initiation of sporulation in Bacillus subtilis. However the formal structures are exhibited in a most general manner. Therefore the approach may be adapte...

  6. Tribal Consultation and Stakeholder ...

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

    this project is tied in with the Arctic Policy Commission. The Borough is trying to do wind---diesel in Point Lay, using Kotzebue and Nome as examples of best practices and to...

  7. ASSESSING, TRAINING AND CONSULTING

    E-Print Network [OSTI]

    of the reform that began with the creation of the IRD,further stabilising the Institute's internal organisation Paciornik Technical adviser at the Brazilian research ministry, energy, environment Rémi Pochat Scientific researcher at the CNRS, climatology Sergio Revah, Professor at the Autonomous Metropolitan University, Mexico

  8. CONSULTANT REPORT DISTRIBUTED GENERATION

    E-Print Network [OSTI]

    an independent cost analysis to interconnect and integrate increased penetration levels of renewable distributed costs. The Energy Commission considers this study a first step toward the 2012 Integrated Energy Policy Generation Integration Cost Study: Analytical Framework. California Energy Commission. CEC2002013007. i

  9. SF6432-CO Consulting

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Scienceand Requirements RecentlyElectronicResourcesjobs RunningSEABRV 148002/01/12 Page

  10. SF6432-CO Consulting

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Scienceand Requirements RecentlyElectronicResourcesjobs RunningSEABRV 148002/01/12 Page7/31/13

  11. A. Hampel (Scientific Consultant)

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del(ANL-IN-03-032) -Less isNFebruaryOctober 2,generationPhysicsA2 September 9 - Tuesday

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

    E-Print Network [OSTI]

    T. Duguet; J. Sadoudi

    2010-10-19T23:59:59.000Z

    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.

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

    E-Print Network [OSTI]

    Ishwar Dutt; Narinder K. Dhiman

    2010-11-19T23:59:59.000Z

    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.

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

    E-Print Network [OSTI]

    Michael L. Walker; Steven Duplij

    2015-03-15T23:59:59.000Z

    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.

  15. Combining spatial, textual and temporal analysis for the construction and incremental formalization of knowledge

    E-Print Network [OSTI]

    Maloor, Preetam

    2001-01-01T23:59:59.000Z

    these attributes, the users, over a period of time, create a visual language of symbol types and composites that categonze and establish relationships amongst objects m the workspace. Common visual structures are recognized by a spatial parser mechanism m VIKI.... VIKI also has a somewhat more formal mechanism for categonzation and defimng relationships. It acuvely supports the defmition of collections and composites through suggestions. Homogenous object clusters that arc surrounded by other clusters...

  16. Temperature Dependent Neutron Scattering Sections for Polyethylene

    E-Print Network [OSTI]

    Roger E. Hill; C. -Y. Liu

    2003-09-05T23:59:59.000Z

    This note presents neutron scattering cross sections for polyethylene at 296 K, 77 K and 4 K derived from a new scattering kernel for neutron scattering off of hydrogen in polyethylene. The kernel was developed in ENDF-6 format as a set of S(alpha,beta) tables using the LEAPR module of the NJOY94 code package. The polyethylene density of states (from 0 to sub eV) adopted to derive the new kernel is presented. We compare our calculated room temperature total scattering cross sections and double differential cross sections at 232 meV at various angles with the available experimental data (at room temperature), and then extrapolate the calculations to lower temperatures (77K and 4K). The new temperature dependent scattering kernel gives a good quantitative fit to the available room temperature data and has a temperature dependence that is qualitatively consistent with thermodynamics.

  17. Analytical study on the Sunyaev-Zeldovich effect for clusters of galaxies. II. Comparison of covariant formalisms

    SciTech Connect (OSTI)

    Nozawa, Satoshi; Kohyama, Yasuharu; Itoh, Naoki [Josai Junior College, 1-1 Keyakidai, Sakado-shi, Saitama, 350-0295 (Japan); Department of Physics, Sophia University, 7-1 Kioi-cho, Chiyoda-ku, Tokyo, 102-8554 (Japan)

    2010-11-15T23:59:59.000Z

    We study a covariant formalism for the Sunyaev-Zeldovich effects developed in the previous papers by the present authors, and derive analytic expressions for the redistribution functions in the Thomson approximation. We also explore another covariant formalism recently developed by Poutanen and Vurm. We show that the two formalisms are mathematically equivalent in the Thomson approximation which is fully valid for the cosmic microwave background photon energies. The present finding will establish a theoretical foundation for the analysis of the Sunyaev-Zeldovich effects for the clusters of galaxies.

  18. Cross sections of neutron-induced reactions

    SciTech Connect (OSTI)

    Mukhopadhyay, Tapan; Lahiri, Joydev; Basu, D. N. [Variable Energy Cyclotron Centre, 1/AF Bidhan Nagar, Kolkata 700064 (India)

    2010-10-15T23:59:59.000Z

    We study the properties of the neutron-nucleus total and reaction cross sections for several nuclei. We have applied an analytical model, the nuclear Ramsauer model, justified it from the nuclear reaction theory approach, and extracted the values of 12 parameters used in the model. The given parametrization has an advantage as phenomenological optical model potentials are limited up to 150-200 MeV. The present model provides good estimates of the total cross sections for several nuclei particularly at high energies.

  19. Covariance Evaluation Methodology for Neutron Cross Sections

    SciTech Connect (OSTI)

    Herman,M.; Arcilla, R.; Mattoon, C.M.; Mughabghab, S.F.; Oblozinsky, P.; Pigni, M.; Pritychenko, b.; Songzoni, A.A.

    2008-09-01T23:59:59.000Z

    We present the NNDC-BNL methodology for estimating neutron cross section covariances in thermal, resolved resonance, unresolved resonance and fast neutron regions. The three key elements of the methodology are Atlas of Neutron Resonances, nuclear reaction code EMPIRE, and the Bayesian code implementing Kalman filter concept. The covariance data processing, visualization and distribution capabilities are integral components of the NNDC methodology. We illustrate its application on examples including relatively detailed evaluation of covariances for two individual nuclei and massive production of simple covariance estimates for 307 materials. Certain peculiarities regarding evaluation of covariances for resolved resonances and the consistency between resonance parameter uncertainties and thermal cross section uncertainties are also discussed.

  20. Total Cross Sections for Neutron Scattering

    E-Print Network [OSTI]

    C. R. Chinn; Ch. Elster; R. M. Thaler; S. P. Weppner

    1994-10-19T23:59:59.000Z

    Measurements of neutron total cross-sections are both extensive and extremely accurate. Although they place a strong constraint on theoretically constructed models, there are relatively few comparisons of predictions with experiment. The total cross-sections for neutron scattering from $^{16}$O and $^{40}$Ca are calculated as a function of energy from $50-700$~MeV laboratory energy with a microscopic first order optical potential derived within the framework of the Watson expansion. Although these results are already in qualitative agreement with the data, the inclusion of medium corrections to the propagator is essential to correctly predict the energy dependence given by the experiment.

  1. Precise neutron inelastic cross section measurements

    SciTech Connect (OSTI)

    Negret, Alexandru [Horia Hulubei National Institute for Physics and Nuclear Engineering, Reactorului 30, 077125 Bucharest-Magurele (Romania)

    2012-11-20T23:59:59.000Z

    The design of a new generation of nuclear reactors requires the development of a very precise neutron cross section database. Ongoing experiments performed at dedicated facilities aim to the measurement of such cross sections with an unprecedented uncertainty of the order of 5% or even smaller. We give an overview of such a facility: the Gamma Array for Inelastic Neutron Scattering (GAINS) installed at the GELINA neutron source of IRMM, Belgium. Some of the most challenging difficulties of the experimental approach are emphasized and recent results are shown.

  2. Section B: Supplies, Services and Costs

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOriginEducationVideo »UsageSecretary of Energy Advisory Board FollowSection 3161 SECTION B

  3. Section C: Description, Specifications and Work Statements

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOriginEducationVideo »UsageSecretary of Energy Advisory Board FollowSection 3161 SECTION BPART I

  4. Section M: Evaluations Factors for Award

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOriginEducationVideo »UsageSecretary of Energy Advisory Board FollowSection 3161L-1 SectionIVV

  5. MiniBooNE Cross Sections

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

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

  6. 45. Neutrino Cross Section Measurements 1 45. Neutrino Cross Section Measurements

    E-Print Network [OSTI]

    for such information in the interpretation of neutrino oscillation data. Scattering results on both charged current (CC, analysis techniques, and detector technologies. With the advent of intense neutrino sources for oscillation45. Neutrino Cross Section Measurements 1 45. Neutrino Cross Section Measurements Written in April

  7. Chapter 7, section 6-8 Chapter 8, section 1-5

    E-Print Network [OSTI]

    The choice is arbitrary because you normally need the difference in potential energy, which is independent1 Week 7, Chapter 7, section 6-8 Chapter 8, section 1-5 Potential Energy and Energy Conservation Potential Energy Potential energy is energy related to the configuration of a system in which

  8. Invasion Ecology of Aquatic Animals FAS 4932 (section 8143) and FAS 6932 (Section 6725)

    E-Print Network [OSTI]

    Watson, Craig A.

    Invasion Ecology of Aquatic Animals FAS 4932 (section 8143) and FAS 6932 (Section 6725) Fall 2006 will provide a comprehensive overview of the field of invasion ecology and will emphasize aspects related will be presented the ecological concepts and debates underlying this developing field; the biology and life history

  9. Report ofReport of Nuclear Fusion Section,Nuclear Fusion Section,

    E-Print Network [OSTI]

    Report ofReport of Nuclear Fusion Section,Nuclear Fusion Section, National Committee for NuclearJapan Atomic Energy Research Institute On the New Way of Nuclear Fusion ResearchOn the New Way of Nuclear on the new way of developing nuclear fusion under the new circumstances (chair: Prof. A. Koyama) under

  10. BUSINESS APPLICATION SECTION 1: BUSINESS CONTACT INFORMATION

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    Location: (street, building, city, State) Number of Employees in NYS prior to moving out of state: Cert ID Limited Liability Company SECTION 2: BUSINESS INFORMATION New Business Existing NYS Business Expanding Previous NYS Business relocating to NYS NYS Incubator Graduate FEIN #: Website: Indicate the Primary North

  11. West Virginia University 1 In this section

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    West Virginia University 1 FERPA In this section: · Notice to Students Regarding FERPA Students at West Virginia University and its divisional campuses ("WVU" or "University") benefit from the Family Educational Rights and Privacy Act of 1974. This Act, with which West Virginia University intends

  12. Equivalence and Order Section 1: Equivalence

    E-Print Network [OSTI]

    Bernstein, Daniel

    Unit EO Equivalence and Order Section 1: Equivalence The concept of an equivalence relation to us, as "equivalence relation" turns out to be just another name for "partition of a set." Our start with the definition. Definition 1 (Equivalence relation) An equivalence relation on a set

  13. Section Notes 3 The Simplex Algorithm

    E-Print Network [OSTI]

    Chen, Yiling

    Section Notes 3 The Simplex Algorithm Applied Math 121 Week of September 22, 2014 Goals for the week · understand how to get from an LP to a simplex tableau. · be familiar with reduced costs, optimal solutions, different types of variables and their roles. · understand the steps of simplex phases I and II

  14. Section Notes 3 The Simplex Algorithm

    E-Print Network [OSTI]

    Chen, Yiling

    Section Notes 3 The Simplex Algorithm Applied Math 121 Week of February 14, 2011 Goals for the week · understand how to get from an LP to a simplex tableau. · be familiar with reduced costs, optimal solutions, different types of variables and their roles. · understand the steps of simplex phases I and II. · be able

  15. Section Notes 3 The Simplex Algorithm

    E-Print Network [OSTI]

    Chen, Yiling

    Section Notes 3 The Simplex Algorithm Applied Math 121 Week of February 17, 2014 Goals for the week · understand how to get from an LP to a simplex tableau. · be familiar with reduced costs, optimal solutions, different types of variables and their roles. · understand the steps of simplex phases I and II. · be able

  16. HUMAN RESOURCES MANUAL SECTION 1: GENERAL PROVISIONS

    E-Print Network [OSTI]

    HUMAN RESOURCES MANUAL SECTION 1: GENERAL PROVISIONS 1 | P a g e S e c t i o n 1 Purpose The purpose of this Human Resources Manual is to: 1. Provide the personnel and payroll policies and procedures, regulations and benefits. 3. Establish requirements and instructions for submission of Human Resources System

  17. Business Application Instructions Section 2: Business Information

    E-Print Network [OSTI]

    Suzuki, Masatsugu

    Business Application Instructions Section 2: Business Information New (or "Eligible") business: means a business that satisfies all of the following tests: a) the business must not be operating; b) the business must not be moving existing jobs into the Tax-Free NY Area from another area

  18. SPECIAL SECTION GUEST EDITORIAL Optics in Neuroscience

    E-Print Network [OSTI]

    SPECIAL SECTION GUEST EDITORIAL Optics in Neuroscience In recent years there has been a strong trend to enhance tra- ditional research techniques in neuroscience with optical- based techniques and temporally spanning submillisecond to sec- onds. Optical techniques are attractive because they enable

  19. SECTION GS1020 CONSTRUCTION CODE REQUIREMENTS

    E-Print Network [OSTI]

    Zhang, Yuanlin

    101, Life Safety Code; 5. National Fire Protection Association Codes and Standards; 6. ANSI/ASME A17SECTION GS1020 ­ CONSTRUCTION CODE REQUIREMENTS PART 1 - GENERAL 1.1 RELATED DOCUMENTS A. Drawings includes the following: 1. Construction code requirements for all construction at Texas Tech University. 1

  20. Dr. Thad M. Adams Materials Technology Section

    E-Print Network [OSTI]

    Dr. Thad M. Adams Materials Technology Section Savannah River National Laboratory DOE Hydrogen extraction/handling/separation/storage operations · Applied R&D provided by Savannah River National for Hydrogen Service #12;Hydrogen Technology at the SavannahHydrogen Technology at the Savannah River SiteRiver

  1. Energy and Society Week 4 Section Solution

    E-Print Network [OSTI]

    Kammen, Daniel M.

    was the largest source of primary energy consumption for the world in 2013: A. Coal B. Natural gas C. Nuclear D of world energy. Oil, coal, natural gas, nuclear, hydro, and renewable contributed to the world's 20131 9/17/2014 Energy and Society Week 4 Section Solution TOPIC 1: Energy & Development: [iClicker]-1

  2. Physical sectioning in 3D biological microscopy

    E-Print Network [OSTI]

    Guntupalli, Jyothi Swaroop

    2008-10-10T23:59:59.000Z

    ...................................................................... 61 G Stepan’s models of regenerative chatter in metal cutting........................... 62 H Chatter model for KESM............................................................................ 64 ix CHAPTER Page I Summary... based on the source of vibration: frictional, regenerative, mode-coupling, and thermo-mechanical [7]. Frictional chatter gets its excitation energy from the friction force either between the workpiece and the tool 15 flank, or between the section...

  3. Physical sectioning in 3D biological microscopy

    E-Print Network [OSTI]

    Guntupalli, Jyothi Swaroop

    2009-05-15T23:59:59.000Z

    ...................................................................... 61 G Stepan?s models of regenerative chatter in metal cutting........................... 62 H Chatter model for KESM............................................................................ 64 ix CHAPTER Page I Summary... based on the source of vibration: frictional, regenerative, mode-coupling, and thermo-mechanical [7]. Frictional chatter gets its excitation energy from the friction force either between the workpiece and the tool 15 flank, or between the section...

  4. electronic reprint Acta Crystallographica Section B

    E-Print Network [OSTI]

    Vocadlo, Lidunka

    electronic reprint Acta Crystallographica Section B Structural Science ISSN 0108-7681 Structures, concluding that a CsCl-type structure would be the thermo- dynamically most stable phase for pressures calculations Lidunka Vocadlo, Geoffrey D. Price and I. G. Wood Copyright © International Union

  5. Section 4 -Financial Information A. General Information

    E-Print Network [OSTI]

    Pantaleone, Jim

    Section 4 - Financial Information A. General Information 1. All University Housing and Dining fees of Alaska campuses until the debt is paid in full. B. Security deposit 1. A security deposit is required performance of the agreement, and (2) for damages beyond normal wear and tear. The security deposit does

  6. electronic reprint Acta Crystallographica Section C

    E-Print Network [OSTI]

    Downs, Robert T.

    electronic reprint Acta Crystallographica Section C Crystal Structure Communications ISSN 0108 that this cover page is retained. Republication of this article or its storage in electronic databases other than of phosphorus and arsenic, especially their roles in soils, water, and waste management (e.g. Huang & Shenker

  7. Testing (Validating?) Cross Sections with ICSBEP Benchmarks

    SciTech Connect (OSTI)

    Kahler, Albert C. III [Los Alamos National Laboratory

    2012-06-28T23:59:59.000Z

    We discuss how to use critical benchmarks from the International Handbook of Evaluated Criticality Safety Benchmark Experiments to determine the applicability of specific cross sections to the end-user's problem of interest. Particular attention is paid to making sure the selected suite of benchmarks includes the user's range of applicability (ROA).

  8. electronic reprint Acta Crystallographica Section E

    E-Print Network [OSTI]

    Downs, Robert T.

    : W. Clegg and D. G. Watson Goethite, «-FeO(OH), from single-crystal data Hexiong Yang, Ren Lu, Robert Crystallographica Section E Structure Reports Online ISSN 1600-5368 Goethite, a-FeO(OH), from single-crystal data Union of Crystallography All rights reserved This is the first reported structure refinement of goethite

  9. Alaska Administrative Code - Title 17, Chapter 10, Section 12...

    Open Energy Info (EERE)

    RegulationRegulation: Alaska Administrative Code - Title 17, Chapter 10, Section 12 - Approval Requirements for EncroachmentsLegal Abstract This section describes the...

  10. Model for Sustainable Urban Design With Expanded Sections on...

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

    Design With Expanded Sections on Distributed Energy Resources, February 2004 Model for Sustainable Urban Design With Expanded Sections on Distributed Energy Resources, February...

  11. A formalism-local framework for general probabilistic theories including quantum theory

    E-Print Network [OSTI]

    Lucien Hardy

    2010-05-27T23:59:59.000Z

    In this paper we consider general probabilistic theories that pertain to circuits which satisfy two very natural assumptions. We provide a formalism that is local in the following very specific sense: calculations pertaining to any region of spacetime employ only mathematical objects associated with that region. We call this "formalism locality". It incorporates the idea that space and time should be treated on an equal footing. Formulations that use a foliation of spacetime to evolve a state do not have this property nor do histories-based approaches. An operation (see figure on left) has inputs and outputs (through which systems travel). A circuit is built by wiring together operations such that we have no open inputs or outputs left over. A fragment (see figure on right) is a part of a circuit and may have open inputs and outputs. We show how each operation is associated with a certain mathematical object which we call a "duotensor" (this is like a tensor but with a bit more structure). In the figure on the left we show how a duotensor is represented graphically. We can link duotensors together such that black and white dots match up to get the duotensor corresponding to any fragment. The figure on the right is the duotensor for the above fragment. Links represent summing over the corresponding indices. We can use such duotensors to make probabilistic statements pertaining to fragments. Since fragments are the circuit equivalent of arbitrary spacetime regions we have formalism locality. The probability for a circuit is given by the corresponding duotensorial calculation (which is a scalar since there are no indices left over). We show how to put classical probability theory and quantum theory into this framework. [Note: the abstract in the paper has pictures.

  12. Enabling Technologies for Ceramic Hot Section Components

    SciTech Connect (OSTI)

    Venkat Vedula; Tania Bhatia

    2009-04-30T23:59:59.000Z

    Silicon-based ceramics are attractive materials for use in gas turbine engine hot sections due to their high temperature mechanical and physical properties as well as lower density than metals. The advantages of utilizing ceramic hot section components include weight reduction, and improved efficiency as well as enhanced power output and lower emissions as a result of reducing or eliminating cooling. Potential gas turbine ceramic components for industrial, commercial and/or military high temperature turbine applications include combustor liners, vanes, rotors, and shrouds. These components require materials that can withstand high temperatures and pressures for long duration under steam-rich environments. For Navy applications, ceramic hot section components have the potential to increase the operation range. The amount of weight reduced by utilizing a lighter gas turbine can be used to increase fuel storage capacity while a more efficient gas turbine consumes less fuel. Both improvements enable a longer operation range for Navy ships and aircraft. Ceramic hot section components will also be beneficial to the Navy's Growth Joint Strike Fighter (JSF) and VAATE (Versatile Affordable Advanced Turbine Engines) initiatives in terms of reduced weight, cooling air savings, and capability/cost index (CCI). For DOE applications, ceramic hot section components provide an avenue to achieve low emissions while improving efficiency. Combustors made of ceramic material can withstand higher wall temperatures and require less cooling air. Ability of the ceramics to withstand high temperatures enables novel combustor designs that have reduced NO{sub x}, smoke and CO levels. In the turbine section, ceramic vanes and blades do not require sophisticated cooling schemes currently used for metal components. The saved cooling air could be used to further improve efficiency and power output. The objectives of this contract were to develop technologies critical for ceramic hot section components for gas turbine engines. Significant technical progress has been made towards maturation of the EBC and CMC technologies for incorporation into gas turbine engine hot-section. Promising EBC candidates for longer life and/or higher temperature applications relative to current state of the art BSAS-based EBCs have been identified. These next generation coating systems have been scaled-up from coupons to components and are currently being field tested in Solar Centaur 50S engine. CMC combustor liners were designed, fabricated and tested in a FT8 sector rig to demonstrate the benefits of a high temperature material system. Pretest predictions made through the use of perfectly stirred reactor models showed a 2-3x benefit in CO emissions for CMC versus metallic liners. The sector-rig test validated the pretest predictions with >2x benefit in CO at the same NOx levels at various load conditions. The CMC liners also survived several trip shut downs thereby validating the CMC design methodology. Significant technical progress has been made towards incorporation of ceramic matrix composites (CMC) and environmental barrier coatings (EBC) technologies into gas turbine engine hot-section. The second phase of the program focused on the demonstration of a reverse flow annular CMC combustor. This has included overcoming the challenges of design and fabrication of CMCs into 'complex' shapes; developing processing to apply EBCs to 'engine hardware'; testing of an advanced combustor enabled by CMCs in a PW206 rig; and the validation of performance benefits against a metal baseline. The rig test validated many of the pretest predictions with a 40-50% reduction in pattern factor compared to the baseline and reductions in NOx levels at maximum power conditions. The next steps are to develop an understanding of the life limiting mechanisms in EBC and CMC materials, developing a design system for EBC coated CMCs and durability testing in an engine environment.

  13. Partition of the probability space formally related to isomorphism of minerals

    SciTech Connect (OSTI)

    Kolonichenko, E. V., E-mail: tugarinov@sgm.ru [Vernadsky State Geological Museum of the Russian Academy of Sciences (Russian Federation)

    2010-01-15T23:59:59.000Z

    A formally axiomatic approach to the phenomenon of isomorphism is considered. Empirical facts of isomorphism are investigated as subsets. The wide spread of isomorphism has the property for all xP(x). The construction of subsets in the 'main element-impurity element' coordinates revealed a structure that made it possible to statistically estimate the symmetry and dissymmetry of elements of this structure, construct the probability space ({omega}, F, P), and divide this space into sectors reflecting the dimension of atomic/ionic radii.

  14. Puncture black hole initial data in the conformal thin-sandwich formalism

    E-Print Network [OSTI]

    Thomas W. Baumgarte

    2011-08-17T23:59:59.000Z

    We revisit the construction of puncture black hole initial data in the conformal thin-sandwich decomposition of Einstein's constraint equations. It has been shown previously that this approach cannot yield quasiequilibrium wormhole data, which connect two asymptotically flat spatial infinities. This argument does not apply to trumpet data, which connect the spatial infinity in one universe with the future timelike infinity of another. As a numerical demonstration we present results for a single boosted trumpet-puncture black holes, constructed in the original version of the conformal thin-sandwich formalism.

  15. Clean Water Act (Section 404) and Rivers and Harbors Act (Sections 9 and 10)

    SciTech Connect (OSTI)

    Not Available

    1992-03-01T23:59:59.000Z

    This Reference Book contains a current copy of the Clean Water Act (Section 404) and the Rivers and Harbors Act (Sections 9 and 10) and those regulations that implement those sections of the statutes and appear to be most relevant to DOE activities. The document is provided to DOE and contractor staff for informational purposes only and should not be interpreted as legal guidance. Updates that include important new requirements will be provided periodically. Questions concerning this Reference Book may be directed to Mark Petts, IH-231 (FTS 896-2609 or Commercial 202/586-2609).

  16. Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    : Section 2 describes our industrial context and the lessons we can learn from three tightly linked stories the full system life-cycle, from requirements to decommissioning. Our research question is the following

  17. Photonuclear Reaction Cross Sections for Gallium Isotopes

    E-Print Network [OSTI]

    Serkan Akkoyun; Tuncay Bayram

    2014-09-08T23:59:59.000Z

    The photon induced reactions which are named as photonuclear reactions have a great importance in many field of nuclear, radiation physics and related fields. Since we have planned to perform photonuclear reaction on gallium target with bremmstrahlung photons from clinical linear accelerator in the future, the cross-sections of neutron (photo-neutron ({\\gamma},xn)) and proton (photo-proton ({\\gamma},xn)) productions after photon activation have been calculated by using TALYS 1.2 computer code in this study. The target nucleus has been considered gallium which has two stable isotopes, 69Ga and 71Ga. According to the results, we have seen that the calculations are in harmony in the limited literature values. Furthermore, the pre-equilibrium and compound process contributions to the total cross-section have been investigated.

  18. Electron capture cross sections for stellar nucleosynthesis

    E-Print Network [OSTI]

    Giannaka, P G

    2015-01-01T23:59:59.000Z

    In the first stage of this work, we perform detailed calculations for the cross sections of the electron capture on nuclei under laboratory conditions. Towards this aim we exploit the advantages of a refined version of the proton-neutron quasi-particle random-phase approximation (pn-QRPA) and carry out state-by-state evaluations of the rates of exclusive processes that lead to any of the accessible transitions within the chosen model space. In the second stage of our present study, we translate the above mentioned $e^-$-capture cross sections to the stellar environment ones by inserting the temperature dependence through a Maxwell-Boltzmann distribution describing the stellar electron gas. As a concrete nuclear target we use the $^{66}Zn$ isotope, which belongs to the iron group nuclei and plays prominent role in stellar nucleosynthesis at core collapse supernovae environment.

  19. Neural networks Chapter 19, Sections 15

    E-Print Network [OSTI]

    Hawick, Ken

    = a parameterized family of nonlinear functions: a5 = g(W3,5 · a3 + W4,5 · a4) = g(W3,5 · g(W1,3 · a1 + W2,3 · a2) + W4,5 · g(W1,4 · a1 + W2,4 · a2)) Chapter 19, Sections 1­5 8 #12;Perceptrons Input Units Units Output

  20. Clean Water Act (excluding Section 404)

    SciTech Connect (OSTI)

    Not Available

    1993-01-15T23:59:59.000Z

    This Reference Book contains a current copy of the Clean Water Act (excluding Section 404) and those regulations that implement the statutes and appear to be most relevant to US Department of Energy (DOE) activities. The document is provided to DOE and contractor staff for informational purposes only and should not be interpreted as legal guidance. Updates that include important new requirements will be provided periodically. Questions concerning this Reference Book may be directed to Mark Petts, EH-231 (202/586-2609).

  1. Interfacial Transport Test section length = 4 m

    E-Print Network [OSTI]

    Abdou, Mohamed

    of applied electric currents: Magnetic Propulsion and other active electromagnetic restraint and pumping field and magnetic propulsion current 4.0E-03 4.5E-03 5.0E-03 5.5E-03 6.0E-03 0 0.05 0.1 0.15 0.2 0.25 0 downstream for entrance slot #12;Inclined-Plane Test Section · 300 A available for magnetic propulsion tests

  2. FINANCE AND ADMINISTRATION EOC Title: Finance/Admin Section Chief

    E-Print Network [OSTI]

    Walker, Matthew P.

    FINANCE AND ADMINISTRATION EOC Title: Finance/Admin Section Chief General Description The Finance and for supervising members of the Finance/Administration Section. Key Role & Responsibilities · Coordinate all for Command and General Staff for Complex Incidents Training for Section Chiefs · Finance/Admin Section Chief

  3. Thermal conduction by dark matter with velocity and momentum-dependent cross-sections

    E-Print Network [OSTI]

    Aaron C. Vincent; Pat Scott

    2014-04-23T23:59:59.000Z

    We use the formalism of Gould and Raffelt to compute the dimensionless thermal conduction coefficients for scattering of dark matter particles with standard model nucleons via cross-sections that depend on the relative velocity or momentum exchanged between particles. Motivated by models invoked to reconcile various recent results in direct detection, we explicitly compute the conduction coefficients $\\alpha$ and $\\kappa$ for cross-sections that go as $v_{\\rm rel}^2$, $v_{\\rm rel}^4$, $v_{\\rm rel}^{-2}$, $q^2$, $q^4$ and $q^{-2}$, where $v_{\\rm rel}$ is the relative DM-nucleus velocity and $q$ is the momentum transferred in the collision. We find that a $v_{\\rm rel}^{-2}$ dependence can significantly enhance energy transport from the inner solar core to the outer core. The same can true for any $q$-dependent coupling, if the dark matter mass lies within some specific range for each coupling. This effect can complement direct searches for dark matter; combining these results with state-of-the-art Solar simulations should greatly increase sensitivity to certain DM models. It also seems possible that the so-called Solar Abundance Problem could be resolved by enhanced energy transport in the solar core due to such velocity- or momentum-dependent scatterings.

  4. A covariant action principle for dissipative fluid dynamics: From formalism to fundamental physics

    E-Print Network [OSTI]

    N. Andersson; G. L. Comer

    2015-05-18T23:59:59.000Z

    We present a new variational framework for dissipative general relativistic fluid dynamics. The model extends the convective variational principle for multi-fluid systems to account for a range of dissipation channels. The key ingredients in the construction are i) the use of a lower dimensional matter space for each fluid component, and ii) an extended functional dependence for the associated volume forms. In an effort to make the concepts clear, the formalism is developed in steps with the model example of matter coupled to heat considered at each level. Thus we discuss a model for heat flow, derive the relativistic Navier-Stokes equations and discuss why the individual dissipative stress tensors need not be spacetime symmetric. We argue that the new formalism, which notably does not involve an expansion away from an assumed equilibrium state, provides a conceptual breakthrough in this area of research and provide an ambitious list of directions in which one may want to extend it in the future. This involves an exciting set of problems, relating to both applications and foundational issues.

  5. Distribution Statistics and Random Matrix Formalism of Multicarrier Continuous-Variable Quantum Key Distribution

    E-Print Network [OSTI]

    Laszlo Gyongyosi

    2014-10-30T23:59:59.000Z

    We propose a combined mathematical framework of order statistics and random matrix theory for multicarrier continuous-variable (CV) quantum key distribution (QKD). In a multicarrier CVQKD scheme, the information is granulated into Gaussian subcarrier CVs, and the physical Gaussian link is divided into Gaussian sub-channels. The sub-channels are dedicated to the conveying of the subcarrier CVs. The distribution statistics analysis covers the study of the distribution of the sub-channel transmittance coefficients in the presence of a Gaussian noise and the utilization of the moment generation function (MGF) in the error analysis. We reveal the mathematical formalism of sub-channel selection and formulation of the transmittance coefficients, and show a reduced complexity progressive sub-channel scanning method. We define a random matrix formalism for multicarrier CVQKD to evaluate the statistical properties of the information flowing process. Using random matrix theory, we express the achievable secret key rates and study the efficiency of the AMQD-MQA (adaptive multicarrier quadrature division-multiuser quadrature allocation) multiple-access multicarrier CVQKD. The proposed combined framework is particularly convenient for the characterization of the physical processes of experimental multicarrier CVQKD.

  6. Los Alamos CCS (Center for Computer Security) formal computer security model

    SciTech Connect (OSTI)

    Dreicer, J.S.; Hunteman, W.J. (Los Alamos National Lab., NM (USA))

    1989-01-01T23:59:59.000Z

    This paper provides a brief presentation of the formal computer security model currently being developed at the Los Alamos Department of Energy (DOE) Center for Computer Security (CCS). The initial motivation for this effort was the need to provide a method by which DOE computer security policy implementation could be tested and verified. The actual analytical model was a result of the integration of current research in computer security and previous modeling and research experiences. The model is being developed to define a generic view of the computer and network security domains, to provide a theoretical basis for the design of a security model, and to address the limitations of present models. Formal mathematical models for computer security have been designed and developed in conjunction with attempts to build secure computer systems since the early 70's. The foundation of the Los Alamos DOE CCS model is a series of functionally dependent probability equations, relations, and expressions. The mathematical basis appears to be justified and is undergoing continued discrimination and evolution. We expect to apply the model to the discipline of the Bell-Lapadula abstract sets of objects and subjects. 5 refs.

  7. First-principles calculation of Z2 topological invariants within the FP-LAPW formalism

    SciTech Connect (OSTI)

    Feng, wanxiang [Chinese Academy of Sciences; Wen, Jun [University of Texas, Austin; Zhou, Jinjian [Beijing National Laboratory for Condensed Matter Physics/Chinese Academy of Scie; Xiao, Di [ORNL; Yao, yugui [Chinese Academy of Sciences

    2012-01-01T23:59:59.000Z

    n this paper, we report the implementation of first-principles calculations of Z2 topological invariants within the full-potential linearized augmented plane-wave (FP-LAPW) formalism. In systems with both time-reversal and spatial inversion symmetry (centrosymmetric), one can use the parity analysis of Bloch functions at time-reversal invariant momenta to determine the Z2 invariants. In systems without spatial inversion symmetry (noncentrosymmetric), however, a more complex and systematic method in terms of the Berry gauge potential and the Berry curvature is required to identify the band topology. We show in detail how both methods are implemented in FP-LAPW formalism and applied to several classes of materials including centrosymmetric compounds Bi2Se3 and Sb2Se3 and noncentrosymmetric compounds LuPtBi, AuTlS2 and CdSnAs2. Our work provides an accurate and effective implementation of first-principles calculations to speed up the search of new topological insulators.

  8. Generalized isospin, generalized mass groups, and generalized Gell-Mann--Okubo formalism

    E-Print Network [OSTI]

    Beaudoin, N; Sandapen, R

    2013-01-01T23:59:59.000Z

    The current concepts of isospin and baryon mass groups are only well-adapted to deal with baryon multiplets involving both the u and d quarks, and some other quark k. In this paper, we generalize isospin and mass groups to accommodate baryon multiplets involving quarks of any flavor, and the Gell-Mann--Okubo (GMO) formalism is generalized accordingly. Generalized isospin proves to be a simple and valuable framework when working in non-udk baryon multiplets, and provides new quantum numbers that allows us to distinguish \\Lambda-like baryons from \\Sigma-like baryons in the non-udk multiplets. The generalized GMO formalism allows us to quantify the quality of flavor symmetries seen in baryon multiplets, and also allows us to predict the masses of all observable J^P = 1/2^+ and 3/2^+ baryons with an estimated accuracy on the order of 50 MeV in the worst cases, on mass scales that span anywhere from 1000 MeV to 15000 MeV.

  9. Quantum maximum-entropy principle for closed quantum hydrodynamic transport within a Wigner function formalism

    SciTech Connect (OSTI)

    Trovato, M. [Dipartimento di Matematica, Universita di Catania, Viale A. Doria, I-95125 Catania (Italy); Reggiani, L. [Dipartimento di Ingegneria dell' Innovazione and CNISM, Universita del Salento, Via Arnesano s/n, I-73100 Lecce (Italy)

    2011-12-15T23:59:59.000Z

    By introducing a quantum entropy functional of the reduced density matrix, the principle of quantum maximum entropy is asserted as fundamental principle of quantum statistical mechanics. Accordingly, we develop a comprehensive theoretical formalism to construct rigorously a closed quantum hydrodynamic transport within a Wigner function approach. The theoretical formalism is formulated in both thermodynamic equilibrium and nonequilibrium conditions, and the quantum contributions are obtained by only assuming that the Lagrange multipliers can be expanded in powers of ({h_bar}/2{pi}){sup 2}. In particular, by using an arbitrary number of moments, we prove that (1) on a macroscopic scale all nonlocal effects, compatible with the uncertainty principle, are imputable to high-order spatial derivatives, both of the numerical density n and of the effective temperature T; (2) the results available from the literature in the framework of both a quantum Boltzmann gas and a degenerate quantum Fermi gas are recovered as a particular case; (3) the statistics for the quantum Fermi and Bose gases at different levels of degeneracy are explicitly incorporated; (4) a set of relevant applications admitting exact analytical equations are explicitly given and discussed; (5) the quantum maximum entropy principle keeps full validity in the classical limit, when ({h_bar}/2{pi}){yields}0.

  10. Averaging cross section data so we can fit it

    SciTech Connect (OSTI)

    Brown, D. [Brookhaven National Lab. (BNL), Upton, NY (United States). NNDC

    2014-10-23T23:59:59.000Z

    The 56Fe cross section we are interested in have a lot of fluctuations. We would like to fit the average of the cross section with cross sections calculated within EMPIRE. EMPIRE is a Hauser-Feshbach theory based nuclear reaction code, requires cross sections to be smoothed using a Lorentzian profile. The plan is to fit EMPIRE to these cross sections in the fast region (say above 500 keV).

  11. SECTION 12-HAZARD COMMUNICATION PROGRAM (HCP) 29 CFR Section 1920-"Hazardous Communications" states that, "the purpose of this section is to ensure

    E-Print Network [OSTI]

    Selmic, Sandra

    144 SECTION 12- HAZARD COMMUNICATION PROGRAM (HCP) 29 CFR Section 1920- "Hazardous Communications" states that, "the purpose of this section is to ensure that the hazards of all chemicals produced or imported are evaluated, and that information concerning their hazards is transmitted to employers

  12. Energy transport corridors: the potential role of Federal lands in states identified by the Energy Policy Act of 2005, section 368(b).

    SciTech Connect (OSTI)

    Krummel, J.; Hlohowskyj, I.; Kuiper, J.; Kolpa, R.; Moore, R.; May, J.; VanKuiken, J.C.; Kavicky, J.A.; McLamore, M.R.; Shamsuddin, S. (Decision and Information Sciences); ( EVS)

    2011-09-01T23:59:59.000Z

    On August 8, 2005, the President signed the Energy Policy Act of 2005 (EPAct) into law. In Subtitle F of EPAct, Congress set forth various provisions that would change the way certain federal agencies (Agencies) coordinate to authorize the use of land for a variety of energy-related purposes. As part of Subtitle F of EPAct, Section 368 addresses the issue of energy transportation corridors on federal land for oil, gas, and hydrogen pipelines, as well as electricity transmission and distribution facilities. Because of the critical importance of improving the nation's electrical transmission grid, Congress recognized that electricity transmission issues should receive added attention when the Agencies address corridor location and analysis issues. In Section 368, Congress specifically directed the Agencies to consider the need for upgraded and new facilities to deliver electricity: In carrying out [Section 368], the Secretaries shall take into account the need for upgraded and new electricity transmission and distribution facilities to (1) improve reliability; (2) relieve congestion; and (3) enhance capability of the national grid to deliver electricity. Section 368 does not require the Agencies to consider or approve specific projects, applications for rights-of-way (ROWs), or other permits within designated energy corridors. Importantly, Section 368 does not direct, license, or otherwise permit any on-the-ground activity of any sort. If an applicant is interested in obtaining an authorization to develop a project within any corridor designated under Section 368, the applicant would have to apply for a ROW authorization and applicable permits. The Agencies would consider each application by applying appropriate project-specific reviews under requirements of laws and related regulations, including, but not limited to, the National Environmental Policy Act (NEPA), the Clean Water Act, the Clean Air Act, Section 7 of the Endangered Species Act (ESA), and Section 106 of the National Historic Preservation Act (NHPA). Under Section 368, Congress divided the United States into two groups of states: the 11 contiguous western states and the remaining states. Direction for energy transportation corridor analysis and selection in the 11 western states was addressed in Section 368(a) of EPAct, while direction for energy transportation corridor analysis and selection in all other states was addressed under Section 368(b) of EPAct. It was clearly the priority of Congress to conduct corridor location studies and designation first on federal lands in the western states. Under Section 368(a), the Agencies produced a programmatic environmental impact statement (EIS), Designation of Energy Corridors on Federal Land in the 11 Western States (DOE and DOI 2008), that was used in part as the basis for designating more than 6,000 mi (9,656 km) of energy transportation corridors on federal land in 11 western states. Under Section 368(a) of EPAct, Congress clearly stated the Agencies needed to (1) designate energy transportation corridors on federal land, (2) conduct the necessary environmental review of the designated corridors, and (3) incorporate the designated corridors into the appropriate land use plans. Congressional direction under Section 368(b) of EPAct differs from that provided under Section 368(a). Specifically, Section 368(b) requires the secretaries of the Agencies, in consultation with the Federal Energy Regulatory Commission (FERC), affected utility industries, and other interested persons, to jointly: (1) Identify corridors for oil, gas, and hydrogen pipelines and electricity transmission and distribution facilities on federal land in states other than the 11 western states identified under Section 368(a) of EPAct, and (2) Schedule prompt action to identify, designate, and incorporate the corridors into the applicable land use plans. While Section 368(a) clearly directs designation as a necessary first step for energy transportation corridors in the 11 western states, Section 368(b) directs the Agencies to first identify corridor

  13. Limitations of the TG-43 formalism for skin high-dose-rate brachytherapy dose calculations

    SciTech Connect (OSTI)

    Granero, Domingo, E-mail: dgranero@eresa.com [Department of Radiation Physics, ERESA, Hospital General Universitario, 46014 Valencia (Spain)] [Department of Radiation Physics, ERESA, Hospital General Universitario, 46014 Valencia (Spain); Perez-Calatayud, Jose [Radiotherapy Department, La Fe University and Polytechnic Hospital, Valencia 46026 (Spain)] [Radiotherapy Department, La Fe University and Polytechnic Hospital, Valencia 46026 (Spain); Vijande, Javier [Department of Atomic, Molecular and Nuclear Physics, University of Valencia, Burjassot 46100, Spain and IFIC (UV-CSIC), Paterna 46980 (Spain)] [Department of Atomic, Molecular and Nuclear Physics, University of Valencia, Burjassot 46100, Spain and IFIC (UV-CSIC), Paterna 46980 (Spain); Ballester, Facundo [Department of Atomic, Molecular and Nuclear Physics, University of Valencia, Burjassot 46100 (Spain)] [Department of Atomic, Molecular and Nuclear Physics, University of Valencia, Burjassot 46100 (Spain); Rivard, Mark J. [Department of Radiation Oncology, Tufts University School of Medicine, Boston, Massachusetts 02111 (United States)] [Department of Radiation Oncology, Tufts University School of Medicine, Boston, Massachusetts 02111 (United States)

    2014-02-15T23:59:59.000Z

    Purpose: In skin high-dose-rate (HDR) brachytherapy, sources are located outside, in contact with, or implanted at some depth below the skin surface. Most treatment planning systems use the TG-43 formalism, which is based on single-source dose superposition within an infinite water medium without accounting for the true geometry in which conditions for scattered radiation are altered by the presence of air. The purpose of this study is to evaluate the dosimetric limitations of the TG-43 formalism in HDR skin brachytherapy and the potential clinical impact. Methods: Dose rate distributions of typical configurations used in skin brachytherapy were obtained: a 5 cm × 5 cm superficial mould; a source inside a catheter located at the skin surface with and without backscatter bolus; and a typical interstitial implant consisting of an HDR source in a catheter located at a depth of 0.5 cm. Commercially available HDR{sup 60}Co and {sup 192}Ir sources and a hypothetical {sup 169}Yb source were considered. The Geant4 Monte Carlo radiation transport code was used to estimate dose rate distributions for the configurations considered. These results were then compared to those obtained with the TG-43 dose calculation formalism. In particular, the influence of adding bolus material over the implant was studied. Results: For a 5 cm × 5 cm{sup 192}Ir superficial mould and 0.5 cm prescription depth, dose differences in comparison to the TG-43 method were about ?3%. When the source was positioned at the skin surface, dose differences were smaller than ?1% for {sup 60}Co and {sup 192}Ir, yet ?3% for {sup 169}Yb. For the interstitial implant, dose differences at the skin surface were ?7% for {sup 60}Co, ?0.6% for {sup 192}Ir, and ?2.5% for {sup 169}Yb. Conclusions: This study indicates the following: (i) for the superficial mould, no bolus is needed; (ii) when the source is in contact with the skin surface, no bolus is needed for either {sup 60}Co and {sup 192}Ir. For lower energy radionuclides like {sup 169}Yb, bolus may be needed; and (iii) for the interstitial case, at least a 0.1 cm bolus is advised for {sup 60}Co to avoid underdosing superficial target layers. For {sup 192}Ir and {sup 169}Yb, no bolus is needed. For those cases where no bolus is needed, its use might be detrimental as the lack of radiation scatter may be beneficial to the patient, although the 2% tolerance for dose calculation accuracy recommended in the AAPM TG-56 report is not fulfilled.

  14. Leveraging Formal Methods and Fuzzing to Verify Security and Reliability Properties of Large-Scale High-Consequence Systems.

    SciTech Connect (OSTI)

    Ruthruff, Joseph; Armstrong, Robert C.; Davis, Benjamin Garry; Mayo, Jackson; Punnoose, Ratish J.

    2012-09-01T23:59:59.000Z

    Formal methods describe a class of system analysis techniques that seek to prove specific propertiesabout analyzed designs, or locate flaws compromising those properties. As an analysis capability,these techniques are the subject of increased interest fromboth internal and external customersof Sandia National Laboratories. Given this lab's other areas of expertise, Sandia is uniquelypositioned to advance the state-of-the-art with respect toseveral research and application areaswithin formal methods. This research project was a one-yeareffort funded by Sandia's CyberSecurity S&T Investment Area in its Laboratory Directed Research&Development program toinvestigate the opportunities for formal methods to impactSandia's present mission areas, morefully understand the needs of the research community in the area of formal methods and whereSandia can contribute, and clarify from those potential research paths those that would best advancethe mission-area interests of Sandia. The accomplishmentsfrom this project reinforce the utilityof formal methods in Sandia, particularly in areas relevantto Cyber Security, and set the stagefor continued Sandia investments to ensure this capabilityis utilized and advanced within thislaboratory to serve the national interest.4

  15. Fusion cross sections at deep subbarrier energies

    E-Print Network [OSTI]

    K. Hagino; N. Rowley; M. Dasgupta

    2003-02-12T23:59:59.000Z

    A recent publication reports that heavy-ion fusion cross sections at extreme subbarrier energies show a continuous change of their logarithmic slope with decreasing energy, resulting in a much steeper excitation function compared with theoretical predictions. We show that the energy dependence of this slope is partly due to the asymmetric shape of the Coulomb barrier, that is its deviation from a harmonic shape. We also point out that the large low-energy slope is consistent with the surprisingly large surface diffusenesses required to fit recent high-precision fusion data.

  16. Heavy-Section Steel Irradiation Program

    SciTech Connect (OSTI)

    Rosseel, T.M.

    2000-04-01T23:59:59.000Z

    Maintaining the integrity of the reactor pressure vessel (RPV) in a light-water-cooled nuclear power plant is crucial in preventing and controlling severe accidents that have the potential for major contamination release. Because the RPV is the only key safety-related component of the plant for which a redundant backup system does not exist, it is imperative to fully understand the degree of irradiation-induced degradation of the RPV's fracture resistance that occurs during service. For this reason, the Heavy-Section Steel Irradiation (HSSI) Program has been established.

  17. Cross section for charmonium absorption by nucleons

    E-Print Network [OSTI]

    Liu, W.; Ko, Che Ming; Lin, ZW.

    2002-01-01T23:59:59.000Z

    July 2001; publishe The cross section for J/c absorption by nucleons is with empirical particle masses, which has been used previousl by pion and r meson. Including both two-body and three-bod of 1 GeV at interaction vertices involving charm hadrons... and is consistent with that extracted from J/c productio DOI: 10.1103/PhysRevC.65.015203 PAC I. INTRODUCTION Two main mechanisms for J/c suppression observed in relativistic heavy ion collisions @1# are the dissociation by the quark-gluon plasma @2...

  18. Section 1705 Loan Program | Department of Energy

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov You are being directed offOCHCO Overview OCHCO OverviewRepository |Complex"Department ofEnergyAwardSection 1705

  19. Section 999: Annual Plans | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels DataDepartment of Energy Your Density Isn'tOriginEducationVideo »UsageSecretary of Energy Advisory Board FollowSection 3161

  20. Spontaneous Potential (book section) | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page onYou are now leaving Energy.gov You are now leaving Energy.gov YouKizildere IRaghuraji Agro Industries Pvt LtdShawangunk,Southeast ColoradoOhio: Energy ResourcesSpire(book section) Jump

  1. Fully relativistic nonlinear cosmological evolution in spherical symmetry using the BSSN formalism

    E-Print Network [OSTI]

    Jeremy Rekier; Isabel Cordero-Carrion; Andre Fuzfa

    2015-01-21T23:59:59.000Z

    We present a fully relativistic numerical method for the study of cosmological problems using the Baumgarte-Shapiro-Shibata-Nakamura formalism on a dynamical Friedmann-Lema\\^itre-Robertson-Walker background. This has many potential applications including the study of the growth of structures beyond the linear regime. We present one such application by reproducing the Lema\\^itre-Tolman-Bondi solution for the collapse of pressureless matter with arbitrary lapse function. The regular and smooth numerical solution at the center of coordinates proceeds in a natural way by relying on the Partially Implicit Runge-Kutta algorithm described in Montero and Cordero-Carri\\'on [arXiv:1211.5930]. We generalize the usual radiative outer boundary condition to the case of a dynamical background and show the stability and convergence properties of the method in the study of pure gauge dynamics on a de Sitter background.

  2. A formal expert judgment procedure for performance assessments of the Waste Isolation Pilot Plant

    SciTech Connect (OSTI)

    Trauth, K.M. [Sandia National Labs., Albuquerque, NM (United States); Guzowski, R.V. [Science Applications International Corp., Albuquerque, NM (United States); Hora, S.C. [Univ. of Hawaii, Hilo, HI (United States). Business Administration & Economics Div.

    1994-09-01T23:59:59.000Z

    The Waste Isolation Pilot Plant (WIPP) is an experimental facility located in southeastern New Mexico. It has been designed to determine the feasibility of the geologic disposal of defense-generated transuranic waste in a deep bedded-salt formation. The WIPP was also designed for disposal and will operate in that capacity if approved. The WIPP Performance Assessment Department at Sandia National Laboratories has been conducting analyses to assess the long-term performance of the WIPP. These analyses sometimes require the use of expert judgment. This Department has convened several expert-judgment panels and from that experience has developed an internal quality-assurance procedure to guide the formal elicitation of expert judgment. This protocol is based on the principles found in the decision-analysis literature.

  3. Mentoring among scientists: Implications of interpersonal relationships within a formal mentoring program

    SciTech Connect (OSTI)

    Maughan, B. D. [Univ. of Idaho, 1784 Science Center Drive, Idaho Falls, ID 83402 (United States)

    2006-07-01T23:59:59.000Z

    Mentoring is an established strategy for learning that has its root in antiquity. Most, if not all, successful scientists and engineers had an effective mentor at some point in their career. In the context of scientists and engineers, mentoring has been undefined. Reports addressing critical concerns regarding the future of science and engineering in the U.S. mention the practice of mentoring a priori, leaving organizations without guidance in its application. Preliminary results from this study imply that formal mentoring can be effective when properly defined and operationalized. Recognizing the uniqueness of the individual in a symbiotic mentor-protege relationship significantly influences a protege's learning experience which carries repercussions into their career intentions. The mentor-protege relationship is a key factor in succession planning and preserving and disseminating critical information and tacit knowledge essential to the development of leadership in the science and technological industry. (authors)

  4. Mentoring Among Scientists: Implications of Interpersonal Relationships within a Formal Mentoring Program

    SciTech Connect (OSTI)

    Bryan D. Maughan

    2006-11-01T23:59:59.000Z

    Mentoring is an established strategy for learning that has its root in antiquity. Most, if not all, successful scientists and engineers had an effective mentor at some point in their career. In the context of scientists and engineers, mentoring has been undefined. Reports addressing critical concerns regarding the future of science and engineering in the U.S. mention the practice of mentoring a priori, leaving organizations without guidance in its application. Preliminary results from this study imply that formal mentoring can be effective when properly defined and operationalized. Recognizing the uniqueness of the individual in a symbiotic mentor-protégé relationship significantly influences a protégé’s learning experience which carries repercussions into their career intentions. The mentor-protégé relationship is a key factor in succession planning and preserving and disseminating critical information and tacit knowledge essential to the development of leadership in the science and technological industry.

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

    SciTech Connect (OSTI)

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

    2014-05-19T23:59:59.000Z

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

  6. Nuclear power plant human computer interface design incorporating console simulation, operations personnel, and formal evaluation techniques

    SciTech Connect (OSTI)

    Chavez, C.; Edwards, R.M.; Goldberg, J.H.

    1993-12-31T23:59:59.000Z

    New CRT-based information displays which enhance the human machine interface are playing a very important role and are being increasingly used in control rooms since they present a higher degree of flexibility compared to conventional hardwired instrumentation. To prototype a new console configuration and information display system at the Experimental Breeder Reactor II (EBR-II), an iterative process of console simulation and evaluation involving operations personnel is being pursued. Entire panels including selector switches and information displays are simulated and driven by plant dynamical simulations with realistic responses that reproduce the actual cognitive and physical environment. Careful analysis and formal evaluation of operator interaction while using the simulated console will be conducted to determine underlying principles for effective control console design for this particular group of operation personnel. Additional iterations of design, simulation, and evaluation will then be conducted as necessary.

  7. Modelling and Formal Verification of Timing Aspects in Large PLC Programs

    E-Print Network [OSTI]

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

    2014-01-01T23:59:59.000Z

    One of the main obstacle that prevents model checking from being widely used in industrial control systems is the complexity of building formal models out of PLC programs, especially when timing aspects need to be integrated. This paper brings an answer to this obstacle by proposing a methodology to model and verify timing aspects of PLC programs. Two approaches are proposed to allow the users to balance the trade-off between the complexity of the model, i.e. its number of states, and the set of specifications possible to be verified. A tool supporting the methodology which allows to produce models for different model checkers directly from PLC programs has been developed. Verification of timing aspects for real-life PLC programs are presented in this paper using NuSMV.

  8. Green's function multiple-scattering theory with a truncated basis set: An augmented-KKR formalism

    SciTech Connect (OSTI)

    Alam, Aftab [Indian Institute of Technology Bombay; Khan, Suffian N [Ames Laboratory; Smirnov, A V [Ames Laboratory; Nicholson, D M [Oak Ridge National Laboratory; Johnson, Duane D [Ames Laboratory

    2014-11-01T23:59:59.000Z

    The Korringa-Kohn-Rostoker (KKR) Green's function, multiple-scattering theory is an efficient site-centered, electronic-structure technique for addressing an assembly of N scatterers. Wave functions are expanded in a spherical-wave basis on each scattering center and indexed up to a maximum orbital and azimuthal number Lmax=(l,m)max, while scattering matrices, which determine spectral properties, are truncated at Ltr=(l,m)tr where phase shifts ?l>ltr are negligible. Historically, Lmax is set equal to Ltr, which is correct for large enough Lmax but not computationally expedient; a better procedure retains higher-order (free-electron and single-site) contributions for Lmax>Ltr with ?l>ltr set to zero [X.-G. Zhang and W. H. Butler, Phys. Rev. B 46, 7433 (1992)]. We present a numerically efficient and accurate augmented-KKR Green's function formalism that solves the KKR equations by exact matrix inversion [R3 process with rank N(ltr+1)2] and includes higher-L contributions via linear algebra [R2 process with rank N(lmax+1)2]. The augmented-KKR approach yields properly normalized wave functions, numerically cheaper basis-set convergence, and a total charge density and electron count that agrees with Lloyd's formula. We apply our formalism to fcc Cu, bcc Fe, and L10 CoPt and present the numerical results for accuracy and for the convergence of the total energies, Fermi energies, and magnetic moments versus Lmax for a given Ltr.

  9. Site characterization plan: Yucca Mountain site, Nevada research and development area, Nevada: Consultation draft, Nuclear Waste Policy Act: Volume 7

    SciTech Connect (OSTI)

    NONE

    1988-01-01T23:59:59.000Z

    The Yucca Mountain site in Neavada is one of three candidate sites for the first geologic repository for radioactive waste. On May 28, 1986, it was recommended and approved for detailed study in a program of site characterization. This site characterization plan (SCP) has been prepared in accordance with the requirements of the Nuclear Waste Policy Act to summarize the information collected to date about the geologic conditions at the site;to describe the conceptual designs for the repository and the waste package;and to present the plans for obtaining hte geologic information necessary to demonstrate the suitability of the site for a repository, to design the repository and the waste package, to prepare and environmental impact statement, and to obtain from the US Nuclear Regulatory Commission (NRC) an authorization to construct the repository. This introduction begins with a brief section on the process for siting and developing a repository, followed by a discussion of the pertinent legislation and regulations. A description of site characterization is presented next;it describes the facilities to be constructed for the site characterization program and explains the principal activities to be conducted during the program. Finally, the purpose, content, organizing principles, and organization of this site characterization plan are outlined, and compliance with applicable regulations is discussed.

  10. Site characterization plan: Yucca Mountain site, Nevada research and development area, Nevada: Consultation draft, Nuclear Waste Policy Act: Volume 4

    SciTech Connect (OSTI)

    NONE

    1988-01-01T23:59:59.000Z

    The Yucca Mountain site in Nevada is one of three candidate sites for the first geologic repository for radioactive waste. On May 28, 1986, it was recommended and approved by the President for detailed study in a program of site characterization. This site characterization plan (SCP) has been prepared in accordance with the requirements of the Nuclear Waste Policy Act to summarize the information collected to date about the geologic conditions at the site; to describe the conceptual designs for the repository and the waste package; and to present the plans for obtaining the geologic information necessary to demonstate the suitability of the site for a repository, to desin the repository and the waste package, to prepare an environmental impact statement, and to obtain from the US Nuclear Regulatory Commission (NRC) an authorization to construct the repository. This introduction begins with a brief section on the process for siting and developing a repository, followed by a discussion of the pertinent legislation and regulations. A description of site characterization is presented next; it describes the facilities to be constructed for the site characterization program and explains the principal activities to be conducted during the program. Finally, the purpose, content, organizing principles, and organization of this site characterization plan are outlined, and compliance with applicable regulations is discussed.

  11. Site characterization plan: Yucca Mountain site, Nevada research and development area, Nevada: Consultation draft, Nuclear Waste Policy Act

    SciTech Connect (OSTI)

    NONE

    1988-01-01T23:59:59.000Z

    The Yucca Mountain site in Nevada is one of three candidate sites for the first geologic repository for radioactive waste. On May 28, 1986, it was recommended by the Secretary of Energy and approved by the President for detailed study in a program of site characterization. This site characterization plan (SCP) has been prepared by the US Department of Energy (DOE) in accordance with the requirements of the Nulcear Waste Policy Act to summarize the information collected to date about the geologic conditions at the site;to describe the conceptual designs for the repository and the waste package;and to present the plans for obtaining the geologic information necessary to demonstrate the suitability of the site for a repository, to design the repository and the waste package, to prepare an environmental impact statement, and to obtain from the US Nuclear Regulatory Commission (NRC) an authorization to construct the repository. This introduction begins with a brief section on the process for siting and developing a repository, followed by a discussion of the pertinent legislation and regulations. A description of site characterization is presented next;it describes the facilities to be constructed for the site characterization program and explains the principal activities to be conducted during the program. Finally, the purpose, content, organizing principles, and organization of the site characterization plan are oulined, and compliance with applicable regulations is discussed.

  12. Site characterization plan: Yucca Mountain site, Nevada research and development area, Nevada: Consultation draft, Nuclear Waste Policy Act: Volume 1

    SciTech Connect (OSTI)

    NONE

    1988-01-01T23:59:59.000Z

    The Yucca Mountain site in Nevada is one of three candidate sites for the first geologic repository for radioactive waste. On May 28, 1986, it was recommended for detailed study in a program of site characterization. This site characterization plan (SCP) has been prepared in acordance with the requirements of the Nuclear Waste Policy Act to summarize the information collected to date about the geologic conditions at the site;to describe the conceptual designs for the repository and the waste package and to present the plans for obtaining the geologic information necessary to demonstrate the suitability of the site for a repository, to design the repository and the waste package, to prepare an environmental impact statement, and to obtain from the US Nuclear Regulatory Commission (NRC) an authorization to construct the repository. This introduction begins with a brief section on the process for siting and eveloping a repository, followed by a discussion of the pertinent legislation and regulations. A description of site characterization is presented next;it describes the facilities to be constructed for the site characterization program and explains the principal activities to be conducted during the program. Finally, the purpose, content, organizing prinicples, and organization of this site characterization plan are outlined, and compliance with applicable regulations is discussed. 880 refs., 130 figs., 25 tabs.

  13. Application of an electronic wave-packet formalism to local-operator equations of motion for semiconductor lasers

    SciTech Connect (OSTI)

    Vahala, K.; Yariv, A.

    1985-07-01T23:59:59.000Z

    We develop a quantum mechanical formalism which facilitates the study of interactions locally in semiconductors. It is based on the operators psi/sup dagger/(m,x,k,t) and psi(m,x,k,t) which are defined so as to create and destroy electronic wave-packet states having well-defined position x and crystal momentum hk in a given energy band m of a crystal. We apply the formalism to develop local-operator equations of motion for semiconductor lasers.

  14. August 2004 Radiation Safety Manual Section 5 -Training

    E-Print Network [OSTI]

    Wilcock, William

    August 2004 Radiation Safety Manual Section 5 - Training UW Environmental Health and Safety Page 5-1 Section 5 Radiation Safety Training Contents A. Individuals Directly Using Radioactive Materials..........................................5-1 1. Regulations for Training.................................................................. 5

  15. SECTION 340 WRDA 1992, AS AMENDED ENVIRONMENTAL INFRASTRUCTURE

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 340 ­ WRDA 1992, AS AMENDED ENVIRONMENTAL INFRASTRUCTURE SOUTHERN WEST VIRGINIA MODEL for the provision of environmental assistance to non-Federal interests in southern West Virginia pursuant to Section

  16. SECTION 340 WRDA 1992, AS AMENDED ENVIRONMENTAL INFRASTRUCTURE

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 340 ­ WRDA 1992, AS AMENDED ENVIRONMENTAL INFRASTRUCTURE SOUTHERN WEST VIRGINIA MODEL of environmental assistance to non-Federal interests in southern West Virginia pursuant to Section 340 of the Water

  17. SECTION 340 WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 340 ­ WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA MODEL AGREEMENT FOR DESIGN ASSISTANCE-Federal interests in southern West Virginia pursuant to Section 340 of the Water Resources Development Act of 1992

  18. SECTION 571 WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 571 ­ WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA MODEL AGREEMENT FOR CONSTRUCTION West Virginia pursuant to Section 571 of the Water Resources Development Act of 1999, Public Law 106

  19. SECTION 340 WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 340 ­ WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA MODEL AGREEMENT FOR CONSTRUCTION West Virginia pursuant to Section 340 of the Water Resources Development Act of 1992, Public Law 102

  20. SECTION 340 WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 340 ­ WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA MODEL AGREEMENT FOR DESIGN ASSISTANCE for providing environmental assistance to non-Federal interests in southern West Virginia pursuant to Section

  1. SECTION 340 WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 340 ­ WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA MODEL AGREEMENT FOR DESIGN-Federal interests in southern West Virginia pursuant to Section 340 of the Water Resources Development Act of 1992

  2. SECTION 571 WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 571 ­ WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA MODEL AGREEMENT FOR DESIGN ASSISTANCE assistance to non-Federal interests in central West Virginia pursuant to Section 571 of the Water Resources

  3. SECTION 571 WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 571 ­ WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA MODEL AGREEMENT FOR DESIGN-Federal interests in central West Virginia pursuant to Section 571 of the Water Resources Development Act of 1999

  4. SECTION 571 WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 571 ­ WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA MODEL AGREEMENT FOR CONSTRUCTION environmental assistance to non-Federal interests in central West Virginia pursuant to Section 571 of the Water

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

    Energy Savers [EERE]

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

  6. http://health.usf.edu/publichealth/ SECTION 21

    E-Print Network [OSTI]

    Meyers, Steven D.

    Management Conc. 12/17/12 Revise GRE for concentrations: Health Care Organizations and Management 702 http://health.usf.edu/publichealth/ SECTION 21 CCOOLLLLEEGGEE OOFF PPUUBBLLIICC HHEEAALLTTHH #12;USF Tampa Graduate Catalog 20132014 Section 21 College of Public Health

  7. SECTION 593 WRDA 1999, AS AMENDED CENTRAL NEW MEXICO

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 593 ­ WRDA 1999, AS AMENDED CENTRAL NEW MEXICO MODEL AGREEMENT FOR DESIGN ASSISTANCE (WORK New Mexico pursuant to Section 593 of the Water Resources Development Act of 1999, Public Law 106

  8. Apparatus for sectioning demountable semiconductor samples

    DOE Patents [OSTI]

    Sopori, Bhushan L. (Scottsdale, AZ); Wolf, Abraham (Sun City West, AZ)

    1984-01-01T23:59:59.000Z

    Apparatus for use during polishing and sectioning operations of a ribbon sample is described. The sample holder includes a cylinder having an axially extending sample cavity terminated in a first funnel-shaped opening and a second slot-like opening. A spring-loaded pressure plunger is located adjacent the second opening of the sample cavity for frictional engagement of the sample prior to introduction of a molding medium in the sample cavity. A heat softenable molding medium is inserted in the funnel-shaped opening, to surround the sample. After polishing, the heater is energized to allow draining of the molding medium from the sample cavity. During manual polishing, the second end of the sample holder is inserted in a support ring which provides mechanical support as well as alignment of the sample holder during polishing. A gauge block for measuring the protrusion of a sample beyond the second wall of the holder is also disclosed.

  9. U.S. DEPARTMENT OF ENERGY Records Contact Appointment SECTION...

    Office of Environmental Management (EM)

    ENERGY Records Contact Appointment SECTION I. Appointment Pursuant to DOE Order 243.1B, Records Management Program, (Name) ...

  10. Measurement of the Proton-Air Cross Section with Telescope Array's Middle Drum Detector and Surface Array in Hybrid Mode

    E-Print Network [OSTI]

    Abbasi, R U; Abu-Zayyad, T; Allen, M; Anderson, R; Azuma, R; Barcikowski, E; Belz, J W; Bergman, D R; Blake, S A; Cady, R; Chae, M J; Cheon, B G; Chiba, J; Chikawa, M; Cho, W R; Fujii, T; Fukushima, M; Goto, T; Hanlon, W; Hayashi, Y; Hayashida, N; Hibino, K; Honda1, K; Ikeda, D; Inoue, N; Ishii, T; Ishimori, R; Ito, H; Ivanov, D; Jui, C C H; Kadota, K; Kakimoto, F; Kalashev, O; Kasahara, K; Kawai, H; Kawakami, S; Kawana, S; Kawata, K; Kido, E; Kim, H B; Kim, J H; Kitamura, S; Kitamura, Y; Kuzmin, V; Kwon, Y J; Lan1, J; Lim, S I; Lundquist, J P; Machida, K; Martens, K; Matsuda, T; Matsuyama, T; Matthews, J N; Minamino, M; Mukai, K; Myers, I; Nagasawa, K; Nagataki1, S; Nakamura, T; Nonaka, T; Nozato, A; Ogio, S; Ogura, J; Ohnishi, M; Ohoka, H; Oki, K; Okuda, T; Ono, M; Oshima, A; Ozawa, S; Park, I H; Pshirkov, M S; Rodriguez, D C; Rubtsov, G; Ryu, D; Sagawa, H; Sakurai, N; Sampson, A L; Scott, L M; Shah, P D; Shibata, F; Shibata, T; Shimodaira, H; Shin, B K; Smith, J D; Sokolsky, P; Springer, R W; Stokes, B T; Stratton, S R; Stroman, T A; Suzawa, T; Takamura, M; Takeda, M; Takeishi, R; Taketa, A; Takita, M; Tameda, Y; Tanaka, H; Tanaka, K; Tanaka, M; Thomas, S B; Thomson, G B; Tinyakov, P; Tkachev, I; Tokuno, H; Tomida, T; Troitsky, S; Tsunesada, Y; Tsutsumi, K; Uchihori, Y; Udo, S; Urban, F; Vasiloff, G; Wong, T; Yamane, R; Yamaoka, H; Yamazaki, K; Yang, J; Yashiro, K; Yoneda, Y; Yoshida, S; Yoshii, H; Zollinger, R; Zundel, Z

    2015-01-01T23:59:59.000Z

    In this work we are reporting on the measurement of the proton-air inelastic cross section $\\sigma^{\\rm inel}_{\\rm p-air}$ using the Telescope Array (TA) detector. Based on the measurement of the $\\sigma^{\\rm inel}_{\\rm p-air}$ the proton-proton cross section $\\sigma_{\\rm p-p}$ value is also determined at $\\sqrt{s} = 95$ TeV. Detecting cosmic ray events at ultra high energies with Telescope Array enables us to study this fundamental parameter that we are otherwise unable to access with particle accelerators. The data used in this report is collected over five years using hybrid events observed by the Middle Drum fluorescence detector together with the surface array detector. The value of the $\\sigma^{\\rm inel}_{\\rm p-air}$ is found to be equal to $ 567.0 \\pm 70.5 [{\\rm Stat.}] ^{+25}_{-29} [{\\rm Sys.}]$ mb. The total proton-proton cross section is subsequently inferred from Glauber Formalism and Block, Halzen and Stanev QCD inspired fit and is found to be equal to $170_{-44}^{+48} [{\\rm Stat.}] \\pm _{-19}^{+1...

  11. Measurement of the Proton-Air Cross Section with Telescope Array's Middle Drum Detector and Surface Array in Hybrid Mode

    E-Print Network [OSTI]

    R. U. Abbasi; M. Abe; T. Abu-Zayyad; M. Allen; R. Anderson; R. Azuma; E. Barcikowski; J. W. Belz; D. R. Bergman; S. A. Blake; R. Cady; M. J. Chae; B. G. Cheon; J. Chiba; M. Chikawa; W. R. Cho; T. Fujii; M. Fukushima; T. Goto; W. Hanlon; Y. Hayashi; N. Hayashida; K. Hibino; K. Honda1; D. Ikeda; N. Inoue; T. Ishii; R. Ishimori; H. Ito; D. Ivanov; C. C. H. Jui; K. Kadota; F. Kakimoto; O. Kalashev; K. Kasahara; H. Kawai; S. Kawakami; S. Kawana; K. Kawata; E. Kido; H. B. Kim; J. H. Kim; J. H. Kim; S. Kitamura; Y. Kitamura; V. Kuzmin; Y. J. Kwon; J. Lan1; S. I. Lim; J. P. Lundquist; K. Machida; K. Martens; T. Matsuda; T. Matsuyama; J. N. Matthews; M. Minamino; K. Mukai; I. Myers; K. Nagasawa; S. Nagataki1; T. Nakamura; T. Nonaka; A. Nozato; S. Ogio; J. Ogura; M. Ohnishi; H. Ohoka; K. Oki; T. Okuda; M. Ono; A. Oshima; S. Ozawa; I. H. Park; M. S. Pshirkov; D. C. Rodriguez; G. Rubtsov; D. Ryu; H. Sagawa; N. Sakurai; A. L. Sampson; L. M. Scott; P. D. Shah; F. Shibata; T. Shibata; H. Shimodaira; B. K. Shin; J. D. Smith; P. Sokolsky; R. W. Springer; B. T. Stokes; S. R. Stratton; T. A. Stroman; T. Suzawa; M. Takamura; M. Takeda; R. Takeishi; A. Taketa; M. Takita; Y. Tameda; H. Tanaka; K. Tanaka; M. Tanaka; S. B. Thomas; G. B. Thomson; P. Tinyakov; I. Tkachev; H. Tokuno; T. Tomida; S. Troitsky; Y. Tsunesada; K. Tsutsumi; Y. Uchihori; S. Udo; F. Urban; G. Vasiloff; T. Wong; R. Yamane; H. Yamaoka; K. Yamazaki; J. Yang; K. Yashiro; Y. Yoneda; S. Yoshida; H. Yoshii; R. Zollinger; Z. Zundel

    2015-05-07T23:59:59.000Z

    In this work we are reporting on the measurement of the proton-air inelastic cross section $\\sigma^{\\rm inel}_{\\rm p-air}$ using the Telescope Array (TA) detector. Based on the measurement of the $\\sigma^{\\rm inel}_{\\rm p-air}$ the proton-proton cross section $\\sigma_{\\rm p-p}$ value is also determined at $\\sqrt{s} = 95$ TeV. Detecting cosmic ray events at ultra high energies with Telescope Array enables us to study this fundamental parameter that we are otherwise unable to access with particle accelerators. The data used in this report is collected over five years using hybrid events observed by the Middle Drum fluorescence detector together with the surface array detector. The value of the $\\sigma^{\\rm inel}_{\\rm p-air}$ is found to be equal to $ 567.0 \\pm 70.5 [{\\rm Stat.}] ^{+25}_{-29} [{\\rm Sys.}]$ mb. The total proton-proton cross section is subsequently inferred from Glauber Formalism and Block, Halzen and Stanev QCD inspired fit and is found to be equal to $170_{-44}^{+48} [{\\rm Stat.}] \\pm _{-19}^{+17} [{\\rm Sys.}] $mb.

  12. Our goal is to develop a modeling formalism for representing state and change of state in general cyber systems, and model

    E-Print Network [OSTI]

    Objective Our goal is to develop a modeling formalism for representing state and change of state. Approach We represent cyber systems as discrete mathematical objects interacting across hierarchically

  13. Math 13700 Assignment Sheet Spring 2010 Lesson Section Page ...

    E-Print Network [OSTI]

    rroames

    2010-01-04T23:59:59.000Z

    Read pp 44-45, section 2.5. 7. 3.1 p 51 ... __ Read pp 92-93, section 4.2. 14 ... 1, 4, 5, 6, 8bcd, 9bcd, 12, 13, 17, 21fghij Read pp 196-197, section 9.4. 28.

  14. SECTION 593 WRDA 1999, AS AMENDED CENTRAL NEW MEXICO

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 593 ­ WRDA 1999, AS AMENDED CENTRAL NEW MEXICO MODEL AGREEMENT FOR DESIGN AND CONSTRUCTION-Federal interests in central New Mexico pursuant to Section 593 of the Water Resources Development Act of 1999") and Section 401 of the Federal Water Pollution Control Act (33 U.S.C. 1341). Compliance with all applicable

  15. SECTION 593 WRDA 1999, AS AMENDED CENTRAL NEW MEXICO

    E-Print Network [OSTI]

    US Army Corps of Engineers

    SECTION 593 ­ WRDA 1999, AS AMENDED CENTRAL NEW MEXICO MODEL AGREEMENT FOR CONSTRUCTION ASSISTANCE New Mexico pursuant to Section 593 of the Water Resources Development Act of 1999, Public Law 106, NEPA and Section 401 of the Federal Water Pollution Control Act (33 U.S.C. 1341). #12;

  16. TXSAMC (transport cross sections from applied Monte Carlo): a new tool for generating shielded multigroup cross sections 

    E-Print Network [OSTI]

    Hiatt, Matthew Torgerson

    2009-06-02T23:59:59.000Z

    This thesis describes a tool called TXSAMC (Transport Cross Sections from Applied Monte Carlo) that produces shielded and homogenized multigroup cross sections for small fast reactor systems. The motivation for this tool comes from a desire...

  17. Comparisons in economy between constant section and varying section continuous steel girders in H-15 highway bridges

    E-Print Network [OSTI]

    Furr, Howard L.

    1948-01-01T23:59:59.000Z

    , k-15 eguivalent lane loading was used in the analysis. Girder design wms confined to interior girders, end the design was based on bending moment analyses only. Continuous girders of standard constant section and of rein" orced section were...

  18. Centrifuge Model Tests on Anchor Piles for Tension Leg Platforms E. H. Doyle, Consultant; E.T.R. Dean, Soil Models Limited; J. S. Sharma, University of Saskatchewan; M. D. Bolton,

    E-Print Network [OSTI]

    Bolton, Malcolm

    OTC 16845 Centrifuge Model Tests on Anchor Piles for Tension Leg Platforms E. H. Doyle, Consultant to study the lateral response of large-diameter piles in clay subject to large lateral displacements. The objectives were to quantify the cyclic response for lateral loading of two closely-spaced piles loaded

  19. 2010, Regents of the University of Minnesota. All rights reserved. University of Minnesota Extension is an equal opportunity educator and employer. This material is available in alternative formats upon request. Direct requests for consultation on format

    E-Print Network [OSTI]

    Minnesota, University of

    upon request. Direct requests for consultation on formats to 800-876-8636. Printed on recycled and recyclable paper with at least 10 percent postconsumer waste material. 12/10 When a natural disaster occurs in school, or feeling very tired. If your child acts differently or behaves in unacceptable ways, try

  20. Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2, and Douglas R. Smith1

    E-Print Network [OSTI]

    Pavlovic, Dusko

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