Powered by Deep Web Technologies
Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


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]

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.

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

2006-06-07T23:59:59.000Z

3

Sub-barrier Fusion Cross Sections with Energy Density Formalism  

SciTech Connect (OSTI)

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.

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

2006-08-14T23:59:59.000Z

4

Employment of Experts and Consultants  

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

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.

2006-11-06T23:59:59.000Z

5

SECTION THIRTY SEVEN Consultants Section Thirty Seven Consultants...  

Energy Savers [EERE]

on market prices for electricity, the availability and cost of fuels used to generate electricity, future legislation and possible advances in renewable technologies,...

6

SECTION THIRTY SEVEN Consultants Section Thirty Seven Consultants, Inc.  

Energy Savers [EERE]

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartment of Energy fromCommentsRevolving Loan Funds Revolving2SECRETARY OF ENERGYSECTION

7

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)

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.

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

2012-08-10T23:59:59.000Z

8

Technical Consultant Contract  

Broader source: Energy.gov [DOE]

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

9

Communication Consultant Contract  

Broader source: Energy.gov [DOE]

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

10

Communications Consultant RFP  

Broader source: Energy.gov [DOE]

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

11

Evaluation Consultant RFP  

Broader source: Energy.gov [DOE]

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

12

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

SciTech Connect (OSTI)

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}

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

13

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

14

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

15

BlackboardSectioningTool Course Sectioning The Sectioning Tool  

E-Print Network [OSTI]

sectioning tool: Consult the online help provided within the sectioning tool Call the OIT Help Desk at (609 by those preferences, select Enable/Configure Student Preference Tool. Need help using the BlackboardBlackboardSectioningTool Course Sectioning 1 The Sectioning Tool The Sectioning Tool is a course

Bou-Zeid, Elie

16

Formal Methods Formalism vs. Verification  

E-Print Network [OSTI]

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

Feitelson, Dror

17

Selecting a Consulting Forester  

E-Print Network [OSTI]

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

Taylor, Eric; Foster, C. Darwin

2005-10-19T23:59:59.000Z

18

CONSULTANT REPORT DISTRIBUTED GENERATION  

E-Print Network [OSTI]

CONSULTANT REPORT DISTRIBUTED GENERATION INTEGRATION COST STUDY Analytical Framework energy development, or distributed generation, in California. In May 2012, Southern California Edison Southern California Edison's approach to evaluating distributed generation impacts, and to conduct

19

Wellcome Trust CONSULTATION RESPONSE Ofqual: A level Reform Consultation  

E-Print Network [OSTI]

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

Rambaut, Andrew

20

ENERGY REVIEW Consultation Document  

E-Print Network [OSTI]

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

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


21

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

22

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

23

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

24

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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLas Conchas recovery challengeMultiscale SubsurfaceExascale Era Computing » CoDExConsulting

25

Appendix B (Documentation of Consultation)  

E-Print Network [OSTI]

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

Lee, Dongwon

26

Appendix B: (Documentation of Consultation)  

E-Print Network [OSTI]

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

Lee, Dongwon

27

Appendix B: (Documentation of Consultation)  

E-Print Network [OSTI]

#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

Lee, Dongwon

28

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

29

CONSULTANT REPORT DEMAND FORECAST EXPERT  

E-Print Network [OSTI]

CONSULTANT REPORT DEMAND FORECAST EXPERT PANEL INITIAL forecast, end-use demand modeling, econometric modeling, hybrid demand modeling, energyMahon, Carl Linvill 2012. Demand Forecast Expert Panel Initial Assessment. California Energy

30

CONSULTANT REPORT 2009 CALIFORNIA RESIDENTIAL  

E-Print Network [OSTI]

CONSULTANT REPORT 2009 CALIFORNIA RESIDENTIAL APPLIANCE SATURATION STUDY funded and administered a Residential Appliance Saturation Study that serves as an update to the 2003 electric and 10 natural gas residential enduses and appliance saturations for households

31

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]

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

Dyer, Bill

32

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

33

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

34

Hamilton Consulting | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 No revision hasInformation Earth's Heat Jump to:Photon Place:Net JumpStrategy | OpenHackberryHamilton Consulting

35

ENDANGERED SPECIES ACT -SECTION 7 CONSULTATION BIOLOGICAL OPINION  

E-Print Network [OSTI]

Laboratory, the North Slope Borough, the Alaska Eskimo Whaling Commission, and the traditional knowledge Service National Marine Fisheries Service ACTIVITY: Oil and Gas Leasing and Exploration Activities effects of oil and gas leasing and exploration in the U. S. Beaufort Sea and Chukchi Seas

36

ENDANGERED SPECIES ACT -SECTION 7 CONSULTATION BIOLOGICAL OPINION  

E-Print Network [OSTI]

knowledge of Native hunters and the Inupiat along Alaska's north slope, and other sources of information of the Interior; Minerals Management Service Activity: Construction and Operation of the Liberty Oil Production in the U.S. Beaufort Sea off Alaska's north coast, and its effects on the endangered bowhead whale, Balaena

37

Endangered Species Act Section 7 Consultation Handbook | Open Energy  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address:011-DNA Jump37. It is classifiedProject) |Emeryville,Empire

38

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

E-Print Network [OSTI]

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

Rambaut, Andrew

39

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

40

Formal Modelling and Analysis of Behaviour Grading within a Peer-to-peer Storage System  

E-Print Network [OSTI]

Formal Modelling and Analysis of Behaviour Grading within a Peer-to-peer Storage System Samira In this paper, we extend a peer-to-peer based storage system in order to cope with malicious nodes. To do so, we. In the next section, we present the UbiStorage system. Then, section 3 presents the formal model, section 4

Paris-Sud XI, Université de

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


41

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

42

CONSULTATION RESPONSE Wellcome Trust response to Workforce  

E-Print Network [OSTI]

account of in workforce planning. The importance of integrating academic training with clinical trainingCONSULTATION RESPONSE Wellcome Trust response to Workforce of the Healthcare Science Workforce Modernising Scientific Careers: The Next Steps Response by the Wellcome Trust

Rambaut, Andrew

43

Environment Canada Industrial Programs Section  

E-Print Network [OSTI]

#12;Environment Canada Industrial Programs Section Environmental Protection Guide for Best Management Practices for Process Water Management at Fish Processing Plants in British Columbia h~ NovaTec Consultants Inc. Environmental Engineers and Scientists September 1994 Project No: 1043.16 #12;DISCLAIMER

44

Relicensing: Adding an extra stage of consultation  

SciTech Connect (OSTI)

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

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

1992-09-01T23:59:59.000Z

45

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

E-Print Network [OSTI]

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

Forster, P.; Arndt, J.

46

CONSULTANT REPORT COMBINED HEAT AND POWER  

E-Print Network [OSTI]

CONSULTANT REPORT COMBINED HEAT AND POWER: POLICY ANALYSIS AND 2011 ­ 2030 MARKET ASSESSMENT This report analyzes the potential market penetration of combined heat and power systems in California from 2011 to 2030. This analysis evaluates the potential contribution of new combined heat and power

47

CONSULTANT REPORT COMBINED HEAT AND POWER  

E-Print Network [OSTI]

CONSULTANT REPORT COMBINED HEAT AND POWER: POLICY ANALYSIS AND 2011 ­ 2030 MARKET ASSESSMENT ABSTRACT This report analyzes the potential market penetration of combined heat and power systems the markets, applications, technologies, and economic competition for combined heat and power over

48

Consider consulting firms beyond the major  

E-Print Network [OSTI]

for interviews. This is not a skill that can be mas- tered in one night. Re- search company websites for practice questions Insider Advice Attend career fairs and company information sessions including the Career Expo. Along with On Campus Recruiting (OCR) consulting firms may also host company presentations and even pre

Shull, Kenneth R.

49

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

50

FFLLOORRIIDDAA SSTTAATTEE UUNNIIVVEERRSSIITTYY NOTICE TO PROFESSIONAL CONSULTANTS  

E-Print Network [OSTI]

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

Sura, Philip

51

FFLLOORRIIDDAA SSTTAATTEE UUNNIIVVEERRSSIITTYY NOTICE TO PROFESSIONAL CONSULTANTS  

E-Print Network [OSTI]

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

Sura, Philip

52

Consultancy Policy and Procedures Commencement Date: 25 November, 2005  

E-Print Network [OSTI]

-Chancellor, Research and Development (DVC & R&D) or through a Faculty Consultancy Coordination Unit (FCCU), reporting faculties or major University administrative areas. Faculty Consultancy Coordination Unit (FCCU) Means

53

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

54

Mycle Schneider Consulting Independent Analysis on Energy and Nuclear Policy  

E-Print Network [OSTI]

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

Laughlin, Robert B.

55

External Assurance Letter from Sustainable Business Consulting Sustainable Business Consulting evaluated Pacific Northwest National Laboratory's (PNNL) sustainability report to  

E-Print Network [OSTI]

External Assurance Letter from Sustainable Business Consulting Sustainable Business Consulting evaluated Pacific Northwest National Laboratory's (PNNL) sustainability report to establish in the spirit of GRI disclosure. The 2012 Sustainability Report provides a balanced and reasonable

56

External Assurance Letter from Sustainable Business Consulting Sustainable Business Consulting evaluated Pacific Northwest National Laboratory's (PNNL) sustainability report to  

E-Print Network [OSTI]

External Assurance Letter from Sustainable Business Consulting Sustainable Business Consulting evaluated Pacific Northwest National Laboratory's (PNNL) sustainability report to establish the information in the spirit of GRI disclosure. The 2011 Sustainability Report provides a reasonable and balanced

57

NIFES Consulting Group COMMERCIAL IN CONFIDENCE  

E-Print Network [OSTI]

.murphy@nifes.co.uk Ref: UKE1520 Manchester Metropolitan University Energy Audit/SE/PM/ Rel 1 Date: May 2008 #12;NIFES 1.3 Brief Description of the Site 6 1.4 Acknowledgement 7 2.0 ENERGY AUDIT 8 2.1 Site Configuration MANAGEMENT MATRIX #12;3 NIFES Consulting Group EXECUTIVE SUMMARY An energy audit has been carried out

58

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 on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address:011-DNA Jump to: navigation, search GEOTHERMALDale Renewables Consulting Jump to:

59

Nuclear DVCS within the high energy QCD color dipole formalism  

E-Print Network [OSTI]

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.

M. V. T. Machado

2009-05-27T23:59:59.000Z

60

Alternative Energy Consultants | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160 East 300Algoil JumpAltergy Systems Place: Folsom, CaliforniaConcepts andConsultants

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


61

CONSULTATION RESPONSE Wellcome Trust response to Public Consultation on DFID's Research  

E-Print Network [OSTI]

at the intersection between infections of humans, animals and plants. The effect of climate change on crops, which in developing countries ranges far beyond those conditions. Some key health research topics not mentioned in the consultation document are mental health problems and treatments in developing countries, and research

Rambaut, Andrew

62

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

63

SPECIAL CONSULTANT PAYMENT Workforce Planning | 408-924-2250  

E-Print Network [OSTI]

SPECIAL CONSULTANT PAYMENT Workforce Planning | 408-924-2250 HR: 3/4/2013 Instructions After Faculty Affairs Approval: Date: Workforce Planning Approval: Date: #12;

Eirinaki, Magdalini

64

DIUS Science and Society Consultation Response from the Wellcome Trust  

E-Print Network [OSTI]

DIUS Science and Society Consultation Response from the Wellcome Trust December 2007 1) informal consultation on science and society. The Wellcome Trust is the largest charity in the UK which biomedical science can flourish' and is one of the major funders of public engagement activities

Rambaut, Andrew

65

TOWER FOUNDATION OF SJSU VENDOR/CONSULTANT DATA FORM  

E-Print Network [OSTI]

TOWER FOUNDATION OF SJSU VENDOR/CONSULTANT DATA FORM ONE WASHINGTON SQUARE, SAN JOSE, CA 95192. Vendor/Consultant Name: Mailing Address: City, State, Zip Code: Telephone Number: Email Address: Vendor or an employee of SJSU. Vendor's Taxpayer I.D. Number ­ NOTE: Payment will not be processed without

Eirinaki, Magdalini

66

Consulting Assistance on Economic Reform II 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

67

Formal Methods in Industry: The State of Practice of Formal Methods in South America  

E-Print Network [OSTI]

Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East of the world, mainly South America, and Far East. A personal comparison of some formal method tools, namely

Southampton, University of

68

A Micro-Thermodynamic Formalism  

E-Print Network [OSTI]

We consider the micro-canonical ensemble of a classical Hamiltonian dynamical system, the Hamiltonian being parameter dependent and in the possible presence of other first integrals. We describe a thermodynamic formalism in which a 1st law of thermodynamics, or fundamental relation, is based upon the bulk-entropy, S. Under an ergodic hypothesis, S is shown to be an adiabatic invariant. Expressions for derivatives and thermodynamic relations are derived within the micro-canonical ensemble itself.

Hans Henrik Rugh

2002-01-30T23:59:59.000Z

69

Hyperspherical harmonic formalism for tetraquarks  

E-Print Network [OSTI]

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.

J. Vijande; N. Barnea; A. Valcarce

2006-10-11T23:59:59.000Z

70

Verifica Formale Generazione Automatica di Test  

E-Print Network [OSTI]

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

Robbiano, Lorenzo

71

Formal Semantics, Compilation and Execution of the GALS  

E-Print Network [OSTI]

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

Paris-Sud XI, Universit de

72

Page 1 of 2 RTI GRANTS PROGRAM CONSULTATION DOCUMENT  

E-Print Network [OSTI]

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

Brownstone, Rob

73

Survey of Existing Tools for Formal Verification.  

SciTech Connect (OSTI)

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.

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

2014-12-01T23:59:59.000Z

74

Mechanical formalism for tissue dynamics  

E-Print Network [OSTI]

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.

Sham Tlili; Cyprien Gay; Francois Graner; Philippe Marcq; Franois Molino; Pierre Saramito

2014-12-23T23:59:59.000Z

75

Ostrogradsky's Hamilton formalism and quantum corrections  

E-Print Network [OSTI]

By means of a simple scalar field theory it is demonstrated that the Lagrange formalism and Ostrogradsky's Hamilton formalism in the presence of higher derivatives, in general, do not lead to the same results. While the two approaches are equivalent at the classical level, differences appear due to the quantum corrections.

J. Gegelia; S. Scherer

2010-03-23T23:59:59.000Z

76

Formal Transition in Agent Organizations Eric Matson  

E-Print Network [OSTI]

, the company's management must understand the methodology and process of transition, or more generally termedFormal Transition in Agent Organizations Eric Matson Department of Computer Science and Engineering define organization transition. Specifically, we describe a formal process of organi- zation transition

Deloach, Scott A.

77

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

E-Print Network [OSTI]

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.

A. S. Umar; V. E. Oberacker

2007-05-09T23:59:59.000Z

78

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

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160 East 300 SouthWater Rights,Information Of TheFixed UtilitiesHandbook | Open

79

Attachment 1: NPR-3 Section 106 Consulting Parties Advisory Council on Historic  

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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsruc DocumentationP-Series to someone byDearTechnical Information Atoms for Peace The

80

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

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


81

A Multilingual Usage Consultation Tool Based on Internet Searching  

E-Print Network [OSTI]

A Multilingual Usage Consultation Tool Based on Internet Searching -More than a search engine, less than QA- Kumiko Tanaka-Ishii Graduate School of Information Science and Technology University of Tokyo Technology Center University of Tokyo 7-3-1 Hongo, Bunkyo-ku Tokyo, Japan nakagawa

Nakagawa, Hiroshi

82

Consulting Day Report 2008 Center for Nonprofit Strategy and Management  

E-Print Network [OSTI]

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

Rosen, Jay

83

SUBAWARD, SUBCONTRACT, CONSULTANT, VENDOR HOW TO TELL THEM APART  

E-Print Network [OSTI]

SUBAWARD, SUBCONTRACT, CONSULTANT, VENDOR HOW TO TELL THEM APART SUBAWARD: The agreement the prime award is a contract. VENDOR: · Indicative characteristics o Provides the goods or services within: Categorized as a vendor-type relationship. An individual or company retained to provide professional advice

Kroll, Kristen L.

84

AT&TSecurity Consulting Information Assurance Federal Information Security  

E-Print Network [OSTI]

the security controls for the information system. The AT&T Consulting methodology is based on National in addressing industry best practices and provide Security Authorization Process, formerly Certification requirements under the Federal Information Security Management Act of 2002, of general support systems

Fisher, Kathleen

85

CONSULTATION RESPONSE Wellcome Trust response to RCUK Large Facilities Roadmap  

E-Print Network [OSTI]

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

Rambaut, Andrew

86

National Strategy for the Arctic Region Tribal Consultation Session: Unalaska  

Broader source: Energy.gov [DOE]

DOE is seeking input from federally recognized Alaska Native Tribes and Alaska Native corporations on a 10-year implementation plan as part of the National Strategy for the Arctic Region, as well as other DOE-related activities in the region. DOE, in conjunction with several other federal agencies, will host seven consultation sessions between October and December 2014.

87

National Strategy for the Arctic Region Tribal Consultation Session: Barrow  

Broader source: Energy.gov [DOE]

DOE is seeking input from federally recognized Alaska Native Tribes and Alaska Native corporations on a 10-year implementation plan as part of the National Strategy for the Arctic Region, as well as other DOE-related activities in the region. DOE, in conjunction with several other federal agencies, will host seven consultation sessions between October and December 2014.

88

National Strategy for the Arctic Region Tribal Consultation Session: Nome  

Broader source: Energy.gov [DOE]

DOE is seeking input from federally recognized Alaska Native Tribes and Alaska Native corporations on a 10-year implementation plan as part of the National Strategy for the Arctic Region, as well as other DOE-related activities in the region. DOE, in conjunction with several other federal agencies, will host seven consultation sessions between October and December 2014.

89

OnLocation, Inc., Energy Systems Consulting Hydrogen Scenarios  

E-Print Network [OSTI]

-Gate Storage and Compressor or liquefier Natural Gas Reforming Storage and Dispensing Retail markup Consulting 7 NEMS-H2 Light Duty Vehicle Representation Fuel price and availability varies among 3 markets, there are 16 vehicle technologies arranged in 5 groups Conventional: gasoline, diesel, flex-fuel methanol

90

CONSULTATION RESPONSE Wellcome Trust response to Sustainable Food  

E-Print Network [OSTI]

CONSULTATION RESPONSE Wellcome Trust response to Sustainable Food March 2011 Page 1 of 2 House of Commons Environmental Audit Committee: Sustainable Food Inquiry Response by the Wellcome Trust March 2011 solutions for the production of healthy and sustainable food. As a research funder dedicated to improving

Rambaut, Andrew

91

