ENDANGERED SPECIES ACT -SECTION 7 CONSULTATION BIOLOGICAL OPINION
knowledge of Native hunters and the Inupiat along Alaska's north slope, and other sources of information.S.C. 1531 et seq.]. Formal section 7 consultation with the MMS was initiated on March 2, 2001. This Opinion is based on information provided by the MMS in their Draft Environmental Impact Statement (DEIS
ENDANGERED SPECIES ACT: SECTION 7 CONSULTATION BIOLOGICAL OPINION
from the following information sources: · Request by BP Exploration (Alaska), Inc. (BPXA) for a LOA (USFWS), depending upon the protected species that may be affected. Formal consultations on most listed Division (NMFS PRl) requested formal consultation on regulations and subsequent Letter ofAuthorization (LOA
ACHP - Consultation with Indian Tribes in the Section 106 Review...
ACHP - Consultation with Indian Tribes in the Section 106 Review Process: a Handbook Jump to: navigation, search OpenEI Reference LibraryAdd to library PermittingRegulatory...
Endangered Species Act Section 7 Consultation Handbook | Open Energy
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP aCentrothermDepew, New York: EnergyMesaEmerging Energy ConsultantsEncorp LLC Jump to:
Sub-barrier Fusion Cross Sections with Energy Density Formalism
F. Muhammad Zamrun; K. Hagino; N. Takigawa
2006-06-07T23:59:59.000Z
We discuss the applicability of the energy density formalism (EDF) for heavy-ion fusion reactions at sub-barrier energies. For this purpose, we calculate the fusion excitation function and the fusion barrier distribution for the reactions of $^{16}$O with $^{154,}$$^{144}$Sm,$^{186}$W and $^{208}$Pb with the coupled-channels method. We also discuss the effect of saturation property on the fusion cross section for the reaction between two $^{64}$Ni nuclei, in connection to the so called steep fall-off phenomenon of fusion cross sections at deep sub-barrier energies.
Edwards, T.B.
2001-01-16T23:59:59.000Z
The purpose of this report is to provide software verification and validation (v and v) for the statistical packages utilized by the Statistical Consulting Section (SCS) of the Savannah River Technology Center (SRTC). The need for this v and v stems from the requirements of the Quality Assurance (QA) programs that are frequently applicable to the work conducted by SCS. This document is designed to comply with software QA requirements specified in the 1Q Manual Quality Assurance Procedure 20-1, Revision 6. Revision 1 of this QA plan adds JMP Version 4 to the family of (commercially-available) statistical tools utilized by SCS. JMP Version 3.2.2 is maintained as a support option due to features unique to this version of JMP that have not as yet been incorporated into Version 4. SCS documents that include JMP output should provide a clear indication of the version or versions of JMP that were used. The IBM Personal Computer 300PL and 300XL are both Pentium II based desktops. Therefore, th e software verification and validation in this report is valid interchangeably between both platforms. As new computing platforms, statistical packages, or revisions to existing packages are introduced into the Statistical Consulting Section, the appropriate problems from this report are to be re-evaluated, and this report is to be revised to address their verification and validation.
Edwards, T.B.
2000-03-22T23:59:59.000Z
The purpose of this report is to provide software verification and validation for the statistical packages used by the Statistical Consulting Section (SCS) of the Savannah River Technology Center. The need for this verification and validation stems from the requirements of the Quality Assurance programs that are frequently applicable to the work conducted by SCS. The IBM Personal Computer 300PL and 300XL are both Pentium II based desktops. Therefore the software verification and validation in this report is valid interchangeably between both platforms. As new computing platforms, statistical packages, or revisions to existing packages are reevaluated using these new tools, this report is to be revised to address their verification and validation.
Employment of Experts and Consultants
Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]
2006-11-06T23:59:59.000Z
To maintain a system of controls and oversight necessary for the DOE to assure compliance with 5, U.S.C. Section 3109, "Employment of Experts and Consultants, Temporary or Intermittent"; Title 5, Code of Federal Regulations, Part 304, "Expert and Consultant Appointments"; and all other relevant rules, regulations, and DOE directives. Cancels DOE O 3304.1A, Employment of Experts and Consultants, dated 6-23-92.
Endangered Species Consultation Handbook
Endangered Species Consultation Handbook Procedures for Conducting" " Consz~ltationand Conference Service March 1998 Final #12;FOREWORD It gives us great pleasure to introduce the final Section 7 Handbook Service employees. The Handbook provides internal guidance and establishes national policy for conducting
SECTION THIRTY SEVEN Consultants Section Thirty Seven Consultants, Inc.
Broader source: Energy.gov (indexed) [DOE]
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports to3,1,50022,3,,0,,6,1,Separation 23 362Transmission:portion5When purchasing plug-inreport describedMISSOURIAgriculturalSEBA-1K-1
SECTION THIRTY SEVEN Consultants Section Thirty Seven Consultants...
Broader source: Energy.gov (indexed) [DOE]
of Energy, DoE. ACTION: Request for information. (1) The development timelines for generation and attendant transmission are often not coordinated or run concurrently. Because of...
Broader source: Energy.gov [DOE]
Communications Consultant RFP, from the Tool Kit Framework: Small Town University Energy Program (STEP).
Technical Consultant Report Template
Broader source: Energy.gov [DOE]
Technical Consultant Report Template, from the Tool Kit Framework: Small Town University Energy Program (STEP).
Broader source: Energy.gov [DOE]
Evaluation Consultant RFP, from the Tool Kit Framework: Small Town University Energy Program (STEP).
Communication Consultant Contract
Broader source: Energy.gov [DOE]
Communication Consultant Contract, from the Tool Kit Framework: Small Town University Energy Program (STEP).
Broader source: Energy.gov [DOE]
Technical Consultant Contract, from the Tool Kit Framework: Small Town University Energy Program (STEP).
Selecting a Consulting Forester
Taylor, Eric; Foster, C. Darwin
2005-10-19T23:59:59.000Z
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...
Wellcome Trust CONSULTATION RESPONSE Ofqual: A level Reform Consultation
Rambaut, Andrew
Wellcome Trust CONSULTATION RESPONSE Ofqual: A level Reform Consultation September 2012 1 Ofqual: A Level Reform Consultation Response by the Wellcome Trust September 2012 Key Points National Subject to university. We are therefore pleased to respond to this consultation on reforming A levels. Our comments
ENERGY REVIEW Consultation Document
back from the key priorities we set out in the White Paper, notably on encouraging renewable energyENERGY 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
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), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirtA Journey Inside the Complex andFOUR Los Phase 1MillerYiMuseum DaySelects 20Honored forConsulting
Formal Object Oriented Analysis: The Practical Issues
Gibson, J. Paul
.5: The Practicalities of Building a Formal Model This section begins by listing a set of critreria which an analysis method (as opposed to set of models) must ful l. Then it de nes a skeleton method for building a formal, which analysts can rely on to help make di cult development decisions. Section 4.6: gure=FormAnal-Chp4
California Energy Commission CONSULTANT REPORT
roofs and the energy requirement for renovated lighting systems to meet the new 2013 energyCalifornia Energy Commission CONSULTANT REPORT IMPACT ANALYSIS California's 2013 Building Energy Efficiency Standards JULY 2013 CEC4002013008 CALIFORNIA ENERGY COMMISSION Edmund G. Brown Jr
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), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirtA Journey Inside the Presentationsjobs Running jobs QuickFP (04-95) Sections
Environmental Justice and Tribal Consultation Training
Broader source: Energy.gov [DOE]
Environmental Justice and Tribal Consultation Training“Developing Productive Government and Community Relations”
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), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirtA Journey Inside the Presentationsjobs Running jobs QuickFP (04-95) Sections II7/31/13Fixed2/01/12
Postgraduate Studies Business Analysis & Consulting
Strathclyde, University of
and Business Analysis 7 Core Unit 2: MS922 Quantitative Business Analysis 8 Core Unit 3: MS923 Managing: MS929 Performance Measurement and Management 11 Optional Unit 3: MS927 Risk Analysis and Management1 Postgraduate Studies Business Analysis & Consulting STUDENT HANDBOOK 2014-15 The information
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...
Gibson, J. Paul
- puter science in schools. Formal methods bridge the boundary between computing and mathematics of computer science as a discipline in its own right. We give concrete examples of the type of formal methods formal methods in schools? The current state of mathematics teaching around the world is causing prob
Necessity of integral formalism
Yong Tao
2011-10-06T23:59:59.000Z
To describe the physical reality, there are two ways of constructing the dynamical equation of field, differential formalism and integral formalism. The importance of this fact is firstly emphasized by Yang in case of gauge field [Phys. Rev. Lett. 33 (1974) 445], where the fact has given rise to a deeper understanding for Aharonov-Bohm phase and magnetic monopole [Phys. Rev. D. 12 (1975) 3845]. In this paper we shall point out that such a fact also holds in general wave function of matter, it may give rise to a deeper understanding for Berry phase. Most importantly, we shall prove a point that, for general wave function of matter, in the adiabatic limit, there is an intrinsic difference between its integral formalism and differential formalism. It is neglect of this difference that leads to an inconsistency of quantum adiabatic theorem pointed out by Marzlin and Sanders [Phys. Rev. Lett. 93 (2004) 160408]. It has been widely accepted that there is no physical difference of using differential operator or integral operator to construct the dynamical equation of field. Nevertheless, our study shows that the Schrodinger differential equation (i.e., differential formalism for wave function) shall lead to vanishing Berry phase and that the Schrodinger integral equation (i.e., integral formalism for wave function), in the adiabatic limit, can satisfactorily give the Berry phase. Therefore, we reach a conclusion: There are two ways of describing physical reality, differential formalism and integral formalism; but the integral formalism is a unique way of complete description.
Attachment 1: NPR-3 Section 106 Consulting Parties Advisory...
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
No. 3 Teapot Dome Class II Sampling University of Denver (D. Wells, C Carey, W Cough, Allan P. Olson); Archaeological Survey and the Wyoming Archaeological Survey,...
ST Consulting | Open Energy Information
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a gHigh4-FD-a < RAPIDâ€Ž | RoadmapSolarSABRE Gen Jump to: navigation,SPOK EMU Consult JumpSRTSSFST
Photon Consulting | Open Energy Information
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a gHigh PlainsOttawa, Ontario: Energy ResourcesPfleiderer Wind EnergyPhostech Lithium JumpConsulting
The Molecular Group (TMG) --Environmental, Engineering, Consulting
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
(225) 281-6191 www.themoleculargroup.com The Molecular Group (TMG) is a full service environmental, engineering and consulting firm. The TMG team consists of highly skilled...
Rambaut, Andrew
Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to Ofqual's GCSE reform consultation - August 2013 1 Ofqual: GCSE reform consultation Response by the Wellcome Trust August 2013 Key points and indirect practical assessment in its reform proposals. The total contribution of direct and indirect
DEPARTMENT OF FACILITIES MANAGEMENT PRIME CONSULTANT'S AGREEMENT
deYoung, Brad
for the construction and completion of the Project, or the approved Construction Cost Budget, whichever cost identified Consultant's Agreement (October 2013 Rev 2.2).doc PRIME CONSULTANT'S AGREEMENT INDEX 1. DEFINITIONS 2. PROJECT DESIGN STAFF 6. PROJECT MANAGEMENT/CONSTRUCTION MANAGEMENT 7. REIMBURSABLE EXPENSES 8. FEES 9
Thomas Van Dam Principal, Nichols Consulting Engineers
Thomas Van Dam Principal, Nichols Consulting Engineers Transportation Research Group TVanDam-cost, widespread availability, versatility, and hallmark longevity, hydraulic cement concrete (HCC) is the most in a variety of applications, including bridges, hydraulic structures, retaining walls, barriers, curbs
Relicensing: Adding an extra stage of consultation
Sullivan, M.G. (Montana Power Company, Butte, MT (United States))
1992-09-01T23:59:59.000Z
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.
Office Buildings: Developer's Requirements- Consultant's Solutions
Forster, P.; Arndt, J.
2008-01-01T23:59:59.000Z
Ein Kooperationsvortrag von Office Buildings: Developer?s Requirements ? Consultant?s Solutions Dipl.-Ing. (TU) Jens Arndt Vivico Real Estate GmbH, Frankfurt a. M., Germany Dipl.-Ing. (TU) Peter Forster Ebert-Ingenieure Berlin GmbH 8. Kongress f...?r Geb?ude- und Betriebsoptimierung - ICEBO?08 October 20/21/22 2008 ESL-IC-08-10-35a Proceedings of the Eighth International Conference for Enhanced Building Operations, Berlin, Germany, October 20-22, 2008 Seite 2 Dipl.-Ing (TU) Jens Arndt; Vivico...
CONSULTING FIELD PROJECTS -MARKETING Summer 2015
Snider, Barry B.
1 CONSULTING FIELD PROJECTS - MARKETING BUS 195(a) Summer 2015 Weekly team meetings: Monday problems, assessing client marketing challenges and opportunities and generally adding value to the client's marketing operations. The course culminates in a final client presentation before the semester ends
European Commission stakeholder consultation on seabed mining
Jones, Peter JS
European Commission stakeholder consultation on seabed mining Fields marked with * are mandatory university other Where are you based?* Austria Belgium Bulgaria Croatia Cyprus Czech Republic Denmark Estonia. As such there is no intrinsic commercial interest in seabed mining from a NOC Association perspective, the community has
Department for Education: Secondary School Accountability Consultation
Rambaut, Andrew
aspects of schools' performance cannot easily be measured but are nevertheless important. School1 Department for Education: Secondary School Accountability Consultation Response by the Wellcome for schools. We have embarked on a programme of work to help improve school governance details can be found
The Right-Price Consultants Julie Swann
Swann, Julie L.
The Right-Price Consultants Julie Swann October 2002 To appear in Cases in Revenue Management Eds, a number of industries have turned towards innovative pricing strategies such as revenue management or dynamic pricing to manage their inventory effectively. Firms are employing such varied tools as dynamic
National Strategy for the Arctic Tribal Consultation Session...
Tribal Consultation Session: Fairbanks National Strategy for the Arctic Tribal Consultation Session: Fairbanks February 19, 2015 9:30AM to 10:30AM AKST Fairbanks, Alaska BLM...
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).
Beck, Andrew Edward
2011-01-01T23:59:59.000Z
4 Formality and Programming Languages . . . . 4.1 Hardwarebetween programming languages, programming, and computers is1969] Sammet, J. (1969). Programming Languages: History and
Mycle Schneider Consulting Independent Analysis on Energy and Nuclear Policy
Laughlin, Robert B.
Mycle Schneider Consulting Independent Analysis on Energy and Nuclear Policy 45, allée des deux Mycle Schneider International Consultant on Energy and Nuclear Policy Paris, May 2009 This research the Author Mycle Schneider works as independent international energy nuclear policy consultant. Between 1983
Consulting Day Report 2008 Center for Nonprofit Strategy and Management
Rosen, Jay
consultants completed the survey. #12;Center for Nonprofit Strategy and Management Baruch College School Strategy and Management. Similar to previous years, the survey responses showed once again that ConsultingConsulting Day Report 2008 Center for Nonprofit Strategy and Management School of Public affairs
Emerging Energy Consultants | Open Energy Information
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP aCentrothermDepew, New York: EnergyMesaEmerging Energy Consultants Jump to: navigation, search Name:
Hanford TDR Consulting Employers Unions Agreements
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), 2002; Level:5 TablesExports(Journal Article)41clothThe Bonneville Power AdministrationHawaiiEnergyFloridaOutlookOctober 201010 Revision 0 HanfordTDR Consulting Employers
SPOK EMU Consult | Open Energy Information
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a gHigh4-FD-a < RAPIDâ€Ž | RoadmapSolarSABRE Gen Jump to: navigation,SPOK EMU Consult Jump to:
Sinton Consulting Inc | Open Energy Information
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a gHigh4-FD-a < RAPIDâ€Ž | RoadmapSolarSABRESinton Consulting Inc Jump to: navigation, search Name:
Carbon Market Brasil Consulting | Open Energy Information
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a gHigh4-FD-aBeijingCalifornia/Incentives <Carbon Market Brasil Consulting Jump to: navigation,
P Consult Bratislava | Open Energy Information
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a gHigh PlainsOttawa, Ontario: Energy Resources Jump to: navigation, searchOvonicOxfordP Consult
1 Advisory, Consultative, Deliberative, Draft SANDIA REPORT
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), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirtA Journey InsideMicroBooNE LArTPCTypicalTeen'sNuclear watchmen July 19,Advisory, Consultative,
Nuclear DVCS within the high energy QCD color dipole formalism
M. V. T. Machado
2009-05-27T23:59:59.000Z
In this contribution, we present a study of the coherent and incoherent nuclear DVCS process in the small-$x$ regime within the color dipole formalism. Predictions for the nuclear DVCS cross section at photon level in the collider kinematics are presented.
or customer-sited renewables Includes non-renewable alternative resources Minimum solar or customer Consulting, Inc. . Can IOU Demand Response Programs Facilitate Integration of Wind and Solar Energy Needed Renewables portfolio standard Renewables portfolio goal Solar water heating eligible * Extra credit for solar
The Role of the Consultant in Marketing Industrial Heat Pumps
Gilbert, J. S.; Niess, R. C.
THE ROLE OF THE CONSULTANT IN MARKETING INDUSTRIAL HEAT PUMPS Joel S. Gilbert & Richard C. Niess Dames & Moore, Bethesda, Maryland ABSTRACT This paper explores the role that a consultant can play in the acceptance of applied heat pumps... and manufacturer and utility relations. This paper offers suggestions for those who may want to gain or enhance their reputations as consultants in this market. INTRODUCTION For the purpose of this paper, the industrial heat pump is defined as a heat recovery...
ACHP's Recommended Approach for Consultation on Recovery of Significan...
Archaeological Sites Jump to: navigation, search OpenEI Reference LibraryAdd to library Web Site: ACHP's Recommended Approach for Consultation on Recovery of Significant...
Executive Order 13175: Consultation and Coordination with Indian...
Office of Environmental Management (EM)
7249 Federal Register Vol. 65, No. 218 Thursday, November 9, 2000 Title 3- The President Executive Order 13175 of November 6, 2000 Consultation and Coordination With Indian Tribal...
Building Reliable Software Applied Formal Methods
Zimmerman, Daniel M.
Institute of Technology University of Washington Tacoma #12;Outline · Applied Formal Methods · Correctness
Formal Requirements Engineering: Learning from the students
Gibson, J. Paul
Formal Requirements Engineering: Learning from the students J. Paul Gibson, Department of Computer engineering using formal methods, where we advo- cate a multiple methods approach in which students get requirements engineering rather than become experts in one particular (formal) method. The need for formality
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
30 J-12-1 ATTACHMENT J-12 GOVERNMENT FURNISHED SERVICES AND INFORMATION TABLE J-12.1 GFSI LIST FROM SECTION C (SOW) ID GFSI GFSI Due Contract Section GF0001 DOE will administer...
Draft Minutes _ 5 February 2013 LIBRARY STAFF CONSULTATIVE COMMITTEE
THE AUSTRALIAN NATIONAL UNIVERSITY DRAFT MINUTES A meeting of the Library Staff Consultative Committee was held of excellence in research and education and the University's role as a national policy resource. The planDraft Minutes _ 5 February 2013 LIBRARY STAFF CONSULTATIVE COMMITTEE DIVISION OF INFORMATION
Consultation response: UK Research Integrity Office: Code of Practice for
Rambaut, Andrew
innovative biomedical research, in the UK and internationally, spending over £600 million each year, funders and Research Organisations (RO's) to work together to develop one set of standards that appliesConsultation response: UK Research Integrity Office: Code of Practice for Research Consultation
AT&TSecurity Consulting Information Assurance Federal Information Security
Fisher, Kathleen
AT&TSecurity Consulting Information Assurance Federal Information Security Management Act (FISMA requirements under the Federal Information Security Management Act of 2002, of general support systems the security controls for the information system. The AT&T Consulting methodology is based on National
A Multilingual Usage Consultation Tool Based on Internet Searching
Nakagawa, Hiroshi
present a usage consultation tool, based on Internet searching, for language learners. When a user enters terms in dictionar- ies. Another way to search for information on usage is to use the KWIC (Key WordA Multilingual Usage Consultation Tool Based on Internet Searching -More than a search engine, less
Rambaut, Andrew
Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to Consultation on proposals Fertilisation and Embryology Authority and the Human Tissue Authority Response by the Wellcome Trust September. We do not regard this option as maintaining the status quo, but as a positive step towards regulatory
Rambaut, Andrew
Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to WHO consultation on global action on antimicrobial resistance Response by the Wellcome Trust September 2014 Key Points · Antimicrobial resistance Assembly resolution on AMR in 1998, there has been little concerted progress there must be a step change
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
- E8 - Electrical load list panel schedules - E9 - Details sections - EC - 480V motor control center schedules - Setroute report identifying released cables and raceway WTP...
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
124 B-i PART I - THE SCHEDULE SECTION B - SUPPLIES OR SERVICES AND PRICESCOSTS TABLE OF CONTENTS B.1 TYPE OF CONTRACT - ITEMS BEING ACQUIRED ......
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
121 B-i PART I - THE SCHEDULE SECTION B - SUPPLIES OR SERVICES AND PRICESCOSTS TABLE OF CONTENTS B.1 TYPE OF CONTRACT - ITEMS BEING ACQUIRED ......
Formal Models for Embedded Commissioning
Turkaslan-Bulbul, M. T.; Akin, O.
2005-01-01T23:59:59.000Z
. Garrett, Jr. J.H. Akinci, B. Wang H. (2004) “Embedded Commissioning for Building Design”, Proceedings of European Conference on Product and Process Modeling in the Building and Construction Industry, Istanbul, Turkey. Turkaslan-Bulbul, M.T. Akin, O...Formal Models for Embedded Commissioning M. Tanyel Türkaslan-Bülbül, Ömer Ak?n School of Architecture, Carnegie Mellon University 1. Why Modeling? Building product models play a significant role for capturing the domain knowledge...
Verifica Formale Generazione Automatica di Test
Robbiano, Lorenzo
Verifica Formale Testing Generazione Automatica di Test Analisi Sperimentale Conclusioni Generazione Automatica di Test per Analisi di Copertura di Software Safety Critical utilizzando Bounded Model maggio 2011 M.Narizzano #12;Verifica Formale Testing Generazione Automatica di Test Analisi Sperimentale
National Strategy for the Arctic Region Tribal Consultation Session...
Arctic Region Tribal Consultation Session: Dutch HarborUnalaska February 27, 2015 10:00AM to 12:00PM EST Unalaska, Alaska Unalaska Public Library 64 Eleanor Dr. Unalaska, AK 99685...
Ms. Judy Clayton, Chair Paducah Citizens Advisory Board EHI Consultant...
Office of Environmental Management (EM)
0 Ms. Judy Clayton, Chair Paducah Citizens Advisory Board EHI Consultants, Inc. 1 1 1 Memorial Drive Paducah, Kentucky 4200 1 Dear Ms. Clayton: Thank you for your recent letter...
Formal Concept Analysis in Geology 1 7 Formal Concept Analysis in Geology
Belohlavek, Radim
Formal Concept Analysis in Geology 1 7 Formal Concept Analysis in Geology: Attribute Tables-attribute knowledge is vague (fuzzy), which is typical of sciences like geology, biology etc. Basically, formal of fuzzy data and its possible applications in geological and related sciences. The presen- #12;Formal
Streamlining ESA Section 7 Consultations: Bedell Street Bridge Project, Del Rio, Texas
Arnold, Allison; Rumancik, Clarence; Kucera, Charlotte
2007-01-01T23:59:59.000Z
Affairs Division of the Texas Department of Transportationto the 2005 transportation bill, Texas and four other statesAdministration and the Texas Department of Transportation (
ACHP - Consultation with Indian Tribes in the Section 106 Review Process: a
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a gHigh4-FD-a < RAPIDâ€Žcommunication facilities |AAON Jump to: navigation, searchABO
Survey of Existing Tools for Formal Verification.
Punnoose, Ratish J.; Armstrong, Robert C.; Wong, Matthew H.; Jackson, Mayo
2014-12-01T23:59:59.000Z
Formal methods have come into wide use because of their effectiveness in verifying %22safety and security%22 requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.
AMBA-ARM7 Formal Verification Platform
Susanto, K.W.
Susanto,K.W. Melham,T.F. To appear at the 5th International Conference on Formal Engineering Methods 2003. pp 20 Springer Verlag
Mechanical formalism for tissue dynamics
Sham Tlili; Cyprien Gay; Francois Graner; Philippe Marcq; François Molino; Pierre Saramito
2014-12-23T23:59:59.000Z
The understanding of morphogenesis in living organisms has been renewed by tremendous progress in experimental techniques that provide access to cell-scale, quantitative information both on the shapes of cells within tissues and on the genes being expressed. This information suggests that our understanding of the respective contributions of gene expression and mechanics, and of their crucial entanglement, will soon leap forward. Biomechanics increasingly benefits from models, which assist the design and interpretation of experiments, point out the main ingredients and assumptions, and ultimately lead to predictions. The newly accessible local information thus calls for a reflection on how to select suitable classes of mechanical models. We review both mechanical ingredients suggested by the current knowledge of tissue behaviour, and modelling methods that can help generate a rheological diagram or a constitutive equation. We distinguish cell scale ("intra-cell") and tissue scale ("inter-cell") contributions. We recall the mathematical framework developped for continuum materials and explain how to transform a constitutive equation into a set of partial differential equations amenable to numerical resolution. We show that when plastic behaviour is relevant, the dissipation function formalism appears appropriate to generate constitutive equations; its variational nature facilitates numerical implementation, and we discuss adaptations needed in the case of large deformations. The present article gathers theoretical methods that can readily enhance the significance of the data to be extracted from recent or future high throughput biomechanical experiments.
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 DeliciousPlasma |Efficiency Â» Search resultsTechnology Â» Search1 Â»Programthe USM-1 Section J Appendix M Key Design,
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 DeliciousPlasma |Efficiency Â» Search resultsTechnology Â» Search1 Â»Programthe USM-1 Section J Appendix M KeyIVV QA:QA
Formal Semantics for Interacting UML subsystems
Jurjens, Jan
of system design expensive, so not used. Jan J¨urjens, TU Munich: Formal Semantics for Interacting UML, substates, internal activities. Here: simplified. Jan J¨urjens, TU Munich: Formal Semantics for Interacting-to-completion step). Statechart D defines interactive ASM D SC . Build on ASM semantics for UML statecharts in B
Time Fractional Formalism: Classical and Quantum Phenomena
Hosein Nasrolahpour
2012-03-18T23:59:59.000Z
In this review, we present some fundamental classical and quantum phenomena in view of time fractional formalism. Time fractional formalism is a very useful tool in describing systems with memory and delay. We hope that this study can provide a deeper understanding of the physical interpretations of fractional derivative.
Formally Analyzing Adaptive Flight Control Ashish Tiwari
Tiwari, Ashish
tiwari@csl.sri.com Abstract. We formally verify a direct model-reference adaptive control (MRAC) method adaptive flight control. The main source of our model is [8] and [1]. The high-level architectureFormally Analyzing Adaptive Flight Control Ashish Tiwari SRI International Menlo Park, CA 94025
Formal Specification of Operating System Operations
Black, Paul E.
Formal Specification of Operating System Operations Dan Zhou Department of Computer Science.black@nist.gov This paper describes the development of a formal specification for a secure operating system architecture operations. We also provide a uniform environment for system commands that change the security state
Monitor-Based Formal Specification of PCI
Dill, David L.
111 Monitor-Based Formal Specification of PCI Monitor-Based Formal Specification of PCI Kanna ContributionsContributions zWith our methodology, zProtocols are more easily specified PCI protocol specified zGood debugging strategies PCI Protocol Bugs Discovered #12;444 Copyright by Kanna Shimizu 2002777 Methodology
Leucascandrolide A: A Second Generation Formal Synthesis
Williams, David R.
Leucascandrolide A: A Second Generation Formal Synthesis David R. Williams,* Samarjit Patnaik, Indiana 47405-7102 williamd@indiana.edu Received October 23, 2003 ABSTRACT A convergent, second generation formal synthesis of (+)-Leucascandrolide A (1) has been efficiently achieved by providing a flexible
Functional Arabic Morphology Formal System and Implementation
Cerveny, Vlastislav
from the open-source Buckwalter lexicon and is enhanced with information sourcing from the syntacticFunctional Arabic Morphology Formal System and Implementation Otakar Smrz Doctoral Thesis Prague 2007 INSTITUTE OF FORMAL AND APPLIED LINGUISTICS FACULTY OF MATHEMATICS AND PHYSICS CHARLES UNIVERSITY
Collapse in Formal Argumentation Systems Martin Caminada
Utrecht, Universiteit
-fields such as nonmonotonic reasoning, inconsistency-tolerant reasoning, multiple-source information systems, natural languageCollapse in Formal Argumentation Systems Martin Caminada Utrecht University Abstract Over the last decennia, many systems for formal argumentation have been defined. The problem, however
Formal Specification and Verification of Concurrent
Berry, Daniel M.
Formal Specification and Verification of Concurrent ProgramsCurriculum Module SEI-CM-27-1.0 #12;Formal Specification and Verification of Concurrent Programs SEI Curriculum Module SEI-CM-27-1.0 February 1993 Daniel M. Berry Technion and Software Engineering Institute Software Engineering Institute
Multiverse in the Third Quantized Formalism
Faizal, Mir
2014-01-01T23:59:59.000Z
In this paper we will analyze the third quantization of gravity in path integral formalism. We will use the time-dependent version of Wheeler-DeWitt equation to analyze the multiverse in this formalism. We will propose a mechanism for baryogenesis to occurs in the multiverse, without violating the baryon number conservation.
Multiverse in the Third Quantized Formalism
Mir Faizal
2014-07-16T23:59:59.000Z
In this paper we will analyze the third quantization of gravity in path integral formalism. We will use the time-dependent version of Wheeler-DeWitt equation to analyze the multiverse in this formalism. We will propose a mechanism for baryogenesis to occurs in the multiverse, without violating the baryon number conservation.
The University of Oklahoma Independent Contractor or Consultant Guidelines
Oklahoma, University of
The University of Oklahoma Independent Contractor or Consultant Guidelines Purpose .................................................................................. 7 #12;University of Oklahoma Independent Contractor Guidelines - (Revised 11/2012) pg. 2 Purpose) for the University of Oklahoma and is the result of collaboration between Human Resources and Financial Services
The Role of the Consultant in Marketing Industrial Heat Pumps
Gilbert, J. S.; Niess, R. C.
1987-01-01T23:59:59.000Z
This paper explores the role that a consultant can play in the acceptance of applied heat pumps by industry (the key word is "industry"). Unfortunately, there are very few engineers in practice today with expertise in this specialized area of energy...
OnLocation, Inc., Energy Systems Consulting Hydrogen Scenarios
Delivery Analysis Meeting by Frances Wood OnLocation, Inc. Energy Systems Consulting May 9, 2007 #12;On simulates energy production, consumption, and conversion sectors including hydrogen. D e m a n d C o m p o Activity Module Macroeconomic Activity Module Oil and Gas Supply Module Nat. Gas T&D Module Renewable Fuels
CONSULTATION RESPONSE Wellcome Trust response to RCUK Large Facilities Roadmap
Rambaut, Andrew
CONSULTATION RESPONSE Wellcome Trust response to RCUK Large Facilities Roadmap December 2007 Page 1 of 4 RCUK Large Facilities Roadmap Response by the Wellcome Trust December 2007 1. The Wellcome Trust is pleased to have the opportunity to feed into the process of prioritising the RCUK Large Facilities Roadmap
National Strategy for the Arctic Region Tribal Consultation Session: Bethel
Broader source: Energy.gov [DOE]
The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.
National Strategy for the Arctic Region Tribal Consultation Session: Nome
Broader source: Energy.gov [DOE]
The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.
National Strategy for the Arctic Tribal Consultation Session: Fairbanks
Broader source: Energy.gov [DOE]
The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.
National Strategy for the Arctic Region Tribal Consultation Session: Barrow
Broader source: Energy.gov [DOE]
The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.
Department of Health consultation: `Legislation to encourage medical innovation'
Rambaut, Andrew
1 Department of Health consultation: `Legislation to encourage medical innovation' Response from · We support the broad aim of the Bill in ensuring that patients have access to innovative, safe are currently being deterred from medical innovation due to fear of litigation, which is the main premise
CONSULTANT REPORT The National Center for a Clean Energy
a clean energy economy rooted in a skilled workforce with broad access to good green jobs, which focusCONSULTANT REPORT The National Center for a Clean Energy Workforce: A Scoping Study FEBRUARY 2011 CEC-500-2011-027 Prepared for: California Energy Commission Prepared by: The Regents of the University
Formal Aspects of Computing (1995) 7(E): 30--65 fl 1995 BCS Formal Aspects
Smith, Graeme
1995-01-01T23:59:59.000Z
Formal Aspects of Computing (1995) 7(E): 30--65 c fl 1995 BCS Formal Aspects of Computing A Fully of existing specification lan guages have been extended to incorporate objectoriented concepts [DKR91b, SBC, however, is only possible once a formal semantics of the incorporated objectoriented features has been
Formalisms for IT Management Process Representation
, 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
A Formal Model of Auditor Independence Risk
Turner, Jerry L.; Mock, Theodore J.; Srivastava, Rajendra P.
2002-01-01T23:59:59.000Z
Although the published literature on auditor independence is extensive, an accepted comprehensive theory, framework or model of auditor independence risk does not exist. This paper develops a formal model of auditor ...
NASA/TM2009215726 Formally Verified Practical
Butler, Ricky W.
Hanover, MD 210761320 #12;NASA/TM2009215726 Formally Verified Practical Algorithms For Recovery From) National Technical Information Service (NTIS) 7115 Standard Drive 5285 Port Royal Road Hanover, MD 21076
A Process Modelling Framework for Formal Validation of Panama Canal System Operations
Austin, Mark
1 A Process Modelling Framework for Formal Validation of Panama Canal System Operations John) and will even provide for continued operations while sections of the canal system are undergoing maintenance. Design for automation in large-scale system operations is challenging because in addition to making sure
Energy Secretary Moniz and Nevada Governor Sandoval Formalize...
Office of Environmental Management (EM)
and Nevada Governor Sandoval Formalize Working Group to Advance Shared Interests at Nevada National Security Site Energy Secretary Moniz and Nevada Governor Sandoval Formalize...
Aerts, Diederik
of Science", Foundations of Science, 4, 1-2. Editorial: Formal and Informal Representations of Science in alternative formats. In the 'Informal Aspects of Foundations of Science' section we present two examplesPublished as: Aerts, D., Broekaert, J. and Gabora, L., 1999, "Formal and Informal Representations
Green Capital Consulting Company GCCC | Open Energy Information
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a g eWorks -09-0018-CX Jump to:DasaValleyEnergy InformationGranvilleBiotechCapital Consulting
ART ICULO Toward Formalizing NonMonotonic Reasoning in
Kreinovich, Vladik
, however, have di#culty formalizing, e.g., the standard physicists' argument that a kettle on a cold stove formalism that can formalize this type of reasoning. This formalism also explains ``physical induction'' (if, a cold kettle placed on a cold stove will never start boil ing by itself. However, from the traditional
Formal Methods and Cryptography Michael Backes1
Backes, Michael
Formal Methods and Cryptography Michael Backes1 , Birgit Pfitzmann2 , and Michael Waidner3 1 Saarland University, SaarbrÂ¨ucken, Germany, backes@cs.uni-sb.de 2 IBM Research, Rueschlikon, Switzerland methods for distributed systems have a notion of secure channels as a basic communication mechanism
Formal Transformations and WSL Martin Ward
Singer, Jeremy
Formal Transformations and WSL Part Two Martin Ward STRL Senior Research Fellow Royal Society of Transformations #12;Types of Transformations A Syntactic Transformation changes the syntax of the program but preserves the exact sequence of operations carried out by the program. Many restructuring transformations
NASA/TM2009215726 Formally Verified Practical
Muñoz, César A.
NASA/TM2009215726 Formally Verified Practical Algorithms For Recovery From Loss of Separation of Aerospace, Hampton, Virginia June 2009 #12;The NASA STI Program Office . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientific
Modelling Lexical Databases with Formal Concept Analysis
Priss, Uta
. The primary lexical database used in this paper is Roget's International Thesaurus [Roget 1962 and formal ontologies. We are using the following relational database versions of Roget's Thesaurus: RIT11: a relational database version of Roget's Thesaurus [Roget 1911] which was compiled by the second author based
Conservation-dissipation formalism of irreversible thermodynamics
Yi Zhu; Liu Hong; Zaibao Yang; Wen-An Yong
2014-07-21T23:59:59.000Z
We propose a conservation-dissipation formalism (CDF) for coarse-grained descriptions of irreversible processes. This formalism is based on a stability criterion for non-equilibrium thermodynamics. The criterion ensures that non-equilibrium states tend to equilibrium in long time. As a systematic methodology, CDF provides a feasible procedure in choosing non-equilibrium state variables and determining their evolution equations. The equations derived in CDF have a unified elegant form. They are globally hyperbolic, allow a convenient definition of weak solutions, and are amenable to existing numerics. More importantly, CDF is a genuinely nonlinear formalism and works for systems far away from equilibrium. With this formalism, we formulate novel thermodynamics theories for heat conduction in rigid bodies and non-isothermal compressible Maxwell fluid flows as two typical examples. In these examples, the non-equilibrium variables are exactly the conjugate variables of the heat fluxes or stress tensors. The new theory generalizes Cattaneo's law or Maxwell's law in a regularized and nonlinear fashion.
Washington State University -Vancouver Formal Minor
in an Information Society COMJOUR 360: Writing For Television COM 105 [HUM]: Communication in Global Contexts Technologies COMSOC 421 [DIVR, T]: Intercultural Com & Globalization COM 440: Media Ethics COMSOC 476. _______________________________________________________________________ _______________________ Student Signature Date Formal Minor Communications; 3/3/15 The minor in Communication requires a minimum
New formalism for QCD parton showers
Stefan Gieseke; Philip Stephens; Bryan Webber
2003-10-09T23:59:59.000Z
We present a new formalism for parton shower simulation of QCD jets, which incorporates the following features: invariance under boosts along jet axes, improved treatment of heavy quark fragmentation, angular-ordered evolution with soft gluon coherence, more accurate soft gluon angular distributions, and better coverage of phase space. It is implemented in the new HERWIG++ event generator.
A Rough Logic Formalism for Fuzzy Controllers
Lin, Tsau Young
logic. 1. Introduction In complex systems, such as power systems, control subsystems are the most of transformations of mathematical models. It starts with a symbolic model that describes the control system in termsA Rough Logic Formalism for Fuzzy Controllers: A Hard and Soft Computing View T.Y. Lin Department
Formal Verification of Hybrid Systems Rajeev Alur
Alur, Rajeev
-1-4503-0714-7/11/10 ...$5.00. mathematical model for design of embedded control systems is hybrid systems that combines for dynamical systems. Such models can capture both the controller -- the system under design, and the plant@cis.upenn.edu ABSTRACT In formal verification, a designer first constructs a model, with mathematically precise semantics
Teaching Formal Methods: Lessons to learn
Gibson, J. Paul
methods in software engineering? Communication Implementation Problem System (Program) Mathematics-Les-Nancy, France Abstract. Formal methods should be taught as part of any degree in computing science or soft- ware engineering. We believe that discrete mathematics is the foundation upon which software development can
2013, . 28, . 1?? IS LANGRANGIAN FORMALISM ADEQUATELY
Kreinovich, Vladik
2013, . 28, . 1?? 000.000 IS LANGRANGIAN FORMALISM ADEQUATELY DESCRIBING ENERGY CONSERVATION? V. Kreinovich, O. Kosheleva In most physical theories, total energy is conserved. For example, when the kinetic energy of a particle decreases, the potential energy increases accord- ingly. For some physical
Formalizing Information Security Knowledge Stefan Fenz
Formalizing Information Security Knowledge Stefan Fenz Vienna University of Technology Vienna ontology which provides an on- tological structure for information security domain knowl- edge. Besides of the considered organization is incorporated. An evaluation conducted by an information security expert team has
Formale Sprachen Wintersemester 2005/2006
Vollmer, Heribert
Menge aller ersten HÂ¨alften von WÂ¨ortern aus L ist. Zeigen Sie, dass fÂ¨ur jede regulÂ¨are Sprache L auch in einen Endzustand gelangt. Beweis von (1) durch Induktion Â¨uber die LÂ¨ange von w: Â· IA: |w| = 0, d.h wFormale Sprachen Wintersemester 2005/2006 Theoretische Informatik UniversitÂ¨at Hannover LÂ¨osung von
UWM Research Planning Report Kohls Group Consulting2 Table of Contents Page
Saldin, Dilano
Â· Â· #12;UWM Research Planning Report Kohls Group Consulting2 Table of Contents Page Executive for development of an implementation plan. These recommendations are the work products of eight subcommittees. The subcommittees met from #12;UWM Research Planning Report Kohls Group Consulting3 January to April 2011. Each
Rambaut, Andrew
WELLCOME TRUST CONSULTATION RESPONSE Wellcome Trust response to the Reform of the National Curriculum in England April 2013 1 Department for Education: Reform of the National Curriculum in England CONSULTATION RESPONSE Wellcome Trust response to the Reform of the National Curriculum in England April 2013 2
Rambaut, Andrew
's reformed GCSE subject content consultation - August 2013 Department for Education: Reformed GCSE subject's reformed GCSE subject content consultation. The proposed changes to science qualifications promote reform and have enclosed a copy for information. 1 ` Direct assessment' is based on the direct assessment
IU China Office Manager IU International Consulting and ResearchChina, LLC
Indiana University
IU China Office Manager IU International Consulting and ResearchChina, 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
MAT 750: Statistical Consulting Professor Hyune-Ju Kim 304E Carnegie
McConnell, Terry
and B. Ripley, Springer Applied Statistics and the SAS programming Language, 5th edition, R. Cody and JMAT 750: Statistical Consulting Instructor Professor Hyune-Ju Kim 304E Carnegie 443-1494, 443:00 p.m.-2:00 p.m. Course Objective: The goal is to develop skills needed by a statistical consultant
Taking Formal into areas unaccustomed to it Ganesh Gopal
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
A methodology integrating formal and informal software development
a methodology integrating formal and informal soft- ware development. By distinguishing several dimensions Our methodology covers requirements engineering and logical system design. It is particularly suitedA methodology integrating formal and informal software development Barbara Paech Institut fur
On formal and automatic security verification of WSN transport protocols
International Association for Cryptologic Research (IACR)
On formal and automatic security verification of WSN transport protocols Ta Vinh Thong1 thong, we address the problem of formal and automated security verification of WSN transport protocols
Using Medical Devices to Teach Formal Modeling Orieta Celiku
Garlan, David
of educational materials designed to give students the nec- essary experience to infuse formal modeling.5 year program. The course is designed to give students the necessary ex- perience to infuse formal
A Formal model to aid documenting and harmonizing of information
Zheng, Yuliang
A Formal model to aid documenting and harmonizing of information security requirements Jussipekka Information security development, harmonization of information security, organizational modeling 1 INTRODUCTION A formal top down model to harmonize and document information security requirements shall
Formal property verification in a conformance testing framework
2014-09-08T23:59:59.000Z
Computer Engineering. Arizona ... then propose two computational methods for approximating this .... signals of two systems was mathematically formalized via.
ccsd00004163, Free Energy Formalism for Particle Adsorption
ccsd00004163, version 1 4 Feb 2005 Free Energy Formalism for Particle Adsorption Pierre Gosselin a free energy formalism to the study of the equilibrium properties of neutral and charged particles adsorption onto two parallel adsorbing surfaces. Another advantage of the free energy formalism lays
Formal analysis of design process dynamics TIBOR BOSSE,1
Bosse, Tibor
Formal analysis of design process dynamics TIBOR BOSSE,1 CATHOLIJN M. JONKER,2 AND JAN TREUR1 1, 2009) Abstract This paper presents a formal analysis of design process dynamics. Such a formal analysis of design processes. The analysis was geared toward the identification of dynamic design properties
A Meta-Analysis of School-Based Problem-Solving Consultation Outcomes: A Review from 1986 to 2009
Davis, Cole
2012-10-19T23:59:59.000Z
attesting to its promise, the current state of school-based problem consultation effectiveness was not known. This study sought to update the school-based problem-solving consultation effectiveness literature as measured by conducting a meta...
Surface-integral formalism of deuteron stripping
A. M. Mukhamedzhanov; D. Y. Pang; C. A. Bertulani; A. S. Kadyrov
2014-08-24T23:59:59.000Z
The purpose of this paper is to develop an alternative theory of deuteron stripping to resonance states based on the surface integral formalism of Kadyrov et al. [Ann. Phys. 324, 1516 (2009)] and continuum-discretized coupled channels (CDCC). First we demonstrate how the surface integral formalism works in the three-body model and then we consider a more realistic problem in which a composite structure of target nuclei is taken via optical potentials. We explore different choices of channel wave functions and transition operators and show that a conventional CDCC volume matrix element can be written in terms of a surface-integral matrix element, which is peripheral, and an auxiliary matrix element, which determines the contribution of the nuclear interior over the variable $r_{nA}$. This auxiliary matrix element appears due to the inconsistency in treating of the $n-A$ potential: this potential should be real in the final state to support bound states or resonance scattering and complex in the initial state to describe $n-A$ scattering. Our main result is formulation of the theory of the stripping to resonance states using the prior form of the surface integral formalism and CDCC method. It is demonstrated that the conventional CDCC volume matrix element coincides with the surface matrix element, which converges for the stripping to the resonance state. Also the surface representation (over the variable $r_{nA}$ of the stripping matrix element enhances the peripheral part of the amplitude although the internal contribution doesn't disappear and increases with increase of the deuteron energy. We present calculations corroborating our findings for both stripping to the bound state and the resonance.
Hamilton-Jacobi Formalism for Tachyon Inflation
A. Aghamohammadi; A. Mohammadi; T. Golanbari; Kh. Saaidi
2015-02-26T23:59:59.000Z
Tachyon inflation is reconsidered by using the recent observational data obtained from Planck-2013 and BICEP2. The Hamilton-Jacobi formalism is picked out as a desirable approach in this work, which allows one to easily obtain the main parameters of the model. The Hubble parameter is supposed as a power-law and exponential function of the scalar field, and each case is considered separately. The constraints on the model, which come from observational data, are explained during the work. The results show a suitable value for the tensor spectral index and an appropriate form of the potential.
Modified Hamiltonian formalism for Regge Teitelboim Cosmology
Pinaki Patra; Md. Raju; Gargi Manna; Jyoti Prasad Saha
2014-12-10T23:59:59.000Z
The Ostrogradski approach for the Hamiltonian formalism of higher derivative theory is not satisfactory because of the reason that the Lagrangian cannot be viewed as a function on the tangent bundle to coordinate manifold. In this article, we have used an alternative approach which leads directly to the Lagrangian which, being a function on the tangent manifold, gives correct equation of motion; no new coordinate variables need to be added. This approach can be directly used to the singular (in Ostrogradski sense) Lagrangian. We have used this method for the Regge Teitelboim (RT) minisuperspace cosmological model. We have obtained the Hamiltonian of the dynamical equation of the scale factor of RT model.
Formal Management Review of the Safety Basis Calculations Noncompliance
Altenbach, T J
2008-06-24T23:59:59.000Z
In Reference 1, LLNL identified a failure to adequately implement an institutional commitment concerning administrative requirements governing the documentation of Safety Basis calculations supporting the Documented Safety Analysis (DSA) process for LLNL Hazard Category 2 and Category 3 nuclear facilities. The AB Section has discovered that the administrative requirements of AB procedure AB-006, 'Safety Basis Calculation Procedure for Category 2 and 3 Nuclear Facilities', have not been uniformly or consistently applied in the preparation of Safety Basis calculations for LLNL Hazard Category 2 and 3 Nuclear Facilities. The SEP Associated Director has directed the AB Section to initiate a formal management review of the issue that includes, but is not necessarily limited to the following topics: (1) the basis establishing Ab-006 as a required internal procedure for Safety Basis calculations; (2) how requirements for Safety Basis calculations flow down in the institutional DSA process; (3) the extent to which affected Laboratory organizations have explicitly complied with the requirements of Procedure AB-006; (4) what alternative approaches LLNL organizations has used for Safety Basis calculations and how these alternate approaches compare with Procedure AB-006 requirements; and (5) how to reconcile Safety Basis calculations that were performed before Procedure AB-006 came into existence (i.e., August 2001). The management review2 also includes an extent-of-condition evaluation to determine how widespread the discovered issue is throughout Laboratory organizations responsible for operating nuclear facilities, and to determine if implementation of AB procedures other than AB-006 has been similarly affected. In Reference 2, Corrective Action 1 was established whereby the SEP Directorate will develop a plan for performing a formal management review of the discovered condition, including an extent-of condition evaluation. In Reference 3, a plan was provided to prepare a formal management review, satisfying Corrective Action 1. An AB-006 Working Group was formed,led by the AB Section, with representatives from the Nuclear Materials Technology Program (NMTP), the Radioactive and Hazardous Waste Management (RHWM) Division, and the Packaging and Transportation Safety (PATS) Program. The key action of this management review was for Working Group members to conduct an assessment of all safety basis calculations referenced in their respective DSAs. Those assessments were tasked to provide the following information: (1) list which safety basis calculations correctly follow AB-006 and therefore require no additional documentation; (2) identify and list which safety basis calculations do not strictly follow AB-006, these include NMTP Engineering Notes, Engineering Safety Notes, and calculations by organizations external to the nuclear facilities (such as Plant Engineering), subcontractor calculations, and other internally generated calculations. Each of these will be reviewed and listed on a memorandum with the facility manager's (or designee's) signature accepting that calculation for use in the DSA. If any of these calculations are lacking the signature of a technical reviewer, they must also be reviewed for technical content and that review documented per AB-006.
2013-01-01T23:59:59.000Z
Proposal for the award of three contracts for the provision of civil engineering and architectural consultancy services
2013-01-01T23:59:59.000Z
Proposal for the award of a contract for civil engineering consultancy services for a possible CERN neutrino facility
Paris-Sud XI, Université de
2008 1 Formal Methods for Systems Engineering Behavior Models Charlotte Seidner and Olivier H. Roux on formal methods such as model checking since such techniques, however powerful and mature, are deemed too and integrating a formal verification tool within a development platform for system design for defense
Neirotti, Juan Pablo
Approved Module Information for BMM656, 2014/5 Module Title/Name: Marketing Consultancy Module Code: MSc in Market Research and Consultancy. Available to Exchange Students? Not Specified Module Learning Information Module Aims: The Marketing Consultancy module offers a unique learning experience
A Meta-Analysis of School-Based Problem-Solving Consultation Outcomes: A Review from 1986 to 2009
Davis, Cole
2012-10-19T23:59:59.000Z
School-based problem-solving consultation is an indirect problem-solving process where the consultant works directly with the teacher in order to solve a current work problem of the teacher. The focus of school-based problem-solving consultation...
Suber, Gregory [Nuclear Regulatory Commission (United States)
2012-07-01T23:59:59.000Z
In 2005 the U.S. Nuclear Regulatory Commission (NRC) began to implement a new set of responsibilities under the Ronald W. Reagan National Defense Authorization Act (NDAA) of Fiscal Year 2005. Section 3116 of the NDAA requires the U.S. Department of Energy (DOE) to consult with the NRC for certain non-high level waste determinations and also requires NRC to monitor DOE's disposal actions related to those determinations. In Fiscal Year 2005, the NRC staff began consulting with DOE and completed reviews of draft waste determinations for salt waste at the Savannah River Site. In 2006, a second review was completed on tank waste residuals including sodium-bearing waste at the Idaho Nuclear Technology and Engineering Center Tank Farm at the Idaho National Laboratory. Monitoring Plans were developed for these activities and the NRC is actively monitoring disposal actions at both sites. NRC is currently in consultation with DOE on the F-Area Tank Farm closure and anticipates entering consultation on the H-Area Tank Farm at the Savannah River Site. This paper presents, from the NRC perspective, an overview of how the consultation and monitoring process has evolved since its conception in 2005. It addresses changes in methods and procedures used to collect and develop information used by the NRC in developing the technical evaluation report and monitoring plan under consultation and the implementation the plan under monitoring. It will address lessons learned and best practices developed throughout the process. The NDAA has presented significant challenges for the NRC and DOE. Past and current successes demonstrate that the NDAA can achieve its intended goal of facilitating tank closure at DOE legacy defense waste sites. The NRC believes many of the challenges in performing the WD reviews have been identified and addressed. Lessons learned have been collected and documented throughout the review process. Future success will be contingent on each agencies commitment to consistently apply the lessons learned and continue to create an open and collaborative work environment to maintain the process of continuous improvement. (authors)
Stabilizer Formalism for Operator Quantum Error Correction
Poulin, D
2005-01-01T23:59:59.000Z
Operator quantum error correction is a recently developed theory that provides a generalized framework for active error correction and passive error avoiding schemes. In this paper, we describe these codes in the language of the stabilizer formalism of standard quantum error correction theory. This is achieved by adding a "gauge" group to the standard stabilizer definition of a code. Gauge transformations leave the encoded information unchanged; their effect is absorbed by virtual gauge qubits that do not carry useful information. We illustrate the construction by identifying a gauge symmetry in Shor's 9-qubit code that allows us to remove 3 of its 8 stabilizer generators, leading to a simpler decoding procedure without affecting its essential properties. This opens the path to possible improvement of the error threshold of fault tolerant quantum computing. We also derive a modified Hamming bound that applies to all stabilizer codes, including degenerate ones.
Stabilizer Formalism for Operator Quantum Error Correction
David Poulin
2006-06-14T23:59:59.000Z
Operator quantum error correction is a recently developed theory that provides a generalized framework for active error correction and passive error avoiding schemes. In this paper, we describe these codes in the stabilizer formalism of standard quantum error correction theory. This is achieved by adding a "gauge" group to the standard stabilizer definition of a code that defines an equivalence class between encoded states. Gauge transformations leave the encoded information unchanged; their effect is absorbed by virtual gauge qubits that do not carry useful information. We illustrate the construction by identifying a gauge symmetry in Shor's 9-qubit code that allows us to remove 4 of its 8 stabilizer generators, leading to a simpler decoding procedure and a wider class of logical operations without affecting its essential properties. This opens the path to possible improvements of the error threshold of fault-tolerant quantum computing.
On the vierbein formalism of general relativity
T. Mei
2007-12-06T23:59:59.000Z
Both the Einstein-Hilbert action and the Einstein equations are discussed under the absolute vierbein formalism. Taking advantage of this form, we prove that the "kinetic energy" term, i.e., the quadratic term of time derivative term, in the Lagrangian of the Einstein-Hilbert action is non-positive definitive. And then, we present two groups of coordinate conditions that lead to positive definitive kinetic energy term in the Lagrangian, as well as the corresponding actions with positive definitive kinetic energy term, respectively. Based on the ADM decomposition, the Hamiltonian representation and canonical quantization of general relativity taking advantage of the actions with positive definitive kinetic energy term are discussed; especially, the Hamiltonian constraints with positive definitive kinetic energy term are given, respectively. Finally, we present a group of gauge conditions such that there is not any second time derivative term in the ten Einstein equations.
15.928 Strategic Management and Consulting Proseminar: Theoretical Foundations, Spring 2003
Schulmeyer, Gerhard Hans
Provides students with strategic frameworks and a broad exposure to business matters that affect strategic management and the consulting industry. To fulfill that objective, the Proseminar invites distinguished executives ...
Crawford, T. Daniel
. · Applications to solar energy conversion or electrocatalysis. · Design and synthesis of mixedmetal and photochemical energy storage. · Particular emphasis is placed on probing the propertiesChemistry Research Projects Available to Undergraduates Consult Individual Faculty Members' Web
Intern experience at Walton & Associates/Consulting Engineers, Inc.: an internship report
Blaschke, J. D. (Joseph D.)
2013-03-13T23:59:59.000Z
This internship report describes the author's one-year internship at Walton & Associates/Consulting Engineers, Inc., (WACE) in Bryan, Texas, which occurred during [the] calendar year 1982. His primary internship objectives were to apply...
Lü, James Jian-Qiang
, are examined among IT consultancies. Entry, exit, growth, and technology-related areas of business during threeEntrepreneurial Entry and Information Technology Shocks: The Unvarying Experience. #12;Entrepreneurial Entry and Information Technology Shocks: The Unvarying Experience
Puerto Rico Aqueduct and Sewer Authority General Consulting Services and Technical Support
Gilbes, Fernando
Puerto Rico Aqueduct and Sewer Authority General Consulting Services and Technical Support, and environmental engineering courses at various engineering schools in Puerto Rico. His work experience includes of Puerto Rico, PSC. (Managing Engineer) (2005- Present) Management of environmental services including
Intern experience at Walton & Associates/Consulting Engineers, Inc.: an internship report
Blaschke, J. D. (Joseph D.)
2013-03-13T23:59:59.000Z
This internship report describes the author's one-year internship at Walton & Associates/Consulting Engineers, Inc., (WACE) in Bryan, Texas, which occurred during [the] calendar year 1982. His primary internship objectives were to apply...
A. S. Umar; V. E. Oberacker
2007-09-25T23:59:59.000Z
We study fusion reactions of the $^{64}$Ni+$^{64}$Ni system using the density-constrained time-dependent Hartree-Fock (TDHF) formalism. In this formalism the fusion barriers are directly obtained from TDHF dynamics. In addition, we incorporate the entrance channel alignments of the slightly deformed (oblate) $^{64}$Ni nuclei due to dynamical Coulomb excitation. We show that alignment leads to a fusion barrier distribution and alters the naive picture for defining which energies are actually sub-barrier. We also show that core polarization effects could play a significant role in fusion cross section calculations.
An analysis of the use of consultants to perform engineering tasks
Nordstrom, Eric Martin
1985-01-01T23:59:59.000Z
AN ANALYSIS OF THE USE OF CONSULTANTS TO PERFORM ENGINEERING TASKS A Thesis by ERIC MARTIN NORDSTROM Submitted to the Graduate College of Texas ASM University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE... December 1985 Major Subject: Industrial Engineering AN ANALYSIS OF THE USE OF CONSULTANTS TO PERFORM ENGINEERING TASKS A Thesis by ERIC MARTIN NORDSTROM Approved as to style and content by: Alberto Garcia-Diaz (Chairman of Committee) Robert P...
Danon, Yaron
ENDF/B-VII.1 Nuclear Data for Science and Technology: Cross Sections, Covariances, Fission Product Jozef Stefan Institute, Jamova 39, 1000 Ljubljana, Slovenia 11 Nuclear Research and Consultancy Group, P 2011) The ENDF/B-VII.1 library is our latest recommended evaluated nuclear data file for use in nuclear
Industrial structures : an analysis and transformation of their formal characteristics
Strub, Damon
1988-01-01T23:59:59.000Z
Industrial structures such as blast furnaces, oil refineries, gravel crushers etc. are often beautiful and fascinating. Furthermore, they exemplify certain formal and organizational characteristics which could be incorporated ...
Energy Secretary Moniz and Nevada Governor Sandoval Formalize...
Broader source: Energy.gov (indexed) [DOE]
News Media Contact (202) 586-4940 Energy Secretary Moniz and Nevada Governor Sandoval Formalize Working Group to Advance Shared Interests at Nevada National Security Site...
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
D Contract No. DE-AC06-05RL14655 A000 PART I - THE SCHEDULE SECTION D PACKAGING AND MARKING TABLE OF CONTENTS D.1 PACKAGING......
Model Transformations Require Formal Semantics Zekai Demirezen, 2
Paris-Sud XI, Université de
Model Transformations Require Formal Semantics 1 Yu Sun, 1 Zekai Demirezen, 2 Tomaz Lukman, 3 limitations of model transformation, with a specific emphasis on model optimization. A primary shortcoming that can be found in many model transformation approaches and tools is the lack of formal semantics
Component Tools: Application and Integration of Formal Methods
Kindler, Ekkart
Component Tools: Application and Integration of Formal Methods Ekkart Kindler, Vladimir Rubin, and they are supported by different and, in many cases, incompatible tools. Therefore, most applications of formal would have many benefits. The Component Tools project aims at easing the application and the inte
Formalizing Concepts for Efficacy-aware Business Process Modeling
Ulm, Universität
Formalizing Concepts for Efficacy-aware Business Process Modeling Matthias Lohrmann and Manfred.lohrmann,manfred.reichert}@uni-ulm.de Abstract. In business process design, business objective models can ful- fill the role of formal business process management concepts yet. Moreover, process models are currently not sufficiently
Formal Methods Technology Transfer: A View from NASA
Caldwell, James
Formal Methods Technology Transfer: A View from NASA James L. Caldwell Flight Electronics Technology Division NASA Langley Research Center Hampton, Virginia 23681 26 February 1996 Abstract Since 1988 NASA Langley Research Center has supported a formal methods research group. From its inception
A Symbiotic Relationship Between Formal Methods and Security
Formal methods owes much to the security community. In the United States, the National Security AgencyA Symbiotic Relationship Between Formal Methods and Security Jeannette M. Wing December 1998 CMU by the ONR and NSF, entitled Workshops on Computer Security, Fault Tolerance, and Software Assurance: From
FORMALIZATION OF SITUATION Kenneth Baclawski Mieczyslaw K. Kokar
Baclawski, Kenneth B.
a formal basis for situation awareness that draws on sources and makes use of techniques from the logic2 FORMALIZATION OF SITUATION AWARENESS Kenneth Baclawski Mieczyslaw K. Kokar College of Computer Versatile Information Systems Western New England College Framingham, Massachusetts Springfield
The Formalization of a Simple Hardware Description Language
Boyer, Robert Stephen
has been formalized using the BoyerMoore logic. Instead of representing circuits as formulas of a particular logic, combinational circuits are represented by list constants in the BoyerMoore logic. A good. This formalization was carried out with the BoyerMoore logic and its associated mechanical theorem prover [Boyer
Formal Methods: Past, Present, and Future Jeannette M. Wing
(Schlumberger) . Medical: cyclotron controller (Washington) . Nuclear: experimental breeder reactor (Argonne . State machines . Theories . Languages . Programs . Hardware #12; 5 Properties of Formal Specifications of the logical theory. Part 2, 32.1.6 In summary, the practical options for Formal Arguments of verification
Reducing Uncertainty: A Formal Theory of Organizations in Action 1
Amsterdam, University of
Reducing Uncertainty: A Formal Theory of Organizations in Action 1 Jaap Kamps and L'aszl'o P presents a formal reconstruction of James D. Thompson's classic contribution to organization theory---a heretofore unknown implication of the theory. #12; 1 Introduction Thompson's Organizations in Action
Formal Theory Building Using Automated Reasoning Tools Applied Logic Laboratory
Kamps, Jaap
Formal Theory Building Using Automated Reasoning Tools Jaap Kamps Applied Logic Laboratory-order logic and existing automated rea- soning tools for formal theory building, and illustrates, automated reasoning provides some valuable tools for this endeavor. This paper discusses the use of first
Phylogeny, Genealogy, and the Linnaean Hierarchy: Formal Proofs
New South Wales, University of
Phylogeny, Genealogy, and the Linnaean Hierarchy: Formal Proofs Rex Kwok University of New South in the con- text of a phylogenetic tree. However, the only possible source for a phylogeny is a genealogy. This paper presents formal definitions for phylogenetic terms in a genealog- ical context and shows
Formal Verification of Infinite State Systems Using Boolean Methods #
Bryant, Randal E.
Formal Verification of Infinite State Systems Using Boolean Methods # Randal E. Bryant School automated formal verification tools are based on a bitlevel model of computation, where a set of Boolean state variables encodes the system state. Using powerful inference engines, such as Binary Decision
Formal Verification of Infinite State Systems Using Boolean Methods
Bryant, Randal E.
Formal Verification of Infinite State Systems Using Boolean Methods Randal E. Bryant School automated formal verification tools are based on a bit-level model of computation, where a set of Boolean state variables encodes the system state. Using powerful inference engines, such as Binary Decision
SF6432-CO (02-01-12) 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), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirtA Journey Inside the Presentationsjobs Running jobs QuickFP (04-95) Sections II7/31/13Fixed2/01/12 Page
Ottino, Julio M.
of areas such as infrastructure engineering consulting (buildings, bridges, railroads, power plants, water include Amazon, Boeing, Accenture, ARCADIS, Mass Electric Construction, General Dynamics' Electric Boat
Section title Distinctly Global
Glasbey, Chris
Section title Distinctly Global www.hw.ac.uk United Kingdom | Dubai | Malaysia report and financial;www.hw.ac.uk 3 The Vision Heriot-Watt's vision is to be world leading, within all its specialist areas
Transforming PLC Programs into Formal Models for Verification Purposes
Darvas, D; Blanco, E
2013-01-01T23:59:59.000Z
Most of CERN’s industrial installations rely on PLC-based (Programmable Logic Controller) control systems developed using the UNICOS framework. This framework contains common, reusable program modules and their correctness is a high priority. Testing is already applied to find errors, but this method has limitations. In this work an approach is proposed to transform automatically PLC programs into formal models, with the goal of applying formal verification to ensure their correctness. We target model checking which is a precise, mathematical-based method to check formalized requirements automatically against the system.
Formal Support for an Informal Business Modelling Method
Chen-Burger, Jessica; Robertson, Dave; Stader, Justine
2000-01-01T23:59:59.000Z
Business modelling methods are popular but, since they operate primarily in the early stages of software lifecycles, most are informal. This paper describes how we have used a conventional formal notation (first order predicate logic) in combination...
Slovene Ultra-Formal Address: Borrowing, Innovation, and Analysis
Reindl, Donald F.
2007-01-01T23:59:59.000Z
osvetlile pojav, ki je prisoten v ve? slovanskih jezikih. Slovene has a system of address that differs from the basic binary address system of many European languages by grammatically distinguishing up to four levels of formality (informal, semiformal...
Secret Ninja Formal Methods Joseph R. Kiniry1
Zimmerman, Daniel M.
, University of Washington, Tacoma, Tacoma, Washington 98402, USA, dmz@acm.org Abstract. The use of formal of Technology, Radboud University Nijmegen, University College Dublin, and the University of Washington, Tacoma
Effectively Given Spaces, Domains, and Formal Dieter Spreen
Spreen, Dieter
given spaces as formal spaces Definition A formal topology S = (S, , , Pos) with preorder, short and subsets of S, and a predicate Pos, called positivity, over S such that the following conditions hold: #12 U)u V U = { c S | (u U)c u } (monotonicity) Pos(a) a U (u U)Pos(u) (positivity) Pos(a) a U a U
Una introduccion al Analisis Formal de Conceptos en PVS
Alonso, José A.
Una introducci´on al An´alisis Formal de Conceptos en PVS Jos´e A. Alonso, J. Borrego, M.J. Hidalgo, F.J. Mart´in y J.L. Ruiz www.cs.us.es/{~jalonso, ~jborrego, ~mjoseh, ~fmartin, ~jruiz} Dpto. de una formalizaci´on en PVS del An´alisis Formal de Conceptos. Inicialmente, formalizamos la noci´on de
Neirotti, Juan Pablo
detail of one approach i.e. Soft Systems Methodology. ? To develop useful consulting skills through? and ?soft? that are used by contemporary consulting firms. ? To give students an understanding in more options, those concerning the design and development of systems and procedures and those concerning
Eberhard, Marc O.
.amec.com Environmental consulting and engineering American Construction Company www.americanconstco.com Construction.brownandcaldwell.com Environmental Engineering Catena Consulting Engineers www.catenaengineers.com Structural Engineering CEE Science and Technology Golder Associates www.golder.com Environmental/Civil/Geotech Engineering Services
This guidance on childhood lead screening was devel-oped by CDC in consultation with the members and
preface This guidance on childhood lead screening was devel- oped by CDC in consultation with the members and consultants of the Advisory Committee on Childhood Lead poisoning prevention. The committee-care organizations, academia, and non-governmental agencies working on affordable hous- ing and public lead poisoning
Response to WAG Consultation on the Alternative Transport Fuels in Wales Action Plan
Martin, Ralph R.
of the use of biofuels or other renewable fuels for transport at http://europa.eu.int/comm/energy/res/legislation/biofuelsResponse to WAG Consultation on the Alternative Transport Fuels in Wales Action Plan Centre of alternative transport fuels in its own policy documents, notably the Sustainable Development Action Plan 2004
Response to West Cumbria MRWS consultation: Why a deep nuclear waste repository should not be
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
National Strategy for the Arctic Region Tribal Consultation Session: Dutch Harbor/Unalaska
Broader source: Energy.gov [DOE]
The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.
Broader source: Energy.gov [DOE]
The U.S. Department of Energy (DOE) is announcing the second round of tribal consultations and stakeholder outreach meetings on the National Strategy for the Arctic Region (NSAR), 10-Year Plan to accelerate renewable energy deployment in the Arctic Region.
Draft Minutes LSCC Meeting 6 August 2012 LIBRARY STAFF CONSULTATIVE COMMITTEE
including an Open day , exhibitions and some public lectures. 4.3 The merger of the Art and Music Library has been completed. The combined Library was re-opened to clients fully functioning for theme on 25Draft Minutes LSCC Meeting 6 August 2012 LIBRARY STAFF CONSULTATIVE COMMITTEE DIVISION
Impact of infectious diseases consultation on the management of S. aureus bacteraemia in children
Saunderson, R.B.; Gouliouris, Theodore; Cartwright, Edward J.; Nickerson, Emma J.; Aliyu, S.H.; O’Donnell, D. Roddy; Kelsall, Wilf; Limmathurotsakul, D.; Peacock, S.J.; Török, M. Estée
2014-07-10T23:59:59.000Z
;12(4):345–52. 21. Honda H, Krauss MJ, Jones JC, Olsen M a, Warren DK. The value of infectious diseases consultation in Staphylococcus aureus bacteremia. The American Journal of Medicine 2010;123(7):631–7. 22. Rieg S, Peyerl-Hoffmann G, de With K, et al...
Wellcome Trust CONSULTATION RESPONSE Wellcome Trust response to the role of School Governing Bodies
Rambaut, Andrew
clear and readily understood high-level data about the performance of the school, accessed independently of the school management. This should include both quantitative data such as examination performance and lessWellcome Trust CONSULTATION RESPONSE Wellcome Trust response to the role of School Governing Bodies
CONSULTATION RESPONSE Wellcome Trust response to `NHS Chief Executive Innovation Review'
Rambaut, Andrew
CONSULTATION RESPONSE Wellcome Trust response to `NHS Chief Executive Innovation Review' September 2011 Page 1 of 6 Department of Health: NHS Chief Executive Innovation Review Response by the Wellcome Trust September 2011 Summary 1. Developing an innovative culture in the National Health Service (NHS
PSC Docket 06-241 Summary and review of Agency consultant's (IC's) "INTERIM REPORT ON
Firestone, Jeremy
's or the IC's prior analysis. Delmarva has opposed all long-term power purchase agreements (PPAs) and has POWER IRP IN RELATION TO RFP", submitted by Agency Consultant, 4 April 2007 These review comments power will be needed for Delmarva, due to expected load growth, and retirements of existing fossil power
Section title Distinctly Global
Glasbey, Chris
Section title Distinctly Global www.hw.ac.uk United Kingdom | Dubai | Malaysia report and financial;www.hw.ac.uk 3 The Vision Heriot-Watt's vision is to be world leading, within all its specialist areas, it was the first UK university to create an overseas campus in Dubai's International Academic City. #12;www
National Nuclear Security Administration (NNSA)
SECTION J APPENDIX B PERFORMANCE EVALUATION PLAN Replaced by Mods 002, 016, 020, 029, 0084 Intentionally left blank for Internet posting purposes. Section J, Appendix B, Page 1...
Section 1: Contact Information Section 2: Employment History
Section 1: Contact Information Section 2: Employment History Section 3: Educational History Section 4: Additional Required Information Employment Application The Ernest Orlando Lawrence Berkeley! Specific information about current job opportunities at LBNL may be found at http://cjo.lbl.gov/. Please
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 DeliciousPlasma |Efficiency Â» Search resultsTechnology Â» Search1 Â»Programthe US DepartmentDepartmentSection
Formalization of the data flow diagram rules for consistency check
Ibrahim, Rosziati; 10.5121/ijsea.2010.1406
2010-01-01T23:59:59.000Z
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the model of a system. DFD is used in defining the requirements in a graphical view. In this paper, we focus on DFD and its rules for drawing and defining the diagrams. We then formalize these rules and develop the tool based on the formalized rules. The formalized rules for consistency check between the diagrams are used in developing the tool. This is to ensure the syntax for drawing the diagrams is correct and strictly followed. The tool automates the process of manual consistency check between data flow diagrams.
Finite BRST-antiBRST Transformations in Generalized Hamiltonian Formalism
Pavel Yu. Moshin; Alexander A. Reshetnyak
2014-10-15T23:59:59.000Z
We introduce the notion of finite BRST-antiBRST transformations for constrained dynamical systems in the generalized Hamiltonian formalism, both global and field-dependent, with a doublet $\\lambda_{a}$, $a=1,2$, of anticommuting Grassmann parameters and find explicit Jacobians corresponding to these changes of variables in the path integral. It turns out that the finite transformations are quadratic in their parameters. Exactly as in the case of finite field-dependent BRST-antiBRST transformations for the Yang--Mills vacuum functional in the Lagrangian formalism examined in our previous paper [arXiv:1405.0790[hep-th
An Introduction to the Application of Formal Theories to GIS Thomas Bittner and Andrew U. Frank
Bittner, Thomas
An Introduction to the Application of Formal Theories to GIS Thomas Bittner and Andrew U. Frank methods to geographic space. We model GIS as formal systems of logic. This allows to apply methods notions of formal systems and formal theories. We use a running example from the context of GIS. 1
An analysis of the use of consultants to perform engineering tasks
Nordstrom, Eric Martin
1985-01-01T23:59:59.000Z
AN ANALYSIS OF THE USE OF CONSULTANTS TO PERFORM ENGINEERING TASKS A Thesis by ERIC MARTIN NORDSTROM Submitted to the Graduate College of Texas ASM University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE... Limitations 56 CHAPTER VII. SUMMARY AND CONCLUSIONS 62 REFERENCES APPENDIX A. DISTRICT QUESTIONNAIRE OUTLINE 64 66 APPENDIX B. CRC QUESTIONNAIRE 68 APPENDIX C. HISTORICAL DATA 70 APPENDIX D. PREDICTIVE COST RELATIONSHIPS 73 APPENDIX E. ONGOING PROJECT...
Spin Description in the Star Product and the Path Integral Formalism
S. Odendahl; P. Henselder
2007-05-24T23:59:59.000Z
The spin can be described in the star product formalism by extending the bosonic Moyal product in the fermionic sector. The fermionic star product is then the Clifford product of geometric algebra and it is possible to formulate the fermionic star product formalism in analogy to the bosonic star product formalism. For the fermionic star product description of spin, one can then establish the relation to other approaches that describe spin with fermionic variables, i.e. the operator formalism and the path integral formalism. It is shown that the fermionic star product formalism and the fermionic path integral formalism are related in analogy to their bosonic counterparts.
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), 2002; Level:5(Million Cubic Feet) Oregon (Including Vehicle Fuel) (Million Cubic Feet) Natural Gas Delivered to What Certificates ShouldNeutrino cross sectionÎ½2006
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), 2002; Level:5 TablesExports to3,1,50022,3,,0,,6,1,Separation 23Tribal EnergyCatalytic Coby Mods 002, 006, 020, 029, 0049,NASAAbout1 PAGEIII-SECTION J APPENDIX K
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 DeliciousPlasma |Efficiency Â» Search resultsTechnology Â» Search1 Â»Programthe US DepartmentDepartmentSectionRequestII
Liberzon, Daniel
International Conference on FormalInternational Conference on Formal ModellingModelling andand, SwedenFORMATS 2005, Uppsala, Sweden #12;International Conference on FormalInternational Conference on the specification language Interface to Theorem Provers Simulator Model checking #12;International Conference
A Jones matrix formalism for simulating 3D Polarised Light Imaging of brain tissue
Menzel, Miriam; De Raedt, Hans; Reckfort, Julia; Amunts, Katrin; Axer, Markus
2015-01-01T23:59:59.000Z
The neuroimaging technique 3D Polarised Light Imaging (3D-PLI) provides a high-resolution reconstruction of nerve fibres in human post-mortem brains. The orientations of the fibres are derived from birefringence measurements of histological brain sections assuming that the nerve fibres - consisting of an axon and a surrounding myelin sheath - are uniaxial birefringent and that the measured optic axis is oriented in direction of the nerve fibres (macroscopic model). Although experimental studies support this assumption, the molecular structure of the myelin sheath suggests that the birefringence of a nerve fibre can be described more precisely by multiple optic axes oriented radially around the fibre axis (microscopic model). In this paper, we compare the use of the macroscopic and the microscopic model for simulating 3D-PLI by means of the Jones matrix formalism. The simulations show that the macroscopic model ensures a reliable estimation of the fibre orientations as long as the polarimeter does not resolve ...
A trivial formalization of the theory of grossone
A. E. Gutman; S. S. Kutateladze
2008-12-13T23:59:59.000Z
A trivial formalization is given for the informal reasonings presented in a series of papers by Ya.D.Sergeyev on a positional numeral system with an infinitely large base, grossone; the system which is groundlessly opposed by its originator to the classical nonstandard analysis.
Formalizing Style to Understand Descriptions of Software Architecture
of interaction between those components, global system properties (such as throughput and latency), and lifecycleFormalizing Style to Understand Descriptions of Software Architecture Gregory Abowd Robert Allen of Software Architecture,'' Proc. SIGSOFT'93: Foundations of Software Engineering, December 1993. Abstract
Evolution Styles -Formal foundations and tool support for
Evolution Styles - Formal foundations and tool support for software architecture evolution David-3890 Abstract Architecture evolution is a central feature of virtually all software systems. As new market almost no assistance in reasoning about questions such as: How should we stage the evolution to achieve
AN ANALYSIS PROCESS FOR IDENTIFYING AND FORMALIZING LMS INSTRUCTIONAL LANGUAGE
Laforcade, Pierre
AN ANALYSIS PROCESS FOR IDENTIFYING AND FORMALIZING LMS INSTRUCTIONAL LANGUAGE Aymen Abedmouleh. Abstract: Today, the LMS systems require some reengineering works or some additional design approaches designing their learning scenarios. In this paper, we propose an LMS centered instructional design approach
Quantum Nonsymmetric Gravity and The Superfiber Bundle Formalism
Mebarki, N
1999-01-01T23:59:59.000Z
The formalism of the principal superfiber-bundle is applied to quantum Nonsymmetric gravitationl theory. It is shown that the metric and Faddev-Popov fields arise as superfields components of the superconnection. Moreover,the BRST and anti-BRST transformations are shown to be the gauge transformations of parameters the ghost and anti-ghost superfields.
Finite anticanonical transformations in field-antifield formalism
Igor A. Batalin; Peter M. Lavrov; Igor V. Tyutin
2015-02-19T23:59:59.000Z
We study the role of arbitrary (finite) anticanonical transformations in the field-antifield formalism, and the gauge-fixing procedure based on the use of these transformations. Properties of generating functionals of Green functions subjected to finite anticanonical transformations are considered.
Associative and Formal Concepts School of Library and Information Science,
Priss, Uta
Associative and Formal Concepts Uta Priss School of Library and Information Science, Indiana or category-based approaches com- pete with the "classical" theory of classification. In information science to be considered simultaneously for knowledge representation systems. This paper investigates the relationship
Finite anticanonical transformations in field-antifield formalism
Igor A. Batalin; Peter M. Lavrov; Igor V. Tyutin
2015-07-09T23:59:59.000Z
We study the role of arbitrary (finite) anticanonical transformations in the field-antifield formalism, and the gauge-fixing procedure based on the use of these transformations. The properties of the generating functionals of the Green functions subjected to finite anticanonical transformations are considered.
D-Branes in the Green-Schwarz Formalism
N. D. Lambert; P. C. West
1999-06-08T23:59:59.000Z
We give a basic account of supersymmetric open strings and D-branes using the Green-Schwarz formalism, obtaining a manifestly spacetime supersymmetric description of their spectrum. In addition we discuss a mechanism whereby some of the D-brane states are projected out and which can lead to chiral quantum field theories on the brane.
Formal Support for an Informal Business Modelling Method \\Lambda
Chen-Burger, Yun-Heh (Jessica)
Formal Support for an Informal Business Modelling Method \\Lambda YunHeh ChenBurger, 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
Anlise Formal de SistemasUma abordagem orientada a linguagem
Ayala-Rincón, Mauricio
assíncrono.Algoritmos distribuídos formam exemplos importantes em computação, uma área com bastante investimento em análise formal. · O que é eleição de líder? Eleição de líder é um algoritmo distribuído ou modelo de um sistema. Para o algoritmos de eleição de líder o que, em geral, se deseja saber é se um
Formal Development and Verification of a Distributed Railway Control System
Peleska, Jan - Fachbereich 3
Formal Development and Verification of a Distributed Railway Control System Anne E. Haxthausen 1@informatik.uniÂbremen.de Abstract. In this article we introduce the concept for a distributed railÂ way control system and present the sysÂ tem model into a domain model describing the physical system in absence of control
NASA/TP2004213015 Formal Verification of a Conflict
Muñoz, César A.
NASA/TP2004213015 Formal Verification of a Conflict Resolution and Recovery Algorithm Jeffrey~noz National Institute of Aerospace, Hampton, Virginia April 2004 #12;The NASA STI Program Office . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science
Generation of certifiably correct programs from formal models Alexei Iliasov
Southampton, University of
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
Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems
Mousavi, Mohammad
Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems M. Atif TU/Eindhoven Dept. of Computer Science P.O. Box 513, 5600 MB Eindhoven, The Netherlands m.atif@tue.nl M.R. Mousavi TU/Eindhoven Dept. of Computer Science P.O. Box 513, 5600 MB Eindhoven, The Netherlands m
Context Interchange: New Features and Formalisms for the Intelligent Integration
Bressan, Stéphane
mediated data access to both traditional and web-based information sources. Categories and Subject information sources and receivers has grown at an unprecedented rate in the last few years, contributedContext Interchange: New Features and Formalisms for the Intelligent Integration of Information
FOCLASA 2009 Formalizing Adaptation On-the-Fly
de Vink, Erik
FOCLASA 2009 Formalizing Adaptation On-the-Fly S. Andovaa , L.P.J. Groenewegen1,b , J. Stafleub & E and new control in view of unforeseen adaptation. After addition McPal starts coordinating migration accordingly, adapting the system towards to-be collaboration. Once done, McPal removes obsolete control
Non-Involutive Constrained Systems and Hamilton-Jacobi Formalism
M. C. Bertin; B. M. Pimentel; C. E. Valcárcel
2008-05-05T23:59:59.000Z
In this work we discuss the natural appearance of the Generalized Brackets in systems with non-involutive (equivalent to second class) constraints in the Hamilton-Jacobi formalism. We show how a consistent geometric interpretation of the integrability conditions leads to the reduction of degrees of freedom of these systems and, as consequence, naturally defines a dynamics in a reduced phase space.
Unlocking the Semantics of Roget's Thesaurus Using Formal Concept Analysis
Old, L. John
Unlocking the Semantics of Roget's Thesaurus Using Formal Concept Analysis L. John Old School of Computing, Napier University, j.old(at)napier.ac.uk Abstract. Roget's Thesaurus is a semantic dictionary: implications and Type-10 chain components. 1 Introduction Like The Bible and Shakespeare, Roget's Thesaurus
Contemporary Mathematics A topological calculus for formal power series
Ray, Nige
^ole for products and reciprocals. Several of the underlying ideas are rooted in algebraic combinatorics, especially] in algebraic topology. Our project has been stimulated by growing interest amongst combinatorialists begin by establishing notation and conventions for formal power series, basing our treatment
A TOPOLOGICAL CALCULUS FOR FORMAL POWER SERIES NIGEL RAY
Ray, Nige
^ole for products and reciprocals. Several* * of the underlying ideas are rooted in algebraic combinatorics doubling constructions [13] in algebraic topology. Our project has been stimulated by growing interest We begin by establishing notation and conventions for formal power series, ba* *sing our treatment
TESLA: A Formally Defined Event Specification Language Gianpaolo Cugola
Cugola, Gianpaolo
TESLA: A Formally Defined Event Specification Language Gianpaolo Cugola Dip. di Elettronica e to clearly state how the system should behave. Moving from these premises, we present TESLA, a complex event specification language. Each TESLA rule considers incoming data items as notifi- cations of events and defines
Formal Safety Analysis of Transportation Control Frank Ortmeier, Wolfgang Reif
Reif, Wolfgang
with only minimal risk. To ensure these requirements formal methods are a great help. The ForMoSA approach on the track. This all results in great benefits like faster travel, less energy consumption and improved maintainability. But there is also a price to pay for it. More and more software has to be integrated
Formal Safety Analysis of Transportation Control Frank Ortmeier, Wolfgang Reif
Reif, Wolfgang
tolerant and to be associated with only minimal risk. To ensure these requirements formal methods, intelligent equipment on the track. This all results in great benefits like faster travel, less energy consumption and improved maintainability. But there is also a price to pay for it. More and more software has
Refinement of Hybrid Systems from Formal Models to Design Languages
Cengarle, María Victoria
of high-level design of a control system, it is highly desirable to use representations that accuratelyRefinement of Hybrid Systems from Formal Models to Design Languages Jan Romberg Systems & Software Abstract System-level design for discrete-continuous embedded systems is a complex and error- prone task
Applications of formal model choice to archaeological chronology building
Sahu, Sujit K
Applications of formal model choice to archaeological chronology building Sujit K. Sahu, Faculty important than in the analysis and interpretation of chronological data, especially when information from several sources must be drawn together. Di#11;erent statistical models may, however, provide widely di#11
HOW SMOOTH IS YOUR WAVELET? WAVELET REGULARITY VIA THERMODYNAMIC FORMALISM
HOW SMOOTH IS YOUR WAVELET? WAVELET REGULARITY VIA THERMODYNAMIC FORMALISM M. Pollicott and H. Weiss June 9, 2005 9:49am Abstract. A popular wavelet reference [W] states that "in theoretical and practical studies, the notion of (wavelet) regularity has been increasing in importance." Not surprisingly
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified
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
Environmental and Resource Studies (ERS) Program Formal Degree Options
Fox, Michael
major, or minor B.Sc. in Water Sciences 4 years; single major B.Sc. in Environmental Chemistry 3 or 4Environmental and Resource Studies (ERS) Program Formal Degree Options Bachelor of Environmental-University DegreesOffered through the ERS Program B.Sc. in Environmental & Resource Science 4 years; single/joint1
Reducing Uncertainty: A Formal Theory of Organizations in Action1
Kamps, Jaap
Reducing Uncertainty: A Formal Theory of Organizations in Action1 Jaap Kamps and La´szlo´ Po contribution to organization theory, Organizations in Action. The reconstruction explicates the underlying, this theory explains why Thompson's propositions do not hold for noncomplex or "atomic" organizations (a
Nordic Journal of Computing Structured Formal Development in Isabelle
Lüth, Christoph - Deutschen Forschungszentrum für Künstliche Intelligenz & Fachbereich 3
Nordic Journal of Computing Structured Formal Development in Isabelle MAKSYM BORTIN Universität powerful proof support, and include libraries formalising a considerable amount of mathematics. This is particularly useful for developing safety-critical systems Research supported by DFG under grants LU 707
Formal property verification in a conformance testing framework
Fainekos, Georgios E.
Formal property verification in a conformance testing framework Houssam Abbas School of Electrical to develop a sequence of system models of different fidelity and complexity, each appropriate for a particular design or verification task. In such a sequence, one model is often derived from the other
APractical Methodology for the Formal Verification of RISC Processors
Tahar, SofiÃ¨ne
Verification, Pipeline Verification 1. Introduction As computer systems are becoming increasingly complex not give any general methodology. During the verification of processors, powerful specifications are needed1 APractical Methodology for the Formal Verification of RISC Processors SOFIÃ?NE TAHAR tahar
Tool Support for Test-Driven Development Using Formal Specifications
Peters, Dennis
the developer writes a failing automated test case that defines a desired improvement or new function, then produces code to pass that test and finally refactors the new code to acceptable standards. The stepsTool Support for Test-Driven Development Using Formal Specifications Shadi Alawneh and Dennis
Harmonic superspace formalism and the consistent chiral anomaly
Li, W.
1986-08-01T23:59:59.000Z
The harmonic superspace formalism has been used to construct the consistent chiral anomaly in N = 1, d = 6 supersymmetric Yang-Mills thoery. The expressions of the gauge anomaly ..delta../sub s//sup phi/ and of the supersymmetric anomaly ..delta../sub SUSY//sup phi/ are given together with the consistent condition. 7 refs.
A Formal Model of Provenance in Distributed Systems
Francalanza, Adrian
A Formal Model of Provenance in Distributed Systems Issam Souilah2 Adrian Francalanza1 Vladimiro;Motivation Trust In a Distributed System #12;Motivation Trust In a Distributed System Distribution inherent parallelism. #12;Motivation Trust In a Distributed System Distribution inherent parallelism. Distribution
Formal Verification of a Microprocessor Control Lubomir Ivanov
Ivanov, Lubomir
to the modeling and formal verification of the MESI cache coherence protocol for a system of n write-back cache a powerful alternative for dealing with these problems. In this paper we present a mathematical model on a mathematical model of the system under consideration, attempts to prove or disprove facts about the system
Integrating Formal Verification into Computer Organization and Architecture Courses
Ivanov, Lubomir
to formal verification is based on the theory of - automata [5]. Given a model of the system in terms industry and have led to the development of powerful verification tools. However, the popularity facts about a mathematical model of the system under consideration. The proofs are general enough
Specification and Formal Verification of Interconnect Bus Protocols Lubomir Ivanov
Ivanov, Lubomir
and functionality of devices has brought about the need for more powerful modeling and verification tools. Classical is using first generation formal verification tools based on Symbolic Model Checking [1] and -Automata of using partial orders in modeling and verifying system behavior is in avoiding the need to study all
TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS
von Bochmann, Gregor
TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS Gregor v. BOCHMANN and Omar B. BELLAL Université de Montréal Montréal, Canada Abstract: There are two aspects to testing: (1) the selection of appropriate test inputs and (2) the analysis of the observed interactions of the implementation under test
Formal definition of POTENTIAL ENERGY (valid for conservative forces only)
some kinetic energy as well as some potential energy change along the way. Question: What doespage - 16 Formal definition of POTENTIAL ENERGY (valid for conservative forces only) Given one type of conservative force F UB - UA= - = - Definition of 'Potential energy difference" conserv #12;page - 17
Modeling Cyber Conflicts Using an Extended Petri Net Formalism
Zakrzewska, Anita N [ORNL; Ferragut, Erik M [ORNL
2011-01-01T23:59:59.000Z
When threatened by automated attacks, critical systems that require human-controlled responses have difficulty making optimal responses and adapting protections in real- time and may therefore be overwhelmed. Consequently, experts have called for the development of automatic real-time reaction capabilities. However, a technical gap exists in the modeling and analysis of cyber conflicts to automatically understand the repercussions of responses. There is a need for modeling cyber assets that accounts for concurrent behavior, incomplete information, and payoff functions. Furthermore, we address this need by extending the Petri net formalism to allow real-time cyber conflicts to be modeled in a way that is expressive and concise. This formalism includes transitions controlled by players as well as firing rates attached to transitions. This allows us to model both player actions and factors that are beyond the control of players in real-time. We show that our formalism is able to represent situational aware- ness, concurrent actions, incomplete information and objective functions. These factors make it well-suited to modeling cyber conflicts in a way that allows for useful analysis. MITRE has compiled the Common Attack Pattern Enumera- tion and Classification (CAPEC), an extensive list of cyber attacks at various levels of abstraction. CAPEC includes factors such as attack prerequisites, possible countermeasures, and attack goals. These elements are vital to understanding cyber attacks and to generating the corresponding real-time responses. We demonstrate that the formalism can be used to extract precise models of cyber attacks from CAPEC. Several case studies show that our Petri net formalism is more expressive than other models, such as attack graphs, for modeling cyber conflicts and that it is amenable to exploring cyber strategies.
Great Plains ASPEN model development: Phosam section. Final topical report
Stern, S.S.; Kirman, J.J.
1985-02-01T23:59:59.000Z
An ASPEN model has been developed of the PHOSAM Section, Section 4600, of the Great Plains Gasification Plant. The bases for this model are the process description given in Section 6.18 of the Great Plains Project Management Plan and the Lummus Phosam Schematic Process Flow Diagram, Dwg. No. SKD-7102-IM-O. The ASPEN model that has been developed contains the complete set of components that are assumed to be in the gasifier effluent. The model is primarily a flowsheet simulation that will give the material and energy balance and equipment duties for a given set of process conditions. The model is unable to predict fully changes in process conditions that would result from load changes on equipment of fixed sizes, such as a rating model would predict. The model can be used to simulate the steady-state operation of the plant at or near design conditions or to design other PHOSAM units. Because of the limited amount of process information that was available, several major process assumptions had to be made in the development of the flowsheet model. Patent literature was consulted to establish the ammonia concentration in the circulating fluid. Case studies were made with the ammonia content of the feed 25% higher and 25% lower than the base feed. Results of these runs show slightly lower recoveries of ammonia with less ammonia in the feed. As expected, the duties of the Stripper and Fractionator reboilers were higher with more ammonia in the feed. 63 references.
Lewis, Robert Michael
, as Amended, you have the right to withhold the disclosure of "Directory Information." a. Student's name bSECTION A: STUDENT INFORMATION # __________________@_________________________ (______)______________ ________/________/_________ Email Address Phone # Effective Date of this Request SECTION B: ADDITIONAL INFORMATION The items listed
Thermostatistics of small systems: Exact results in the microcanonical formalism
Miranda, E N
2015-01-01T23:59:59.000Z
Several approximations are made to study the microcanonical formalism that are valid in the thermodynamics limit. Usually it is assumed that: 1)Stirling approximation can be used to evaluate the number of microstates; 2) the surface entropy can be replace by the volumen entropy; and 3)derivatives can be used even if the energy is not a continuous variable. It is also assumed that the results obtained from the microcanonical formalism agree with those from the canonical one. However, it is not clear if these assumptions are right for very small systems (10-100 particles). To answer this questions, two systems with exact solutions (the Einstein model of a solid and the two-level system)have been solve with and without these approximations.
Formal verification of complex properties on PLC programs
Darvas, D; Voros, A; Bartha, T; Blanco Vinuela, E; Gonzalez Suarez, V M
2014-01-01T23:59:59.000Z
Formal verification has become a recommended practice in the safety-critical application areas. However, due to the complexity of practical control and safety systems, the state space explosion often prevents the use of formal analysis. In this paper we extend our former verification methodology with effective property preserving reduction techniques. For this purpose we developed general rule-based reductions and a customized version of the Cone of Influence (COI) reduction. Using these methods, the verification of complex requirements formalised with temporal logics (e.g. CTL, LTL) can be orders of magnitude faster. We use the NuSMV model checker on a real-life PLC program from CERN to demonstrate the performance of our reduction techniques.
Quantum Field Theory in de Sitter Universe: Ambient Space Formalism
Mohammad Vahid Takook
2014-09-03T23:59:59.000Z
Quantum field theory in the $4$-dimensional de Sitter space-time is constructed on a unique Bunch-Davies vacuum state in the ambient space formalism in a rigorous mathematical framework. This work is based on the group representation theory and the analyticity of the complexified pseudo-Riemannian manifolds. The unitary irreducible representations of de Sitter group and their corresponding Hilbert spaces are reformulated in the ambient space formalism. Defining the creation and annihilation operators, quantum field operators and their corresponding analytic two-point functions for various spin fields ($s=0,\\frac{1}{2},1,\\frac{3}{2}, 2$) have been constructed. The various spin massless fields can be constructed in terms of the massless conformally coupled scalar field in this formalism. Then the quantum massless minimally coupled scalar field operator, for the first time, is also constructed on Bunch-Davies vacuum state which preserve the analyticity. We show that the massless fields with $s\\leq 2$ can only propagate in de Sitter ambient space formalism. The massless gauge invariant field equations with $s=1, \\frac{3}{2}, 2$ are studied by using the gauge principle. The conformal quantum spin-$2$ field, based on the gauge gravity model, is studied. The gauge spin-$\\frac{3}{2}$ fields satisfy the Grassmannian algebra, and hence, naturally provoke one to couple them with the gauge spin-$2$ field and the super-algebra is automatically appeared. We conclude that the gravitational field may be constructed by three parts, namely, the de Sitter background, the gauge spin-$2$ field and the gauge spin-$\\frac{3}{2}$ field.
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Southampton, University of
COMPUTING SCIENCE Formal Modelling and Analysis of Business Information Applications with Fault to prove properties of models of business protocols and expose weaknesses of certain middleware.. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware [By] J
An Integrated Formal Approach for Developing High Quality Software for Safety-Critical Systems
Ouyang, Meng
This report presents the results of a study which devises an Integrated Formal Approach (IFA) for improving specifications of the designs of computer programs used in safety-critical systems. In this IFA, the formal ...
Fournier, John J.F.
Introduction to nuclear fusion Modelling Finite volume scheme Formal asymptotics Summary Magnetized, Committee Member November 28, 2014 Michael Lindstrom Magnetized Target Fusion #12;Introduction to nuclear Target Fusion #12;Introduction to nuclear fusion Modelling Finite volume scheme Formal asymptotics
Formalization of Semantic Annotation for Systems Interoperability in a PLM environment
Paris-Sud XI, Université de
Formalization of Semantic Annotation for Systems Interoperability in a PLM environment Yongxin Liao, and etc.) in the Product Lifecycle Man- agement (PLM) environment. These formal semantic annotations) interoperability context. Keywords: Ontology, Semantic Annotation, Systems Interoperability, Business Process, PLM
duragIS IT-Consulting GmbH, S1, 8-9, 68161 Mannheim Tel.: 0621 15049 0, www.duragIS.de
Mannheim, Universität
duragIS IT-Consulting GmbH, S1, 8-9, 68161 Mannheim Tel.: 0621 15049 0, www.durag-Consulting GmbH #12;duragIS IT-Consulting GmbH, S1, 8-9, 68161 Mannheim Tel.: 0621 15049 0, www.duragIS.de Our business: duragIS supports big companies like the ,,Deutsche Telekom AG" with highly qualified IT
Three-point function at finite temperature in the real-time formalism
Kobes, R. (Department of Physics, University of Winnipeg, 515 Portage Avenue, Winnipeg, Manitoba (Canada))
1991-09-09T23:59:59.000Z
One-particle-irreducible amputated graphs differ qualitatively at finite temperature when calculated in the imaginary-time and real-time formalisms. Here we show within the real-time formalism for the three-point function that when external propagators are attached certain amputated functions can be inferred which have a close relation to those of the imaginary-time formalism.
Procedural Transformation from Formal Software Requirement to PLC-based Design
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
Derivation of ontological relations using formal methods in a situation awareness scenario
Baclawski, Kenneth B.
translated to a formal method language called MetaSlang. Having all information expressed in a formal method in this study. Keywords: situation awareness, ontology, formal method, information fusion, relation derivation on Multi-sensor, Multi-source Information Fusion, pages 298-309, Orlando, April 2003. #12;2. SITUATION
MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES
Zhu, Hong
MODELLING AND FORMAL SPECIFICATION OF A MULTIAGENT TELEMEDICINE SYSTEM FOR DIABETES CARE Iñaki@gbt.tfo.upm.es Keywords: Software agents, MAS Formal Specification, Modelling, Diabetes Care, Telemonitoring, Telemedicine Abstract: This paper presents the modelling and formal specification of a telemedicine system for diabetes
Formal Methods For The ReEngineering of Computing Systems \\Lambda
Liu, Xiaodong
Formal Methods For The ReEngineering of Computing Systems \\Lambda X. Liu, H. Yang and H. Zedan@dmu.ac.uk Abstract We present a short review of formal methods and their use in the reengineering of computing. Keywords : formal methods, reengineering, wide spectrum language, realtime systems, refinement, reverse
National Nuclear Security Administration (NNSA)
and improve the industrial competitiveness and national security of the United States. Section J, Appendix A, Page 19 (Replaced Mod 002; Modified Mod 016; Replaced Mod...
National Nuclear Security Administration (NNSA)
and improve the industrial competitiveness and national security of the United States. Section J, Appendix A, Page 17 Request for Proposal No. DE-SOL-0007749 CHAPTER...
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...
Silverman, Joseph H.
Definitions Examples from formal groups Galois theory Continuous characters Computation Torsion;Definitions Examples from formal groups Galois theory Continuous characters Computation Nottingham itself;Definitions Examples from formal groups Galois theory Continuous characters Computation Results p
Formalizing our Commitment to Environmental Justice | Department of Energy
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a g e October 20,attachment1.pdfFlash2010-40.pdfFlash_2010-49.pdfofEnergyForFormalizing our
Weighted Logics for Nested Words and Algebraic Formal Power Series
Mathissen, Christian
2010-01-01T23:59:59.000Z
Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study nested word series which assign to nested words elements of a semiring. We show that regular nested word series coincide with series definable in weighted logics as introduced by Droste and Gastin. For this we establish a connection between nested words and the free bisemigroup. Applying our result, we obtain characterizations of algebraic formal power series in terms of weighted logics. This generalizes results of Lautemann, Schwentick and Therien on context-free languages.
R-Matrix Evaluation of {sup 16}O neutron cross sections up to 6.3 MeV
Sayer, R.O.; Leal, L.C.; Larson, N.M.; Spencer, R.R.; and Wright, R.Q.
2000-08-01T23:59:59.000Z
In this paper the authors describe an evaluation of {sup 16}O neutron cross sections in the resolved resonance region with the multilevel Reich-Moore R-matrix formalism. Resonance analyses were performed with the computer code SAMMY [LA98] which utilizes Bayes' method, a generalized least squares technique.
Table Of Contents Section: Page
US Army Corps of Engineers
EM 385-1-1 XX Sep 13 i Section 2 SANITATION Table Of Contents Section: Page 02.A General Water......................................................... 2-1 02.D Non-Potable Water and openings. 02.C DRINKING WATER #12;EM 385-1-1 XX Sep 13 2-2 02.C.01 An adequate supply of potable water
Not Available
1993-08-01T23:59:59.000Z
Independent consultants met at Los Alamos, June 15 and 16, 1993, to review progress on the commissioning of the Integrated Test Stand (ITS) for DARHT and to provide DOE with technical input on readiness for construction of the first radiographic arm of DARHT. The consultants concluded that all milestones necessary for demonstrating the performance of the DARHT accelerator have been met and that the project is ready for construction to resume. The experimental program using ITS should be continued to quantify the comparison of experiment and theory, to test improvements on the injector insulator, and to better evaluate the interaction of the beam and the target.
Acceleration and Particle Field Interactions of Cosmic Rays I: Formalism
A. Tawfik; A. Saleh; M. T. Ghoneim; A. A. Hady
2010-10-14T23:59:59.000Z
The acceleration of ultra high energy cosmic rays is conjectured to occur through various interactions with the electromagnetic fields in different astrophysical objects, like magnetic matter clumps, besides the well-known shock and stochastic Fermi mechanisms. It is apparent that the latter are not depending on the particle's charge, quantitatively. Based on this model, a considerable portion of the dynamics, that derives a charged particle parallel to a magnetic field $\\mathbf{B}$ and under the influence of a force $\\mathbf{F}$, is assumed to be composed of an acceleration by a non-magnetic force $\\mathbf{F}_{\\parallel}$ and a gyromotion along $\\mathbf{B}$ direction, plus drifts in the direction of $\\mathbf{F}_{\\perp}$. The model and its formalism are introduced. Various examples for drift motions and accelerating forces are suggested. The formalism is given in a non-relativistic version. Obviously, the translation into the relativistic version is standard. In a forthcoming work, a quantitative estimation of the energy gained by charged cosmic rays in various astrophysical objects will be evaluated.
Author's Instruction for ME354 Formal Lab Report Author's Name
Sniadecki, Nathan J.
instructions. Example: Uniaxial tensile tests of reduced gage section tensile specimens (Fig. 1) were conducted (6061-T6), a ductile polymer (polycarbonate), and a brittle polymer (PMMA). All tensile specimens were
Farlow, Jerry
Section 3.3 Equivalence Relations1 Section 3.3 Equivalence RelationSection 3.3 Equivalence RelationSection 3.3 Equivalence RelationSection 3.3 Equivalence Relationssss Purpose of SectionPurpose of SectionPurpose of SectionPurpose of Section To introduce the concept of an equivalence relationequivalence
management, water quality, dredging, or construction. The average cost to this type of small business over management, water quality, dredging, or construction were identified as entities that could be affected activities, construction activities, and dredging activities in areas proposed for final critical habitat
NIFES Consulting Group, NIFES House, Sinderland Road, Broadheath, Altrincham, Cheshire, WA14 5HQ Tel: 0161 247 1408 E-mail: j.hindley@mmu.ac.uk Prepared by: Mr S. Elkin NIFES Consulting Group, NIFES considered for implementation at the campus. However the seven year payback criteria communicated to NIFES
Mohaghegh, Shahab
spoilage and allow for tenderizing. If the meat is to be held longer than 2 to 3 days, freeze it at 0). For canning directions in other locations, consult your county Extension office. Fresh or frozen meats the pressure canner. The number of jars you can fill with meat or poultry depends upon the size of pieces
Woodfuel Usage Update 1 I Wood fuel use in Scotland 2011 I Hudson Consulting I September 2011
energy sectors of the Scottish market) to 30 December 2010. The information gained from the study is usedWoodfuel Usage Update 1 I Wood fuel use in Scotland 2011 I Hudson Consulting I September 2011 Woodfuel Demand and Usage in Scotland Report 2011 #12;Woodfuel Usage Update 2 I Wood fuel use in Scotland
Woodfuel Usage Update 1 I Wood fuel use in Scotland 2010 I Hudson Consulting I October 2010
woodfuel usage in the commercial, industrial and electrical energy sectors of the Scottish market) to 30Woodfuel Usage Update 1 I Wood fuel use in Scotland 2010 I Hudson Consulting I October 2010 Woodfuel Demand and Usage in Scotland Report 2010 #12;Woodfuel Usage Update 2 I Wood fuel use in Scotland
Woodfuel Use Update 1 I Wood fuel use in Scotland 2009 I Hudson Consulting I August 2009
in the commercial, industrial and electrical energy sectors of the Scottish market) to March 2009. The informationWoodfuel Use Update 1 I Wood fuel use in Scotland 2009 I Hudson Consulting I August 2009 Woodfuel Demand and Usage in Scotland Update Report to March 2009 #12;Woodfuel Use Update 2 I Wood fuel use
Botea, Adi
(including the Statistical Consulting Unit) Training in statistics for postgraduates R1: The senior a co-ordinated approach to the statistical training of postgraduate students. R2: If the senior, and which is designed to capture postgraduates in programs where statistics training is not routinely
Gilchrist, James F.
including careers in economics consulting, finance, and public policy. Economics graduates also go on to M Economics #12;ECO 311 Environmental Economics ECO 353 Public Finance: Federal ECO 354 Public Finance: State International Finance ECO 295 Microfinance ECO 395 Political Economy of Iraq Recommended courses beyond those
In-medium nucleon-nucleon cross-sections with non-spherical Pauli blocking
L. White; F. Sammarruca
2014-06-14T23:59:59.000Z
We present a formalism to solve the Bethe-Goldstone scattering equation without the use of partial wave expansion which is alternative to the one we developed in a previous work. The present approach is more suitable for the calculation of in-medium nucleon-nucleon cross sections, which are the focal point of this paper. The impact of removing the spherical approximation on the angle and energy dependence of, particularly, in-medium proton-proton and proton-neutron differential cross sections is discussed along with its potential implication.
On a Broken Formal Symmetry between Kinetic and Gravitational Energy
Armin Nikkhah Shirazi
2014-07-16T23:59:59.000Z
Historically, the discovery of symmetries has played an important role in the progress of our fundamental understanding of nature. This paper will demonstrate that there exists in Newtonian theory in a spherical gravitational field a formal symmetry between the kinetic (KE) and gravitational potential energy (GPE) of a test mass. Put differently, there exists a way of expressing GPE such that the form of the mathematical expression remains invariant under an interchange of KE and GPE. When extended to relativity by a suitable assumption, it leads to a framework that bridges the general relativistic and Newtonian conceptions of gravitational energy, even though the symmetry is broken except in the infinitesimal limit. Recognizing this symmetry at infinitesimal scales makes it possible to write a relativistic equation of an individual graviton, the properties of which under under one interpretation may be unexpected.
From superoperator formalism to nonequilibrium Thermo Field Dynamics
Yusuke Nakamura; Yoshiya Yamanaka
2012-11-19T23:59:59.000Z
Emphasizing that the specification of the representation space or the quasiparticle picture is essential in nonequilibrium quantum field system, we have constructed the unique unperturbed representation of the interaction picture in the superoperator formalism. To achieve it, we put the three basic requirements (the existence of the quasiparticle picture at each instant of time, the macroscopic causality and the relaxation to equilibrium). From the resultant representation follows the formulation of nonequilibrium Thermo Field Dynamics (TFD). The two parameters, the number distribution and excitation energy, characterizing the representation, are to be determined by the renormalization condition. While we point out that the diagonalization condition by Chu and Umezawa is inconsistent with the equilibrium theory, we propose a new renormalization condition as a generalization of the on-shell renormalization on the self-energy which derives the quantum transport equation and determines the renormalized excitation energy.
Quantum interference within the complex quantum Hamilton-Jacobi formalism
Chia-Chun Chou; Angel S. Sanz; Salvador Miret-Artes; Robert E. Wyatt
2010-05-26T23:59:59.000Z
Quantum interference is investigated within the complex quantum Hamilton-Jacobi formalism. As shown in a previous work [Phys. Rev. Lett. 102, 250401 (2009)], complex quantum trajectories display helical wrapping around stagnation tubes and hyperbolic deflection near vortical tubes, these structures being prominent features of quantum caves in space-time Argand plots. Here, we further analyze the divergence and vorticity of the quantum momentum function along streamlines near poles, showing the intricacy of the complex dynamics. Nevertheless, despite this behavior, we show that the appearance of the well-known interference features (on the real axis) can be easily understood in terms of the rotation of the nodal line in the complex plane. This offers a unified description of interference as well as an elegant and practical method to compute the lifetime for interference features, defined in terms of the average wrapping time, i.e., considering such features as a resonant process.
Noncommutative (supersymmetric) electrodynamics in the Yang-Feldman formalism
Zahn, Jochen [Courant Research Centre 'Higher Order Structures in Mathematics', University of Goettingen, D-37073 Goettingen (Germany)
2010-11-15T23:59:59.000Z
We study quantum electrodynamics on the noncommutative Minkowski space (NCQED) in the Yang-Feldman formalism. Local observables are defined by using covariant coordinates. We compute the two-point function of the interacting field strength to second order and find the infrared divergent terms already known from computations using the so-called modified Feynman rules. It is shown that these lead to nonlocal renormalization ambiguities. Also new nonlocal divergences stemming from the covariant coordinates are found. Furthermore, we study the supersymmetric extension of the model. For this, the supersymmetric generalization of the covariant coordinates is introduced. We find that the nonlocal divergences cancel. At the one-loop level, the only effect of noncommutativity is then a momentum-dependent field strength normalization. We interpret it as an acausal effect and show that its range is independent of the noncommutativity scale.
Formal Developments for Lattice QCD with Applications to Hadronic Systems
Zohreh Davoudi
2014-09-05T23:59:59.000Z
Lattice quantum chromodynamics (QCD) will soon become the primary theoretical tool in rigorous studies of single- and multi-hadron sectors of QCD. It is truly ab initio meaning that its only parameters are those of standard model. The result of a lattice QCD calculation corresponds to that of nature only in the limit when the volume of spacetime is taken to infinity and the spacing between discretized points on the lattice is taken to zero. A better understanding of these discretization and volume effects not only provides the connection to the infinite-volume continuum observables, but also leads to optimized calculations that can be performed with available computational resources. This thesis includes various formal developments in this direction, along with proposals for improvements, to be applied to the upcoming lattice QCD studies of nuclear and hadronic systems. Among these developments are i) an analytical investigation of the recovery of rotational symmetry with the use of suitably-formed smeared operators toward the continuum limit, ii) an extension of the Luscher finite-volume method to two-nucleon systems with arbitrary angular momentum, spin, parity and center of mass momentum, iii) the application of such formalism in extracting the scattering parameters of the 3S1-3D1 coupled channels, iv) an investigation of twisted boundary conditions in the single- and two-hadron sectors, with proposals for improving the volume-dependence of the deuteron binding energy upon proper choices of boundary conditions, and v) exploring the volume dependence of the masses of hadrons and light-nuclei due to quantum electrodynamic interactions, including the effects arising from particles' compositeness. The required background as well as a brief status report of the field pertinent to the discussions in this thesis are presented.
Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project
Southampton, University of
an extensible open source platform, based on Eclipse, for refinement-based formal methods [4] (the platform sectors: transportation (Siemens), automotive (Bosch), space (Space Systems Finland), and business
Gravitoelectromagnetic inflation from a 5D vacuum state: a new formalism
Alfredo Raya; Jose Edgar Madriz Aguilar; Mauricio Bellini
2007-05-22T23:59:59.000Z
We propose a novel formalism for inflation from a 5D vacuum state which could explain both, seeds of matter and magnetic fields in the early universe.
Isaksson, Karolina, E-mail: karolina.isaksson@vti.s [Swedish National Road and Transport Research Institute, SE-581 95 Linkoeping (Sweden); Richardson, Tim, E-mail: tim@plan.aau.d [Department of Development and Planning, Aalborg University, Fibigerstraede 13, DK 9000, Aalborg (Denmark); Olsson, Krister, E-mail: kristero@infra.kth.s [Department of Planning and Environment, Royal Institute of Technology (KTH), 100 44 Stockholm (Sweden)
2009-09-15T23:59:59.000Z
This paper presents the results of an analysis of deliberative norms in the framework for Environmental Impact Assessment (EIA) in roads planning in Sweden. The more specific question is how this framework has responded to the shift towards more deliberative approaches to planning and decision making, advocated in planning theory and policy literature over the last decade. The analysis, which compares the current framework and guidance with an earlier iteration, identifies a shift towards deliberation; deliberative norms are present, and even dominate recent guidance. However, an instrumental norm permeates both the former and the current guidance, suggesting that even as a language of consultation is replaced by one of deliberation, the intention remains to secure and legitimise a smooth development pathway. Evidence from interviews with professionals working in the Swedish EIA system highlights the difficulties of navigating these uncertainties in practice. By opening up critical analysis of deliberative norms as they shape the conditions for practice, this study contributes to the continuous development of planning practice, by supporting a more normatively reflexive approach to framework-design.
GRAPHICS PROGRAMMING Section A Java
Hill, Gary
GRAPHICS PROGRAMMING Section A Java 1 - Introduction 2 - Installation & First Programs 3 - GUI: Layout Managers 9 - GUI: JMenu Gary Hill December 2003 Java 1 of 1 #12;GRAPHICS PROGRAMMING 1, sample applications, and support for Java standards. Get started quickly using the included tutorials
Partial Hamiltonian formalism, multi-time dynamics and singular theories
Duplij, Steven
2013-01-01T23:59:59.000Z
We formulate singular classical theories without involving constraints. Applying the action principle for the action (27) we develop a partial (in the sense that not all velocities are transformed to momenta) Hamiltonian formalism in the initially reduced phase space (with the canonical coordinates $q_{i},p_{i}$, where the number $n_{p}$ of momenta $p_{i}$, $i=1,\\...,n_{p}$ (17) is arbitrary $n_{p}\\leq n$, where $n$ is the dimension of the configuration space), in terms of the partial Hamiltonian $H_{0}$ (18) and $(n-n_{p})$ additional Hamiltonians $H_{\\alpha}$, $\\alpha=n_{p}+1,\\...,n$ (20). We obtain $(n-n_{p}+1)$ Hamilton-Jacobi equations (25)-(26). The equations of motion are first order differential equations (33)-(34) with respect to $q_{i},p_{i}$ and second order differential equations (35) for $q_{\\alpha}$. If $H_{0}$, $H_{\\alpha}$ do not depend on $\\dot{q}_{\\alpha}$ (42), then the second order differential equations (35) become algebraic equations (43) with respect to $\\dot{q}_{\\alpha}$. We interpret ...
Quantum optimal control theory in the linear response formalism
Castro, Alberto; Tokatly, I. V. [Institute for Biocomputation and Physics of Complex Systems (BIFI) and Zaragoza Center for Advanced Modelling (ZCAM), University of Zaragoza, ES-50009 Zaragoza (Spain); Nano-Bio Spectroscopy Group and ETSF Scientific Development Centre, Departamento de Fisica de Materiales, Universidad del Pais Vasco UPV/EHU, ES-20018 San Sebastian, Spain and (Spain); IKERBASQUE, Basque Foundation for Science, ES-48011 Bilbao (Spain)
2011-09-15T23:59:59.000Z
Quantum optimal control theory (QOCT) aims at finding an external field that drives a quantum system in such a way that optimally achieves some predefined target. In practice, this normally means optimizing the value of some observable, a so-called merit function. In consequence, a key part of the theory is a set of equations, which provides the gradient of the merit function with respect to parameters that control the shape of the driving field. We show that these equations can be straightforwardly derived using the standard linear response theory, only requiring a minor generalization: the unperturbed Hamiltonian is allowed to be time dependent. As a result, the aforementioned gradients are identified with certain response functions. This identification leads to a natural reformulation of QOCT in terms of the Keldysh contour formalism of the quantum many-body theory. In particular, the gradients of the merit function can be calculated using the diagrammatic technique for nonequilibrium Green's functions, which should be helpful in the application of QOCT to computationally difficult many-electron problems.
Integration of Formal Job Hazard Analysis & ALARA Work Practice
NELSEN, D.P.
2002-09-01T23:59:59.000Z
ALARA work practices have traditionally centered on reducing radiological exposure and controlling contamination. As such, ALARA policies and procedures are not well suited to a wide range of chemical and human health issues. Assessing relative risk, identifying appropriate engineering/administrative controls and selecting proper Personal Protective Equipment (PPE) for non nuclear work activities extends beyond the limitations of traditional ALARA programs. Forging a comprehensive safety management program in today's (2002) work environment requires a disciplined dialog between health and safety professionals (e.g. safety, engineering, environmental, quality assurance, industrial hygiene, ALARA, etc.) and personnel working in the field. Integrating organizational priorities, maintaining effective pre-planning of work and supporting a team-based approach to safety management represents today's hallmark of safety excellence. Relying on the mandates of any single safety program does not provide industrial hygiene with the tools necessary to implement an integrated safety program. The establishment of tools and processes capable of sustaining a comprehensive safety program represents a key responsibility of industrial hygiene. Fluor Hanford has built integrated safety management around three programmatic attributes: (1) Integration of radiological, chemical and ergonomic issues under a single program. (2) Continuous improvement in routine communications among work planning/scheduling, job execution and management. (3) Rapid response to changing work conditions, formalized work planning and integrated worker involvement.
Interagency ADR Workplace Section Education Programs
Broader source: Energy.gov [DOE]
The Interagency Alternative Dispute Resolution Working Group (IADRWG) Workplace Conflict Management Section (“Workplace Section”) provides guidance on “best practices” in ADR program development,...
Section 999 Program Library | Department of Energy
Office of Environmental Management (EM)
Offshore Drilling Section 999 Program Library Section 999 Program Library Cost-Shared Program Publications October 2, 2013 UDAC Meeting - October 2013 October 2, 2013 URTAC...
Ontological Investigation of Ecosystem Hierarchies and Formal Theory for Multiscale Ecosystem
Bittner, Thomas
Ontological Investigation of Ecosystem Hierarchies and Formal Theory for Multiscale Ecosystem at Buffalo sorokine@buffalo.edu 2 Institute of Formal Ontology and Medical Information Systems, Leipzig thomas.bittner@ifomis.uni-leipzig.de 3 National Center for Geographic Information and Analysis (NCGIA
FDL: A Prototype Formal Digital Library Description and Draft Reference Manual
Kreitz, Christoph
FDL: A Prototype Formal Digital Library Description and Draft Reference Manual Stuart Allen Library (FDL). We designed the system and assembled the prototype as part of a research project sponsored by the Office of Naval Research entitled Building Interactive Digital Libraries of Formal Algorithmic Knowledge
Enabling the usage of formal methods by creation of convenient tools.
Turau, Volker
Enabling the usage of formal methods by creation of convenient tools. Boris Gruschko, Friedrich H. The creation of formal specifications for these systems lacks the extensive support by tools vendors. This re- sults in lack of sophisticated tools, which help the developer to overcome the initial training
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Southampton, University of
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware properties of models of business pro- tocols and expose weaknesses of certain middleware con- figurations is that of gaining the bene- fits of formal modelling and analysis in the development of SOA-based business
Analyzing a Controller of a Power Distribution Unit using Formal Methods
Groote, Jan Friso
Analyzing a Controller of a Power Distribution Unit using Formal Methods Jan Friso Groote Eindhoven--This paper reports on the steps to formally specify and verify the behavior of a controller of a power mainly controls the distribution of power and network messages to a number of attached PCs and devices
Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant
Bryant, Randal E.
1 Formal Verification of an ARM processor Vishnu A. Patankar Alok Jain Randal E. Bryant Department presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM processors, uses features such as a 5-stage
of culture(s) existing in various communities. 1 Introduction The advent of Web 2.0 lead to an explosiveA Formal Definition of Culture Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, and Fausto. In this paper, we propose a formal definition of culture of a set of agents. It generalizes existing definitions
Formal Analysis of Message Passing Stephen F. Siegel and Ganesh Gopalakrishnan
Capecchi, Mario R.
Formal Analysis of Message Passing Stephen F. Siegel and Ganesh Gopalakrishnan 1 Verified Software 84112, USA ganesh@cs.utah.edu http://www.cs.utah.edu/fv Abstract. The message passing paradigm underlies are involved in developing formal analysis tools and techniques for message passing programs. This paper
A path integral formalism for the closure of autonomous statistical systems
Richard Kleeman
2015-03-25T23:59:59.000Z
Recently a path integral formalism has been proposed by the author which gives the time evolution of moments of slow variables in a Hamiltonian statistical system. That formalism is extended here to deal with a more general autonomous dynamical system. An immediate practical application to forced dissipative turbulent systems is thus now possible.
Math 290 -Guided Practice Homework 11 1. Write a formal proof that the sequence {(-1)n
Singman, David
Math 290 - Guided Practice Homework 11 Solutions 1. Write a formal proof that the sequence {(-1)n n} n=1 is not bounded. Your proof should be built from the working definition of a sequence being unbounded. 2. Write a formal proof that the sequence (-1)n9n - 31 n n=1 is bounded. Your proof should
Formally Reasoning About Security Issues in P2P Protocols: A Case Study
Valencia, Frank D.
Universidad Javeriana Cali, Colombia aaaristizabal@puj.edu.co, {halopez,crueda}@cic.puj.edu.co 2 CNRS property against outsider attacks. By formally modeling and analyzing a real-world, yet informally. In this paper we present a formal specification of MUTE, a protocol for P2P systems, modelled in the SPL process
FORMAL MODELS OF QUALITY AND ISO 9000 COMPLIANCE: AN INFORMATION SYSTEMS APPROACH
Fox, Mark S.
FORMAL MODELS OF QUALITY AND ISO 9000 COMPLIANCE: AN INFORMATION SYSTEMS APPROACH Henry M. Kim, and the ISO 9003 Micro-Theory. The TOVE Quality Ontology represents a prototype formalization, researched from ISO 9000 and other quality management references, but independent of any one source. And the ISO 9003
Formal and Precise Derivation of the Green Functions for a Simple Potential
2 + V (r) #19; #27;(r; E) = E#27;(r; E) ; (1.4) as their basic source of information. The di#11Formal and Precise Derivation of the Green Functions for a Simple Potential R. de la Madrid #3;yz March 15, 2001 Abstract In formal scattering theory, Green functions are obtained as solutions of a dis
Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code
Poshyvanyk, Denys
Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA in queries written by the programmer to relevant parts of the source code, presented as a ranked list
Farenc, Christelle
Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive a formal framework for the development of interactive software that bridges the gap between ergonomic development process from requirements to modelbased execution. It also embeds ergonomic knowledge
Formalizing properties of rst order terms in the Boyer-Moore logic ?
Reina, José Luis Ruiz
Formalizing properties of #12;rst order terms in the Boyer-Moore logic ? Jos#19;e-Luis Ruiz are formalized using Boyer-Moore logic and carried out mechanically with the Boyer-Moore theorem prover. Keywords: Automated Deduction, Boyer-Moore Theorem Prover, First Order Terms, Subsumption, Uni#12;cation, Anti-uni#12
safety; Software requirements specification; Formal methods; Formal verification; Nuclear power plant Department and AITRC/SPIC/IIRTRC, Korea Advanced Institute of Science and Technology (KAIST), Daejon 305 September 2004 Abstract Industrial software companies developing safety-critical systems are required to use
Synchronous Dependency Insertion Grammars A Grammar Formalism for Syntax Based Statistical MT
Synchronous Dependency Insertion Grammars A Grammar Formalism for Syntax Based Statistical MT Yuan formalism specifically designed for syntax-based sta- tistical machine translation. The synchro- nous between lan- guages, which many other synchronous grammars are unable to model. A Depend- ency Insertion
On the Formal Verification of Embedded Software Using Multiway Decision Graphs
Tahar, SofiÃ¨ne
. Recently attention has been given to the verification of embedded systems using formal methods and Claesen [10] suggested a methodology for modeling both the software and hardware of an embedded system1 On the Formal Verification of Embedded Software Using Multiway Decision Graphs Subhashini
ARTABILITATION ICMC PANEL PAPER DENMARK 2007: NON-FORMAL REHABILITATION VIA IMMERSIVE
Miranda, Eduardo Reck
ARTABILITATION ICMC PANEL PAPER DENMARK 2007: NON-FORMAL REHABILITATION VIA IMMERSIVE INTERACTIVE Rehabilitation, Royal Hospital for Neuro-disability, UK; Eduardo Miranda, University of Plymouth, UK; EvaAbilitation Panel on non-formal rehabilitation via immersive interactive music environments. Issues covered
Towards formal testing of jet engine Rolls-Royce BR725 Greg Holland1
Schlingloff, Holger
verdictof Fig. 1. Validation triangle defined to be yellow. During the execution of a test on a particularTowards formal testing of jet engine Rolls-Royce BR725 Greg Holland1 , Temesghen Kahsai2 , Markus. In this paper we apply our theory of formal testing [5,6] to the starting system of the Rolls-Royce BR725
A Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu
Boyer, Edmond
and complexity of system on chip (SoC) designs. Powerful formal verification methods have been playing, model checking for complex designs may be beyond the power of available tools and computing resourceA Formal Verification Methodology for Checking Data Integrity Yasushi Umezawa, Takeshi Shimizu
Formalism Locality in Quantum Theory and Quantum Gravity
Lucien Hardy
2008-04-01T23:59:59.000Z
We expect a theory of Quantum Gravity to be both probabilistic and have indefinite causal structure. Indefinite causal structure poses particular problems for theory formulation since many of the core ideas used in the usual approaches to theory construction depend on having definite causal structure. For example, the notion of a state across space evolving in time requires that we have some definite causal structure so we can define a state on a space-like hypersurface. We will see that many of these problems are mitigated if we are able to formulate the theory in a "formalism local" (or F-local) fashion. A formulation of a physical theory is said to be F-local if, in making predictions for any given arbitrary space-time region, we need only refer to mathematical objects pertaining to that region. This is a desirable property both on the grounds of efficiency and since, if we have indefinite causal structure, it is not clear how to select some other space-time region on which our calculations may depend. The usual ways of formulating physical theories (the time evolving state picture, the histories approach, and the local equations approach) are not F-local. We set up a framework for probabilistic theories with indefinite causal structure. This, the causaloid framework, is F-local. We describe how Quantum Theory can be formulated in the causaloid framework (in an F-local fashion). This provides yet another formulation of Quantum Theory. This formulation, however, may be particularly relevant to the problem of finding a theory of Quantum Gravity.
High energy neutrino cross sections
M. H. Reno
2004-10-07T23:59:59.000Z
The theoretical status of the neutrino-nucleon cross section is reviewed for incident neutrino energies up to E_nu=10^12 GeV, including different approaches to high energy extrapolations. Nonstandard model physics may play a role at ultrahigh energies. The cases of mini-black hole production and electroweak instanton contributions are discussed as examples in the context of ultrahigh energy neutrino scattering.
SECTION V: SUPERCONDUCTING CYCLOTRON, INSTRUMENTATION
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), 2002; Level:5(Million Cubic Feet) Oregon (Including Vehicle Fuel) (Million CubicRefiners SwitchBenefits Â»Department of2Superallowed fermi beta decay:IV.SECTION
Neutrino Cross-Section Experiments
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), 2002; Level:5(Million Cubic Feet) Oregon (Including Vehicle Fuel) (Million Cubic Feet) Natural Gas Delivered to What Certificates ShouldNeutrino cross sectionÎ½2006N
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), 2002; Level:5 TablesExports to3,1,50022,3,,0,,6,1,Separation 23Tribal EnergyCatalytic Coby Mods 002, 006, 020, 029, 0049,NASAAbout1 PAGEIII-SECTION J APPENDIX
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 DeliciousPlasma |Efficiency Â» Search resultsTechnology Â» Search1 Â»Programthe US DepartmentDepartmentSectionRequest
Formalism for Simulation-based Optimization of Measurement Errors in High Energy Physics
Yuehong Xie
2009-04-29T23:59:59.000Z
Miminizing errors of the physical parameters of interest should be the ultimate goal of any event selection optimization in high energy physics data analysis involving parameter determination. Quick and reliable error estimation is a crucial ingredient for realizing this goal. In this paper we derive a formalism for direct evaluation of measurement errors using the signal probability density function and large fully simulated signal and background samples without need for data fitting and background modelling. We illustrate the elegance of the formalism in the case of event selection optimization for CP violation measurement in B decays. The implication of this formalism on choosing event variables for data analysis is discussed.
Johnson, James Brent
2013-05-31T23:59:59.000Z
This study considers the market of potatoes in Amazonas, Peru from an informal production sector to a more formal retail-marketing sector. I consider and challenge current understandings that attempt to model formal/informal ...
A Formal Model for Verifying the Impact of Stealthy Attacks on Optimal Power Flow in Power Grids
Wang, Yongge
- mal Power Flow; Formal Model 1. INTRODUCTION Power system control centers employ a numberA Formal Model for Verifying the Impact of Stealthy Attacks on Optimal Power Flow in Power Grids the integrity of OPF and undermine the economic and secure system operation. We present a formal verification
Cheng, Albert M. K.
, specification, modeling, scheduling, and formal verification of real- time, embedded, and cyber-physical systems-based Formal Verification, Response Time Analysis, and Power-Aware Scheduling Albert M. K. Cheng Real reactive programming, RTL (real-time logic)-based formal verification, response time analysis, and power
Generalised BRST symmetry and gaugeon formalism for perturbative quantum gravity: Novel observation
Upadhyay, Sudhaker, E-mail: sudhakerupadhyay@gmail.com
2014-05-15T23:59:59.000Z
In this paper the novel features of Yokoyama gaugeon formalism are stressed out for the theory of perturbative quantum gravity in the Einstein curved spacetime. The quantum gauge transformations for the theory of perturbative gravity are demonstrated in the framework of gaugeon formalism. These quantum gauge transformations lead to renormalised gauge parameter. Further, we analyse the BRST symmetric gaugeon formalism which embeds more acceptable Kugo–Ojima subsidiary condition. Further, the BRST symmetry is made finite and field-dependent. Remarkably, the Jacobian of path integral under finite and field-dependent BRST symmetry amounts to the exact gaugeon action in the effective theory of perturbative quantum gravity. -- Highlights: •We analyse the perturbative gravity in gaugeon formalism. •The generalisation of BRST transformation is also studied in this context. •Within the generalised BRST framework we found the exact gaugeon modes in the theory.
Formal Specification of Operating System Operations Dan Zhou Paul E. Black
Black, Paul E.
Formal Specification of Operating System Operations Dan Zhou- fication of a secure operating system architecturepandritsising the objects and* * subjects of operating systems. We security-related operations in higher-orderalogicltheoremso specify security co* *nditions
Lanman, Douglas
This paper focuses on resolving long-standing limitations of parallax barriers by applying formal optimization methods. We consider two generalizations of conventional parallax barriers. First, we consider general two-layer ...
A proof of Tsygan's formality conjecture for an arbitrary smooth manifold
Dolgushev, Vasiliy A
2005-01-01T23:59:59.000Z
Proofs of Tsygan's formality conjectures for chains would unlock important algebraic tools which might lead to new generalizations of the Atiyah-Patodi-Singer index theorem and the Riemann-Roch-Hirzebruch theorem. Despite ...
INTEGRATING A FORMAL SPECIFICATION COURSE WITH A SOFIWARE PROJECTS COURSE VIA AN EDITING TOOL
Gamble, R. F.
.F. Gamble Department of Mathematical and Computer Sciences The University of Tulsa Tulsa, OK 74104 email of Tulsa currently includes two courses: a formal specification course taught with the language Z [12
Making the numbers : agency in computer-generated formal representations of sales work
Cunha, José João Marques de Oliveria Vieira da
2006-01-01T23:59:59.000Z
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 ...
The KTY formalism and nonadiabatic contributions to the neutrino oscillation probability
Yasuda, Osamu
2014-01-01T23:59:59.000Z
It is shown how to obtain the analytical expression for the effective mixing angle in matter using the formalism which was developed by Kimura, Takamura and Yokomakura. If the baseline of the neutrino path is long enough so that averaging over rapid oscillations is a good approximation, then with the help of Landau's method, the nonadiabatic contribution to the oscillation probability can be expressed analytically by this formalism. We give two examples in which the present method becomes useful.
Tronci, Enrico
as a deterministic Finite State System (FSS) a program implementing a controller can be automatically synthesized Automatic Synthesis of Controllers from Formal Specifications Enrico Tronci 1 Dipartimento di Matematica://univaq.it/¸tronci Abstract Many safety critical reactive systems are indeed embed ded control systems. Usually a control
Formal subdivision of the Quaternary System/Period: past, present, and future
Head, Martin J.; Gibbard, Philip L.
2015-06-25T23:59:59.000Z
; Capraro et al., this volume). 3. Chiba section in Japan (Kazaoka et al., this volume; Suganuma et al., 2015). Of the first two, the Montalbano Jonico section is expanded relative to the Valle di Manche section, but diagenesis has compromised...
SECTION FOUR Site Design Guidelines Bicycle Systems
Stuart, Steven J.
SECTION FOUR Site Design Guidelines Bicycle Systems 26 4, the following should be considered when designa ng bicycle routes on roadways: Vehicular speed limits; SECTION FOUR Site Design Guidelines Bicycle Systems 27 4.2 BIKE LANES Bike lanes
GRAPHICS PROGRAMMING SECTION D -JAVA 3D
Hill, Gary
GRAPHICS PROGRAMMING SECTION D - JAVA 3D 1SECTION D - GRAPHICS 3-D........................................................................................... 2 30 Graphics 3D: Introduction to Java 3D........................................................................................ 78 ©Gary Hill September 2004 Java 3-D 1 of 13 #12;GRAPHICS PROGRAMMING SECTION D - GRAPHICS 3-D 30
Human Subjects Section 6. Protection of Human
Heller, Barbara
Human Subjects Section 6. Protection of Human Subjects This section is required for applicants answering "yes" to the question "Are human subjects involved?" on the R&R Other Project Information form subjects applicants must provide a justification in this section for the claim that no human subjects
Patel, Umang R., E-mail: umangpatel193@yahoo.ca [Gandhinagar Institute of Technology, Moti Bhoyan, Gandhinagar-382721, Gujarat (India); Sardar Patel University, Vallabh Vidyanagar-388120, Gujarat (India); Joshipura, K. N.; Pandya, Siddharth H. [Sardar Patel University, Vallabh Vidyanagar-388120, Gujarat (India)] [Sardar Patel University, Vallabh Vidyanagar-388120, Gujarat (India); Kothari, Harshit N. [Universal College of Engineering and Technology, Moti Bhoyan, Gandhinagar-382721, Gujarat (India)] [Universal College of Engineering and Technology, Moti Bhoyan, Gandhinagar-382721, Gujarat (India)
2014-01-28T23:59:59.000Z
In this paper, we report theoretical electron impact ionization cross sections from threshold to 2000 eV for isocarbonic open chain molecules C{sub 4}H{sub 6}, C{sub 4}H{sub 8}, C{sub 4}F{sub 6} including their isomers, and closed chain molecules c-C{sub 4}H{sub 8} and c-C{sub 4}F{sub 8}. Theoretical formalism employed presently, viz., Complex Scattering Potential-ionization contribution method has been used successfully for a variety of polyatomic molecules. The present ionization calculations are very important since results available for the studied targets are either scarce or none. Our work affords comparison of C{sub 4} containing hydrocarbon versus fluorocarbon molecules. Comparisons of the present ionization cross sections are made wherever possible, and new ionization data are also presented.
Not Available
2014-05-01T23:59:59.000Z
In support of national and subnational decision makers, the 21st Century Power Partnership regularly works with country partners to organize peer-to-peer consultations on critical issues. In March 2014, 21CPP collaborated with the Regulatory Assistance Project - India to host two peer-to-peer exchanges among experts from India, South Africa, Europe, and the United States to discuss the provision of ancillary services, particularly in the context of added variability and uncertainty from renewable energy. This factsheet provides a high level summary of the peer-to-peer consultation.
Belova, Irina [University of Newcastle, NSW, Australia; Kulkarni, Nagraj S [ORNL; Sohn, Yong Ho [University of Central Florida; Murch, Prof. Graeme [University of Newcastle, NSW, Australia
2013-01-01T23:59:59.000Z
In this paper, a new development of the classic Onsager phenomenological formalism is derived using relations based on linear response theory. The development concerns the correct description of the fluxes of the atomic isotopes. The resulting expressions in the laboratory frame are surprisingly simple and consist of terms coming from the standard interdiffusion expressions and from Fick s first law where the tracer diffusion coefficient is involved thus providing a better understanding of the relationship between the two approaches - Fick s first law and the Onsager phenomenological formalism. From an experimental application perspective, the new development is applied to the binary alloy case. The formalism provides the means to obtain the interdiffusion coefficient and tracer diffusion coefficients simultaneously from analysis of the interdiffusion concentration profiles in a single experiment.
Expandable mixing section gravel and cobble eductor
Miller, Arthur L. (Kenyon, MN); Krawza, Kenneth I. (Lakeville, MN)
1997-01-01T23:59:59.000Z
In a hydraulically powered pump for excavating and transporting slurries in hich it is immersed, the improvement of a gravel and cobble eductor including an expandable mixing section, comprising: a primary flow conduit that terminates in a nozzle that creates a water jet internal to a tubular mixing section of the pump when water pressure is applied from a primary supply flow; a tubular mixing section having a center line in alignment with the nozzle that creates a water jet; a mixing section/exit diffuser column that envelopes the flexible liner; and a secondary inlet conduit that forms an opening at a bas portion of the column and adjacent to the nozzle and water jet to receive water saturated gravel as a secondary flow that mixes with the primary flow inside of the mixing section to form a combined total flow that exits the mixing section and decelerates in the exit diffuser.
Statistics of Merging Peaks of Random Gaussian Fluctuations: Skeleton Tree Formalism
Hitoshi Hanami
1999-10-02T23:59:59.000Z
In order to study the statistics of the objects with hierarchical merging, we propose the skeleton tree formalism, which can analytically distinguish the episodic merging and the continuous accretion in the mass growth processes. The distinction was not clear in extended Press-Schechter (PS) formalism. The skeleton tree formalism is a natural extension of the peak theory which is an alternative formalism for the statistics of the bound objects. The fluctuation field smoothing with Gaussian filter produces the landscape with adding the extra-dimension of the filter resolution scale to the spatial coordinate of the original fluctuation. In the landscape, some smoothing peaks are nesting into the neighboring peaks at a type of critical points called sloping saddles appears, which can be interpreted as merging events of the objects in the context of the hierarchical structure formation. The topological properties of the landscape can be abstracted in skeleton trees, which consist of line process of the smoothing peaks and the point process of the sloping saddles. According to this abstract topological picture, in this paper, we present the concept and the basic results of the skeleton tree formalism to describe (1) the distinction between the accretion and the merger in the hierarchical structure formation from various initial random Gaussian fields; (2) the instantaneous number density of the sloping saddles which gives the instantaneous scale function of the objects with the destruction and reformation in the mergers; (3) the rates of the destruction, the reformation, and the relative accretion growth; (4) the self-consistency of the formalism for the statistics of the mass growth processes of the objects; (5) the mean growth history of the objects at the fixed mass.
SECTION 3161 ANNOUNCEMENT: New Draft Workforce Restructuring...
Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site
policies of" Section 3161 of the National Defense Authorization Act for Fiscal Year 1993 to mitigate the impact of any potential workforce reductions on contractor employees at...
Cross-Section Fluctuations in Chaotic Scattering
B. Dietz; H. L. Harney; A. Richter; F. Schaefer; H. A. Weidenmueller
2009-12-22T23:59:59.000Z
For the theoretical prediction of cross-section fluctuations in chaotic scattering, the cross-section autocorrelation function is needed. That function is not known analytically. Using experimental data and numerical simulations, we show that an analytical approximation to the cross-section autocorrelation function can be obtained with the help of expressions first derived by Davis and Boose. Given the values of the average S-matrix elements and the mean level density of the scattering system, one can then reliably predict cross-section fluctuations.
Software Patent Litigation ABA Section of Litigation
Shamos, Michael I.
1 Software Patent Litigation ABA Section of Litigation Intellectual Property Litigation Committee............................................................ 2 II. Infringement issues specific to software patents Relating to Software Patents.........................................................15 POSSIBLE ISSUES
Skinner-Rusk Unified Formalism for Optimal Control Systems and Applications
M. Barbero-Liñan; A. Echeverria-Enriquez; D. Martin de Diego; M. C. Muñoz-Lecanda; N. Roman-Roy
2007-10-18T23:59:59.000Z
A geometric approach to time-dependent optimal control problems is proposed. This formulation is based on the Skinner and Rusk formalism for Lagrangian and Hamiltonian systems. The corresponding unified formalism developed for optimal control systems allows us to formulate geometrically the necessary conditions given by Pontryagin's Maximum Principle, provided that the differentiability with respect to controls is assumed and the space of controls is open. Furthermore, our method is also valid for implicit optimal control systems and, in particular, for the so-called descriptor systems (optimal control problems including both differential and algebraic equations).
Casimir force between a sphere and a plane: spectral representation formalism
Cecilia Noguez; C. E. Roman-Velazquez
2003-12-10T23:59:59.000Z
We develop a spectral representation formalism to calculate the Casimir force in the non-retarded limit, between a spherical particle and a substrate, both with arbitrary local dielectric properties. This spectral formalism allows one to do a systematic study of the force as a function of the geometrical variables separately from the dielectric properties. We found that the force does not follow a simple power-law as a function of the separation between the sphere and substrate. As a consequence, the non-retarded Casimir force is enhanced by several orders of magnitude as the sphere approaches the substrate, while at large separations the dipolar term dominates the force.
Time-dependent Internal DFT formalism and Kohn-Sham scheme
J. Messud
2009-11-05T23:59:59.000Z
We generalize to the time-dependent case the stationary Internal DFT / Kohn-Sham formalism presented in Ref. [14]. We prove that, in the time-dependent case, the internal properties of a self-bound system (as an atomic nuclei) are all defined by the internal one-body density and the initial state. We set-up a time-dependent Internal Kohn-Sham scheme as a practical way to compute the internal density. The main difference with the traditional DFT / Kohn-Sham formalism is the inclusion of the center-of-mass correlations in the functional.
- ditional information, the secondary ion yield per primary event must be large, so that for a single primary as a primary source. The fission fragments have mass in the range of 95Â 160 amu with kinetic energies of 60. In addition, the primary particles should address only a small region of the sample surface so that sample
Svenningsson, Josef
Real-Time Android RealTime DSP AB is a consultant firm, supplying expertise within the areas The Android platform is widely used for smartphones running all sorts of applications. Though most-time demands. Since Android is based on a Linux kernel, which is not made for real-time applications, you
Vuik, Kees
for energy, environment, and health. NRG offers a wide range of services to energy utilities, governmentNuclear Research & Consultancy Group (NRG) develops and provides sustainable nuclear technology organizations and various branches of industry - including the nuclear, financial services and medical sectors
Lindken, Ralph
Nuclear Research & Consultancy Group (NRG) develops and provides sustainable nuclear technology organizations and various branches of industry - including the nuclear, financial services and medical sectors: Better prediction of the flow and heat transfer in liquid metal cooled nuclear reactors will contribute
NDAA Section 3116 Waste Determinations with Related Disposal...
Office of Environmental Management (EM)
NDAA Section 3116 Waste Determinations with Related Disposal Performance Assessments NDAA Section 3116 Waste Determinations with Related Disposal Performance Assessments Section...
Cross section for charmonium absorption by nucleons
Liu, W.; Ko, Che Ming; Lin, ZW.
2002-01-01T23:59:59.000Z
The cross section for J/psi absorption by nucleons is studied using a gauged SU(4) hadronic Lagrangian but with empirical particle masses, which has been used previously to study the cross sections for J/psi absorption by pion and rho meson...
electronic reprint Acta Crystallographica Section D
Synchrotron Radiation Research Section, MCL, National Cancer Institute, Argonne National Laboratory, Argonne synchrotron radiation. Refinement with anisotropic displacement para- meters and with the removal acetate ion and three ethylene glycol molecules were located in the electron-density map. Eight sections
electronic reprint Acta Crystallographica Section C
94720, USA, c Basic Research Program, SAICFrederick Inc., Synchrotron Radiation Research Section, MCL Synchrotron Radiation Research Section, MCL, NCI, Argonne National Laboratory, Biosciences Division, Building Fourier map from 0.063 to 0.037 e A° À3 . Comment Alzheimer's disease, a progressive neurodegenerative dis
Solar fusion cross sections Eric G. Adelberger
Bahcall, John
production. We provide best values for the low-energy cross-section factors and, wherever possible, estimates Karlheinz Langanke University of Aarhus, DK-8000, Aarhus C, Denmark Tohru Motobayashi Department of Physics on the nuclear-fusion cross sections that are most important for solar energy generation and solar neutrino
McDonald, Kirk
NOTES 1. WELDING SHALL BE PERFORMED IN ACCORDANCE WITH ASME SECTION IX. NO CODE STAMP REQUIRED. 2. ALL is property of 1. ALL DIMENSIONS ARE IN INCHES 2. INTERPRET DIMENSIONS AND TOLERANCES PER ASME Y14.5M 3 REQUIRED. NO RADIOGRAPHY REQUIRED. 2. ALL WELDS SHALL BE DYE PENETRANT INSPECTED. WITH ASME SECTION IX
Physical sectioning in 3D biological microscopy
Guntupalli, Jyothi Swaroop
2008-10-10T23:59:59.000Z
Nanotechnology 250UPL ultra-precision diamond-turning lathe .. 79 F High-resolution physical sectioning for biological 3D microscopy........... 79 G Issues in using the lathe for high-resolution physical sectioning .............. 80 H Chatter...-configuration of the stages [24] ............................................................................................ 77 Figure 40 Moore Nanotechnology 350UPL, a commercially available free-form nanomachine, showing co-ordinate system [8...
Physical sectioning in 3D biological microscopy
Guntupalli, Jyothi Swaroop
2009-05-15T23:59:59.000Z
Nanotechnology 250UPL ultra-precision diamond-turning lathe .. 79 F High-resolution physical sectioning for biological 3D microscopy........... 79 G Issues in using the lathe for high-resolution physical sectioning .............. 80 H Chatter...-configuration of the stages [24] ............................................................................................ 77 Figure 40 Moore Nanotechnology 350UPL, a commercially available free-form nanomachine, showing co-ordinate system [8...
Formal Verification of Robot Movements -a Case Study on Home Service Robot SHR100
Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100 Moonzoo Kim, Kyo according to the changing needs of human users. Furthermore, reactive nature of the robots add complexity quality of human life in a wide range of potential applications. Home service robots are required
Formally Modeling a Metal Processing Plant and its Closed Loop Speci cations
Tronci, Enrico
control systems automatic synthesis is a viable and pro table especially as far as design e ort@univaq.it, http: univaq.it tronci Abstract We present a case study on automatic synthesis of control software from formal speci cations for an indus- trial automation control system. Our aim is to compare the e
EJC file no.: EJC 039/2004 Formal specification method for systems
Paris-Sud XI, Université de
and opens issues on the way to industrial practice. KEY WORDS: Systems Engineering, Automation Engineering applications. Industrial automation standards, such as the safety-related IEC 615081 , strongly recommendEJC file no.: EJC 039/2004 Formal specification method for systems automation Jean-François Pétin
Inverse electronic scattering from shifted projections within the Fresnel-Kirchhoff formalism
Mayer, Alexandre
Inverse electronic scattering from shifted projections within the Fresnel-Kirchhoff formalism A is that of Fresnel-Kirchhoff, which describes the sample as a two-dimensional mask. By processing simultaneously-dimensional nanometric sample that is observed in Fresnel conditions with an electron energy of 40 eV. The parameters
Off-shell BRST-VSUSY superalgebra for D=4 BF theories in the superconnection formalism
Aidaoui, A
2006-01-01T23:59:59.000Z
We propose the superconnection formalism to construct the off-shell BRST-VSUSY superalgebra for D=4 BF theories. The method is based on the natural introduction of physical fields as well as auxiliary fields via superconnections and their associated supercurvatures defined on a superspace. We also give a prescription to build the off-shell BRST-VSUSY exact quantum action.
Off-shell BRST-VSUSY superalgebra for D=4 BF theories in the superconnection formalism
A. Aidaoui; M. Tahiri
2006-07-13T23:59:59.000Z
We propose the superconnection formalism to construct the off-shell BRST-VSUSY superalgebra for D=4 BF theories. The method is based on the natural introduction of physical fields as well as auxiliary fields via superconnections and their associated supercurvatures defined on a superspace. We also give a prescription to build the off-shell BRST-VSUSY exact quantum action.
Efficient and Formally Proven Reduction of Large Integers by Small Moduli
van Eekelen, Marko
Red can be embedded in a loop in order to reduce large integers. Some transformations are appliedEfficient and Formally Proven Reduction of Large Integers by Small Moduli LUC RUTTEN Delft-bit integers by w-bit integers, reductions of large integers by moduli M smaller than 2w-1 are often
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Southampton, University of
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware and the open Rodin tools platform to prove properties of models of business protocols and expose weaknesses are critical to the func- tioning of many businesses; designing them to be dependable is a challenging
Charles E. Smith
2006-01-18T23:59:59.000Z
Dissipative Lagrangians and Hamiltonians having Coulomb, viscous and quadratic damping,together with gravitational and elastic terms are presented for a formalism that preserves the Hamiltonian as a constant of the motion. Their derivations are also shown. The resulting L's and H's may prove useful in exploring new types of damped quantum systems.
NASA/CP-2010-216215 Proceedings of the Second NASA Formal
Muñoz, César A.
April 2010 NASA/CP-2010-216215 Proceedings of the Second NASA Formal Methods Symposium Edited by César Muñoz NASA Langley Research Center, Hampton, Virginia #12;NASA STI Program . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA
NASA/TM-2004-212999 Formal Modeling and Analysis of a Preliminary
Butler, Ricky W.
March 2004 NASA/TM-2004-212999 Formal Modeling and Analysis of a Preliminary Small Aircraft, Virginia Sara Kalvala University of Warwick, United Kingdom #12;The NASA STI Program Office . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science
NASA/TM-2010-216706 Formal Verification of Air Traffic
Narkawicz, Anthony J.
June 2010 NASA/TM-2010-216706 Formal Verification of Air Traffic Conflict Prevention Bands Ecole polytechnique, France #12;NASA STI Program . . . in Profile Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA scientific and technical information
Formal Measures of Learning in a Secondary School Mobile Robotics Course
Formal Measures of Learning in a Secondary School Mobile Robotics Course Illah R. Nourbakhsh, Emily Hamner The Robotics Institute Carnegie Mellon University Pittsburgh, USA {illah, etf Pittsburgh, USA {crowleyk+, kaw16+}@pitt.edu Abstract--During the summer of 2002, Robotic Autonomy was taught
On the Formal Analysis of a Spatio-Temporal Role-Based Access Control Model
Ray, Indrakshi
On the Formal Analysis of a Spatio-Temporal Role-Based Access Control Model Manachai Toahchoodee. For crit- ical applications, a model for spatio-temporal-based access control is needed that increases. Consequently, researchers have proposed various spatio-temporal access control models that are useful
Formal Specification of an Access Control System Susan Stepney and Stephen P. Lord
Stepney, Susan
administrations pose a problem of access control. Who decides who can use what? We specify a formal model. The model, written in the Z specification language, has been developed as the access control system control systems to meet their differing requirements. A system based on the model would allow users to log
Equifinality of formal (DREAM) and informal (GLUE) bayesian approaches in hydrologic modeling?
Vrugt, Jasper A [Los Alamos National Laboratory; Robinson, Bruce A [Los Alamos National Laboratory; Ter Braak, Cajo J F [NON LANL; Gupta, Hoshin V [NON LANL
2008-01-01T23:59:59.000Z
In recent years, a strong debate has emerged in the hydrologic literature regarding what constitutes an appropriate framework for uncertainty estimation. Particularly, there is strong disagreement whether an uncertainty framework should have its roots within a proper statistical (Bayesian) context, or whether such a framework should be based on a different philosophy and implement informal measures and weaker inference to summarize parameter and predictive distributions. In this paper, we compare a formal Bayesian approach using Markov Chain Monte Carlo (MCMC) with generalized likelihood uncertainty estimation (GLUE) for assessing uncertainty in conceptual watershed modeling. Our formal Bayesian approach is implemented using the recently developed differential evolution adaptive metropolis (DREAM) MCMC scheme with a likelihood function that explicitly considers model structural, input and parameter uncertainty. Our results demonstrate that DREAM and GLUE can generate very similar estimates of total streamflow uncertainty. This suggests that formal and informal Bayesian approaches have more common ground than the hydrologic literature and ongoing debate might suggest. The main advantage of formal approaches is, however, that they attempt to disentangle the effect of forcing, parameter and model structural error on total predictive uncertainty. This is key to improving hydrologic theory and to better understand and predict the flow of water through catchments.
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy
FerrÃ©, SÃ©bastien
An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy Peggy Cellier1 , S the data set is not structured. When an attribute taxonomy exists, existing techniques produce a com- pleted context with all attributes deduced from the taxonomy. Usual algorithms can then be applied
Schröder, Lutz
Formalizing and Operationalizing Industrial Standards Dominik Dietrich, Lutz Schr¨oder and Ewaryst Schulz DFKI Bremen, Germany .@dfki.de Abstract. Industrial standards establish of industrial standards; (ii) formulate a semantics of this language in terms of a translation into the higher
Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications
Heljanko, Keijo
C4.2 Formal Verification of Safety I&C System Designs: Two Nuclear Power Plant Related Applications and control (I&C) systems play a crucial role in the operation of nuclear power plants (NPP) and other safety is available. The use of model checking to verify two nuclear power plant related systems is described: an arc
Ray, Nige
â??ole for products and reciprocals. Several of the underlying ideas are rooted in algebraic combinatorics, especially] in algebraic topology. Our project has been stimulated by growing interest amongst combinatorialists and conventions for formal power series, basing our treatment on that of Henrici [9]. We assume given
Verificacion formal y eficiencia: un caso de estudio aplicado a la unificacion de terminos *
Alonso, José A.
´ecnica Superior de Ingenier´ia Inform´atica, Universidad de Sevilla Avda. Reina Mercedes, s/n. 41012 Sevilla, Espa definici´on y verificaci´on formal de un algoritmo de unificaci´on de t´erminos de primer orden, usando es hebra simple en ACL2 hace posible compaginar en un mismo entorno la definici´on de algoritmos con
Formal Safety analysis of a radiobased railroad crossing using Deductive CauseConsequence
Reif, Wolfgang
#ects analysis (FMEA) and fault tree analysis (FTA). We apply the method to a real world case study: a radio (DCCA). This technique is a formal generalization of 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
Southampton, University of
Patterns for Representing FMEA in Formal Specification of Control Systems Ilya Lopatkin, Alexei, Finland {Yuliya.Prokhorova, Elena.Troubitsyna}@abo.fi Abstract -- Failure Modes and Effects analysis (FMEA) is a widely used technique for inductive safety analysis. FMEA provides engineers with valuable information
Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination
the design phase. The formal analysis of the mixed digital-analog nature of hybrid systems r, and robots. Designing reliable hybrid systems is a challenging task. Control theoretic tools enable. A game-theoretic approach to designing controllers for hybrid systems with a hierarchical structure
LARGE DEVIATIONS AND THE THERMODYNAMIC FORMALISM: A NEW PROOF OF THE EQUIVALENCE OF ENSEMBLES a
LARGE DEVIATIONS AND THE THERMODYNAMIC FORMALISM: A NEW PROOF OF THE EQUIVALENCE OF ENSEMBLES a J The Equivalence of Ensembles In statistical mechanics the problem of the equivalence of ensembles goes back, the microcanonical measures and the grand canonical measures are equivalent; making precise the meaning
A formal software requirements specification method for digital nuclear plant protection systems
A formal software requirements specification method for digital nuclear plant protection systems) and AITrc/SPIC, 373-1, Kusong-dong, Yusong-gu, Taejon 305701, South Korea b Korea Atomic Energy Research plant protection system in nuclear power plants. NuSCR improves the readability and specifiability
Capability & Potential for Formal Feature-oriented Reuse in Event-B
debugging earlier in the software de- velopment life cycle (SDLC). It is also well known that cost of finding and fixing the bugs later in the SDLC is much more expensive than in the ear- lier requirements more time is spent in the earlier phase of SDLC while using formal modelling, significant reduction
Use of Patterns in Formal Development: Systematic Transition From Problems to Architectural
Choppy, Christine
development lifecycle that derives the design of the software directly from the require ments and then passes present a patternbased software lifecycle and a method that sup ports the systematic execution of that lifecycle. First, problem frames are used to develop a formal specification of the problem to be solved
Use of Patterns in Formal Development: Systematic Transition From Problems to Architectural
Choppy, Christine
development lifecycle that derives the design of the software directly from the require- ments and then passes present a pattern-based software lifecycle and a method that sup- ports the systematic execution of that lifecycle. First, problem frames are used to develop a formal specification of the problem to be solved
Algorithms for the splitting of formal series; applications to alien differential calculus
Dumas, Jean-Guillaume
Algorithms for the splitting of formal series; applications to alien differential calculus Fr effective calculations with ´Ecalle's alien derivations for these series. We apply our techniques to some of alien derivations on these series, generalizing the ones made in [8] for equation of rank
Formal Results Regarding Metric-Space Techniques for the Study of Astrophysical Maps
Fred C. Adams; Jennifer J. Wiseman
1994-04-20T23:59:59.000Z
We extend a newly developed formal system for the description of astrophysical maps. In this formalism, we consider the difference between maps to be the distance between elements of a pseudometric space (the space of all such maps). This ansatz allows us to measure quantitatively the difference between any two maps and to order the space of all maps. For each physical characteristic of interest, this technique assigns an ``output'' function to each map; the difference between the maps is then determined from the difference between their corresponding output functions. In this present study, we show that the results of this procedure are invariant under a class of transformations of the maps and the domains of the maps. In addition, we study the propagation of errors (observational uncertainties) through this formalism. We show that the uncertainties in the output functions can be controlled provided that the signal to noise ratios in the original astrophysical maps are sufficiently high. The results of this paper thus increase the effectiveness of this formal system for the description, classification, and analysis of astrophysical maps.
Nordic Journal of Computing 13(2006), 221 Structured Formal Development in Isabelle
Johnsen, Einar Broch
2006-01-01T23:59:59.000Z
Nordic Journal of Computing 13(2006), 221 Structured Formal Development in Isabelle MAKSYM BORTIN] offer powerful proof support, and include libraries formalising a considerable amount of mathematics. This is particularly use- ful for developing safety-critical systems where a full formalisation is needed, Research
Nordic Journal of Computing 13(2006), 1--20. STRUCTURED FORMAL DEVELOPMENT IN ISABELLE
Lüth, Christoph - Deutschen Forschungszentrum für Künstliche Intelligenz & Fachbereich 3
2006-01-01T23:59:59.000Z
Nordic Journal of Computing 13(2006), 1--20. STRUCTURED FORMAL DEVELOPMENT IN ISABELLE MAKSYM#er powerful proof support, and include libraries formalising a considerable amount of mathematics. This is particularly useful for developing safetycritical systems # Research supported by DFG under grants LU 707
Seminario Informal (mas Formal!) 2006 Estrategias da Teoria de Reescrita em PVS
Ayala-RincÃ³n, Mauricio
4o SeminÂ´ario Informal (mas Formal!) 2006 EstratÂ´egias da Teoria de Reescrita em PVS: considerac Reescrita Porque EstratÂ´egias em PVS s~ao Importantes Conclus~ao e Trabalho Futuro AndrÂ´e Luiz Galdino
A Formal Verification Method of Function Block Diagram Kwang Yong Koh1
Jee, Eunkyoung
control systems in chemical processing plants, nuclear power plants or traffic control systems [1A Formal Verification Method of Function Block Diagram Kwang Yong Koh1 , Poong Hyun Seong1 , Eun Engineering, KAIST 2 Division of Computer Science, Department of Electrical Engineering and Computer Science
Xu, Haiping
that DRBD provides a powerful tool for system reliability modeling, and our proposed verification approachFORMAL SEMANTICS AND VERIFICATION OF DYNAMIC RELIABILITY BLOCK DIAGRAMS FOR SYSTEM RELIABILITY-scale computer-based systems. KEY WORDS Reliability modeling, dynamic reliability block diagrams (DRBD), Object
Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter
Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter helicopter and its onboard embedded computing system for flight control and real-time transmission and application services for an unmanned helicopter. It will be used for responding to disasters such as forest
Formal Methods for First Years Faron Moller Liam O'Reilly
Moller, Faron G.
computer programs (the mathematical software) and building computers (the engineering hardware). Textbooks as bridges or aeroplanes, and a canon of mathematical methods for modelling computing systems is thereforeFormal Methods for First Years Faron Moller Liam O'Reilly Department of Computer Science Swansea
Formal Verification Integration Approach for Faiez Zalila, Xavier Cregut, and Marc Pantel
Paris-Sud XI, Université de
critical systems. In this context, model validation and verification (V&V) activities are key features) for the verification of safety critical embedded systems has produced very good results and raised the inter- est the benefits of these power- ful methods. More precisely, we propose a language to formally express system
Analyzing a Controller of a Power Distribution Unit Using Formal Methods
Groote, Jan Friso
to apply formal verification. The system included two previously uncovered errors, detected via model the clinical users the expected behavior of the system. As a result of the behavioral verification, two regarding required changes to the powering status of the system. If the PDU does not function correctly
Oxford, University of
Formal Analysis and Validation of Continuous-Time Markov Chain based System Level Power Management that competitive analysis based power management strategies can be automatically analyzed for proving competitive bounds and for validating power management strate- gies using the SMV model checker. In this paper, we
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Ha, Dong S.
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management Shrirang, tlmartin, ha}@vt.edu Abstract Recent advances in Dynamic Power Management (DPM) tech- niques have resulted in designs that support a rich set of power management options, both at the hardware and software levels
Oxford, University of
Formal Analysis and Validation of ContinuousTime Markov Chain based System Level Power Management that competitive analysis based power management strategies can be automatically analyzed for proving competitive bounds and for validating power management strate gies using the SMV model checker. In this paper, we
A formally fourth-order accurate compact scheme for 3D Poisson equation in cylindrical and spherical
Lai, Ming-Chih
A formally fourth-order accurate compact scheme for 3D Poisson equation in cylindrical- pact Fourth-Order Poisson Solver on Polar Geometry, J. Comput. Phys., 182, 337-345 (2002)) to three the partial differential equations of Fourier coefficients are solved by a formally fourth-order accurate
MonitorBased Formal Specification of PCI Kanna Shimizu 1 , David L. Dill 1 , and Alan J. Hu 2
Dill, David L.
MonitorBased Formal Specification of PCI Kanna Shimizu 1 , David L. Dill 1 , and Alan J. Hu 2 1@cs.stanford.edu http://radish.stanford.edu/pci 2 Dept. of Computer Science, Univ. of British Columbia, Canada ajh specification is demonstrated by formally specifying a large subset of the PCI 2.2 standard and finding several
DOI 10.1007/s00165-005-0071-z Formal Aspects of Computing (2005) 17: 461483
Clarke, Edmund M.
2005-01-01T23:59:59.000Z
DOI 10.1007/s00165-005-0071-z BCS © 2005 Formal Aspects of Computing (2005) 17: 461483 Formal a framework for model checking concurrent software systems which incorporates both states and events. Contrary incorporated within complex software systems. In many instances, errors in such systems can have dramatic
Walker, Matthew P.
LOGISTICS EOC Title: Logistics Section Chief General Description The Logistics Section Chief EOC operating requirements. Key Role & Responsibilities · Ensure the logistics function is carried out Staff for Complex Incidents Training for Section Chiefs · Logistics Section Chief Training #12;
A nuclear cross section data handbook
Fisher, H.O.M.
1989-12-01T23:59:59.000Z
Isotopic information, reaction data, data availability, heating numbers, and evaluation information are given for 129 neutron cross-section evaluations, which are the source of the default cross sections for the Monte Carlo code MCNP. Additionally, pie diagrams for each nuclide displaying the percent contribution of a given reaction to the total cross section are given at 14 MeV, 1 MeV, and thermal energy. Other information about the evaluations and their availability in continuous-energy, discrete-reaction, and multigroup forms is provided. The evaluations come from ENDF/B-V, ENDL85, and the Los Alamos Applied Nuclear Science Group T-2. Graphs of all neutron and photon production cross-section reactions for these nuclides have been categorized and plotted. 21 refs., 5 tabs.
electronic reprint Acta Crystallographica Section B
Brock, Carolyn P.
electronic reprint Acta Crystallographica Section B Structural Science, Crystal Engineering page is retained. Republication of this article or its storage in electronic databases other than Science, Crystal Engineering and Materials Editors: Alexander J. Blake and Marc de Boissieu journals
MODELING AND FISSION CROSS SECTIONS FOR AMERICIUM.
ROCHMAN, D.; HERMAN, M.; OBLOZINSKY, P.
2005-05-01T23:59:59.000Z
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.
Modified Empirical Parametrization of Fragmentation Cross Sections
K. Sümmerer; B. Blank
1999-11-17T23:59:59.000Z
New experimental data obtained mainly at the GSI/FRS facility allow to modify the empirical parametrization of fragmentation cross sections, EPAX. It will be shown that minor modifications of the parameters lead to a much better reproduction of measured cross sections. The most significant changes refer to the description of fragmentation yields close to the projectile and of the memory effect of neutron-deficient projectiles.
Path forward for dosimetry cross sections
Griffin, P.J. [Sandia National Laboratories, Albuquerque, NM 87185-1146 (United States); Peters, C.D. [Sandia Staffing Alliance, Albuquerque, NM 87110 (United States)
2011-07-01T23:59:59.000Z
In the 1980's the dosimetry community embraced the need for a high fidelity quantification of uncertainty in nuclear data used for dosimetry applications. This led to the adoption of energy-dependent covariance matrices as the accepted manner of quantifying the uncertainty data. The trend for the dosimetry community to require high fidelity treatment of uncertainty estimates has continued to the current time where requirements on nuclear data are codified in standards such as ASTM E 1018. This paper surveys the current state of the dosimetry cross sections and investigates the quality of the current dosimetry cross section evaluations by examining calculated-to-experimental ratios in neutron benchmark fields. In recent years more nuclear-related technical areas are placing an emphasis on uncertainty quantification. With the availability of model-based cross sections and covariance matrices produced by nuclear data codes, some nuclear-related communities are considering the role these covariance matrices should play. While funding within the dosimetry community for cross section evaluations has been very meager, other areas, such as the solar-related astrophysics community and the US Nuclear Criticality Safety Program, have been supporting research in the area of neutron cross sections. The Cross Section Evaluation Working Group (CSEWG) is responsible for the creation and maintenance of the ENDF/B library which has been the mainstay for the reactor dosimetry community. Given the new trends in cross section evaluations, this paper explores the path forward for the US nuclear reactor dosimetry community and its use of the ENDF/B cross-sections. The major concern is maintenance of the sufficiency and accuracy of the uncertainty estimate when used for dosimetry applications. The two major areas of deficiency in the proposed ENDF/B approach are: 1) the use of unrelated covariance matrices in ENDF/B evaluations and 2) the lack of 'due consideration' of experimental data in the evaluation. (authors)
Operator formalism for b-c systems with $?=1$ on general algebraic curves
F. Ferrari; J. Sobczyk
1995-01-27T23:59:59.000Z
In this letter we develope an operator formalism for the $b-c$ systems with conformal weight $\\lambda=1$ defined on a general closed and orientable Riemann surface. The advantage of our approach is that the Riemann surface is represented as an affine algebraic curve. In this way it is possible to perform explicit calculations in string theory at any perturbative order. Besides the obvious applications in string theories and conformal field theories, (the $b-c$ systems at $\\lambda=1$ are intimately related to the free scalar field theory), the operator formalism presented here sheds some light also on the quantization of field theories on Riemann surfaces. In fact, we are able to construct explicitly the vacuum state of the $b-c$ systems and to define creation and annihilation operators. All the amplitudes are rigorously computed using simple normal ordering prescriptions as in the flat case.
Matsen, Frederick A
2011-01-01T23:59:59.000Z
Although taxonomy is often used informally to evaluate the results of phylogenetic inference and find the root of phylogenetic trees, algorithmic methods to do so are lacking. In this paper we formalize these procedures and develop algorithms to solve the relevant problems. In particular, we introduce a new algorithm that solves a "uncoloring" problem for expressing the difference between the taxonomy and phylogeny at a given rank. This algorithm improves upon the current best algorithm in terms of asymptotic complexity for the parameter regime of interest; we also describe a branch-and-bound algorithm that saves orders of magnitude in computation on real data sets. We also develop a formalism and an algorithm for rooting phylogenetic trees according to a taxonomy. All of these algorithms are implemented in freely-available software.
Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
Wollbold, Johannes; Ganter, Bernhard
2008-01-01T23:59:59.000Z
Our aim is to build a set of rules, such that reasoning over temporal dependencies within gene regulatory networks is possible. The underlying transitions may be obtained by discretizing observed time series, or they are generated based on existing knowledge, e.g. by Boolean networks or their nondeterministic generalization. We use the mathematical discipline of formal concept analysis (FCA), which has been applied successfully in domains as knowledge representation, data mining or software engineering. By the attribute exploration algorithm, an expert or a supporting computer program is enabled to decide about the validity of a minimal set of implications and thus to construct a sound and complete knowledge base. From this all valid implications are derivable that relate to the selected properties of a set of genes. We present results of our method for the initiation of sporulation in Bacillus subtilis. However the formal structures are exhibited in a most general manner. Therefore the approach may be adapte...
A Solution to the Missing Link in the Press-Schechter Formalism
Masahiro Nagashima
2001-08-29T23:59:59.000Z
The Press-Schechter (PS) formalism for mass functions of the gravitationally collapsed objects is reanalyzed. It has been suggested by many authors that the PS mass function agrees well with the mass function given by $N$-body simulations, while many too simple assumptions are contained in the formalism. In order to understand why the PS formalism works well we consider the following three effects on the mass function: the filtering effect of the density fluctuation field, the peak ansatz in which objects collapse around density maxima, and the spatial correlation of density contrasts within a region of a collapsing halo because objects have non-zero finite volume. According to the method given by Yano, Nagashima & Gouda (YNG) who used an integral formula proposed by Jedamzik, we resolve the missing link in the PS formalism, taking into account the three effects. While YNG showed that the effect of the spatial correlation alters the original PS mass function, in this paper, we show that the filtering effect almost cancels out the effect of the spatial correlation and that the original PS is almost recovered by combining these two effects, particularly in the case of the top-hat filter. On the other hand, as for the peak ansatz, the resultant mass functions are changed dramatically and not in agreement especially at low-mass tails in the cases of the Gaussian and the sharp $k$-space filters. We show that these properties of the mass function can be interpreted in terms of the kernel probability $P(M_{1}| M_{2})$ in the integral formula qualitatively.
On the breaking and restoration of symmetries within the nuclear energy density functional formalism
T. Duguet; J. Sadoudi
2010-10-19T23:59:59.000Z
We review the notion of symmetry breaking and restoration within the frame of nuclear energy density functional methods. We focus on key differences between wave-function- and energy-functional-based methods. In particular, we point to difficulties encountered within the energy functional framework and discuss new potential constraints on the underlying energy density functional that could make the restoration of broken symmetries better formulated within such a formalism. We refer to Ref.~\\cite{duguet10a} for details.
Shape invariance and the exactness of quantum Hamilton-Jacobi formalism
Charles Cherqui; Yevgeny Binder; Asim Gangopadhyaya
2007-09-25T23:59:59.000Z
Quantum Hamilton-Jacobi Theory and supersymmetric quantum mechanics (SUSYQM) are two parallel methods to determine the spectra of a quantum mechanical systems without solving the Schr\\"odinger equation. It was recently shown that the shape invariance, which is an integrability condition in SUSYQM formalism, can be utilized to develop an iterative algorithm to determine the quantum momentum functions. In this paper, we show that shape invariance also suffices to determine the eigenvalues in Quantum Hamilton-Jacobi Theory.
A relativistic formalism for computation of irrotational binary stars in quasi equilibrium states
Masaru Shibata
1998-04-23T23:59:59.000Z
We present relativistic hydrostatic equations for obtaining irrotational binary neutron stars in quasi equilibrium states in 3+1 formalism. Equations derived here are different from those previously given by Bonazzola, Gourgoulhon, and Marck, and have a simpler and more tractable form for computation in numerical relativity. We also present hydrostatic equations for computation of equilibrium irrotational binary stars in first post-Newtonian order.
Study of fusion dynamics using Skyrme energy density formalism with different surface corrections
Ishwar Dutt; Narinder K. Dhiman
2010-11-19T23:59:59.000Z
Within the framework of Skyrme energy density formalism, we investigate the role of surface corrections on the fusion of colliding nuclei. For this, the coefficient of surface correction was varied between 1/36 and 4/36, and its impact was studied on about 180 reactions. Our detailed investigations indicate a linear relationship between the fusion barrier heights and strength of the surface corrections. Our analysis of the fusion barriers advocate the strength of surface correction of 1/36.
Cho-Duan-Ge decomposition of QCD in the constraintless Clairaut-type formalism
Michael L. Walker; Steven Duplij
2015-03-15T23:59:59.000Z
We apply the recently derived constraintless Clairaut-type formalism to the Cho-Duan-Ge decomposition in SU(2) QCD. We find nontrivial corrections to the physical equations of motion and that the contribution of the topological degrees of freedom is qualitatively different from that found by treating the monopole potential as though it were dynamic. We also find alterations to the field commutation relations that undermine the particle interpretation in the presence of the chromomonopole condensate.
Canonical formalism for a 2n-dimensional model with topological mass generation
Deguchi, Shinichi [Institute of Quantum Science, College of Science and Technology, Nihon University, Chiyoda-ku, Tokyo 101-8308 (Japan)
2008-12-15T23:59:59.000Z
The four-dimensional model with topological mass generation that was found by Dvali, Jackiw, and Pi has recently been generalized to any even number of dimensions (2n dimensions) in a nontrivial manner in which a Stueckelberg-type mass term is introduced [S. Deguchi and S. Hayakawa, Phys. Rev. D 77, 045003 (2008)]. The present paper deals with a self-contained model, called here a modified hybrid model, proposed in this 2n-dimensional generalization and considers the canonical formalism for this model. For the sake of convenience, the canonical formalism itself is studied for a model equivalent to the modified hybrid model by following the recipe for treating constrained Hamiltonian systems. This formalism is applied to the canonical quantization of the equivalent model in order to clarify observable and unobservable particles in the model. The equivalent model (with a gauge-fixing term) is converted to the modified hybrid model (with a corresponding gauge-fixing term) in a Becchi-Rouet-Stora-Tyutin-invariant manner. Thereby it is shown that the Chern-Pontryagin density behaves as an observable massive particle (or field). The topological mass generation is thus verified at the quantum-theoretical level.
Calculation of the Cherenkov fields in the cross-section of a short relativistic bunch
Baturin, S S
2015-01-01T23:59:59.000Z
Recently, a new method for calculating the Cherenkov field acting on a point-like electron bunch passing through longitudinally homogeneous structures lined with arbitrary slowdown layers was proposed, where the formalism was obtained though consideration of a general integral relation that allows calculation of the fields at the vicinity of a point-like bunch. It demonstrates that the Cherenkov field at the point of the short relativistic bunch does not depend on the waveguide system material and is a constant for any given transverse dimensions and cross-section shapes of waveguides. With this paper we present a strict derivation of the fields formulas valid at the cross-section of a bunch on the basis of a conformal mapping method. We generalize the results of the previous paper to the case of transversely distributed bunch by deriving a two-dimensional Green function at the cross-section of a bunch. Comparison of the results proving validity of the method is given in the appendix.
Temperature Dependent Neutron Scattering Sections for Polyethylene
Roger E. Hill; C. -Y. Liu
2003-09-05T23:59:59.000Z
This note presents neutron scattering cross sections for polyethylene at 296 K, 77 K and 4 K derived from a new scattering kernel for neutron scattering off of hydrogen in polyethylene. The kernel was developed in ENDF-6 format as a set of S(alpha,beta) tables using the LEAPR module of the NJOY94 code package. The polyethylene density of states (from 0 to sub eV) adopted to derive the new kernel is presented. We compare our calculated room temperature total scattering cross sections and double differential cross sections at 232 meV at various angles with the available experimental data (at room temperature), and then extrapolate the calculations to lower temperatures (77K and 4K). The new temperature dependent scattering kernel gives a good quantitative fit to the available room temperature data and has a temperature dependence that is qualitatively consistent with thermodynamics.
The $?^* ?^*$ total cross section in NLA BFKL
Dmitry Yu. Ivanov; Beatrice Murdaca; Alessandro Papa
2014-11-16T23:59:59.000Z
We study the $\\gamma^* \\gamma^*$ total cross section in the NLA BFKL approach. We have extracted the NLO corrections to the photon impact factor from two recent papers of Balitsky and Chirilli and Chirilli and Kovchegov and used them to build several representations of the total cross section, equivalent within the NLA. We have combined these different representations with two among the most common methods for the optimization of a perturbative series, namely PMS and BLM, and compared their behavior with the energy with the only available experimental data, those from the LEP2 collider.
Covariance Evaluation Methodology for Neutron Cross Sections
Herman,M.; Arcilla, R.; Mattoon, C.M.; Mughabghab, S.F.; Oblozinsky, P.; Pigni, M.; Pritychenko, b.; Songzoni, A.A.
2008-09-01T23:59:59.000Z
We present the NNDC-BNL methodology for estimating neutron cross section covariances in thermal, resolved resonance, unresolved resonance and fast neutron regions. The three key elements of the methodology are Atlas of Neutron Resonances, nuclear reaction code EMPIRE, and the Bayesian code implementing Kalman filter concept. The covariance data processing, visualization and distribution capabilities are integral components of the NNDC methodology. We illustrate its application on examples including relatively detailed evaluation of covariances for two individual nuclei and massive production of simple covariance estimates for 307 materials. Certain peculiarities regarding evaluation of covariances for resolved resonances and the consistency between resonance parameter uncertainties and thermal cross section uncertainties are also discussed.
Total Cross Sections for Neutron Scattering
C. R. Chinn; Ch. Elster; R. M. Thaler; S. P. Weppner
1994-10-19T23:59:59.000Z
Measurements of neutron total cross-sections are both extensive and extremely accurate. Although they place a strong constraint on theoretically constructed models, there are relatively few comparisons of predictions with experiment. The total cross-sections for neutron scattering from $^{16}$O and $^{40}$Ca are calculated as a function of energy from $50-700$~MeV laboratory energy with a microscopic first order optical potential derived within the framework of the Watson expansion. Although these results are already in qualitative agreement with the data, the inclusion of medium corrections to the propagator is essential to correctly predict the energy dependence given by the experiment.
Precise neutron inelastic cross section measurements
Negret, Alexandru [Horia Hulubei National Institute for Physics and Nuclear Engineering, Reactorului 30, 077125 Bucharest-Magurele (Romania)
2012-11-20T23:59:59.000Z
The design of a new generation of nuclear reactors requires the development of a very precise neutron cross section database. Ongoing experiments performed at dedicated facilities aim to the measurement of such cross sections with an unprecedented uncertainty of the order of 5% or even smaller. We give an overview of such a facility: the Gamma Array for Inelastic Neutron Scattering (GAINS) installed at the GELINA neutron source of IRMM, Belgium. Some of the most challenging difficulties of the experimental approach are emphasized and recent results are shown.
Treanor, Morag
2013-01-01T23:59:59.000Z
A response to the Government’s ‘Measuring child poverty: A consultation on better measures of child poverty’ from the Centre for Research on Families and Relationships (CRFR) at the University of Edinburgh www.crfr.ac.uk...
Miami, University of
Clay Cane Clay Cane is a New York City-based, award-winning writer and media consultant. His work social commen- tary website, www.ClayCane. net, a 2007 and 2008 Black Weblog Awards nominee. The College
Invasion Ecology of Aquatic Animals FAS 4932 (section 8143) and FAS 6932 (Section 6725)
Watson, Craig A.
Invasion Ecology of Aquatic Animals FAS 4932 (section 8143) and FAS 6932 (Section 6725) Fall 2006 will provide a comprehensive overview of the field of invasion ecology and will emphasize aspects related will be presented the ecological concepts and debates underlying this developing field; the biology and life history
Report ofReport of Nuclear Fusion Section,Nuclear Fusion Section,
Report ofReport of Nuclear Fusion Section,Nuclear Fusion Section, National Committee for NuclearJapan Atomic Energy Research Institute On the New Way of Nuclear Fusion ResearchOn the New Way of Nuclear on the new way of developing nuclear fusion under the new circumstances (chair: Prof. A. Koyama) under
45. Neutrino Cross Section Measurements 1 45. Neutrino Cross Section Measurements
for such information in the interpretation of neutrino oscillation data. Scattering results on both charged current (CC, analysis techniques, and detector technologies. With the advent of intense neutrino sources for oscillation45. Neutrino Cross Section Measurements 1 45. Neutrino Cross Section Measurements Written in April
Chapter 7, section 6-8 Chapter 8, section 1-5
Gravitational Potential Energy, cont There is no change in kinetic energy since the book starts and ends1 Week 7, Chapter 7, section 6-8 Chapter 8, section 1-5 Potential Energy and Energy Conservation Potential Energy Potential energy is energy related to the configuration of a system in which
electronic reprint Acta Crystallographica Section B
Vocadlo, Lidunka
electronic reprint Acta Crystallographica Section B Structural Science ISSN 0108-7681 Structures, concluding that a CsCl-type structure would be the thermo- dynamically most stable phase for pressures calculations Lidunka Vocadlo, Geoffrey D. Price and I. G. Wood Copyright © International Union
ICCAT BIGEYETUNA STATISTICAL DOCUMENT EXPORT SECTION
DOCUMENT NUMBER ICCAT BIGEYETUNA STATISTICAL DOCUMENT EXPORT SECTION: 1. FLAG COUNTRY. (if applicable) 3.TRAPS (if applicable) 4. POINT OF EXPORT (City, State/Province, Country When the Gear Code is OT, describe the type of gear: ) 6. EXPORTER CERTIFICATION: Icertifythattheabove
Testing (Validating?) Cross Sections with ICSBEP Benchmarks
Kahler, Albert C. III [Los Alamos National Laboratory
2012-06-28T23:59:59.000Z
We discuss how to use critical benchmarks from the International Handbook of Evaluated Criticality Safety Benchmark Experiments to determine the applicability of specific cross sections to the end-user's problem of interest. Particular attention is paid to making sure the selected suite of benchmarks includes the user's range of applicability (ROA).
electronic reprint Acta Crystallographica Section E
Downs, Robert T.
: W. Clegg and D. G. Watson Goethite, «-FeO(OH), from single-crystal data Hexiong Yang, Ren Lu, Robert Crystallographica Section E Structure Reports Online ISSN 1600-5368 Goethite, a-FeO(OH), from single-crystal data Union of Crystallography All rights reserved This is the first reported structure refinement of goethite
GRAPHICS PROGRAMMING Section B Java 2D
Hill, Gary
GRAPHICS PROGRAMMING Section B Java 2D 20 - Graphics2D: Introduction 21 - Graphics2D: Shapes 22 2D: General Path Curves 29 - Graphics 2D: Constructive Area Geometry Gary Hill December 2003 Java 2 Java initially through the Abstract Window Toolkit, which was extended to include swing, shortly
Supporting Information S1. Experimental Section
Wang, Zhong L.
chemicals were used as received. Carbon nanotubes were dissolved in ethanol and untrasonicated for 1 h.0) is used as the biofuel in the performance test. The life span is about 2 month with the output decreased1 Supporting Information S1. Experimental Section Growth of ZnO NW film on carbon fibers. Carbon
Equivalence and Order Section 1: Equivalence
Bernstein, Daniel
Unit EO Equivalence and Order Section 1: Equivalence The concept of an equivalence relation to us, as "equivalence relation" turns out to be just another name for "partition of a set." Our start with the definition. Definition 1 (Equivalence relation) An equivalence relation on a set
Section Notes 3 The Simplex Algorithm
Chen, Yiling
Section Notes 3 The Simplex Algorithm Applied Math 121 Week of September 22, 2014 Goals for the week Â· understand how to get from an LP to a simplex tableau. Â· be familiar with reduced costs, optimal solutions, different types of variables and their roles. Â· understand the steps of simplex phases I and II
Section Notes 3 The Simplex Algorithm
Chen, Yiling
Section Notes 3 The Simplex Algorithm Applied Math 121 Week of February 14, 2011 Goals for the week Â· understand how to get from an LP to a simplex tableau. Â· be familiar with reduced costs, optimal solutions, different types of variables and their roles. Â· understand the steps of simplex phases I and II. Â· be able
Section Notes 3 The Simplex Algorithm
Chen, Yiling
Section Notes 3 The Simplex Algorithm Applied Math 121 Week of February 17, 2014 Goals for the week Â· understand how to get from an LP to a simplex tableau. Â· be familiar with reduced costs, optimal solutions, different types of variables and their roles. Â· understand the steps of simplex phases I and II. Â· be able
SPECIAL SECTION GUEST EDITORIAL Optics in Neuroscience
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
SECTION GS1020 CONSTRUCTION CODE REQUIREMENTS
Zhang, Yuanlin
101, Life Safety Code; 5. National Fire Protection Association Codes and Standards; 6. ANSI/ASME A17SECTION GS1020 Â CONSTRUCTION CODE REQUIREMENTS PART 1 - GENERAL 1.1 RELATED DOCUMENTS A. Drawings includes the following: 1. Construction code requirements for all construction at Texas Tech University. 1
Cross Sections: Key for Modeling Vasili Kharchenko
Johnson, Robert E.
electrons H+ Heq+ Oq+ Sq+ ions H C He O N S energetic neutral atoms Energy relaxation of fast particles; non-thermal Â· Energy deposition by ENAs precipitating into planetary atmospheres Computational Methods: Â· Quantum scattering dominates Â· Angular dependence are also important at thermal energies. Â· Total cross section may
Section 4 -Financial Information A. General Information
Pantaleone, Jim
Section 4 - Financial Information A. General Information 1. All University Housing and Dining fees of Alaska campuses until the debt is paid in full. B. Security deposit 1. A security deposit is required performance of the agreement, and (2) for damages beyond normal wear and tear. The security deposit does
Dr. Thad M. Adams Materials Technology Section
Dr. Thad M. Adams Materials Technology Section Savannah River National Laboratory DOE Hydrogen extraction/handling/separation/storage operations · Applied R&D provided by Savannah River National for Hydrogen Service #12;Hydrogen Technology at the SavannahHydrogen Technology at the Savannah River SiteRiver
The role of non-formal education in combating the HIV epidemic in the Philippines and Taiwan
Morisky, Donald E.; Lyu, Shu-Yu; Urada, Lianne A.
2009-01-01T23:59:59.000Z
15–49) HIV infection in Taiwan till year 2003. Formosanaddition treatment, Taipei, Taiwan. The role of non-formalH. S. (2007). HIV-1 in Taiwan. The Lancet, 369(9562), 623–
A. Hampel (Scientific Consultant)
Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE:1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirtA Journey InsideMicroBooNEAugust 2013 Tue, 08/27/2013 -11% - A :A hunch about theAA. A. Abrikosov2
ASSESSING, TRAINING AND CONSULTING
of the reform that began with the creation of the IRD,further stabilising the Institute's internal organisation Paciornik Technical adviser at the Brazilian research ministry, energy, environment Rémi Pochat Scientific researcher at the CNRS, climatology Sergio Revah, Professor at the Autonomous Metropolitan University, Mexico
Tribal Consultation and Stakeholder ...
Broader source: Energy.gov (indexed) [DOE]
this project is tied in with the Arctic Policy Commission. The Borough is trying to do wind---diesel in Point Lay, using Kotzebue and Nome as examples of best practices and to...
A formalism-local framework for general probabilistic theories including quantum theory
Lucien Hardy
2010-05-27T23:59:59.000Z
In this paper we consider general probabilistic theories that pertain to circuits which satisfy two very natural assumptions. We provide a formalism that is local in the following very specific sense: calculations pertaining to any region of spacetime employ only mathematical objects associated with that region. We call this "formalism locality". It incorporates the idea that space and time should be treated on an equal footing. Formulations that use a foliation of spacetime to evolve a state do not have this property nor do histories-based approaches. An operation (see figure on left) has inputs and outputs (through which systems travel). A circuit is built by wiring together operations such that we have no open inputs or outputs left over. A fragment (see figure on right) is a part of a circuit and may have open inputs and outputs. We show how each operation is associated with a certain mathematical object which we call a "duotensor" (this is like a tensor but with a bit more structure). In the figure on the left we show how a duotensor is represented graphically. We can link duotensors together such that black and white dots match up to get the duotensor corresponding to any fragment. The figure on the right is the duotensor for the above fragment. Links represent summing over the corresponding indices. We can use such duotensors to make probabilistic statements pertaining to fragments. Since fragments are the circuit equivalent of arbitrary spacetime regions we have formalism locality. The probability for a circuit is given by the corresponding duotensorial calculation (which is a scalar since there are no indices left over). We show how to put classical probability theory and quantum theory into this framework. [Note: the abstract in the paper has pictures.
Applications of the Generalized DDA Formalism and the Nature of Polarized Light in Deep Oceans
You, Yu
2010-01-16T23:59:59.000Z
ful llment of the requirements for the degree of DOCTOR OF PHILOSOPHY Approved by: Co-Chairs of Committee, George W. Kattawar Ping Yang Committee Members, Glenn Agnolet Edward S. Fry Head of Department, Edward S. Fry August 2008 Major Subject: Physics... iii ABSTRACT Applications of the Generalized DDA Formalism and the Nature of Polarized Light in Deep Oceans. (August 2008) Yu You, B.S., University of Science and Technology of China Co{Chairs of Advisory Committee: Dr. George W. Kattawar Dr. Ping Yang...
Tunneling time calculations for general finite wavepackets based on the presence time formalism
O. del Barco; M. Ortuño; V. Gasparian
2015-05-31T23:59:59.000Z
We analyze the tunneling time problem via the presence time formalism. With this method we reproduce previous results for very long wavepackets and we are able to calculate the tunneling time for general wavepackets of arbitrary shape and length. The tunneling time for a general wavepacket is equal to the average over the energy components of the standard phase time. With this approach we can also calculate the time uncertainty. We have checked that the results obtained with this approach agree extremely well with numerical simulations of the wavepacket evolution.
Interplay of causticity and vorticality within the complex quantum Hamilton-Jacobi formalism
A. S. Sanz; S. Miret-Artes
2008-06-04T23:59:59.000Z
Interference dynamics is analyzed in the light of the complex quantum Hamilton-Jacobi formalism, using as a working model the collision of two Gaussian wave packets. Though simple, this model nicely shows that interference in quantum scattering processes gives rise to rich dynamics and trajectory topologies in the complex plane, both ruled by two types of singularities: caustics and vortices, where the former are associated with the regime of free wave-packet propagation, and the latter with the collision (interference) process. Furthermore, an unambiguous picture connecting the complex and real frameworks is also provided and discussed.
Studying conformally flat spacetimes with an elastic stress energy tensor using 1+3 formalism
I. Brito; M. P. Machado Ramos
2015-01-12T23:59:59.000Z
Conformally flat spacetimes with an elastic stress energy tensor given by a diagonal trace-free anisotropic pressure tensor are investigated using 1+3 formalism. We show how the null tetrad Ricci components are related to the pressure components and energy density. The 1+3 Bianchi and Jacobi identities and Einstein field equations are written for this particular case. In general the commutators must be considered since they supply potentially new information on higher order derivatives of the 1+3 quantities. We solve the system for the non rotating case which consist of ODEs of a spatial coordinate.
Puncture black hole initial data in the conformal thin-sandwich formalism
Thomas W. Baumgarte
2011-08-17T23:59:59.000Z
We revisit the construction of puncture black hole initial data in the conformal thin-sandwich decomposition of Einstein's constraint equations. It has been shown previously that this approach cannot yield quasiequilibrium wormhole data, which connect two asymptotically flat spatial infinities. This argument does not apply to trumpet data, which connect the spatial infinity in one universe with the future timelike infinity of another. As a numerical demonstration we present results for a single boosted trumpet-puncture black holes, constructed in the original version of the conformal thin-sandwich formalism.
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...
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...
EPAct 2005 Section 242 Hydroelectric Incentive Program - 2013...
EPAct 2005 Section 242 Hydroelectric Incentive Program - 2013 Electrical Production EPAct 2005 Section 242 Hydroelectric Incentive Program - 2013 Electrical Production In 2014,...
Enabling Technologies for Ceramic Hot Section Components
Venkat Vedula; Tania Bhatia
2009-04-30T23:59:59.000Z
Silicon-based ceramics are attractive materials for use in gas turbine engine hot sections due to their high temperature mechanical and physical properties as well as lower density than metals. The advantages of utilizing ceramic hot section components include weight reduction, and improved efficiency as well as enhanced power output and lower emissions as a result of reducing or eliminating cooling. Potential gas turbine ceramic components for industrial, commercial and/or military high temperature turbine applications include combustor liners, vanes, rotors, and shrouds. These components require materials that can withstand high temperatures and pressures for long duration under steam-rich environments. For Navy applications, ceramic hot section components have the potential to increase the operation range. The amount of weight reduced by utilizing a lighter gas turbine can be used to increase fuel storage capacity while a more efficient gas turbine consumes less fuel. Both improvements enable a longer operation range for Navy ships and aircraft. Ceramic hot section components will also be beneficial to the Navy's Growth Joint Strike Fighter (JSF) and VAATE (Versatile Affordable Advanced Turbine Engines) initiatives in terms of reduced weight, cooling air savings, and capability/cost index (CCI). For DOE applications, ceramic hot section components provide an avenue to achieve low emissions while improving efficiency. Combustors made of ceramic material can withstand higher wall temperatures and require less cooling air. Ability of the ceramics to withstand high temperatures enables novel combustor designs that have reduced NO{sub x}, smoke and CO levels. In the turbine section, ceramic vanes and blades do not require sophisticated cooling schemes currently used for metal components. The saved cooling air could be used to further improve efficiency and power output. The objectives of this contract were to develop technologies critical for ceramic hot section components for gas turbine engines. Significant technical progress has been made towards maturation of the EBC and CMC technologies for incorporation into gas turbine engine hot-section. Promising EBC candidates for longer life and/or higher temperature applications relative to current state of the art BSAS-based EBCs have been identified. These next generation coating systems have been scaled-up from coupons to components and are currently being field tested in Solar Centaur 50S engine. CMC combustor liners were designed, fabricated and tested in a FT8 sector rig to demonstrate the benefits of a high temperature material system. Pretest predictions made through the use of perfectly stirred reactor models showed a 2-3x benefit in CO emissions for CMC versus metallic liners. The sector-rig test validated the pretest predictions with >2x benefit in CO at the same NOx levels at various load conditions. The CMC liners also survived several trip shut downs thereby validating the CMC design methodology. Significant technical progress has been made towards incorporation of ceramic matrix composites (CMC) and environmental barrier coatings (EBC) technologies into gas turbine engine hot-section. The second phase of the program focused on the demonstration of a reverse flow annular CMC combustor. This has included overcoming the challenges of design and fabrication of CMCs into 'complex' shapes; developing processing to apply EBCs to 'engine hardware'; testing of an advanced combustor enabled by CMCs in a PW206 rig; and the validation of performance benefits against a metal baseline. The rig test validated many of the pretest predictions with a 40-50% reduction in pattern factor compared to the baseline and reductions in NOx levels at maximum power conditions. The next steps are to develop an understanding of the life limiting mechanisms in EBC and CMC materials, developing a design system for EBC coated CMCs and durability testing in an engine environment.
Clean Water Act (Section 404) and Rivers and Harbors Act (Sections 9 and 10)
Not Available
1992-03-01T23:59:59.000Z
This Reference Book contains a current copy of the Clean Water Act (Section 404) and the Rivers and Harbors Act (Sections 9 and 10) and those regulations that implement those sections of the statutes and appear to be most relevant to DOE activities. The document is provided to DOE and contractor staff for informational purposes only and should not be interpreted as legal guidance. Updates that include important new requirements will be provided periodically. Questions concerning this Reference Book may be directed to Mark Petts, IH-231 (FTS 896-2609 or Commercial 202/586-2609).
Photonuclear Reaction Cross Sections for Gallium Isotopes
Serkan Akkoyun; Tuncay Bayram
2014-09-08T23:59:59.000Z
The photon induced reactions which are named as photonuclear reactions have a great importance in many field of nuclear, radiation physics and related fields. Since we have planned to perform photonuclear reaction on gallium target with bremmstrahlung photons from clinical linear accelerator in the future, the cross-sections of neutron (photo-neutron ({\\gamma},xn)) and proton (photo-proton ({\\gamma},xn)) productions after photon activation have been calculated by using TALYS 1.2 computer code in this study. The target nucleus has been considered gallium which has two stable isotopes, 69Ga and 71Ga. According to the results, we have seen that the calculations are in harmony in the limited literature values. Furthermore, the pre-equilibrium and compound process contributions to the total cross-section have been investigated.
Electron capture cross sections for stellar nucleosynthesis
P. G. Giannaka; T. S. Kosmas
2015-02-25T23:59:59.000Z
In the first stage of this work, we perform detailed calculations for the cross sections of the electron capture on nuclei under laboratory conditions. Towards this aim we exploit the advantages of a refined version of the proton-neutron quasi-particle random-phase approximation (pn-QRPA) and carry out state-by-state evaluations of the rates of exclusive processes that lead to any of the accessible transitions within the chosen model space. In the second stage of our present study, we translate the above mentioned $e^-$-capture cross sections to the stellar environment ones by inserting the temperature dependence through a Maxwell-Boltzmann distribution describing the stellar electron gas. As a concrete nuclear target we use the $^{66}Zn$ isotope, which belongs to the iron group nuclei and plays prominent role in stellar nucleosynthesis at core collapse supernovae environment.
Interfacial Transport Test section length = 4 m
Abdou, Mohamed
of applied electric currents: Magnetic Propulsion and other active electromagnetic restraint and pumping field and magnetic propulsion current 4.0E-03 4.5E-03 5.0E-03 5.5E-03 6.0E-03 0 0.05 0.1 0.15 0.2 0.25 0 downstream for entrance slot #12;Inclined-Plane Test Section · 300 A available for magnetic propulsion tests
Clean Water Act (excluding Section 404)
Not Available
1993-01-15T23:59:59.000Z
This Reference Book contains a current copy of the Clean Water Act (excluding Section 404) and those regulations that implement the statutes and appear to be most relevant to US Department of Energy (DOE) activities. The document is provided to DOE and contractor staff for informational purposes only and should not be interpreted as legal guidance. Updates that include important new requirements will be provided periodically. Questions concerning this Reference Book may be directed to Mark Petts, EH-231 (202/586-2609).
Magnetization dynamics: path-integral formalism for the stochastic Landau-Lifshitz-Gilbert equation
Camille Aron; Daniel G. Barci; Leticia F. Cugliandolo; Zochil Gonzalez Arenas; Gustavo S. Lozano
2014-12-31T23:59:59.000Z
We construct a path-integral representation of the generating functional for the dissipative dynamics of a classical magnetic moment as described by the stochastic generalization of the Landau-Lifshitz-Gilbert equation proposed by Brown, with the possible addition of spin-torque terms. In the process of constructing this functional in the Cartesian coordinate system, we critically revisit this stochastic equation. We present it in a form that accommodates for any discretization scheme thanks to the inclusion of a drift term. The generalized equation ensures the conservation of the magnetization modulus and the approach to the Gibbs-Boltzmann equilibrium in the absence of non-potential and time-dependent forces. The drift term vanishes only if the mid-point Stratonovich prescription is used. We next reset the problem in the more natural spherical coordinate system. We show that the noise transforms non-trivially to spherical coordinates acquiring a non-vanishing mean value in this coordinate system, a fact that has been often overlooked in the literature. We next construct the generating functional formalism in this system of coordinates for any discretization prescription. The functional formalism in Cartesian or spherical coordinates should serve as a starting point to study different aspects of the out-of-equilibrium dynamics of magnets. Extensions to colored noise, micro-magnetism and disordered problems are straightforward.
Laszlo Gyongyosi
2014-10-30T23:59:59.000Z
We propose a combined mathematical framework of order statistics and random matrix theory for multicarrier continuous-variable (CV) quantum key distribution (QKD). In a multicarrier CVQKD scheme, the information is granulated into Gaussian subcarrier CVs, and the physical Gaussian link is divided into Gaussian sub-channels. The sub-channels are dedicated to the conveying of the subcarrier CVs. The distribution statistics analysis covers the study of the distribution of the sub-channel transmittance coefficients in the presence of a Gaussian noise and the utilization of the moment generation function (MGF) in the error analysis. We reveal the mathematical formalism of sub-channel selection and formulation of the transmittance coefficients, and show a reduced complexity progressive sub-channel scanning method. We define a random matrix formalism for multicarrier CVQKD to evaluate the statistical properties of the information flowing process. Using random matrix theory, we express the achievable secret key rates and study the efficiency of the AMQD-MQA (adaptive multicarrier quadrature division-multiuser quadrature allocation) multiple-access multicarrier CVQKD. The proposed combined framework is particularly convenient for the characterization of the physical processes of experimental multicarrier CVQKD.
A covariant action principle for dissipative fluid dynamics: From formalism to fundamental physics
N. Andersson; G. L. Comer
2015-05-18T23:59:59.000Z
We present a new variational framework for dissipative general relativistic fluid dynamics. The model extends the convective variational principle for multi-fluid systems to account for a range of dissipation channels. The key ingredients in the construction are i) the use of a lower dimensional matter space for each fluid component, and ii) an extended functional dependence for the associated volume forms. In an effort to make the concepts clear, the formalism is developed in steps with the model example of matter coupled to heat considered at each level. Thus we discuss a model for heat flow, derive the relativistic Navier-Stokes equations and discuss why the individual dissipative stress tensors need not be spacetime symmetric. We argue that the new formalism, which notably does not involve an expansion away from an assumed equilibrium state, provides a conceptual breakthrough in this area of research and provide an ambitious list of directions in which one may want to extend it in the future. This involves an exciting set of problems, relating to both applications and foundational issues.
Los Alamos CCS (Center for Computer Security) formal computer security model
Dreicer, J.S.; Hunteman, W.J. (Los Alamos National Lab., NM (USA))
1989-01-01T23:59:59.000Z
This paper provides a brief presentation of the formal computer security model currently being developed at the Los Alamos Department of Energy (DOE) Center for Computer Security (CCS). The initial motivation for this effort was the need to provide a method by which DOE computer security policy implementation could be tested and verified. The actual analytical model was a result of the integration of current research in computer security and previous modeling and research experiences. The model is being developed to define a generic view of the computer and network security domains, to provide a theoretical basis for the design of a security model, and to address the limitations of present models. Formal mathematical models for computer security have been designed and developed in conjunction with attempts to build secure computer systems since the early 70's. The foundation of the Los Alamos DOE CCS model is a series of functionally dependent probability equations, relations, and expressions. The mathematical basis appears to be justified and is undergoing continued discrimination and evolution. We expect to apply the model to the discipline of the Bell-Lapadula abstract sets of objects and subjects. 5 refs.
FINANCE AND ADMINISTRATION EOC Title: Finance/Admin Section Chief
Walker, Matthew P.
FINANCE AND ADMINISTRATION EOC Title: Finance/Admin Section Chief General Description The Finance and for supervising members of the Finance/Administration Section. Key Role & Responsibilities · Coordinate all for Command and General Staff for Complex Incidents Training for Section Chiefs · Finance/Admin Section Chief
Selmic, Sandra
144 SECTION 12- HAZARD COMMUNICATION PROGRAM (HCP) 29 CFR Section 1920- "Hazardous Communications" states that, "the purpose of this section is to ensure that the hazards of all chemicals produced or imported are evaluated, and that information concerning their hazards is transmitted to employers
Averaging cross section data so we can fit it
Brown, D. [Brookhaven National Lab. (BNL), Upton, NY (United States). NNDC
2014-10-23T23:59:59.000Z
The ^{56}Fe cross section we are interested in have a lot of fluctuations. We would like to fit the average of the cross section with cross sections calculated within EMPIRE. EMPIRE is a Hauser-Feshbach theory based nuclear reaction code, requires cross sections to be smoothed using a Lorentzian profile. The plan is to fit EMPIRE to these cross sections in the fast region (say above 500 keV).
PG&E Reconductoring Project Biological Assessment (Revised)
Broader source: Energy.gov [DOE]
This biological assessment (BA) is to provide the information necessary for formal consultation between the Department of Energy (DOE) and U.S. Fish and Wildlife Service (USFWS) regarding the effects of the Proposed Action as required pursuant to Section 7(a)(2) of the Endangered Species Act (ESA).
Ruthruff, Joseph; Armstrong, Robert C.; Davis, Benjamin Garry; Mayo, Jackson; Punnoose, Ratish J.
2012-09-01T23:59:59.000Z
Formal methods describe a class of system analysis techniques that seek to prove specific propertiesabout analyzed designs, or locate flaws compromising those properties. As an analysis capability,these techniques are the subject of increased interest fromboth internal and external customersof Sandia National Laboratories. Given this lab's other areas of expertise, Sandia is uniquelypositioned to advance the state-of-the-art with respect toseveral research and application areaswithin formal methods. This research project was a one-yeareffort funded by Sandia's CyberSecurity S&T Investment Area in its Laboratory Directed Research&Development program toinvestigate the opportunities for formal methods to impactSandia's present mission areas, morefully understand the needs of the research community in the area of formal methods and whereSandia can contribute, and clarify from those potential research paths those that would best advancethe mission-area interests of Sandia. The accomplishmentsfrom this project reinforce the utilityof formal methods in Sandia, particularly in areas relevantto Cyber Security, and set the stagefor continued Sandia investments to ensure this capabilityis utilized and advanced within thislaboratory to serve the national interest.4
SECTION V: SUPERCONDUCTING CYCLOTRON AND INSTRUMENTATION
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), 2002; Level:5(Million Cubic Feet) Oregon (Including Vehicle Fuel) (Million CubicRefiners SwitchBenefits Â»Department of2Superallowed fermi beta decay:IV.SECTION V:
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a g eWorks -09-0018-CXNuon RenewablesRayburnSacramento,Schulthess Group JumpSeattle,Section 12 Home
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a gHigh4-FD-a < RAPIDâ€Ž | RoadmapSolarSABRE Gen JumpSave theSearsburg Wind EnergySecretSection 7
Sectional Model Flume Facilities | Open Energy Information
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-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 DeliciousPlasmaP a gHigh4-FD-a < RAPIDâ€Ž | RoadmapSolarSABRE Gen JumpSave theSearsburg Wind EnergySecretSection
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), 2002; Level:5 TablesExports(Journal Article) |govInstrumentsmfrirtA Journey Inside the Complex andFOUR Los Phase 1Miller wins Early CareerSections Group e-mail:
Section 999: Annual Plans | Department of Energy
Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site
AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousPlasma |Efficiency Â» Search resultsTechnology Â» Search1 Â»Programthe US DepartmentDepartmentSection 999:
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 DeliciousPlasma |Efficiency Â» Search resultsTechnology Â» Search1 Â»Programthe US DepartmentDepartmentSection 999:
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 DeliciousPlasma |Efficiency Â» Search resultsTechnology Â» Search1 Â»Programthe US DepartmentDepartmentSection 999:PART
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 DeliciousPlasma |Efficiency Â» Search resultsTechnology Â» Search1 Â»Programthe USM-1 Section J Appendix M KeyIVV
Fusion cross sections at deep subbarrier energies
K. Hagino; N. Rowley; M. Dasgupta
2003-02-12T23:59:59.000Z
A recent publication reports that heavy-ion fusion cross sections at extreme subbarrier energies show a continuous change of their logarithmic slope with decreasing energy, resulting in a much steeper excitation function compared with theoretical predictions. We show that the energy dependence of this slope is partly due to the asymmetric shape of the Coulomb barrier, that is its deviation from a harmonic shape. We also point out that the large low-energy slope is consistent with the surprisingly large surface diffusenesses required to fit recent high-precision fusion data.
Modelling and Formal Verification of Timing Aspects in Large PLC Programs
Fernandez Adiego, B; Blanco Vinuela, E; Tournier, J-C; Gonzalez Suarez, V M; Blech, J O
2014-01-01T23:59:59.000Z
One of the main obstacle that prevents model checking from being widely used in industrial control systems is the complexity of building formal models out of PLC programs, especially when timing aspects need to be integrated. This paper brings an answer to this obstacle by proposing a methodology to model and verify timing aspects of PLC programs. Two approaches are proposed to allow the users to balance the trade-off between the complexity of the model, i.e. its number of states, and the set of specifications possible to be verified. A tool supporting the methodology which allows to produce models for different model checkers directly from PLC programs has been developed. Verification of timing aspects for real-life PLC programs are presented in this paper using NuSMV.