National Library of Energy BETA

Sample records for formal toxicity summary

  1. Staff summary of Issues & Recommendations Toxic Contamination

    E-Print Network [OSTI]

    1 Staff summary of Issues & Recommendations Toxic Contamination *Preliminary draft, please refer in the program implementation section a requirement to implement actions to reduce toxic contaminants and types of known contaminants in the Columbia Basin be mapped, and a means of identifying contaminants

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

    E-Print Network [OSTI]

    Fournier, John J.F.

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

  3. The toxicity of different emulsions of toxaphene to cotton insects

    E-Print Network [OSTI]

    Selby, James Winford

    1952-01-01

    . Summary of the cotton boll weevil toxicity tests ~ . LS 5. Analysis of cotton bolL weevil control data ob- tained in the laboratory and field teste ~ ~ ~ ~ ~ 20 4 ~ Summary of the cotton boll weevil toxicity test in the Laboratorye ~ ~ ~ ~ ~ ~ ~ ~ e... ~ ~ ~ ~ ~ ~ ~ ~ o ~ ~ e ~ ~ ~ ~ ~ ~ ~ ~ 21 6 Summary of the saltish caterpillar toxicity tests ~ ~ ~ eo ~ ~ ~ ~ ~ e( ~ ~ ~ ~ ~ ~ ee ~ ~ ~ ~ ~ ~ o ~ ~ ~ ~ ~ ~ ~ e ~ a ~ ~ ~ ~ ~ 22 6 ~ Vedian lethal dosage {KID) of the test materials as obtained fran the Laboratory...

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

    E-Print Network [OSTI]

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

  5. AMO Industrial Distributed Energy: Summary of EPA Final Rules...

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

    Summary of EPA Final Rules for Air Toxic Standards for Industrial, Commercial, and Institutional (ICI) Boilers and Process Heaters ICF International for U.S. Department of Energy...

  6. Necessity of integral formalism

    E-Print Network [OSTI]

    Yong Tao

    2011-10-06

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

  7. Summary Chapter

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

    S-1 November 2012 Summary This chapter summarizes the draft environmental impact statement (EIS) prepared for the I-5 Corridor Reinforcement Project: Purpose of and need for action...

  8. Program Summaries

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

    Energy Sciences Advisory Committee (BESAC) News & Resources Program Summaries Brochures Reports Accomplishments Presentations BES and Congress Science for Energy Flow Seeing...

  9. Toxic remediation

    DOE Patents [OSTI]

    Matthews, Stephen M. (Alamed County, CA); Schonberg, Russell G. (Santa Clara County, CA); Fadness, David R. (Santa Clara County, CA)

    1994-01-01

    What is disclosed is a novel toxic waste remediation system designed to provide on-site destruction of a wide variety of hazardous organic volatile hydrocarbons, including but not limited to halogenated and aromatic hydrocarbons in the vapor phase. This invention utilizes a detoxification plenum and radiation treatment which transforms hazardous organic compounds into non-hazardous substances.

  10. Toxicities of selected substances to freshwater biota

    SciTech Connect (OSTI)

    Hohreiter, D.W.

    1980-05-01

    The amount of data available concerning the toxicity of various substances to freshwater biota is so large that it is difficult to use in a practical situation, such as environmental impact assessment. In this document, summary tables are presented showing acute and/or chronic toxicity of selected substances for various groups of aquatic biota. Each entry is referenced to its original source so that details concerning experimental conditions may be consulted. In addition, general information concerning factors modifying toxicity, synergisms, evidence of bioaccumulation, and water quality standards and criteria for the selected substances is given. The final table is a general toxicity table designed to provide an easily accessible and general indication of toxicity of selected substances in aquatic systems.

  11. Formalizing the concept of sound.

    SciTech Connect (OSTI)

    Kaper, H. G.; Tipei, S.

    1999-08-03

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

  12. A general theory of formality

    E-Print Network [OSTI]

    Beck, Andrew Edward

    2011-01-01

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

  13. PROJECT SUMMARY

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankADVANCED MANUFACTURINGEnergy Bills andOrder 422.1, CONDUCT P - . . -Pathways)PROJECT SUMMARY 1 TITLE

  14. Executive Summary

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative Fuelsof Energy Services » Program Management »Eric J.9Executive Summary

  15. Program Summaries

    Office of Science (SC) Website

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effectWorkingLosThe 26thI D-Nicholas Turro,Science (SC)ProbingProgram Summaries

  16. BETTER BUILDINGS PARTNER SUMMARIES | Department of Energy

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

    Camden, New Jersey Summary Chicago, Illinois Summary Evaluation Cincinnati, Ohio Summary Connecticut Summary Eagle County, Colorado Summary Fayette County, Pennsylvania Summary...

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

    E-Print Network [OSTI]

    Bittner, Thomas

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

  18. Building Reliable Software Applied Formal Methods

    E-Print Network [OSTI]

    Zimmerman, Daniel M.

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

  19. Leslie Matrix I Formal Demography

    E-Print Network [OSTI]

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

  20. Decision Summaries | Department of Energy

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

    Information Center Decision Summaries Decision Summaries June 19, 2015 Summary of Decisions - June 15, 2015 - June 19, 2015 Decisions were issued on: - Personnel Security (10...

  1. Hyperspherical harmonic formalism for tetraquarks

    E-Print Network [OSTI]

    J. Vijande; N. Barnea; A. Valcarce

    2006-10-11

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

  2. Division of Biological and Medical Research annual research summary, 1983

    SciTech Connect (OSTI)

    Barr, S.H. (ed.)

    1984-08-01

    This research summary contains brief descriptions of research in the following areas: (1) mechanisms of hepatocarcinogenesis; (2) role of metals in cocarcinogenesis and the use of liposomes for metal mobilization; (3) control of mutagenesis and cell differentiation in cultured cells by tumor promoters; (4) radiation effects in mammalian cells; (5) radiation carcinogenesis and radioprotectors; (6) life shortening, tumor induction, and tissue dose for fission-neutron and gamma-ray irradiations; (7) mammalian genetics and biostatistics; (8) radiation toxicity studies; (9) hematopoiesis in chronic toxicity; (10) molecular biology studies; (11) chemical toxicology; (12) carcinogen identification and metabolism; (13) metal metabolism and toxicity; and (14) neurobehavioral chronobiology. (ACR)

  3. University Research Summaries

    Broader source: Energy.gov [DOE]

    The Idaho National Laboratory published the U.S. Department of Energy's (DOE) Geothermal Technologies Office 2001 University Research Summaries.

  4. Verifica Formale Generazione Automatica di Test

    E-Print Network [OSTI]

    Robbiano, Lorenzo

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

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

    E-Print Network [OSTI]

    Belohlavek, Radim

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

  6. CBECS 1995 - Executive Summary

    U.S. Energy Information Administration (EIA) Indexed Site

    Executive Summary The Commercial Buildings Energy Consumption Survey (CBECS) collects information on physical characteristics of commercial buildings, building use and occupancy...

  7. Pinellas Remediation Agreement Summary

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

    Agreement Legal Driver(s) CERCLA Atomic Energy Act of 1954, as amended Florida Air and Water Pollution Control Act Scope Summary Remediation of property adjacent to the...

  8. Essential Services Meeting Summary

    SciTech Connect (OSTI)

    HCTT CHE

    2010-03-01

    This summary of proceedings report focuses on an end-of-grant meeting at which grantees for Project Area 5 were convened.

  9. Survey of Existing Tools for Formal Verification.

    SciTech Connect (OSTI)

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

    2014-12-01

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

  10. AMBA-ARM7 Formal Verification Platform

    E-Print Network [OSTI]

    Susanto, K.W.

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

  11. Mechanical formalism for tissue dynamics

    E-Print Network [OSTI]

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

    2014-12-23

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

  12. Formal Specification of Operating System Operations

    E-Print Network [OSTI]

    Black, Paul E.

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

  13. Time Fractional Formalism: Classical and Quantum Phenomena

    E-Print Network [OSTI]

    Hosein Nasrolahpour

    2012-03-18

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

  14. A Formal Framework for Java Separate Compilation

    E-Print Network [OSTI]

    Robbiano, Lorenzo

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

  15. Formal Object Oriented Analysis: The Practical Issues

    E-Print Network [OSTI]

    Gibson, J. Paul

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

  16. Monitor-Based Formal Specification of PCI

    E-Print Network [OSTI]

    Dill, David L.

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

  17. Functional Arabic Morphology Formal System and Implementation

    E-Print Network [OSTI]

    Cerveny, Vlastislav

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

  18. Managing Information Fusion with Formal Concept Analysis

    E-Print Network [OSTI]

    Winckler, Marco Antonio Alba

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

  19. Collapse in Formal Argumentation Systems Martin Caminada

    E-Print Network [OSTI]

    Utrecht, Universiteit

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

  20. Toxicity Data to Determine Refrigerant Concentration Limits

    SciTech Connect (OSTI)

    Calm, James M.

    2000-09-30

    This report reviews toxicity data, identifies sources for them, and presents resulting exposure limits for refrigerants for consideration by qualified parties in developing safety guides, standards, codes, and regulations. It outlines a method to calculate an acute toxicity exposure limit (ATEL) and from it a recommended refrigerant concentration limit (RCL) for emergency exposures. The report focuses on acute toxicity with particular attention to lethality, cardiac sensitization, anesthetic and central nervous system effects, and other escape-impairing effects. It addresses R-11, R-12, R-22, R-23, R-113, R-114, R-116, R-123, R-124, R-125, R-134, R-134a, R-E134, R-141b, R-142b, R-143a, R-152a, R-218, R-227ea, R-236fa, R-245ca, R-245fa, R-290, R-500, R-502, R-600a, R-717, and R-744. It summarizes additional data for R-14, R-115, R-170 (ethane), R-C318, R-600 (n-butane), and R-1270 (propylene) to enable calculation of limits for blends incorporating them. The report summarizes the data a nd related safety information, including classifications and flammability data. It also presents a series of tables with proposed ATEL and RCL concentrations-in dimensionless form and the latter also in both metric (SI) and inch-pound (IP) units of measure-for both the cited refrigerants and 66 zerotropic and azeotropic blends. They include common refrigerants, such as R-404A, R-407C, R-410A, and R-507A, as well as others in commercial or developmental status. Appendices provide profiles for the cited single-compound refrigerants and for R-500 and R-502 as well as narrative toxicity summaries for common refrigerants. The report includes an extensive set of references.

  1. CHEMISTRY AND TOXICITY OF

    E-Print Network [OSTI]

    ) primary treated domestic sewage from greater Vancouver (Annacis Island Wastewater Treatment Plant); (2#12;CHEMISTRY AND TOXICITY OF THREE WASTEWATERS DOE FRAP 1993-08 Prepared for Environment Canada wastewater characterization study in April and May 1992. Three representative effluent types were sampled: (1

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

    E-Print Network [OSTI]

    Smith, Graeme

    1995-01-01

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

  3. Conference summary: Experimnetal

    SciTech Connect (OSTI)

    Thommpson, J.D.

    1995-12-31

    The conference is the 1995 International Conference on Strongly Correlated Electron Systems. The summary highlights research on the ``extended`` Doniach model, Kondo insulators, borocarbide superconductors, oxides (including cuprates), other phase transitions, and new materials.

  4. Executive Summary October 2014

    E-Print Network [OSTI]

    Birmingham, University of

    Executive Summary October 2014 THE SECURITY IMPACT OF DRONES: CHALLENGES AND OPPORTUNITIES The of Drones Cover images (clockwise from top left) 1. Reaper Remotely Piloted Air System. Image by Sergeant

  5. STEP Participant Survey Executive Summary

    Broader source: Energy.gov [DOE]

    STEP Participant Survey Executive Summary, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  6. Toxic Substances Control Act

    SciTech Connect (OSTI)

    Not Available

    1992-05-15

    This Reference Book contains a current copy of the Toxic Substances Control Act and those regulations that implement the statute 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. Questions concerning this Reference Book may be directed to Mark Petts, EH-231 (202/586-2609).

  7. Formalisms for IT Management Process Representation

    E-Print Network [OSTI]

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

  8. A Formal Model of Auditor Independence Risk

    E-Print Network [OSTI]

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

    2002-01-01

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

  9. Motivation and Outline PAW OEP Formalism and Implementation

    E-Print Network [OSTI]

    Holzwarth, Natalie

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

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

    E-Print Network [OSTI]

    Nebel, Bernhard

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

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

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

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

  12. Software Engineering Education: a place in the sun? ICSE-16 Workshop Summary Repoti

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Software Engineering Education: a place in the sun? ICSE-16 Workshop Summary Repoti Anthony research specialisation in software engineering would be prepared to claim that its particular concern such claims) for software maintenance, reuse, formal specification, requirements engineering, and others too

  13. Summaries of FY 1993 geosciences research

    SciTech Connect (OSTI)

    Not Available

    1993-12-01

    The Department of Energy supports research in the geosciences in order to provide a sound foundation of fundamental knowledge in those areas of the geosciences that are germane to the DOE`s many missions. The Geosciences Research Program is supported by the Office of Energy Research. The participants in this program include DOE laboratories, academic institutions, and other governmental agencies. These activities are formalized by a contract or grant between the DOE and the organization performing the work, providing funds for salaries, equipment, research materials, and overhead. The summaries in this document, prepared by the investigators, describe the scope of the individual programs. The Geosciences Research Program includes research in geophysics, geochemistry, resource evaluation, solar-terrestrial interactions, and their subdivisions including earth dynamics, properties of earth materials, rock mechanics, underground imaging, rock-fluid interactions, continental scientific drilling, geochemical transport, solar-atmospheric physics, and modeling, with emphasis on the interdisciplinary areas.

  14. Position Summary Employee Details

    E-Print Network [OSTI]

    Ullrich, Paul

    Position Summary Employee Details Employee First Name: Employee Last Name: Open Position Employee Eligible: (FLSA) Non-Exempt Employee Relations Unit: (Bargaining Unit) 99 Representation: Uncovered Salary on existing operations. Maintain all records related to user accounts, directory structures, disaster recovery

  15. Sustainability Initiative Executive Summary

    E-Print Network [OSTI]

    Sheridan, Jennifer

    UWMadison Sustainability Initiative Executive Summary October 2010 #12;2 We are pleased to present the final report of the campus Sustainability Task Force. This report fulfills the charge we gave to sustainability for consideration by UWMadison's leadership and campus community. There are many reasons why

  16. RICAP-07: Summary comments

    E-Print Network [OSTI]

    Thomas K. Gaisser

    2008-01-29

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

  17. Business Model Guide Executive Summary

    Broader source: Energy.gov [DOE]

    The Business Model Guide Executive Summary by the U.S. Department of Energy's Better Buildings Neighborhood Program.

  18. ART ICULO Toward Formalizing NonMonotonic Reasoning in

    E-Print Network [OSTI]

    Kreinovich, Vladik

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

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

    E-Print Network [OSTI]

    Nauss, M D; Jaskulka, B

    2014-01-01

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

  20. APPLIED TECHNOLOGY Strategic Plan Summary

    E-Print Network [OSTI]

    Heller, Barbara

    SCHOOL OF APPLIED TECHNOLOGY Strategic Plan Summary #12;School of Applied Technology Strategic Plan Summary | 1 SCHOOL OF APPLIED TECHNOLOGY STRATEGIC PLAN SUMMARY MISSION STATEMENT The mission Technology and Management program to achieve national visibility. #12;School of Applied Technology Strategic

  1. The Use of Remotely Sensed Bioelectric Action Potentials to Evaluate Episodic Toxicity Events and Ambient Toxicity

    E-Print Network [OSTI]

    Waller, W. Tom; Acevedo, Miguel F.; Allen, H. J.; Schwalm, F. U.

    1996-01-01

    The exposure of an organism to a toxicant is defined by the magnitude, duration, and frequency with which the organism(s) interact with the toxicant(s). Predicting the exposure of organisms to toxicants during episodic ...

  2. Formalizing Information Security Knowledge Stefan Fenz

    E-Print Network [OSTI]

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

  3. Formal Methods and Cryptography Michael Backes1

    E-Print Network [OSTI]

    Backes, Michael

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

  4. New formalism for QCD parton showers

    E-Print Network [OSTI]

    Stefan Gieseke; Philip Stephens; Bryan Webber

    2003-10-09

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

  5. Weak rigidity in the PPN formalism

    SciTech Connect (OSTI)

    del Olmo, V.; Olivert, J.

    1987-04-01

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

  6. Informal Formal WBA of Important Incidents

    E-Print Network [OSTI]

    Ladkin, Peter B.

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

  7. NASA/TM2009215726 Formally Verified Practical

    E-Print Network [OSTI]

    Muoz, Csar 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

  8. Conservation-dissipation formalism of irreversible thermodynamics

    E-Print Network [OSTI]

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

    2014-07-21

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

  9. Washington State University -Vancouver Formal Minor

    E-Print Network [OSTI]

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

  10. A Lagrangian formalism for nonequilibrium thermodynamics

    E-Print Network [OSTI]

    Franois Gay-Balmaz; Hiroaki Yoshimura

    2015-10-03

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

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

    E-Print Network [OSTI]

    Kreinovich, Vladik

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

  12. Modelling Lexical Databases with Formal Concept Analysis

    E-Print Network [OSTI]

    Priss, Uta

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

  13. GLOVEBOX GLOVE CHARACTERIZATION SUMMARY

    SciTech Connect (OSTI)

    Korinko, P.

    2012-05-14

    A task was undertaken to determine primarily the permeation behavior of various glove compounds from four manufacturers. As part of the basic characterization task, the opportunity to obtain additional mechanical and thermal properties presented itself. Consequently, a total of fifteen gloves were characterized for permeation, Thermogravimetric Analysis, Puncture Resistance, Tensile Properties and Dynamic Mechanical Analysis. Detailed reports were written for each characterization technique used. This report contains the summary of the results.

  14. California Environmental Protection Agency Department of Toxic...

    Open Energy Info (EERE)

    California Environmental Protection Agency Department of Toxic Substances Control Jump to: navigation, search Name: California Environmental Protection Agency Department of Toxic...

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

    E-Print Network [OSTI]

    Zheng, Yuliang

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

  16. Taking Formal into areas unaccustomed to it Ganesh Gopal

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

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

  18. Using Medical Devices to Teach Formal Modeling Orieta Celiku

    E-Print Network [OSTI]

    Garlan, David

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

  19. MPhil initiatives summary

    E-Print Network [OSTI]

    2009-07-13

    stream_source_info CMI MPhil Initiatives.doc.txt stream_content_type text/plain stream_size 3755 Content-Encoding UTF-8 stream_name CMI MPhil Initiatives.doc.txt Content-Type text/plain; charset=UTF-8 CMI Summary of MPhil... 2003) Sustainable development for large infrastructure projects (50% input from CU, 50% from MIT) Planning for sustainable development (MIT course tailored for CU) Sustainable energy (MIT course tailored for CU) Design for developing countries (MIT...

  20. TOP 2014: Experimental Summary

    E-Print Network [OSTI]

    Christian Schwanenberger

    2015-03-05

    A summary of the experimental results of the TOP2014 International Workshop in Cannes, France, is presented. This inspiring conference clearly showed the richness and diversity of top-quark physics research. Results cover a very broad spectrum of analyses involving studies of the strong and electroweak interactions of the top quark, high-precision measurements of intrinsic top-quark properties, developments of new tools in top-quark analyses, observations of new Standard Model processes, the interaction between the top quark and the Higgs boson and sensitive searches for new physics beyond the Standard Model.

  1. ARM - Mission Summary Journal

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Comments?govInstrumentsnoaacrnBarrow, Alaska Outreach HomepolarizationMeasurementsWarmingMethaneMission Summary

  2. Summary.qxd

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effect PhotovoltaicsStructureInnovationEnergy ConversionLansof18 and 19,SummariesAct

  3. Summary.qxd

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effect PhotovoltaicsStructureInnovationEnergy ConversionLansof18 and 19,SummariesAct

  4. SUMMARY INSPECTION REPORT

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on DeliciousMathematicsEnergyInterestedReplacement-2-AA-1 SECTION JSTEM-ing the Tide STEM-ing theSUMMARY INSPECTION

  5. University Park Summary of Reported Data | Department of Energy

    Energy Savers [EERE]

    Park Summary of Reported Data More Documents & Publications NYSERDA Summary of Reported Data New Hampshire Summary of Reported Data Virginia -- SEP Summary of Reported Data...

  6. New Hampshire Summary of Reported Data | Department of Energy

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

    Summary of Reported Data New Hampshire Summary of Reported Data Summary of data reported by Better Buildings Neighborhood Program partner New Hampshire. New Hampshire Summary of...

  7. TEC Meeting Summaries - July 1995 | Department of Energy

    Office of Environmental Management (EM)

    Download Executive Summary TEC Meeting Notes More Documents & Publications TEC Meeting Summaries - January 1995 TEC Meeting Summaries - July 1996 TEC Meeting Summaries - July 1993...

  8. Connecticut Summary of Reported Data | Department of Energy

    Energy Savers [EERE]

    Summary of Reported Data Connecticut Summary of Reported Data Summary of data reported by Better Buildings Neighborhood Program partner Connecticut. Connecticut Summary of Reported...

  9. Chiral anomaly in the Schwinger-Symanzik formalism

    SciTech Connect (OSTI)

    Dittrich, W.; Reuter, M.

    1985-03-15

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

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

    E-Print Network [OSTI]

    Bosse, Tibor

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

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

    E-Print Network [OSTI]

    Fitelson, Branden

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

  12. ccsd00004163, Free Energy Formalism for Particle Adsorption

    E-Print Network [OSTI]

    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

  13. Weekly Vineyard IPM Scouting Summary 2009 Summary Report

    E-Print Network [OSTI]

    Isaacs, Rufus

    egglaying began on 13 September based on weather data from the Traverse City weather station. BasedWeekly Vineyard IPM Scouting Summary 2009 Summary Report Northwest Michigan WEATHER The 2009. The biggest problem this year was not a pest, but the cool and gray weather that did not provide enough heat

  14. Hamilton-Jacobi Formalism for Tachyon Inflation

    E-Print Network [OSTI]

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

    2015-02-26

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

  15. Modified Hamiltonian formalism for Regge Teitelboim Cosmology

    E-Print Network [OSTI]

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

    2014-12-10

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

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

    E-Print Network [OSTI]

    Paris-Sud XI, Universit de

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

  17. datamanagementgroup 2011 SURVEY AREA SUMMARY

    E-Print Network [OSTI]

    Toronto, University of

    RidgeRd. SimcoeSt. Hwy.7&12 RegRd.57 0 4 8 Kilometers Area = 51,980 Hectares #12;POPULATION CHARACTERISTICSdatamanagementgroup 2011 SURVEY AREA SUMMARY DEPARTMENT OF CIVIL ENGINEERING - UNIVERSITY Drivers Vehicles Trips/day 2011 2006 1996 1986 datamanagementgroup 2011 SURVEY AREA SUMMARY DEPARTMENT

  18. Biomass Cookstoves Technical Meeting: Summary Report | Department...

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

    Biomass Cookstoves Technical Meeting: Summary Report Biomass Cookstoves Technical Meeting: Summary Report In regions where biomass is a traditional fuel for cooking, improved...

  19. IMPACTS: Industrial Technologies Program, Summary of Program...

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

    IMPACTS: Industrial Technologies Program, Summary of Program Results for CY2009 IMPACTS: Industrial Technologies Program, Summary of Program Results for CY2009...

  20. Synchrophasor Engineering Education Program Project Summaries...

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

    Synchrophasor Engineering Education Program Project Summaries Available Synchrophasor Engineering Education Program Project Summaries Available July 9, 2014 - 10:48am Addthis On...

  1. Distributed Generation Operational Reliability, Executive Summary...

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

    Reliability, Executive Summary Report, January 2004 Distributed Generation Operational Reliability, Executive Summary Report, January 2004 This report summarizes the results of the...

  2. Residential Energy Efficiency Research Planning Meeting Summary...

    Energy Savers [EERE]

    Residential Energy Efficiency Research Planning Meeting Summary Report Residential Energy Efficiency Research Planning Meeting Summary Report This report summarizes key findings...

  3. Biomass Indirect Liquefaction Strategy Workshop: Summary Report...

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

    Strategy Workshop: Summary Report Biomass Indirect Liquefaction Strategy Workshop: Summary Report This report is based on the proceedings of the U.S. DOE's Bioenergy Technologies...

  4. Toxic Remediation System And Method

    DOE Patents [OSTI]

    Matthews, Stephen M. (Alameda County, CA); Schonberg, Russell G. (Santa Clara County, CA); Fadness, David R. (Santa Clara County, CA)

    1996-07-23

    What is disclosed is a novel toxic waste remediation system designed to provide on-site destruction of a wide variety of hazardous organic volatile hydrocarbons, including but not limited to halogenated and aromatic hydrocarbons in the vapor phase. This invention utilizes a detoxification plenum and radiation treatment which transforms hazardous organic compounds into non-hazardous substances.

  5. On the vierbein formalism of general relativity

    E-Print Network [OSTI]

    T. Mei

    2007-12-06

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

  6. Summaries of FY 92 geosciences research

    SciTech Connect (OSTI)

    Not Available

    1992-12-01

    The Department of Energy supports research in the geosciences in order to provide a sound foundation of fundamental knowledge in those areas of the geosciences that are germane to the Department of Energy's many missions. The Division of Engineering and Geosciences, part of the Office of Basic Energy Sciences of the Office of Energy Research, supports the Geosciences Research Program. The participants in this program include Department of Energy laboratories, academic institutions, and other governmental agencies. These activities are formalized by a contract or grant between the Department of Energy and the organization performing the work, providing funds for salaries, equipment, research materials, and overhead. The summaries in this document, prepared by the investigators, describe the scope of the individual programs. The Geosciences Research Program includes research in geophysics, geochemistry, resource evaluation, solar-terrestrial interactions and their subdivisions including Earth dynamics, properties of Earth materials, rock mechanics, underground imaging, rock-fluid interactions, continental scientific drilling, geochemical transport, solar/atmospheric physics, and modeling, with emphasis on the interdisciplinary areas. All such research is related either directly or indirectly to the Department of Energy's long-range technological needs.

  7. Summaries of FY 91 geosciences research

    SciTech Connect (OSTI)

    Not Available

    1991-11-01

    The Department of Energy supports research in the geosciences in order to provide a sound foundation of fundamental knowledge in those areas of the geosciences which are germane to the Department of Energy's many missions. The Division of Engineering and Geosciences, part of the Office of Basic Energy Sciences of the Office of Energy Research supports the Geosciences Research Program. The participants in this program include Department of Energy laboratories, academic institutions, and other governmental agencies. Theses activities are formalized by a contract or grant between the Department of Energy and the organization performing the work, providing funds for salaries, equipment, research materials, and overhead. The summaries in this document, prepared by the investigators, describe the scope of the individual programs. The Geosciences Research Program includes research in geology, petrology, geophysics, geochemistry, solar physics, solar-terrestrial relationships, aeronomy, seismology, and natural resource modeling and analysis, including their various subdivisions and interdisciplinary areas. All such research is related either directly or indirectly to the Department of Energy's long-range technological needs. 2 tabs.

  8. Toxic Substances Control Act Uranium Enrichment Federal Facility...

    Office of Environmental Management (EM)

    Toxic Substances Control Act Uranium Enrichment Federal Facility Compliance Agreement Toxic Substances Control Act Uranium Enrichment Federal Facility Compliance Agreement Toxic...

  9. SEASONAL VARIATIONS in TOXICITY of BUTTER CLAMS

    E-Print Network [OSTI]

    'iations in the toxicity of the clams from the different areas and the variation in tcxicity between the siphon

  10. Toxicity evaluation and hazard review Cold Smoke

    SciTech Connect (OSTI)

    Archuleta, M.M.; Stocum, W.E.

    1993-12-01

    Cold Smoke is a dense white smoke produced by the reaction of titanium tetrachloride and aqueous ammonia aerosols. Early studies on the toxicity of this nonpyrotechnically generated smoke indicated that the smoke itself is essentially non-toxic (i.e. exhibits to systemic toxicity or organ damage due to exposure) under normal deployment conditions. The purpose of this evaluation was to review and summarize the recent literature data available on the toxicity of Cold Smoke, its chemical constituents, and its starting materials.

  11. ALSEP DESIGN SUMMARY Presentation Material

    E-Print Network [OSTI]

    Rathbun, Julie A.

    ALSEP DESIGN SUMMARY Presentation Material BSR-2900 17 - 20 March 1970 NASA/MSC - Bendix Aerospace PASSIVE SEISMIC EXPERIMENT fR,... SUBPACKAGE NO. 2 "' ALSEP IN STOWED CONFIGURATION \\UIII'AI.Am ~~. I ~IN

  12. The Pegg-Barnett Formalism and Covariant Phase Observables

    E-Print Network [OSTI]

    Pekka Lahti; Juha-Pekka Pellonpaa

    2001-06-15

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

  13. Testing for Toxic Algae By Tadd Barrow

    E-Print Network [OSTI]

    Nebraska-Lincoln, University of

    Testing for Toxic Algae By Tadd Barrow UNL Extension Educator, Water Quality Algae is a microscopic plant that occurs in all water. However, only certain conditions bring algae to the surface, making it toxic to animals, especially humans and dogs. Toxic algae often are naturally occurring from high

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

    E-Print Network [OSTI]

    Strub, Damon

    1988-01-01

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

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

  16. Quality of Life and Toxicity From Passively Scattered and Spot-Scanning Proton Beam Therapy for Localized Prostate Cancer

    SciTech Connect (OSTI)

    Pugh, Thomas J. [Department of Radiation Oncology, University of Texas MD Anderson Cancer Center, Houston, Texas (United States); Munsell, Mark F. [Department of Biostatistics, University of Texas MD Anderson Cancer Center, Houston, Texas (United States); Choi, Seungtaek; Nguyen, Quyhn Nhu; Mathai, Benson [Department of Radiation Oncology, University of Texas MD Anderson Cancer Center, Houston, Texas (United States); Zhu, X. Ron; Sahoo, Narayan; Gillin, Michael; Johnson, Jennifer L.; Amos, Richard A. [Department of Radiation Physics, University of Texas MD Anderson Cancer Center, Houston, Texas (United States); Dong, Lei [Scripps Proton Therapy Center, San Diego, California (United States); Mahmood, Usama; Kuban, Deborah A.; Frank, Steven J.; Hoffman, Karen E.; McGuire, Sean E. [Department of Radiation Oncology, University of Texas MD Anderson Cancer Center, Houston, Texas (United States); Lee, Andrew K., E-mail: aklee@mdanderson.org [Department of Radiation Oncology, University of Texas MD Anderson Cancer Center, Houston, Texas (United States)

    2013-12-01

    Purpose: To report quality of life (QOL)/toxicity in men treated with proton beam therapy for localized prostate cancer and to compare outcomes between passively scattered proton therapy (PSPT) and spot-scanning proton therapy (SSPT). Methods and Materials: Men with localized prostate cancer enrolled on a prospective QOL protocol with a minimum of 2 years' follow-up were reviewed. Comparative groups were defined by technique (PSPT vs SSPT). Patients completed Expanded Prostate Cancer Index Composite questionnaires at baseline and every 3-6 months after proton beam therapy. Clinically meaningful differences in QOL were defined as ?0.5 baseline standard deviation. The cumulative incidence of modified Radiation Therapy Oncology Group grade ?2 gastrointestinal (GI) or genitourinary (GU) toxicity and argon plasma coagulation were determined by the Kaplan-Meier method. Results: A total of 226 men received PSPT, and 65 received SSPT. Both PSPT and SSPT resulted in statistically significant changes in sexual, urinary, and bowel Expanded Prostate Cancer Index Composite summary scores. Only bowel summary, function, and bother resulted in clinically meaningful decrements beyond treatment completion. The decrement in bowel QOL persisted through 24-month follow-up. Cumulative grade ?2 GU and GI toxicity at 24 months were 13.4% and 9.6%, respectively. There was 1 grade 3 GI toxicity (PSPT group) and no other grade ?3 GI or GU toxicity. Argon plasma coagulation application was infrequent (PSPT 4.4% vs SSPT 1.5%; P=.21). No statistically significant differences were appreciated between PSPT and SSPT regarding toxicity or QOL. Conclusion: Both PSPT and SSPT confer low rates of grade ?2 GI or GU toxicity, with preservation of meaningful sexual and urinary QOL at 24 months. A modest, yet clinically meaningful, decrement in bowel QOL was seen throughout follow-up. No toxicity or QOL differences between PSPT and SSPT were identified. Long-term comparative results in a larger patient cohort are warranted.

  17. Colloquium: Mechanical formalisms for tissue dynamics

    E-Print Network [OSTI]

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

    2015-09-29

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

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

    E-Print Network [OSTI]

    Kamps, Jaap

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

  19. Formal Verification of Infinite State Systems Using Boolean Methods

    E-Print Network [OSTI]

    Bryant, Randal E.

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

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

    E-Print Network [OSTI]

    Bryant, Randal E.

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

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

    E-Print Network [OSTI]

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

  2. Component Tools: Application and Integration of Formal Methods

    E-Print Network [OSTI]

    Kindler, Ekkart

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

  3. Formal Methods Technology Transfer: A View from NASA

    E-Print Network [OSTI]

    Caldwell, James

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

  4. FORMAL MODELING AND ANALYSIS OF THE MODBUS PROTOCOL

    E-Print Network [OSTI]

    Dutertre, Bruno

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

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

    E-Print Network [OSTI]

    Baader, Franz

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

  6. Goals in a Formal Theory of Commonsense Psychology

    E-Print Network [OSTI]

    Hobbs, Jerry R.

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

  7. A Symbiotic Relationship Between Formal Methods and Security

    E-Print Network [OSTI]

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

  8. Formalizing Concepts for Efficacy-aware Business Process Modeling

    E-Print Network [OSTI]

    Ulm, Universitt

    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

  9. FORMALIZATION OF SITUATION Kenneth Baclawski Mieczyslaw K. Kokar

    E-Print Network [OSTI]

    Baclawski, Kenneth B.

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

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

    E-Print Network [OSTI]

    New South Wales, University of

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

  11. A Formal Foundation for Process Modeling Christopher Menzel Michael Gruninger

    E-Print Network [OSTI]

    Menzel, Christopher

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

  12. Preliminary data summary for the pharmaceutical-manufacturing point-source category

    SciTech Connect (OSTI)

    Hund, F.; Brown, D.

    1989-09-01

    The summaries contain data about industrial facilities in various industries discharging pollutants in their wastewaters and considers whether the EPA should pursue regulations to control such discharges. The summaries were prepared in order to allow EPA to respond to the mandate of Section 304(m) of the Clean Water Act. Summaries for categories already subject to rulemaking were developed for comparison purposes, and contain only the minimum amount of data needed to provide some perspective on the relative magnitude of the pollution problems created across the categories. The study provides technical, economic, and environmental bases to determine whether additional effluent limitation guidelines and standards to control the discharge of toxic and hazardous pollutants are necessary for the pharmaceutical manufacturing industry and serves as a source of information to be used by permit writers and publicly owned treatment works (POTWs) in controlling hazardous wastes until final rules are published.

  13. 20% Wind Energy by 2030 - Chapter 1: Executive Summary and Overview...

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

    1: Executive Summary and Overview Summary Slides 20% Wind Energy by 2030 - Chapter 1: Executive Summary and Overview Summary Slides Summary and overview slides for 20% Wind Energy...

  14. TEC Meeting Summaries - February 2000 | Department of Energy

    Office of Environmental Management (EM)

    0 TEC Meeting Summaries - February 2000 Las Vegas, Nevada (February 15-17, 2000) Meeting Summaries Items Available for Download Meeting Evaluation Summary More Documents &...

  15. TEC Meeting Summaries - July 1996 | Department of Energy

    Office of Environmental Management (EM)

    Available for Download TEC Meeting Notes More Documents & Publications TEC Meeting Summaries - January 1996 TEC Meeting Summaries - July 1993 TEC Meeting Summaries - July 1995...

  16. Maine -- SEP Summary of Reported Data | Department of Energy

    Office of Environmental Management (EM)

    Summary of Reported Data Maine -- SEP Summary of Reported Data The summary of reported data for Maine -- SEP, a partner in the Better Buildings Neighborhood Program. Maine -- SEP...

  17. TEC Meeting Summaries - September 2004 | Department of Energy

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

    Meeting Summaries - September 2004 TEC Meeting Summaries - September 2004 Minneapolis, Minnesota (September 2004) Meeting Summaries Items Available for Download Meeting Notice...

  18. Washington -- SEP Summary of Reported Data | Department of Energy

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

    Summary of Reported Data Washington -- SEP Summary of Reported Data Summary of data reported by Better Buildings Neighborhood Program partner Washington -- SEP. Washington -- SEP...

  19. TEC Working Group Topic Groups Routing Conference Call Summaries...

    Office of Environmental Management (EM)

    Routing Conference Call Summaries TEC Working Group Topic Groups Routing Conference Call Summaries CONFERENCE CALL SUMMARIES January 31, 2008 December 6, 2007 October 4, 2007...

  20. TEC Working Group Topic Groups Security Conference Call Summaries...

    Office of Environmental Management (EM)

    Conference Call Summaries TEC Working Group Topic Groups Security Conference Call Summaries Conference Call Summaries August 17, 2006 (Draft) July 18, 2006 (Draft) June 20, 2006...

  1. Efficiency Maine Summary of Reported Data | Department of Energy

    Energy Savers [EERE]

    Summary of Reported Data Efficiency Maine Summary of Reported Data Summary of data reported by Better Buildings Neighborhood Program partner Efficiency Maine. Efficiency Maine...

  2. Southeast Energy Efficiency Alliance Summary of Reported Data...

    Energy Savers [EERE]

    Summary of Reported Data Southeast Energy Efficiency Alliance Summary of Reported Data Summary of data reported by Better Buildings Neighborhood Program partner Southeast Energy...

  3. Philadelphia Summary of Reported Data | Department of Energy

    Energy Savers [EERE]

    Philadelphia Summary of Reported Data Philadelphia Summary of Reported Data Summary of data reported by Better Buildings Neighborhood Program partner Philadelphia, Pennsylvania....

  4. TEC Working Group Topic Groups Archives Protocols Meeting Summaries...

    Office of Environmental Management (EM)

    Working Group Topic Groups Archives Protocols Meeting Summaries Meeting Summaries Philadelphia TEC Meeting, Protocols Topic Group Summary - July 1999 Jacksonville TEC Meeting,...

  5. San Antonio, Texas Summary of Reported Data | Department of Energy

    Energy Savers [EERE]

    San Antonio, Texas Summary of Reported Data San Antonio, Texas Summary of Reported Data Summary of data reported by Better Buildings Neighborhood Program partner San Antonio,...

  6. TEC Meeting Summaries - January 1996 | Department of Energy

    Office of Environmental Management (EM)

    6 TEC Meeting Summaries - January 1996 San Antonio, Texas (January 16-18, 1996) Meeting Summaries Items Available for Download Executive Summary TEC Meeting Notes More Documents &...

  7. Phoenix, Arizona Summary of Reported Data | Department of Energy

    Energy Savers [EERE]

    Phoenix, Arizona Summary of Reported Data Phoenix, Arizona Summary of Reported Data Summary of data reported by Better Buildings Neighborhood Program partner Phoenix, Arizona....

  8. Wind energy systems: program summary

    SciTech Connect (OSTI)

    None

    1980-05-01

    The Federal Wind Energy Program (FWEP) was initiated to provide focus, direction and funds for the development of wind power. Each year a summary is prepared to provide the American public with an overview of government sponsored activities in the FWEP. This program summary describes each of the Department of Energy's (DOE) current wind energy projects initiated or renewed during FY 1979 (October 1, 1978 through September 30, 1979) and reflects their status as of April 30, 1980. The summary highlights on-going research, development and demonstration efforts and serves as a record of progress towards the program objectives. It also provides: the program's general management structure; review of last year's achievements; forecast of expected future trends; documentation of the projects conducted during FY 1979; and list of key wind energy publications.

  9. Geothermal Energy Summary

    SciTech Connect (OSTI)

    J. L. Renner

    2007-08-01

    Following is complete draft.Geothermal Summary for AAPG Explorer J. L. Renner, Idaho National Laboratory Geothermal energy is used to produce electricity in 24 countries. The United States has the largest capacity (2,544 MWe) followed by Philippines (1,931 MWe), Mexico (953 MWe), Indonesia (797 MWe), and Italy (791 MWe) (Bertani, 2005). When Chevron Corporation purchased Unocal Corporation they became the leading producer of geothermal energy worldwide with projects in Indonesia and the Philippines. The U. S. geothermal industry is booming thanks to increasing energy prices, renewable portfolio standards, and a production tax credit. California (2,244 MWe) is the leading producer, followed by Nevada (243 MWe), Utah (26 MWe) and Hawaii (30 MWe) and Alaska (0.4 MWe) (Bertani, 2005). Alaska joined the producing states with two 0.4 KWe power plants placed on line at Chena Hot Springs during 2006. The plant uses 30 liters per second of 75C water from shallow wells. Power production is assisted by the availability of gravity fed, 7C cooling water (http://www.yourownpower.com/) A 13 MWe binary power plant is expected to begin production in the fall of 2007 at Raft River in southeastern Idaho. Idaho also is a leader in direct use of geothermal energy with the state capital building and several other state and Boise City buildings as well as commercial and residential space heated using fluids from several, interconnected geothermal systems. The Energy Policy Act of 2005 modified leasing provisions and royalty rates for both geothermal electrical production and direct use. Pursuant to the legislation the Bureau of Land management and Minerals Management Service published final regulations for continued geothermal leasing, operations and royalty collection in the Federal Register (Vol. 72, No. 84 Wednesday May 2, 2007, BLM p. 24358-24446, MMS p. 24448-24469). Existing U. S. plants focus on high-grade geothermal systems located in the west. However, interest in non-traditional geothermal development is increasing. A comprehensive new MIT-led study of the potential for geothermal energy within the United States predicts that mining the huge amounts of stored thermal energy in the Earths crust not associated with hydrothermal systems, could supply a substantial portion of U.S. electricity with minimal environmental impact (Tester, et al., 2006, available at http://geothermal.inl.gov). There is also renewed interest in geothermal production from other non-traditional sources such as the overpressured zones in the Gulf Coast and warm water co-produced with oil and gas. Ormat Technologies, Inc., a major geothermal company, recently acquired geothermal leases in the offshore overpressured zone of Texas. Ormat and the Rocky Mountain Oilfield Testing Center recently announced plans to jointly produce geothermal power from co-produced water from the Teapot Dome oilfield (Casper Star-Tribune, March 2, 2007). RMOTC estimates that 300 KWe capacity is available from the 40,000 BWPD of 88C water associated with oil production from the Tensleep Sandstone (Milliken, 2007). The U. S. Department of Energy is seeking industry partners to develop electrical generation at other operating oil and gas fields (for more information see: https://e-center.doe.gov/iips/faopor.nsf/UNID/50D3734745055A73852572CA006665B1?OpenDocument). Several web sites offer periodically updated information related to the geothermal industry and th

  10. Summary of failure analysis activities at Brookhaven National Laboratory

    SciTech Connect (OSTI)

    Cowgill, M.G.; Czajkowski, C.J.; Franz, E.M.

    1996-10-01

    Brookhaven National Laboratory has for many years conducted examinations related to the failures of nuclear materials and components. These examinations included the confirmation of root cause analyses, the determination of the causes of failure, identification of the species that accelerate corrosion, and comparison of the results of nondestructive examinations with those obtained by destructive examination. The results of those examinations, which had previously appeared in various formats (formal and informal reports, journal articles, etc.), have been collected together and summarized in the present report. The report is divided into sections according to the general subject matter (for example, corrosion, fatigue, etc.). Each section presents summaries of the information contained in specific reports and publications, all of which are fully identified as to title, authors, report number or journal reference, date of publication, and FIN number under which the work was performed.

  11. TOXIC SUBSTANCES FROM COAL COMBUSTION

    SciTech Connect (OSTI)

    Kolker, A.; Sarofim, A.F.; Palmer, C.A.; Huggins, F.E.; Huffman, G.P.; Lighty, J.; Veranth, J.; Helble, J.J.; Wendt, J.O.L.; Ames, M.R.; Finkelman, R.; Mamani-Paco, M.; Sterling, R.; Mroczkowsky, S.J.; Panagiotou, T.; Seames, W.

    1999-05-10

    The Clean Air Act Amendments of 1990 identify a number of hazardous air pollutants (HAPs) as candidates for regulation. Should regulations be imposed on HAP emissions from coal-fired power plants, a sound understanding of the fundamental principles controlling the formation and partitioning of toxic species during coal combustion will be needed. With support from the Federal Energy Technology Center (FETC), the Electric Power Research Institute, and VTT (Finland), Physical Sciences Inc. (PSI) has teamed with researchers from USGS, MIT, the University of Arizona (UA), the University of Kentucky (UK), the University of Connecticut (UC), the University of Utah (UU) and the University of North Dakota Energy and Environ-mental Research Center (EERC) to develop a broadly applicable emissions model useful to regulators and utility planners. The new Toxics Partitioning Engineering Model (ToPEM) will be applicable to all combustion conditions including new fuels and coal blends, low-NOx combustion systems, and new power generation plants. Development of ToPEM will be based on PSI's existing Engineering Model for Ash Formation (EMAF). This report covers the reporting period from 1 January 1999 to 31 March 1999. During this period, a full Program Review Meeting was held at the University of Arizona. At this meeting, the progress of each group was reviewed, plans for the following 9 month period were discussed, and action items (principally associated with the transfer of samples and reports among the various investigators) were identified.

  12. Transforming PLC Programs into Formal Models for Verification Purposes

    E-Print Network [OSTI]

    Darvas, D; Blanco, E

    2013-01-01

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

  13. UCSF Sustainability Action Plan: Executive Summary

    E-Print Network [OSTI]

    Yamamoto, Keith

    UCSF Sustainability Action Plan: Executive Summary Issue Date: April 21, 2011 #12;UCSF Sustainability Action Plan Executive Summary April 21, 2011 Page 1 Table of Contents An Introduction to the Sustainability Action Plan

  14. Technology Licensing Opportunity Non-Confidential Summary

    E-Print Network [OSTI]

    Peak, Derek

    Technology Licensing Opportunity Non-Confidential Summary Industry Liaison Office 121 Research synthesis. #12;Technology Licensing Opportunity Non-Confidential Summary Industry Liaison Office 121 Agriculture Chair of Lipid Quality and Utilization Research interests: Oil seed processing, vegetable oil

  15. Research Summary Gerard P. Gilfoyle

    E-Print Network [OSTI]

    Gilfoyle, Jerry

    of nuclear proliferation. #12;Research Summary Gerard P. Gilfoyle Gilfoyle's research program nuclear physics using protons and neutrons as the building blocks of nuclei (the hadronic model of Nuclear Physics meetings, presented posters at campus-wide and local science symposia, and used

  16. PSEP \\\\' eight Summary COMMON ITEMS

    E-Print Network [OSTI]

    Rathbun, Julie A.

    . and Cable SolarPariels Sunshield,13asif. . '.' .' Antenna Support and Positioning Solar Requirement (less Isotope Heaters} Isotope Heater Allocation {per Interface) ALSEP FLIGHT 2 3C).74 8.20 11. .70 1. 45 0 .22 102:'60 101. 00 6.00 #12;PSEP Weight Summary Solar Panel Weights Item Substrate Skins

  17. NARSTO OZONE ASSESSMENT EXECUTIVE SUMMARY

    E-Print Network [OSTI]

    vi NARSTO OZONE ASSESSMENT EXECUTIVE SUMMARY Prepared as a NARSTO initiative, this tropospheric O3 in the accompanying Textbox, the NARSTO Ozone Assessment contains two product components. The first of these is a set aspects of tropospheric ozone pollution. The second component, the NARSTO Ozone Assessment Document

  18. Regional Summary Pacific Management Context

    E-Print Network [OSTI]

    . Bocaccio, Pacific ocean perch, cowcod, and darkblotched and widow rockfish are currently in rebuildingRegional Summary Pacific Management Context The Pacific Region includes California, Oregon, and Washington. Federal fisheries in this region are managed by the Pacific Fishery Management Council (PFMC

  19. Table of Contents Executive Summary

    E-Print Network [OSTI]

    McDonald, Kirk

    Table of Contents Page Executive Summary I. Introduction 1 Neutrino Oscillation Results from Solar and Atmospheric Neutrino Data 1 Tables 7 References 5 Figures 9 II. Overview of the Long Baseline Experiment 17 Magnetic Moment, Charge Radius, and Extra Z-bosons 261 VII. Cost and Schedule 265 Project schedule 267 Work

  20. Exploring the Summary of Proceedings

    E-Print Network [OSTI]

    McShea, Daniel W.

    , and installed." The move to the cloud is inevitable, so responsibility for security is going to shift from usersCyber Security: Exploring the Human Element Summary of Proceedings #12;1 Cyber Security: Exploring the Human Element Institute of Homeland Security Solutions March 8, 2011--National Press Club Introduction

  1. Demand Forecast INTRODUCTION AND SUMMARY

    E-Print Network [OSTI]

    Demand Forecast INTRODUCTION AND SUMMARY A 20-year forecast of electricity demand is a required in electricity demand is, of course, crucial to determining the need for new electricity resources and helping of any forecast of electricity demand and developing ways to reduce the risk of planning errors

  2. RESEARCH TITLE SUMMARY AUGUST 2013

    E-Print Network [OSTI]

    California at Santa Cruz, University of

    1 RESEARCH TITLE SUMMARY AUGUST 2013 There are various research titles that can be used when appointing individuals engaged only with research (e.g. when no teaching duties are assigned). Please consult with Humanities AHR staff if you are contemplating grant proposals that will utilize research titles to assure

  3. Unit Clause: Summary Benny Applebaum

    E-Print Network [OSTI]

    Applebaum, Benny

    Unit Clause: Summary Benny Applebaum Tel-Aviv University Spring Semester, 2012 #12;Unit Clause: Reminder Unit Clause Input: chosen uniformly from F3(n, rn). 1 If there exists unit clause (Forced step) pick at random unit clause { i} and satisfy it 2 Otherwise, (Free step) pick a random literal i

  4. POLICY SUMMARY BUSINESS ASSOCIATE CONTRACTS

    E-Print Network [OSTI]

    POLICY SUMMARY BUSINESS ASSOCIATE CONTRACTS POLICY NUMBER 2003-04 To comply with HIPAA requirements PRIVACY AND SECURITY POLICY NUMBER 2003-07 To identify the mechanism by which appropriate staff receives policies related to security and privacy of protected health information. BREACHES OF PRIVACY & SECURITY

  5. datamanagementgroup 2011 SURVEY AREA SUMMARY

    E-Print Network [OSTI]

    Toronto, University of

    datamanagementgroup 2011 SURVEY AREA SUMMARY DEPARTMENT OF CIVIL ENGINEERING - UNIVERSITY OF TORONTO PREPARED BY 51 TOWN OF RICHMOND HILL REGIONAL MUNICIPALITY OF YORK LeslieSt. Stouffville Rd. King 6 Kilometers Area = 10,180 Hectares #12;POPULATION CHARACTERISTICS Population Age Daily

  6. datamanagementgroup 2011 SURVEY AREA SUMMARY

    E-Print Network [OSTI]

    Toronto, University of

    .7 4.1 5.8 27.9 TRIPS MADE TO TTS AREA 4,070,800 22.8% 51% 22% 6% 21% 61% 13% 12% 2% 8% 4% 7.1 3.3 7datamanagementgroup 2011 SURVEY AREA SUMMARY DEPARTMENT OF CIVIL ENGINEERING - UNIVERSITY OF TORONTO PREPARED BY 5 TRANSPORTATION TOMORROW SURVEY AREA City of Orillia Durham Region City

  7. STEP-by-STEP Program Summary

    Broader source: Energy.gov [DOE]

    STEP-by-STEP Program Summary, from the Tool Kit Framework: Small Town University Energy Program (STEP).

  8. ? Topic Group Reports ? DOE Program Summaries

    Office of Environmental Management (EM)

    Discussion of SNF Storage Initiatives & Transportations Issues Discussion of WIPP Opening Summary of Breakout Sessions The Transportation External Coordination (TEC)...

  9. COLLEGE OF ARCHITECTURE Strategic Plan Summary

    E-Print Network [OSTI]

    Heller, Barbara

    COLLEGE OF ARCHITECTURE Strategic Plan Summary #12;College of Architecture Strategic Plan Summary | 1 COLLEGE OF ARCHITECTURE STRATEGIC PLAN SUMMARY 1. Growth & Development of the Student Body The IIT CoA has a living legacy entailing one of the Modern Movement in architecture's most treasured figures

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

    E-Print Network [OSTI]

    William D. Linch III; Brenno Carlini Vallilo

    2006-07-19

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

  11. Secret Ninja Formal Methods Joseph R. Kiniry1

    E-Print Network [OSTI]

    Zimmerman, Daniel M.

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

  12. Formal Support for an Informal Business Modelling Method

    E-Print Network [OSTI]

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

    2000-01-01

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

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

    E-Print Network [OSTI]

    Reindl, Donald F.

    2007-01-01

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

  14. Nutrient Interactions and Toxicity The Amino Bisphosphonate Ibandronate Prevents Vitamin D Toxicity and

    E-Print Network [OSTI]

    Price, Paul A.

    Nutrient Interactions and Toxicity The Amino Bisphosphonate Ibandronate Prevents Vitamin D Toxicity and Inhibits Vitamin D-Induced Calcification of Arteries, Cartilage, Lungs and Kidneys in Rats1 Paul A. Price,2 treated with a toxic dose of vitamin D. These studies were prompted by the recent discovery

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

    E-Print Network [OSTI]

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

    2007-04-26

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

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

    E-Print Network [OSTI]

    Spreen, Dieter

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

  17. Toxic hazards of underground excavation

    SciTech Connect (OSTI)

    Smith, R.; Chitnis, V.; Damasian, M.; Lemm, M.; Popplesdorf, N.; Ryan, T.; Saban, C.; Cohen, J.; Smith, C.; Ciminesi, F.

    1982-09-01

    Inadvertent intrusion into natural or man-made toxic or hazardous material deposits as a consequence of activities such as mining, excavation or tunnelling has resulted in numerous deaths and injuries in this country. This study is a preliminary investigation to identify and document instances of such fatal or injurious intrusion. An objective is to provide useful insights and information related to potential hazards due to future intrusion into underground radioactive-waste-disposal facilities. The methodology used in this study includes literature review and correspondence with appropriate government agencies and organizations. Key categories of intrusion hazards are asphyxiation, methane, hydrogen sulfide, silica and asbestos, naturally occurring radionuclides, and various mine or waste dump related hazards.

  18. Summary of EPA Final Rules for Air Toxic Standards for Industrial...

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

    provides an overview of key requirements for the reconsideration area and major source Boiler MACT rules and estimated compliance cost impacts. boilermactarticle.pdf More...

  19. Summary of EPA Final Rules for Air Toxic Standards for Industrial,

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankADVANCED MANUFACTURINGEnergyPlan | Department of Energy 1DepartmentS EM8,Department of Energy

  20. Rangeland Risk Management for Texans: Toxic Plants

    E-Print Network [OSTI]

    Hart, Charles R.

    2000-11-01

    Toxic plants can cause serious losses to livestock, but with the information in this leaflet producers will know how to manage grazing to minimize the danger of toxic plants. It is important to recognize problems early and know how to deal with them....

  1. Residual Toxicities of Insecticides to Cotton Insects.

    E-Print Network [OSTI]

    Hightower, B. G.; Gaines, J. C.

    1960-01-01

    -ITHION. The residual toxicity of para- rliioti to the tumid spider mite was not affected by ~i1nul;ttetl rain when the spray was applied at a dosage c.cluiv;~lcnt to 0.3 pound of toxicant per acre. Kill5 or the cotton aphid on spray residues of 1),11;1thion were...

  2. 2012 Microgrid Workshop Summary Released

    Broader source: Energy.gov [DOE]

    The Department of Energy has released the summary report from the July 30-31, 2012 Microgrid Workshop presented by the Office of Electricity Delivery and Energy Reliability at the Illinois Institute of Technology in Chicago. The workshop was held in response to discussions at the preceding DOE Microgrid Workshop, held in August 2011, which called for sharing lessons learned and best practices for system integration from existing projects in the U.S. (including military microgrids) and internationally.

  3. datamanagementgroup 2011 SURVEY AREA SUMMARY

    E-Print Network [OSTI]

    Toronto, University of

    % 7% 6.5 5.5 6.5 68.5 30,100 10% 5% 51% 34% 73% 17% 1% * 3% 7% 7.0 7.2 10.0 * ANCASTER AREA CITYdatamanagementgroup 2011 SURVEY AREA SUMMARY DEPARTMENT OF CIVIL ENGINEERING - UNIVERSITY OF TORONTO PREPARED BY 85 ANCASTER AREA CITY OF HAMILTON Mohawk Rd. Main St. Carluke Rd. Governors Rd. Garner

  4. datamanagementgroup 2011 SURVEY AREA SUMMARY

    E-Print Network [OSTI]

    Toronto, University of

    ,213,000 38% 13% 35% 14% 60% 14% 16% 1% 7% 2% 5.7 4.1 6.6 30.0 TRIPS MADE TO TTS AREA 3,168,200 23.5% 51% 22datamanagementgroup 2011 SURVEY AREA SUMMARY DEPARTMENT OF CIVIL ENGINEERING - UNIVERSITY OF TORONTO PREPARED BY 5 GREATER TORONTO HAMILTON AREA Durham Region Peel Region City of Hamilton City

  5. Enhanced toxic cloud knockdown spray system for decontamination applications

    DOE Patents [OSTI]

    Betty, Rita G. (Rio Rancho, NM); Tucker, Mark D. (Albuquerque, NM); Brockmann, John E. (Albuquerque, NM); Lucero, Daniel A. (Albuquerque, NM); Levin, Bruce L. (Tijeras, NM); Leonard, Jonathan (Albuquerque, NM)

    2011-09-06

    Methods and systems for knockdown and neutralization of toxic clouds of aerosolized chemical or biological warfare (CBW) agents and toxic industrial chemicals using a non-toxic, non-corrosive aqueous decontamination formulation.

  6. Rangeland Drought Management for Texans: Toxic Range Plants

    E-Print Network [OSTI]

    Hart, Charles R.; Carpenter, Bruce B.

    2001-05-03

    Toxic plants can pose a major threat to livestock during a drought. This publication explains the importance of knowing which plants are toxic, keeping the range healthy, and preventing toxic plant problems....

  7. Review: Poisoned for Pennies: The Economics of Toxics and Precaution

    E-Print Network [OSTI]

    Little, Peter C.

    2009-01-01

    Review: Poisoned for Pennies: The Economics of Toxics andFrank. Poisoned for Pennies: The Economics of Toxics ands new book Poisoned for Pennies: The Economics of Toxics and

  8. Renewable, Non-Toxic and Cost Competitive Solvents and Plasticizers...

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

    Renewable, Non-Toxic and Cost Competitive Solvents and Plasticizers Renewable, Non-Toxic and Cost Competitive Solvents and Plasticizers Breakout Session 1-D: The Pitch Renewable,...

  9. Parameterized post-Newtonian formalism for multimetric gravity

    E-Print Network [OSTI]

    Manuel Hohmann

    2014-06-14

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

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

    E-Print Network [OSTI]

    Nathan Berkovits

    2001-04-27

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

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

    E-Print Network [OSTI]

    Berkovits, N

    2001-01-01

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

  12. Acute aquatic toxicity of biodiesel fuels

    SciTech Connect (OSTI)

    Wright, B.; Haws, R.; Little, D.; Reese, D.; Peterson, C.; Moeller, G.

    1995-12-31

    This study develops data on the acute aquatic toxicity of selected biodiesel fuels which may become subject to environmental effects test regulations under the US Toxic Substances Control Act (TSCA). The test substances are Rape Methyl Ester (RME), Rape Ethyl Ester (REE), Methyl Soyate (MS), a biodiesel mixture of 20% REE and 80% Diesel, a biodiesel mixture of 50% REE and diesel, and a reference substance of Phillips D-2 Reference Diesel. The test procedure follows the Daphnid Acute Toxicity Test outlined in 40 CFR {section} 797.1300 of the TSCA regulations. Daphnia Magna are exposed to the test substance in a flow-through system consisting of a mixing chamber, a proportional diluter, and duplicate test chambers. Novel system modifications are described that accommodate the testing of oil-based test substances with Daphnia. The acute aquatic toxicity is estimated by an EC50, an effective concentration producing immobility in 50% of the test specimen.

  13. Differences in growth and toxicity of Karenia

    E-Print Network [OSTI]

    Neely, Tatum Elizabeth

    2006-08-16

    Harmful algal blooms (HABs) in the Gulf of Mexico are primarily caused by dense aggregations of the dinoflagellate species, Karenia brevis. Karenia brevis produces a highly toxic neurotoxin, brevetoxin which has been shown ...

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

    E-Print Network [OSTI]

    Boyer, Robert Stephen

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

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

    E-Print Network [OSTI]

    Bittner, Thomas

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

  16. Summary

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

    technologies that capture carbon dioxide (CO 2 ) emissions at the Lake Charles Cogeneration Gasification Project (the LCC Gasification Project) to be located on the west bank...

  17. SUMMARY

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious RankADVANCED MANUFACTURINGEnergy BillsNo. 195 -RobSSL IN PRACTICE EDWARD CLARKICEOctoberSUBSIDY ENERGY1804

  18. Summary

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effect PhotovoltaicsStructureInnovationEnergy Conversion |EnergyEnergyBackgroundand

  19. Summary

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effect PhotovoltaicsStructureInnovationEnergy Conversion |EnergyEnergyBackgroundand

  20. Summary

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effect PhotovoltaicsStructureInnovationEnergy Conversion |EnergyEnergyBackgroundand[

  1. Toxicity of Bitterweed (Actinea odorata) for Sheep.

    E-Print Network [OSTI]

    Boughton, I. B (Ivan Bertrand); Hardy, W. T. (William Tyree)

    1937-01-01

    TEXAS AGRICULTURAL EXPERIMENT STATION A. B. CONNER, DIRECTOR COLLEGE STATION, RFCAZOS COUNTY, TEXAS BULLETIN NO. 552 AUGUST, 1937 DIVISION OF VETERINARY SCIENCE TOXICITY OF BI'FTERWEED" FOR SHEEP (*Actinea odorata) AGRICULTURAL... AND MECHANICMIJ COLLEGE OF TEXAS T. 0. WALTON, President Previous feeding tests and field observations* have established the toxicity of bitterweed (Actinea odorata) for sheep. The experi- ments reported herein prove that the minimum lethal dose of the fresh...

  2. National stakeholder workshop summary report

    SciTech Connect (OSTI)

    NONE

    1996-06-01

    This is a summary of the plenary sessions and small group discussion sessions from the fourth National Stakeholder Workshop sponsored by the DOE Office of Worker and Community Transition held in Atlanta, Georgia on March 13--15, 1996. Topics of the sessions included work force planning and restructuring, worker participation in health and safety, review of actions and commitments, lessons learned in collective bargaining agreements, work force restructuring guidance, work force planning, update on community transition activities. Also included are appendices listing the participants and DOE contacts.

  3. Decision Summaries | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergy A plug-in electricLaboratory | version of the1996ofDavidNovember 16, 2012 Summary of

  4. Decision Summaries | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergy A plug-in electricLaboratory | version of the1996ofDavidNovember 16, 2012 Summary

  5. Microsoft Word - Summary.doc

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal GasAdministration Medal01 Sandia4) AugustA.MOX Adventure614583 GENII5, 2007The Summary

  6. Final Meeting Summary Page 1

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverse (Journal Article) | SciTechSubmittedEcologistand9, 2013 FINAL MEETING SUMMARY

  7. Summary of Advice to the

    Gasoline and Diesel Fuel Update (EIA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustments (Billion Cubic Feet) Wyoming963 1.969 1.979 1.988 1.996Deutsche Bank AG Weekly Download35 35 Summary

  8. Executive Summary | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative Fuelsof Energy Services » Program Management »Eric J.9Executive SummaryExecutive

  9. Chapter 11: Summary and Conclusions

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirley Ann JacksonDepartment|Marketing, LLCEfficiencyCOP 21:Department of ChairsTo meet ourSummary

  10. Hawaii Clean Energy Final PEIS Summary

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

    HAWAI'I CLEAN ENERGY FINAL PROGRAMMATIC ENVIRONMENTAL IMPACT STATEMENT SUMMARY U.S. DEPARTMENT OF ENERGY Office of Electricity Delivery and Energy Reliability Office of Energy...

  11. TEC Meeting Summaries - April 2004 Presentations | Department...

    Office of Environmental Management (EM)

    4 Presentations TEC Meeting Summaries - April 2004 Presentations Albuquerque, New Mexico Presentations ( April 21-23, 2004) Documents Available for Download Introductions and...

  12. 2013 Biological Hydrogen Production Workshop Summary Report ...

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

    November 2013 summary report for the 2013 Biological Hydrogen Production Workshop. bioh2workshopfinalreport.pdf More Documents & Publications The Hydrogen Program at NREL: A...

  13. Solid State Lighting LED Manufacturing Roundtable Summary

    SciTech Connect (OSTI)

    None

    2010-03-31

    Summary of a meeting of LED experts to develop proposed priority tasks for the Manufacturing R&D initiative, including task descriptions, discussion points, recommendations, and presentation highlights.

  14. Draft Tank Closure & Waste Management EIS - Summary

    Office of Environmental Management (EM)

    91 Draft Tank Closure and Waste Management Environmental Impact Statement for the Hanford Site, Richland, Washington Summary U.S. Department of Energy October 2009 Cover Sheet...

  15. International Hydrogen Infrastructure Challenges Workshop Summary...

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

    presentation slides from the DOE Fuel Cell Technologies Office webinar "International Hydrogen Infrastructure Challenges Workshop Summary - NOW, NEDO, and DOE" held on December 16,...

  16. 2009 Wind Technologies Market Report: Executive Summary

    SciTech Connect (OSTI)

    Wiser, R.; Bolinger, M.

    2010-08-01

    This is the Executive Summary of the full report entitled 2009 Wind Technologies Market Report (DOE/GO-102010-3107).

  17. Inspection Summary Report | Department of Energy

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

    deterrence policy. In the early 1990s, Sandia undertook to design a replacement neutron generator for the W76 nuclear warhead. Topic: National Security and Safety Summary of...

  18. Annual Planning Summaries: 2011 | Department of Energy

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

    EM and SC APS). January 21, 2011 2011 Annual Planning Summary for Princeton Site Office (PSO) The ongoing and projected Environmental Assessments and Environmental Impact...

  19. TEC Meeting Summaries - January - February 2007 Presentations...

    Office of Environmental Management (EM)

    for Routing ROUTING TOPIC GROUP - Selecting Rail Routes ROUTING TOPIC GROUP - Risk Assessment Part 2 More Documents & Publications TEC Meeting Summaries - January - February...

  20. TEC Meeting Summaries - February 2008 Presentations | Department...

    Office of Environmental Management (EM)

    2008 Presentations TEC Meeting Summaries - February 2008 Presentations San Antonio, Texas Presentations (Feb. 6 - 7, 2008) Documents Available for Download Welcome &...

  1. 2013 Summer Research Summary Wenzhao Sun

    E-Print Network [OSTI]

    Buechler, Steven

    2013 Summer Research Summary Wenzhao Sun I did a summer intern with Amazon documentation before development for future tracking and assessment purpose. (2

  2. Summary of Electrolytic Hydrogen Production: Milestone Completion...

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

    Electrolytic Hydrogen Production: Milestone Completion Report Summary of Electrolytic Hydrogen Production: Milestone Completion Report This report provides an overview of the...

  3. Independent Oversight Inspection, Pantex Plant, Summary Report...

    Office of Environmental Management (EM)

    Summary Report - November 2002 November 2002 Inspection of Environment, Safety, and Health and Emergency Management at the Pantex Plant This report provides the more detailed...

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

    E-Print Network [OSTI]

    S. Odendahl; P. Henselder

    2007-05-24

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

  5. Summary of Booster Development and Qualification Report

    SciTech Connect (OSTI)

    Francois, Elizabeth G.; Harry, Herbert H.; Hartline, Ernest L.; Hooks, Daniel E.; Johnson, Carl E.; Morris, John S.; Novak, Alan M.; Ramos, Kyle J.; Sanders, Victor E.; Scovel, Christina A.; Lorenz, Thomas; Wright, Mark; Botcher, Tod; Marx, Erin; Gibson, Kevin

    2012-06-21

    This report outlines booster development work done at Los Alamos National Laboratory from 2007 to present. The booster is a critical link in the initiation train of explosive assemblies, from complex devices like nuclear weapons to conventional munitions. The booster bridges the gap from a small, relatively sensitive detonator to an insensitive, but massive, main charge. The movement throughout the explosives development community is to use more and more insensitive explosive components. With that, more energy is needed out of the booster. It has to initiate reliably, promptly, powerfully and safely. This report is divided into four sections. The first provides a summary of a collaborative effort between LANL, LLNL, and AWE to identify candidate materials and uniformly develop a testing plan for new boosters. Important parameters and the tests required to measure them were defined. The nature of the collaboration and the specific goals of the participating partners has changed over time, but the booster development plan stands on its own merit as a complete description of the test protocol necessary to compare and qualify booster materials, and is discussed in its entirety in this report. The second section describes a project, which began in 2009 with the Department of Defense to develop replacement booster formulations for PBXN-7. Replacement of PBXN-7 was necessary because it contained Triaminotrinitrobenzene (TATB), which was becoming unavailable to the DoD and because it contained Cyclotrimethylenetrinitramine (RDX), which was sensitive and toxic. A LANL-developed explosive, Diaminoazoxyfurazan (DAAF), was an important candidate. This project required any replacement formulation be a drop-in replacement in existing munitions. This project was timely, in that it made use of the collaborative booster development project, and had the additional constraint of matching shock sensitivity. Additionally it needed to be a safety improvement, and a performance improvement, especially at cold temperatures. The requirements of this project necessitated novel test development and a different approach to ranking booster qualities. Results of this project have been documented to the DoD and the relevant portions are included within. The third section of this booster report outlines testing related to main charge initiation merit. Initiability can be evaluated by looking at critical diameter, run distance, and shock sensitivity. Once a booster is initiated, it needs to be powerful enough to initiate the main charge symmetrically and evenly. Main charge initiability is evaluated directly by observing detonation wave symmetry, curvature, and first break out over the surface of a charge. Furthermore it must be insensitive to accidents and insults, and safe and reliable across a range of temperatures. These effects, tests, and results will be discussed individually in the context of DAAF and other explosives similarly tested. The last section provides a conclusion and summary of our experimental work and recommendations for the path forward. References and additional supporting documentation and results are provided in the appendices at the end of this report.

  6. Emissions Trading and Air Toxics Emissions: RECLAIM and Toxics Regulation in the South Coast Air Basin

    E-Print Network [OSTI]

    Cohen, Nancy J.

    1993-01-01

    Emissions Trading and Air Toxics Emissions: RECLAIM anda mar- ket-based emissions trading program called theimpacts cre- ated by emissions trading programs that affect

  7. AASC Panel---FASR Summary Report 02/13/99 Summary of FASR Page 1

    E-Print Network [OSTI]

    White, Stephen

    AASC Panel---FASR Summary Report 02/13/99 Summary of FASR Page 1 Summary of the Frequency­Agile Solar Radiotelescope (FASR) Project Science Goals The Frequency­Agile Solar Radiotelescope is a multi in frequency. In so doing, it will produce a continuous, three­dimensional record of the solar atmosphere from

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

    E-Print Network [OSTI]

    Liberzon, Daniel

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

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

    E-Print Network [OSTI]

    Peters, Dennis

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

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

    E-Print Network [OSTI]

    Fox, Michael

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

  11. Integrating Formal Verification into Computer Organization and Architecture Courses

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

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

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

  13. Formal Verification of a Microprocessor Control Lubomir Ivanov

    E-Print Network [OSTI]

    Ivanov, Lubomir

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

  14. Formalizing Style to Understand Descriptions of Software Architecture

    E-Print Network [OSTI]

    of interaction between those components, global system properties (such as throughput and latency), and 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

  15. An Overview of A Formal Framework For Managing Mathematics

    E-Print Network [OSTI]

    Farmer, William M.

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

  16. TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS

    E-Print Network [OSTI]

    von Bochmann, Gregor

    TEST RESULT ANALYSIS WITH RESPECT TO FORMAL SPECIFICATIONS Gregor v. BOCHMANN and Omar B. BELLAL Universit de Montral Montral, 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

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

    E-Print Network [OSTI]

    Sanders, William H.

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

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

    E-Print Network [OSTI]

    Strelen, Christoph

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

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

    E-Print Network [OSTI]

    Priss, Uta

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

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

    E-Print Network [OSTI]

    Laforcade, Pierre

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

  1. Quantum Nonsymmetric Gravity and The Superfiber Bundle Formalism

    E-Print Network [OSTI]

    Mebarki, N

    1999-01-01

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

  2. NASA/TP2004213015 Formal Verification of a Conflict

    E-Print Network [OSTI]

    Muoz, Csar 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

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

    E-Print Network [OSTI]

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

  4. Evolution Styles -Formal foundations and tool support for

    E-Print Network [OSTI]

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

  5. Formal property verification in a conformance testing framework

    E-Print Network [OSTI]

    Fainekos, Georgios E.

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

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

    E-Print Network [OSTI]

    some kinetic energy as well as some potential energy change along the way. Question: What doespage - 16 Formal definition of POTENTIAL ENERGY (valid for conservative forces only) Given one type of conservative force F UB - UA= - = - Definition of 'Potential energy difference" conserv #12;page - 17

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

    E-Print Network [OSTI]

    Trainor, Laurel J.

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

  8. Anlise Formal de SistemasUma abordagem orientada a linguagem

    E-Print Network [OSTI]

    Ayala-Rincn, Mauricio

    assncrono.Algoritmos distribudos formam exemplos importantes em computao, uma rea com bastante investimento em anlise formal. O que eleio de lder? Eleio de lder um algoritmo distribudo ou modelo de um sistema. Para o algoritmos de eleio de lder o que, em geral, se deseja saber se um

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

    E-Print Network [OSTI]

    Peleska, Jan - Fachbereich 3

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

  10. Centre for Software Certification Formalizing and Verifying Function Blocks

    E-Print Network [OSTI]

    Lawford, Mark

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

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

    E-Print Network [OSTI]

    Bressan, Stphane

    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

  12. A Formalization of a Hierarchical Model for RISC Processors

    E-Print Network [OSTI]

    Tahar, Sofine

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

  13. Angular Velocity Operator and Barnett-Pegg Formalism

    E-Print Network [OSTI]

    Ramandeep S. Johal

    1997-07-14

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

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

    E-Print Network [OSTI]

    Cengarle, Mara 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

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

    E-Print Network [OSTI]

    Old, L. John

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

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

    E-Print Network [OSTI]

    M. C. Bertin; B. M. Pimentel; C. E. Valcrcel

    2008-05-05

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

  17. FOCLASA 2009 Formalizing Adaptation On-the-Fly

    E-Print Network [OSTI]

    de Vink, Erik

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

  18. Finite anticanonical transformations in field-antifield formalism

    E-Print Network [OSTI]

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

    2015-07-09

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

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

    E-Print Network [OSTI]

    M. V. T. Machado

    2009-05-27

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

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

    E-Print Network [OSTI]

    Cugola, Gianpaolo

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

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

    E-Print Network [OSTI]

    Chen-Burger, Yun-Heh (Jessica)

    Formal Support for an Informal Business Modelling Method \\Lambda 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

  2. D-Branes in the Green-Schwarz Formalism

    E-Print Network [OSTI]

    N. D. Lambert; P. C. West

    1999-06-08

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

  3. Applications of formal model choice to archaeological chronology building

    E-Print Network [OSTI]

    Sahu, Sujit K

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

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

    E-Print Network [OSTI]

    Southampton, University of

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

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

    E-Print Network [OSTI]

    Grosu, Radu

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

  6. Modeling Cyber Conflicts Using an Extended Petri Net Formalism

    SciTech Connect (OSTI)

    Zakrzewska, Anita N; Ferragut, Erik M

    2011-01-01

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

  7. An Introduction To The Web-Based Formalism

    E-Print Network [OSTI]

    Davide Gaiotto; Gregory W. Moore; Edward Witten

    2015-06-12

    This paper summarizes our rather lengthy paper, "Algebra of the Infrared: String Field Theoretic Structures in Massive ${\\cal N}=(2,2)$ Field Theory In Two Dimensions," and is meant to be an informal, yet detailed, introduction and summary of that larger work.

  8. Technology Licensing Opportunity Non-Confidential Summary

    E-Print Network [OSTI]

    Peak, Derek

    Technology Licensing Opportunity Non-Confidential Summary Industry Liaison Office 121 Research;Technology Licensing Opportunity Non-Confidential Summary Industry Liaison Office 121 Research Drive, Suite,642,697) 2. Recovery of Hydrophobic Peptides from Oils (PCT/CA2008/002272) 3. Process for the Production

  9. Technology Licensing Opportunity Non-Confidential Summary

    E-Print Network [OSTI]

    Peak, Derek

    Technology Licensing Opportunity Non-Confidential Summary Industry Liaison Office 121 Research-oxidants with utility in maintaining shelf life of oils and are the precursors of vitamin A. Lutein and zeaxanthin Licensing Opportunity Non-Confidential Summary Industry Liaison Office 121 Research Drive, Suite 501

  10. Climate Summary Working toward Climate Resilience

    E-Print Network [OSTI]

    Walter, M.Todd

    1 Climate Summary Working toward Climate Resilience A Summary Prepared for the Town of Germantown and decision-making as requested by the Town of Germantown. It identifies historic climate trends and introduces future projections and strategies to address the climate hazards most likely to affect Hudson

  11. Fusion Lecture Summary Eugene S. Evans

    E-Print Network [OSTI]

    Budker, Dmitry

    Fusion Lecture Summary Eugene S. Evans Physics H190, University of California, Berkeley March 31. Evans (2010) Fusion Lecture Summary March 31, 2010 1 / 15 #12;Outline 1 Overview of NIF Specifications Timeline Goals 2 Inertial Confinement Fusion (ICF) 3 Science at NIF 4 Fusion and the Future Laser Inertial

  12. 2002 Fusion Summer Study Executive Summary

    E-Print Network [OSTI]

    2002 Fusion Summer Study Executive Summary 31 July 2002 #12;page 2 of 15 2002 Fusion Summer Study Executive Summary The 2002 Fusion Summer Study was conducted from July 8-19, 2002, in Snowmass, CO, and carried out a critical assessment of major next-steps in the fusion energy sciences program in both

  13. PRE-DESIGN INVESTIGATION SUMMARY REPORT FOR

    E-Print Network [OSTI]

    US Army Corps of Engineers

    Formerly Utilized Sites Remedial Action Program #12;#12;REVISION 0 PRE-DESIGN INVESTIGATION SUMMARY REPORT.S. Army Corps of Engineers, St. Louis District Office, Formerly Utilized Sites Remedial Action ProgramREVISION 0 PRE-DESIGN INVESTIGATION SUMMARY REPORT FOR COLDWATER CREEK FROM McDONNELL BOULEVARD

  14. 2015 Race to Zero Competition Winner Team Summaries | Department...

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

    2015 Race to Zero Competition Winner Team Summaries 2015 Race to Zero Competition Winner Team Summaries Read the team summaries for the 2015 Race to Zero Student Design Competition...

  15. Energize New York Summary of Reported Data | Department of Energy

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

    Summary of Reported Data Energize New York Summary of Reported Data Summary of Reported Data for Energize New York, a partner in the U.S. Department of Energy's Better Buildings...

  16. AFIP-6 Characterization Summary Report

    SciTech Connect (OSTI)

    Dr. Dennis D. Keiser

    2011-12-01

    The AFIP-6 (ATR Full-size-plate In center flux trap Position) Characterization Summary Report outlines the fresh fuel characterization efforts performed during the AFIP-6 experiment. The AFIP-6 experiment was designed to evaluate the performance of monolithic uranium-molybdenum (U-Mo) fuels at a scale prototypic of Advanced Test Reactor (ATR) fuel plates (45-inches long). The AFIP-6 test was the first test with plates that were swaged into the rails of the assembly. This test served to examine the effects of a plate in a swaged condition with longer fuel zones (22.5-inches long), that were centered in the plate. AFIP-6 test plates employed a zirconium interlayer that was co-rolled with the fuel foil. Previous mini-plate and AFIP irradiation experiments performed in ATR have demonstrated the stable behavior of the interface between the U-Mo fuel and the zirconium interlayer.

  17. Building America Webinar: A National Summary of Deep Energy Retrofits...

    Energy Savers [EERE]

    Webinar: A National Summary of Deep Energy Retrofits Building America Webinar: A National Summary of Deep Energy Retrofits This presentation by Brennan Less is included in the...

  18. DOE New Madrid Seismic Zone Electric Utility Workshop Summary...

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

    DOE New Madrid Seismic Zone Electric Utility Workshop Summary Report - August 2010 DOE New Madrid Seismic Zone Electric Utility Workshop Summary Report - August 2010 The DOE New...

  19. TEC Meeting Summaries - July 2000 | Department of Energy

    Office of Environmental Management (EM)

    0 TEC Meeting Summaries - July 2000 Indianapolis, Indiana (July 25-27, 2000) Meeting Summaries Items Available for Download Participants List TEC Meeting Notes More Documents &...

  20. TEC Meeting Summaries - July 1993 | Department of Energy

    Office of Environmental Management (EM)

    1993 TEC Meeting Summaries - July 1993 Chicago, Illinois (July 20-23, 1993) Meeting Summaries Items Available for Download TEC Meeting Notes More Documents & Publications TEC...

  1. 2013 Annual Planning Summary for the National Energy Technology...

    Office of Environmental Management (EM)

    for the New Brunswick Laboratory 2013 Annual Planning Summary for the Rocky Mountain Oilfield Testing Center 2013 Annual Planning Summary for the Strategic Petroleum Reserve...

  2. Summary of the Optics, IR, Injection, Operations, Reliability...

    Office of Scientific and Technical Information (OSTI)

    Technical Report: Summary of the Optics, IR, Injection, Operations, Reliability and Instrumentation Working Group Citation Details In-Document Search Title: Summary of the Optics,...

  3. TEC Meeting Summaries - January 1995 | Department of Energy

    Office of Environmental Management (EM)

    5 TEC Meeting Summaries - January 1995 Charlotte, North Carolina (January 17-19, 1995) Meeting Summaries Items Available for Download TEC Meeting Notes More Documents &...

  4. TEC Meeting Summaries - January 1997 | Department of Energy

    Office of Environmental Management (EM)

    7 TEC Meeting Summaries - January 1997 Charleston, South Carolina (January 14-16, 1997) Meeting Summaries Items Available for Download TEC Meeting Notes More Documents &...

  5. TEC Meeting Summaries - September 2005 | Department of Energy

    Office of Environmental Management (EM)

    5 TEC Meeting Summaries - September 2005 Pueblo, Colorado (September 2005) Meeting Summaries Presentations Items Available for Download Agenda Participants List TEC Meeting Notes...

  6. TEC Meeting Summaries - April 2005 | Department of Energy

    Office of Environmental Management (EM)

    April 2005 TEC Meeting Summaries - April 2005 Phoenix, Arizona (April 2005) Meeting Summaries Presentations Items Available for Download Agenda Participants List TEC Meeting Notes...

  7. Breakout Session Summary Reports National CHP Workshop - One...

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

    Breakout Session Summary Reports National CHP Workshop - One Year Later, Baltimore, October 2001 Breakout Session Summary Reports National CHP Workshop - One Year Later, Baltimore,...

  8. Design Case Summary: Production of Gasoline and Diesel from Biomass...

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

    Design Case Summary: Production of Gasoline and Diesel from Biomass via Fast Pyrolysis, Hydrotreating, and Hydrocracking Design Case Summary: Production of Gasoline and Diesel from...

  9. 2010 Annual Planning Summary for Stanford Linear Accelerator...

    Energy Savers [EERE]

    0 Annual Planning Summary for Stanford Linear Accelerator Center Site Office (SLAC) 2010 Annual Planning Summary for Stanford Linear Accelerator Center Site Office (SLAC) Annual...

  10. TEC Meeting Summaries - April 2004 | Department of Energy

    Office of Environmental Management (EM)

    4 TEC Meeting Summaries - April 2004 Albuquerque, New Mexico (April 21-23, 2004) Meeting Summaries Presentations Items Available for Download Agenda Participants List TEC Meeting...

  11. 2011 Residential Energy Efficiency Technical Update Meeting Summary...

    Energy Savers [EERE]

    2011 Residential Energy Efficiency Technical Update Meeting Summary Report: Denver, Colorado - August 9-11, 2011 2011 Residential Energy Efficiency Technical Update Meeting Summary...

  12. Independent Oversight Focused Review, Kansas City Plant, Summary...

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

    Review, Kansas City Plant, Summary Report - December 2001 Independent Oversight Focused Review, Kansas City Plant, Summary Report - December 2001 December 2001 Focused Review of...

  13. TEC Meeting Summaries - February 2001 | Department of Energy

    Office of Environmental Management (EM)

    1 TEC Meeting Summaries - February 2001 Portland, Oregon (February 6-7, 2001) Meeting Summaries Items Available for Download Participants List TEC Meeting Notes More Documents &...

  14. TEC Meeting Summaries - July 2001 | Department of Energy

    Office of Environmental Management (EM)

    1 TEC Meeting Summaries - July 2001 Cincinnati, Ohio (July 17-19, 2001) Meeting Summaries Items Available for Download Agenda Participants List TEC Meeting Notes More Documents &...

  15. OAHU Wind Integration And Transmission Study: Summary Report...

    Office of Environmental Management (EM)

    OAHU Wind Integration And Transmission Study: Summary Report, NREL (National Renewable Energy Laboratory) OAHU Wind Integration And Transmission Study: Summary Report, NREL...

  16. Eastern Wind Integration and Transmission Study: Executive Summary...

    Energy Savers [EERE]

    Study: Executive Summary and Project Overview Eastern Wind Integration and Transmission Study: Executive Summary and Project Overview This study evaluates the future operational...

  17. TEC Meeting Summaries - January 1999 | Department of Energy

    Office of Environmental Management (EM)

    January 1999 TEC Meeting Summaries - January 1999 Jacksonville, Florida (January 20-22, 1999) Meeting Summaries Items Available for Download TEC Meeting Notes More Documents &...

  18. TEC Meeting Summaries - July 1999 | Department of Energy

    Office of Environmental Management (EM)

    July 1999 TEC Meeting Summaries - July 1999 Philadelphia, Pennsylvania (July 14-15, 1999) Meeting Summaries Items Available for Download TEC Meeting Notes More Documents &...

  19. TEC Meeting Summaries - January 1999 | Department of Energy

    Office of Environmental Management (EM)

    9 TEC Meeting Summaries - January 1999 Jacksonville, Florida (January 20-22, 1999) Meeting Summaries Items Available for Download TEC Meeting Notes More Documents & Publications...

  20. Summary of Waste Isolation Pilot Plant (WIPP) Hypotheses | Department...

    Office of Environmental Management (EM)

    Summary of Waste Isolation Pilot Plant (WIPP) Hypotheses Summary of Waste Isolation Pilot Plant (WIPP) Hypotheses This document was used to determine facts and conditions during...

  1. Summary and Presentations from "Estimating the Benefits and Costs...

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

    Summary and Presentations from "Estimating the Benefits and Costs of Distributed Energy Technologies" Workshop Now Available Summary and Presentations from "Estimating the Benefits...

  2. TEC Meeting Summaries - July 1999 | Department of Energy

    Office of Environmental Management (EM)

    9 TEC Meeting Summaries - July 1999 Philadelphia, Pennsylvania (July 14-15, 1999) Meeting Summaries Items Available for Download TEC Meeting Notes More Documents & Publications TEC...

  3. Roadmap to Secure Control Systems in the Energy: Executive Summary...

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

    Roadmap to Secure Control Systems in the Energy: Executive Summary - 2006 Roadmap to Secure Control Systems in the Energy: Executive Summary - 2006 This document, the Roadmap to...

  4. Renewable, Low-Cost Carbon Fiber for Lightweight Vehicles: Summary...

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

    Renewable, Low-Cost Carbon Fiber for Lightweight Vehicles: Summary Report Renewable, Low-Cost Carbon Fiber for Lightweight Vehicles: Summary Report This report outlines the final...

  5. TEC Meeting Summaries - September 2004 | Department of Energy

    Office of Environmental Management (EM)

    September 2004 TEC Meeting Summaries - September 2004 Minneapolis, Minnesota (September 2004) Meeting Summaries Items Available for Download Meeting Notice Agenda Participants List...

  6. Summary for Policy Makers: Intergovernmental Panel on Climate...

    Office of Scientific and Technical Information (OSTI)

    Summary for Policy Makers: Intergovernmental Panel on Climate Change Special Report Renewable Energy Sources (SRREN) Citation Details In-Document Search Title: Summary for Policy...

  7. Hydrogen Storage Systems Analysis Meeting: Summary Report, March...

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

    Meeting: Summary Report, March 29, 2005 Hydrogen Storage Systems Analysis Meeting: Summary Report, March 29, 2005 This report highlights DOE's systems analysis work related to...

  8. Summary Report from DOE Theory Focus Session on Hydrogen Storage...

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

    DOE Theory Focus Session on Hydrogen Storage Materials Summary Report from DOE Theory Focus Session on Hydrogen Storage Materials This report provides a summary of feedback from...

  9. Hydrgoen Storage Systems Analysis Working Group Meeting Summary...

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

    Analysis Working Group Meeting Summary Report Summary report from the May 17, 2007 Hydrogen Storage Systems Analysis Working Group Meeting ssawgmaysummary.pdf More...

  10. 2011 ANNUAL PLANNING SUMMARY FOR ADVANCED RESEARCH AND PROJECTS...

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

    for Bonneville Power Administration 2013 Annual Planning Summary for the Western Area Power Administration 2014 Annual Planning Summary for the West Valley Demonstration Project...

  11. TEC Meeting Summaries - January 1994 | Department of Energy

    Office of Environmental Management (EM)

    1994 TEC Meeting Summaries - January 1994 Dallas, Texas (January 25-28, 1994) Meeting Summaries Items Available for Download TEC Meeting Notes More Documents & Publications TEC...

  12. TEC Meeting Summaries - February 2008 | Department of Energy

    Office of Environmental Management (EM)

    8 TEC Meeting Summaries - February 2008 San Antonio, Texas (Feb. 6 - 7, 2008) Meeting Summaries Presentations Items Available for Download Agenda Participants List TEC Meeting...

  13. Process Integration and Carbon Efficiency Workshop Summary Report...

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

    Summary Report Process Integration and Carbon Efficiency Workshop Summary Report This report is based on the proceedings of the U.S. Department of Energy's Bioenergy Technologies...

  14. June 2014 Electricity Advisory Committee Meeting Summaries and...

    Office of Environmental Management (EM)

    June 2014 Electricity Advisory Committee Meeting Summaries and Transcripts Now Available June 2014 Electricity Advisory Committee Meeting Summaries and Transcripts Now Available...

  15. TEC Meeting Summaries - April 2005 | Department of Energy

    Office of Environmental Management (EM)

    5 TEC Meeting Summaries - April 2005 Phoenix, Arizona (April 2005) Meeting Summaries Presentations Items Available for Download Agenda Participants List TEC Meeting Notes More...

  16. TEC Working Group Topic Groups Rail Meeting Summaries | Department...

    Office of Environmental Management (EM)

    - March 15, 2006 Pueblo TEC Meeting, Rail Topic Group Summary - September 22, 2005 Phoenix TEC Meeting, Rail Topic Group Summary - April 4, 2005 Minneapolis TEC Meeting, Rail...

  17. DOE contractor's meeting on chemical toxicity

    SciTech Connect (OSTI)

    Not Available

    1987-01-01

    The Office of Health and Environmental Research (OHER) is required to determine the potential health and environmental effects associated with energy production and use. To ensure appropriate communication among investigators and scientific disciplines that these research studies represent, OHER has sponsored workshops. This document provides a compilation of activities at the Third Annual DOE/OHER Workshop. This year's workshop was broadened to include all OHER activities identified as within the chemical effects area. The workshop consisted of eight sessions entitled Isolation and Detection of Toxic chemicals; Adduct Formation and Repair; Chemical Toxicity (Posters); Metabolism and Genotoxicity; Inhalation Toxicology; Gene Regulation; Metals Toxicity; and Biological Mechanisms. This document contains abstracts of the information presented by session.

  18. Unambiguous Formalism for Higher-Order Lagrangian Field Theories

    E-Print Network [OSTI]

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

    2009-01-01

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

  19. Formal verification of complex properties on PLC programs

    E-Print Network [OSTI]

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

    2014-01-01

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

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

    E-Print Network [OSTI]

    Miranda, E N

    2015-01-01

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

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

    E-Print Network [OSTI]

    E. N. Miranda; Dalia S. Bertoldi

    2015-09-04

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

  2. Acute inhalation toxicity of carbonyl sulfide

    SciTech Connect (OSTI)

    Benson, J.M.; Hahn, F.F.; Barr, E.B. [and others

    1995-12-01

    Carbonyl sulfide (COS), a colorless gas, is a side product of industrial procedures sure as coal hydrogenation and gasification. It is structurally related to and is a metabolite of carbon disulfide. COS is metabolized in the body by carbonic anhydrase to hydrogen sulfide (H{sub 2}S), which is thought to be responsible for COS toxicity. No threshold limit value for COS has been established. Results of these studies indicate COS (with an LC{sub 50} of 590 ppm) is slightly less acutely toxic than H{sub 2}S (LC{sub 50} of 440 ppm).

  3. Graphical and tabular summaries of decay characteristics for once-through PWR, LMFBR, and FFTF fuel cycle materials. [Spent fuel, high-level waste fuel can scrap

    SciTech Connect (OSTI)

    Croff, A.G.; Liberman, M.S.; Morrison, G.W.

    1982-01-01

    Based on the results of ORIGEN2 and a newly developed code called ORMANG, graphical and summary tabular characteristics of spent fuel, high-level waste, and fuel assembly structural material (cladding) waste are presented for a generic pressurized-water reactor (PWR), a liquid-metal fast breeder reactor (LMFBR), and the Fast Flux Test Facility (FFTF). The characteristics include radioactivity, thermal power, and toxicity (water dilution volume). Given are graphs and summary tables containing characteristic totals and the principal nuclide contributors as well as graphs comparing the three reactors for a single material and the three materials for a single reactor.

  4. Tansley review Toxic cardenolides: chemical ecology and

    E-Print Network [OSTI]

    Agrawal, Anurag

    (Na+ / K+ -ATPase). Summary Cardenolides are remarkable steroidal toxins that have become model selection by herbivores. In addition, there is strong evidence for phenotypic plasticity, with the biotic-containing plants often sequester the toxins, are aposematic, and possess several physiological adaptations

  5. 2013 White Book, Pacific Northwest Loads and Resources Study (summary)

    SciTech Connect (OSTI)

    2013-10-01

    The 2013 Pacific Northwest Loads and Resources Study (2013 White Book) is BPA's latest projection of the Pacific Northwest regional retail loads, contract obligations, contract purchases, and resource capabilities. The 2013 White Book is a snapshot of conditions as of October 1, 2013, documenting the loads and resources for the Federal system and region for the 10-year study period OY 2014 through 2023. The White Book contains projections of regional and Federal system load and resource capabilities, along with relevant definitions and explanations. The White Book also contains information obtained from formalized resource planning reports and data submittals including those from individual utilities, the Northwest Power and Conservation Council (Council), and the Pacific Northwest Utilities Conference Committee (PNUCC). Starting with the 2012 White Book, BPA changed the annual production schedule for future White Books. BPA is scheduled to publish a complete White Book, which includes a Federal System Needs Assessment analysis, every other year (even years). In the odd-numbered years, BPA will publish a biennial summary update (Supplement) that only contains major changes to the Federal System and Regional System analyses that have occurred since the last White Book. http://www.bpa.gov/power/pgp/whitebook/2013/index.shtml.

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

    E-Print Network [OSTI]

    Kraus, Sarit

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

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

    E-Print Network [OSTI]

    Ouyang, Meng

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

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

    E-Print Network [OSTI]

    Southampton, University of

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

  9. Fossil energy program. Summary document

    SciTech Connect (OSTI)

    None

    1980-05-01

    This program summary document presents a comprehensive overview of the research, development, and demonstration (RD and D) activities that will be performed in FY 1981 by the Assistant Secretary for Fossil Energy (ASFE), US Department of Energy (DOE). The ASFE technology programs for the fossil resources of coal, petroleum (including oil shale) and gas have been established with the goal of making substantive contributions to the nation's future supply and efficienty use of energy. On April 29, 1977, the Administration submitted to Congress the National Energy Plan (NEP) and accompanying legislative proposals designed to establish a coherent energy policy structure for the United States. Congress passed the National Energy Act (NEA) on October 15, 1978, which allows implementation of the vital parts of the NEP. The NEP was supplemented by additional energy policy statements culminating in the President's address on July 15, 1979, presenting a program to further reduce dependence on imported petroleum. The passage of the NEA-related energy programs represent specific steps by the Administration and Congress to reorganize, redirect, and clarify the role of the Federal Government in the formulation and execution of national energy policy and programs. The energy technology RD and D prog4rams carried out by ASFE are an important part of the Federal Government's effort to provide the combination and amounts of energy resources needed to ensure national security and continued economic growth.

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

    E-Print Network [OSTI]

    Denham, Diana; Tilly, Chris

    2013-01-01

    modern retailerssuchasWalmartdominatingtheformalothergoods,ownedbyWalmart CaliforniaVinosyLicores

  11. ELECTRICAL & COMPUTER ENGINEERING DEPARTMENT ANNUAL REPORT SUMMARY

    E-Print Network [OSTI]

    Alpay, S. Pamir

    ELECTRICAL & COMPUTER ENGINEERING DEPARTMENT ANNUAL REPORT SUMMARY 2013-2014 UNDERGRADUATE EDUCATION The Electrical & Computer Engineering (ECE) department offers undergraduate degrees in Electrical (the Institute of Electrical and Electronic Engineering). He is also co-director of the Underwater

  12. Strategic Plan 2014-2019 Executive Summary

    E-Print Network [OSTI]

    Wilf, Peter

    1 Strategic Plan 2014-2019 Executive Summary the University (and elsewhere) that may deviate from this strategic plan but leverage this goal we will: 1) Hire a diverse cadre of new faculty in strategic areas

  13. DOE-1 BDL SUMMARY. DOE-1 GROUP.

    E-Print Network [OSTI]

    Authors, Various

    2011-01-01

    PV-E (special parameters) PV-F (cost of utility energy) PV=G (cost of equipment) PV-H (cost reference for equipment)central plant life cycle cost summary) PV~A (equipment sizes

  14. DOE-1 BDL SUMMARY. DOE-1 GROUP.

    E-Print Network [OSTI]

    Authors, Various

    2011-01-01

    may be this command. DOE~! Reference Manual. placed in BDL-3W-7405-EN ons c BDl, SUMMARY DOE~ I l.awrence , Californiaused in conjunction with other DOE~l documentation. Table of

  15. Tank Stabilization September 30, 1999 Summary

    Office of Environmental Management (EM)

    Type Consent Decree Legal Driver(s) RCRA Scope Summary Renegotiate a schedule to pump liquid radioactive hazardous waste from single-shell tanks to double-shell tanks...

  16. Sec$on Summary ! Properties of Algorithms

    E-Print Network [OSTI]

    #12;Sec$on Summary ! Properties of Algorithms ! Algorithms for Searching and Sorting ! Greedy Algorithms ! Halting Problem #12;Problems and Algorithms ! In many. This procedure is called an algorithm. #12;Algorithms Definition: An algorithm

  17. Evaluating Automatic Summaries of Meeting Recordings

    E-Print Network [OSTI]

    Murray, Gabriel; Renals, Steve; Carletta, Jean; Moore, Johanna

    2005-01-01

    The research below explores schemes for evaluating automatic summaries of business meetings, using the ICSI Meeting Corpus. Both automatic and subjective evaluations were carried out, with a central interest being whether ...

  18. Conference Housing Amenities Manager JOB SUMMARY

    E-Print Network [OSTI]

    Walker, Lawrence R.

    Conference Housing Amenities Manager JOB SUMMARY The Conference Housing program exists to provide service to students with employment opportunities while supporting the university through housing external guests and university sponsored groups. The Conference Housing Amenities Manager is responsible

  19. Qualified Energy Conservation Bond State-by-State Summary Tables

    Broader source: Energy.gov [DOE]

    Provides a list of qualified energy conservation bond state summary tables. Author: Energy Programs Consortium

  20. Advanced Manufacturing Jobs and Innovation Accelerator Challenge Project Summaries

    Broader source: Energy.gov [DOE]

    Project summaries for the Accelerator Challenge listing recipients, collaborations, locations, project names, and funding requests.

  1. Electron-Cloud Build-Up: Summary

    SciTech Connect (OSTI)

    Furman, M.A.

    2007-06-18

    I present a summary of topics relevant to the electron-cloud build-up and dissipation that were presented at the International Workshop on Electron-Cloud Effects 'ECLOUD 07' (Daegu, S. Korea, April 9-12, 2007). This summary is not meant to be a comprehensive review of the talks. Rather, I focus on those developments that I found, in my personal opinion, especially interesting. The contributions, all excellent, are posted in http://chep.knu.ac.kr/ecloud07/.

  2. datamanagementgroup 2011 SURvEY AREA SUMMARY

    E-Print Network [OSTI]

    Toronto, University of

    datamanagementgroup 2011 SURvEY AREA SUMMARY DEPARTMENT OF CIvIL ENGINEERING - UNIvERSITY OF TORONTO PREPARED BY datamanagementgroup 2011 SURvEY AREA SUMMARY DEPARTMENT OF CIvIL ENGINEERING - UNIv% 22% 21% 11% 1% 19% 51% 18% 12% 2.9 1.9 2.2 2.2 7.1 TRIPS MADE BY RESIDENTS OF TOWNSHIP OF KING 9

  3. datamanagementgroup 2011 SURvEY AREA SUMMARY

    E-Print Network [OSTI]

    Toronto, University of

    datamanagementgroup 2011 SURvEY AREA SUMMARY DEPARTMENT OF CIvIL ENGINEERING - UNIvERSITY OF TORONTO PREPARED BY datamanagementgroup 2011 SURvEY AREA SUMMARY DEPARTMENT OF CIvIL ENGINEERING - UNIv,800 20.6% 43% 18% 26% 13% 67% 14% 5% 3% 8% 3% 5.7 3.4 3.9 51.8 329,100 28% 9% 45% 18% 69% 19% 4% 2% 5% 1

  4. datamanagementgroup 2011 SURvEY AREA SUMMARY

    E-Print Network [OSTI]

    Toronto, University of

    datamanagementgroup 2011 SURvEY AREA SUMMARY DEPARTMENT OF CIvIL ENGINEERING - UNIvERSITY OF TORONTO PREPARED BY datamanagementgroup 2011 SURvEY AREA SUMMARY DEPARTMENT OF CIvIL ENGINEERING - UNIv% 26% 24% 26% 15% 3% 30% 51% 13% 3% 3.2 1.7 2.2 1.9 6.8 TRIPS MADE BY RESIDENTS OF TOWNSHIP OF BROCK

  5. datamanagementgroup 2011 SURvEY AREA SUMMARY

    E-Print Network [OSTI]

    Toronto, University of

    datamanagementgroup 2011 SURvEY AREA SUMMARY DEPARTMENT OF CIvIL ENGINEERING - UNIvERSITY OF TORONTO PREPARED BY datamanagementgroup 2011 SURvEY AREA SUMMARY DEPARTMENT OF CIvIL ENGINEERING - UNIv,000 72% 13% 15% 15% 33% 20% 23% 9% 4% 30% 51% 12% 3% 2.8 1.6 2.0 1.8 6.5 TRIPS MADE BY RESIDENTS OF TOWN

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

    E-Print Network [OSTI]

    Southampton, University of

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

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

    E-Print Network [OSTI]

    Baclawski, Kenneth B.

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

  8. Harmonic Superspace Gaugeon Formalism for the ABJM Theory

    E-Print Network [OSTI]

    Mir Faizal

    2012-07-12

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

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

    E-Print Network [OSTI]

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

    2006-06-07

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

  10. Relationship Between Composition and Toxicity of Engine Emission...

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

    Emission Samples Relationship Between Composition and Toxicity of Engine Emission Samples 2003 DEER Conference Presentation: Lovelace Respiratory Research Institute...

  11. Alternative Neutron Detection Testing Summary

    SciTech Connect (OSTI)

    Kouzes, Richard T.; Ely, James H.; Erikson, Luke E.; Kernan, Warnick J.; Lintereur, Azaree T.; Siciliano, Edward R.; Stromswold, David C.; Woodring, Mitchell L.

    2010-04-08

    Radiation portal monitors used for interdiction of illicit materials at borders include highly sensitive neutron detection systems. The main reason for having neutron detection capability is to detect fission neutrons from plutonium. Most currently deployed radiation portal monitors (RPMs) use neutron detectors based upon 3He-filled gas proportional counters, which are the most common large area neutron detector. This type of neutron detector is used in the TSA and other RPMs installed in international locations and in the Ludlum and Science Applications International Corporation RPMs deployed primarily for domestic applications. There is a declining supply of 3He in the world and, thus, methods to reduce the use of this gas in RPMs with minimal changes to the current system designs and sensitivity to cargo-borne neutrons are being investigated. Four technologies have been identified as being currently commercially available, potential alternative neutron detectors to replace the use of 3He in RPMs. These technologies are: 1) Boron trifluoride-filled proportional counters, 2) Boron-lined proportional counters, 3) Lithium-loaded glass fibers, and 4) Coated wavelength-shifting plastic fibers. Reported here is a summary of the testing carried out at Pacific Northwest National Laboratory on these technologies to date, as well as measurements on 3He tubes at various pressures. Details on these measurements are available in the referenced reports. Sponsors of these tests include the Department of Energy (DOE), Department of Homeland Security (DHS), and the Department of Defense (DoD), as well as internal Pacific Northwest National Laboratory funds.

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

    E-Print Network [OSTI]

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

  13. Seeing Toxic Algae Before it Blooms By Steve Ress

    E-Print Network [OSTI]

    Nebraska-Lincoln, University of

    Seeing Toxic Algae Before it Blooms By Steve Ress Researchers at the University of Nebraska of toxic blue-green algae before the bacteria that produce it can grow into a full-scale bloom. Now UNL and monitor in real-time, the water-borne agents that can cause toxic blue- green algae to flourish and become

  14. REVIEW Open Access Toxic marine microalgae and shellfish poisoning

    E-Print Network [OSTI]

    Hays, Graeme

    REVIEW Open Access Toxic marine microalgae and shellfish poisoning in the British isles: history The relationship between toxic marine microalgae species and climate change has become a high profile and well examine the current state of toxic microalgae species around the UK, in two ways: first we describe

  15. The toxicity of certain new chlorinated hydrocarbons to cotton pests

    E-Print Network [OSTI]

    Merkl, Marvin Eugene

    1953-01-01

    THE TOXICITY OF CERTAIN NEW CHLORINATED HYDROCARBONS TO COTTON PESTS A Dissertation 5y MARVIN EUGENE MERKL Approved as to style and content by: Chairman of CouBlttee Head of Departnent May 19*3 THE TOXICITY OF CERTAIN NEW CHLORINATED... .....................................................78 CONCLUSIONS............................................... ..81 BIBLIOGRAPHI .............................................. ..82 Pag? FIGURES 1* Dosage-?ortality curve for the toxicity of endrin to aphids...

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

    E-Print Network [OSTI]

    Alberto Manrique; Eduard Salvador-Sole

    1996-03-09

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

  17. Nanomaterials and nanoparticles : Sources and toxicity

    E-Print Network [OSTI]

    Buzea, Cristina; Robbie, Kevin

    2008-01-01

    This review is written with the goal of informing public health concerns related to nanoscience, while raising awareness of nanomaterials toxicity among scientists and manufacturers handling them. We show that humans have always been exposed to nanoparticles and dust from natural sources and human activities, the recent development of industry and combustion-based engine transportation profoundly increasing anthropogenic nanoparticulate pollution. The key to understanding the toxicity of nanoparticles is that their minute size, smaller than cells and cellular organelles, allows them to penetrate these basic biological structures, disrupting their normal function. Among diseases associated with nanoparticles are asthma, bronchitis, lung cancer, neurodegenerative diseases (such as Parkinson`s and Alzheimer`s diseases), Crohn`s disease, colon cancer. Nanoparticles that enter the circulatory system are related to occurrence of arteriosclerosis, and blood clots, arrhythmia, heart diseases, and ultimately cardiac d...

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

    E-Print Network [OSTI]

    Yuri Aisaka; Yoichi Kazama

    2003-08-26

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

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

    E-Print Network [OSTI]

    Aisaka, Y; Kazama, Yoichi

    2003-01-01

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

  20. ANNUAL SUMMARY OF THE INTEGRATED DISPOSAL FACILITY PERFORMANCE ASSESSMENT FOR 2004

    SciTech Connect (OSTI)

    MANN, F M

    2005-02-09

    As required by the US. Department of Energy (DOE) order on radioactive waste management (DOE 1999a) and as implemented by the ''Maintenance Plan for the Hanford Immobilized Low-Activity Tank Waste Performance Assessment'' (Mann 2004), an annual summary of the adequacy of the Hanford Immobilized Low-Activity Tank Waste Performance Assessment (ILAW PA) is necessary in each year in which a performance assessment is not issued. A draft version of the 2001 ILAW PA was sent to the DOE Headquarters (DOE/HQ) in April 2001 for review and approval. The DOE approved (DOE 2001) the draft version of the 2001 ILAW PA and issued a new version of the Hanford Site waste disposal authorization statement (DAS). Based on comments raised during the review, the draft version was revised and the 2001 ILAW PA was formally issued (Mann et al. 2001). The DOE (DOE 2003a) has reviewed the final 2001 ILAW PA and concluded that no changes to the DAS were necessary. Also as required by the DOE order, annual summaries have been generated and approved. The previous annual summary (Mann 2003b) noted the change of mission from ILAW disposal to the disposal of a range of solid waste types, including ILAW. DOE approved the annual summary (DOE 2003c), noting the expanded mission. Considering the results of data collection and analysis, the conclusions of the 2001 ILAW PA remain valid as they pertain to ILAW disposal. The new data also suggest that impacts from the disposal of the other solid waste will be lower than initially estimated in the ''Integrated Disposal Facility Risk Assessment'' (Mann 2003a). A performance assessment for the Integrated Disposal Facility (IDF) will be issued in the summer of 2005.

  1. Hydrogen and Gaseous Fuel Safety and Toxicity

    SciTech Connect (OSTI)

    Lee C. Cadwallader; J. Sephen Herring

    2007-06-01

    Non-traditional motor fuels are receiving increased attention and use. This paper examines the safety of three alternative gaseous fuels plus gasoline and the advantages and disadvantages of each. The gaseous fuels are hydrogen, methane (natural gas), and propane. Qualitatively, the overall risks of the four fuels should be close. Gasoline is the most toxic. For small leaks, hydrogen has the highest ignition probability and the gaseous fuels have the highest risk of a burning jet or cloud.

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

    E-Print Network [OSTI]

    Bredereke, Jan - Fachbereich 3

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

  3. Yellow phosphorus process to convert toxic chemicals to non-toxic products

    DOE Patents [OSTI]

    Chang, Shih-Ger (El Cerrito, CA)

    1994-01-01

    The present invention relates to a process for generating reactive species for destroying toxic chemicals. This process first contacts air or oxygen with aqueous emulsions of molten yellow phosphorus. This contact results in rapid production of abundant reactive species such as O, O.sub.3, PO, PO.sub.2, etc. A gaseous or liquid aqueous solution organic or inorganic chemicals is next contacted by these reactive species to reduce the concentration of toxic chemical and result in a non-toxic product. The final oxidation product of yellow phosphorus is phosphoric acid of a quality which can be recovered for commercial use. A process is developed such that the byproduct, phosphoric acid, is obtained without contamination of toxic species in liquids treated. A gas stream containing ozone without contamination of phosphorus containing species is also obtained in a simple and cost-effective manner. This process is demonstrated to be effective for destroying many types of toxic organic, or inorganic, compounds, including polychlorinated biphenyls (PCB), aromatic chlorides, amines, alcohols, acids, nitro aromatics, aliphatic chlorides, polynuclear aromatic compounds (PAH), dyes, pesticides, sulfides, hydroxyamines, ureas, dithionates and the like.

  4. Yellow phosphorus process to convert toxic chemicals to non-toxic products

    DOE Patents [OSTI]

    Chang, S.G.

    1994-07-26

    The present invention relates to a process for generating reactive species for destroying toxic chemicals. This process first contacts air or oxygen with aqueous emulsions of molten yellow phosphorus. This contact results in rapid production of abundant reactive species such as O, O[sub 3], PO, PO[sub 2], etc. A gaseous or liquid aqueous solution organic or inorganic chemicals is next contacted by these reactive species to reduce the concentration of toxic chemical and result in a non-toxic product. The final oxidation product of yellow phosphorus is phosphoric acid of a quality which can be recovered for commercial use. A process is developed such that the byproduct, phosphoric acid, is obtained without contamination of toxic species in liquids treated. A gas stream containing ozone without contamination of phosphorus containing species is also obtained in a simple and cost-effective manner. This process is demonstrated to be effective for destroying many types of toxic organic, or inorganic, compounds, including polychlorinated biphenyls (PCB), aromatic chlorides, amines, alcohols, acids, nitro aromatics, aliphatic chlorides, polynuclear aromatic compounds (PAH), dyes, pesticides, sulfides, hydroxyamines, ureas, dithionates and the like. 20 figs.

  5. RCRA Permit for a Hazardous Waste Management Facility, Permit Number NEV HW0101, Annual Summary/Waste Minimization Report

    SciTech Connect (OSTI)

    Arnold, Patrick

    2014-02-14

    This report summarizes the EPA identification number of each generator from which the Permittee received a waste stream, a description and quantity of each waste stream in tons and cubic feet received at the facility, the method of treatment, storage, and/or disposal for each waste stream, a description of the waste minimization efforts undertaken, a description of the changes in volume and toxicity of waste actually received, any unusual occurrences, and the results of tank integrity assessments. This Annual Summary/Waste Minimization Report is prepared in accordance with Section 2.13.3 of Permit Number NEV HW0101.

  6. Summaries of FY 1995 engineering research

    SciTech Connect (OSTI)

    1996-03-01

    The individual engineering project summaries follow the program overview. The summaries are ordered alphabetically by name of institution and so the table of contents lists all the institutions at which projects were sponsored in fiscal year 1995. Each project entry begins with an institutional-departmental heading. The names of investigators are listed immediately below the title. The funding level for fiscal year 1995 appears to the right of title; it is followed by the budget activity number. These numbers categorize the projects for budgetary purposes and the categories are described in the budget number index. A separate index of Principal Investigators includes phone number, fax number and e-mail address, where available. The fiscal year in which either the project began or was renewed and the anticipated duration in years are indicated respectively by the first two and last digits of the sequence directly below the budget activity number. The summary description of the project completes the entry.

  7. Mathematical formalism of physics of systems with motivation

    E-Print Network [OSTI]

    Ihor Lubashevsky; Natalia Plawinska

    2011-04-08

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

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

    E-Print Network [OSTI]

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

    2010-05-26

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

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

    E-Print Network [OSTI]

    Zohreh Davoudi

    2014-09-05

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

  10. Application Summary Glossary of Terms and Abbreviations

    E-Print Network [OSTI]

    for the purpose of strategic decision making. BLR Business Line Review : Formalized review and analysis by Premier's executive leaders of Business Units' strategic plans, considering historical and anticipated performance for Improvement," a proven breakthrough system, and brings together Premier Members who share a commitment

  11. Reducing Livestock Losses To Toxic Plants

    E-Print Network [OSTI]

    McGinty, Allan; Machen, Richard V.

    2000-04-25

    AgriculturalExtensionService The Texas A&M University System Reducing Livestock Losses to Toxic Plants B-1499 Sand Shinnery L Perennial Broomweed Texas Agricultural Extension Service a71 Zerle L. Carpenter, Director a71 The Texas A&M University System a71 College Station, Texas Tableof... in diagnosis is to determine *Extension range specialist and Extension livestock- specialist, The Texas A&M University System. whether the cause is plant poisoning or in- fectious disease. To do so it is necessary to carefully observe symptoms exhibited by af...

  12. SUMMARY ANNUAL REPORT FOR SAVINGS PLAN FOR EMPLOYEES AT ORNL

    E-Print Network [OSTI]

    SUMMARY ANNUAL REPORT FOR SAVINGS PLAN FOR EMPLOYEES AT ORNL This is a summary of the annual report for the SAVINGS PLAN FOR EMPLOYEES AT ORNL (employer identification number 62-1788235, plan number 002

  13. Executive Summaries for the Hydrogen Storage Materials Center...

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

    Executive Summaries for the Hydrogen Storage Materials Center of Excellence - Chemical Hydrogen Storage CoE, Hydrogen Sorption CoE, and Metal Hydride CoE Executive Summaries for...

  14. SNAP and AI Fuel Summary Report

    SciTech Connect (OSTI)

    Lords, R.E.

    1994-08-01

    The SNAP and AI Fuel Summary Report provides a detailed overview of treatment and storage of these fuels from fabrication through current storage including design parameters and reactor history. Chemical and physical characteristics are described, and potential indicators of as-stored fuel conditions are emphasized.

  15. Hawaii energy strategy: Executive summary, October 1995

    SciTech Connect (OSTI)

    1995-10-01

    This is an executive summary to a report on the Hawaii Energy Strategy Program. The topics of the report include the a description of the program including an overview, objectives, policy statement and purpose and objectives; energy strategy policy development; energy strategy projects; current energy situation; modeling Hawaii`s energy future; energy forecasts; reducing energy demand; scenario assessment, and recommendations.

  16. SUMMARY GUIDANCE FOR BENCHMARK PERFORMANCE STANDARDS Performance

    E-Print Network [OSTI]

    SUMMARY GUIDANCE FOR BENCHMARK PERFORMANCE STANDARDS Performance Attributes 0-39% 40-59% 60-79% 80 technical knowledge/skill General technical understanding Superior technical knowledge in all tasks Exceptional technical knowledge; beyond expectations for position Quality Work did not meet minimum

  17. Staff summary of Issues & Recommendations Resident Fish

    E-Print Network [OSTI]

    1 Staff summary of Issues & Recommendations Resident Fish *preliminary draft, please refer to full recommendations for complete review 10/29/2013 10:07 AM 2009 Fish and Wildlife Program Section Section D. 7 Title: Resident Fish Mitigation (pg 22-23) Overview Generally, entities recommend that the existing language

  18. 2013-2014 Case Summaries Regulation 1

    E-Print Network [OSTI]

    Royer, Dana

    2013-2014 Case Summaries Regulation 1 Disturbance of the Peace the infringement upon the right that repeated violation of this regulation could result in administrative reassignment to another residential violated Section II, Regulations 1 and 14 of the Code of Non-Academic Conduct. The board found the group

  19. Summaries of physical research in the geosciences

    SciTech Connect (OSTI)

    Not Available

    1986-09-01

    The summaries in this document describe the scope of the individual programs and detail the research performed during 1984-1985. The Geosciences Research Program includes research in geology, petrology, geophysics, geochemistry, hydrology, solar-terrestrial relationships, aeronomy, seismology, and natural resource analysis, including their various subdivisions and interdisciplinary areas.

  20. Executive Summary CONSUMER RESPONSE TO TAX REBATES

    E-Print Network [OSTI]

    Cafarella, Michael J.

    Executive Summary CONSUMER RESPONSE TO TAX REBATES Matthew D. Shapiro and Joel Slemrod University of Michigan November, 2001 Many households received income tax rebates in 2001 of $300 or $600. These rebates of a representative sample of households, only 22 percent of households said that receiving the rebate would lead them

  1. Reading for Thursday Emissions scenario summary

    E-Print Network [OSTI]

    Schweik, Charles M.

    emissions, for year 2000 #12;USA CO2 emissions from fossil fuel combustion (2005) US EPA #12;#12;#12;Decreasing 13C strongly suggests that the source of atmospheric CO2 is fossil carbon #12;Line of evidence #1Reading for Thursday Emissions scenario summary: Read pages 3-6 IPCC Chapter 11 (Regional

  2. EELE408 Photovoltaics Lecture 23: Summary

    E-Print Network [OSTI]

    Kaiser, Todd J.

    1 EELE408 Photovoltaics Lecture 23: Summary Dr. Todd J. Kaiser tjkaiser@ece.montana.edu Department the circuit delivering power to the load Photovoltaic Effect Voltage Separation of holes and electrons p 5-6% Resistance 14-23% LLNL Energy Chart 6 #12;2 Energy Demand Predictions 7 Photovoltaic Myths 8

  3. Martin P. A. Jackson Professional Summary

    E-Print Network [OSTI]

    Yang, Zong-Liang

    Martin P. A. Jackson Professional Summary July 8, 2008 Business address: The University of Texas-mail address: martin.jackson@beg.utexas.edu Publications Books, Manuals Jackson, M. P. A., Roberts, D. G, AAPG Memoir 65, 454 p. Jackson, M. P. A., Roberts, D. G., and Snelson, S., 1993, AAPG International

  4. SUMMARY TECHNICAL REPORT RICHMOND LANDFILL 1996 POLLUTION

    E-Print Network [OSTI]

    #12;SUMMARY TECHNICAL REPORT RICHMOND LANDFILL 1996 POLLUTION PREVENTION PLAN DOE FRAP 1997-07 Prepared for: Environment Canada Environmental Protection Fraser Pollution Abatement North Vancouver, B was funded by Environment Canada under the Fraser River Action Plan through its Fraser Pollution Abatement

  5. Technology Licensing Opportunity Non-Confidential Summary

    E-Print Network [OSTI]

    Peak, Derek

    Technology Licensing Opportunity Non-Confidential Summary Industry Liaison Office 15 Innovation thermolysin mixed with an adjuvant. The product was tested in 24 horses challenged by oligofructose overload 15 Innovation Boulevard, Suite 250 Saskatoon, SK, S7N 2X8 T. (306) 966-1465 E. ilo.ovpr@usask.ca NEW

  6. Chemical and Biological Engineering Summary of Actions

    E-Print Network [OSTI]

    Maxwell, Bruce D.

    Chemical and Biological Engineering Summary of Actions 2014-2015 Concern Recommendation Action Follow-up 1. The department name is Chemical and Biological Engineering. An analysis of student Biological Engineering programs. 4. The second semester of the senior capstone sequence in Chemical

  7. Costing Summaries for Selected Water Treatment

    E-Print Network [OSTI]

    Engineering News-Record Construction Cost Index Consumer Prices Index Year Index = average of the monthly values of the year )( )( )()( yyearIndexCost xyearIndexCost yyearCostxyearCostUpdated = #12;Slow SandCosting Summaries for Selected Water Treatment Processes Alix Montel Ecole Centrale de Nantes M

  8. Summaries of FY 1997 engineering research

    SciTech Connect (OSTI)

    1998-09-01

    This report documents the Basic Energy Sciences (BES) Engineering Research Program for fiscal year 1997, it provides a summary for each of the program projects in addition to a brief program overview. The report is intended to provide staff of Congressional committees, other executive departments, and other DOE offices with substantive program information so as to facilitate governmental overview and coordination of Federal research programs. Of equal importance, its availability facilitates communication of program information to interested research engineers and scientists. The individual project summaries follow the program overview. The summaries are ordered alphabetically by name of institution; the table of contents lists all the institutions at which projects were sponsored in fiscal year 1997. Each project entry begins with an institutional-departmental heading. The names of investigators are listed immediately below the title. The funding level for fiscal year 1997 appears to the right of address. The summary description of the project completes the entry. A separate index of Principal Investigators includes phone number, fax number and e-main address, where available.

  9. Summaries of FY 1996 engineering research

    SciTech Connect (OSTI)

    1997-06-01

    This report documents the Basic Energy Sciences (BES) Engineering Research Program for fiscal year 1996; it provides a summary for each of the program projects in addition to a brief program overview. The report is intended to provide staff of Congressional committees, other executive departments, and other DOE offices with substantive program information so as to facilitate governmental overview and coordination of Federal research programs. Of equal importance, its availability facilitates communication of program information to interested research engineers and scientists. Each BES Division administers basic, mission oriented research programs in the area indicated by its title. The BES Engineering Research Program is one such program; it is administered by the Engineering and Geosciences Division of BES. In preparing this report the principal investigators were asked to submit summaries for their projects that were specifically applicable to fiscal year 1996. The summaries received have been edited if necessary, but the press for timely publication made it impractical to have the investigators review and approve the revised summaries prior to publication. For more information about a given project, it is suggested that the investigators be contacted directly.

  10. Music and Copyright Introduction and Summary Tables

    E-Print Network [OSTI]

    Fleming, Andrew J.

    Music and Copyright Introduction and Summary Tables Musical notation is considered a `literary work' under copyright a song may have multiple copyrights eg: music, lyrics, arrangement and Part VB statutory licences The University pays for a Tertiary Music Licence and a Screenrights Licence

  11. Special Climate Summary April-July 2004

    E-Print Network [OSTI]

    1 Special Climate Summary April-July 2004 Hot in Alaska, Cool over Central North America, WetApril-July 2004 featured exceptionallywarmanddryconditionsfrom AlaskatoCaliforniaandbelow-normaltempera- tures. Surface Temperatures and Precipitation duringApril-July 2004 p. 2-4 3. MeanAtmospheric Circulation over

  12. Research Summary Dianne P. O'Leary

    E-Print Network [OSTI]

    O'Leary, Dianne P.

    Research Summary Dianne P. O'Leary February 2012 My research has centered upon several themes paper) Paul Concus, Gene H. Golub, and Dianne P. O'Leary, 3 #12;"A generalized conjugate gradient method of America (1984) 178-198. [C02] Dianne P. O'Leary, "Linear programming problems arising from par- tial

  13. British Psychology in 2001. Executive Summary

    E-Print Network [OSTI]

    Abrahams, I. David

    1 British Psychology in 2001. Executive Summary: RAE2001 has delivered an increase in volume and quality of psychological research reflecting the healthy state of the discipline overall. Growth has been. There is high quality research in most areas of UK psychology, but there is variability in the scale of activity

  14. Cornell's Urban Sustainability Initiatives ACSF Lunch Summary

    E-Print Network [OSTI]

    Walter, M.Todd

    Cornell's Urban Sustainability Initiatives ACSF Lunch Summary Compiled by Marianne Krasny (NTRES was to outline steps that Cornell could take to define an urban sustainability initiative in collaboration of our student body, it is important for Cornell to more broadly address urban sustainability issues. Our

  15. xvii 1999 SITE ENVIRONMENTAL REPORT Executive Summary

    E-Print Network [OSTI]

    xvii 1999 SITE ENVIRONMENTAL REPORT Executive Summary Throughout the scientific community-class scientific research with an internationally recognized environmen- tal protection program. The 1999 Site PROGRAMS The calendar year 1999 represented the first full year of operation under the management

  16. Regional Summary Pacific Region Management Context

    E-Print Network [OSTI]

    Pacific Rim nations. As such, the management of the HMS fisheries s coordinated by the Pacific FisheryRegional Summary Pacific Region Management Context The Pacific Region includes California, Oregon, and Washington. Federal fisheries in this region are managed by the Pacific Fishery Management Council (PFMC

  17. Working group on $??$ and $?$N interactions - Summary

    E-Print Network [OSTI]

    Ulf-G. Meiner; Martin Sevior; A. Badertscher; B. Borasoy; P. Bttiker; G. Hhler; M. Knecht; O. Krehl; J. Lowe; M. Mojzis; G. Mller; O. Patarakin; M. Pavan; A. Rusetsky; M. E. Sainio; J. Schacher; G. Smith; S. Steininger; V. Vereshagin

    1997-11-18

    This is the summary of the working group on $\\pi\\pi$ and $\\pi$N interactions of the Chiral Dynamics Workshop in Mainz, September 1-5, 1997. Each talk is represented by an extended one page abstract. Some additional remarks by the convenors are added

  18. A HIFI AND FLORIDA COOS EXECUTIVE SUMMARY

    E-Print Network [OSTI]

    12.02.2006 1 A HIFI AND FLORIDA COOS EXECUTIVE SUMMARY A GULF OF MEXICO AND OCS ENERGY DISCUSSION) AND THE FLORIDA COASTAL OCEAN OBSERVING SYSTEMS (FLORIDA COOS) AS AN IOOS INITIATIVE The Gulf of Mexico Energy Security Act of 2006 (S.3711) authorizes drilling in the Eastern Gulf of Mexico west of the Military

  19. Technology Licensing Opportunity Non-Confidential Summary

    E-Print Network [OSTI]

    Peak, Derek

    Technology Licensing Opportunity Non-Confidential Summary Industry Liaison Office 15 Innovation contamination, air pollution, soil contamination, and agricultural product and food contamination. Vegetable oil market demand of 343.7 kilo ton by 2020. Knowing that palm oil and castor oil are the major sources

  20. Technology Licensing Opportunity Non-Confidential Summary

    E-Print Network [OSTI]

    Peak, Derek

    into the targeted oil crop to assemble VLPUFA synthesis pathway #12;Technology Licensing Opportunity NonTechnology Licensing Opportunity Non-Confidential Summary Industry Liaison Office 121 Research in demand of 21%. Fish oil is the traditional source of omega-3 and is unable to meet future demand due

  1. SALARY SURVEY SEPTEMBER 2012 EXECUTIVE SUMMARY

    E-Print Network [OSTI]

    Olszewski Jr., Edward A.

    SALARY SURVEY NACE SEPTEMBER 2012 EXECUTIVE SUMMARY National Association of Colleges and Employers | www.naceweb.org STARTING SALARIES FOR NEW COLLEGE GRADUATES DATA REPORTED BY EMPLOYERS ALL DATA ARE REPORTED BY EMPLOYERS #12;2 | Salary Survey National Association of Colleges and Employers | www

  2. EXECUTIVE SUMMARY Salary Projections for Bachelor's,

    E-Print Network [OSTI]

    Shyu, Mei-Ling

    EXECUTIVE SUMMARY Featuring: · Salary Projections for Bachelor's, Master's, and Doctoral Degrees and Employers | www.naceweb.org SALARY SURVEYJANUARY 2015 STARTING SALARIES FOR NEW COLLEGE GRADUATES · DATA REPORTED BY EMPLOYERS #12;B | Salary Survey National Association of Colleges and Employers | www

  3. TARGETING CANCER STEM CELLS Summary of technology

    E-Print Network [OSTI]

    Mucina, Ladislav

    TARGETING CANCER STEM CELLS Summary of technology Cancerstemcells(CSCs)playasignificantroleinleukemia, glioma, and breast, lung, gastrointestinal, prostate and ovarian cancer etiology, causing therapy of a new adjunct for targeted therapy of cancer involving CSCs, for use in combination with existing cancer

  4. Summary of Curricula Offered Course Information

    E-Print Network [OSTI]

    Gallo, Linda C.

    PART FIVE Summary of Curricula Offered Course Information Accreditation Course Abbreviations Courses and Curricula #12;78 SDSU GRADUATE BULLETIN 2015-2016 Types of Curricula Offered San Diego State University offers the following types of curricula: Undergraduate Curricula. Undergraduate curricula provide

  5. Nevada Test Site Environmental Summary Report 2006

    SciTech Connect (OSTI)

    Cathy Wills

    2007-10-01

    The U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office (NNSA/NSO) directs the management and operation of the Nevada Test Site (NTS). The NTS is the nation's historical testing site for nuclear weapons from 1951 through 1992 and is currently the nation's unique site for ongoing national-security related missions and high-risk operations. NNSA/NSO strives to provide to the public an understanding of the current activities on the NTS, including environmental monitoring and compliance activities aimed at protecting the public and the environment from radiation hazards and from nonradiological impacts. This document is a summary of the Nevada Test Site Environmental Report (NTSER) for calendar year 2006 (see attached compact disc on inside back cover). The NTSER is a comprehensive report of environmental activities performed at the NTS and its satellite facilities over the previous calendar year. It is prepared annually to meet the requirements and guidelines of the U.S. Department of Energy (DOE) and the information needs of NNSA/NSO stakeholders. To provide an abbreviated and more readable version of the NTSER, this summary report is produced. This summary does not include detailed data tables, monitoring methods or design, a description of the NTS environment, or a discussion of all environmental program activities performed throughout the year. The reader may obtain a hard copy of the full NTSER as directed on the inside front cover of this summary report.

  6. Nevada Test Site Environmental Report 2007 Summary

    SciTech Connect (OSTI)

    Cathy Wills

    2008-09-01

    The U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office (NNSA/NSO) directs the management and operation of the Nevada Test Site (NTS). The NTS is the nation's historical testing site for nuclear weapons from 1951 through 1992 and is currently the nation's unique site for ongoing national-security related missions and high-risk operations. NNSA/NSO strives to provide to the public an understanding of the current activities on the NTS, including environmental monitoring and compliance activities aimed at protecting the public and the environment from radiation hazards and from nonradiological impacts. This document is a summary of the Nevada Test Site Environmental Report (NTSER) for calendar year 2007 (see attached compact disc on inside back cover). The NTSER is a comprehensive report of environmental activities performed at the NTS and offsite facilities over the previous calendar year. It is prepared annually to meet the requirements and guidelines of the U.S. Department of Energy (DOE) and the information needs of NNSA/NSO stakeholders. To provide an abbreviated and more readable version of the NTSER, this summary report is produced. This summary does not include detailed data tables, monitoring methods or design, a description of the NTS environment, or a discussion of all environmental program activities performed throughout the year. The reader may obtain a hard copy of the full NTSER as directed on the inside front cover of this summary report.

  7. Nevada Test Site Summary 2006 (Volume 2)

    SciTech Connect (OSTI)

    Cathy Wills

    2007-10-01

    The U.S. Department of Energy, National Nuclear Security Administration Nevada Site Office (NNSA/NSO) directs the management and operation of the Nevada Test Site (NTS). The NTS is the nation's historical testing site for nuclear weapons from 1951 through 1992 and is currently the nation's unique site for ongoing national-security-related missions and high-risk operations. NNSA/NSO strives to provide to the public an understanding of the current activities on the NTS, including environmental monitoring and compliance activities aimed at protecting the public and the environment from radiation hazards and from nonradiological impacts. This document is a summary of the Nevada Test Site Environmental Report (NTSER) for calendar year 2006 (see attached compact disc on inside back cover). The NTSER is a comprehensive report of environmental activities performed at the NTS and its satellite facilities over the previous calendar year. It is prepared annually to meet the requirements and guidelines of the U.S. Department of Energy (DOE) and the information needs of NNSA/NSO stakeholders. To provide an abbreviated and more readable version of the NTSER, this summary report is produced. This summary does not include detailed data tables, monitoring methods or design, a description of the NTS environment, or a discussion of all environmental program activities performed throughout the year. The reader may obtain a hard copy of the full NTSER as directed on the inside front cover of this summary report.

  8. Conference Housing Team Member JOB SUMMARY

    E-Print Network [OSTI]

    Walker, Lawrence R.

    Conference Housing Team Member JOB SUMMARY The Conference Housing program exists to serve students with employment opportunities while supporting the University through housing external guests and university sponsored groups. The Conference Housing Team Member shall be responsible to the Conference Housing

  9. Research Summary Estimating Woodfuel Resource Cost Curves

    E-Print Network [OSTI]

    and extraction methods. Background Just under half of the final energy consumed in the UK (49%) is in the formResearch Summary Estimating Woodfuel Resource Cost Curves As a renewable energy source, woodfuel. The woodfuel strategy adopted by Forestry Commission England supports delivery of these. It aims to sustainably

  10. Nuclear conflict and ozone depletion Quick summary

    E-Print Network [OSTI]

    Toohey, Darin W.

    Nuclear conflict and ozone depletion Quick summary o Regional nuclear war could cause global which traps pollutants o Nuclear weapons cause explosions, which then causes things around the vicinity to start burning, which in turn releases black carbon; it is not the nuclear material or fallout causing

  11. Carbon Management Plan 1. Executive summary 5

    E-Print Network [OSTI]

    Haase, Markus

    Carbon Management Plan June 2011 #12;2 #12;3 CONTENTS 1. Executive summary 5 2. Introduction 15 3. Background and context 16 4. Carbon management strategy 18 5. Carbon emissions baseline and projections 22 6. Past actions and achievements 30 7. Carbon Management Plan implementation 33 8. Carbon Management Plan

  12. Technology Licensing Opportunity Non-Confidential Summary

    E-Print Network [OSTI]

    Peak, Derek

    by pollination. This is labour intensive and does not guarantee 100% hybridity. Tomato male sterility can to various abiotic stresses. #12;Technology Licensing Opportunity Non-Confidential Summary Industry Liaison and low-temperature stresses. Theoretical and Applied Genetics 102 (2-3), 215-221, 2001. 2. Fellner, M

  13. 2010 Economic Impact Study Executive Summary Preview

    E-Print Network [OSTI]

    Rock, Chris

    2010 Economic Impact Study Executive Summary Preview The main campus of Texas Tech University estimates of the economic impact of Texas Tech University on Lubbock County in the year 2009. In addition a total economic impact of $1.26 billion per year for Lubbock County Texas Tech University helps sustain

  14. Fleet DNA Project Data Summary Report (Presentation)

    SciTech Connect (OSTI)

    Walkowicz, K.; Duran, A.; Burton, E.

    2014-04-01

    This presentation includes graphical data summaries that highlight statistical trends for medium- and heavy-duty commercial fleet vehicles operating in a variety of vocations. It offers insight for the development of vehicle technologies that reduce costs, fuel consumption, and emission.

  15. Advanced Energy Projects: FY 1993, Research summaries

    SciTech Connect (OSTI)

    Not Available

    1993-09-01

    AEP has been supporting research on novel materials for energy technology, renewable and biodegradable materials, new uses for scientific discoveries, alternate pathways to energy efficiency, alternative energy sources, innovative approaches to waste treatment and reduction, etc. The summaries are grouped according to projects active in FY 1993, Phase I SBIR projects, and Phase II SBIR projects. Investigator and institutional indexes are included.

  16. 2012 Annual Planning Summary for National Nuclear Security Administrat...

    Energy Savers [EERE]

    National Nuclear Security Administration 2012 Annual Planning Summary for National Nuclear Security Administration The ongoing and projected Environmental Assessments and...

  17. Summary of JD 9 supernovae: Past, present, and future

    E-Print Network [OSTI]

    Trimble, VL

    2006-01-01

    Summary of JD 9 Supernovae: past, present, and futureZwicky (separately! ) that supernovae could serve as better

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

    E-Print Network [OSTI]

    Alfredo Raya; Jose Edgar Madriz Aguilar; Mauricio Bellini

    2007-05-22

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

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

    E-Print Network [OSTI]

    L. P. Kaptari; B. Kmpfer; E. Grosse

    2000-01-14

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

  20. Motivation Model Results Summary A generative model for feedback networks

    E-Print Network [OSTI]

    White, Douglas R.

    Motivation Model Results Summary A generative model for feedback networks D.R. White1 N. Kejzar2 C #12;Motivation Model Results Summary Outline 1 Motivation An example 2 Model 3 Results Network properties Simulations #12;Motivation Model Results Summary Cycle formation in growing network How to model

  1. LMS Qualification and Flight Acceptance T /V Test Summary

    E-Print Network [OSTI]

    Rathbun, Julie A.

    LMS Qualification and Flight Acceptance T /V Test Summary and Thermal Design Final Report NO. ATMIIIIDe yablinaDhllalan LMS Qualification and Flight Acceptance T/V Test Summary and Thermal Design Final Report PAGI DATI SUMMARY The LMS maintains thermal control. within the -10 to +125F operating temperature

  2. Air Pollution Control Regulations: No. 22 - Air Toxics (Rhode...

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

    any stationary source which has the potential to increase emissions of a listed toxic air contaminant by an amount greater than the minimum quantity for that contaminant....

  3. Early Proctoscopy is a Surrogate Endpoint of Late Rectal Toxicity...

    Office of Scientific and Technical Information (OSTI)

    the Vienna Rectoscopy Score (VRS). Late toxicity data were analyzed according to the Kaplan-Meier method. Comparison between prognosis groups was performed by log-rank analysis....

  4. Renewable, Non-Toxic and Cost Competitive Solvents and Plasticizers

    Broader source: Energy.gov [DOE]

    Breakout Session 1-D: The Pitch Renewable, Non-Toxic and Cost Competitive Solvents and Plasticizers Len Rand, Chief Executive Officer, Chairman, xF Technologies

  5. Plantherbivore interactions mediated by plant toxicity

    E-Print Network [OSTI]

    2008-03-25

    Dec 17, 2007 ... O. Box 249118, Coral Gables, FL 33124, United States. .... Per capital death rate of herbivore unrelated to plant toxicity. 2. Analysis of the...

  6. Comparative Toxicity of Combined Particle and Semi-Volatile Organic...

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

    Components Responsible for the Health Effects of Inhaled Engine Emissions Lung Toxicity and Mutagenicity of Emissions From Heavy-Duty Compressed Natural Gas (CNG)-Powered Vehicles...

  7. Toxic Substances Control Act Uranium Enrichment Federal Facilities...

    Office of Environmental Management (EM)

    Toxic Substance Control Act Uranium Enrichment Federal Facilities Compliance Agreement (TSCA-UE- FFCA), February 20, 1992 State Kentucky Agreement Type Compliance Agreement Legal...

  8. Toxic Substances Control Act Uranium Enrichment Federal Facilities...

    Office of Environmental Management (EM)

    Toxic Substance Control Act Uranium Enrichment Federal Facilities Compliance Agreement (TSCA-UE- FFCA), February 20, 1992 State Ohio Agreement Type Compliance Agreement Legal...

  9. USEtox - The UNEP-SETAC toxicity model: recommended characterisation factors for human toxicity and freshwater ecotoxicity in Life Cycle Impact Assessment

    E-Print Network [OSTI]

    Rosenbaum, Ralph K.

    2010-01-01

    International Journal of Life Cycle Assessment, 13(7):532-toxic impacts in Life Cycle Assessment. Recommendations andof toxic impacts in Life Cycle Assessment. USEtox therefore

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

    SciTech Connect (OSTI)

    NELSEN, D.P.

    2002-09-01

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

  11. Quantum optimal control theory in the linear response formalism

    SciTech Connect (OSTI)

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

    2011-09-15

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

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

    E-Print Network [OSTI]

    Farenc, Christelle

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Boyer, Edmond

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

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

    E-Print Network [OSTI]

    Kreitz, Christoph

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

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

    E-Print Network [OSTI]

    Mayero, Micaela

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

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

    E-Print Network [OSTI]

    Gribaudo, Marco

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

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

    E-Print Network [OSTI]

    Turau, Volker

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

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

    E-Print Network [OSTI]

    de Jong, A. Johan

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

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

    E-Print Network [OSTI]

    Miranda, Eduardo Reck

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

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

    E-Print Network [OSTI]

    Tahar, Sofiène

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

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

    E-Print Network [OSTI]

    Bryant, Randal E.

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Westfechtel, Bernhard

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

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

    E-Print Network [OSTI]

    Valencia, Frank D.

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

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

    E-Print Network [OSTI]

    Southampton, University of

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

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

    E-Print Network [OSTI]

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

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

    E-Print Network [OSTI]

    Poshyvanyk, Denys

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

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

    E-Print Network [OSTI]

    Richard Kleeman

    2015-03-25

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

  10. Assessing the potential toxicity of resuspended sediment

    SciTech Connect (OSTI)

    Bonnet, C.; Babut, M.; Ferard, J.F.; Martel, L.; Garric, J.

    2000-05-01

    Two moderately contaminated freshwater sediments (Sorel Harbour, St. Lawrence River, Canada) were subjected to a suspension event. The objective was to assess the environmental impact of the disposal of dredged material in water, in particular, the short-term effects of dumping on the water column and the long-term effects of dredged sediment deposits. In a series of microcosms, the sediments were left to stand for 25 d under flow-through conditions. In a second series of microcosms, sediments were vigorously suspended for 15 min before being left to settle and were submitted to the same treatment as reference sediments during the following 25 d. Physicochemical and biological parameters (Daphnia magna and Hydra attenuata survival) were measured in overlying water throughout the experiment. Sediment toxicity was assessed with Chironomus tentans and Hyalella azteca exposed to sediments collected at both the beginning and end of the 25-d period. Pore-water toxicity was evaluated with D. magna. During the suspension process, in the Sorel Harbour mixed sediment overlying water, the authors observed effects on H. attenuata survival and ammonia and metals (chromium, copper, and zinc) releases. Meanwhile, in reference (nonmixed) and mixed sediments as well as in associated pore waters, there were no significant chemical modifications no biological effects after the 25-d experiments. The developed approach, which attempts to simulate a dumping process, aims at allowing the assessment of the short- and long-term hazards resulting from a resuspension process in overlying water and in resettled sediments using both chemical and biological measurements.

  11. Meeting Summary, Credit Trading Work Group

    SciTech Connect (OSTI)

    Kevin Bryan

    2000-12-07

    OAK-B135 Credit Trading Work Group Meeting Summary. The purpose of the meeting is to: (1) Provide an opportunity for NWCC Work Group Members, NWCC Members, and invited expert participants to hear an overview of the draft NWCC Credit Trading Report and to critically review and discuss the report's recommendations and principles. (2) Hear presentations from several perspectives of other experts on credit trading which provide: (a) a brief summary of credit trading activities they are involved in, and (b) critical responses to the NWCC draft report. (3) Identify how the report can be improved at the big picture level. Attempt to resolve issues or concerns if necessary. (4) Discuss the recommendations and credit trading principles in detail and attempt to reach consensus on these sections for presentation to the NWCC. (5) Discuss if any of the outreach and communication recommendations in the report should be conducted by the NWCC.

  12. Carbon dioxide research plan. A summary

    SciTech Connect (OSTI)

    Trivelpiece, Alvin W.; Koomanoff, F. A.; Suomi, Verner E.

    1983-11-01

    The Department of Energy is the lead federal agency for research related to atmospheric carbon dioxide. Its responsibility is to sponsor a program of relevant research, and to coordinate this research with that of others. As part of its responsibilities, the Department of Energy has prepared a research plan. The plan documented in this Summary delineated the logic, objectives, organization, background and current status of the research activities. The Summary Plan is based on research subplans in four specific areas: global carbon cycle, climate effects, vegetative response and indirect effects. These subplans have emanated from a series of national and international workshops, conferences, and from technical reports. The plans have been peer reviewed by experts in the relevant scientific fields. Their execution is being coordinated between the responsible federal and international government agencies and the involved scientific community.

  13. Evaluation of Sediment Toxicity Using a Suite of Assessment Tools

    E-Print Network [OSTI]

    Kelley, Matthew A

    2010-01-15

    of sediment toxicity. The goal of this research was to provide information which could help increase the accuracy with which predictions of toxicity could be made at hazardous sites. A calibration study was conducted using model PAHs, PCBs, a binary PAH...

  14. Summaries of FY 1993 Engineering Research

    SciTech Connect (OSTI)

    Not Available

    1993-09-01

    This report documents the BES Engineering Research Program for fiscal year 1993; it provides a summary for each of the program projects in addition to a brief program overview. The report is intended to provide staff of Congressional committees, other executive departments, and other DOE offices with substantive program information so as to facilitate governmental overview and coordination of Federal research programs. Of equal importance, its availability facilitates communication of program information to interested research engineers and scientists. The organizational chart for the DOE Office of Energy Research (OER) on the next page delineates the six Divisions within the OER Office of Basic Energy Sciences (BES). Each BES Division administers basic, mission oriented research programs in the area indicated by its title. The BES Engineering Research Program is one such program; it is administered by the Engineering and Geosciences Division of BES. In preparing this report we asked the principal investigators to submit summaries for their projects that were specifically applicable to fiscal year 1993. The summaries received have been edited if necessary.

  15. Summary status of K Basins sludge characterization

    SciTech Connect (OSTI)

    Baker, R.B.

    1995-01-20

    A number of activities are underway as part of the Spent Nuclear Fuels Project (SNFP) related to the processing and disposing of sludge in the 105-K Basins (K Basins). Efforts to rigorously define data requirements for these activities are being made using the Data Quality Objectives (DQO) process. Summaries of current sludge characterization data are required to both help support this DQO process and to allow continued progress with on-going engineering activities (e.g., evaluations of disposal alternatives). This document provides the status of K Basins sludge characterization data currently available to the Nuclear Fuel Evaluations group. This group is tasked by the SNFP to help develop and maintain the characterization baseline for the K Basins. The specific objectives of this document are to: (1) provide a current summary (and set of references) of sludge characterization data for use by SNFP initiatives, to avoid unnecessary duplication of effort and to support on-going initiatives; (2) submit these data to an open forum for review and comment, and identify additional sources of significant data that may be available; (3) provide a summary of current data to use as part of the basis to develop requirements for additional sludge characterization data through the DQO process; (4) provide an overview of the intended activities that will be used to develop and maintain the sludge characterization baseline.

  16. Acute aquatic toxicity and biodegradation potential of biodiesel fuels

    SciTech Connect (OSTI)

    Haws, R.A.; Zhang, X.; Marshall, E.A.; Reese, D.L.; Peterson, C.L.; Moeller, G.

    1995-12-31

    Recent studies on the biodegradation potential and aquatic toxicity of biodiesel fuels are reviewed. Biodegradation data were obtained using the shaker flask method observing the appearance of CO{sub 2} and by observing the disappearance of test substance with gas chromatography. Additional BOD{sub 5} and COD data were obtained. The results indicate the ready biodegradability of biodiesel fuels as well as the enhanced co-metabolic biodegradation of biodiesel and petroleum diesel fuel mixtures. The study examined reference diesel, neat soy oil, neat rape oil, and the methyl and ethyl esters of these vegetable oils as well as various fuel blends. Acute toxicity tests on biodiesel fuels and blends were performed using Oncorhynchus mykiss (Rainbow Trout) in a static non-renewal system and in a proportional dilution flow replacement system. The study is intended to develop data on the acute aquatic toxicity of biodiesel fuels and blends under US EPA Good Laboratory Practice Standards. The test procedure is designed from the guidelines outlined in Methods for Measuring the Acute Toxicity of Effluents and Receiving Waters to Freshwater and Marine Organisms and the Fish Acute Aquatic Toxicity Test guideline used to develop aquatic toxicity data for substances subject to environmental effects test regulations under TSCA. The acute aquatic toxicity is estimated by an LC50, a lethal concentration effecting mortality in 50% of the test population.

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

    E-Print Network [OSTI]

    Yuehong Xie

    2009-04-29

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

  18. Lung Toxicity and Mutagenicity of Emissions From Heavy-Duty Compressed...

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

    Lung Toxicity and Mutagenicity of Emissions From Heavy-Duty Compressed Natural Gas (CNG)-Powered Vehicles Lung Toxicity and Mutagenicity of Emissions From Heavy-Duty Compressed...

  19. 3D Modeling Engine Representation Summary Report

    SciTech Connect (OSTI)

    Steven Prescott; Ramprasad Sampath; Curtis Smith; Timothy Yang

    2014-09-01

    Computers have been used for 3D modeling and simulation, but only recently have computational resources been able to give realistic results in a reasonable time frame for large complex models. This summary report addressed the methods, techniques, and resources used to develop a 3D modeling engine to represent risk analysis simulation for advanced small modular reactor structures and components. The simulations done for this evaluation were focused on external events, specifically tsunami floods, for a hypothetical nuclear power facility on a coastline.

  20. Summaries of physical research in the geosciences

    SciTech Connect (OSTI)

    Not Available

    1983-09-01

    The Department of Energy supports research in the geosciences in order to provide a sound foundation of fundamental knowledge in those areas of earth, atmospheric, and solar-terrestrial sciences that are germane to the Department of Energy's many missions. The summaries in the document describe the scope of the individual programs and detail the research performed during 1982 to 1983. The Geoscience Research Program includes research in geology, petrology, geophysics, geochemistry, hydrology, solar-terrestrial relationships, aeronomy, seismology, and natural resource analysis, including the various subdivisions and interdisciplinary areas. All such research is related either directly or indirectly to the Department of Energy's technological needs.

  1. 1993 Solid Waste Reference Forecast Summary

    SciTech Connect (OSTI)

    Valero, O.J.; Blackburn, C.L. [Westinghouse Hanford Co., Richland, WA (United States); Kaae, P.S.; Armacost, L.L.; Garrett, S.M.K. [Pacific Northwest Lab., Richland, WA (United States)

    1993-08-01

    This report, which updates WHC-EP-0567, 1992 Solid Waste Reference Forecast Summary, (WHC 1992) forecasts the volumes of solid wastes to be generated or received at the US Department of Energy Hanford Site during the 30-year period from FY 1993 through FY 2022. The data used in this document were collected from Westinghouse Hanford Company forecasts as well as from surveys of waste generators at other US Department of Energy sites who are now shipping or plan to ship solid wastes to the Hanford Site for disposal. These wastes include low-level and low-level mixed waste, transuranic and transuranic mixed waste, and nonradioactive hazardous waste.

  2. Summaries of FY 1995 geosciences research

    SciTech Connect (OSTI)

    NONE

    1995-12-01

    The summaries in this document, prepared by the investigators, describe the scope of the individual programs. The Geosciences Research Program includes research in geophysics, geochemistry, resource evaluation, solar-terrestrial interactions, and their subdivisions including earth dynamics, properties of earth materials, rock mechanics, underground imaging, rock-fluid interactions, continental scientific drilling, geochemical transport, solar/atmospheric physics, and modeling, with emphasis on the interdisciplinary areas. All such research is related either direct or indirect to the Department of Energy`s long-range technological needs.

  3. Summary of New Generation Technologies and Resources

    SciTech Connect (OSTI)

    1993-01-08

    This compendium includes a PG&E R&D program perspective on the Advanced Energy Systems Technology Information Module (TIM) project, a glossary, a summary of each TIM, updated information on the status and trends of each technology, and a bibliography. The objectives of the TIMs are to enhance and document the PG&E R&D Program's understanding of the technology status, resource potential, deployment hurdles, commercial timing, PG&E applications and impacts, and R&D issues of advanced technologies for electric utility applications in Northern California. [DJE-2005

  4. FY 2006 Summary Table by Appropriation

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergy A plug-inPPLforLDRD Report to Congress More Documents &3Account Summary (dollars

  5. FY 2006 Summary Table by Organization

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergy A plug-inPPLforLDRD Report to Congress More Documents &3Account Summary

  6. Summary of Benefits and Coverage template

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power AdministrationRobust,Field-effect PhotovoltaicsStructureInnovationEnergy ConversionLans 401(K)EnergySummary of4

  7. PPO Benefit Summary | Argonne National Laboratory

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration wouldMass mapSpeeding access| Department ofStephen P rice Los ANot sure howSummary Download a

  8. Property:Incentive/Summary | Open Energy Information

    Open Energy Info (EERE)

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

  9. Summary References | National Nuclear Security Administration

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal GasAdministration Medal01 Sandia4)9 Federal RegisterStorm WaterSeptemberSummary

  10. Annual Planning Summaries: 2014 | Department of Energy

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

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergyTher i n c i p a l De p u t yWaste |4 2014 Annual Planning Summary for the

  11. Summary of April 22, 2014 Teleconference

    Energy Savers [EERE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LIST OF APPLICABLEStatutory Authority for anStudy: AlgaeDepartment ofSummary of

  12. Summary of the Spring 2006 ASA Meetings

    Gasoline and Diesel Fuel Update (EIA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustments (Billion Cubic Feet) Wyoming963 1.969 1.979 1.988 1.996Deutsche Bank AG Weekly Download35 ofSummaries

  13. Wind Powering America: FY09 Activities Summary (Book)

    SciTech Connect (OSTI)

    Not Available

    2010-03-01

    The Wind Powering America FY09 Activities Summary reflects the accomplishments of state Wind Working Groups, WPA programs at the National Renewable Energy Laboratory, and partner organizations.

  14. Wind Powering America FY08 Activities Summary (Book)

    SciTech Connect (OSTI)

    Not Available

    2009-02-01

    The Wind Powering America FY08 Activities Summary reflects the accomplishments of state Wind Working Groups, WPA programs at the National Renewable Energy Laboratory, and partner organizations.

  15. NNSA's Summary of Experiments Conducted in Support of Stockpile...

    National Nuclear Security Administration (NNSA)

    National Ignition Facility (NIF) at Lawrence Livermore National Laboratory, and the Z machine at Sandia National Laboratories. The summary also provides the number of experiments...

  16. Summary of 2011 Accomplishments HI & PSM | Department of Energy

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

    of 2011 Accomplishments HI & PSM Summary of 2011 Accomplishments HI & PSM In the Hydraulic Institute's 94-year history, 2011 was arguably a very significant year. In January...

  17. OAHU Wind Integration And Transmission Study: Summary Report...

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

    OAHU WIND INTEGRATION AND TRANSMISSION STUDY: SUMMARY REPORT NREL is a national laboratory of the U.S. Department of Energy, Office of Energy Efficiency and Renewable Energy,...

  18. Summary Notes from 28 May 2008 Generic Technical Issue Discussion...

    Office of Environmental Management (EM)

    1 of 8 Summary Notes from 28 May 2008 Generic Technical Issue Discussion on Estimating Waste Inventory and Waste Tank Characterization Attendees: Representatives from Department...

  19. Microsoft Word - Annual FP Summary Information Reporting Guide...

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

    or * radiation release or other nuclear accident, miscellaneous accidents (such as thermal, chemical, or corrosion-related accidents). Summaries should include information...

  20. Summary of Session A6: Alternative Theories of Gravity

    E-Print Network [OSTI]

    R. B. Mann

    1998-03-13

    This is a summary of the workshop A.6 on Alternative Theories of Gravity, prepared for the proceedings for the GR15 conference.

  1. 2012 Annual Planning Summary for Fossil Energy, National Energy...

    Office of Environmental Management (EM)

    Fossil Energy, National Energy Technology Laboratory, RMOTC, and Strategic Petroleum Reserve Field Office 2012 Annual Planning Summary for Fossil Energy, National Energy Technology...

  2. Summary of the LHC Performance Workshop - Chamonix 2010

    ScienceCinema (OSTI)

    None

    2011-10-06

    Summary of the LHC Performance Workshop, held in Chamonix from 25 - 29 January 2010. Steve Myers Chairman Roger Bailey Deputy Chairman Frank Zimmermann Scientific Secretary

  3. Oak Ridge Reservation Compliance Order, September 26, 1995 Summary

    Office of Environmental Management (EM)

    Oak Ridge Reservation Compliance Order, September 26, 1995 State Tennessee Agreement Type Compliance Order Legal Driver(s) FFCAct Scope Summary Enforce the Plan and ensure that the...

  4. Space Reactor Radiation Shield Design Summary, for Information

    SciTech Connect (OSTI)

    EC Pheil

    2006-02-17

    The purpose of this letter is to provide a summary of the Prometheus space reactor radiation shield design status at the time of program restructuring.

  5. 2012 Annual Planning Summary for EM Energy Technology Engineering...

    Energy Savers [EERE]

    EM Energy Technology Engineering Center 2012 Annual Planning Summary for EM Energy Technology Engineering Center The ongoing and projected Environmental Assessments and...

  6. A Summary of Control System Security Standards Activities in...

    Office of Environmental Management (EM)

    security topic. This work focuses on control systems standards applicable to the energy (oil, gas, and electric, but not nuclear) sector. Summary of CS Standards Activities in the...

  7. Presentation: Better Buildings Neighborhood Program (BBNP) Summary of Reported Data

    Broader source: Energy.gov [DOE]

    Presentation: Better Buildings Neighborhood Program (BBNP) Summary of Reported Data, from the U.S. Department of Energy, Better Buildings Neighborhood Program.

  8. Final Rocky Flats Cleanup Agreement, July 19, 1996 Summary

    Office of Environmental Management (EM)

    Rocky Flats Cleanup Agreement State Colorado Agreement Type Federal Facility Agreement Legal Driver(s) CERCLARCRA Scope Summary Establish the regulatory framework for achieving...

  9. 2008 Annual Merit Review Results Summary - 9. Emission Control...

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

    9. Emission Control and Aftertreatment 2008 Annual Merit Review Results Summary - 9. Emission Control and Aftertreatment DOE Vehicle Technologies Annual Merit Review...

  10. 2013 Annual Planning Summary for the Office of Electricity Delivery...

    Office of Environmental Management (EM)

    Electricity Delivery and Energy Reliability 2013 Annual Planning Summary for the Office of Electricity Delivery and Energy Reliability The ongoing and projected Environmental...

  11. 2011 Annual Planning Summary for Advanced Research and Projects...

    Energy Savers [EERE]

    Advanced Research and Projects Agency (ARPA-E) 2011 Annual Planning Summary for Advanced Research and Projects Agency (ARPA-E) The ongoing and projected Environmental Assessments...

  12. 2013 Annual Planning Summary for the Office of Energy Efficiency...

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

    Renewable Energy. EERENEPA-APS-2013.pdf More Documents & Publications 2013 Annual Planning Summary for the Office of Electricity Delivery and Energy Reliability 2013 Annual...

  13. 2011 Annual Planning Summary for Office of Legacy Management...

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

    Legacy Management (LM), Grand Junction (See LM APS) 2011 Annual Planning Summary for Office of Legacy Management (LM), Grand Junction (See LM APS) The ongoing and projected...

  14. 2013 Annual Planning Summary for the Office of River Protection...

    Energy Savers [EERE]

    River Protection and Richland Operations Office 2013 Annual Planning Summary for the Office of River Protection and Richland Operations Office The ongoing and projected...

  15. 2011 Annual Planning Summary for NNSA, Infrastructure and Environment...

    Energy Savers [EERE]

    NNSA, Infrastructure and Environment (NA-50) 2011 Annual Planning Summary for NNSA, Infrastructure and Environment (NA-50) The ongoing and projected Environmental Assessments and...

  16. 2011 Annual Planning Summary for National Energy Technology Laboratory...

    Office of Environmental Management (EM)

    National Energy Technology Laboratory (NETL) 2011 Annual Planning Summary for National Energy Technology Laboratory (NETL) The ongoing and projected Environmental Assessments and...

  17. 2013 Annual Planning Summary for the Environmental Management...

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

    Business Center. EMCBCNEPA-APS-2013 More Documents & Publications 2011 Annual Planning Summary for EM Consolidated Business Center (EMCBC) 2012 General Counsel's Reminder...

  18. 2011 Annual Planning Summary for Energy Efficiency and Renewable...

    Energy Savers [EERE]

    Energy Efficiency and Renewable Energy (EE) 2011 Annual Planning Summary for Energy Efficiency and Renewable Energy (EE) The ongoing and projected Environmental Assessments and...

  19. 2013 Annual Planning Summary for the Berkeley Site Office | Department...

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

    2013 Annual Planning Summary for the Berkeley Site Office The ongoing and projected Environmental Assessments and Environmental Impact Statements for 2013 and 2014 within the...

  20. 2012 Annual Planning Summary for Advanced Research Projects Agency...

    Energy Savers [EERE]

    Advanced Research Projects Agency-Energy 2012 Annual Planning Summary for Advanced Research Projects Agency-Energy The ongoing and projected Environmental Assessments and...