A formal ontology for industrial maintenance  

E-Print Network [OSTI]

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

Boyer, Edmond

92

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

93

Formal Specification of Operating System Operations  

E-Print Network [OSTI]

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

Black, Paul E.

94

Formal Specification of Operating System Operations  

E-Print Network [OSTI]

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

Black, Paul E.

95

A Formal Model of Auditor Independence Risk  

E-Print Network [OSTI]

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

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

2002-01-01T23:59:59.000Z

96

Formal Semantics for Interacting UML subsystems  

E-Print Network [OSTI]

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

Jurjens, Jan

97

Forisk Consulting Forisk Consulting LLC PO Box 5070 Athens, GA 30604 770.725.8447 hclark@forisk.com  

E-Print Network [OSTI]

to timber markets, wood bioenergy, and forest operations. Our experience and interests focus on better@forisk.com Date: July 2013 Re: Market Analyst About Forisk Consulting Forisk conducts applied research related in the forest industry, wood bioenergy and timberland investing sectors. Forisk specializes in analyzing

Mazzotti, Frank

98

FORMAL HERMENEUTICS BASED ON FREGE DUALITY Oleg Prosorov  

E-Print Network [OSTI]

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

Prosorov, Oleg B.

99

Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes  

E-Print Network [OSTI]

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

Moeller, Ralf

100

Section J  

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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarlyEnergyDepartment of Energy U.S. DepartmentCommitment for a Loan GuaranteeRECOVERYL-1 Section JM-1

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


101

Section Number:  

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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarlyEnergyDepartment of Energy U.S. DepartmentCommitment for a Loan GuaranteeRECOVERYL-1 Section JM-1

102

SECTION J  

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGY TAXBalancedDepartmentRestrictions onSB Electronics BreaksSEB SecretariatA-1 SECTION J

103

SECTION J  

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGY TAXBalancedDepartmentRestrictions onSB Electronics BreaksSEB SecretariatA-1 SECTION

104

SECTION J  

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGY TAXBalancedDepartmentRestrictions onSB Electronics BreaksSEB SecretariatA-1 SECTION

105

SECTION J  

Office of Environmental Management (EM)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "of EnergyEnergyENERGY TAXBalancedDepartmentRestrictions onSB Electronics BreaksSEB SecretariatA-1K-1 SECTION

106

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

107

Thermodynamic formalism for systems with Markov dynamics  

E-Print Network [OSTI]

The thermodynamic formalism allows one to access the chaotic properties of equilibrium and out-of-equilibrium systems, by deriving those from a dynamical partition function. The definition that has been given for this partition function within the framework of discrete time Markov chains was not suitable for continuous time Markov dynamics. Here we propose another interpretation of the definition that allows us to apply the thermodynamic formalism to continuous time. We also generalize the formalism --a dynamical Gibbs ensemble construction-- to a whole family of observables and their associated large deviation functions. This allows us to make the connection between the thermodynamic formalism and the observable involved in the much-studied fluctuation theorem. We illustrate our approach on various physical systems: random walks, exclusion processes, an Ising model and the contact process. In the latter cases, we identify a signature of the occurrence of dynamical phase transitions. We show that this signature can already be unravelled using the simplest dynamical ensemble one could define, based on the number of configuration changes a system has undergone over an asymptotically large time window.

Vivien Lecomte; Ccile Appert-Rolland; Frdric van Wijland

2006-11-09T23:59:59.000Z

108

Recent Topics in Formal Epistemology [ Home ] [ Syllabus  

E-Print Network [OSTI]

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

Fitelson, Branden

109

Formal Fault Tree Analysis: Practical Experiences  

E-Print Network [OSTI]

sytsems and transportation systems. In this paper we present the formalization of one of the most wide is rising (e.g. the recent accidents in china's chemical plants or the german ICE acci- dent at Eschede of [14]. Verification was done with the KIV system [2]. This case study can also be seen as a guideline

Paris-Sud XI, Université de

110

Conservation-dissipation formalism of irreversible thermodynamics  

E-Print Network [OSTI]

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.

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

2014-07-21T23:59:59.000Z

111

Utility Ontology Development with Formal Concept Analysis  

E-Print Network [OSTI]

Utility Ontology Development with Formal Concept Analysis Gaihua Fu and Anthony G Cohn School for the development of ontologies in the utility infrastructure domain. It arises from a practical industrial problem consideration of interoperability with other utility information systems. The proposed approach is based

Leeds, University of

112

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

E-Print Network [OSTI]

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

Kreinovich, Vladik

113

A Rough Logic Formalism for Fuzzy Controllers  

E-Print Network [OSTI]

A Rough Logic Formalism for Fuzzy Controllers: A Hard and Soft Computing View T.Y. Lin Department are the design goal. Several new applications are identified. KEYWORDS: control, fuzzy logic, modal logic, rough process, called rough logic government, is proposed. In this process, fuzzy logic is viewed

Lin, Tsau Young

114

Formal Transformations and WSL Martin Ward  

E-Print Network [OSTI]

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

Singer, Jeremy

115

DOI - Tribal Consultation Policy webpage | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address: 160Benin:EnergyWisconsin:2003)CrowleyEnergyMasse) JumpConsultation Policy webpage Jump

116

Energy Consult Projektgesellschaft mbH | Open Energy Information  

Open Energy Info (EERE)

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home5b9fcbce19 NoPublic Utilities Address:011-DNA Jump37. It is classifiedProject)EnerVaultTechnologies Econ Inc Jump to:Consult

117

E-Print Network 3.0 - american consulting engineers Sample Search...  

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

Available free online or through aggregators (e.g. EBSCO)? Summary: reviews: science and engineering Online Yes, consult catalog Child & youth services Online Chromatographia......

118

E-Print Network 3.0 - acres consulting services Sample Search...  

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

Partnerships, Agricultural consultants, and Commodity groups worked with NRCS program and county staff... categorized by commodity segment: 60acre for fruitnurseryXmas tree...

119

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

120

Pseudofunctorial behavior of Cousin complexes on formal schemes  

E-Print Network [OSTI]

Contemporary Mathematics. Pseudofunctorial behavior of Cousin complexes on formal schemes. Joseph Lipman, Suresh Nayak, and Pramathanath Sastry.

2007-12-28T23:59:59.000Z

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


121

Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering  

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

122

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

SciTech Connect (OSTI)

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.

Pilat, Joseph F [Los Alamos National Laboratory

2010-01-01T23:59:59.000Z

123

Surface-integral formalism of deuteron stripping  

E-Print Network [OSTI]

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.

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

2014-08-24T23:59:59.000Z

124

Formal Derivation of Concurrent Garbage Collectors  

E-Print Network [OSTI]

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.

Pavlovic, Dusko; Smith, Douglas R

2010-01-01T23:59:59.000Z

125

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

E-Print Network [OSTI]

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

Rambaut, Andrew

126

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

E-Print Network [OSTI]

'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

Rambaut, Andrew

127

Contract for Consultancy Services (Rev 06/07/11) No: Unit: Date Page 1 Contract Manager  

E-Print Network [OSTI]

Contract for Consultancy Services (Rev 06/07/11) No: Unit: __________________________________________________________________________ Date Page 1 Contract Manager: CONTRACT for the SUPPLY of CONSULTANCY SERVICES between The Forestry to the Commission in accordance with and subject to the provisions of this Contract. 2 The Contract Commencement

128

Contract for Consultancy Services (Rev 06/07/11) No: Unit: Date Page 1 Contract Manager  

E-Print Network [OSTI]

Contract for Consultancy Services (Rev 06/07/11) No: Unit: __________________________________________________________________________ Date Page 1 Contract Manager: CONTRACT for the SUPPLY of CONSULTANCY SERVICES between The Forestry to the Commission in accordance with and subject to the provisions of this Contract. 2 [The Contract Commencement

129

IU China Office Manager IU International Consulting and ResearchChina, LLC  

E-Print Network [OSTI]

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

Indiana University

130

CONSULTATION RESPONSE Wellcome Trust response to Physicians and the Pharmaceutical Industry Working  

E-Print Network [OSTI]

CONSULTATION RESPONSE Wellcome Trust response to Physicians and the Pharmaceutical Industry Working Party April 2008 Page 1 of 4 Royal College of Physicians: Physicians and the Pharmaceutical Industry to respond to the Royal College of Physicians consultation on physicians and the pharmaceutical industry

Rambaut, Andrew

131

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

E-Print Network [OSTI]

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

Cotter, Erik

2009-05-15T23:59:59.000Z

132

Formal Management Review of the Safety Basis Calculations Noncompliance  

SciTech Connect (OSTI)

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.

Altenbach, T J

2008-06-24T23:59:59.000Z

133

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

E-Print Network [OSTI]

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

2013-01-01T23:59:59.000Z

134

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

E-Print Network [OSTI]

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

2013-01-01T23:59:59.000Z

135

Thermodynamic formalism for field driven Lorentz gases  

E-Print Network [OSTI]

We analytically determine the dynamical properties of two dimensional field driven Lorentz gases within the thermodynamic formalism. For dilute gases subjected to an iso-kinetic thermostat, we calculate the topological pressure as a function of a temperature-like parameter $\\ba$ up to second order in the strength of the applied field. The Kolmogorov-Sinai entropy and the topological entropy can be extracted from a dynamical entropy defined as a Legendre transform of the topological pressure. Our calculations of the Kolmogorov-Sinai entropy exactly agree with previous calculations based on a Lorentz-Boltzmann equation approach. We give analytic results for the topological entropy and calculate the dimension spectrum from the dynamical entropy function.

Oliver Muelken; Henk van Beijeren

2003-12-22T23:59:59.000Z

136

The Frobenius formalism in Galois quantum systems  

E-Print Network [OSTI]

Quantum systems in which the position and momentum take values in the ring ${\\cal Z}_d$ and which are described with $d$-dimensional Hilbert space, are considered. When $d$ is the power of a prime, the position and momentum take values in the Galois field $GF(p^ \\ell)$, the position-momentum phase space is a finite geometry and the corresponding `Galois quantum systems' have stronger properties. The study of these systems uses ideas from the subject of field extension in the context of quantum mechanics. The Frobenius automorphism in Galois fields leads to Frobenius subspaces and Frobenius transformations in Galois quantum systems. Links between the Frobenius formalism and Riemann surfaces, are discussed.

A. Vourdas

2006-05-05T23:59:59.000Z

137

The Parametrized Post-Newtonian-Vainshteinian Formalism  

E-Print Network [OSTI]

Light degrees of freedom that modify gravity on cosmological scales must be "screened" on solar system scales in order to be compatible with data. The Vainshtein mechanism achieves this through a breakdown of classical perturbation theory, as large interactions involving new degrees of freedom become important below the so-called Vainshtein radius. We begin to develop an extension of the Parameterized Post-Newtonian (PPN) formalism that is able to handle Vainshteinian corrections. We argue that theories with a unique Vainshtein scale must be expanded using two small parameters. In this Parameterized Post-Newtonian-Vainshteinian (PPNV) expansion, the primary expansion parameter that controls the PPN order is, as usual, the velocity $v$. The secondary expansion parameter, $\\alpha$, controls the strength of the Vainshteinian correction and is a theory-specific combination of the Schwarzschild radius and the Vainshtein radius of the source that is independent of its mass. We present the general framework and appl...

Avilez-Lopez, Ana; Saffin, Paul M; Skordis, Constantinos

2015-01-01T23:59:59.000Z

138

On the vierbein formalism of general relativity  

E-Print Network [OSTI]

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.

T. Mei

2007-12-06T23:59:59.000Z

139

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

E-Print Network [OSTI]

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.

A. S. Umar; V. E. Oberacker

2007-09-25T23:59:59.000Z

140

Supporting Selective Formalism in CSP++ with Process-Specific Storage .  

E-Print Network [OSTI]

??Communicating Sequential Processes (CSP) is a formal language whose primary purpose is to model and verify concurrent systems. The CSP++ toolset was created to embody (more)

Gumtie, Alicia

2012-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


141

Formal Modelling and Analysis of the NORM Multicast Protocol  

E-Print Network [OSTI]

Formal Modelling and Analysis of the NORM Multicast Protocol Using Real-Time Maude Elisabeth Lien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 iii #12;2.3.2 Search . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

?lveczky, Peter Csaba

142

Industrial structures : an analysis and transformation of their formal characteristics  

E-Print Network [OSTI]

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

Strub, Damon

1988-01-01T23:59:59.000Z

143

New Construction of ?-Operator in Field-Antifield Formalism  

E-Print Network [OSTI]

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

P. M. Lavrov; O. V. Radchenko

2007-08-31T23:59:59.000Z

144

FORMAL DEFORMATION THEORY 1. Introduction 1  

E-Print Network [OSTI]

. 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

de Jong, A. Johan

145

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

E-Print Network [OSTI]

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

Schulmeyer, Gerhard Hans

146

CONSULTATION RESPONSE Wellcome Trust response to House of Commons International Development  

E-Print Network [OSTI]

universities ­ such as Imperial Innovations: Imperial College's technology transfer vehicle; · Private sectorCONSULTATION RESPONSE Wellcome Trust response to House of Commons International Development Committee's Inquiry into the Department of International Development's Bilateral Programme in India November

Rambaut, Andrew

147

The Parametrized Post-Newtonian-Vainshteinian Formalism  

E-Print Network [OSTI]

Light degrees of freedom that modify gravity on cosmological scales must be "screened" on solar system scales in order to be compatible with data. The Vainshtein mechanism achieves this through a breakdown of classical perturbation theory, as large interactions involving new degrees of freedom become important below the so-called Vainshtein radius. We begin to develop an extension of the Parameterized Post-Newtonian (PPN) formalism that is able to handle Vainshteinian corrections. We argue that theories with a unique Vainshtein scale must be expanded using two small parameters. In this Parameterized Post-Newtonian-Vainshteinian (PPNV) expansion, the primary expansion parameter that controls the PPN order is, as usual, the velocity $v$. The secondary expansion parameter, $\\alpha$, controls the strength of the Vainshteinian correction and is a theory-specific combination of the Schwarzschild radius and the Vainshtein radius of the source that is independent of its mass. We present the general framework and apply it to Cubic Galileon theory both inside and outside the Vainshtein radius. The PPNV framework can be used to determine the compatibility of such theories with solar system and other strong-field data.

Ana Avilez-Lopez; Antonio Padilla; Paul M. Saffin; Constantinos Skordis

2015-01-08T23:59:59.000Z

148

Rational transformations of formal power series Manfred Droste  

E-Print Network [OSTI]

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

Zhang, Guo-Qiang

149

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

E-Print Network [OSTI]

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

Prosorov, Oleg B.

150

Choosing the Rules for Formal Standardization Joseph Farrell  

E-Print Network [OSTI]

Choosing the Rules for Formal Standardization Joseph Farrell University of California, Berkeley This version: January 1996 Abstract. Formal standardization ­ explicit agreement on compatibility standards ­ has important advantages over de facto standardization, but is marred by severe delays. I explore

Sadoulet, Elisabeth

151

Formalizing Concepts for Efficacy-aware Business Process Modeling  

E-Print Network [OSTI]

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

Ulm, Universität

152

Formal Methods Technology Transfer: A View from NASA  

E-Print Network [OSTI]

Formal Methods Technology Transfer: A View from NASA James L. Caldwell Flight Electronics Home Page on the World­Wide Web 1 . In this paper I remark on the technology transfer strategy and its Formal Methods Home Page on the World­Wide Web. In this paper we concentrate on aspects of technology

Caldwell, James

153

Formal Specification and Testing of a Management Architecture  

E-Print Network [OSTI]

. 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

Derrick, John

154

Non-commutative Hopf algebra of formal diffeomorphisms Christian Brouder*  

E-Print Network [OSTI]

different groups of formal power series. The first group is the set of invertible ser* *ies* *s comes from the study of formal series with non-commutative coefficients. Invertible series with non* *-commutative coefficients still form a group, and we interpret the corresponding new non

Krattenthaler, Christian

155

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

E-Print Network [OSTI]

testing of the ENDF/B-VII.1 library is provided for a variety of quantities: For nuclear criticalityENDF/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

Danon, Yaron

156

Transforming PLC Programs into Formal Models for Verification Purposes  

E-Print Network [OSTI]

Most of CERNs 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.

Darvas, D; Blanco, E

2013-01-01T23:59:59.000Z

157

Local Section News Tucson Section awards student  

E-Print Network [OSTI]

in a serious and mature manner. Outstanding performance is determined by a review of the student chapter annual of its annual scholarship fundraiser program.The section raised $52,800 from more than 40 sponsors Energy and Sonoran Process Equipment. "Our scholarship sponsors know how much the industry needs mining

Holliday, Vance T.

158

Challenges in Applying Formal Methods An SME View  

E-Print Network [OSTI]

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

Southampton, University of

159

A Generalization of the Brodsky-Lepage Formalism  

E-Print Network [OSTI]

We present an approach that generalizes in a natural way the perturbative QCD formalism developed by Brodsky and Lepage for the study of exclusive hadronic processes to the case of $L\

Houra-Yaou, L; Parisi, J; Murgia, F; Hansson, J

1998-01-01T23:59:59.000Z

160

Formal Support for an Informal Business Modelling Method  

E-Print Network [OSTI]

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

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

2000-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


161

An analysis of the formal qualities of space in architecture  

E-Print Network [OSTI]

This thesis will provide an analysis of formal qualities of space from three perspectives; from the interior, from the boundary, and from the exterior of a space. The outline of this thesis will consist of an introduction, ...

Lie, Kai Ie

1985-01-01T23:59:59.000Z

162

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

E-Print Network [OSTI]

................................... 28 Does School-Based Problem-Solving Consultation Work? ........... 29 III METHOD ............................................................................................. 45 Study Inclusion Criteria... .......................................................................................................... 95 APPENDIX A ........................................................................................................... 116 APPENDIX B...

Davis, Cole

2012-10-19T23:59:59.000Z

163

Formal analysis of device authentication applications in ubiquitous computing.  

SciTech Connect (OSTI)

Authentication between mobile devices in ad-hoc computing environments is a challenging problem. Without pre-shared knowledge, existing applications rely on additional communication methods, such as out-of-band or location-limited channels for device authentication. However, no formal analysis has been conducted to determine whether out-of-band channels are actually necessary. We answer this question through formal analysis, and use BAN logic to show that device authentication using a single channel is not possible.

Shin, Dongwan (New Mexico Tech, Socorro, NM); Claycomb, William R.

2010-11-01T23:59:59.000Z

164

Pappas Consulting Group Inc. PCG/FLBOG/FBOG Report.doc/ATP.SP.4/CC.6/16January07  

E-Print Network [OSTI]

Pappas Consulting Group Inc. PCG/FLBOG/FBOG Report.doc/ATP.SP.4/CC.6/16January07 January 15, 2007 Consulting Group Inc. PCG/FLBOG/FBOG Report.doc/ATP.SP.4/CC.6/16January07 Mr. John Dasburg Chair, Academic

Pilyugin, Sergei S.

165

Page 1 of 1 This policy aims to ensure that the use of subawardees, consultants, and vendors on externally funded  

E-Print Network [OSTI]

, and vendors on externally funded projects is consistent with applicable regulations and sound business department handles relationships with vendors. As much as possible, all subawardee/consultant/vendor. Exclusions - none Subawardees, Consultants, and Vendors on Sponsored Programs Area: Sponsored Programs Number

Hutcheon, James M.

166

Consultancy The Tarbase Domestic Model, emanating from the Tarbase research project  

E-Print Network [OSTI]

, such as climate (i.e. allowing for future warming), carbon intensity of electricity and thermal comfortConsultancy The Tarbase Domestic Model, emanating from the Tarbase research project mentioned above of technological and behavioural changes (and, where necessary, climatic change and energy tariff variations

Painter, Kevin

167

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

168

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

E-Print Network [OSTI]

Response 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, the EU Commission has proposed a binding target of 10% for biofuels for vehicle fuel by 2020. While

Martin, Ralph R.

169

CONSULTATION RESPONSE Wellcome Trust response to Copyright in the Knowledge Economy  

E-Print Network [OSTI]

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

Rambaut, Andrew

170

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

171

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

E-Print Network [OSTI]

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

Wang, Yan

172

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

E-Print Network [OSTI]

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

Manchester, University of

173

Estimating the Remaining Useful Life of Residential Cory Welch and Brad Rogers, Navigant Consulting, Inc.  

E-Print Network [OSTI]

as a function of those parameters. 2-316©2010 ACEEE Summer Study on Energy Efficiency in Buildings #12;The to produce estimates of lifetime energy savings and cost effectiveness of its early retirement program Consulting, Inc. ABSTRACT Early retirement programs for inefficient equipment can accelerate energy

174

Strategic Planning and Policy Unit Nuffield Council on Bioethics Consultation on Forensic use of bioinformation: ethical  

E-Print Network [OSTI]

Strategic Planning and Policy Unit Nuffield Council on Bioethics Consultation on Forensic use of forensic bioinformation. 2. The Wellcome Trust is the largest charity in the UK and the second largest. Given the Trust's interests, this brief response will focus on the science underlying the forensic use

Rambaut, Andrew

175

CONSULTATION RESPONSE The Forensic Use of DNA and the National DNA Database  

E-Print Network [OSTI]

CONSULTATION RESPONSE The Forensic Use of DNA and the National DNA Database Wellcome Trust response on the important topic of the forensic use of DNA and the National DNA Database (NDNAD). Given the Trust Assembly; "Forensic DNA Databasing: A European perspective" - a biomedical ethics grant to Professor Robin

Rambaut, Andrew

176

The Classical World and Spinor Formalisms of General Relativity  

E-Print Network [OSTI]

A review of some facts concerning classical spacetime geometry is presented together with a description of the most elementary aspects of the two-component spinor formalisms of Infeld and van der Waerden. Special attention is concentrated upon the gauge characterization of the basic geometric objects borne by the formalisms. It is pointed out that spin-affine configurations are most naively defined by carrying out parallel displacements of null world vectors within the framework of the {\\gamma}-formalism. The standard result that assigns a covariant gauge behaviour to the symmetric parts of any admissible spin connexions is deduced out of building up a generalized version of spin transformation laws. A fairly complete algebraic description of curvature splittings is carried out on the basis of the construction of a set of spinor commutators for each formalism. The pertinent computations take up the utilization of some covariant differential prescriptions which facilitate specifying the action of the commutators on arbitrary spin tensors and densities. It turns out that the implementation of such commutators under certain circumstances gives rise to a system of wave equations for gravitons and Infeld-van der Waerden photons which possess in either formalism a gauge-invariance property associated with appropriate spinor-index configurations. The situation regarding the accomplishment of the couplings between Dirac fields and electromagnetic curvatures is entertained to a considerable extent.

Jorge G. Cardoso

2015-01-15T23:59:59.000Z

177

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

178

Building, landscape and section  

E-Print Network [OSTI]

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

Johnson, Daniel B. (Daniel Bryant)

1992-01-01T23:59:59.000Z

179

Formalization of the data flow diagram rules for consistency check  

E-Print Network [OSTI]

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.

Ibrahim, Rosziati; 10.5121/ijsea.2010.1406

2010-01-01T23:59:59.000Z

180

Section I: Contract Clause  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-Up from the Gridwise Global1WasteRecoveryAwards SECTION B SUPPLIES AND SERVICESII SECTION

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


181

A trivial formalization of the theory of grossone  

E-Print Network [OSTI]

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.

A. E. Gutman; S. S. Kutateladze

2008-12-13T23:59:59.000Z

182

TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS  

E-Print Network [OSTI]

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

von Bochmann, Gregor

183

Model-Based Testing : The Test of Formal Models  

E-Print Network [OSTI]

Model-Based Testing : The Test of Formal Models Jan Tretmans ESI & Radboud University Nijmegen #12;2 Testing (Software) Testing: checking or measuring some quality characteristics of an executing object by performing experiments in a controlled way w.r.t. a specification tester specification SUT System Under Test

184

Formal Support for an Informal Business Modelling Method \\Lambda  

E-Print Network [OSTI]

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

Chen-Burger, Yun-Heh (Jessica)

185

RELATIVISTIC DENSITY FUNCTIONAL THEORY: FOUNDATIONS AND BASIC FORMALISM  

E-Print Network [OSTI]

1 Chapter 10 RELATIVISTIC DENSITY FUNCTIONAL THEORY: FOUNDATIONS AND BASIC FORMALISM E. Engela a An overview of relativistic density functional theory (RDFT) is presented with special emphasis on its field-Cluster schemes in recent years density functional theory (DFT) still represents the method of choice

Engel, Eberhard

186

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

187

On a local formalism for time evolution of dynamical systems  

E-Print Network [OSTI]

The formalism of local maximization for entropy gradient producing the evolution and dynamical equations for closed systems. It eliminates the inconsistency between the reversibilty of time in dynamical equations and the strict direction of irreversible evolution for complex systems, causality contradictions and ambiguity of time flow in different systems. Independently it leads to basic principles of special relativity.

Drozdov, I V

2015-01-01T23:59:59.000Z

188

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

189

Formal Modeling and Analysis of the HLA Component Integration Standard  

E-Print Network [OSTI]

of domain-speci c integration standards in areas as diverse as programming environments, robotics control 20Formal Modeling and Analysis of the HLA Component Integration Standard Robert J. Allen IBM, Dept An increasingly important trend in the engineering of com- plex systems is the design of component integration

van der Hoek, André

190

Phenomenology of Incompleteness: from Formal Deductions to Mathematics and  

E-Print Network [OSTI]

1 Phenomenology of Incompleteness: from Formal Deductions to Mathematics and Physics Francis Bailly" for this a recent book on a phenomenological approach to the foundations of mathematics. G¨odel's 1931 theorem. Revisiting "Phenomenology, Logic, and the Philosophy of Mathematics"2 Constructivism is the most common

Longo, Giuseppe

191

TESLA: A Formally Defined Event Specification Language Gianpaolo Cugola  

E-Print Network [OSTI]

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

Cugola, Gianpaolo

192

Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1  

E-Print Network [OSTI]

Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1 , Peter Pepper2 , and Douglas Rat 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

Smith, Douglas R.

193

Using Functional Languages in Formal Methods: The Pet System  

E-Print Network [OSTI]

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

Peled, Doron A.

194

Formal Proof of Abstract Model Checking of Concurrent Garbage Collection  

E-Print Network [OSTI]

, the correctness of abstraction is not always easy to verify. In our pre- vious work, we applied abstract model with that of proving the concrete system from scratch (not by abstract model checking). In our previous work [6], whichFormal Proof of Abstract Model Checking of Concurrent Garbage Collection Koichi Takahashi Masami

Hagiya, Masami

195

VSE: Controlling the Complexity in Formal Software Developments  

E-Print Network [OSTI]

, 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

Siekmann, Jörg H.

196

Formal Type Soundness for Cyclone's Region System Dan Grossman  

E-Print Network [OSTI]

management of Cyclone and its static typing discipline. The design incorporates several advance- mentsFormal 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

Hicks, Michael

197

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

198

Higher-order averaging, formal series and numerical integration II  

E-Print Network [OSTI]

systems of ordinary differential equations with d 1 non- resonant constant frequencies. Formal series frequency and four resonant fast frequencies. Keywords and sentences: Averaging, high-order averaging, quasi Schumann, 35170 Bruz, France. Email: Philippe.Chartier@inria.fr Konputazio Zientziak eta A. A. Saila

Murua, Ander

199

Formal Domain Modeling: From Specification to Atif Mashkoor  

E-Print Network [OSTI]

Formal Domain Modeling: From Specification to Validation Atif Mashkoor LORIA ­ DEDALE Team ­ Nancy with re- finement based approach at domain level. We also introduce a stepwise validation process and their inter-relationships, along with their important static and dynamic properties of the domain. The domain

Paris-Sud XI, Université de

200

Finite anticanonical transformations in field-antifield formalism  

E-Print Network [OSTI]

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.

Batalin, Igor A; Tyutin, Igor V

2015-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


201

Finite anticanonical transformations in field-antifield formalism  

E-Print Network [OSTI]

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.

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

2015-01-29T23:59:59.000Z

202

Generation of certifiably correct programs from formal models Alexei Iliasov  

E-Print Network [OSTI]

Generation of certifiably correct programs from formal models Alexei Iliasov Newcastle University techniques helps to deliver systems that are free from engineer- ing defects. A code generator quickly, consistently and reproducibly. Com- monly, a code generator is a program constructed informally

Southampton, University of

203

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]

organizational and leadership development consultant/coach supporting with change, learning strategies and talentJune 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

204

Modeling Cyber Conflicts Using an Extended Petri Net Formalism  

SciTech Connect (OSTI)

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.

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

2011-01-01T23:59:59.000Z

205

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

206

POLICY SECTIONS POLICY OFFICE  

E-Print Network [OSTI]

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

Minnesota, University of

207

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

E-Print Network [OSTI]

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

Saunderson, R.B.; Gouliouris, Theodore; Cartwright, Edward J.; Nickerson, Emma J.; Aliyu, S.H.; ODonnell, D. Roddy; Kelsall, Wilf; Limmathurotsakul, D.; Peacock, S.J.; Trk, M. Este

2014-07-10T23:59:59.000Z

208

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

E-Print Network [OSTI]

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

Arguello Carazo, Francisco Xavier, 1953-

2013-03-13T23:59:59.000Z

209

An analysis of the use of consultants to perform engineering tasks  

E-Print Network [OSTI]

methodologies cited in the literature, the methodology developed in this study is also appropriate for analyzing constrained manpower situations. The cornerstone of the procedure involves the use of logistical regression to yield a probability estimate... that a project should be allocated to consultants, or conversely, allocated to in-house personnel' However, the derivation of the logistical regression function requires that the historical projects were "properly" allocated. Because...

Nordstrom, Eric Martin

1985-01-01T23:59:59.000Z

210

Future work: This section is one of the repeat units in the PET structure.  

E-Print Network [OSTI]

Future work: This section is one of the repeat units in the PET structure. Ester groupEster group--because of proprietary considerations--cannot be named here. The reason for this research PET is a form a plastic = many esters, or polyester. The letters in PET come from its formal name which is polyethylene

211

Formal verification of complex properties on PLC programs  

E-Print Network [OSTI]

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.

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

2014-01-01T23:59:59.000Z

212

On X-Ray Waveguiding in Nanochannels: Channeling Formalism  

E-Print Network [OSTI]

The question on X-ray extreme focusing (smallest reachable spot size) brings us to the idea for using the wave features of X-ray propagation in media. As known, wave features are revealed at propagation in ultra-narrow collimators as well as at glancing reflection from smooth flat and/or strongly curved surfaces. All these phenomena can be described within the general formalism of X-ray channeling.

S. B. Dabagov

2006-11-20T23:59:59.000Z

213

Contextualizing Concepts using a Mathematical Generalization of the Quantum Formalism  

E-Print Network [OSTI]

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

Liane Gabora; Diederik Aerts

2004-08-06T23:59:59.000Z

214

Contextualizing concepts using a mathematical generalization of the quantum formalism  

E-Print Network [OSTI]

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.

Liane Gabora; Diederik Aerts

2013-11-01T23:59:59.000Z

215

Section D - G  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-Up from the Gridwise Global1WasteRecoveryAwards SECTION B SUPPLIES AND SERVICES ANDPART

216

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

E-Print Network [OSTI]

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

Meikle, Laura Isabel

2014-06-27T23:59:59.000Z

217

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

E-Print Network [OSTI]

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

Magyar, Peter

218

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

219

Frenet-Serret formalism for null world lines  

E-Print Network [OSTI]

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.

Donato Bini; Andrea Geralico; Robert T. Jantzen

2014-08-19T23:59:59.000Z

220

Harmonic Superspace Gaugeon Formalism for the ABJM Theory  

E-Print Network [OSTI]

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.

Mir Faizal

2012-07-12T23:59:59.000Z

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


221

Practical Formal Verification of Diagnosability of Large Models  

E-Print Network [OSTI]

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 5.4.1 Failure Scenario 1: PV03 stuck closed . . . . . . . . . . . 11 5.4.2 Failure Scenario 6: SV of real plants. Section 3 describes how these plants are modeled, and how models can be sim- plified

Bonaventure, Olivier

222

Proposal to negotiate an amendment to an existing contract for civil engineering consultancy services for the construction of the neutrino platform at CERN  

E-Print Network [OSTI]

Proposal to negotiate an amendment to an existing contract for civil engineering consultancy services for the construction of the neutrino platform at CERN

2014-01-01T23:59:59.000Z

223

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

SciTech Connect (OSTI)

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

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

224

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

SciTech Connect (OSTI)

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.

Not Available

1993-08-01T23:59:59.000Z

225

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

SciTech Connect (OSTI)

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.

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

2000-08-01T23:59:59.000Z

226

Quantum interference within the complex quantum Hamilton-Jacobi formalism  

SciTech Connect (OSTI)

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

Chou, Chia-Chun, E-mail: chiachun@mail.utexas.ed [Institute for Theoretical Chemistry and Department of Chemistry and Biochemistry, University of Texas at Austin, Austin, TX 78712 (United States); Sanz, Angel S., E-mail: asanz@imaff.cfmac.csic.e [Instituto de Fisica Fundamental, Consejo Superior de Investigaciones Cientificas, Serrano 123, 28006 Madrid (Spain); Miret-Artes, Salvador, E-mail: s.miret@imaff.cfmac.csic.e [Instituto de Fisica Fundamental, Consejo Superior de Investigaciones Cientificas, Serrano 123, 28006 Madrid (Spain); Wyatt, Robert E., E-mail: wyattre@mail.utexas.ed [Institute for Theoretical Chemistry and Department of Chemistry and Biochemistry, The University of Texas at Austin, Austin, TX 78712 (United States)

2010-10-15T23:59:59.000Z

227

Conserved charges in (Lovelock) gravity in first order formalism  

SciTech Connect (OSTI)

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.

Gravanis, Elias [Akropoleos 1 Nicosia 2101 (Cyprus)

2010-04-15T23:59:59.000Z

228

Formal similarity between mathematical structures of electrodynamics and quantum mechanics  

E-Print Network [OSTI]

Electromagnetic phenomena can be described by Maxwell equations written for the vectors of electric and magnetic field. Equivalently, electrodynamics can be reformulated in terms of an electromagnetic vector potential. We demonstrate that the Schr\\"odinger equation admits an analogous treatment. We present a Lagrangian theory of a real scalar field $\\phi$ whose equation of motion turns out to be equivalent to the Schr\\"odinger equation with time independent potential. After introduction the field into the formalism, its mathematical structure becomes analogous to those of electrodynamics. The field $\\phi$ is in the same relation to the real and imaginary part of a wave function as the vector potential is in respect to electric and magnetic fields. Preservation of quantum-mechanics probability is just an energy conservation law of the field $\\phi$.

A. A. Deriglazov

2011-05-07T23:59:59.000Z

229

On a Broken Formal Symmetry between Kinetic and Gravitational Energy  

E-Print Network [OSTI]

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.

Armin Nikkhah Shirazi

2014-07-16T23:59:59.000Z

230

Thermodynamic formalism and localization in Lorentz gases and hopping models  

E-Print Network [OSTI]

The thermodynamic formalism expresses chaotic properties of dynamical systems in terms of the Ruelle pressure $\\psi(\\beta)$. The inverse-temperature like variable $\\beta$ allows one to scan the structure of the probability distribution in the dynamic phase space. This formalism is applied here to a Lorentz Lattice Gas, where a particle moving on a lattice of size $L^d$ collides with fixed scatterers placed at random locations. Here we give rigorous arguments that the Ruelle pressure in the limit of infinit e systems has two branches joining with a slope discontinuity at $\\beta = 1$. The low and high $\\beta$--branches correspond to localization of trajectories on respectively the ``most chaotic'' (highest density) region, and the ``most deterministic'' (lowest density) region, i.e. $\\psi(\\beta)$ is completely controlled by rare fluctuations in the distribution of scatterers on the lattice, and it does not carry any information on the global structure of the static disorder. As $\\beta$ approaches unity from either side, a localization-delocalization transition leads to a state where trajectories are extended and carry information on transport properties. At finite $L$ the narrow region around $\\beta = 1$ where the trajectories are extended scales as $(\\ln L)^{-\\alpha}$, where $\\alpha$ depends on the sign of $1-\\beta$, if $d>1$, and as $(L\\ln L)^{-1}$ if $d=1$. This result appears to be general for diffusive systems with static disorder, such as random walks in random environments or for the continuous Lorentz gas. Other models of random walks on disordered lattices, showing the same phenomenon, are discussed.

C. Appert; H. van Beijeren; M. H. Ernst; J. R. Dorfman

1996-07-31T23:59:59.000Z

231

Formal Developments for Lattice QCD with Applications to Hadronic Systems  

E-Print Network [OSTI]

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.

Zohreh Davoudi

2014-09-05T23:59:59.000Z

232

SECTION J - TABLE OF CONTENTS  

National Nuclear Security Administration (NNSA)

Arrangement Appendix Q Minimum Standards for Contractors' COI Plans (Replaced Mod 002) Appendix R RESERVED Appendix S Contracting Officer's Representative(s) Section J Page i...

233

The Centre for PTMC provides an industrial focus for training, consultancy and research in power transmission and motion  

E-Print Network [OSTI]

of Mechatronic & Electro-Hydraulic Systems Electrical Drives for Mechanical Engineers Piezoelectric Actuation courses in hydraulic systems and electrical drives have attracted 5000 delegates, and consultancy projects Control systems Electric drives Contamination control Fluid-borne noise Hydraulic and electric power

Burton, Geoffrey R.

234

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

E-Print Network [OSTI]

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

Gilchrist, James F.

235

Consultation by the Retained Organs Commission on `Tissue Blocks and Slides' Response of the Wellcome Trust, February 2003  

E-Print Network [OSTI]

1 Consultation by the Retained Organs Commission on `Tissue Blocks and Slides' Response and these are detailed below. Questions What are tissue blocks and slides? Question 1: Should the Commission be trying to make clear the legal position of tissue blocks and slides and other related matters (such as should

Rambaut, Andrew

236

Dear colleagues, I am pleased to invite you to consult new information regarding SSHRC's Talent, Insight and  

E-Print Network [OSTI]

applicants proposing training plans and budgets are encouraged to use the guidelines as a tool to help-creation approach. Please consult the President's desk page for more information on aboriginal research. Applicants as the appeals' process. The Guidelines for Support of Tools for Research and Related Activities have been

237

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

SciTech Connect (OSTI)

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.

Smith, D.; Nuclear Engineering Division

2008-03-03T23:59:59.000Z

238

E-Print Network 3.0 - advance project formal Sample Search Results  

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

Spherical Torus Experiment Collection: Plasma Physics and Fusion 74 DA Associate Program -AeS Proposal Ongoing development Summary: results make the formal development a standard...

239

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

E-Print Network [OSTI]

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.

Airapetian, A; Akopov, Z; Aschenauer, E C; Augustyniak, W; Avetisian, A; Avetissian, E; Barion, L; Belostotskii, S; Bianchi, N; Blok, H P; Bttcher, 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; Dren, 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; Schfer, A; Schnell, G; Schler, 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

240

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

E-Print Network [OSTI]

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.

L. White; F. Sammarruca

2014-06-14T23:59:59.000Z

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


241

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

E-Print Network [OSTI]

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.

HERMES Collaboration; A. Airapetian

2007-11-29T23:59:59.000Z

242

Generalized Formalisms of the Radio Interferometer Measurement Equation  

E-Print Network [OSTI]

The Radio Interferometer Measurement Equation (RIME) is a matrix-based mathematical model that describes the response of a radio interferometer. The Jones calculus it employs is not suitable for describing the analogue components of a telescope. This is because it does not consider the effect of impedance mismatches between components. This paper aims to highlight the limitations of Jones calculus, and suggests some alternative methods that are more applicable. We reformulate the RIME with a different basis that includes magnetic and mixed coherency statistics. We present a microwave network inspired 2N-port version of the RIME, and a tensor formalism based upon the electromagnetic tensor from special relativity. We elucidate the limitations of the Jones-matrix-based RIME for describing analogue components. We show how measured scattering parameters of analogue components can be used in a 2N-port version of the RIME. In addition, we show how motion at relativistic speed affects the observed flux. We present r...

Price, Danny C

2015-01-01T23:59:59.000Z

243

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

SciTech Connect (OSTI)

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.

Smith, D.L.

1987-11-01T23:59:59.000Z

244

SafeCert 2008 Deriving Safety Cases for the Formal Safety  

E-Print Network [OSTI]

SafeCert 2008 Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Southampton, SO17 1BJ, UK Abstract We present an approach to systematically derive safety cases for automatically generated code from information collected during a formal, Hoare-style safety certification

245

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

E-Print Network [OSTI]

c Copyright by Daniel Duane Deavours, 2001 #12;FORMAL SPECIFICATION OF THE MOBIUS 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

Illinois at Urbana-Champaign, University of

246

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

E-Print Network [OSTI]

A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts Diana Allam Keywords Formal Methods, Security, Reference Monitors, Aspects, Service-Oriented Architecture 1. Motivation Oriented Architecture), specif- ically, SOAP/WS* and RESTful models. This model ab- stracts away from

Paris-Sud XI, Université de

247

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

E-Print Network [OSTI]

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

Southampton, University of

248

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

E-Print Network [OSTI]

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

Bystroff, Chris

249

Range-separated density-functional theory with random phase approximation: Detailed formalism and illustrative applications  

E-Print Network [OSTI]

Range-separated density-functional theory with random phase approximation: Detailed formalism-body theory, we present the details of a formally exact adiabatic-connection fluctuation-dissipation density-functional´an, Phys. Rev. Lett. 102, 096404 (2009). Range-separated density-functional theory approaches combining

Boyer, Edmond

250

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

251

An Optimization Approach for Effective Formalized fUML Model Checking  

E-Print Network [OSTI]

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

Doran, Simon J.

252

Roots xk(y) of a formal power series with applications to graph enumeration  

E-Print Network [OSTI]

the n(y) are formal power series with invertible constant term (coefficients lying in a commutative ringRoots xk(y) of a formal power series f(x, y) = n=0 an(y) xn with applications to graph enumeration and q-series Alan Sokal New York University / University College London Lectures at Queen Mary -- 11, 18

Banaji,. Murad

253

FORMAL PROOFS IN REAL ALGEBRAIC GEOMETRY: FROM ORDERED FIELDS TO QUANTIFIER ELIMINATION  

E-Print Network [OSTI]

, but is imposed by our choice to base this work on an abstract structure. Then we formalized a proof of quantifier Microsoft Research Joint Centre, e-mail address: Assia.Mahboubi@inria.fr Abstract. This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures

Paris-Sud XI, Université de

254

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

E-Print Network [OSTI]

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

Farenc, Christelle

255

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

E-Print Network [OSTI]

A systematic approach to quality management, that is a systems perspective of quality-- total quality this formalization to reason about product, process, or system-wide quality, so that better quality managementFORMAL MODELS OF QUALITY AND ISO 9000 COMPLIANCE: AN INFORMATION SYSTEMS APPROACH Henry M. Kim

Fox, Mark S.

256

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

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

257

A path integral formalism for the closure of autonomous statistical systems  

E-Print Network [OSTI]

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.

Richard Kleeman

2015-03-25T23:59:59.000Z

258

An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis  

E-Print Network [OSTI]

and practise of formal analysis and on the other hand, by a need for improved quality assurance techniques. 1. INTRODUCTION Testing and formal analysis are two complementary qual- ity assurance techniques-condition, a loop invariant, a class representation invariant, an interface us- age rule, or a temporal property

Bradbury, Jeremy S.

259

An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis  

E-Print Network [OSTI]

in the theory and practise of formal analysis and on the other hand, by a need for improved quality assurance. 1. INTRODUCTION Testing and formal analysis are two complementary qual- ity assurance techniques of a method pre-condition, a loop invariant, a class representation invariant, an interface us- age rule

Cordy, James R.

260

Entanglement decoherence in a gravitational well according to the event formalism  

E-Print Network [OSTI]

The event formalism is a non-linear extension of quantum field theory designed to be compatible with the closed time-like curves that appear in general relativity. Whilst reducing to standard quantum field theory in flat space-time the formalism leads to testably different predictions for entanglement distribution in curved space. In this paper we introduce a more general version of the formalism and use it to analyse the practicality of an experimental test of its predictions in the earth's gravitational well.

T. C. Ralph; J. Pienaar

2014-06-14T23:59:59.000Z

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


261

?N formalism in anisotropic inflation and large anisotropic bispectrum and trispectrum  

SciTech Connect (OSTI)

We present the consistent ?N formalism for curvature perturbations in anisotropic cosmological backgrounds. We employ our ?N formalism to calculate the power spectrum, the bispectrum and the trispectrum in models of anisotropic inflation with the background gauge fields in Bianchi I universe. Our results coincide exactly with the recent results obtained from in-in formalism. To satisfy the observational constraints the anisotropies generated on power spectrum are kept small but large orientation-dependent non-Gaussianities can be generated. We study the Suyama-Yamaguchi inequality for the amplitudes of the bispectrum and the trispectrum in the presence of anisotropic shapes.

Abolhasani, Ali Akbar; Emami, Razieh; Firouzjaee, Javad T. [School of Physics, Institute for Research in Fundamental Sciences (IPM), P.O. Box 19395-5531, Tehran (Iran, Islamic Republic of); Firouzjahi, Hassan, E-mail: abolhasani@ipm.ir, E-mail: emami@ipm.ir, E-mail: j.taghizadeh.f@ipm.ir, E-mail: firouz@mail.ipm.ir [School of Astronomy, Institute for Research in Fundamental Sciences (IPM), P.O. Box 19395-5531, Tehran (Iran, Islamic Republic of)

2013-08-01T23:59:59.000Z

262

V. GUIDELINES FOR THE PROSPECTUS (PROPOSAL) Please consult your thesis advisor for the specific content and format for your thesis prospectus.  

E-Print Network [OSTI]

V. GUIDELINES FOR THE PROSPECTUS (PROPOSAL) Please consult your thesis advisor for the specific/Thesis Advisor must forward the Prospectus (Proposal) with the signed title page to the Graduate Program Advisor

de Lijser, Peter

263

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]

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

Narasayya, Vivek

264

WASTE DISPOSAL SECTION CORNELL UNIVERSITY  

E-Print Network [OSTI]

radioactive products as regular trash. All packages must be free of contamination, radiation symbols2/07 WASTE DISPOSAL SECTION CORNELL UNIVERSITY PROCEDURE for DISPOSAL of RADIOACTIVE MATERIALS This procedure has been developed to ensure the safety of those individuals who handle radioactive waste

Pawlowski, Wojtek

265

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

E-Print Network [OSTI]

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

Machado, Daniel

266

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

E-Print Network [OSTI]

- 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

Paris-Sud XI, Université de

267

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

SciTech Connect (OSTI)

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

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

2014-05-15T23:59:59.000Z

268

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

E-Print Network [OSTI]

FORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY captured by existing reliability modeling tools. In this paper, we introduce a new reliability modeling tool, called dynamic reliability block diagrams (DRBD), for modeling dynamic relationships between

Xu, Haiping

269

Normal modes and phase transition of the protein chain based on the Hamiltonian formalism  

E-Print Network [OSTI]

We use the torsional angles of the protein chain as generalized coordinates in the canonical formalism, derive canonical equations of motion, and investigate the coordinate dependence of the kinetic energy expressed in ...

Leong, Hon-Wai

270

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

E-Print Network [OSTI]

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

Bryant, Randal E.

271

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

E-Print Network [OSTI]

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

Bryant, Randal E.

272

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

E-Print Network [OSTI]

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

Bryant, Randal E.

273

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

E-Print Network [OSTI]

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

AlTurki, Musab; 10.4204/EPTCS.36.2

2010-01-01T23:59:59.000Z

274

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

E-Print Network [OSTI]

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

Groote, Jan Friso

275

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

E-Print Network [OSTI]

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

Cunha, Jos Joo Marques de Oliveria Vieira da

2006-01-01T23:59:59.000Z

276

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

E-Print Network [OSTI]

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

Lanman, Douglas

277

External Service Providers to the National Security Technology Incubator: Formalization of Relationships  

SciTech Connect (OSTI)

This report documents the formalization of relationships with external service providers in the development of the National Security Technology Incubator (NSTI). The technology incubator is being developed as part of the National Security Preparedness Project (NSPP), funded by a Department of Energy (DOE)/National Nuclear Security Administration (NNSA) grant. This report summarizes the process in developing and formalizing relationships with those service providers and includes a sample letter of cooperation executed with each provider.

None

2008-04-30T23:59:59.000Z

278

CROSS SECTION EVALUATIONS FOR ENDF/B-VII.  

SciTech Connect (OSTI)

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.

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

2006-06-05T23:59:59.000Z

279

Section I - FUNDING OPPORTUNITY DESCRIPTION  

Energy Savers [EERE]

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartment of Energyof the Americas | Department ofofDeliveredSection 999: Annual

280

West Virginia University 1 In this section  

E-Print Network [OSTI]

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

Mohaghegh, Shahab

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


281

Section H: Special Contract Requirements  

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

AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:YearRound-Up from the Gridwise Global1WasteRecoveryAwards SECTION B SUPPLIES AND SERVICES

282

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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May Jun Jul(Summary) "ofEarlyEnergyDepartmentNationalRestart of the Review of theOFFICE OF CIVIL to Mod 0099 datedMod 002; SECTION

283

The appearance of coordinate shocks in hyperbolic formalisms of General Realtivity  

E-Print Network [OSTI]

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.

Miguel Alcubierre

1997-03-07T23:59:59.000Z

284

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

E-Print Network [OSTI]

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

Crenshaw, Michael E

2015-01-01T23:59:59.000Z

285

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

E-Print Network [OSTI]

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.

Hitoshi Hanami

1999-10-02T23:59:59.000Z

286

The relationship between the Wigner-Weyl kinetic formalism and the complex geometrical optics method  

E-Print Network [OSTI]

The relationship between two different asymptotic techniques developed in order to describe the propagation of waves beyond the standard geometrical optics approximation, namely, the Wigner-Weyl kinetic formalism and the complex geometrical optics method, is addressed. More specifically, a solution of the wave kinetic equation, relevant to the Wigner-Weyl formalism, is obtained which yields the same wavefield intensity as the complex geometrical optics method. Such a relationship is also discussed on the basis of the analytical solution of the wave kinetic equation specific to Gaussian beams of electromagnetic waves propagating in a ``lens-like'' medium for which the complex geometrical optics solution is already available.

Omar Maj

2005-11-04T23:59:59.000Z

287

SECTION FOUR Site Design Guidelines Bicycle Systems  

E-Print Network [OSTI]

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

Duchowski, Andrew T.

288

Absorption cross section in Lifshitz black hole  

E-Print Network [OSTI]

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.

Taeyoon Moon; Yun Soo Myung

2012-10-05T23:59:59.000Z

289

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

SciTech Connect (OSTI)

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.

Not Available

2014-05-01T23:59:59.000Z

290

SNL RML recommended dosimetry cross section compendium  

SciTech Connect (OSTI)

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.

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

291

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

SciTech Connect (OSTI)

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.

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

292

Formal verification of privacy for RFID systems Mayla Bruso, Konstantinos Chatzikokolakis, and Jerry den Hartog  

E-Print Network [OSTI]

Formal verification of privacy for RFID systems Mayla Brus´o, Konstantinos Chatzikokolakis, and Jerry den Hartog Eindhoven University of Technology Abstract. RFID tags are being widely employed, however, in combination with their wireless nature, introduces privacy concerns as a tag could leak

Chatzikokolakis, Kostas

293

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

E-Print Network [OSTI]

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

Dumas, Jean-Guillaume

294

Political connections, bank deposits, and formal deposit insurance: Evidence from an emerging economy  

E-Print Network [OSTI]

1 Political connections, bank deposits, and formal deposit insurance: Evidence from an emerging the impact of banks' political connections on their ability to collect deposits under two different deposit, regardless of their type (state-owned or private entities), politically connected banks are able to attract

Boyer, Edmond

295

To be submitted to ApJ A Formalism for Covariant Polarized Radiative Transport by Ray  

E-Print Network [OSTI]

To be submitted to ApJ A Formalism for Covariant Polarized Radiative Transport by Ray Tracing that the transport equation in vacuo is kµ µN = 0. We show that this is equivalent to Broderick & Blandford (2004)'s a procedure for solving the polarized radiative transfer equation in a curved spacetime. Other possible

Gammie, Charles F.

296

Modular Formalization of Reactive Modules in Ming-Hsien Tsai1,2  

E-Print Network [OSTI]

Modular Formalization of Reactive Modules in COQ Ming-Hsien Tsai1,2 and Bow-Yaw Wang1 1 Institute systems in proof assistants consists of several tedious tasks. Firstly, system behavior has, interleaving versus concur- rent semantics need be resolved in behavioral specification. Secondly, system

Wang, Bow-Yaw

297

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

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

298

Formal Poincare-Dulac renormalization for holomorphic germs Marco Abate1  

E-Print Network [OSTI]

Formal Poincar´e-Dulac renormalization for holomorphic germs Marco Abate1 , Jasmin Raissy2 1 Dipartimento di Matematica, Universit`a di Pisa, Largo Pontecorvo 5, 56127 Pisa, Italy. E-mail: abate and Continuous Dynamical Systems - Series A 33, 5 (2013) 1773-1807" #12;2 Marco Abate and Jasmin Raissy the set

Paris-Sud XI, Université de

299

A MULTI-FRACTAL FORMALISM FOR STABILIZATION, OBJECT DETECTION AND TRACKING IN FLIR SEQUENCES  

E-Print Network [OSTI]

A MULTI-FRACTAL FORMALISM FOR STABILIZATION, OBJECT DETECTION AND TRACKING IN FLIR SEQUENCES H, and detection and tracking of moving or stationary objects in a forward-looking infrared (FLIR) sequence applications, stabilizing FLIR data is crucial for detection and tracking of objects [l,2, 3, 4, 5, 61

Foroosh, Hassan

300

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

E-Print Network [OSTI]

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

Wing, Jeannette M.

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


301

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

E-Print Network [OSTI]

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

Newcastle upon Tyne, University of

302

Specification of an Automatic Manufacturing A case study in using integrated formal  

E-Print Network [OSTI]

is CSP­OZ, an integra­ tion of the state­oriented formalism Object­Z with the process algebra CSP. The practicability as well as limitations of CSP­OZ are studied. We furthermore employ a graphical notation (class. The correctness of the obtained specification is checked by a translation into the input language of the CSP model

Wehrheim, Heike

303

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

304

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

E-Print Network [OSTI]

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

Joseph Fourier Grenoble-I, Université

305

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

E-Print Network [OSTI]

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

Joseph Fourier Grenoble-I, Université

306

Lessons Learned from a Successful Implementation of Formal Methods in an  

E-Print Network [OSTI]

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

Lawford, Mark

307

FORMAL PROOFS IN REAL ALGEBRAIC GEOMETRY: FROM ORDERED FIELDS TO QUANTIFIER ELIMINATION  

E-Print Network [OSTI]

and not only polynomials. But this work was imposed by our choice to base this work on an abstract structure Microsoft Research Joint Centre, e-mail address: Assia.Mahboubi@inria.fr Abstract. This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures

308

Formal verification of a static analyzer: abstract interpretation in type theory  

E-Print Network [OSTI]

Formal verification of a static analyzer: abstract interpretation in type theory Xavier Leroy Inria Paris-Rocquencourt xavier.leroy@inria.fr (Joint work with David Pichardie, Sandrine Blazy, Jacques-Henri Jourdan, and Vincent Laporte.) Abstract Static analysis is the automatic inference and checking of simple

Paris-Sud XI, Université de

309

Formal Methods for the Specification and Design of RealTime Safety Critical  

E-Print Network [OSTI]

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

Ostroff, Jonathan S.

310

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

E-Print Network [OSTI]

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

Chechik, Marsha

311

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

E-Print Network [OSTI]

An Application of the Deutsch-Jozsa Algorithm to Formal Languages and the Word Problem in Groups and Optimization, University of Waterloo, Canada Abstract. We adapt the Deutsch-Jozsa algorithm to the context some consequences for the word problem in groups with a particular kind of presentation. 1 The Deutsch

Severini, Simone

312

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

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

313

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

E-Print Network [OSTI]

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

Paris-Sud XI, Universit de

314

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 plant protection system in nuclear power plants. NuSCR improves the readability and specifiability those in aerospace, satellite and nuclear power plants, whose failure could result in danger to human

315

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

E-Print Network [OSTI]

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

Heljanko, Keijo

316

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

E-Print Network [OSTI]

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.

Charles E. Smith

2006-01-18T23:59:59.000Z

317

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

E-Print Network [OSTI]

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

Paris-Sud XI, Université de

318

A formal semantics of PLC programs in Coq Sidi OULD BIHA  

E-Print Network [OSTI]

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

Boyer, Edmond

319

Real-time formalism for studying the nonlinear response of "smart" materials to an electric field  

E-Print Network [OSTI]

Real-time formalism for studying the nonlinear response of "smart" materials to an electric field J developed for so-called "smart" materials that are tuned to lie close to the metal- insulator transition (RSFQ) ideas [3]. A "smart" material is a mate- rial that can have its properties altered by changing

Freericks, Jim

320

Formal Safety analysis of a radiobased railroad crossing using Deductive CauseConsequence  

E-Print Network [OSTI]

#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 wellknown safety analysis methods like FMEA [10 by analyzed) than traditional FMEA. We show, that the results of DCCA have the same semantics as those

Reif, Wolfgang

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


321

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

E-Print Network [OSTI]

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

Southampton, University of

322

Extension of the Application of the generalized pole representation to the treatment of resonance cross sections.  

SciTech Connect (OSTI)

One reliable and convenient way of processing the cross sections in the resolved energy region is by use of the generalized pole representation, whereby the Doppler-broadening calculation can be carried out rigorously using the analytical approach. So far, its applications have been limited to cases with resonance parameters specified by the Reich-Moore formalism. Although such an approach, in principle, can be extended to all three remaining representations of resolved resonance parameters specified by the ENDF data format, there is no computational tool for handling such a task at present. Given that Breit-Wigner formalisms are probably the most widely used by any evaluated nuclear data library to represent cross sections, a special effort has to be made to convert the single level and multilevel Breit-Wigner resonance parameters to pole parameters. A FORTRAN computer code BW2PR has been developed for this purpose. Extensive calculations have been performed to demonstrate that the proposed method ensures the conservation of the information contained originally in Breit-Wigner resonance parameters. This will make it possible to apply the exact Doppler-broadening method to a larger collection of nuclides.

Hwang, R. N.; Jammes, C.

1999-03-12T23:59:59.000Z

323

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]

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

Krovi, Venkat

324

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]

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

Vuik, Kees

325

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

[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

Illinois at Chicago, University of

326

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

E-Print Network [OSTI]

for these types of wells. In addition Dr. Craig has consulted on many projects around the world that utilized CRA for all of the major oil companies, many of the foreign national oil companies and many of the US. Craig is also a registered professional engineer in Colorado. #12;

Botte, Gerardine G.

327

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]

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 utilities, government organizations and various branches of industry - including the nuclear, financial services and medical sectors

Lindken, Ralph

328

Human Resources | One Washington Square | San Jos, CA 95192-0046 | 408-924-2250 408-924-1784 (fax) SUBJECT: SPECIAL CONSULTANT APPOINTMENTS  

E-Print Network [OSTI]

form to Workforce Planning. A list of duties being done by the Special Consultant must accompany Resources Responsibilities 1. Upon receipt of the Request for Temporary Support, Workforce Planning. 2. Workforce Planning will determine that the daily rate being requested falls within the Special

Su, Xiao

329

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 681C 616 C Mixer He 480C 660 C HX 500 C 500C Outboard to turbine 681C 500 C586 C 681C

330

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]

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

Yang, Junfeng

331

Formalities Governement  

E-Print Network [OSTI]

. Empty map: empty # #x. None . Update: m(a ## b) # #x. if x=a then #b# else m x . Updates: m(a1 ## b1 , a2 ## b2 ) # m(a1 ## b1 )(a 2 ## b2 ) . Finite maps: [a 1 ## b1 , . . . ] # empty(a1 ## b1 , . . . ) . List update: m([a1 ,. . . ,a i ] [##] [b 1 ,. . . ,b j ]) # m(a1 ## b1 ,. . . ,a min i j ## b min i j

Cengarle, María Victoria

332

{sup 16}O neutron cross section evaluation  

SciTech Connect (OSTI)

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.

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

1998-06-01T23:59:59.000Z

333

Section 10 (cont.): More Risk Management Concepts  

E-Print Network [OSTI]

Dec 4, 2014 ... Section 10 (cont.) .... next ten years is Poisson distributed with mean 4. Each ... due to hurricanes hitting the house in the next ten years. Lesson...

2014-12-04T23:59:59.000Z

334

Software Patent Litigation ABA Section of Litigation  

E-Print Network [OSTI]

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

Shamos, Michael I.

335

Thermodynamic formalism for the Lorentz gas with open boundaries in $d$ dimensions  

E-Print Network [OSTI]

A Lorentz gas may be defined as a system of fixed dispersing scatterers, with a single light particle moving among these and making specular collisions on encounters with the scatterers. For a dilute Lorentz gas with open boundaries in $d$ dimensions we relate the thermodynamic formalism to a random flight problem. Using this representation we analytically calculate the central quantity within this formalism, the topological pressure, as a function of system size and a temperature-like parameter $\\ba$. The topological pressure is given as the sum of the topological pressure for the closed system and a diffusion term with a $\\ba$-dependent diffusion coefficient. From the topological pressure we obtain the Kolmogorov-Sinai entropy on the repeller, the topological entropy, and the partial information dimension.

Henk van Beijeren; Oliver Muelken

2004-11-12T23:59:59.000Z

336

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

E-Print Network [OSTI]

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.

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

2014-06-30T23:59:59.000Z

337

The Barbero connection and its relation to the histories connection formalism without gauge fixing  

E-Print Network [OSTI]

We present a histories version of the connection formalism of general relativity. Such an approach introduces a spacetime description--a characteristic feature of the histories approach--and we discuss the extent to which the usual loop variables are compatible with a spacetime description. In particular, we discuss the definability of the Barbero connection without any gauge fixing. Although it is not the pullback of a spacetime connection onto the three-surface and it does not have a natural spacetime interpretation, this does not mean that the Barbero connection is not suitable variable for quantisation; it appears naturally in the formalism even in absence of gauge fixing. It may be employed therefore, to define loop variables similar to those employed in loop quantum gravity. However, the loop algebra would have to be augmented by the introduction of additional variables.

Ntina Savvidou

2006-02-07T23:59:59.000Z

338

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

E-Print Network [OSTI]

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.

T. Duguet; J. Sadoudi

2010-10-19T23:59:59.000Z

339

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

E-Print Network [OSTI]

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

Maloor, Preetam

2001-01-01T23:59:59.000Z

340

Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle  

E-Print Network [OSTI]

A Forensic Lucid intensional programming language has been proposed for intensional cyberforensic analysis. In large part, the language is based on various predecessor and codecessor Lucid dialects bound by the higher-order intensional logic (HOIL) that is behind them. This work formally specifies the operational aspects of the Forensic Lucid language and compiles a theory of its constructs using Isabelle, a proof assistant system.

Mokhov, Serguei A

2009-01-01T23:59:59.000Z

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


341

Section 4 -Financial Information A. General Information  

E-Print Network [OSTI]

Section 4 - Financial Information A. General Information 1. All University Housing and Dining fees. The security deposit, less any charges for damages, will be returned approximately ten weeks after the end according to Section 5 ­ Termination of Occupancy, will result in the forfeiture of the security deposit

Pantaleone, Jim

342

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

343

PHYSICS EDUCATION RESEARCH SECTION The Physics Education Research Section PERS publishes articles describing important results from  

E-Print Network [OSTI]

PHYSICS EDUCATION RESEARCH SECTION The Physics Education Research Section PERS publishes articles because students of- ten confuse electric and magnetic fields.9,10 It has been shown that when a particle

Heckler, Andrew F.

344

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

SciTech Connect (OSTI)

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.

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

345

Summary: Section 4.1, Part 1 Summary: Section 4.1, Part 1  

E-Print Network [OSTI]

all ten vector space axioms hold, we can conclude that S is a vector space. Summary: Section 4.1, PartSummary: Section 4.1, Part 1 Summary: Section 4.1, Part 1 #12;A vector space is a nonempty set V of objects, called vectors, on which are defined addition and scalar multiplication, subject to the ten

Myers, Amy

346

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

SciTech Connect (OSTI)

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}

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

347

West Virginia University 1 In this section  

E-Print Network [OSTI]

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

Mohaghegh, Shahab

348

MODELING AND FISSION CROSS SECTIONS FOR AMERICIUM.  

SciTech Connect (OSTI)

This is the final report of the work performed under the LANL contract on the modeling and fission cross section for americium isotopes (May 2004-June 2005). The purpose of the contract was to provide fission cross sections for americium isotopes with the nuclear reaction model code EMPIRE 2.19. The following work was performed: (1) Fission calculations capability suitable for americium was implemented to the EMPIRE-2.19 code. (2) Calculations of neutron-induced fission cross sections for {sup 239}Am to {sup 244g}Am were performed with EMPIRE-2.19 for energies up to 20 MeV. For the neutron-induced reaction of {sup 240}Am, fission cross sections were predicted and uncertainties were assessed. (3) Set of fission barrier heights for each americium isotopes was chosen so that the new calculations fit the experimental data and follow the systematics found in the literature.

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

2005-05-01T23:59:59.000Z

349

Asymptotic cross sections for composite projectile reactions  

E-Print Network [OSTI]

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

Neves, Andrea Marolt Pimenta

1995-01-01T23:59:59.000Z

350

Absorption cross section of RN black hole  

E-Print Network [OSTI]

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.

Sini R.; V. C. Kuriakose

2007-08-23T23:59:59.000Z

351

Acoustic scattering by elastic cylinders of elliptical cross-section and splitting up of resonances  

SciTech Connect (OSTI)

The scattering of a plane acoustic wave by an infinite elastic cylinder of elliptical cross section is studied from a modal formalism by emphasizing the role of the symmetries. More precisely, as the symmetry is broken in the transition from the infinite circular cylinder to the elliptical one, the splitting up of resonances is observed both theoretically and experimentally. This phenomenon can be interpreted using group theory. The main difficulty stands in the application of this theory within the framework of the vectorial formalism in elastodynamics. This method significantly simplifies the numerical treatment of the problem, provides a full classification of the resonances, and gives a physical interpretation of the splitting up in terms of symmetry breaking. An experimental part based on ultrasonic spectroscopy complements the theoretical study. A series of tank experiments is carried out in the case of aluminium elliptical cylinders immersed in water, in the frequency range 0???kr???50, where kr is the reduced wave number in the fluid. The symmetry is broken by selecting various cylinders of increasing eccentricity. More precisely, the greater the eccentricity, the higher the splitting up of resonances is accentuated. The experimental results provide a very good agreement with the theoretical ones, the splitting up is observed on experimental form functions, and the split resonant modes are identified on angular diagrams.

Ancey, S., E-mail: ancey@univ-corse.fr; Bazzali, E., E-mail: ebazzali@univ-corse.fr; Gabrielli, P., E-mail: gabrieli@univ-corse.fr; Mercier, M., E-mail: mercier@univ-corse.fr [UMR CNRS 6134 SPE, Facult des Sciences, Universit de Corse, F-20250 Corte (France)

2014-05-21T23:59:59.000Z

352

Extended Hamilton-Lagrange formalism and its application to Feynman's path integral for relativistic quantum physics  

E-Print Network [OSTI]

We present a consistent and comprehensive treatise on the foundations of the extended Hamilton-Lagrange formalism--where the dynamical system is parameterized along a general system evolution parameter $s$, and the time $t$ is treated as a dependent variable $t(s)$ on equal footing with all other configuration space variables $q^{i}(s)$. In the action principle, the conventional classical action $L dt$ is then replaced by the generalized action $L_{1}ds$, with $L$ and $L_{1}$ denoting the conventional and the extended Lagrangian, respectively. It is shown that a unique correlation of $L_{1}$ and $L$ exists if we refrain from performing simultaneously a transformation of the dynamical variables. With the appropriate correlation of $L_{1}$ and $L$ in place, the extension of the formalism preserves its canonical form. In the extended formalism, the dynamical system is described as a constrained motion within an extended space. We show that the value of the constraint and the parameter $s$ constitutes an additional pair of canonically conjugate variables. In the corresponding quantum system, we thus encounter an additional uncertainty relation. We derive the extended Lagrangian $L_{1}$ of a classical relativistic point particle in an external electromagnetic field and show that the generalized path integral approach yields the Klein-Gordon equation as the corresponding quantum description. We furthermore derive the space-time propagator for a free relativistic particle from its extended Lagrangian $L_{1}$. These results can be regarded as the proof of principle of the relativistic generalization of Feynman's path integral approach to quantum physics.

Jrgen Struckmeier

2008-11-04T23:59:59.000Z

353

Partition of the probability space formally related to isomorphism of minerals  

SciTech Connect (OSTI)

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.

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

354

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]

A response to the Governments 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...

Treanor, Morag

2013-01-01T23:59:59.000Z

355

ASSESSING, TRAINING AND CONSULTING  

E-Print Network [OSTI]

National Institute of Agronomy (INAT), agro-climatology Pascale Delécluse Senior researcher at the CNRS researcher at the CNRS, climatology Sergio Revah, Professor at the Autonomous Metropolitan University, Mexico

356

CONSULTANT REPORT SEPTEMBER 2011  

E-Print Network [OSTI]

Stage....................................................................................................................................................................5 Electricity Generation and Use....................................................................................................................................................5 Preferred Sources for Electricity Generation...................................................................................................................................................................................4 Generation Facilities less than 2 MW

357

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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLas ConchasPassive Solar HomePromisingStoriesSANDIA REPORT SANDSDNTM (04-95)7/31/13

358

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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsrucLas ConchasPassive Solar HomePromisingStoriesSANDIA REPORT SANDSDNTM (04-95)7/31/137/31/13 Page 1

359

Tribal Consultation and Stakeholder ...  

Office of Environmental Management (EM)

S trategy Tribal C onsultation a nd S takeholder O utreach M eetings 20 could provide wind power in winter. Another potential for the region to create its own revenue source...

360

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

SciTech Connect (OSTI)

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.

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

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


361

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

E-Print Network [OSTI]

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.

Beaudoin, N; Sandapen, R

2013-01-01T23:59:59.000Z

362

Solvation Phenomena in Dilute Solutions: Formal, Experimental Evidence, and Modeling Implications  

SciTech Connect (OSTI)

We review the fundamentals underlying a general molecular-based formalism for the microscopic interpretation of the solvation phenomena involving sparingly soluble solutes in compressible media, an approach that hinges around the unambiguous splitting of the species correlation function integrals into short-(finite) and long-ranged (diverging) contributions at infinite dilution, where this condition is taken as the reference system for the derivation of composition expansions. Then, we invoke the formalism (a) to illustrate the well-behaved nature of the solvation contributions to the mechanical partial molecular properties of solutes at infinite dilution, (b) to guide the development of, and provide molecular-based support to, the macroscopic modeling of high-temperature dilute aqueous-electrolyte solutions, (c) to study solvation effects on the kinetic rate constants of reactions in near-critical solvents in an attempt to understand from a microscopic perspective the macroscopic evidence regarding the thermodynamic pressure effects, and (d) to interpret the microscopic mechanism behind synergistic solvation effects involving either co-solutes or co-solvents, and provide a molecular argument on the unsuitability of the van der Waals one-fluid (vdW-1f) mixing rules for the 2 description of weakly attractive solutes in compressible solvents. Finally, we develop thermodynamically consistent perturbation expansions, around the infinite dilution reference, for the species residual properties in binary and ternary mixtures, and discuss the theoretical and modeling implications behind ad hoc first-order truncated expansions.

Chialvo, Ariel A [ORNL

2013-01-01T23:59:59.000Z

363

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

E-Print Network [OSTI]

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.

Laszlo Gyongyosi

2014-10-30T23:59:59.000Z

364

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

SciTech Connect (OSTI)

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.

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

365

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

E-Print Network [OSTI]

: 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

Paris-Sud XI, Université de

366

Temperature Dependent Neutron Scattering Sections for Polyethylene  

E-Print Network [OSTI]

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.

Roger E. Hill; C. -Y. Liu

2003-09-05T23:59:59.000Z

367

Cross sections of neutron-induced reactions  

SciTech Connect (OSTI)

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.

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

2010-10-15T23:59:59.000Z

368

Total Cross Sections for Neutron Scattering  

E-Print Network [OSTI]

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.

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

1994-10-19T23:59:59.000Z

369

Precise neutron inelastic cross section measurements  

SciTech Connect (OSTI)

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.

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

2012-11-20T23:59:59.000Z

370

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

SciTech Connect (OSTI)

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.

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

371

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

SciTech Connect (OSTI)

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

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

2012-09-01T23:59:59.000Z

372

Section I. Summary of Project Activities Section I-A. 2008-2009 Project Summary  

E-Print Network [OSTI]

Section I. Summary of Project Activities Section I-A. 2008-2009 Project Summary University year, we accomplished the following: · Established a dual career opportunity procedure vetted to address, communicate procedures for the new daycare facility, and to explore the potential

Farritor, Shane

373

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

E-Print Network [OSTI]

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

Watson, Craig A.

374

Energy and Society Week 3 Section Solution  

E-Print Network [OSTI]

Wh and the power plant has a conversion efficiency of 30%. Coal has an energy density of 29.3x106 J/kg. Before1 9/7/2014 Energy and Society Week 3 Section Solution 3. ENERGY BASICS AND UNIT ANALYSIS (ONLY to office hours soon. Energy versus Power - Work refers to an activity involving a force and movement

Kammen, Daniel M.

375

Physical sectioning in 3D biological microscopy  

E-Print Network [OSTI]

...................................................................... 61 G Stepans 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...

Guntupalli, Jyothi Swaroop

2008-10-10T23:59:59.000Z

376

Physical sectioning in 3D biological microscopy  

E-Print Network [OSTI]

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

Guntupalli, Jyothi Swaroop

2009-05-15T23:59:59.000Z

377

Testing (Validating?) Cross Sections with ICSBEP Benchmarks  

SciTech Connect (OSTI)

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

Kahler, Albert C. III [Los Alamos National Laboratory

2012-06-28T23:59:59.000Z

378

Section XI -- 25 years of development  

SciTech Connect (OSTI)

The original concept of nuclear power plant designers was that the higher standards of design and fabrication would make inservice inspections unnecessary, and little attention was given to provisions for access. By 1966 the Atomic Energy Commission recognized that a planned program of periodic inservice inspections would be needed. They began development of criteria, and encouraged industry code-writing organizations to do likewise. These groups joined forces in 1968, and their product was published by ASME in 1970 as part of the Boiler and Pressure Code, Section XI, Rules for Inservice Inspection of Nuclear Reactor Coolant Systems. Section XI, 24 pages in 1970, is now 723 pages. While it originally covered only light water reactor Class 1 components and piping, it now includes Class 2, 3, and containment, and liquid metal cooled reactor plants. Along the way, rules have been developed for gas-cooled and low pressure heavy water reactor plants. The growth in size of Section XI from its modest beginning has been largely because of recognition that the rules governing plant inspection/operation need to be considerably different from the rules provided for the component designer/manufacturer. Rules have been developed in the areas of repair/replacement technology, NDE methodology, NDE acceptance standards, and analytical evaluation methods in the absence of appropriate rules in Section III.

Hedden, O.F. [ABB Combustion Engineering Nuclear Operations, Windsor, CT (United States)

1996-12-01T23:59:59.000Z

379

Student's Department: Course/Section Number  

E-Print Network [OSTI]

Student's Department: Course/Section Number: Course Title: Instructor: Explanation of why coursework has not yet been completed: Description of coursework remaining to be completed: Graduate Student is Requested: Arts & Sciences Students: Shriver Hall 28 (Graduate Affairs and Admissions Office) Engineering

Weaver, Harold A. "Hal"

380

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

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


381

Dr. Thad M. Adams Materials Technology Section  

E-Print Network [OSTI]

Dr. Thad M. Adams Materials Technology Section Savannah River National Laboratory DOE Hydrogen Pipeline R&D Project Review Meeting January 5-6, 2005 Evaluation of Natural Gas Pipeline Materials for Hydrogen Service #12;Hydrogen Technology at the SavannahHydrogen Technology at the Savannah River Site

382

BUSINESS APPLICATION SECTION 1: BUSINESS CONTACT INFORMATION  

E-Print Network [OSTI]

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

Suzuki, Masatsugu

383

GENERAL PROVISIONS Section 1-1 Definitions.  

E-Print Network [OSTI]

for Research; and University General Counsel and Vice President for Legal Affairs. i. "Chancellors" means1-1 CHAPTER 1 GENERAL PROVISIONS Section 1-1 Definitions. The words and phrases in the Board of these principles, laws and policies once approved by the Board. Therefore, the interpretation of all Board policies

384

West Virginia University 1 In this section  

E-Print Network [OSTI]

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

Mohaghegh, Shahab

385

Energy and Society Section Handout Week 9  

E-Print Network [OSTI]

Power loss Loss of electrical power to heat in a resistor = 2 Key components of a power grid1 Energy and Society Section Handout ­ Week 9 Topics 1. Grid 2. Q&A on midterm 1. Grid Key Concepts 10 = 12 Total current = 10 = 100 b) The power is delivered to the distribution grid by a 240. k

Kammen, Daniel M.

386

Energy and Society Week 4 Section Solution  

E-Print Network [OSTI]

. What is the main flaw of GDP per capita as the development metric? ANS: Open end question. Main flaw1 9/17/2014 Energy and Society Week 4 Section Solution TOPIC 1: Energy & Development: [iClicker]-1. Influence = B. Energy consumption = (/$) C. Carbon = 2 (/) ANS: [C] Note carbon

Kammen, Daniel M.

387

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

388

SECTION 1 -CERTIFICATION BY AUTHORISED DEPARTMENTAL OFFICER  

E-Print Network [OSTI]

SECTION 1 - CERTIFICATION BY AUTHORISED DEPARTMENTAL OFFICER Earnings Code Description Rate No Ext. Employee ID Surname Given Names Title Date of Birth (dd/mm/yy) Sex (tick one) male female Home Phone No. Postal Address (for group certificates, etc) Postcode Is an Employment Declaration Form

Tobar, Michael

389

electronic reprint Acta Crystallographica Section D  

E-Print Network [OSTI]

electronic reprint Acta Crystallographica Section D Biological Crystallography ISSN 0907 is retained. Republication of this article or its storage in electronic databases or the like is not permitted of hidden Markov models electronic reprint #12;research papers 1898 Gough SUPERFAMILY database Acta Cryst

Gough, Julian

390

Business Application Instructions Section 2: Business Information  

E-Print Network [OSTI]

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

Suzuki, Masatsugu

391

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

SciTech Connect (OSTI)

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-protg relationship significantly influences a protgs learning experience which carries repercussions into their career intentions. The mentor-protg 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.

Bryan D. Maughan

2006-11-01T23:59:59.000Z

392

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

SciTech Connect (OSTI)

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.

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

1993-12-31T23:59:59.000Z

393

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

SciTech Connect (OSTI)

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.

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

394

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

SciTech Connect (OSTI)

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.

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

395

Modelling and Formal Verification of Timing Aspects in Large PLC Programs  

E-Print Network [OSTI]

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.

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

2014-01-01T23:59:59.000Z

396

The Hamiltonian formalism for scalar fields coupled to gravity in a cosmological background  

SciTech Connect (OSTI)

A novel routine to investigate the scalar fields in a cosmological context is discussed in the framework of the Hamiltonian formalism. Starting from the EinsteinHilbert action coupled to a Lagrangian density that contains two componentsone corresponding to a scalar field Lagrangian, L{sub ?}, and another that depends on the scale parameter, L{sub a}one can identify a generalized Hamiltonian density from which first-order dynamical equations can be obtained. This set up corresponds to the dynamics of FriedmannRobertsonWalker models in the presence of homogeneous fields embedded into a generalized cosmological background fluid in a system that evolves all together isentropically. Once the generalized Hamiltonian density is properly defined, the constraints on the gravitymatterfield system are straightforwardly obtained through the first-order Hamilton equations. The procedure is illustrated for three examples of cosmological interest for studies of the dark sector: real scalar fields, tachyonic fields and generalized BornInfeld tachyonic fields. The inclusion of some isentropic fluid component into the Friedmann equation allows for identifying an exact correspondence between the dark sector underlying scalar field and an ordinary real scalar field dynamics. As a final issue, the Hamiltonian formulation is used to set the first-order dynamical equations through which one obtains the exact analytical description of the cosmological evolution of a generalized Chaplygin gas (GCG) with dustlike matter, radiation or curvature contributions. Model stability in terms of the square of the sound velocity, c{sub s}{sup 2}, cosmic acceleration, q, and conditions for inflation are discussed. -- Highlights: The Hamiltonian formalism for scalar fields coupled to gravity in a cosmological background is constructed. Real scalar, tachyonic and generalized BornInfeld tachyonic-type fields are considered. An extended formulation of the HamiltonJacobi description of the dark sector dynamics driven by scalar fields is obtained.

Bernardini, A.E., E-mail: alexeb@ufscar.br; Bertolami, O., E-mail: orfeu.bertolami@fc.up.pt

2013-11-15T23:59:59.000Z

397

Final Guidance for EPAct 2005 Section 242 Hydroelectric Incentive...  

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

Final Guidance for EPAct 2005 Section 242 Hydroelectric Incentive Program Final Guidance for EPAct 2005 Section 242 Hydroelectric Incentive Program This document contains the Final...

398

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

399

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

400

DOE Supplemental Instructions for OMB Section 1512 Reporting...  

Energy Savers [EERE]

Section 1512 Reporting - For Grant and Loan Recipients More Documents & Publications DOE Supplemental Instructions for OMB Section 1512 Reporting - For Contractors Slide 1 Slide 1...

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


401

Funding: Future Clean Cities Solicitation and EISA Section 244  

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

Funding: Funding: Future Clean Cities Solicitation and Future Clean Cities Solicitation and EISA Section 244 EISA Section 244 Linda Bluestein Linda Bluestein Co Co - - Director...

402

Enabling Technologies for Ceramic Hot Section Components  

SciTech Connect (OSTI)

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.

Venkat Vedula; Tania Bhatia

2009-04-30T23:59:59.000Z

403

A thermodynamic formalism approach to the Selberg zeta function for Hecke triangle surfaces of infinite area  

E-Print Network [OSTI]

We provide an explicit construction of a cross section for the geodesic flow on infinite-area Hecke triangle surfaces which allows us to conduct a transfer operator approach to the Selberg zeta function. Further we construct closely related cross sections for the billiard flow on the associated triangle surfaces and endow the arising discrete dynamical systems and transfer operator families with two weight functions which presumably encode Dirichlet respectively Neumann boundary conditions. The Fredholm determinants of these transfer operator families constitute dynamical zeta functions, which provide a factorization of the Selberg zeta function of the Hecke triangle surfaces.

Anke D. Pohl

2014-04-15T23:59:59.000Z

404

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

SciTech Connect (OSTI)

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

Not Available

1992-03-01T23:59:59.000Z

405

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

E-Print Network [OSTI]

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.

Aaron C. Vincent; Pat Scott

2014-04-23T23:59:59.000Z

406

Photonuclear Reaction Cross Sections for Gallium Isotopes  

E-Print Network [OSTI]

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.

Serkan Akkoyun; Tuncay Bayram

2014-09-08T23:59:59.000Z

407

Inclusive jet cross section at CDF  

SciTech Connect (OSTI)

This contribution reports on preliminary measurements of the inclusive jet production cross section in p{bar p} collisions at {radical}s = 1.96 TeV using data collected with CDF corresponding to an integrated luminosity of 385 pb{sup -1}. Two analyzes are presented: one uses the longitudinally invariant k{sub T} algorithm to reconstruct the jets, the other uses the midpoint algorithm. Both are limited to jets with rapidity in the range 0.1 < |y{sup jet}| < 0.7. The measured cross sections are in good agreement with next-to-leading order perturbative QCD predictions after including the non-perturbative corrections necessary to account for underlying event and hadronization effects.

Lefevre, R.; Martinez, M.; /Barcelona, IFAE

2005-01-01T23:59:59.000Z

408

Correlation cross sections along the international border  

SciTech Connect (OSTI)

The Manitoba-North Dakota (Canada-US) stratigraphic correlation project is a joint study between the Petroleum Branch of Manitoba Energy and Mines and the North Dakota Geological Survey. It is an attempt to correlate the differing stratigraphic terminologies established in the two jurisdictions by providing a reference cross section across the international boundary. The study involves the subsurface correlation of logs of the Paleozoic and Mesozoic sequences in the Manitoba and North Dakota portions of the Williston basin. The Paleozoic and Mesozoic sequences are subdivided for presentation into the following stratigraphic intervals: (a) Cambrian-Ordovician-Silurian, (b) Devonian, (c) Mississippian, (d) Jurassic, and (e) Cretaceous. Wireline logs show the actual stratigraphic correlations. A nomenclature chart is also presented from each sequence. In addition, the sections include a generalized description of lithologies, thicknesses, environments of deposition, and petroleum potential for each geographic area.

Martiniuk, C.D. (Manitoba Energy and Mines, Winnipeg (Canada)); Le Fever, J.A.; Anderson, S.B. (North Dakota Geological Survey, Grand Forks (United States))

1991-06-01T23:59:59.000Z

409

Electron capture cross sections for stellar nucleosynthesis  

E-Print Network [OSTI]

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.

Giannaka, P G

2015-01-01T23:59:59.000Z

410

Clean Water Act (excluding Section 404)  

SciTech Connect (OSTI)

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

Not Available

1993-01-15T23:59:59.000Z

411

Neural networks Chapter 19, Sections 15  

E-Print Network [OSTI]

= 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

Hawick, Ken

412

Section 1703 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 on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartment of Energyof the Americas | Department ofofDelivered |Technology4ContinuingSection

413

Section 999: Annual Plans | 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 on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Office of Inspector GeneralDepartment of Energyof the Americas | Department ofofDeliveredSection 999: Annual Plans

414

FINANCE AND ADMINISTRATION EOC Title: Finance/Admin Section Chief  

E-Print Network [OSTI]

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

Walker, Matthew P.

415

Verifying UAV Path Planning: A Formal Approach of Choice. Antonios Tsourdos, Brian A White and Rafal bikowski  

E-Print Network [OSTI]

Verifying UAV Path Planning: A Formal Approach of Choice. Antonios Tsourdos, Brian A White - RMCS Shrivenham, Swindon SN6 8LA United Kingdom When deploying multiple UAVs each with its own sensor platform into an unstructured environment, the swarm of these sensor platforms, i.e. the team of UAVs needs

Fisher, Michael

416

Computer Sciences Technical Report #1051, September 1991, Revised September 1992 A Unified Formalization of Four Shared-Memory Models  

E-Print Network [OSTI]

consistent special operations), the VAX memory model, and data- race-free-0. The most intuitive and commonly, release consistency, the VAX, and data-race-free-0 are based on the common intuition that if programs, the VAX, and data-race-free-0 by formalizing the above intuition in a manner that retains the advantages

Hill, Mark D.

417

An energy-conserving formalism for adaptive gravitational force softening in SPH and N-body codes  

E-Print Network [OSTI]

In this paper we describe an adaptive softening length formalism for collisionless N-body and self-gravitating Smoothed Particle Hydrodynamics (SPH) calculations which conserves momentum and energy exactly. This means that spatially variable softening lengths can be used in N-body calculations without secular increases in energy. The formalism requires the calculation of a small additional term to the gravitational force related to the gradient of the softening length. The extra term is similar in form to the usual SPH pressure force (although opposite in direction) and is therefore straightforward to implement in any SPH code at almost no extra cost. For N-body codes some additional cost is involved as the formalism requires the computation of the density via a summation over neighbouring particles using the smoothing kernel. The results of numerical tests demonstrate that, for homogeneous mass distributions, the use of adaptive softening lengths gives a softening which is always close to the `optimal' choice of fixed softening parameter, removing the need for fine-tuning. For a heterogeneous mass distribution (as may be found in any large scale N-body simulation) we find that the errors on the least-dense component are lowered by an order of magnitude compared to the use of a fixed softening length tuned to the densest component. For SPH codes our method presents a natural and elegant choice of softening formalism which makes a small improvement to both the force resolution and the total energy conservation at almost zero additional cost.

D. J. Price; J. J. Monaghan

2006-10-30T23:59:59.000Z

418

12. Turing Machines/Combinations of ffl We claimed that Turing machines are a formal model of  

E-Print Network [OSTI]

12. Turing Machines/Combinations of ffl We claimed that Turing machines are a formal model existed or can ever be built. ffl This lecture justifies this claim by showing how complex machines can will further justify the claim by showing that attempts to generalize Turing machines do not lead to more

Golin, Mordecai J.

419

CSCI 3130: Formal Languages and Automata Theory The Chinese University of Hong Kong, Fall 2010 Practice Final Exam 2 Solutions  

E-Print Network [OSTI]

for ATM : E :=On input M, w , Construct the following TM M : On any input, simulate M on w and return its to generate the strings 0w and 1w. More formally, the following TM decides ALLCFG: E :=On input G , Construct

Bogdanov, Andrej

420

Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2, and Douglas R. Smith1  

E-Print Network [OSTI]

Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2, and Douglas Rat 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

Pavlovic, Dusko

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


421

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

E-Print Network [OSTI]

-alone systems to highly- networked cyber-physical systems (CPS), spanning a diverse array of software is produced are important in ensuring the safety of the car, its driver and passengers. In a CPS consisting congestions, formal safety verification and response time analysis are essential to the certification and use

Cheng, Albert M. K.

422

Efficient representation for formal verification of PLC programs * Vincent Gourcuff, Olivier De Smet and Jean-Marc Faure  

E-Print Network [OSTI]

Efficient representation for formal verification of PLC programs * Vincent Gourcuff, Olivier De, an efficient representation of PLC programs is proposed. This representation includes only the states that are meaningful for properties proof. A method to translate PLC programs developed in Structured Text into Nu

Paris-Sud XI, Université de

423

The application of formal software engineering methods to the unattended and remote monitoring software suite at Los Alamos National Laboratory  

SciTech Connect (OSTI)

The Unattended and Remote Monitoring (UNARM) system is a collection of specialized hardware and software used by the International Atomic Energy Agency (IAEA) to institute nuclear safeguards at many nuclear facilities around the world. The hardware consists of detectors, instruments, and networked computers for acquiring various forms of data, including but not limited to radiation data, global position coordinates, camera images, isotopic data, and operator declarations. The software provides two primary functions: the secure and reliable collection of this data from the instruments and the ability to perform an integrated review and analysis of the disparate data sources. Several years ago the team responsible for maintaining the software portion of the UNARM system began the process of formalizing its operations. These formal operations include a configuration management system, a change control board, an issue tracking system, and extensive formal testing, for both functionality and reliability. Functionality is tested with formal test cases chosen to fully represent the data types and methods of analysis that will be commonly encountered. Reliability is tested with iterative, concurrent testing where up to five analyses are executed simultaneously for thousands of cycles. Iterative concurrent testing helps ensure that there are no resource conflicts or leaks when multiple system components are in use simultaneously. The goal of this work is to provide a high quality, reliable product, commensurate with the criticality of the application. Testing results will be presented that demonstrate that this goal has been achieved and the impact of the introduction of a formal software engineering framework to the UNARM product will be presented.

Determan, John Clifford [Los Alamos National Laboratory; Longo, Joseph F [Los Alamos National Laboratory; Michel, Kelly D [Los Alamos National Laboratory

2009-01-01T23:59:59.000Z

424

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)

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

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

425

The Lorentz Group, Noncommutative Space-Time, and Nonlinear Electrodynamics in Majorana-Oppenheimer Formalism  

E-Print Network [OSTI]

Non-linear electrodynamics arising in the frames of field theories in non-commutative space-time is examined on the base of the Riemann-Silberstein-Majorana-Oppenheimer formalism. The problem of form-invariance of the non-linear constitutive relations governed by six non-commutative parameters \\theta_{kl} \\sim {\\bf K} = {\\bf n} + i {\\bf m} is explored in detail on the base of the complex orthogonal group theory SO(3.C). Two Abelian 2-parametric small groups, isomorphic to each other in abstract sense, and leaving unchangeable the extended constitutive relations at arbitrary six parameters \\theta_{kl} of effective media have been found, their realization depends explicitly on invariant length {\\bf K}^{2}. In the case of non-vanishing length a special reference frame in which the small group has the structure SO(2) \\otimes SO(1,1) has been found. In isotropic case no such reference frame exists. The way to interpret both Abelian small groups in physical terms consists in factorizing corresponding Lorentz transformations into Euclidean rotations and boosts. In the context of general study of various dual symmetries in non-commutative field theory, it is demonstrated explicitly that the non-linear constitutive equations in non-commutative electrodynamics are not invariant under continuous dual rotations, instead only invariance under discrete dual transformation exists.

V. Red'kov; E. Tolkachev

2011-09-09T23:59:59.000Z

426

A new approach to gravitational clustering: a path-integral formalism and large-N expansions  

E-Print Network [OSTI]

We show that the formation of large-scale structures through gravitational instability in the expanding universe can be fully described through a path-integral formalism. We derive the action S[f] which gives the statistical weight associated with any phase-space distribution function f(x,p,t). This action S describes both the average over the Gaussian initial conditions and the Vlasov-Poisson dynamics. Next, applying a standard method borrowed from field theory we generalize our problem to an N-field system and we look for an expansion over powers of 1/N. We describe three such methods and we derive the corresponding equations of motion at the lowest non-trivial order for the case of gravitational clustering. This yields a set of non-linear equations for the mean $\\fb$ and the two-point correlation G of the phase-space distribution f, as well as for the response function R. These systematic schemes match the usual perturbative expansion on quasi-linear scales but should also be able to handle the non-linear regime. Our approach can also be extended to non-Gaussian initial conditions and may serve as a basis for other tools borrowed from field theory.

P. Valageas

2004-07-01T23:59:59.000Z

427

Fusion cross sections at deep subbarrier energies  

E-Print Network [OSTI]

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.

K. Hagino; N. Rowley; M. Dasgupta

2003-02-12T23:59:59.000Z

428

Heavy-Section Steel Irradiation Program  

SciTech Connect (OSTI)

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.

Rosseel, T.M.

2000-04-01T23:59:59.000Z

429

Cross section for charmonium absorption by nucleons  

E-Print Network [OSTI]

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

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

2002-01-01T23:59:59.000Z

430

Cross Sections for Nuclei A = 3 - 20  

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:1 First Use of Energy for All Purposes (Fuel and Nonfuel),Feet) Year Jan Feb Mar Apr May JunDatastreamsmmcrcalgovInstrumentsruc DocumentationP-Series to User GroupInformationE-GovNaturalInstitute CriticalCross Sections

431

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 Data Center Home Page on Delicious Rank EERE:YearRound-Up from the Gridwise Global1WasteRecoveryAwards SECTION B SUPPLIES AND SERVICES AND

432

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 Data Center Home Page on Delicious Rank EERE:YearRound-Up from the Gridwise Global1WasteRecoveryAwards SECTION B SUPPLIES AND SERVICES ANDPART I

433

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 Data Center Home Page on Delicious Rank EERE:YearRound-Up from the Gridwise Global1WasteRecoveryAwards SECTION B SUPPLIES AND SERVICESIIIVV

434

Formal Verification of FBD-Based PLC Software at Software Design Phase Han Seong Son, Kee-Choon Kwon, Junbeom Yoo*, Sungdeok Cha*  

E-Print Network [OSTI]

Formal Verification of FBD-Based PLC Software at Software Design Phase Han Seong Son, Kee@salmosa.kaist.ac.kr ABSTRACT This article suggests an approach to formal verification of FBD-based PLC software at design phase checking and equivalence check on the FBDs. INTRODUCTION As Programmable Logic Controllers (PLC) have been

435

x-ray resonant magnetic reflectivity of stratified magnetic structures: eigen-wave formalism and application to a Fe thin film  

E-Print Network [OSTI]

x-ray resonant magnetic reflectivity of stratified magnetic structures: eigen-wave formalism regime up to soft and hard x-rays. The originality of the present formalism lies in the use of eigen-waves throughout the treatment. An application to a Fe thin film illustrates the methodology. I. INTRODUCTION X-ray

436

Determination of prescription dose for Cs-131 permanent implants using the BED formalism including resensitization correction  

SciTech Connect (OSTI)

Purpose: The current widely used biological equivalent dose (BED) formalism for permanent implants is based on the linear-quadratic model that includes cell repair and repopulation but not resensitization (redistribution and reoxygenation). The authors propose a BED formalism that includes all the four biological effects (4Rs), and the authors propose how it can be used to calculate appropriate prescription doses for permanent implants with Cs-131. Methods: A resensitization correction was added to the BED calculation for permanent implants to account for 4Rs. Using the same BED, the prescription doses with Au-198, I-125, and Pd-103 were converted to the isoeffective Cs-131 prescription doses. The conversion factor F, ratio of the Cs-131 dose to the equivalent dose with the other reference isotope (F{sub r}: with resensitization, F{sub n}: without resensitization), was thus derived and used for actual prescription. Different values of biological parameters such as ?, ?, and relative biological effectiveness for different types of tumors were used for the calculation. Results: Prescription doses with I-125, Pd-103, and Au-198 ranging from 10 to 160 Gy were converted into prescription doses with Cs-131. The difference in dose conversion factors with (F{sub r}) and without (F{sub n}) resensitization was significant but varied with different isotopes and different types of tumors. The conversion factors also varied with different doses. For I-125, the average values of F{sub r}/F{sub n} were 0.51/0.46, for fast growing tumors, and 0.88/0.77 for slow growing tumors. For Pd-103, the average values of F{sub r}/F{sub n} were 1.25/1.15 for fast growing tumors, and 1.28/1.22 for slow growing tumors. For Au-198, the average values of F{sub r}/F{sub n} were 1.08/1.25 for fast growing tumors, and 1.00/1.06 for slow growing tumors. Using the biological parameters for the HeLa/C4-I cells, the averaged value of F{sub r} was 1.07/1.11 (rounded to 1.1), and the averaged value of F{sub n} was 1.75/1.18. F{sub r} of 1.1 has been applied to gynecological cancer implants with expected acute reactions and outcomes as expected based on extensive experience with permanent implants. The calculation also gave the average Cs-131 dose of 126 Gy converted from the I-125 dose of 144 Gy for prostate implants. Conclusions: Inclusion of an allowance for resensitization led to significant dose corrections for Cs-131 permanent implants, and should be applied to prescription dose calculation. The adjustment of the Cs-131 prescription doses with resensitization correction for gynecological permanent implants was consistent with clinical experience and observations. However, the Cs-131 prescription doses converted from other implant doses can be further adjusted based on new experimental results, clinical observations, and clinical outcomes.

Luo, Wei, E-mail: wei.luo@uky.edu; Molloy, Janelle; Aryal, Prakash; Feddock, Jonathan; Randall, Marcus [Department of Radiation Medicine, University of Kentucky, Lexington, Kentucky 40536 (United States)] [Department of Radiation Medicine, University of Kentucky, Lexington, Kentucky 40536 (United States)

2014-02-15T23:59:59.000Z

437

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

SciTech Connect (OSTI)

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.

NONE

1988-01-01T23:59:59.000Z

438

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

SciTech Connect (OSTI)

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.

NONE

1988-01-01T23:59:59.000Z

439

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

SciTech Connect (OSTI)

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.

NONE

1988-01-01T23:59:59.000Z

440

ISSUES IN NEUTRON CROSS SECTION COVARIANCES  

SciTech Connect (OSTI)

We review neutron cross section covariances in both the resonance and fast neutron regions with the goal to identify existing issues in evaluation methods and their impact on covariances. We also outline ideas for suitable covariance quality assurance procedures.We show that the topic of covariance data remains controversial, the evaluation methodologies are not fully established and covariances produced by different approaches have unacceptable spread. The main controversy is in very low uncertainties generated by rigorous evaluation methods and much larger uncertainties based on simple estimates from experimental data. Since the evaluators tend to trust the former, while the users tend to trust the latter, this controversy has considerable practical implications. Dedicated effort is needed to arrive at covariance evaluation methods that would resolve this issue and produce results accepted internationally both by evaluators and users.

Mattoon, C.M.; Oblozinsky,P.

2010-04-30T23:59:59.000Z

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


441

Electromagnetic Field in de Sitter Expanding Universe: Majorana--Oppenheimer Formalism, Exact Solutions in non-Static Coordinates  

E-Print Network [OSTI]

Tetrad-based generalized complex formalism by Majorana--Oppenheimer is applied to treat electromagnetic field in extending de Sitter Universe in on-static spherically-symmetric coordinates. With the help of Wigner D-functions, we separate angular dependence in the complex vector field E_{j}(t,r)+i B_{j}(t,r) from (t,r)-dependence. The separation parameter arising here instead of frequency \\omega in Minkowski space-time is quantized, non-static geometry of the de Sitter model leads to definite dependence of electromagnetic modes on the time variable. Relation of 3-vector complex approach to 10-dimensional Duffin-Kemmer-Petiau formalism is considered. On this base, the electromagnetic waves of magnetic and electric type have been constructed in both approaches. In Duffin-Kemmer-Petiau approach, there are constructed gradient-type solutions in Lorentz gauge.

O. V. Veko; N. D Vlasii; Yu. A. Sitenko; E. M. Ovsiyuk; V. M. Red'kov

2014-10-30T23:59:59.000Z

442

Electromagnetic Field in de Sitter Expanding Universe: Majorana--Oppenheimer Formalism, Exact Solutions in non-Static Coordinates  

E-Print Network [OSTI]

Tetrad-based generalized complex formalism by Majorana--Oppenheimer is applied to treat electromagnetic field in extending de Sitter Universe in on-static spherically-symmetric coordinates. With the help of Wigner D-functions, we separate angular dependence in the complex vector field E_{j}(t,r)+i B_{j}(t,r) from (t,r)-dependence. The separation parameter arising here instead of frequency \\omega in Minkowski space-time is quantized, non-static geometry of the de Sitter model leads to definite dependence of electromagnetic modes on the time variable. Relation of 3-vector complex approach to 10-dimensional Duffin-Kemmer-Petiau formalism is considered. On this base, the electromagnetic waves of magnetic and electric type have been constructed in both approaches. In Duffin-Kemmer-Petiau approach, there are constructed gradient-type solutions in Lorentz gauge.

Veko, O V; Sitenko, Yu A; Ovsiyuk, E M; Red'kov, V M

2014-01-01T23:59:59.000Z

443

Integration in the GHP formalism III: Finding all conformally flat radiation metrics as an example of an `optimal situation'  

E-Print Network [OSTI]

Held has proposed an integration procedure within the GHP formalism built around four real, functionally independent, zero-weighted scalars. He suggests that such a procedure would be particularly simple for the `optimal situation', when the formalism directly supplies the full quota of four scalars of this type; a spacetime without any Killing vectors would be such a situation. Wils has recently obtained a metric which he claims is the only conformally flat, pure radiation metric which is not a plane wave; this metric has been shown by Koutras to admit no Killing vectors, in general. Therefore, as a simple illustration of the GHP integration procedure, we obtain systematically the complete class of conformally flat, pure radiation metrics. Our result shows that the conformally flat, pure radiation metrics, which are not plane waves, are a larger class than Wils has obtained.

S. Brian Edgar; Garry Ludwig

1997-01-24T23:59:59.000Z

444

Rev August 2006 Radiation Safety Manual Section 14 Radioactive Waste  

E-Print Network [OSTI]

Rev August 2006 Radiation Safety Manual Section 14 ­ Radioactive Waste Page 14-1 Section 14 Radioactive Waste Contents A. Proper Collection, Disposal, and Packaging and Putrescible Animal Waste.........................14-8 a. Non-Radioactive Animal Waste

Wilcock, William

445

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

E-Print Network [OSTI]

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

Meyers, Steven D.

446

August 2004 Radiation Safety Manual Section 5 -Training  

E-Print Network [OSTI]

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

Wilcock, William

447

September 2013 Laboratory Safety Manual Section 2 -Chemical Management  

E-Print Network [OSTI]

. General Chemical Storage Guidelines ............................................2-9 a. Good Storage..............................................................2-13 d. Globally Harmonized System (GHS) Labels ..............2-13 F. TRANSPORTING CHEMICALSSeptember 2013 Laboratory Safety Manual Section 2 - Chemical Management Page 2-1 Section 2

Wilcock, William

448

SECTION 340 WRDA 1992, AS AMENDED ENVIRONMENTAL INFRASTRUCTURE  

E-Print Network [OSTI]

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

US Army Corps of Engineers

449

SECTION 340 WRDA 1992, AS AMENDED ENVIRONMENTAL INFRASTRUCTURE  

E-Print Network [OSTI]

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

US Army Corps of Engineers

450

Draft Report to Congress: Energy Policy Act of 2005, Section...  

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

Report to Congress: Energy Policy Act of 2005, Section 1813, Indian Land Rights-of-Way Study Draft Report to Congress: Energy Policy Act of 2005, Section 1813, Indian Land...

451

SECTION 340 WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA  

E-Print Network [OSTI]

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

US Army Corps of Engineers

452

SECTION 571 WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA  

E-Print Network [OSTI]

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

US Army Corps of Engineers

453

SECTION 340 WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA  

E-Print Network [OSTI]

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

US Army Corps of Engineers

454

SECTION 340 WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA  

E-Print Network [OSTI]

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

US Army Corps of Engineers

455

SECTION 340 WRDA 1992, AS AMENDED SOUTHERN WEST VIRGINIA  

E-Print Network [OSTI]

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

US Army Corps of Engineers

456

SECTION 571 WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA  

E-Print Network [OSTI]

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

US Army Corps of Engineers

457

SECTION 571 WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA  

E-Print Network [OSTI]

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

US Army Corps of Engineers

458

SECTION 571 WRDA 1999, AS AMENDED CENTRAL WEST VIRGINIA  

E-Print Network [OSTI]

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

US Army Corps of Engineers

459

SECTION 531 WRDA 1996, AS AMENDED SOUTHERN AND EASTERN KENTUCKY  

E-Print Network [OSTI]

SECTION 531 ­ WRDA 1996, AS AMENDED SOUTHERN AND EASTERN KENTUCKY MODEL AGREEMENT FOR DESIGN in southern and eastern Kentucky pursuant to Section 531 of the Water Resources Development Act of 1996

US Army Corps of Engineers

460

SECTION 531 WRDA 1996, AS AMENDED SOUTHERN AND EASTERN KENTUCKY  

E-Print Network [OSTI]

SECTION 531 ­ WRDA 1996, AS AMENDED SOUTHERN AND EASTERN KENTUCKY MODEL AGREEMENT FOR DESIGN and eastern Kentucky pursuant to Section 531 of the Water Resources Development Act of 1996, Public Law 104

US Army Corps of Engineers

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


461

SECTION 593 WRDA 1999, AS AMENDED CENTRAL NEW MEXICO  

E-Print Network [OSTI]

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

US Army Corps of Engineers

462

Section 10: Turbulence and reactive flows 1 Section 10: Turbulence and reactive flows  

E-Print Network [OSTI]

premixed combustion is recently a theme of interest in gas turbines and other industrial applications flames #12;2 Section 10: Turbulence and reactive flows for gas turbine application. In: International Gas combustion LES in- cluding thickened flame model A. Hosseinzadeh, A. Sadiki, J. Janicka (TU Darmstadt) Lean

Kohlenbach, Ulrich

463

Computer Sciences Technical Report #1051, September 1991, Revised September 1992 A Unified Formalization of Four SharedMemory Models  

E-Print Network [OSTI]

consistent special operations), the VAX memory model, and data­ race­free­0. The most intuitive and commonly, release consistency, the VAX, and data­race­free­0 are based on the common intuition that if programs, the VAX, and data­race­free­0 by formalizing the above intuition in a manner that retains the advantages

Adve, Sarita

464

SECTION 593 WRDA 1999, AS AMENDED CENTRAL NEW MEXICO  

E-Print Network [OSTI]

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

US Army Corps of Engineers

465

SECTION 593 WRDA 1999, AS AMENDED CENTRAL NEW MEXICO  

E-Print Network [OSTI]

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;

US Army Corps of Engineers

466

Council on Student Services (CSS) Section 1: The Chair  

E-Print Network [OSTI]

of their appointment. Section 3: Quorum and Voting 3.1. Quorum for any meeting shall be ten voting members of CouncilCouncil on Student Services (CSS) BYLAWS Section 1: The Chair 1.1. Members of Council shall faculty or staff member of Council to serve as Chair. Section 2: Term of Office 2.1. Student members

Boonstra, Rudy

467

NEED HELP? Call 1-HELP (847-491-4357) option 2 or consultant@northwestern.edu The page you are looking for has been replaced. Please see below for new materials.  

E-Print Network [OSTI]

NEED HELP? Call 1-HELP (847-491-4357) option 2 or consultant@northwestern.edu The page you Requisition iBuyNU Print PO and Invoice View or Print a PO or Invoice #12;NEED HELP? Call 1-HELP (847 that have been assigned by Shoppers to this Requester NEED HELP? Contact the Help Desk at 847-491-HELP (4357

Shull, Kenneth R.

468

The Establishment of a Formal Midwest Renewable Energy Tracking System (M-RETS) Organization  

SciTech Connect (OSTI)

The objectives identified in requesting and utilizing this funding has been met. The goal was to establish a formal, multi-jurisdictional organization to: (1) ensure the policy objectives of the participating jurisdictions are addressed through increased tradability of the Renewable Energy Credits (RECs) from M-RETS and to eliminate the possibility that a single jurisdiction will be the sole arbiter of the operation of the system; (2) facilitate the establishment of REC standards including the attributes related to, the creation, trading, and interaction with other trading and tracking systems; and (3) have a centralized and established organization that will be responsible for the contracting and governance responsibilities of a multi-jurisdictional tracking system. The M-RETS Inc. Board ensures that the system remains policy neutral; that the attributes of generation are tracked in a way that allows the system users to easily identify and trade relevant RECs; that the system can add jurisdictions as needed or desired; and that the tracking system operate in such a way to allow for the greatest access possible for those participating in other tracking or trading systems by allowing those systems to negotiate with a single M-RETS entity for the import and export of RECs. M-RETS as an organizational body participates and often leads the discussions related to the standardization of RECs and increasing the tradability of M-RETS RECs. M-RETS is a founding member of the Environmental Trading Network of North America (ETNNA) and continues to take a leadership role in the development of processes to facilitate trading among tracking systems and to standardize REC definitions. The Board of Directors of M-RETS, Inc., the non-profit corporation, continues to hold telephone/internet Board meetings. Legal counsel continues working with the board and APX management on a new agreement with APX. The board expects to have an agreement and corresponding fee structure in place by January 2011. The Board has recently approved exports to three other tracking systems and is in discussions about imports to the system. Below are the tasks outlined in the request and attached you will find the relevant documentation.

Maria Redmond; Chela Bordas O'Connor

2010-06-30T23:59:59.000Z

469

Section 8-1 8-4: Statistical Process Control (SPC) Section 8-5: SPC for Individual Measurements Section 8-6: Process Capacity Math/Stat 370: Engineering Statistics  

E-Print Network [OSTI]

Section 8-1 8-4: Statistical Process Control (SPC) Section 8-5: SPC for Individual Measurements-13 1 / 24 #12;Section 8-1 8-4: Statistical Process Control (SPC) Section 8-5: SPC for Individual: Engineering Statistics Week 12-13 2 / 24 #12;Section 8-1 8-4: Statistical Process Control (SPC) Section 8

Li, Haijun

470

METAL MEDIA FILTERS, AG-1 SECTION FI  

SciTech Connect (OSTI)

One application of metal media filters is in various nuclear air cleaning processes including applications for protecting workers, the public and the environment from hazardous and radioactive particles. To support this application the development of the ASME AG-1 FI Standard on Metal Media has been under way for more than ten years. Development of the proposed section has required resolving several difficult issues associated with operating conditions (media velocity, pressure drop, etc.), qualification testing, and quality acceptance testing. Performance characteristics of metal media are dramatically different than the glass fiber media with respect to parameters like differential pressures, operating temperatures, media strength, etc. These differences make existing data for a glass fiber media inadequate for qualifying a metal media filter for AG-1. In the past much work has been conducted on metal media filters at facilities such as Lawrence Livermore National Laboratory (LLNL) and Savannah River National Laboratory (SRNL) to qualify the media as High Efficiency Particulate Air (HEPA) Filters. Particle retention testing has been conducted at Oak Ridge Filter Test Facility and at Air Techniques International (ATI) to prove that the metal media meets or exceeds the 99.97% particle retention required for a HEPA Filter. Even with his testing, data was lacking to complete an AG-1 FI Standard on metal media. With funding secured by Mississippi State University (MSU) from National Nuclear Security Administration (NNSA), a research test stand is being designed and fabricated at MSU's Institute for Clean Energy Technology (ICET) Facility to obtain qualification data on metal media. This in turn will support required data needed for the FI Standard. The paper will discuss in detail how the test stand at MSU will obtain the necessary data to complete the FI Standard.

Adamson, D.

2012-05-23T23:59:59.000Z

471

Apparatus and methods for installing, removing and adjusting an inner turbine shell section relative to an outer turbine shell section  

DOE Patents [OSTI]

A turbine includes upper and lower inner shell sections mounting the nozzles and shrouds and which inner shell is supported by pins secured to a surrounding outer shell. To disassemble the turbine for access to the inner shell sections and rotor, an alignment fixture is secured to the lower outer shell section and has pins engaging the inner shell section. To disassemble the turbine, the inner shell weight is transferred to the lower outer shell section via the alignment fixture and cradle pins. Roller assemblies are inserted through access openings vacated by support pins to permit rotation of the lower inner shell section out of and into the lower outer shell section during disassembly and assembly. The alignment fixture includes adjusting rods for adjusting the inner shell axially, vertically, laterally and about a lateral axis. A roller over-cage is provided to rotate the inner shell and a dummy shell to facilitate assembly and disassembly in the field.

Leach, David (Niskayuna, NY); Bergendahl, Peter Allen (Scotia, NY); Waldo, Stuart Forrest (Salem, NC); Smith, Robert Leroy (Milford, OH); Phelps, Robert Kim (Milford, OH)

2001-01-01T23:59:59.000Z

472

An Examination of Cultural Values and Employees' Perceptions of Support on Affective Reaction and the Desire to Participate in a Formal Mentoring Program in an Oilfield Services Corporation  

E-Print Network [OSTI]

support), affective reaction (job satisfaction and organizational commitment), and the intent to participate in a formal mentoring program in an oilfield services organization. A 44-item electronic survey was utilized to collect data. The questionnaire...

Hayes, Hanna Bea

2012-07-16T23:59:59.000Z

473

Formal statement Research Review History and Culture (OGC) 2005-2011 The Executive Board of Utrecht University has discussed the report as prepared by the Review  

E-Print Network [OSTI]

Formal statement Research Review History and Culture (OGC) 2005-2011 The Executive Board of Utrecht within the general context of the financial constraints and of the overall research policies of Utrecht of the Executive Board. Utrecht, May 2013 #12;

Utrecht, Universiteit

474

An application of the Deutsch-Josza algorithm to formal languages and the word problem in groups  

E-Print Network [OSTI]

We adapt the Deutsch-Josza algorithm to the context of formal language theory. Specifically, we use the algorithm to distinguish between trivial and nontrivial words in groups given by finite presentations, under the promise that a word is of a certain type. This is done by extending the original algorithm to functions of arbitrary length binary output, with the introduction of a more general concept of parity. We provide examples in which properties of the algorithm allow to reduce the number of oracle queries with respect to the deterministic classical case. This has some consequences for the word problem in groups with a particular kind of presentation.

Michael Batty; Andrea Casaccino; Andrew J. Duncan; Sarah Rees; Simone Severini

2008-01-18T23:59:59.000Z

475

Section 3161 Rehiring Preference for Eligible Separated Employees  

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

of Section 3161 rehiring preference, if they are separated as a result of: (1) termination for cause; (2) voluntary separation from employment; (3) the normal completion of a...

476

Higgs Boson Fiducial Cross Sections and Differential Distributions  

E-Print Network [OSTI]

In this talk we present the fiducial cross-section measurements and the differential distributions of the Higgs boson, in the ZZ->4l and gamma gamma channels.

Gao, Yanyan; The ATLAS collaboration

2015-01-01T23:59:59.000Z

477

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

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

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

478

arbitrary cross section: Topics by E-print Network  

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

Astrophysics (arXiv) Summary: We review and analyze the available information for nuclear fusion cross sections that are most important for solar energy generation and...

479

arbitrary cross sections: Topics by E-print Network  

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

Astrophysics (arXiv) Summary: We review and analyze the available information for nuclear fusion cross sections that are most important for solar energy generation and...

480

Section E: Procedures Recruitment and Inquiries............................................................................................. E1  

E-Print Network [OSTI]

Section E: Procedures Recruitment and Inquiries............................................................................................. E1 Recruitment Responsibilities......................................................................................................E ..............................................................................................E1 Instructions for Searching and Adding Prospective Applicant Information to EMT Connect......E1

Hart, Gus

Note: This page contains sample records for the topic "formal consultation section" from the National Library of EnergyBeta (NLEBeta).
While these samples are representative of the content of NLEBeta,
they are not comprehensive nor are they the most current set.
We encourage you to perform a real-time search of NLEBeta
to obtain the most current and comprehensive results.


481

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

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

L Q Clearance (select one) Security Official (print) Signature Date SECTION III. Acknowledgement I acknowledge my collateral duty until canceled by an appropriate approving...

482

Positive Scattering Cross Sections using Constrained Least Squares  

SciTech Connect (OSTI)

A method which creates a positive Legendre expansion from truncated Legendre cross section libraries is presented. The cross section moments of order two and greater are modified by a constrained least squares algorithm, subject to the constraints that the zeroth and first moments remain constant, and that the standard discrete ordinate scattering matrix is positive. A method using the maximum entropy representation of the cross section which reduces the error of these modified moments is also presented. These methods are implemented in PARTISN, and numerical results from a transport calculation using highly anisotropic scattering cross sections with the exponential discontinuous spatial scheme is presented.

Dahl, J.A.; Ganapol, B.D.; Morel, J.E.

1999-09-27T23:59:59.000Z

483

Reflective Cracking Study: HVS Test Section Forensic Investigation  

E-Print Network [OSTI]

Study: HVS Test Section Forensic Investigation Authors: D.describes the results of the forensic investigation on thedata collected during this forensic investigation include:

Jones, David; Steven, B.; Harvey, John T

2008-01-01T23:59:59.000Z

484

Cross Sections for Inner-Shell Ionization by Electron Impact  

SciTech Connect (OSTI)

An analysis is presented of measured and calculated cross sections for inner-shell ionization by electron impact. We describe the essentials of classical and semiclassical models and of quantum approximations for computing ionization cross sections. The emphasis is on the recent formulation of the distorted-wave Born approximation by Bote and Salvat [Phys. Rev. A 77, 042701 (2008)] that has been used to generate an extensive database of cross sections for the ionization of the K shell and the L and M subshells of all elements from hydrogen to einsteinium (Z = 1 to Z = 99) by electrons and positrons with kinetic energies up to 1 GeV. We describe a systematic method for evaluating cross sections for emission of x rays and Auger electrons based on atomic transition probabilities from the Evaluated Atomic Data Library of Perkins et al. [Lawrence Livermore National Laboratory, UCRL-ID-50400, 1991]. We made an extensive comparison of measured K-shell, L-subshell, and M-subshell ionization cross sections and of L? x-ray production cross sections with the corresponding calculated cross sections. We identified elements for which there were at least three (for K shells) or two (for L and M subshells) mutually consistent sets of cross-section measurements and for which the cross sections varied with energy as expected by theory. The overall average root-mean-square deviation between the measured and calculated cross sections was 10.9% and the overall average deviation was ?2.5%. This degree of agreement between measured and calculated ionization and x-ray production cross sections was considered to be very satisfactory given the difficulties of these measurements.

Llovet, Xavier, E-mail: xavier@ccit.ub.edu [Centres Cientfics i Tecnolgics, Universitat de Barcelona, Llus Sol i Sabars 1-3, 08028 Barcelona (Spain)] [Centres Cientfics i Tecnolgics, Universitat de Barcelona, Llus Sol i Sabars 1-3, 08028 Barcelona (Spain); Powell, Cedric J. [Materials Measurement Science Division, National Institute of Standards and Technology, Gaithersburg, Maryland 20899-8370 (United States)] [Materials Measurement Science Division, National Institute of Standards and Technology, Gaithersburg, Maryland 20899-8370 (United States); Salvat, Francesc [Facultat de Fsica (ECM and ICC), Universitat de Barcelona, Diagonal 645, 08028 Barcelona (Spain)] [Facultat de Fsica (ECM and ICC), Universitat de Barcelona, Diagonal 645, 08028 Barcelona (Spain); Jablonski, Aleksander [Institute of Physical Chemistry, Polish Academy of Sciences, ul. Kasprzaka 44/52, 01-224 Warsaw (Poland)] [Institute of Physical Chemistry, Polish Academy of Sciences, ul. Kasprzaka 44/52, 01-224 Warsaw (Poland)

2014-03-15T23:59:59.000Z

485

The Solar-Interior Equation of State with the Path-Integral Formalism I. Domain of Validity  

E-Print Network [OSTI]

This is the first paper in a series that deals with solar-physics applications of the equation-of-state formalism based on the formulation of the so-called "Feynman-Kac (FK) representation". Here, the FK equation of state is presented and adapted for solar applications. Its domain of validity is assessed. The practical application to the Sun will be dealt with in Paper II. Paper III will extend the current FK formalism to a higher order. Use of the FK equation of state is limited to physical conditions for which more than 90% of helium is ionized. This incudes the inner region of the Sun out to about .98 of the solar radius. Despite this limitation, in the parts of the Sun where it is applicable, the FK equation of state has the power to be more accurate than the equations of state currently used in solar modeling. The FK approach is especially suited to study physical effects such as Coulomb screening, bound states, the onset of recombination of fully ionized species, as well as diffraction and exchange effects. The localizing power of helioseismology allows a test of the FK equation of state. Such a test will be beneficial both for better solar models and for tighter solar constraints of the equation of state.

Asher Perez; Katie Mussack; Werner Dappen; Dan Mao

2009-08-06T23:59:59.000Z

486

A Formal Explanation of Formal Explanation  

E-Print Network [OSTI]

perspectives on innovation and social change. Edited by D.perspectives on innovation and social change. Edited by D.

Read, Dwight W

2008-01-01T23:59:59.000Z

487

Formal Aspects of Computing Applicable Formal Methods  

E-Print Network [OSTI]

: Progress and challenges Murali Sitaraman, Bruce Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David by copyright and all rights are held exclusively by British Computer Society. This e-offprint is for personal Building a push-button RESOLVE verifier: progress and challenges Murali Sitaraman1 , Bruce Adcock2 , Jeremy

Weide, Bruce W.

488

E-Print Network 3.0 - anniversary cross section Sample Search...  

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

sections can also... material, usually a special copper or aluminium alloy (Fig. 7). The coil cross- section is usually between... tubular cross-sections. Fig 24: Modular...

489

Geologic Maps and Structures Name ______________________________ Geology 100 Harbor section  

E-Print Network [OSTI]

Geologic Maps and Structures Name ______________________________ Geology 100 Harbor section The objectives of this lab are for you to learn the basic geologic structures in 3-D and to develop some facility in interpreting the nature of geologic structures from geologic maps and geologic cross sections. A big part

Harbor, David

490

SOIL SURVEY OF PAYNE COUNTY, OKLAHOMA OSURR Section 17  

E-Print Network [OSTI]

66 26 76 26 26 26 SOIL SURVEY OF PAYNE COUNTY, OKLAHOMA OSURR Section 17 0 300 600 900 1,200150 Feet 0 100 20050 Meters Web Soil Survey 1.1 National Cooperative Soil Survey 5/7/2007 Page 1 of 3 #12;MAP INFORMATION SOIL SURVEY OF PAYNE COUNTY, OKLAHOMA OSURR Section 17 Source of Map: Natural Resources

Ghajar, Afshin J.

491

PRELIMINARY LES OVER A HYPERSONIC ELLIPTICAL CROSS-SECTION CONE  

E-Print Network [OSTI]

PRELIMINARY LES OVER A HYPERSONIC ELLIPTICAL CROSS-SECTION CONE M.P. MARTIN Mechanical. The characteristics of the hypersonic flow around an elliptical- cross section cone and the computational code of transitional and turbulent flows are not fully understood. This is especially true in the hypersonic regime

Martín, Pino

492

Analysis of cross sections using various nuclear potential  

SciTech Connect (OSTI)

The relevant astrophysical reaction rates which are derived from the reaction cross sections are necessary input to the reaction network. In this work, we analyse several theoretical models of the nuclear potential which give better prediction of the cross sections for some selected reactions.

Aziz, Azni Abdul [Department of Physics, University of Malaya, 50603 Kuala Lumpur (Malaysia); Kulliyah of Science, International Islamic University Malaysia, 25200 Kuantan (Malaysia); Quantum Science Center, Faculty of Science, University of Malaya, 50603 Kuala Lump (Malaysia); Kassim, Hasan Abu [Department of Physics, University of Malaya, 50603 Kuala Lumpur (Malaysia); Quantum Science Center, Faculty of Science, University of Malaya, 50603 Kuala Lumpur (Malaysia); Institute of Space Science, Universiti Kebangsaan Malaysia, 43600 Bangi, Se (Malaysia); Yusof, Norhasliza [Department of Physics, University of Malaya, 50603 Kuala Lumpur (Malaysia); Quantum Science Center, Faculty of Science, University of Malaya, 50603 Kuala Lumpur (Malaysia); Muhammad Zamrun, F. [Quantum Science Center, Faculty of Science, University of Malaya, 50603 Kuala Lumpur (Malaysia); Jurusan Fisika FMIPA, Universitas Haluoleo Kendari, Sulawesi Tenggara, J3232 (Indonesia)

2014-05-02T23:59:59.000Z

493

Neutron capture cross sections: from theory to experiments and back  

E-Print Network [OSTI]

The method for an experimental determination of the stellar enhancement factor for the cross section of the $^{151}$Sm$(n,\\gamma)$ reaction process is proposed. This study offered the pretext for an excursus on the interconnections between capture and dissociation reactions and the interplay between theory and experiments in the determination of neutron capture cross sections.

Alberto Mengoni

2005-01-31T23:59:59.000Z

494

September 2013 Laboratory Safety Manual Section 7 -Safety Training  

E-Print Network [OSTI]

September 2013 Laboratory Safety Manual Section 7 - Safety Training UW Environmental Health and Safety Page 7-1 Section 7 - Safety Training Contents A. SAFETY TRAINING REQUIREMENTS ......................................................7-1 B. EH&S SAFETY TRAINING AND RECORDS ..............................................7-1 C

Wilcock, William

495

Nuclear Science and Technology, November 2000. NEUTRON CROSS SECTION EVALUATIONS  

E-Print Network [OSTI]

Nuclear Science and Technology, November 2000. 1 NEUTRON CROSS SECTION EVALUATIONS FOR 238 U UP and Power Engineering, 249020 Obninsk, Russia A.Ventura ENEA, Nuclear Data Center and INFN, Bologna Section of the statistical description that includes direct, pre-equilibrium and equilibrium mechanisms of nuclear reactions

496

Section 2: Solar Energy Flux Variations H. S. Hudson  

E-Print Network [OSTI]

Section 2: Solar Energy Flux Variations H. S. Hudson Space Sciences Laboratory, University discuss this subject. We might also note for completeness the neutrino energy loss from the solar core of California, Berkeley The chapters in this section of the monograph deal with the basic raw material of solar

Hudson, Hugh

497

SECTION 593 WRDA 1999, AS AMENDED CENTRAL NEW MEXICO  

E-Print Network [OSTI]

SECTION 593 ­ WRDA 1999, AS AMENDED CENTRAL NEW MEXICO MODEL AGREEMENT FOR CONSTRUCTION ASSISTANCE to non-Federal interests in central New Mexico pursuant to Section 593 of the Water Resources Development of the Federal Water Pollution Control Act (33 U.S.C. 1341). #12;

US Army Corps of Engineers

498

SECTION 593 WRDA 1999, AS AMENDED CENTRAL NEW MEXICO  

E-Print Network [OSTI]

SECTION 593 ­ WRDA 1999, AS AMENDED CENTRAL NEW MEXICO MODEL AGREEMENT FOR DESIGN AND CONSTRUCTION environmental assistance to non-Federal interests in central New Mexico pursuant to Section 593 of the Water Pollution Control Act (33 U.S.C. 1341). Compliance with all applicable environmental laws and regulations

US Army Corps of Engineers

499

Investigation of distortional buckling of cold-formed steel sections  

E-Print Network [OSTI]

Investigation of distortional buckling of cold-formed steel sections Researcher: Chong Ren Supervisors: Dr Long-yuan Li Dr Jian Yang Aims and Objectives Thin-walled, cold-formed steel sections considered to be the most popular products and account for a substantial proportion of cold-formed steel

Birmingham, University of

500

ENROLLMENT PROCEDURES POST-PUBLICATION COURSE SECTION CANCELLATIONS  

E-Print Network [OSTI]

ENROLLMENT PROCEDURES POST-PUBLICATION COURSE SECTION CANCELLATIONS Cancel your sections online Classroom Procedures Post-Publication" document if you are requesting a GA Classroom. 3. Enter room at Curriculum Management > Schedule of Classes > Add Course Topics #12;ENROLLMENT PROCEDURES POST

Wisconsin at Madison, University of